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-3727168-1338667374/watcher-3727168-1338667374 -o /tmp/evaluation-result-3727168-1338667374/solver-3727168-1338667374 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727168-1338667374.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.05 2.00 3/175 17467
/proc/meminfo: memFree=27660592/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=4860 CPUtime=0 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) R 17465 17467 14594 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 332863305 4976640 273 33554432000 4194304 5964350 140737136582352 140733862284936 4339242 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 1215 273 170 433 0 350 0

[startup+0.102658 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 17467
/proc/meminfo: memFree=27660592/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=9680 CPUtime=0.09 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) R 17465 17467 14594 0 -1 4202496 1850 0 0 0 9 0 0 0 20 0 1 0 332863305 9912320 1769 33554432000 4194304 5964350 140737136582352 140733862284936 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 2420 1771 533 433 0 1555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9680

[startup+0.20022 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 17467
/proc/meminfo: memFree=27660592/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89272 CPUtime=0.19 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 4426 0 0 0 19 0 0 0 20 0 2 0 332863305 91414528 3825 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22318 3825 186 433 0 21882 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 89272

[startup+0.300242 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 17467
/proc/meminfo: memFree=27660592/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89272 CPUtime=0.29 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 4540 0 0 0 29 0 0 0 20 0 2 0 332863305 91414528 3939 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22318 3939 186 433 0 21882 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 89272

[startup+0.700139 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 17467
/proc/meminfo: memFree=27660592/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89272 CPUtime=0.69 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 5001 0 0 0 68 1 0 0 20 0 2 0 332863305 91414528 4400 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22318 4400 186 433 0 21882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89272

[startup+1.5003 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 17469
/proc/meminfo: memFree=27642208/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89272 CPUtime=1.49 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 5726 0 0 0 148 1 0 0 20 0 2 0 332863305 91414528 5125 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22318 5125 186 433 0 21882 0
[pid=17467/tid=17469] ppid=17465 vsize=89272 CPUtime=1.36 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 3218 0 0 0 136 0 0 0 20 0 2 0 332863317 91414528 5125 33554432000 4194304 5964350 140737136582352 139923563845672 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89272

[startup+3.10034 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 17469
/proc/meminfo: memFree=27632520/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89272 CPUtime=3.08 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 6982 0 0 0 307 1 0 0 20 0 2 0 332863305 91414528 6381 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22318 6381 186 433 0 21882 0
[pid=17467/tid=17469] ppid=17465 vsize=89272 CPUtime=2.96 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 4474 0 0 0 295 1 0 0 20 0 2 0 332863317 91414528 6381 33554432000 4194304 5964350 140737136582352 139923563845640 4400424 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 89272

[startup+6.3003 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 17469
/proc/meminfo: memFree=27623344/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89272 CPUtime=6.29 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 8153 0 0 0 627 2 0 0 20 0 2 0 332863305 91414528 7552 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22318 7552 186 433 0 21882 0
[pid=17467/tid=17469] ppid=17465 vsize=89272 CPUtime=6.16 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 5645 0 0 0 614 2 0 0 20 0 2 0 332863317 91414528 7552 33554432000 4194304 5964350 140737136582352 139923563845432 4392725 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89272

[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 17469
/proc/meminfo: memFree=27609828/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=12.68 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 10879 0 0 0 1265 3 0 0 20 0 2 0 332863305 92155904 10278 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 10278 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=12.56 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 8371 0 0 0 1252 4 0 0 20 0 2 0 332863317 92155904 10278 33554432000 4194304 5964350 140737136582352 139923563845624 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89996

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

[startup+12.8004 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 17469
/proc/meminfo: memFree=27609828/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=12.78 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 10921 0 0 0 1275 3 0 0 20 0 2 0 332863305 92155904 10320 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 10320 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=12.66 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 8413 0 0 0 1262 4 0 0 20 0 2 0 332863317 92155904 10320 33554432000 4194304 5964350 140737136582352 139923563845624 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 89996

[startup+19.2003 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 17469
/proc/meminfo: memFree=27600900/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=19.18 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 12037 0 0 0 1914 4 0 0 20 0 2 0 332863305 92155904 11436 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 11436 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=19.06 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 9529 0 0 0 1901 5 0 0 20 0 2 0 332863317 92155904 11436 33554432000 4194304 5964350 140737136582352 139923563845432 4403287 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 89996

[startup+20.8003 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 17469
/proc/meminfo: memFree=27600652/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=20.77 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 12057 0 0 0 2073 4 0 0 20 0 2 0 332863305 92155904 11456 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 11456 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=20.66 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 9549 0 0 0 2061 5 0 0 20 0 2 0 332863317 92155904 11456 33554432000 4194304 5964350 140737136582352 139923563845432 5130932 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 20.77
Current children cumulated vsize (KiB) 89996

[startup+21.6004 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 17469
/proc/meminfo: memFree=27600528/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=21.57 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 12097 0 0 0 2153 4 0 0 20 0 2 0 332863305 92155904 11496 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 11496 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=21.46 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 9589 0 0 0 2141 5 0 0 20 0 2 0 332863317 92155904 11496 33554432000 4194304 5964350 140737136582352 139923563845432 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 21.57
Current children cumulated vsize (KiB) 89996

[startup+22.0003 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 17469
/proc/meminfo: memFree=27599520/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=21.98 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 12152 0 0 0 2194 4 0 0 20 0 2 0 332863305 92155904 11551 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 11551 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=21.87 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 9644 0 0 0 2182 5 0 0 20 0 2 0 332863317 92155904 11551 33554432000 4194304 5964350 140737136582352 139923563845432 4403588 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 21.98
Current children cumulated vsize (KiB) 89996

[startup+22.4004 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 17469
/proc/meminfo: memFree=27599520/32873852 swapFree=6856/6856
[pid=17467] ppid=17465 vsize=89996 CPUtime=22.37 cores=1,3,5,7
/proc/17467/stat : 17467 (wbo1.72) S 17465 17467 14594 0 -1 4202496 12284 0 0 0 2233 4 0 0 20 0 2 0 332863305 92155904 11683 33554432000 4194304 5964350 140737136582352 140737136581872 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17467/statm: 22499 11683 186 433 0 22063 0
[pid=17467/tid=17469] ppid=17465 vsize=89996 CPUtime=22.26 cores=1,3,5,7
/proc/17467/task/17469/stat : 17469 (wbo1.72) R 17465 17467 14594 0 -1 4202560 9776 0 0 0 2221 5 0 0 20 0 2 0 332863317 92155904 11683 33554432000 4194304 5964350 140737136582352 139923563845432 4388992 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 22.37
Current children cumulated vsize (KiB) 89996

Child status: 255
Real time (s): 22.4455
CPU time (s): 22.4376
CPU user time (s): 22.3696
CPU system time (s): 0.067989
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 89996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3696
system time used= 0.067989
maximum resident set size= 46828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12308
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= 4
involuntary context switches= 62

runsolver used 0.030995 second user time and 0.097985 second system time

The end