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-3704847-1338111138/watcher-3704847-1338111138 -o /tmp/evaluation-result-3704847-1338111138/solver-3704847-1338111138 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704847-1338111138.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.00 2.00 2.00 3/177 5293
/proc/meminfo: memFree=29973424/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=3868 CPUtime=0 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) R 5291 5293 2698 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 277238195 3960832 412 33554432000 4194304 5963574 140736420344208 140736708424408 5132902 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 967 412 170 432 0 490 0

[startup+0.0224461 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5293
/proc/meminfo: memFree=29973424/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85300 CPUtime=0.01 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 1630 0 0 0 1 0 0 0 20 0 2 0 277238195 87347200 1541 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21325 1541 179 432 0 20890 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 85300

[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5293
/proc/meminfo: memFree=29973424/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85300 CPUtime=0.09 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 1843 0 0 0 9 0 0 0 20 0 2 0 277238195 87347200 1754 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21325 1754 187 432 0 20890 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85300

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5293
/proc/meminfo: memFree=29973424/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85300 CPUtime=0.29 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 2274 0 0 0 29 0 0 0 20 0 2 0 277238195 87347200 2185 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21325 2185 187 432 0 20890 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85300

[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5293
/proc/meminfo: memFree=29973424/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85300 CPUtime=0.69 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 2974 0 0 0 69 0 0 0 20 0 2 0 277238195 87347200 2885 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21325 2885 187 432 0 20890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85300

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29962692/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85444 CPUtime=1.49 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 3583 0 0 0 149 0 0 0 20 0 2 0 277238195 87494656 3494 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21361 3495 187 432 0 20926 0
[pid=5293/tid=5295] ppid=5291 vsize=85444 CPUtime=1.46 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 2429 0 0 0 146 0 0 0 20 0 2 0 277238197 87494656 3495 33554432000 4194304 5963574 140736420344208 140120856782648 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85444

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29959716/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85516 CPUtime=3.08 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 4646 0 0 0 308 0 0 0 20 0 2 0 277238195 87568384 4557 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21379 4557 187 432 0 20944 0
[pid=5293/tid=5295] ppid=5291 vsize=85516 CPUtime=3.06 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 3491 0 0 0 306 0 0 0 20 0 2 0 277238197 87568384 4557 33554432000 4194304 5963574 140736420344208 140120856782840 4399627 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85516

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29948044/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85516 CPUtime=6.29 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 6217 0 0 0 628 1 0 0 20 0 2 0 277238195 87568384 6128 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21379 6128 187 432 0 20944 0
[pid=5293/tid=5295] ppid=5291 vsize=85516 CPUtime=6.25 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 5062 0 0 0 624 1 0 0 20 0 2 0 277238197 87568384 6128 33554432000 4194304 5963574 140736420344208 140120856782840 4392168 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85516

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29937264/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85624 CPUtime=12.69 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 8760 0 0 0 1267 2 0 0 20 0 2 0 277238195 87678976 8671 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21406 8671 187 432 0 20971 0
[pid=5293/tid=5295] ppid=5291 vsize=85624 CPUtime=12.64 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 7605 0 0 0 1263 1 0 0 20 0 2 0 277238197 87678976 8671 33554432000 4194304 5963574 140736420344208 140120856782840 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85624

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29911076/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=85784 CPUtime=25.48 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 14553 0 0 0 2545 3 0 0 20 0 2 0 277238195 87842816 14464 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 21446 14464 187 432 0 21011 0
[pid=5293/tid=5295] ppid=5291 vsize=85784 CPUtime=25.4 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 13398 0 0 0 2537 3 0 0 20 0 2 0 277238197 87842816 14464 33554432000 4194304 5963574 140736420344208 140120856782648 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85784

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29874472/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=51.08 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 19498 0 0 0 5102 6 0 0 20 0 2 0 277238195 155197440 19409 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 19409 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=50.94 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 18343 0 0 0 5088 6 0 0 20 0 2 0 277238197 155197440 19409 33554432000 4194304 5963574 140736420344208 140120856782648 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151560

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29816252/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=102.25 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 30783 0 0 0 10214 11 0 0 20 0 2 0 277238195 155197440 30666 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 30666 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=101.99 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 29628 0 0 0 10187 12 0 0 20 0 2 0 277238197 155197440 30666 33554432000 4194304 5963574 140736420344208 140120856782840 4391200 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 151560

Solver just ended. Dumping a history of the last processes samples

[startup+115.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29805444/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=115.04 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 31680 0 0 0 11492 12 0 0 20 0 2 0 277238195 155197440 32254 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 32254 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=114.74 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 30525 0 0 0 11462 12 0 0 20 0 2 0 277238197 155197440 32254 33554432000 4194304 5963574 140736420344208 140120856782888 4392454 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 115.04
Current children cumulated vsize (KiB) 151560

[startup+118.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29805444/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=118.24 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 31694 0 0 0 11812 12 0 0 20 0 2 0 277238195 155197440 32268 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 32268 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=117.93 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 30539 0 0 0 11781 12 0 0 20 0 2 0 277238197 155197440 32268 33554432000 4194304 5963574 140736420344208 140120856782648 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 118.24
Current children cumulated vsize (KiB) 151560

[startup+121.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29804948/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=121.44 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 31699 0 0 0 12132 12 0 0 20 0 2 0 277238195 155197440 32273 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 32273 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=121.13 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 30544 0 0 0 12101 12 0 0 20 0 2 0 277238197 155197440 32273 33554432000 4194304 5963574 140736420344208 140120856782648 4399937 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (KiB) 151560

[startup+123.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29804824/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=123.05 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 31713 0 0 0 12293 12 0 0 20 0 2 0 277238195 155197440 32287 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 32287 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=122.73 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 30558 0 0 0 12261 12 0 0 20 0 2 0 277238197 155197440 32287 33554432000 4194304 5963574 140736420344208 140120856782648 4402906 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 123.05
Current children cumulated vsize (KiB) 151560

[startup+123.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29804824/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=123.84 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 31717 0 0 0 12372 12 0 0 20 0 2 0 277238195 155197440 32291 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 32291 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=123.52 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 30562 0 0 0 12340 12 0 0 20 0 2 0 277238197 155197440 32291 33554432000 4194304 5963574 140736420344208 140120856782648 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 123.84
Current children cumulated vsize (KiB) 151560

[startup+124.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5295
/proc/meminfo: memFree=29804824/32873844 swapFree=7628/7628
[pid=5293] ppid=5291 vsize=151560 CPUtime=124.04 cores=1,3,5,7
/proc/5293/stat : 5293 (wbo1.7) S 5291 5293 2698 0 -1 4202496 31722 0 0 0 12392 12 0 0 20 0 2 0 277238195 155197440 32296 33554432000 4194304 5963574 140736420344208 140736420343728 4545837 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5293/statm: 37890 32296 187 432 0 37455 0
[pid=5293/tid=5295] ppid=5291 vsize=151560 CPUtime=123.72 cores=1,3,5,7
/proc/5293/task/5295/stat : 5295 (wbo1.7) R 5291 5293 2698 0 -1 4202560 30567 0 0 0 12360 12 0 0 20 0 2 0 277238197 155197440 32296 33554432000 4194304 5963574 140736420344208 140120856782648 4399603 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 124.04
Current children cumulated vsize (KiB) 151560

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5293 and gives
#  childrusage.ru_utime.tv_sec=123
#  childrusage.ru_utime.tv_usec=696195
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=136979
# CPU time returned by wait4() is 123.833
# while last known CPU time is 124.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 124.187
CPU time (s): 124.04
CPU user time (s): 123.92
CPU system time (s): 0.12
CPU usage (%): 99.8814
Max. virtual memory (cumulated for all children) (KiB): 151560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.696
system time used= 0.136979
maximum resident set size= 129196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31725
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= 40
involuntary context switches= 143

runsolver used 0.201969 second user time and 0.625904 second system time

The end