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-3728123-1338671215/watcher-3728123-1338671215 -o /tmp/evaluation-result-3728123-1338671215/solver-3728123-1338671215 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728123-1338671215.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.00 2.00 2.00 3/177 25265
/proc/meminfo: memFree=27972460/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=3924 CPUtime=0 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) R 25263 25265 24312 0 -1 4202496 493 0 0 0 0 0 0 0 20 0 1 0 333248251 4018176 445 33554432000 4194304 5964350 140736410846272 140736410844056 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 981 445 169 433 0 531 0
[startup+0.0491559 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25265
/proc/meminfo: memFree=27972460/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84592 CPUtime=0.04 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 1477 0 0 0 4 0 0 0 20 0 2 0 333248251 86622208 1415 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21148 1415 193 433 0 20712 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84592
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25265
/proc/meminfo: memFree=27972460/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84592 CPUtime=0.09 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 1605 0 0 0 9 0 0 0 20 0 2 0 333248251 86622208 1543 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21148 1543 193 433 0 20712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84592
[startup+0.300154 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25265
/proc/meminfo: memFree=27972460/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84592 CPUtime=0.29 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 2050 0 0 0 29 0 0 0 20 0 2 0 333248251 86622208 1988 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21148 1988 193 433 0 20712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84592
[startup+0.700152 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25265
/proc/meminfo: memFree=27972460/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84592 CPUtime=0.69 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 2910 0 0 0 69 0 0 0 20 0 2 0 333248251 86622208 2848 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21148 2848 193 433 0 20712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84592
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27949860/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84592 CPUtime=1.48 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 4363 0 0 0 148 0 0 0 20 0 2 0 333248251 86622208 4301 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21148 4301 193 433 0 20712 0
[pid=25265/tid=25267] ppid=25263 vsize=84592 CPUtime=1.47 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 3402 0 0 0 147 0 0 0 20 0 2 0 333248252 86622208 4301 33554432000 4194304 5964350 140736410846272 139815407716344 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84592
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27936468/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84736 CPUtime=3.09 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 5337 0 0 0 308 1 0 0 20 0 2 0 333248251 86769664 5275 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21184 5275 193 433 0 20748 0
[pid=25265/tid=25267] ppid=25263 vsize=84736 CPUtime=3.07 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 4376 0 0 0 307 0 0 0 20 0 2 0 333248252 86769664 5275 33554432000 4194304 5964350 140736410846272 139815407716344 4388148 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84736
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27924388/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84736 CPUtime=6.28 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 7592 0 0 0 627 1 0 0 20 0 2 0 333248251 86769664 7530 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21184 7530 193 433 0 20748 0
[pid=25265/tid=25267] ppid=25263 vsize=84736 CPUtime=6.27 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 6631 0 0 0 626 1 0 0 20 0 2 0 333248252 86769664 7530 33554432000 4194304 5964350 140736410846272 139815407716344 4381894 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84736
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27888300/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84808 CPUtime=12.69 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 12145 0 0 0 1266 3 0 0 20 0 2 0 333248251 86843392 12083 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21202 12083 193 433 0 20766 0
[pid=25265/tid=25267] ppid=25263 vsize=84808 CPUtime=12.67 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 11184 0 0 0 1264 3 0 0 20 0 2 0 333248252 86843392 12083 33554432000 4194304 5964350 140736410846272 139815407716344 4399998 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84808
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27837716/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=84916 CPUtime=25.49 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 17392 0 0 0 2544 5 0 0 20 0 2 0 333248251 86953984 17330 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 21229 17330 193 433 0 20793 0
[pid=25265/tid=25267] ppid=25263 vsize=84916 CPUtime=25.47 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 16431 0 0 0 2542 5 0 0 20 0 2 0 333248252 86953984 17330 33554432000 4194304 5964350 140736410846272 139815407716344 4381949 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84916
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27762412/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=150612 CPUtime=51.07 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 26105 0 0 0 5099 8 0 0 20 0 2 0 333248251 154226688 26044 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 37653 26044 193 433 0 37217 0
[pid=25265/tid=25267] ppid=25263 vsize=150612 CPUtime=51.07 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 25144 0 0 0 5098 9 0 0 20 0 2 0 333248252 154226688 26044 33554432000 4194304 5964350 140736410846272 139815407716344 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150612
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27678756/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=216388 CPUtime=102.25 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 34624 0 0 0 10214 11 0 0 20 0 2 0 333248251 221581312 34597 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 54097 34597 193 433 0 53661 0
[pid=25265/tid=25267] ppid=25263 vsize=216388 CPUtime=102.24 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 33663 0 0 0 10212 12 0 0 20 0 2 0 333248252 221581312 34597 33554432000 4194304 5964350 140736410846272 139815407716152 4400007 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 216388
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25267
/proc/meminfo: memFree=27586680/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=282356 CPUtime=162.22 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 54271 0 0 0 16205 17 0 0 20 0 2 0 333248251 289132544 54641 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 70589 54641 193 433 0 70153 0
[pid=25265/tid=25267] ppid=25263 vsize=282356 CPUtime=162.21 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 53310 0 0 0 16201 20 0 0 20 0 2 0 333248252 289132544 54641 33554432000 4194304 5964350 140736410846272 139815407716344 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 282356
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25270
/proc/meminfo: memFree=27506704/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=348468 CPUtime=222.21 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 72891 0 0 0 22197 24 0 0 20 0 2 0 333248251 356831232 73261 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 87117 73261 193 433 0 86681 0
[pid=25265/tid=25267] ppid=25263 vsize=348468 CPUtime=222.21 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 71930 0 0 0 22193 28 0 0 20 0 2 0 333248252 356831232 73261 33554432000 4194304 5964350 140736410846272 139815407716344 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 348468
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25271
/proc/meminfo: memFree=27432552/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=348468 CPUtime=282.2 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 72925 0 0 0 28196 24 0 0 20 0 2 0 333248251 356831232 73267 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 87117 73267 193 433 0 86681 0
[pid=25265/tid=25267] ppid=25263 vsize=348468 CPUtime=282.19 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 71964 0 0 0 28190 29 0 0 20 0 2 0 333248252 356831232 73267 33554432000 4194304 5964350 140736410846272 139815407716376 4400352 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 348468
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25271
/proc/meminfo: memFree=27414060/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=348828 CPUtime=342.17 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 72979 0 0 0 34193 24 0 0 20 0 2 0 333248251 357199872 73488 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 87207 73488 193 433 0 86771 0
[pid=25265/tid=25267] ppid=25263 vsize=348828 CPUtime=342.18 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 72018 0 0 0 34188 30 0 0 20 0 2 0 333248252 357199872 73488 33554432000 4194304 5964350 140736410846272 139815407716520 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 348828
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25271
/proc/meminfo: memFree=27414320/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=348828 CPUtime=402.15 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 73009 0 0 0 40191 24 0 0 20 0 2 0 333248251 357199872 73587 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 87207 73587 193 433 0 86771 0
[pid=25265/tid=25267] ppid=25263 vsize=348828 CPUtime=402.16 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 72048 0 0 0 40185 31 0 0 20 0 2 0 333248252 357199872 73587 33554432000 4194304 5964350 140736410846272 139815407716520 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 348828
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25271
/proc/meminfo: memFree=27397452/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=348828 CPUtime=462.14 cores=1,3,5,7
################
# More data... #
################
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 170520 0 0 0 130117 91 0 0 20 0 2 0 333248252 774668288 172143 33554432000 4194304 5964350 140736410846272 139815407716344 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 756512
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25277
/proc/meminfo: memFree=26903556/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1361.95 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174330 0 0 0 136123 72 0 0 20 0 2 0 333248251 775000064 174992 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 174992 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1362.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173369 0 0 0 136115 93 0 0 20 0 2 0 333248252 775000064 174992 33554432000 4194304 5964350 140736410846272 139815407716344 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 756836
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25280
/proc/meminfo: memFree=26903684/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1421.95 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174333 0 0 0 142123 72 0 0 20 0 2 0 333248251 775000064 174995 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 174995 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1422.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173372 0 0 0 142114 94 0 0 20 0 2 0 333248252 775000064 174995 33554432000 4194304 5964350 140736410846272 139815407716344 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 756836
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25281
/proc/meminfo: memFree=26862400/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1481.93 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174333 0 0 0 148121 72 0 0 20 0 2 0 333248251 775000064 174995 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 174995 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1482.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173372 0 0 0 148113 95 0 0 20 0 2 0 333248252 775000064 174995 33554432000 4194304 5964350 140736410846272 139815407716344 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 756836
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25281
/proc/meminfo: memFree=26829656/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1541.92 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174333 0 0 0 154120 72 0 0 20 0 2 0 333248251 775000064 174995 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 174995 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1542.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173372 0 0 0 154112 96 0 0 20 0 2 0 333248252 775000064 174995 33554432000 4194304 5964350 140736410846272 139815407716344 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 756836
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25282
/proc/meminfo: memFree=26810056/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1601.91 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174338 0 0 0 160119 72 0 0 20 0 2 0 333248251 775000064 175000 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175000 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1602.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173377 0 0 0 160111 97 0 0 20 0 2 0 333248252 775000064 175000 33554432000 4194304 5964350 140736410846272 139815407716344 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 756836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25282
/proc/meminfo: memFree=26809692/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1661.9 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174343 0 0 0 166118 72 0 0 20 0 2 0 333248251 775000064 175005 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175005 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1662.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173382 0 0 0 166110 98 0 0 20 0 2 0 333248252 775000064 175005 33554432000 4194304 5964350 140736410846272 139815407716344 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 756836
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25282
/proc/meminfo: memFree=26809820/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1721.9 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174349 0 0 0 172118 72 0 0 20 0 2 0 333248251 775000064 175011 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175011 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1722.08 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173388 0 0 0 172109 99 0 0 20 0 2 0 333248252 775000064 175011 33554432000 4194304 5964350 140736410846272 139815407716344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 756836
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26808568/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1781.86 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174386 0 0 0 178114 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1782.05 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173425 0 0 0 178105 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 756836
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26808828/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1791.46 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174389 0 0 0 179074 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1791.65 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173428 0 0 0 179065 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 756836
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26808952/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1794.66 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174389 0 0 0 179394 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1794.85 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173428 0 0 0 179385 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4400003 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 756836
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26809076/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1797.86 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174389 0 0 0 179714 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1798.05 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173428 0 0 0 179705 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 756836
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26809076/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1798.66 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174390 0 0 0 179794 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1798.84 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173429 0 0 0 179784 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 756836
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26808888/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1799.06 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174390 0 0 0 179834 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1799.25 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173429 0 0 0 179825 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 756836
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26808888/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1799.46 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174390 0 0 0 179874 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1799.64 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173429 0 0 0 179864 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 756836
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25283
/proc/meminfo: memFree=26808888/32873648 swapFree=6852/6852
[pid=25265] ppid=25263 vsize=756836 CPUtime=1799.56 cores=1,3,5,7
/proc/25265/stat : 25265 (wbo1.72) S 25263 25265 24312 0 -1 4202496 174390 0 0 0 179884 72 0 0 20 0 2 0 333248251 775000064 175028 33554432000 4194304 5964350 140736410846272 140736410845792 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25265/statm: 189209 175028 193 433 0 188773 0
[pid=25265/tid=25267] ppid=25263 vsize=756836 CPUtime=1799.74 cores=1,3,5,7
/proc/25265/task/25267/stat : 25267 (wbo1.72) R 25263 25265 24312 0 -1 4202560 173429 0 0 0 179874 100 0 0 20 0 2 0 333248252 775000064 175028 33554432000 4194304 5964350 140736410846272 139815407716344 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 756836
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.77
CPU user time (s): 1798.75
CPU system time (s): 1.01584
CPU usage (%): 99.9868
Max. virtual memory (cumulated for all children) (KiB): 756836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.01585
maximum resident set size= 700124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174393
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= 274
involuntary context switches= 2401
runsolver used 4.76228 second user time and 14.4938 second system time
The end