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-3728175-1338673858/watcher-3728175-1338673858 -o /tmp/evaluation-result-3728175-1338673858/solver-3728175-1338673858 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728175-1338673858.wbo
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.06 2.01 2.00 3/177 11326
/proc/meminfo: memFree=28132332/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=0 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 2 0 333512666 85729280 740 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 740 192 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=0 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 2 0 333512667 85729280 740 33554432000 4194304 5964350 140734531973872 140734486673080 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0665891 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11326
/proc/meminfo: memFree=28132332/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=0.06 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 1005 0 0 0 6 0 0 0 20 0 2 0 333512666 85729280 954 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 954 193 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=0.05 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 283 0 0 0 5 0 0 0 20 0 2 0 333512667 85729280 954 33554432000 4194304 5964350 140734531973872 140404212684600 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83720
[startup+0.100242 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11326
/proc/meminfo: memFree=28132332/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=0.09 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 1092 0 0 0 9 0 0 0 20 0 2 0 333512666 85729280 1041 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 1041 193 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=0.08 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 370 0 0 0 8 0 0 0 20 0 2 0 333512667 85729280 1041 33554432000 4194304 5964350 140734531973872 140404212684600 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83720
[startup+0.300201 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11326
/proc/meminfo: memFree=28132332/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=0.29 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 1457 0 0 0 29 0 0 0 20 0 2 0 333512666 85729280 1406 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 1406 193 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=0.28 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 735 0 0 0 28 0 0 0 20 0 2 0 333512667 85729280 1406 33554432000 4194304 5964350 140734531973872 140404212684600 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83720
[startup+0.700234 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11326
/proc/meminfo: memFree=28132332/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=0.69 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 1913 0 0 0 69 0 0 0 20 0 2 0 333512666 85729280 1862 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 1862 193 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=0.68 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 1191 0 0 0 68 0 0 0 20 0 2 0 333512667 85729280 1862 33554432000 4194304 5964350 140734531973872 140404212684600 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83720
[startup+1.50023 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11328
/proc/meminfo: memFree=28120404/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83864 CPUtime=1.49 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 2331 0 0 0 149 0 0 0 20 0 2 0 333512666 85876736 2280 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20966 2280 193 433 0 20530 0
[pid=11326/tid=11327] ppid=11324 vsize=83864 CPUtime=1.48 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 1609 0 0 0 148 0 0 0 20 0 2 0 333512667 85876736 2280 33554432000 4194304 5964350 140734531973872 140404212684600 5179179 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864
[startup+3.10025 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 11329
/proc/meminfo: memFree=28115528/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83936 CPUtime=3.09 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 3047 0 0 0 309 0 0 0 20 0 2 0 333512666 85950464 2996 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20984 2996 193 433 0 20548 0
[pid=11326/tid=11327] ppid=11324 vsize=83936 CPUtime=3.07 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 2325 0 0 0 307 0 0 0 20 0 2 0 333512667 85950464 2996 33554432000 4194304 5964350 140734531973872 140404212684600 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83936
[startup+6.3002 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28105748/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=6.28 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 4015 0 0 0 628 0 0 0 20 0 2 0 333512666 85729280 3912 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 3912 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=6.26 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 3293 0 0 0 626 0 0 0 20 0 2 0 333512667 85729280 3912 33554432000 4194304 5964350 140734531973872 140404212685752 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83720
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28098964/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=12.69 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 4780 0 0 0 1268 1 0 0 20 0 2 0 333512666 85729280 4677 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 4677 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=12.65 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 4058 0 0 0 1264 1 0 0 20 0 2 0 333512667 85729280 4677 33554432000 4194304 5964350 140734531973872 140404212685144 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83720
[startup+25.5002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28092920/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=25.48 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 5506 0 0 0 2547 1 0 0 20 0 2 0 333512666 85729280 5343 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 5343 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=25.41 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 4784 0 0 0 2540 1 0 0 20 0 2 0 333512667 85729280 5343 33554432000 4194304 5964350 140734531973872 140404212685752 4389132 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83720
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28079160/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=51.07 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 6635 0 0 0 5106 1 0 0 20 0 2 0 333512666 85729280 6904 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 6904 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=50.94 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 5913 0 0 0 5093 1 0 0 20 0 2 0 333512667 85729280 6904 33554432000 4194304 5964350 140734531973872 140404212685336 4399994 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83720
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28078912/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=57.47 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 6647 0 0 0 5746 1 0 0 20 0 2 0 333512666 85729280 6916 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 6916 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=57.33 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 5925 0 0 0 5732 1 0 0 20 0 2 0 333512667 85729280 6916 33554432000 4194304 5964350 140734531973872 140404212685336 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 83720
[startup+60.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28078284/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=60.67 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 6647 0 0 0 6066 1 0 0 20 0 2 0 333512666 85729280 6916 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 6916 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=60.52 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 5925 0 0 0 6051 1 0 0 20 0 2 0 333512667 85729280 6916 33554432000 4194304 5964350 140734531973872 140404212685336 4431575 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 60.67
Current children cumulated vsize (KiB) 83720
[startup+62.3002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28078284/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=62.27 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 6647 0 0 0 6226 1 0 0 20 0 2 0 333512666 85729280 6916 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 6916 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=62.12 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 5925 0 0 0 6211 1 0 0 20 0 2 0 333512667 85729280 6916 33554432000 4194304 5964350 140734531973872 140404212685336 4388154 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 62.27
Current children cumulated vsize (KiB) 83720
[startup+62.7062 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28078284/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=62.68 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 6647 0 0 0 6267 1 0 0 20 0 2 0 333512666 85729280 6916 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 6916 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=62.52 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 5925 0 0 0 6251 1 0 0 20 0 2 0 333512667 85729280 6916 33554432000 4194304 5964350 140734531973872 140404212685336 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 62.68
Current children cumulated vsize (KiB) 83720
[startup+62.9002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11329
/proc/meminfo: memFree=28078284/32873648 swapFree=6864/6864
[pid=11326] ppid=11324 vsize=83720 CPUtime=62.87 cores=1,3,5,7
/proc/11326/stat : 11326 (wbo1.72) S 11324 11326 10604 0 -1 4202496 6647 0 0 0 6286 1 0 0 20 0 2 0 333512666 85729280 6916 33554432000 4194304 5964350 140734531973872 140734531973392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11326/statm: 20930 6916 197 433 0 20494 0
[pid=11326/tid=11327] ppid=11324 vsize=83720 CPUtime=62.71 cores=1,3,5,7
/proc/11326/task/11327/stat : 11327 (wbo1.72) R 11324 11326 10604 0 -1 4202560 5925 0 0 0 6270 1 0 0 20 0 2 0 333512667 85729280 6916 33554432000 4194304 5964350 140734531973872 140404212685336 4403637 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 62.87
Current children cumulated vsize (KiB) 83720
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11326 and gives
# childrusage.ru_utime.tv_sec=62
# childrusage.ru_utime.tv_usec=741461
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=21996
# CPU time returned by wait4() is 62.7635
# while last known CPU time is 62.87
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 62.9414
CPU time (s): 62.87
CPU user time (s): 62.86
CPU system time (s): 0.01
CPU usage (%): 99.8865
Max. virtual memory (cumulated for all children) (KiB): 84044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.7415
system time used= 0.021996
maximum resident set size= 27676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6650
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= 10
involuntary context switches= 92
runsolver used 0.093985 second user time and 0.254961 second system time
The end