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/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/dudf-real//c2164c84-b015-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/c2164c84-b015-11df-8b50-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.43 1.45 1.33 5/35 27568 /proc/meminfo: memFree=273408/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=3980 CPUtime=0.01 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202496 500 0 0 0 1 0 0 0 25 0 1 0 11230154 4075520 428 1283457024 134512640 134752139 4288437136 18446744073709551615 134694895 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 995 428 286 59 0 159 0 [startup+0.172217 s] /proc/loadavg: 1.43 1.45 1.33 5/35 27568 /proc/meminfo: memFree=273408/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=9716 CPUtime=0.17 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202496 1904 0 0 0 15 2 0 0 25 0 1 0 11230154 9949184 1832 1283457024 134512640 134752139 4288437136 18446744073709551615 134681833 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 2429 1832 286 59 0 1593 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 12292 [startup+0.202221 s] /proc/loadavg: 1.43 1.45 1.33 5/35 27568 /proc/meminfo: memFree=273408/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=10640 CPUtime=0.2 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202496 2136 0 0 0 18 2 0 0 25 0 1 0 11230154 10895360 2064 1283457024 134512640 134752139 4288437136 18446744073709551615 134707221 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 2660 2064 286 59 0 1824 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 13216 [startup+0.312234 s] /proc/loadavg: 1.43 1.45 1.33 5/35 27568 /proc/meminfo: memFree=273408/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=13824 CPUtime=0.32 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202496 2962 0 0 0 28 4 0 0 25 0 1 0 11230154 14155776 2890 1283457024 134512640 134752139 4288437136 18446744073709551615 134681674 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 3456 2890 286 59 0 2620 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 16400 [startup+0.712308 s] /proc/loadavg: 1.43 1.45 1.33 5/35 27568 /proc/meminfo: memFree=273408/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=26688 CPUtime=0.72 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202496 6207 0 0 0 66 6 0 0 25 0 1 0 11230154 27328512 6135 1283457024 134512640 134752139 4288437136 18446744073709551615 4157261239 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 6672 6135 316 59 0 5836 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 29264 Solver just ended. Dumping a history of the last processes samples [startup+0.802322 s] /proc/loadavg: 1.43 1.45 1.33 5/35 27568 /proc/meminfo: memFree=273408/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=27216 CPUtime=0.8 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202496 6321 0 0 0 67 13 0 0 25 0 1 0 11230154 27869184 6249 1283457024 134512640 134752139 4288437136 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 6804 6249 321 59 0 5968 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 29792 [startup+1.20239 s] /proc/loadavg: 1.39 1.44 1.33 2/36 27572 /proc/meminfo: memFree=249424/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=27220 CPUtime=1.1 /proc/27568/stat : 27568 (packup) S 27567 27567 4778 34817 4778 4202496 6372 1311 0 0 71 20 18 1 24 0 1 0 11230154 27873280 6283 1283457024 134512640 134752139 4288437136 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/27568/statm: 6805 6283 332 59 0 5969 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 29796 [startup+1.40255 s] /proc/loadavg: 1.39 1.44 1.33 2/36 27572 /proc/meminfo: memFree=249424/1048576 swapFree=0/0 [pid=27567] ppid=27566 vsize=2576 CPUtime=0 /proc/27567/stat : 27567 (packup2mp4pa-0.) S 27566 27567 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 11230154 2637824 275 1283457024 134512640 135304128 4290815488 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/27567/statm: 644 275 233 194 0 31 0 [pid=27568] ppid=27567 vsize=0 CPUtime=1.4 /proc/27568/stat : 27568 (packup) R 27567 27567 4778 34817 4778 4202500 12408 2653 0 0 76 24 38 2 24 0 1 0 11230154 0 0 1283457024 0 0 0 0 0 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/27568/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 2576 Child status: 0 Real time (s): 1.40373 CPU time (s): 1.40809 CPU user time (s): 1.14007 CPU system time (s): 0.268016 CPU usage (%): 100.31 Max. virtual memory (cumulated for all children) (KiB): 29796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.14007 system time used= 0.268016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15449 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= 52 runsolver used 0 second user time and 0 second system time The end