runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/uns-trendy-0.0002/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./uns-trendy-0.0002 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/uns-trendy-0.0002/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 5/34 9172 /proc/meminfo: memFree=677572/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) R 9170 9171 3447 769 3447 4194304 344 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 258 1283457024 134512640 135191968 4294550112 18446744073709551615 4158902688 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9171/statm: 596 258 220 166 0 28 0 [pid=9172] ppid=9171 vsize=2384 CPUtime=0 /proc/9172/stat : 9172 (uns-trendy-0.00) R 9171 9171 3447 769 3447 4194368 0 0 0 0 0 0 0 0 25 0 1 0 527465235 2441216 38 1283457024 134512640 135191968 4294550112 18446744073709551615 4158902688 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9172/statm: 596 38 0 166 0 28 0 [startup+0.140944 s] /proc/loadavg: 1.00 1.00 1.00 5/34 9172 /proc/meminfo: memFree=677572/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=13432 CPUtime=0.14 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 1919 0 0 0 14 0 0 0 25 0 1 0 527465235 13754368 1832 1283457024 134512640 140938604 4287619984 18446744073709551615 134605672 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 3358 1832 132 1569 0 1766 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 15816 [startup+0.210953 s] /proc/loadavg: 1.00 1.00 1.00 5/34 9172 /proc/meminfo: memFree=677572/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=16408 CPUtime=0.2 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 2673 0 0 0 20 0 0 0 25 0 1 0 527465235 16801792 2586 1283457024 134512640 140938604 4287619984 18446744073709551615 134574168 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 4102 2586 132 1569 0 2510 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 18792 [startup+0.310968 s] /proc/loadavg: 1.00 1.00 1.00 5/34 9172 /proc/meminfo: memFree=677572/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=20812 CPUtime=0.3 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 3789 0 0 0 30 0 0 0 25 0 1 0 527465235 21311488 3670 1283457024 134512640 140938604 4287619984 18446744073709551615 134574168 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 5203 3670 132 1569 0 3611 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 23196 [startup+0.711023 s] /proc/loadavg: 1.00 1.00 1.00 5/34 9172 /proc/meminfo: memFree=677572/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=36500 CPUtime=0.7 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 7795 0 0 0 68 2 0 0 25 0 1 0 527465235 37376000 7578 1283457024 134512640 140938604 4287619984 18446744073709551615 140190628 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 9125 7578 132 1569 0 7533 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 38884 [startup+1.51114 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=633080/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=65664 CPUtime=1.5 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 15208 0 0 0 145 5 0 0 25 0 1 0 527465235 67239936 14859 1283457024 134512640 140938604 4287619984 18446744073709551615 140190648 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 16416 14859 132 1569 0 14824 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 68048 [startup+3.10509 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=562400/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=135356 CPUtime=3.08 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 41676 0 0 0 288 20 0 0 25 0 1 0 527465235 138604544 30191 1283457024 134512640 140938604 4287619984 18446744073709551615 136882704 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 33839 30191 433 1569 0 31893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 137740 [startup+6.3053 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=559616/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=130800 CPUtime=6.27 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 87372 0 2 0 592 35 0 0 25 0 1 0 527465235 133939200 29639 1283457024 134512640 140938604 4287619984 18446744073709551615 135247164 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 32700 29639 447 1569 0 30754 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 133184 [startup+12.7065 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=461052/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=414816 CPUtime=12.57 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 269842 0 12 0 1145 112 0 0 25 0 1 0 527465235 424771584 61590 1283457024 134512640 140938604 4287619984 18446744073709551615 135058610 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 103704 61590 728 1569 0 101758 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 417200 [startup+25.5108 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=506932/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=279568 CPUtime=25.37 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 466581 0 14 0 2338 199 0 0 25 0 1 0 527465235 286277632 43051 1283457024 134512640 140938604 4287619984 18446744073709551615 135091319 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 69892 43051 810 1569 0 67946 0 Current children cumulated CPU time (s) 25.38 Current children cumulated vsize (KiB) 281952 Solver just ended. Dumping a history of the last processes samples [startup+25.6108 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=506932/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=279580 CPUtime=25.47 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 466751 0 14 0 2348 199 0 0 25 0 1 0 527465235 286289920 43054 1283457024 134512640 140938604 4287619984 18446744073709551615 135383001 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 69895 43054 810 1569 0 67949 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 281964 [startup+38.406 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=506684/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=279900 CPUtime=38.26 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 473410 0 14 0 3623 203 0 0 25 0 1 0 527465235 286617600 43131 1283457024 134512640 140938604 4287619984 18446744073709551615 137878637 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 69975 43131 811 1569 0 68029 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 282284 [startup+44.8083 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=506188/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=279912 CPUtime=44.63 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 478493 0 14 0 4258 205 0 0 25 0 1 0 527465235 286629888 43232 1283457024 134512640 140938604 4287619984 18446744073709551615 137878187 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 69978 43232 811 1569 0 68032 0 Current children cumulated CPU time (s) 44.64 Current children cumulated vsize (KiB) 282296 [startup+46.4089 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=479156/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=325768 CPUtime=46.24 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 517956 0 14 0 4404 220 0 0 25 0 1 0 527465235 333586432 50150 1283457024 134512640 140938604 4287619984 18446744073709551615 135075341 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 81442 50150 747 1569 0 79496 0 Current children cumulated CPU time (s) 46.25 Current children cumulated vsize (KiB) 328152 [startup+48.0094 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=456092/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=350120 CPUtime=47.83 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 544894 0 14 0 4551 232 0 0 25 0 1 0 527465235 358522880 51403 1283457024 134512640 140938604 4287619984 18446744073709551615 135197843 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 87530 51403 747 1569 0 85584 0 Current children cumulated CPU time (s) 47.84 Current children cumulated vsize (KiB) 352504 [startup+48.4096 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=469236/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=344428 CPUtime=48.23 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 572689 0 14 0 4583 240 0 0 25 0 1 0 527465235 352694272 52523 1283457024 134512640 140938604 4287619984 18446744073709551615 134945455 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 86107 52523 747 1569 0 84161 0 Current children cumulated CPU time (s) 48.24 Current children cumulated vsize (KiB) 346812 [startup+48.6097 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=469236/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=314072 CPUtime=48.44 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 580557 0 14 0 4597 247 0 0 25 0 1 0 527465235 321609728 42848 1283457024 134512640 140938604 4287619984 18446744073709551615 137525777 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 78518 42848 747 1569 0 76572 0 Current children cumulated CPU time (s) 48.45 Current children cumulated vsize (KiB) 316456 [startup+48.7097 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9173 /proc/meminfo: memFree=469236/1048576 swapFree=2094608/2097144 [pid=9171] ppid=9170 vsize=2384 CPUtime=0.01 /proc/9171/stat : 9171 (uns-trendy-0.00) S 9170 9171 3447 769 3447 4194304 361 0 0 0 1 0 0 0 25 0 1 0 527465235 2441216 259 1283457024 134512640 135191968 4294550112 18446744073709551615 4158900638 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9171/statm: 596 259 221 166 0 28 0 [pid=9172] ppid=9171 vsize=330236 CPUtime=48.54 /proc/9172/stat : 9172 (cudfsolver-stat) R 9171 9171 3447 769 3447 4202496 589054 0 14 0 4605 249 0 0 25 0 1 0 527465235 338161664 50535 1283457024 134512640 140938604 4287619984 18446744073709551615 138298578 0 0 0 0 0 0 0 17 0 0 0 0 /proc/9172/statm: 82559 50535 747 1569 0 80613 0 Current children cumulated CPU time (s) 48.55 Current children cumulated vsize (KiB) 332620 Child status: 0 Real time (s): 48.7984 CPU time (s): 48.635 CPU user time (s): 46.1029 CPU system time (s): 2.53216 CPU usage (%): 99.6653 Max. virtual memory (cumulated for all children) (KiB): 417200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.1029 system time used= 2.53216 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 589540 page faults= 14 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 592 runsolver used 0 second user time and 0 second system time The end