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/rand399.cudf.dudf-random.log.runsolver ./packup2mp4pa-0.6 /home/misc2010/data/2011/dudf-random//rand399.cudf /home/misc2010/tmp/201108251442/packup2mp4pa-0.6/rand399.cudf.dudf-random.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.40 1.15 1.04 4/35 12113 /proc/meminfo: memFree=297668/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=3712 CPUtime=0 /proc/12113/stat : 12113 (packup) R 12112 12112 4778 34817 4778 4202496 406 0 0 0 0 0 0 0 25 0 1 0 10571810 3801088 335 1283457024 134512640 134752139 4287177360 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/12113/statm: 928 335 286 59 0 92 0 [startup+0.193807 s] /proc/loadavg: 1.40 1.15 1.04 4/35 12113 /proc/meminfo: memFree=297668/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=9824 CPUtime=0.19 /proc/12113/stat : 12113 (packup) R 12112 12112 4778 34817 4778 4202496 1940 0 0 0 19 0 0 0 25 0 1 0 10571810 10059776 1869 1283457024 134512640 134752139 4287177360 18446744073709551615 134681530 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/12113/statm: 2456 1869 286 59 0 1620 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12396 [startup+0.203802 s] /proc/loadavg: 1.40 1.15 1.04 4/35 12113 /proc/meminfo: memFree=297668/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=10088 CPUtime=0.2 /proc/12113/stat : 12113 (packup) R 12112 12112 4778 34817 4778 4202496 2008 0 0 0 20 0 0 0 25 0 1 0 10571810 10330112 1937 1283457024 134512640 134752139 4287177360 18446744073709551615 134706181 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/12113/statm: 2522 1937 286 59 0 1686 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 12660 [startup+0.313837 s] /proc/loadavg: 1.40 1.15 1.04 4/35 12113 /proc/meminfo: memFree=297668/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=13232 CPUtime=0.31 /proc/12113/stat : 12113 (packup) R 12112 12112 4778 34817 4778 4202496 2806 0 0 0 30 1 0 0 25 0 1 0 10571810 13549568 2735 1283457024 134512640 134752139 4287177360 18446744073709551615 134681682 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/12113/statm: 3308 2735 286 59 0 2472 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 15804 [startup+0.713957 s] /proc/loadavg: 1.40 1.15 1.04 4/35 12113 /proc/meminfo: memFree=297668/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=23484 CPUtime=0.71 /proc/12113/stat : 12113 (packup) R 12112 12112 4778 34817 4778 4202496 5386 0 0 0 68 3 0 0 25 0 1 0 10571810 24047616 5315 1283457024 134512640 134752139 4287177360 18446744073709551615 4157271102 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/12113/statm: 5871 5315 306 59 0 5035 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 26056 [startup+1.50422 s] /proc/loadavg: 1.40 1.15 1.04 2/38 12116 /proc/meminfo: memFree=258688/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=25676 CPUtime=0.79 /proc/12113/stat : 12113 (packup) S 12112 12112 4778 34817 4778 4202496 5941 0 0 0 73 6 0 0 25 0 1 0 10571810 26292224 5833 1283457024 134512640 134752139 4287177360 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/12113/statm: 6419 5833 324 59 0 5583 0 [pid=12115] ppid=12113 vsize=1672 CPUtime=0 /proc/12115/stat : 12115 (sh) S 12113 12112 4778 34817 4778 4202496 147 0 0 0 0 0 0 0 25 0 1 0 10571889 1712128 124 1283457024 134512640 134593992 4289648016 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0 /proc/12115/statm: 418 124 108 20 0 45 0 [pid=12116] ppid=12115 vsize=30080 CPUtime=0.7 /proc/12116/stat : 12116 (minisatp_32) R 12115 12112 4778 34817 4778 4202496 10541 0 0 0 67 3 0 0 25 0 1 0 10571890 30801920 6862 1283457024 134512640 135413687 4294140400 18446744073709551615 134697151 0 0 18944 0 0 0 0 17 0 0 0 0 /proc/12116/statm: 7520 6862 108 220 0 7298 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60000 Solver just ended. Dumping a history of the last processes samples [startup+1.60423 s] /proc/loadavg: 1.40 1.15 1.04 2/38 12116 /proc/meminfo: memFree=258688/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=25680 CPUtime=1.59 /proc/12113/stat : 12113 (packup) R 12112 12112 4778 34817 4778 4202496 5987 11232 0 0 75 7 73 4 18 0 1 0 10571810 26296320 5842 1283457024 134512640 134752139 4287177360 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0 /proc/12113/statm: 6420 5842 332 59 0 5584 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 28252 [startup+1.8043 s] /proc/loadavg: 1.40 1.15 1.04 2/38 12116 /proc/meminfo: memFree=258688/1048576 swapFree=0/0 [pid=12112] ppid=12111 vsize=2572 CPUtime=0 /proc/12112/stat : 12112 (packup2mp4pa-0.) S 12111 12112 4778 34817 4778 4202496 378 0 0 0 0 0 0 0 18 0 1 0 10571810 2633728 274 1283457024 134512640 135304128 4293105760 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0 /proc/12112/statm: 643 274 233 194 0 30 0 [pid=12113] ppid=12112 vsize=25680 CPUtime=1.61 /proc/12113/stat : 12113 (packup) S 12112 12112 4778 34817 4778 4202496 5988 11232 0 0 75 9 73 4 18 0 1 0 10571810 26296320 5842 1283457024 134512640 134752139 4287177360 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0 /proc/12113/statm: 6420 5842 332 59 0 5584 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 28252 Child status: 0 Real time (s): 1.90369 CPU time (s): 1.90012 CPU user time (s): 1.72811 CPU system time (s): 0.17201 CPU usage (%): 99.8125 Max. virtual memory (cumulated for all children) (KiB): 63156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.72811 system time used= 0.17201 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24537 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= 60 runsolver used 0 second user time and 0 second system time The end