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/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/dudf-real//adf7b774-9af8-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/adf7b774-9af8-11df-bc37-00163e46d37a.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.53 1.45 1.33 5/34 27036 /proc/meminfo: memFree=319792/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=4108 CPUtime=0.02 /proc/27036/stat : 27036 (packup) R 27035 27035 4778 34817 4778 4202496 511 0 0 0 2 0 0 0 25 0 1 0 11224354 4206592 440 1283457024 134512640 134752139 4293259296 18446744073709551615 4156918910 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27036/statm: 1027 440 286 59 0 191 0 [startup+0.14391 s] /proc/loadavg: 1.53 1.45 1.33 5/34 27036 /proc/meminfo: memFree=319792/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=8624 CPUtime=0.15 /proc/27036/stat : 27036 (packup) R 27035 27035 4778 34817 4778 4202496 1633 0 0 0 14 1 0 0 25 0 1 0 11224354 8830976 1562 1283457024 134512640 134752139 4293259296 18446744073709551615 4156912355 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27036/statm: 2156 1562 286 59 0 1320 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 11192 [startup+0.213924 s] /proc/loadavg: 1.53 1.45 1.33 5/34 27036 /proc/meminfo: memFree=319792/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=10736 CPUtime=0.21 /proc/27036/stat : 27036 (packup) R 27035 27035 4778 34817 4778 4202496 2170 0 0 0 19 2 0 0 25 0 1 0 11224354 10993664 2099 1283457024 134512640 134752139 4293259296 18446744073709551615 4156889921 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27036/statm: 2684 2099 286 59 0 1848 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 13304 [startup+0.303939 s] /proc/loadavg: 1.53 1.45 1.33 5/34 27036 /proc/meminfo: memFree=319792/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=13176 CPUtime=0.31 /proc/27036/stat : 27036 (packup) R 27035 27035 4778 34817 4778 4202496 2796 0 0 0 28 3 0 0 25 0 1 0 11224354 13492224 2725 1283457024 134512640 134752139 4293259296 18446744073709551615 134681493 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27036/statm: 3294 2725 286 59 0 2458 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 15744 [startup+0.704004 s] /proc/loadavg: 1.53 1.45 1.33 5/34 27036 /proc/meminfo: memFree=319792/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=23140 CPUtime=0.71 /proc/27036/stat : 27036 (packup) R 27035 27035 4778 34817 4778 4202496 5265 0 0 0 67 4 0 0 25 0 1 0 11224354 23695360 5194 1283457024 134512640 134752139 4293259296 18446744073709551615 134694880 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27036/statm: 5785 5194 286 59 0 4949 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 25708 [startup+1.50411 s] /proc/loadavg: 1.53 1.45 1.33 2/35 27037 /proc/meminfo: memFree=290196/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=32848 CPUtime=1.12 /proc/27036/stat : 27036 (packup) S 27035 27035 4778 34817 4778 4202496 7733 0 0 0 100 12 0 0 25 0 1 0 11224354 33636352 7661 1283457024 134512640 134752139 4293259296 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27036/statm: 8212 7661 324 59 0 7376 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 35416 Solver just ended. Dumping a history of the last processes samples [startup+1.60413 s] /proc/loadavg: 1.53 1.45 1.33 2/35 27037 /proc/meminfo: memFree=290196/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=32848 CPUtime=1.12 /proc/27036/stat : 27036 (packup) S 27035 27035 4778 34817 4778 4202496 7733 0 0 0 100 12 0 0 25 0 1 0 11224354 33636352 7661 1283457024 134512640 134752139 4293259296 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27036/statm: 8212 7661 324 59 0 7376 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 35416 [startup+2.40426 s] /proc/loadavg: 1.53 1.45 1.33 2/37 27041 /proc/meminfo: memFree=280368/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=32852 CPUtime=1.72 /proc/27036/stat : 27036 (packup) S 27035 27035 4778 34817 4778 4202496 7776 3097 0 0 108 15 43 6 21 0 1 0 11224354 33640448 7687 1283457024 134512640 134752139 4293259296 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27036/statm: 8213 7687 332 59 0 7377 0 [pid=27040] ppid=27036 vsize=1676 CPUtime=0.01 /proc/27040/stat : 27040 (sh) S 27036 27035 4778 34817 4778 4202496 147 0 0 0 1 0 0 0 21 0 1 0 11224527 1716224 124 1283457024 134512640 134593992 4288087056 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27040/statm: 419 124 108 20 0 46 0 [pid=27041] ppid=27040 vsize=31588 CPUtime=0.66 /proc/27041/stat : 27041 (minisatp_32) R 27040 27035 4778 34817 4778 4202496 9702 0 0 0 57 9 0 0 25 0 1 0 11224528 32346112 6975 1283457024 134512640 135413687 4288593072 18446744073709551615 134696603 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/27041/statm: 7897 6975 108 220 0 7675 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 68684 [startup+2.80432 s] /proc/loadavg: 1.53 1.45 1.33 2/37 27041 /proc/meminfo: memFree=280368/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=32852 CPUtime=1.72 /proc/27036/stat : 27036 (packup) S 27035 27035 4778 34817 4778 4202496 7776 3097 0 0 108 15 43 6 21 0 1 0 11224354 33640448 7687 1283457024 134512640 134752139 4293259296 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27036/statm: 8213 7687 332 59 0 7377 0 [pid=27040] ppid=27036 vsize=1676 CPUtime=0.01 /proc/27040/stat : 27040 (sh) S 27036 27035 4778 34817 4778 4202496 147 0 0 0 1 0 0 0 21 0 1 0 11224527 1716224 124 1283457024 134512640 134593992 4288087056 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/27040/statm: 419 124 108 20 0 46 0 [pid=27041] ppid=27040 vsize=40080 CPUtime=1.06 /proc/27041/stat : 27041 (minisatp_32) R 27040 27035 4778 34817 4778 4202496 13095 0 0 0 95 11 0 0 25 0 1 0 11224528 41041920 8784 1283457024 134512640 135413687 4288593072 18446744073709551615 134705601 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/27041/statm: 10020 8784 108 220 0 9798 0 Current children cumulated CPU time (s) 2.79 Current children cumulated vsize (KiB) 77176 [startup+3.00443 s] /proc/loadavg: 1.53 1.45 1.33 2/37 27041 /proc/meminfo: memFree=280368/1048576 swapFree=0/0 [pid=27035] ppid=27034 vsize=2568 CPUtime=0 /proc/27035/stat : 27035 (packup2mp4pa-0.) S 27034 27035 4778 34817 4778 4202496 377 0 0 0 0 0 0 0 18 0 1 0 11224354 2629632 274 1283457024 134512640 135304128 4294289744 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27035/statm: 642 274 233 194 0 29 0 [pid=27036] ppid=27035 vsize=0 CPUtime=3 /proc/27036/stat : 27036 (packup) R 27035 27035 4778 34817 4778 4202500 15269 16949 0 0 115 17 150 18 18 0 1 0 11224354 0 0 1283457024 0 0 0 0 0 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27036/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 2568 Child status: 0 Real time (s): 3.00515 CPU time (s): 3.00819 CPU user time (s): 2.65217 CPU system time (s): 0.356022 CPU usage (%): 100.101 Max. virtual memory (cumulated for all children) (KiB): 78392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.65217 system time used= 0.356022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32605 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= 78 runsolver used 0 second user time and 0 second system time The end