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/rand475.cudf.user-upgrades.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/user-upgrades/rand475.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand475.cudf.user-upgrades.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.33 1.14 5/34 19708 /proc/meminfo: memFree=285748/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=4108 CPUtime=0.02 /proc/19708/stat : 19708 (packup) R 19707 19707 4778 34817 4778 4202496 508 0 0 0 2 0 0 0 25 0 1 0 11116883 4206592 437 1283457024 134512640 134752139 4293923072 18446744073709551615 134681652 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/19708/statm: 1027 437 286 59 0 191 0 [startup+0.213809 s] /proc/loadavg: 1.43 1.33 1.14 5/34 19708 /proc/meminfo: memFree=285748/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=10064 CPUtime=0.21 /proc/19708/stat : 19708 (packup) R 19707 19707 4778 34817 4778 4202496 2008 0 0 0 20 1 0 0 25 0 1 0 11116883 10305536 1937 1283457024 134512640 134752139 4293923072 18446744073709551615 134694892 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/19708/statm: 2516 1937 286 59 0 1680 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 12640 [startup+0.303822 s] /proc/loadavg: 1.43 1.33 1.14 5/34 19708 /proc/meminfo: memFree=285748/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=12332 CPUtime=0.3 /proc/19708/stat : 19708 (packup) R 19707 19707 4778 34817 4778 4202496 2581 0 0 0 28 2 0 0 25 0 1 0 11116883 12627968 2510 1283457024 134512640 134752139 4293923072 18446744073709551615 134681805 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/19708/statm: 3083 2510 286 59 0 2247 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 14908 [startup+0.413851 s] /proc/loadavg: 1.43 1.33 1.14 5/34 19708 /proc/meminfo: memFree=285748/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=15104 CPUtime=0.41 /proc/19708/stat : 19708 (packup) R 19707 19707 4778 34817 4778 4202496 3255 0 0 0 38 3 0 0 25 0 1 0 11116883 15466496 3184 1283457024 134512640 134752139 4293923072 18446744073709551615 134681493 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/19708/statm: 3776 3184 286 59 0 2940 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 17680 [startup+0.7039 s] /proc/loadavg: 1.43 1.33 1.14 5/34 19708 /proc/meminfo: memFree=285748/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=21520 CPUtime=0.71 /proc/19708/stat : 19708 (packup) R 19707 19707 4778 34817 4778 4202496 4862 0 0 0 68 3 0 0 25 0 1 0 11116883 22036480 4791 1283457024 134512640 134752139 4293923072 18446744073709551615 134683663 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/19708/statm: 5380 4791 286 59 0 4544 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 24096 [startup+1.50402 s] /proc/loadavg: 1.43 1.33 1.14 2/35 19709 /proc/meminfo: memFree=257764/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=37376 CPUtime=1.45 /proc/19708/stat : 19708 (packup) S 19707 19707 4778 34817 4778 4202496 8881 0 0 0 136 9 0 0 25 0 1 0 11116883 38273024 8759 1283457024 134512640 134752139 4293923072 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/19708/statm: 9344 8759 324 59 0 8508 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 39952 Solver just ended. Dumping a history of the last processes samples [startup+1.70406 s] /proc/loadavg: 1.43 1.33 1.14 2/35 19709 /proc/meminfo: memFree=257764/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=37376 CPUtime=1.45 /proc/19708/stat : 19708 (packup) S 19707 19707 4778 34817 4778 4202496 8881 0 0 0 136 9 0 0 25 0 1 0 11116883 38273024 8759 1283457024 134512640 134752139 4293923072 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/19708/statm: 9344 8759 324 59 0 8508 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 39952 [startup+2.50999 s] /proc/loadavg: 1.43 1.33 1.14 2/37 19713 /proc/meminfo: memFree=245828/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=37380 CPUtime=1.94 /proc/19708/stat : 19708 (packup) S 19707 19707 4778 34817 4778 4202496 8926 4395 0 0 139 12 40 3 21 0 1 0 11116883 38277120 8768 1283457024 134512640 134752139 4293923072 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/19708/statm: 9345 8768 332 59 0 8509 0 [pid=19712] ppid=19708 vsize=1672 CPUtime=0 /proc/19712/stat : 19712 (sh) S 19708 19707 4778 34817 4778 4202496 147 0 0 0 0 0 0 0 21 0 1 0 11117085 1712128 124 1283457024 134512640 134593992 4292753552 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19712/statm: 418 124 108 20 0 45 0 [pid=19713] ppid=19712 vsize=22952 CPUtime=0.48 /proc/19713/stat : 19713 (minisatp_32) R 19712 19707 4778 34817 4778 4202496 7328 0 0 0 42 6 0 0 25 0 1 0 11117086 23502848 5168 1283457024 134512640 135413687 4292032496 18446744073709551615 134688912 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/19713/statm: 5738 5168 108 220 0 5516 0 Current children cumulated CPU time (s) 2.42 Current children cumulated vsize (KiB) 64580 [startup+2.73009 s] /proc/loadavg: 1.43 1.33 1.14 2/37 19713 /proc/meminfo: memFree=245828/1048576 swapFree=0/0 [pid=19707] ppid=19706 vsize=2576 CPUtime=0 /proc/19707/stat : 19707 (packup2mp4pa-0.) S 19706 19707 4778 34817 4778 4202496 380 0 0 0 0 0 0 0 18 0 1 0 11116883 2637824 275 1283457024 134512640 135304128 4291405504 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/19707/statm: 644 275 233 194 0 31 0 [pid=19708] ppid=19707 vsize=37384 CPUtime=2.66 /proc/19708/stat : 19708 (packup) R 19707 19707 4778 34817 4778 4202496 14108 12992 0 0 140 14 101 11 15 0 1 0 11116883 38281216 8782 1283457024 134512640 134752139 4293923072 18446744073709551615 4159353028 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/19708/statm: 9346 8782 345 59 0 8510 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 39960 Child status: 0 Real time (s): 2.78065 CPU time (s): 2.72417 CPU user time (s): 2.45215 CPU system time (s): 0.272017 CPU usage (%): 97.9687 Max. virtual memory (cumulated for all children) (KiB): 65336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.45215 system time used= 0.272017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30558 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= 21 involuntary context switches= 57 runsolver used 0 second user time and 0 second system time The end