runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707437-1338140477/watcher-3707437-1338140477 -o /tmp/evaluation-result-3707437-1338140477/solver-3707437-1338140477 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707437-1338140477.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 3/174 4727
/proc/meminfo: memFree=29199800/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=11016 CPUtime=0 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 315 0 0 0 0 0 0 0 20 0 1 0 280173658 11280384 268 33554432000 134512640 137138936 4293821024 4293819416 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 2754 268 178 642 0 2089 0
[startup+0.027751 s]
/proc/loadavg: 2.04 2.03 2.00 3/174 4727
/proc/meminfo: memFree=29199800/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=11324 CPUtime=0.02 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 449 0 0 0 2 0 0 0 20 0 1 0 280173658 11595776 381 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 2831 381 192 642 0 2187 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11324
[startup+0.100256 s]
/proc/loadavg: 2.04 2.03 2.00 3/174 4727
/proc/meminfo: memFree=29199800/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=11580 CPUtime=0.09 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 513 0 0 0 9 0 0 0 20 0 1 0 280173658 11857920 445 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 2895 445 192 642 0 2251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11580
[startup+0.300223 s]
/proc/loadavg: 2.04 2.03 2.00 3/174 4727
/proc/meminfo: memFree=29199800/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=12200 CPUtime=0.29 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 664 0 0 0 29 0 0 0 20 0 1 0 280173658 12492800 596 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3050 596 192 642 0 2406 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12200
[startup+0.700222 s]
/proc/loadavg: 2.04 2.03 2.00 3/174 4727
/proc/meminfo: memFree=29199800/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=13072 CPUtime=0.69 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 881 0 0 0 69 0 0 0 20 0 1 0 280173658 13385728 813 33554432000 134512640 137138936 4293821024 4293819516 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3268 813 192 642 0 2624 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13072
[startup+1.50022 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29197180/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=13200 CPUtime=1.48 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 942 0 0 0 148 0 0 0 20 0 1 0 280173658 13516800 874 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3300 874 192 642 0 2656 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13200
[startup+3.10022 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29196312/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=13688 CPUtime=3.09 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 1062 0 0 0 308 1 0 0 20 0 1 0 280173658 14016512 994 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3422 994 192 642 0 2778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13688
[startup+6.30022 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29195692/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=14184 CPUtime=6.29 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 1178 0 0 0 627 2 0 0 20 0 1 0 280173658 14524416 1110 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3546 1110 192 642 0 2902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14184
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29194592/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=14808 CPUtime=12.69 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 1342 0 0 0 1265 4 0 0 20 0 1 0 280173658 15163392 1274 33554432000 134512640 137138936 4293821024 4293819952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3702 1274 192 642 0 3058 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14808
[startup+25.5002 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29193848/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=15544 CPUtime=25.49 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 1512 0 0 0 2542 7 0 0 20 0 1 0 280173658 15917056 1444 33554432000 134512640 137138936 4293821024 4293819184 134573759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 3886 1444 192 642 0 3242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15544
[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 4728
/proc/meminfo: memFree=29192480/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=16636 CPUtime=51.08 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 1786 0 0 0 5097 11 0 0 20 0 1 0 280173658 17035264 1716 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4159 1716 192 642 0 3515 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16636
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4728
/proc/meminfo: memFree=29191736/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=16996 CPUtime=102.28 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 1880 0 0 0 10206 22 0 0 20 0 1 0 280173658 17403904 1810 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4249 1810 192 642 0 3605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 16996
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 4728
/proc/meminfo: memFree=29190744/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=17816 CPUtime=162.27 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2079 0 0 0 16193 34 0 0 20 0 1 0 280173658 18243584 2009 33554432000 134512640 137138936 4293821024 4293819952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4454 2009 192 642 0 3810 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 17816
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 4729
/proc/meminfo: memFree=29190124/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=17820 CPUtime=222.25 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2099 0 0 0 22181 44 0 0 20 0 1 0 280173658 18247680 2029 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4455 2029 192 642 0 3811 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17820
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 4729
/proc/meminfo: memFree=29189192/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=18784 CPUtime=282.24 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2324 0 0 0 28169 55 0 0 20 0 1 0 280173658 19234816 2253 33554432000 134512640 137138936 4293821024 4293819944 135984550 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4696 2253 192 642 0 4052 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 18784
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 4729
/proc/meminfo: memFree=29188944/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=19092 CPUtime=342.24 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2400 0 0 0 34159 65 0 0 20 0 1 0 280173658 19550208 2329 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4773 2329 192 642 0 4129 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 19092
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/175 4729
/proc/meminfo: memFree=29188944/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=19092 CPUtime=402.22 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2415 0 0 0 40149 73 0 0 20 0 1 0 280173658 19550208 2344 33554432000 134512640 137138936 4293821024 4293819952 134542442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 4773 2344 192 642 0 4129 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 19092
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/175 4729
/proc/meminfo: memFree=29187888/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20040 CPUtime=462.22 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2655 0 0 0 46140 82 0 0 20 0 1 0 280173658 20520960 2583 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5010 2583 192 642 0 4366 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 20040
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 4730
/proc/meminfo: memFree=29186460/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20892 CPUtime=522.21 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 52130 91 0 0 20 0 1 0 280173658 21393408 2780 33554432000 134512640 137138936 4293821024 4293819540 134551118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5223 2780 192 642 0 4579 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 20892
[startup+582.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/176 4771
/proc/meminfo: memFree=28963284/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20892 CPUtime=582.2 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 58120 100 0 0 20 0 1 0 280173658 21393408 2780 33554432000 134512640 137138936 4293821024 4293819952 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5223 2780 192 642 0 4579 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 20892
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 2.09 2.06 2.01 3/175 4771
/proc/meminfo: memFree=28963276/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20892 CPUtime=588.59 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 58759 100 0 0 20 0 1 0 280173658 21393408 2780 33554432000 134512640 137138936 4293821024 4293819952 134543091 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5223 2780 192 642 0 4579 0
Current children cumulated CPU time (s) 588.59
Current children cumulated vsize (KiB) 20892
[startup+601.5 s]
/proc/loadavg: 2.07 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28963260/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=601.39 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 60037 102 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293819736 136504268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 601.39
Current children cumulated vsize (KiB) 20804
[startup+607.9 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28963244/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=607.79 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 60676 103 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 607.79
Current children cumulated vsize (KiB) 20804
[startup+614.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28963228/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=614.19 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 61315 104 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 614.19
Current children cumulated vsize (KiB) 20804
[startup+617.5 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28962856/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=617.39 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 61634 105 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 617.39
Current children cumulated vsize (KiB) 20804
[startup+619.1 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28962856/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=618.99 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 61794 105 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293819952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 618.99
Current children cumulated vsize (KiB) 20804
[startup+619.5 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28962856/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=619.39 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 61834 105 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 619.39
Current children cumulated vsize (KiB) 20804
[startup+619.7 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28962856/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=619.59 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 61854 105 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 619.59
Current children cumulated vsize (KiB) 20804
[startup+619.8 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 4771
/proc/meminfo: memFree=28962856/32873852 swapFree=6856/6856
[pid=4727] ppid=4725 vsize=20804 CPUtime=619.69 cores=1,3,5,7
/proc/4727/stat : 4727 (bsolo) R 4725 4727 1566 0 -1 4202496 2852 0 0 0 61864 105 0 0 20 0 1 0 280173658 21303296 2775 33554432000 134512640 137138936 4293821024 4293820140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4727/statm: 5201 2775 192 642 0 4557 0
Current children cumulated CPU time (s) 619.69
Current children cumulated vsize (KiB) 20804
Child status: 0
Real time (s): 619.83
CPU time (s): 619.731
CPU user time (s): 618.671
CPU system time (s): 1.05984
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 20896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 618.671
system time used= 1.05984
maximum resident set size= 11120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2852
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= 7
involuntary context switches= 676
runsolver used 0.922859 second user time and 2.46263 second system time
The end