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/aspcud-paranoid-1.0/412959c6-e965-11de-8ebf-00163e6585dd.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//412959c6-e965-11de-8ebf-00163e6585dd.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/412959c6-e965-11de-8ebf-00163e6585dd.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.09 1.07 1.02 5/33 10163 /proc/meminfo: memFree=764296/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4664 CPUtime=0.01 /proc/10163/stat : 10163 (python) R 10162 10163 3447 769 3447 4202496 1055 0 0 0 1 0 0 0 25 0 1 0 527591180 4775936 816 1283457024 134512640 135539072 4287564736 18446744073709551615 134601168 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/10163/statm: 1166 816 388 251 0 433 0 [startup+0.197154 s] /proc/loadavg: 1.09 1.07 1.02 5/33 10163 /proc/meminfo: memFree=764296/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=0.01 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1128 0 0 0 1 0 0 0 25 0 1 0 527591180 4816896 833 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.207151 s] /proc/loadavg: 1.09 1.07 1.02 5/33 10163 /proc/meminfo: memFree=764296/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=0.01 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1128 0 0 0 1 0 0 0 25 0 1 0 527591180 4816896 833 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.307166 s] /proc/loadavg: 1.09 1.07 1.02 5/33 10163 /proc/meminfo: memFree=764296/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=0.01 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1128 0 0 0 1 0 0 0 25 0 1 0 527591180 4816896 833 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.707202 s] /proc/loadavg: 1.09 1.07 1.02 5/33 10163 /proc/meminfo: memFree=764296/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=0.01 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1128 0 0 0 1 0 0 0 25 0 1 0 527591180 4816896 833 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+1.50736 s] /proc/loadavg: 1.09 1.07 1.02 2/35 10165 /proc/meminfo: memFree=755128/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=0.01 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1128 0 0 0 1 0 0 0 25 0 1 0 527591180 4816896 833 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 833 400 251 0 434 0 [pid=10165] ppid=10163 vsize=13908 CPUtime=1.48 /proc/10165/stat : 10165 (cudf2lp) R 10163 10163 3447 769 3447 4202496 3598 0 0 0 146 2 0 0 25 0 1 0 527591182 14241792 3127 1283457024 134512640 135993029 4289002848 18446744073709551615 134594617 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/10165/statm: 3477 3127 110 362 0 3059 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18612 [startup+3.10772 s] /proc/loadavg: 1.09 1.07 1.02 2/35 10165 /proc/meminfo: memFree=746448/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=0.01 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1128 0 0 0 1 0 0 0 25 0 1 0 527591180 4816896 833 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 833 400 251 0 434 0 [pid=10165] ppid=10163 vsize=26748 CPUtime=3.08 /proc/10165/stat : 10165 (cudf2lp) R 10163 10163 3447 769 3447 4202496 6728 0 0 0 305 3 0 0 25 0 1 0 527591182 27389952 6257 1283457024 134512640 135993029 4289002848 18446744073709551615 134568042 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/10165/statm: 6687 6257 111 362 0 6269 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31452 [startup+6.30849 s] /proc/loadavg: 1.09 1.07 1.02 2/35 10165 /proc/meminfo: memFree=690152/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 4704 [startup+12.7105 s] /proc/loadavg: 1.08 1.06 1.02 2/37 10168 /proc/meminfo: memFree=358172/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 [pid=10166] ppid=10163 vsize=2392 CPUtime=0 /proc/10166/stat : 10166 (sh) S 10163 10163 3447 769 3447 4194304 443 0 0 0 0 0 0 0 18 0 1 0 527591803 2449408 254 1283457024 134512640 135191968 4291815344 18446744073709551615 4159551902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10166/statm: 598 254 214 166 0 30 0 [pid=10167] ppid=10166 vsize=416624 CPUtime=5.58 /proc/10167/stat : 10167 (bingo) R 10166 10163 3447 769 3447 4202496 111475 0 0 0 518 40 0 0 25 0 1 0 527591803 426622976 81287 1283457024 134512640 136195415 4286878656 18446744073709551615 134657148 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/10167/statm: 104156 81287 221 411 0 103743 0 [pid=10168] ppid=10166 vsize=97440 CPUtime=0.89 /proc/10168/stat : 10168 (clasp) S 10166 10163 3447 769 3447 4202496 26735 0 0 0 84 5 0 0 18 0 1 0 527591805 99778560 23792 1283457024 134512640 136080129 4287210496 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/10168/statm: 24360 23792 147 383 0 23975 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 521160 Solver just ended. Dumping a history of the last processes samples [startup+12.8105 s] /proc/loadavg: 1.08 1.06 1.02 2/37 10168 /proc/meminfo: memFree=358172/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 [pid=10166] ppid=10163 vsize=2392 CPUtime=0 /proc/10166/stat : 10166 (sh) S 10163 10163 3447 769 3447 4194304 443 0 0 0 0 0 0 0 18 0 1 0 527591803 2449408 254 1283457024 134512640 135191968 4291815344 18446744073709551615 4159551902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10166/statm: 598 254 214 166 0 30 0 [pid=10167] ppid=10166 vsize=354620 CPUtime=5.68 /proc/10167/stat : 10167 (bingo) R 10166 10163 3447 769 3447 4202496 111475 0 0 0 528 40 0 0 25 0 1 0 527591803 363130880 72852 1283457024 134512640 136195415 4286878656 18446744073709551615 135582580 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/10167/statm: 88655 72852 221 411 0 88242 0 [pid=10168] ppid=10166 vsize=97440 CPUtime=0.89 /proc/10168/stat : 10168 (clasp) S 10166 10163 3447 769 3447 4202496 26735 0 0 0 84 5 0 0 18 0 1 0 527591805 99778560 23792 1283457024 134512640 136080129 4287210496 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 0 0 0 0 /proc/10168/statm: 24360 23792 147 383 0 23975 0 Current children cumulated CPU time (s) 12.78 Current children cumulated vsize (KiB) 459156 [startup+16.0116 s] /proc/loadavg: 1.07 1.06 1.02 2/36 10168 /proc/meminfo: memFree=626028/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 [pid=10166] ppid=10163 vsize=2392 CPUtime=6.08 /proc/10166/stat : 10166 (sh) S 10163 10163 3447 769 3447 4194304 443 111477 0 0 0 0 560 48 18 0 1 0 527591803 2449408 254 1283457024 134512640 135191968 4291815344 18446744073709551615 4159551902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10166/statm: 598 254 214 166 0 30 0 [pid=10168] ppid=10166 vsize=123480 CPUtime=3.7 /proc/10168/stat : 10168 (clasp) R 10166 10163 3447 769 3447 4202496 45160 0 0 0 357 13 0 0 23 0 1 0 527591805 126443520 30299 1283457024 134512640 136080129 4287210496 18446744073709551615 134625267 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/10168/statm: 30870 30299 189 383 0 30485 0 Current children cumulated CPU time (s) 15.99 Current children cumulated vsize (KiB) 130576 [startup+17.6121 s] /proc/loadavg: 1.07 1.06 1.02 2/36 10168 /proc/meminfo: memFree=634584/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 [pid=10166] ppid=10163 vsize=2392 CPUtime=6.08 /proc/10166/stat : 10166 (sh) S 10163 10163 3447 769 3447 4194304 443 111477 0 0 0 0 560 48 18 0 1 0 527591803 2449408 254 1283457024 134512640 135191968 4291815344 18446744073709551615 4159551902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10166/statm: 598 254 214 166 0 30 0 [pid=10168] ppid=10166 vsize=123480 CPUtime=5.3 /proc/10168/stat : 10168 (clasp) R 10166 10163 3447 769 3447 4202496 45160 0 0 0 517 13 0 0 25 0 1 0 527591805 126443520 30299 1283457024 134512640 136080129 4287210496 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/10168/statm: 30870 30299 189 383 0 30485 0 Current children cumulated CPU time (s) 17.59 Current children cumulated vsize (KiB) 130576 [startup+18.4124 s] /proc/loadavg: 1.07 1.06 1.02 2/36 10168 /proc/meminfo: memFree=634584/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 [pid=10166] ppid=10163 vsize=2392 CPUtime=6.08 /proc/10166/stat : 10166 (sh) S 10163 10163 3447 769 3447 4194304 443 111477 0 0 0 0 560 48 18 0 1 0 527591803 2449408 254 1283457024 134512640 135191968 4291815344 18446744073709551615 4159551902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10166/statm: 598 254 214 166 0 30 0 [pid=10168] ppid=10166 vsize=123480 CPUtime=6.1 /proc/10168/stat : 10168 (clasp) R 10166 10163 3447 769 3447 4202496 45160 0 0 0 597 13 0 0 25 0 1 0 527591805 126443520 30299 1283457024 134512640 136080129 4287210496 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/10168/statm: 30870 30299 189 383 0 30485 0 Current children cumulated CPU time (s) 18.39 Current children cumulated vsize (KiB) 130576 [startup+18.8128 s] /proc/loadavg: 1.15 1.08 1.03 2/36 10168 /proc/meminfo: memFree=663104/1048576 swapFree=2094612/2097144 [pid=10163] ppid=10162 vsize=4704 CPUtime=6.21 /proc/10163/stat : 10163 (python) S 10162 10163 3447 769 3447 4202496 1216 22315 0 0 1 0 548 72 18 0 1 0 527591180 4816896 835 1283457024 134512640 135539072 4287564736 18446744073709551615 4160402350 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/10163/statm: 1176 835 402 251 0 434 0 [pid=10166] ppid=10163 vsize=2392 CPUtime=6.08 /proc/10166/stat : 10166 (sh) S 10163 10163 3447 769 3447 4194304 443 111477 0 0 0 0 560 48 18 0 1 0 527591803 2449408 254 1283457024 134512640 135191968 4291815344 18446744073709551615 4159551902 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10166/statm: 598 254 214 166 0 30 0 [pid=10168] ppid=10166 vsize=78588 CPUtime=6.5 /proc/10168/stat : 10168 (clasp) R 10166 10163 3447 769 3447 4202496 45171 0 0 0 634 16 0 0 25 0 1 0 527591805 80474112 11266 1283457024 134512640 136080129 4287210496 18446744073709551615 135703614 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/10168/statm: 19647 11266 200 383 0 19262 0 Current children cumulated CPU time (s) 18.79 Current children cumulated vsize (KiB) 85684 Child status: 0 Real time (s): 18.8695 CPU time (s): 18.8652 CPU user time (s): 17.4571 CPU system time (s): 1.40809 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 582392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.4571 system time used= 1.40809 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 181937 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3600 involuntary context switches= 3860 runsolver used 0 second user time and 0 second system time The end