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-3728066-1338667859/watcher-3728066-1338667859 -o /tmp/evaluation-result-3728066-1338667859/solver-3728066-1338667859 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728066-1338667859.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.02 2.01 2.00 3/176 24144
/proc/meminfo: memFree=28444228/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=4508 CPUtime=0 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) R 24142 24144 23631 0 -1 4202496 579 0 0 0 0 0 0 0 20 0 1 0 332911334 4616192 531 33554432000 4194304 5964350 140735685722480 140735857503768 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 1127 532 174 433 0 616 0
[startup+0.0327981 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24144
/proc/meminfo: memFree=28444228/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86000 CPUtime=0.03 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 1834 0 0 0 3 0 0 0 20 0 2 0 332911334 88064000 1711 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21500 1711 183 433 0 21064 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 86000
[startup+0.100181 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24144
/proc/meminfo: memFree=28444228/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86000 CPUtime=0.09 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 2462 0 0 0 9 0 0 0 20 0 2 0 332911334 88064000 2339 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21500 2339 195 433 0 21064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86000
[startup+0.300114 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24144
/proc/meminfo: memFree=28444228/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86000 CPUtime=0.29 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 2713 0 0 0 29 0 0 0 20 0 2 0 332911334 88064000 2590 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21500 2590 195 433 0 21064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86000
[startup+0.70011 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24144
/proc/meminfo: memFree=28444228/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86000 CPUtime=0.69 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 2720 0 0 0 69 0 0 0 20 0 2 0 332911334 88064000 2597 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21500 2597 195 433 0 21064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86000
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24146
/proc/meminfo: memFree=28430976/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86144 CPUtime=1.49 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 3201 0 0 0 149 0 0 0 20 0 2 0 332911334 88211456 3078 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21536 3078 195 433 0 21100 0
[pid=24144/tid=24146] ppid=24142 vsize=86144 CPUtime=1.45 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 1853 0 0 0 145 0 0 0 20 0 2 0 332911336 88211456 3078 33554432000 4194304 5964350 140735685722480 140625967949816 4403290 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) 86144
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 24146
/proc/meminfo: memFree=28427860/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86216 CPUtime=3.08 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 4239 0 0 0 308 0 0 0 20 0 2 0 332911334 88285184 4116 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21554 4116 195 433 0 21118 0
[pid=24144/tid=24146] ppid=24142 vsize=86216 CPUtime=3.05 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 2891 0 0 0 305 0 0 0 20 0 2 0 332911336 88285184 4116 33554432000 4194304 5964350 140735685722480 140625967949624 5136340 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) 86216
[startup+6.30025 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24146
/proc/meminfo: memFree=28418112/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86324 CPUtime=6.29 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 5832 0 0 0 628 1 0 0 20 0 2 0 332911334 88395776 5709 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21581 5709 195 433 0 21145 0
[pid=24144/tid=24146] ppid=24142 vsize=86324 CPUtime=6.24 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 4484 0 0 0 623 1 0 0 20 0 2 0 332911336 88395776 5709 33554432000 4194304 5964350 140735685722480 140625967949864 4221120 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) 86324
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24146
/proc/meminfo: memFree=28398864/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=86628 CPUtime=12.68 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 7650 0 0 0 1267 1 0 0 20 0 2 0 332911334 88707072 7527 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21657 7527 195 433 0 21221 0
[pid=24144/tid=24146] ppid=24142 vsize=86628 CPUtime=12.62 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 6302 0 0 0 1261 1 0 0 20 0 2 0 332911336 88707072 7527 33554432000 4194304 5964350 140735685722480 140625967949624 4399840 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) 86628
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24146
/proc/meminfo: memFree=28376788/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=87780 CPUtime=25.48 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 10724 0 0 0 2545 3 0 0 20 0 2 0 332911334 89886720 10601 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 21945 10601 195 433 0 21509 0
[pid=24144/tid=24146] ppid=24142 vsize=87780 CPUtime=25.39 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 9376 0 0 0 2536 3 0 0 20 0 2 0 332911336 89886720 10601 33554432000 4194304 5964350 140735685722480 140625967949864 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87780
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24146
/proc/meminfo: memFree=28333344/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=89172 CPUtime=51.07 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 15843 0 0 0 5101 6 0 0 20 0 2 0 332911334 91312128 15764 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 22293 15764 195 433 0 21857 0
[pid=24144/tid=24146] ppid=24142 vsize=89172 CPUtime=50.9 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 14496 0 0 0 5084 6 0 0 20 0 2 0 332911336 91312128 15765 33554432000 4194304 5964350 140735685722480 140625967949336 5136340 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) 89172
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 24146
/proc/meminfo: memFree=28280420/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=158956 CPUtime=102.25 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 25048 0 0 0 10215 10 0 0 20 0 2 0 332911334 162770944 25693 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 39739 25693 195 433 0 39303 0
[pid=24144/tid=24146] ppid=24142 vsize=158956 CPUtime=101.96 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 23700 0 0 0 10185 11 0 0 20 0 2 0 332911336 162770944 25693 33554432000 4194304 5964350 140735685722480 140625967949624 4221120 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) 158956
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24147
/proc/meminfo: memFree=28229768/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=162172 CPUtime=162.23 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 31525 0 0 0 16206 17 0 0 20 0 2 0 332911334 166064128 32215 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 40543 32215 195 433 0 40107 0
[pid=24144/tid=24146] ppid=24142 vsize=162172 CPUtime=161.78 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 30177 0 0 0 16159 19 0 0 20 0 2 0 332911336 166064128 32215 33554432000 4194304 5964350 140735685722480 140625967949864 4379316 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 162172
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24147
/proc/meminfo: memFree=28186208/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=163788 CPUtime=222.22 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 34322 0 0 0 22201 21 0 0 20 0 2 0 332911334 167718912 35012 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 40947 35012 195 433 0 40511 0
[pid=24144/tid=24146] ppid=24142 vsize=163788 CPUtime=221.62 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 32974 0 0 0 22138 24 0 0 20 0 2 0 332911336 167718912 35012 33554432000 4194304 5964350 140735685722480 140625967949864 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 163788
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24147
/proc/meminfo: memFree=28141168/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=231320 CPUtime=282.22 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 38557 0 0 0 28196 26 0 0 20 0 2 0 332911334 236871680 39247 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 57830 39247 195 433 0 57394 0
[pid=24144/tid=24146] ppid=24142 vsize=231320 CPUtime=281.47 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 37209 0 0 0 28117 30 0 0 20 0 2 0 332911336 236871680 39247 33554432000 4194304 5964350 140735685722480 140625967949864 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 231320
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24147
/proc/meminfo: memFree=28106292/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=232756 CPUtime=342.2 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 42450 0 0 0 34190 30 0 0 20 0 2 0 332911334 238342144 43150 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 58189 43150 195 433 0 57753 0
[pid=24144/tid=24146] ppid=24142 vsize=232756 CPUtime=341.3 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 41102 0 0 0 34095 35 0 0 20 0 2 0 332911336 238342144 43150 33554432000 4194304 5964350 140735685722480 140625967949816 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 232756
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24147
/proc/meminfo: memFree=28058984/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=233104 CPUtime=402.18 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 45786 0 0 0 40184 34 0 0 20 0 2 0 332911334 238698496 46486 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 58276 46486 195 433 0 57840 0
[pid=24144/tid=24146] ppid=24142 vsize=233104 CPUtime=401.14 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 44438 0 0 0 40074 40 0 0 20 0 2 0 332911336 238698496 46486 33554432000 4194304 5964350 140735685722480 140625967949864 4400715 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 233104
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24148
/proc/meminfo: memFree=28029216/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=233568 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24159
/proc/meminfo: memFree=27654796/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=375220 CPUtime=1421.98 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 87459 0 0 0 142105 93 0 0 20 0 2 0 332911334 384225280 88643 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 93805 88643 195 433 0 93369 0
[pid=24144/tid=24146] ppid=24142 vsize=375220 CPUtime=1418.47 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 86111 0 0 0 141733 114 0 0 20 0 2 0 332911336 384225280 88643 33554432000 4194304 5964350 140735685722480 140625967949864 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 375220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24159
/proc/meminfo: memFree=27628748/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=440900 CPUtime=1481.97 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 90534 0 0 0 148100 97 0 0 20 0 2 0 332911334 451481600 91718 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110225 91718 195 433 0 109789 0
[pid=24144/tid=24146] ppid=24142 vsize=440900 CPUtime=1478.3 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 89186 0 0 0 147711 119 0 0 20 0 2 0 332911336 451481600 91718 33554432000 4194304 5964350 140735685722480 140625967949816 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 440900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24159
/proc/meminfo: memFree=27608412/32873852 swapFree=7628/7628
[pid=24144] ppid=24142 vsize=440900 CPUtime=1541.96 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 93030 0 0 0 154095 101 0 0 20 0 2 0 332911334 451481600 94214 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110225 94214 195 433 0 109789 0
[pid=24144/tid=24146] ppid=24142 vsize=440900 CPUtime=1538.15 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 91682 0 0 0 153691 124 0 0 20 0 2 0 332911336 451481600 94214 33554432000 4194304 5964350 140735685722480 140625967949864 4403296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 440900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24159
/proc/meminfo: memFree=27579892/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=441428 CPUtime=1601.95 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 96644 0 0 0 160089 106 0 0 20 0 2 0 332911334 452022272 97828 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110357 97828 195 433 0 109921 0
[pid=24144/tid=24146] ppid=24142 vsize=441428 CPUtime=1598 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 95296 0 0 0 159670 130 0 0 20 0 2 0 332911336 452022272 97828 33554432000 4194304 5964350 140735685722480 140625967949864 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 441428
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24159
/proc/meminfo: memFree=27570372/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=441788 CPUtime=1661.93 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 97577 0 0 0 166086 107 0 0 20 0 2 0 332911334 452390912 98745 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110447 98745 195 433 0 110011 0
[pid=24144/tid=24146] ppid=24142 vsize=441788 CPUtime=1657.83 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 96229 0 0 0 165651 132 0 0 20 0 2 0 332911336 452390912 98745 33554432000 4194304 5964350 140735685722480 140625967949816 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 441788
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24160
/proc/meminfo: memFree=27552140/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442028 CPUtime=1721.92 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 101268 0 0 0 172078 114 0 0 20 0 2 0 332911334 452636672 102434 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110507 102434 195 433 0 110071 0
[pid=24144/tid=24146] ppid=24142 vsize=442028 CPUtime=1717.67 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 99920 0 0 0 171627 140 0 0 20 0 2 0 332911336 452636672 102434 33554432000 4194304 5964350 140735685722480 140625967949864 4222240 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 442028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24163
/proc/meminfo: memFree=27528612/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1781.91 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 178072 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1777.51 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 177605 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4379231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 442388
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24163
/proc/meminfo: memFree=27526256/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1791.51 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179032 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1787.09 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 178563 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399889 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 442388
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24163
/proc/meminfo: memFree=27526132/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1794.71 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179352 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1790.28 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 178882 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399906 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 442388
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24163
/proc/meminfo: memFree=27525884/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1797.9 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179671 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1793.47 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 179201 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 442388
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 24190
/proc/meminfo: memFree=28042804/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1798.7 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179751 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1794.27 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 179281 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 442388
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 24190
/proc/meminfo: memFree=28042928/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1799.11 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179792 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1794.67 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 179321 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 442388
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 24190
/proc/meminfo: memFree=28042928/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1799.5 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179831 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1795.07 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 179361 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 442388
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 24190
/proc/meminfo: memFree=28042928/32873852 swapFree=7624/7624
[pid=24144] ppid=24142 vsize=442388 CPUtime=1799.6 cores=1,3,5,7
/proc/24144/stat : 24144 (wbo1.72) S 24142 24144 23631 0 -1 4202496 103839 0 0 0 179841 119 0 0 20 0 2 0 332911334 453005312 105002 33554432000 4194304 5964350 140735685722480 140735685722000 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24144/statm: 110597 105002 195 433 0 110161 0
[pid=24144/tid=24146] ppid=24142 vsize=442388 CPUtime=1795.17 cores=1,3,5,7
/proc/24144/task/24146/stat : 24146 (wbo1.72) R 24142 24144 23631 0 -1 4202560 102491 0 0 0 179371 146 0 0 20 0 2 0 332911336 453005312 105002 33554432000 4194304 5964350 140735685722480 140625967949816 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 442388
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24144 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=752308
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=475775
# CPU time returned by wait4() is 1795.23
# while last known CPU time is 1799.6
#
# 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.6
CPU user time (s): 1798.41
CPU system time (s): 1.19
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 442388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.75
system time used= 1.47578
maximum resident set size= 420016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103841
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= 161
involuntary context switches= 2900
runsolver used 3.65344 second user time and 8.71068 second system time
The end