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-3713106-1338223756/watcher-3713106-1338223756 -o /tmp/evaluation-result-3713106-1338223756/solver-3713106-1338223756 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713106-1338223756.wbo
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.00 2.00 3/177 22056
/proc/meminfo: memFree=30235728/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=4436 CPUtime=0 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) R 22054 22056 18639 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 288501634 4542464 564 33554432000 4194304 5964318 140733933223248 140736083263336 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 1109 575 167 433 0 673 0
[startup+0.055318 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22056
/proc/meminfo: memFree=30235728/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=0.05 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 1395 0 0 0 5 0 0 0 20 0 2 0 288501634 85856256 1335 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 1335 198 433 0 20525 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83844
[startup+0.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22056
/proc/meminfo: memFree=30235728/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=0.09 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 1782 0 0 0 9 0 0 0 20 0 2 0 288501634 85856256 1620 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 1620 198 433 0 20525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83844
[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22056
/proc/meminfo: memFree=30235728/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=84700 CPUtime=0.29 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 3622 0 0 0 29 0 0 0 20 0 2 0 288501634 86732800 2584 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 21175 2584 198 433 0 20739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84700
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22056
/proc/meminfo: memFree=30235728/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=0.69 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 6662 0 0 0 69 0 0 0 20 0 2 0 288501634 85856256 3667 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 3667 199 433 0 20525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83844
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22058
/proc/meminfo: memFree=30218096/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=1.49 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 11361 0 0 0 148 1 0 0 20 0 2 0 288501634 85856256 5620 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 5620 199 433 0 20525 0
[pid=22056/tid=22058] ppid=22054 vsize=83844 CPUtime=1.48 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 10580 0 0 0 147 1 0 0 20 0 2 0 288501635 85856256 5620 33554432000 4194304 5964318 140733933223248 140319624182600 5179577 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83844
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22058
/proc/meminfo: memFree=30210036/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=3.09 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 13741 0 0 0 308 1 0 0 20 0 2 0 288501634 85856256 6495 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 6495 199 433 0 20525 0
[pid=22056/tid=22058] ppid=22054 vsize=83844 CPUtime=3.08 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 12960 0 0 0 306 2 0 0 20 0 2 0 288501635 85856256 6495 33554432000 4194304 5964318 140733933223248 140319624182168 4389036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83844
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22058
/proc/meminfo: memFree=30206068/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=6.29 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 14264 0 0 0 628 1 0 0 20 0 2 0 288501634 85856256 7018 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 7018 199 433 0 20525 0
[pid=22056/tid=22058] ppid=22054 vsize=83844 CPUtime=6.28 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 13483 0 0 0 626 2 0 0 20 0 2 0 288501635 85856256 7018 33554432000 4194304 5964318 140733933223248 140319624182104 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83844
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22058
/proc/meminfo: memFree=30192508/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=83844 CPUtime=12.68 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 16601 0 0 0 1267 1 0 0 20 0 2 0 288501634 85856256 9355 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 20961 9355 199 433 0 20525 0
[pid=22056/tid=22058] ppid=22054 vsize=83844 CPUtime=12.68 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 15820 0 0 0 1266 2 0 0 20 0 2 0 288501635 85856256 9355 33554432000 4194304 5964318 140733933223248 140319624181800 4400019 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83844
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22058
/proc/meminfo: memFree=30172428/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=86732 CPUtime=25.48 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 20168 0 0 0 2546 2 0 0 20 0 2 0 288501634 88813568 12920 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 21683 12920 199 433 0 21247 0
[pid=22056/tid=22058] ppid=22054 vsize=86732 CPUtime=25.48 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 19387 0 0 0 2545 3 0 0 20 0 2 0 288501635 88813568 12920 33554432000 4194304 5964318 140733933223248 140319624182104 4399774 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86732
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22061
/proc/meminfo: memFree=30171464/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=86732 CPUtime=51.08 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 20217 0 0 0 5106 2 0 0 20 0 2 0 288501634 88813568 12969 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 21683 12969 199 433 0 21247 0
[pid=22056/tid=22058] ppid=22054 vsize=86732 CPUtime=51.08 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 19436 0 0 0 5105 3 0 0 20 0 2 0 288501635 88813568 12969 33554432000 4194304 5964318 140733933223248 140319624182104 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86732
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22061
/proc/meminfo: memFree=30129752/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=152268 CPUtime=102.28 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 29129 0 0 0 10223 5 0 0 20 0 2 0 288501634 155922432 21881 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 38067 21881 199 433 0 37631 0
[pid=22056/tid=22058] ppid=22054 vsize=152268 CPUtime=102.29 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 28348 0 0 0 10222 7 0 0 20 0 2 0 288501635 155922432 21881 33554432000 4194304 5964318 140733933223248 140319624181752 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152268
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22061
/proc/meminfo: memFree=30074264/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=153352 CPUtime=162.27 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 38271 0 0 0 16219 8 0 0 20 0 2 0 288501634 157032448 31006 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 38338 31006 199 433 0 37902 0
[pid=22056/tid=22058] ppid=22054 vsize=153352 CPUtime=162.29 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 37490 0 0 0 16219 10 0 0 20 0 2 0 288501635 157032448 31006 33554432000 4194304 5964318 140733933223248 140319624181560 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 153352
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22061
/proc/meminfo: memFree=30019096/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=218888 CPUtime=222.22 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 48973 0 0 0 22210 12 0 0 20 0 2 0 288501634 224141312 42808 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 54722 42808 199 433 0 54286 0
[pid=22056/tid=22058] ppid=22054 vsize=218888 CPUtime=222.26 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 48192 0 0 0 22210 16 0 0 20 0 2 0 288501635 224141312 42808 33554432000 4194304 5964318 140733933223248 140319624181752 4399910 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 218888
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22061
/proc/meminfo: memFree=29970920/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=219428 CPUtime=282.19 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 52516 0 0 0 28205 14 0 0 20 0 2 0 288501634 224694272 47474 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 54857 47474 199 433 0 54421 0
[pid=22056/tid=22058] ppid=22054 vsize=219428 CPUtime=282.24 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 51735 0 0 0 28205 19 0 0 20 0 2 0 288501635 224694272 47474 33554432000 4194304 5964318 140733933223248 140319624181560 4400374 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 219428
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22062
/proc/meminfo: memFree=29942148/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=219428 CPUtime=342.18 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 55542 0 0 0 34203 15 0 0 20 0 2 0 288501634 224694272 50497 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 54857 50497 199 433 0 54421 0
[pid=22056/tid=22058] ppid=22054 vsize=219428 CPUtime=342.24 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 54761 0 0 0 34203 21 0 0 20 0 2 0 288501635 224694272 50497 33554432000 4194304 5964318 140733933223248 140319624181560 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 219428
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 22062
/proc/meminfo: memFree=29892980/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=286048 CPUtime=402.17 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 63936 0 0 0 40197 20 0 0 20 0 2 0 288501634 292913152 58882 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 71512 58882 199 433 0 71076 0
[pid=22056/tid=22058] ppid=22054 vsize=286048 CPUtime=402.25 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 63155 0 0 0 40198 27 0 0 20 0 2 0 288501635 292913152 58882 33554432000 4194304 5964318 140733933223248 140319624181752 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 286048
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22062
/proc/meminfo: memFree=29852928/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=286048 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 130164 62 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 414412
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22251
/proc/meminfo: memFree=30027360/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1361.98 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 136156 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1362.25 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 136162 63 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399982 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 414412
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22251
/proc/meminfo: memFree=30005040/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1421.97 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 142155 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1422.26 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 142162 64 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 414412
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22251
/proc/meminfo: memFree=29959164/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1481.96 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 148154 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1482.26 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 148161 65 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 414412
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22252
/proc/meminfo: memFree=29950064/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1541.95 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 154153 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1542.26 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 154160 66 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 414412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22252
/proc/meminfo: memFree=29949264/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1601.94 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 160152 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1602.27 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 160160 67 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 414412
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22252
/proc/meminfo: memFree=29919460/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1661.93 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 166151 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1662.27 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 166159 68 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4388976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 414412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22252
/proc/meminfo: memFree=29900240/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1721.92 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 172150 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1722.27 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 172158 69 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399991 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 414412
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22252
/proc/meminfo: memFree=29860564/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1781.91 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 178149 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1782.28 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 178158 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399971 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 414412
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853248/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1791.52 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179110 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1791.88 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179118 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4389051 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 414412
[startup+1795.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853248/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1794.72 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179430 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1795.08 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179438 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 414412
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853124/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1797.91 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179749 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1798.28 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179758 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 414412
[startup+1799.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853000/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1798.71 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179829 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1799.08 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179838 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4400364 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 414412
[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853000/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1799.11 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179869 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1799.48 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179878 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 414412
[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853000/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1799.51 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179909 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1799.88 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179918 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4399824 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 414412
[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22252
/proc/meminfo: memFree=29853000/32873648 swapFree=6860/6860
[pid=22056] ppid=22054 vsize=414412 CPUtime=1799.61 cores=0,2,4,6
/proc/22056/stat : 22056 (wbo1.71) S 22054 22056 18639 0 -1 4202496 104110 0 0 0 179919 42 0 0 20 0 2 0 288501634 424357888 98475 33554432000 4194304 5964318 140733933223248 140733933222768 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22056/statm: 103603 98475 199 433 0 103167 0
[pid=22056/tid=22058] ppid=22054 vsize=414412 CPUtime=1799.98 cores=0,2,4,6
/proc/22056/task/22058/stat : 22058 (wbo1.71) R 22054 22056 18639 0 -1 4202560 103329 0 0 0 179928 70 0 0 20 0 2 0 288501635 424357888 98475 33554432000 4194304 5964318 140733933223248 140319624182712 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 414412
Child status: 255
Real time (s): 1800
CPU time (s): 1800
CPU user time (s): 1799.29
CPU system time (s): 0.712891
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 424068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.712891
maximum resident set size= 396932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104112
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= 129
involuntary context switches= 1933
runsolver used 2.74358 second user time and 7.17391 second system time
The end