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-3460771-1307072186/watcher-3460771-1307072186 -o /tmp/evaluation-result-3460771-1307072186/solver-3460771-1307072186 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460771-1307072186.opb
running on 4 cores: 0,2,4,6
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.00 2.01 2.00 2/386 25945
/proc/meminfo: memFree=23598772/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=14476 CPUtime=0.01 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 628 0 0 0 1 0 0 0 25 0 1 0 818821437 14823424 581 33554432000 4194304 5714214 140733370957488 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 3619 581 206 372 0 435 0
[startup+0.075506 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 25945
/proc/meminfo: memFree=23598772/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=20456 CPUtime=0.07 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 2236 0 0 0 7 0 0 0 25 0 1 0 818821437 20946944 2156 33554432000 4194304 5714214 140733370957488 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 5114 2157 436 372 0 1930 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20456
[startup+0.100502 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 25945
/proc/meminfo: memFree=23598772/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=22428 CPUtime=0.09 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 2869 0 0 0 9 0 0 0 25 0 1 0 818821437 22966272 2756 33554432000 4194304 5714214 140733370957488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 5607 2757 526 372 0 2423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22428
[startup+0.300479 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 25945
/proc/meminfo: memFree=23598772/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=40104 CPUtime=0.29 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 7909 0 0 0 29 0 0 0 25 0 1 0 818821437 41066496 7351 33554432000 4194304 5714214 140733370957488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 10026 7352 1207 372 0 6842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40104
[startup+0.700394 s]
/proc/loadavg: 2.00 2.01 2.00 2/386 25945
/proc/meminfo: memFree=23598772/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=74572 CPUtime=0.69 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 17835 0 0 0 68 1 0 0 25 0 1 0 818821437 76361728 16619 33554432000 4194304 5714214 140733370957488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 18643 16621 2584 372 0 15459 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74572
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 25946
/proc/meminfo: memFree=23466084/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=161616 CPUtime=1.49 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 46412 0 0 0 144 5 0 0 18 0 1 0 818821437 165494784 38981 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 40404 38981 180 372 0 40029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161616
[startup+3.101 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 25946
/proc/meminfo: memFree=23442100/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=161616 CPUtime=3.09 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 46412 0 0 0 304 5 0 0 20 0 1 0 818821437 165494784 38981 33554432000 4194304 5714214 140733370957488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 40404 38981 180 372 0 40029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161616
[startup+6.30043 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 25946
/proc/meminfo: memFree=23442224/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=161616 CPUtime=6.29 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 46412 0 0 0 624 5 0 0 25 0 1 0 818821437 165494784 38981 33554432000 4194304 5714214 140733370957488 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 40404 38981 180 372 0 40029 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161616
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 25946
/proc/meminfo: memFree=23441644/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=161616 CPUtime=12.69 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 46412 0 0 0 1262 7 0 0 25 0 1 0 818821437 165494784 38981 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 40404 38981 180 372 0 40029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161616
[startup+25.501 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 25946
/proc/meminfo: memFree=23441516/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=161616 CPUtime=25.49 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 46412 0 0 0 2540 9 0 0 25 0 1 0 818821437 165494784 38981 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 40404 38981 180 372 0 40029 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 161616
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 25947
/proc/meminfo: memFree=23439284/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=164892 CPUtime=51.09 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 47152 0 0 0 5094 15 0 0 25 0 1 0 818821437 168849408 39721 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 41223 39721 180 372 0 40848 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 164892
[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 25948
/proc/meminfo: memFree=23414704/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=188796 CPUtime=102.31 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 53050 0 0 0 10204 27 0 0 25 0 1 0 818821437 193327104 45619 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 47199 45619 180 372 0 46824 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 188796
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 25950
/proc/meminfo: memFree=23389116/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=211120 CPUtime=162.29 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 58491 0 0 0 16192 37 0 0 25 0 1 0 818821437 216186880 51060 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 52780 51060 180 372 0 52405 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 211120
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 25951
/proc/meminfo: memFree=23351628/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=242472 CPUtime=222.3 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 66383 0 0 0 22182 48 0 0 25 0 1 0 818821437 248291328 58952 33554432000 4194304 5714214 140733370957488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 60618 58952 180 372 0 60243 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 242472
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.01 4/387 25953
/proc/meminfo: memFree=23318220/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=272704 CPUtime=282.3 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 73617 0 0 0 28172 58 0 0 25 0 1 0 818821437 279248896 66186 33554432000 4194304 5714214 140733370957488 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 68176 66186 180 372 0 67801 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 272704
[startup+342.301 s]
/proc/loadavg: 2.17 2.04 2.01 4/387 25955
/proc/meminfo: memFree=23291756/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=299308 CPUtime=342.3 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 80280 0 0 0 34161 69 0 0 25 0 1 0 818821437 306491392 72849 33554432000 4194304 5714214 140733370957488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 74827 72849 180 372 0 74452 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 299308
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 4/387 25956
/proc/meminfo: memFree=23273108/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=317320 CPUtime=402.3 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 84807 0 0 0 40152 78 0 0 25 0 1 0 818821437 324935680 77376 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 79330 77376 180 372 0 78955 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 317320
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 2.06 2.03 2.00 4/387 25956
/proc/meminfo: memFree=23270988/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=319236 CPUtime=409.5 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 85257 0 0 0 40872 78 0 0 25 0 1 0 818821437 326897664 77826 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 79809 77826 180 372 0 79434 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 319236
[startup+422.301 s]
/proc/loadavg: 2.04 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23264396/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=325660 CPUtime=422.31 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 86411 0 0 0 42152 79 0 0 25 0 1 0 818821437 333475840 78980 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 81415 78980 180 372 0 81040 0
Current children cumulated CPU time (s) 422.31
Current children cumulated vsize (KiB) 325660
[startup+428.701 s]
/proc/loadavg: 2.04 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23264020/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=326004 CPUtime=428.7 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 86523 0 0 0 42790 80 0 0 25 0 1 0 818821437 333828096 79092 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 81501 79092 180 372 0 81126 0
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (KiB) 326004
[startup+435.1 s]
/proc/loadavg: 2.03 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23262408/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=327612 CPUtime=435.1 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 86913 0 0 0 43429 81 0 0 25 0 1 0 818821437 335474688 79482 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 81903 79482 180 372 0 81528 0
Current children cumulated CPU time (s) 435.1
Current children cumulated vsize (KiB) 327612
[startup+436.715 s]
/proc/loadavg: 2.03 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23262036/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=327744 CPUtime=436.71 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 86950 0 0 0 43590 81 0 0 25 0 1 0 818821437 335609856 79519 33554432000 4194304 5714214 140733370957488 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 81936 79519 180 372 0 81561 0
Current children cumulated CPU time (s) 436.71
Current children cumulated vsize (KiB) 327744
[startup+437.501 s]
/proc/loadavg: 2.03 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23262036/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=327876 CPUtime=437.5 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 86962 0 0 0 43669 81 0 0 25 0 1 0 818821437 335745024 79531 33554432000 4194304 5714214 140733370957488 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 81969 79531 180 372 0 81594 0
Current children cumulated CPU time (s) 437.5
Current children cumulated vsize (KiB) 327876
[startup+438.301 s]
/proc/loadavg: 2.03 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23261788/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=328440 CPUtime=438.3 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 87069 0 0 0 43749 81 0 0 25 0 1 0 818821437 336322560 79638 33554432000 4194304 5714214 140733370957488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 82110 79638 180 372 0 81735 0
Current children cumulated CPU time (s) 438.3
Current children cumulated vsize (KiB) 328440
[startup+438.501 s]
/proc/loadavg: 2.03 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23261788/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=328440 CPUtime=438.5 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 87070 0 0 0 43769 81 0 0 25 0 1 0 818821437 336322560 79639 33554432000 4194304 5714214 140733370957488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 82110 79639 180 372 0 81735 0
Current children cumulated CPU time (s) 438.5
Current children cumulated vsize (KiB) 328440
[startup+438.601 s]
/proc/loadavg: 2.03 2.03 2.00 4/387 25957
/proc/meminfo: memFree=23261788/32951124 swapFree=49244120/67111528
[pid=25945] ppid=25943 vsize=328440 CPUtime=438.6 cores=0,2,4,6
/proc/25945/stat : 25945 (wbo1.6) R 25943 25945 23490 0 -1 4202496 87070 0 0 0 43779 81 0 0 25 0 1 0 818821437 336322560 79639 33554432000 4194304 5714214 140733370957488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25945/statm: 82110 79639 180 372 0 81735 0
Current children cumulated CPU time (s) 438.6
Current children cumulated vsize (KiB) 328440
Child status: 0
Real time (s): 438.699
CPU time (s): 438.709
CPU user time (s): 437.876
CPU system time (s): 0.832873
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 328440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.876
system time used= 0.832873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87088
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= 280
runsolver used 1.79073 second user time and 3.77842 second system time
The end