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/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/debian-dudf//103c9978-5408-11df-9bc1-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-paranoid-1.0/103c9978-5408-11df-9bc1-00163e7a6f5e.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.06 1.02 0.94 4/37 4336 /proc/meminfo: memFree=799500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4284 CPUtime=0.01 /proc/4336/stat : 4336 (python) R 4335 4336 3447 769 3447 4202496 921 0 0 0 1 0 0 0 25 0 1 0 526348040 4386816 690 1283457024 134512640 135539072 4293284144 18446744073709551615 135043600 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/4336/statm: 1071 690 360 251 0 366 0 [startup+0.212133 s] /proc/loadavg: 1.06 1.02 0.94 4/37 4336 /proc/meminfo: memFree=799500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=0.01 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1129 0 0 0 1 0 0 0 25 0 1 0 526348040 4816896 833 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.312147 s] /proc/loadavg: 1.06 1.02 0.94 4/37 4336 /proc/meminfo: memFree=799500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=0.01 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1129 0 0 0 1 0 0 0 25 0 1 0 526348040 4816896 833 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.412159 s] /proc/loadavg: 1.06 1.02 0.94 4/37 4336 /proc/meminfo: memFree=799500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=0.01 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1129 0 0 0 1 0 0 0 25 0 1 0 526348040 4816896 833 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+0.712201 s] /proc/loadavg: 1.06 1.02 0.94 4/37 4336 /proc/meminfo: memFree=799500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=0.01 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1129 0 0 0 1 0 0 0 25 0 1 0 526348040 4816896 833 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 833 400 251 0 434 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4704 [startup+1.51234 s] /proc/loadavg: 1.06 1.02 0.94 2/39 4338 /proc/meminfo: memFree=789248/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=0.01 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1129 0 0 0 1 0 0 0 25 0 1 0 526348040 4816896 833 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 833 400 251 0 434 0 [pid=4338] ppid=4336 vsize=14164 CPUtime=1.5 /proc/4338/stat : 4338 (cudf2lp) R 4336 4336 3447 769 3447 4202496 3658 0 0 0 150 0 0 0 25 0 1 0 526348042 14503936 3185 1283457024 134512640 135993029 4290016848 18446744073709551615 134573120 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4338/statm: 3541 3185 110 362 0 3123 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 18868 [startup+3.11262 s] /proc/loadavg: 1.06 1.02 0.94 2/39 4338 /proc/meminfo: memFree=780940/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=0.01 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1129 0 0 0 1 0 0 0 25 0 1 0 526348040 4816896 833 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 833 400 251 0 434 0 [pid=4338] ppid=4336 vsize=26448 CPUtime=3.09 /proc/4338/stat : 4338 (cudf2lp) R 4336 4336 3447 769 3447 4202496 6701 0 0 0 307 2 0 0 25 0 1 0 526348042 27082752 6228 1283457024 134512640 135993029 4290016848 18446744073709551615 134569163 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/4338/statm: 6612 6228 110 362 0 6194 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 31152 [startup+6.30453 s] /proc/loadavg: 1.06 1.02 0.94 2/39 4338 /proc/meminfo: memFree=713484/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=5.78 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1216 21046 0 0 1 0 499 78 18 0 1 0 526348040 4816896 835 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 835 402 251 0 434 0 Current children cumulated CPU time (s) 5.78 Current children cumulated vsize (KiB) 4704 [startup+12.7058 s] /proc/loadavg: 1.05 1.02 0.94 2/40 4341 /proc/meminfo: memFree=700572/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=5.78 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1216 21046 0 0 1 0 499 78 18 0 1 0 526348040 4816896 835 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 835 402 251 0 434 0 [pid=4339] ppid=4336 vsize=2392 CPUtime=5.12 /proc/4339/stat : 4339 (sh) S 4336 4336 3447 769 3447 4194304 444 90046 0 0 0 0 464 48 18 0 1 0 526348621 2449408 254 1283457024 134512640 135191968 4289365328 18446744073709551615 4158658974 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4339/statm: 598 254 214 166 0 30 0 [pid=4341] ppid=4339 vsize=113408 CPUtime=1.74 /proc/4341/stat : 4341 (clasp) R 4339 4336 3447 769 3447 4202496 33889 0 0 0 165 9 0 0 19 0 1 0 526348624 116129792 27519 1283457024 134512640 136080129 4292540688 18446744073709551615 134662125 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/4341/statm: 28352 27519 169 383 0 27967 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 120504 Solver just ended. Dumping a history of the last processes samples [startup+12.9059 s] /proc/loadavg: 1.05 1.02 0.94 2/40 4341 /proc/meminfo: memFree=700572/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=5.78 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1216 21046 0 0 1 0 499 78 18 0 1 0 526348040 4816896 835 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 835 402 251 0 434 0 [pid=4339] ppid=4336 vsize=2392 CPUtime=5.12 /proc/4339/stat : 4339 (sh) S 4336 4336 3447 769 3447 4194304 444 90046 0 0 0 0 464 48 18 0 1 0 526348621 2449408 254 1283457024 134512640 135191968 4289365328 18446744073709551615 4158658974 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4339/statm: 598 254 214 166 0 30 0 [pid=4341] ppid=4339 vsize=113212 CPUtime=1.94 /proc/4341/stat : 4341 (clasp) R 4339 4336 3447 769 3447 4202496 34925 0 0 0 185 9 0 0 19 0 1 0 526348624 115929088 27623 1283457024 134512640 136080129 4292540688 18446744073709551615 135495369 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/4341/statm: 28303 27623 175 383 0 27918 0 Current children cumulated CPU time (s) 12.84 Current children cumulated vsize (KiB) 120308 [startup+13.7061 s] /proc/loadavg: 1.05 1.02 0.94 2/40 4341 /proc/meminfo: memFree=678500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=5.78 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1216 21046 0 0 1 0 499 78 18 0 1 0 526348040 4816896 835 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 835 402 251 0 434 0 [pid=4339] ppid=4336 vsize=2392 CPUtime=5.12 /proc/4339/stat : 4339 (sh) S 4336 4336 3447 769 3447 4194304 444 90046 0 0 0 0 464 48 18 0 1 0 526348621 2449408 254 1283457024 134512640 135191968 4289365328 18446744073709551615 4158658974 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4339/statm: 598 254 214 166 0 30 0 [pid=4341] ppid=4339 vsize=108308 CPUtime=2.74 /proc/4341/stat : 4341 (clasp) R 4339 4336 3447 769 3447 4202496 38475 0 0 0 264 10 0 0 20 0 1 0 526348624 110907392 26531 1283457024 134512640 136080129 4292540688 18446744073709551615 134624307 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/4341/statm: 27077 26531 186 383 0 26692 0 Current children cumulated CPU time (s) 13.64 Current children cumulated vsize (KiB) 115404 [startup+14.1062 s] /proc/loadavg: 1.05 1.02 0.94 2/40 4341 /proc/meminfo: memFree=678500/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=5.78 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1216 21046 0 0 1 0 499 78 18 0 1 0 526348040 4816896 835 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 835 402 251 0 434 0 [pid=4339] ppid=4336 vsize=2392 CPUtime=5.12 /proc/4339/stat : 4339 (sh) S 4336 4336 3447 769 3447 4194304 444 90046 0 0 0 0 464 48 18 0 1 0 526348621 2449408 254 1283457024 134512640 135191968 4289365328 18446744073709551615 4158658974 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4339/statm: 598 254 214 166 0 30 0 [pid=4341] ppid=4339 vsize=108308 CPUtime=3.14 /proc/4341/stat : 4341 (clasp) R 4339 4336 3447 769 3447 4202496 38534 0 0 0 304 10 0 0 21 0 1 0 526348624 110907392 26590 1283457024 134512640 136080129 4292540688 18446744073709551615 134608348 0 0 16781312 24578 0 0 0 17 0 0 0 0 /proc/4341/statm: 27077 26590 189 383 0 26692 0 Current children cumulated CPU time (s) 14.04 Current children cumulated vsize (KiB) 115404 [startup+14.5049 s] /proc/loadavg: 1.05 1.02 0.94 1/40 4341 /proc/meminfo: memFree=790720/1048576 swapFree=2091896/2097144 [pid=4336] ppid=4335 vsize=4704 CPUtime=14.36 /proc/4336/stat : 4336 (python) S 4335 4336 3447 769 3447 4202496 1297 150092 0 1 1 0 1293 142 18 0 1 0 526348040 4816896 835 1283457024 134512640 135539072 4293284144 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/4336/statm: 1176 835 402 251 0 434 0 Current children cumulated CPU time (s) 14.36 Current children cumulated vsize (KiB) 4704 Child status: 0 Real time (s): 14.5234 CPU time (s): 14.4089 CPU user time (s): 12.9648 CPU system time (s): 1.44409 CPU usage (%): 99.2116 Max. virtual memory (cumulated for all children) (KiB): 459084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.9648 system time used= 1.44409 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152599 page faults= 12 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3153 involuntary context switches= 3346 runsolver used 0 second user time and 0 second system time The end