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-3705228-1338099948/watcher-3705228-1338099948 -o /tmp/evaluation-result-3705228-1338099948/solver-3705228-1338099948 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705228-1338099948.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 23152
/proc/meminfo: memFree=27198692/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=6056 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) R 23150 23152 22359 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 276122050 6201344 420 33554432000 4194304 5963574 140733301414992 140733544763896 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 1514 420 171 432 0 496 0
[startup+0.0977549 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23152
/proc/meminfo: memFree=27198692/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=6996 CPUtime=0.09 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) R 23150 23152 22359 0 -1 4202496 1008 0 0 0 9 0 0 0 20 0 1 0 276122050 7163904 961 33554432000 4194304 5963574 140733301414992 140733544763896 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 1749 961 511 432 0 731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6996
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23152
/proc/meminfo: memFree=27198692/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=6996 CPUtime=0.09 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) R 23150 23152 22359 0 -1 4202496 1020 0 0 0 9 0 0 0 20 0 1 0 276122050 7163904 973 33554432000 4194304 5963574 140733301414992 140733544763896 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 1749 974 521 432 0 731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6996
[startup+0.30015 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23152
/proc/meminfo: memFree=27198692/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=0.29 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 3142 0 0 0 29 0 0 0 20 0 2 0 276122050 87900160 2494 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 2494 190 432 0 21025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85840
[startup+0.700116 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23152
/proc/meminfo: memFree=27198692/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=0.69 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 3463 0 0 0 69 0 0 0 20 0 2 0 276122050 87900160 2575 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 2575 190 432 0 21025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85840
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27188864/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=1.48 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 4686 0 0 0 148 0 0 0 20 0 2 0 276122050 87900160 3141 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 3141 194 432 0 21025 0
[pid=23152/tid=23154] ppid=23150 vsize=85840 CPUtime=1.32 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 2851 0 0 0 132 0 0 0 20 0 2 0 276122066 87900160 3141 33554432000 4194304 5963574 140733301414992 140353553123720 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85840
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27184708/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=3.08 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 5356 0 0 0 308 0 0 0 20 0 2 0 276122050 87900160 3811 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 3811 194 432 0 21025 0
[pid=23152/tid=23154] ppid=23150 vsize=85840 CPUtime=2.91 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 3521 0 0 0 291 0 0 0 20 0 2 0 276122066 87900160 3811 33554432000 4194304 5963574 140733301414992 140353553123720 4388668 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85840
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27176184/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=6.29 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 7587 0 0 0 628 1 0 0 20 0 2 0 276122050 87900160 6042 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 6042 194 432 0 21025 0
[pid=23152/tid=23154] ppid=23150 vsize=85840 CPUtime=6.1 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 5752 0 0 0 610 0 0 0 20 0 2 0 276122066 87900160 6042 33554432000 4194304 5963574 140733301414992 140353553123128 4399355 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85840
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27161688/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=12.69 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 10686 0 0 0 1267 2 0 0 20 0 2 0 276122050 87900160 8984 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 8984 194 432 0 21025 0
[pid=23152/tid=23154] ppid=23150 vsize=85840 CPUtime=12.49 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 8851 0 0 0 1248 1 0 0 20 0 2 0 276122066 87900160 8984 33554432000 4194304 5963574 140733301414992 140353553124280 4388050 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) 85840
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27155504/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=85840 CPUtime=25.48 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 12976 0 0 0 2545 3 0 0 20 0 2 0 276122050 87900160 11274 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 21460 11274 194 432 0 21025 0
[pid=23152/tid=23154] ppid=23150 vsize=85840 CPUtime=25.25 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 11141 0 0 0 2523 2 0 0 20 0 2 0 276122066 87900160 11274 33554432000 4194304 5963574 140733301414992 140353553123320 4393039 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) 85840
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27110584/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=151376 CPUtime=51.08 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 24211 0 0 0 5103 5 0 0 20 0 2 0 276122050 155009024 22435 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 37844 22435 194 432 0 37409 0
[pid=23152/tid=23154] ppid=23150 vsize=151376 CPUtime=50.79 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 22376 0 0 0 5075 4 0 0 20 0 2 0 276122066 155009024 22435 33554432000 4194304 5963574 140733301414992 140353553124280 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151376
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23154
/proc/meminfo: memFree=27107484/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=151376 CPUtime=102.28 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 24983 0 0 0 10223 5 0 0 20 0 2 0 276122050 155009024 23207 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 37844 23207 194 432 0 37409 0
[pid=23152/tid=23154] ppid=23150 vsize=151376 CPUtime=101.86 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 23148 0 0 0 10180 6 0 0 20 0 2 0 276122066 155009024 23207 33554432000 4194304 5963574 140733301414992 140353553123864 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 151376
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23155
/proc/meminfo: memFree=27063216/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=217636 CPUtime=162.26 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 36046 0 0 0 16217 9 0 0 20 0 2 0 276122050 222859264 34270 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 54409 34270 194 432 0 53974 0
[pid=23152/tid=23154] ppid=23150 vsize=217636 CPUtime=161.7 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 34211 0 0 0 16160 10 0 0 20 0 2 0 276122066 222859264 34270 33554432000 4194304 5963574 140733301414992 140353553123256 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 217636
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23155
/proc/meminfo: memFree=27049080/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=216912 CPUtime=222.25 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 39696 0 0 0 22216 9 0 0 20 0 2 0 276122050 222117888 37799 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 54228 37799 194 432 0 53793 0
[pid=23152/tid=23154] ppid=23150 vsize=216912 CPUtime=221.54 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 37861 0 0 0 22142 12 0 0 20 0 2 0 276122066 222117888 37799 33554432000 4194304 5963574 140733301414992 140353553123864 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 216912
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23158
/proc/meminfo: memFree=27035580/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=216912 CPUtime=282.21 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 42723 0 0 0 28211 10 0 0 20 0 2 0 276122050 222117888 40974 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 54228 40974 194 432 0 53793 0
[pid=23152/tid=23154] ppid=23150 vsize=216912 CPUtime=281.36 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 40888 0 0 0 28122 14 0 0 20 0 2 0 276122066 222117888 40974 33554432000 4194304 5963574 140733301414992 140353553123128 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 216912
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 23197
/proc/meminfo: memFree=27321940/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=216912 CPUtime=342.18 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 50854 0 0 0 34205 13 0 0 20 0 2 0 276122050 222117888 49132 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 54228 49132 194 432 0 53793 0
[pid=23152/tid=23154] ppid=23150 vsize=216912 CPUtime=341.17 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 49019 0 0 0 34099 18 0 0 20 0 2 0 276122066 222117888 49132 33554432000 4194304 5963574 140733301414992 140353553123128 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 216912
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23236
/proc/meminfo: memFree=27339016/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=282448 CPUtime=402.17 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 57706 0 0 0 40201 16 0 0 20 0 2 0 276122050 289226752 56738 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 70612 56738 194 432 0 70177 0
[pid=23152/tid=23154] ppid=23150 vsize=282448 CPUtime=401.01 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 55871 0 0 0 40079 22 0 0 20 0 2 0 276122066 289226752 56738 33554432000 4194304 5963574 140733301414992 140353553123128 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 282448
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 23238
/proc/meminfo: memFree=27206720/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=349068 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23244
/proc/meminfo: memFree=26210312/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=873896 CPUtime=1421.88 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 203181 0 0 0 142107 81 0 0 20 0 2 0 276122050 894869504 203878 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 218474 203878 194 432 0 218039 0
[pid=23152/tid=23154] ppid=23150 vsize=873896 CPUtime=1418.19 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 201346 0 0 0 141717 102 0 0 20 0 2 0 276122066 894869504 203878 33554432000 4194304 5963574 140733301414992 140353553123128 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 873896
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23247
/proc/meminfo: memFree=26174296/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=873896 CPUtime=1481.84 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 205102 0 0 0 148102 82 0 0 20 0 2 0 276122050 894869504 206020 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 218474 206020 194 432 0 218039 0
[pid=23152/tid=23154] ppid=23150 vsize=873896 CPUtime=1478 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 203267 0 0 0 147696 104 0 0 20 0 2 0 276122066 894869504 206020 33554432000 4194304 5963574 140733301414992 140353553123128 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 873896
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23247
/proc/meminfo: memFree=26068304/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=873896 CPUtime=1541.83 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 205526 0 0 0 154100 83 0 0 20 0 2 0 276122050 894869504 206473 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 218474 206473 194 432 0 218039 0
[pid=23152/tid=23154] ppid=23150 vsize=873896 CPUtime=1537.83 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 203691 0 0 0 153678 105 0 0 20 0 2 0 276122066 894869504 206473 33554432000 4194304 5963574 140733301414992 140353553123192 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 873896
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23247
/proc/meminfo: memFree=26062996/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=873896 CPUtime=1601.81 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 206424 0 0 0 160098 83 0 0 20 0 2 0 276122050 894869504 207811 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 218474 207811 194 432 0 218039 0
[pid=23152/tid=23154] ppid=23150 vsize=873896 CPUtime=1597.66 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 204589 0 0 0 159659 107 0 0 20 0 2 0 276122066 894869504 207811 33554432000 4194304 5963574 140733301414992 140353553123192 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 873896
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23247
/proc/meminfo: memFree=26014760/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=939432 CPUtime=1661.8 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 218495 0 0 0 166092 88 0 0 20 0 2 0 276122050 961978368 219879 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 234858 219879 194 432 0 234423 0
[pid=23152/tid=23154] ppid=23150 vsize=939432 CPUtime=1657.51 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 216660 0 0 0 165638 113 0 0 20 0 2 0 276122066 961978368 219879 33554432000 4194304 5963574 140733301414992 140353553123128 4388683 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 939432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=26000380/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=939432 CPUtime=1721.79 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 219558 0 0 0 172090 89 0 0 20 0 2 0 276122050 961978368 220931 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 234858 220931 194 432 0 234423 0
[pid=23152/tid=23154] ppid=23150 vsize=939432 CPUtime=1717.35 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 217723 0 0 0 171621 114 0 0 20 0 2 0 276122066 961978368 220931 33554432000 4194304 5963574 140733301414992 140353553123192 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 939432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25878488/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1781.78 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 247121 0 0 0 178078 100 0 0 20 0 2 0 276122050 1096196096 248490 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 248491 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1777.19 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 245287 0 0 0 177593 126 0 0 20 0 2 0 276122066 1096196096 248491 33554432000 4194304 5963574 140733301414992 140353553123320 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1070504
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 23248
/proc/meminfo: memFree=25852324/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1791.38 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 250276 0 0 0 179037 101 0 0 20 0 2 0 276122050 1096196096 251645 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 251645 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1786.77 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 248441 0 0 0 178549 128 0 0 20 0 2 0 276122066 1096196096 251645 33554432000 4194304 5963574 140733301414992 140353553123320 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 1070504
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25843024/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1794.59 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 251636 0 0 0 179357 102 0 0 20 0 2 0 276122050 1096196096 253005 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 253005 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1789.97 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 249801 0 0 0 178869 128 0 0 20 0 2 0 276122066 1096196096 253005 33554432000 4194304 5963574 140733301414992 140353553123320 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 1070504
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25838188/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1797.77 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 252848 0 0 0 179675 102 0 0 20 0 2 0 276122050 1096196096 254217 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 254217 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1793.15 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 251013 0 0 0 179186 129 0 0 20 0 2 0 276122066 1096196096 254217 33554432000 4194304 5963574 140733301414992 140353553123128 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 1070504
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25835336/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1798.57 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 253027 0 0 0 179755 102 0 0 20 0 2 0 276122050 1096196096 254396 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 254396 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1793.95 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 251192 0 0 0 179266 129 0 0 20 0 2 0 276122066 1096196096 254396 33554432000 4194304 5963574 140733301414992 140353553123128 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 1070504
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25833476/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1798.98 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 253149 0 0 0 179796 102 0 0 20 0 2 0 276122050 1096196096 254518 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 254518 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1794.35 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 251314 0 0 0 179306 129 0 0 20 0 2 0 276122066 1096196096 254518 33554432000 4194304 5963574 140733301414992 140353553123320 4399639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 1070504
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25833476/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1799.37 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 253246 0 0 0 179835 102 0 0 20 0 2 0 276122050 1096196096 254615 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 254615 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1794.75 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 251411 0 0 0 179346 129 0 0 20 0 2 0 276122066 1096196096 254615 33554432000 4194304 5963574 140733301414992 140353553123320 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 1070504
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23248
/proc/meminfo: memFree=25833476/32873648 swapFree=6336/6336
[pid=23152] ppid=23150 vsize=1070504 CPUtime=1799.47 cores=1,3,5,7
/proc/23152/stat : 23152 (wbo1.7) S 23150 23152 22359 0 -1 4202496 253262 0 0 0 179845 102 0 0 20 0 2 0 276122050 1096196096 254631 33554432000 4194304 5963574 140733301414992 140733301414512 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23152/statm: 267626 254631 194 432 0 267191 0
[pid=23152/tid=23154] ppid=23150 vsize=1070504 CPUtime=1794.85 cores=1,3,5,7
/proc/23152/task/23154/stat : 23154 (wbo1.7) R 23150 23152 22359 0 -1 4202560 251427 0 0 0 179356 129 0 0 20 0 2 0 276122066 1096196096 254631 33554432000 4194304 5963574 140733301414992 140353553123320 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 1070504
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23152 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=724312
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=316799
# CPU time returned by wait4() is 1795.04
# while last known CPU time is 1799.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.47
CPU user time (s): 1798.45
CPU system time (s): 1.02
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 1070504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.72
system time used= 1.3168
maximum resident set size= 1018524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253262
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= 386
involuntary context switches= 1850
runsolver used 4.95525 second user time and 20.9818 second system time
The end