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/201108251442/packup2mp4pa-0.6/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.dudf-real.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/dudf-real//56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.dudf-real.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.36 1.40 1.26 5/38 23302 /proc/meminfo: memFree=283924/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) R 23300 23301 4778 34817 4778 4202496 359 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=2568 CPUtime=0 /proc/23302/stat : 23302 (packup2mp4pa-0.) R 23301 23301 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 40 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65538 4 84480 0 0 0 17 0 0 0 0 /proc/23302/statm: 642 40 0 194 0 29 0 [startup+0.183865 s] /proc/loadavg: 1.36 1.40 1.26 5/38 23302 /proc/meminfo: memFree=283924/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) S 23300 23301 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=10056 CPUtime=0.19 /proc/23302/stat : 23302 (packup) R 23301 23301 4778 34817 4778 4202496 2011 0 0 0 17 2 0 0 25 0 1 0 11167290 10297344 1940 1283457024 134512640 134752139 4287353472 18446744073709551615 4157273590 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23302/statm: 2514 1940 286 59 0 1678 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12624 [startup+0.21387 s] /proc/loadavg: 1.36 1.40 1.26 5/38 23302 /proc/meminfo: memFree=283924/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) S 23300 23301 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=10980 CPUtime=0.22 /proc/23302/stat : 23302 (packup) R 23301 23301 4778 34817 4778 4202496 2247 0 0 0 20 2 0 0 25 0 1 0 11167290 11243520 2176 1283457024 134512640 134752139 4287353472 18446744073709551615 134696282 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23302/statm: 2745 2176 286 59 0 1909 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 13548 [startup+0.303894 s] /proc/loadavg: 1.36 1.40 1.26 5/38 23302 /proc/meminfo: memFree=283924/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) S 23300 23301 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=13684 CPUtime=0.31 /proc/23302/stat : 23302 (packup) R 23301 23301 4778 34817 4778 4202496 2899 0 0 0 29 2 0 0 25 0 1 0 11167290 14012416 2828 1283457024 134512640 134752139 4287353472 18446744073709551615 134681674 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23302/statm: 3421 2828 286 59 0 2585 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 16252 [startup+0.703983 s] /proc/loadavg: 1.36 1.40 1.26 5/38 23302 /proc/meminfo: memFree=283924/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) S 23300 23301 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=23912 CPUtime=0.7 /proc/23302/stat : 23302 (packup) R 23301 23301 4778 34817 4778 4202496 5463 0 0 0 68 2 0 0 25 0 1 0 11167290 24485888 5392 1283457024 134512640 134752139 4287353472 18446744073709551615 134681663 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/23302/statm: 5978 5392 286 59 0 5142 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 26480 [startup+1.50438 s] /proc/loadavg: 1.36 1.40 1.26 2/39 23303 /proc/meminfo: memFree=254524/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) S 23300 23301 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=34224 CPUtime=1.29 /proc/23302/stat : 23302 (packup) S 23301 23301 4778 34817 4778 4202496 8109 913 0 0 113 6 10 0 25 0 1 0 11167290 35045376 8017 1283457024 134512640 134752139 4287353472 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23302/statm: 8556 8017 332 59 0 7720 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 36792 Solver just ended. Dumping a history of the last processes samples [startup+1.50438 s] /proc/loadavg: 1.36 1.40 1.26 2/39 23303 /proc/meminfo: memFree=254524/1048576 swapFree=0/0 [pid=23301] ppid=23300 vsize=2568 CPUtime=0 /proc/23301/stat : 23301 (packup2mp4pa-0.) S 23300 23301 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 25 0 1 0 11167290 2629632 273 1283457024 134512640 135304128 4294693296 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/23301/statm: 642 273 233 194 0 29 0 [pid=23302] ppid=23301 vsize=34224 CPUtime=1.29 /proc/23302/stat : 23302 (packup) S 23301 23301 4778 34817 4778 4202496 8109 913 0 0 113 6 10 0 25 0 1 0 11167290 35045376 8017 1283457024 134512640 134752139 4287353472 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/23302/statm: 8556 8017 332 59 0 7720 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 36792 Child status: 0 Real time (s): 1.56273 CPU time (s): 1.5481 CPU user time (s): 1.47209 CPU system time (s): 0.076004 CPU usage (%): 99.0633 Max. virtual memory (cumulated for all children) (KiB): 36792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.47209 system time used= 0.076004 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19377 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= 11 involuntary context switches= 59 runsolver used 0 second user time and 0 second system time The end