runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460958-1307106763/watcher-3460958-1307106763 -o /tmp/evaluation-result-3460958-1307106763/solver-3460958-1307106763 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460958-1307106763.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: 1.92 2.02 2.00 3/523 20202
/proc/meminfo: memFree=23961772/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 309 0 0 0 0 0 0 0 24 0 1 0 822274021 2154496 261 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 526 261 180 372 0 151 0
[startup+0.0209109 s]
/proc/loadavg: 1.92 2.02 2.00 3/523 20202
/proc/meminfo: memFree=23961772/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=2236 CPUtime=0.01 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 362 0 0 0 1 0 0 0 24 0 1 0 822274021 2289664 314 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 559 314 180 372 0 184 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2236
[startup+0.100945 s]
/proc/loadavg: 1.92 2.02 2.00 3/523 20202
/proc/meminfo: memFree=23961772/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=3188 CPUtime=0.09 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 611 0 0 0 9 0 0 0 24 0 1 0 822274021 3264512 563 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 797 563 180 372 0 422 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3188
[startup+0.30091 s]
/proc/loadavg: 1.92 2.02 2.00 3/523 20202
/proc/meminfo: memFree=23961772/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=4952 CPUtime=0.29 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 1051 0 0 0 29 0 0 0 25 0 1 0 822274021 5070848 1003 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 1238 1003 180 372 0 863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4952
[startup+0.700826 s]
/proc/loadavg: 1.92 2.02 2.00 3/523 20202
/proc/meminfo: memFree=23961772/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=7072 CPUtime=0.69 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 1556 0 0 0 67 2 0 0 25 0 1 0 822274021 7241728 1508 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 1768 1508 180 372 0 1393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7072
[startup+1.50068 s]
/proc/loadavg: 1.92 2.02 2.00 3/525 20204
/proc/meminfo: memFree=23949192/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=8588 CPUtime=1.49 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 1939 0 0 0 145 4 0 0 25 0 1 0 822274021 8794112 1891 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 2147 1891 180 372 0 1772 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8588
[startup+3.10039 s]
/proc/loadavg: 1.92 2.02 2.00 3/525 20204
/proc/meminfo: memFree=23941380/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=11904 CPUtime=3.09 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 2778 0 0 0 301 8 0 0 25 0 1 0 822274021 12189696 2730 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 2976 2730 180 372 0 2601 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11904
[startup+6.30082 s]
/proc/loadavg: 1.92 2.02 2.00 3/525 20204
/proc/meminfo: memFree=23930848/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=16728 CPUtime=6.29 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 3951 0 0 0 613 16 0 0 25 0 1 0 822274021 17129472 3903 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 4182 3903 180 372 0 3807 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16728
[startup+12.7007 s]
/proc/loadavg: 1.93 2.02 2.00 3/525 20204
/proc/meminfo: memFree=23914096/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=24852 CPUtime=12.69 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 5958 0 0 0 1242 27 0 0 25 0 1 0 822274021 25448448 5910 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 6213 5910 180 372 0 5838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24852
[startup+25.5003 s]
/proc/loadavg: 1.94 2.01 2.00 3/525 20205
/proc/meminfo: memFree=23887940/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=37704 CPUtime=25.49 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 9185 0 0 0 2502 47 0 0 25 0 1 0 822274021 38608896 9137 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 9426 9137 180 372 0 9051 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37704
[startup+51.1007 s]
/proc/loadavg: 1.96 2.01 2.00 3/525 20205
/proc/meminfo: memFree=23838420/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=62928 CPUtime=51.09 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 15433 0 0 0 5019 90 0 0 25 0 1 0 822274021 64438272 15385 33554432000 4194304 5714214 140737411466912 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 15732 15385 180 372 0 15357 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62928
[startup+102.319 s]
/proc/loadavg: 1.98 2.01 2.00 3/525 20207
/proc/meminfo: memFree=23752704/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=106160 CPUtime=102.29 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 26183 0 0 0 10069 160 0 0 25 0 1 0 822274021 108707840 26135 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 26540 26135 180 372 0 26165 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 106160
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/525 20208
/proc/meminfo: memFree=23661672/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=153284 CPUtime=162.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 37915 0 0 0 15989 238 0 0 25 0 1 0 822274021 156962816 37867 33554432000 4194304 5714214 140737411466912 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 38321 37867 180 372 0 37946 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 153284
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/525 20210
/proc/meminfo: memFree=23579552/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=194036 CPUtime=222.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 48095 0 0 0 21917 310 0 0 25 0 1 0 822274021 198692864 48047 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 48509 48047 180 372 0 48134 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 194036
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/525 20212
/proc/meminfo: memFree=23526096/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=206432 CPUtime=282.28 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 52161 0 0 0 27829 399 0 0 25 0 1 0 822274021 211386368 51299 33554432000 4194304 5714214 140737411466912 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 51608 51299 180 372 0 51233 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 206432
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/525 20213
/proc/meminfo: memFree=23487136/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=206432 CPUtime=342.28 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 52170 0 0 0 33747 481 0 0 25 0 1 0 822274021 211386368 51308 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 51608 51308 180 372 0 51233 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 206432
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/525 20215
/proc/meminfo: memFree=23450780/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=206572 CPUtime=402.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 52222 0 0 0 39667 560 0 0 25 0 1 0 822274021 211529728 51360 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 51643 51360 180 372 0 51268 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 206572
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/525 20216
/proc/meminfo: memFree=23413940/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=206884 CPUtime=462.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 52293 0 0 0 45594 633 0 0 25 0 1 0 822274021 211849216 51431 33554432000 4194304 5714214 140737411466912 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 51721 51431 180 372 0 51346 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 206884
[startup+522.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/525 20218
/proc/meminfo: memFree=23355360/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=227732 CPUtime=522.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 57494 0 0 0 51521 706 0 0 25 0 1 0 822274021 233197568 56632 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 56933 56632 180 372 0 56558 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 227732
[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/525 20220
/proc/meminfo: memFree=23277812/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=270488 CPUtime=582.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 68127 0 0 0 57447 780 0 0 25 0 1 0 822274021 276979712 67265 33554432000 4194304 5714214 140737411466912 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 67622 67265 180 372 0 67247 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 270488
Solver just ended. Dumping a history of the last processes samples
[startup+588.701 s]
/proc/loadavg: 2.10 2.06 2.01 3/525 20220
/proc/meminfo: memFree=23269620/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=274184 CPUtime=588.67 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 69045 0 0 0 58078 789 0 0 25 0 1 0 822274021 280764416 68183 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 68546 68183 180 372 0 68171 0
Current children cumulated CPU time (s) 588.67
Current children cumulated vsize (KiB) 274184
[startup+614.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/525 20221
/proc/meminfo: memFree=23238488/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=290632 CPUtime=614.27 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 73167 0 0 0 60608 819 0 0 25 0 1 0 822274021 297607168 72305 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 72658 72305 180 372 0 72283 0
Current children cumulated CPU time (s) 614.27
Current children cumulated vsize (KiB) 290632
[startup+627.101 s]
/proc/loadavg: 2.05 2.05 2.01 3/525 20221
/proc/meminfo: memFree=23221984/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=298088 CPUtime=627.07 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 75119 0 0 0 61875 832 0 0 25 0 1 0 822274021 305242112 74169 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 74522 74169 180 372 0 74147 0
Current children cumulated CPU time (s) 627.07
Current children cumulated vsize (KiB) 298088
[startup+633.501 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 20221
/proc/meminfo: memFree=23219360/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=298088 CPUtime=633.48 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 75119 0 0 0 62502 846 0 0 25 0 1 0 822274021 305242112 74169 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 74522 74169 180 372 0 74147 0
Current children cumulated CPU time (s) 633.48
Current children cumulated vsize (KiB) 298088
[startup+635.1 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 20221
/proc/meminfo: memFree=23218120/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=298088 CPUtime=635.07 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 75119 0 0 0 62659 848 0 0 25 0 1 0 822274021 305242112 74169 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 74522 74169 180 372 0 74147 0
Current children cumulated CPU time (s) 635.07
Current children cumulated vsize (KiB) 298088
[startup+636.701 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 20221
/proc/meminfo: memFree=23217004/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=298088 CPUtime=636.67 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 75119 0 0 0 62817 850 0 0 25 0 1 0 822274021 305242112 74169 33554432000 4194304 5714214 140737411466912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 74522 74169 180 372 0 74147 0
Current children cumulated CPU time (s) 636.67
Current children cumulated vsize (KiB) 298088
[startup+637.501 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 20221
/proc/meminfo: memFree=23217376/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=298088 CPUtime=637.47 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) R 20200 20202 18788 0 -1 4202496 75119 0 0 0 62896 851 0 0 25 0 1 0 822274021 305242112 74169 33554432000 4194304 5714214 140737411466912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20202/statm: 74522 74169 180 372 0 74147 0
Current children cumulated CPU time (s) 637.47
Current children cumulated vsize (KiB) 298088
[startup+637.701 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 20221
/proc/meminfo: memFree=23217376/32951124 swapFree=56930356/67111528
[pid=20202] ppid=20200 vsize=0 CPUtime=637.67 cores=1,3,5,7
/proc/20202/stat : 20202 (wbo1.6) S 20200 20202 18788 0 -1 4202500 75122 0 0 0 62915 852 0 0 25 0 1 0 822274021 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/20202/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 637.67
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 637.702
CPU time (s): 637.679
CPU user time (s): 629.153
CPU system time (s): 8.5257
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 298572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 629.153
system time used= 8.5257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75122
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= 6
involuntary context switches= 7878
runsolver used 3.04254 second user time and 7.97779 second system time
The end