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-3705718-1338100445/watcher-3705718-1338100445 -o /tmp/evaluation-result-3705718-1338100445/solver-3705718-1338100445 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705718-1338100445.opb
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.01 2.01 2.00 3/177 3709
/proc/meminfo: memFree=27895300/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=3668 CPUtime=0 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) R 3707 3709 2447 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 276170487 3756032 371 33554432000 4194304 5963574 140737371618528 140735828000168 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 917 371 177 432 0 456 0
[startup+0.090672 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3709
/proc/meminfo: memFree=27895300/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=0.08 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 1333 0 0 0 8 0 0 0 20 0 2 0 276170487 86413312 1252 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 1252 191 432 0 20662 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 84388
[startup+0.100171 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3709
/proc/meminfo: memFree=27895300/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=0.09 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 1369 0 0 0 9 0 0 0 20 0 2 0 276170487 86413312 1269 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 1269 191 432 0 20662 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84388
[startup+0.300177 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3709
/proc/meminfo: memFree=27895300/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=0.29 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 1659 0 0 0 29 0 0 0 20 0 2 0 276170487 86413312 1534 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 1534 194 432 0 20662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84388
[startup+0.700112 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3709
/proc/meminfo: memFree=27895300/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=0.69 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 2168 0 0 0 69 0 0 0 20 0 2 0 276170487 86413312 2043 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 2043 194 432 0 20662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84388
[startup+1.50014 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27886356/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=1.49 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 2641 0 0 0 149 0 0 0 20 0 2 0 276170487 86413312 2516 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 2516 194 432 0 20662 0
[pid=3709/tid=3711] ppid=3707 vsize=84388 CPUtime=1.48 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 1731 0 0 0 148 0 0 0 20 0 2 0 276170488 86413312 2516 33554432000 4194304 5963574 140737371618528 140490759625032 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84388
[startup+3.10016 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27885116/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=3.09 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 3228 0 0 0 309 0 0 0 20 0 2 0 276170487 86413312 3075 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 3075 194 432 0 20662 0
[pid=3709/tid=3711] ppid=3707 vsize=84388 CPUtime=3.08 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 2318 0 0 0 308 0 0 0 20 0 2 0 276170488 86413312 3075 33554432000 4194304 5963574 140737371618528 140490759624504 4403213 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84388
[startup+6.30013 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27881148/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84604 CPUtime=6.29 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 4537 0 0 0 628 1 0 0 20 0 2 0 276170487 86634496 4384 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21151 4384 194 432 0 20716 0
[pid=3709/tid=3711] ppid=3707 vsize=84604 CPUtime=6.28 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 3627 0 0 0 626 2 0 0 20 0 2 0 276170488 86634496 4384 33554432000 4194304 5963574 140737371618528 140490759624504 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84604
[startup+12.7001 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27866288/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84712 CPUtime=12.69 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 7390 0 0 0 1267 2 0 0 20 0 2 0 276170487 86745088 7237 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21178 7237 194 432 0 20743 0
[pid=3709/tid=3711] ppid=3707 vsize=84712 CPUtime=12.68 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 6480 0 0 0 1265 3 0 0 20 0 2 0 276170488 86745088 7237 33554432000 4194304 5963574 140737371618528 140490759624696 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84712
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27849904/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84872 CPUtime=25.49 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 11287 0 0 0 2546 3 0 0 20 0 2 0 276170487 86908928 11134 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21218 11134 194 432 0 20783 0
[pid=3709/tid=3711] ppid=3707 vsize=84872 CPUtime=25.48 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 10377 0 0 0 2544 4 0 0 20 0 2 0 276170488 86908928 11134 33554432000 4194304 5963574 140737371618528 140490759624504 4399627 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84872
[startup+51.1001 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27835740/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=51.08 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 14756 0 0 0 5104 4 0 0 20 0 2 0 276170487 86413312 14483 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 14483 194 432 0 20662 0
[pid=3709/tid=3711] ppid=3707 vsize=84388 CPUtime=51.08 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 13846 0 0 0 5103 5 0 0 20 0 2 0 276170488 86413312 14483 33554432000 4194304 5963574 140737371618528 140490759625656 4387472 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84388
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3711
/proc/meminfo: memFree=27823212/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=84388 CPUtime=102.28 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 17018 0 0 0 10223 5 0 0 20 0 2 0 276170487 86413312 16745 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 21097 16745 194 432 0 20662 0
[pid=3709/tid=3711] ppid=3707 vsize=84388 CPUtime=102.29 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 16108 0 0 0 10222 7 0 0 20 0 2 0 276170488 86413312 16745 33554432000 4194304 5963574 140737371618528 140490759624504 4399645 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 84388
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3711
/proc/meminfo: memFree=27757412/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=150648 CPUtime=162.27 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 27493 0 0 0 16218 9 0 0 20 0 2 0 276170487 154263552 27216 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 37662 27216 194 432 0 37227 0
[pid=3709/tid=3711] ppid=3707 vsize=150648 CPUtime=162.28 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 26583 0 0 0 16217 11 0 0 20 0 2 0 276170488 154263552 27216 33554432000 4194304 5963574 140737371618528 140490759624504 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 150648
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 3711
/proc/meminfo: memFree=27704344/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=216184 CPUtime=222.25 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 34296 0 0 0 22213 12 0 0 20 0 2 0 276170487 221372416 34017 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 54046 34017 194 432 0 53611 0
[pid=3709/tid=3711] ppid=3707 vsize=216184 CPUtime=222.29 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 33386 0 0 0 22213 16 0 0 20 0 2 0 276170488 221372416 34017 33554432000 4194304 5963574 140737371618528 140490759624504 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 216184
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3763
/proc/meminfo: memFree=28064792/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=216544 CPUtime=282.22 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 39911 0 0 0 28207 15 0 0 20 0 2 0 276170487 221741056 40026 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 54136 40026 194 432 0 53701 0
[pid=3709/tid=3711] ppid=3707 vsize=216544 CPUtime=282.26 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 39001 0 0 0 28206 20 0 0 20 0 2 0 276170488 221741056 40026 33554432000 4194304 5963574 140737371618528 140490759624504 4399477 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 216544
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3763
/proc/meminfo: memFree=27982736/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=216544 CPUtime=342.17 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 49463 0 0 0 34197 20 0 0 20 0 2 0 276170487 221741056 49911 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 54136 49911 194 432 0 53701 0
[pid=3709/tid=3711] ppid=3707 vsize=216544 CPUtime=342.23 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 48554 0 0 0 34197 26 0 0 20 0 2 0 276170488 221741056 49912 33554432000 4194304 5963574 140737371618528 140490759624744 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 216544
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3766
/proc/meminfo: memFree=27915192/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=282080 CPUtime=402.16 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 57708 0 0 0 40190 26 0 0 20 0 2 0 276170487 288849920 59025 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 70520 59025 194 432 0 70085 0
[pid=3709/tid=3711] ppid=3707 vsize=282080 CPUtime=402.23 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 56798 0 0 0 40190 33 0 0 20 0 2 0 276170488 288849920 59025 33554432000 4194304 5963574 140737371618528 140490759624744 4399651 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 282080
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3766
/proc/meminfo: memFree=27895096/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=282080 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/3709/statm: 120531 115937 194 432 0 120096 0
[pid=3709/tid=3711] ppid=3707 vsize=482124 CPUtime=1302.18 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 111732 0 0 0 130135 83 0 0 20 0 2 0 276170488 493694976 115937 33554432000 4194304 5963574 140737371618528 140490759624504 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 482124
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3772
/proc/meminfo: memFree=27567480/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=482124 CPUtime=1361.91 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 113129 0 0 0 136128 63 0 0 20 0 2 0 276170487 493694976 116424 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 120531 116424 194 432 0 120096 0
[pid=3709/tid=3711] ppid=3707 vsize=482124 CPUtime=1362.18 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 112219 0 0 0 136134 84 0 0 20 0 2 0 276170488 493694976 116424 33554432000 4194304 5963574 140737371618528 140490759624504 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 482124
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3772
/proc/meminfo: memFree=27526668/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=482124 CPUtime=1421.91 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 113323 0 0 0 142128 63 0 0 20 0 2 0 276170487 493694976 116618 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 120531 116618 194 432 0 120096 0
[pid=3709/tid=3711] ppid=3707 vsize=482124 CPUtime=1422.19 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 112413 0 0 0 142134 85 0 0 20 0 2 0 276170488 493694976 116618 33554432000 4194304 5963574 140737371618528 140490759624504 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 482124
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3772
/proc/meminfo: memFree=27517788/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=547660 CPUtime=1481.9 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 115626 0 0 0 148125 65 0 0 20 0 2 0 276170487 560803840 118918 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 136915 118918 194 432 0 136480 0
[pid=3709/tid=3711] ppid=3707 vsize=547660 CPUtime=1482.18 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 114716 0 0 0 148130 88 0 0 20 0 2 0 276170488 560803840 118918 33554432000 4194304 5963574 140737371618528 140490759624696 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 547660
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3773
/proc/meminfo: memFree=27485044/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=548384 CPUtime=1541.88 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 123542 0 0 0 154119 69 0 0 20 0 2 0 276170487 561545216 126834 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 137096 126834 194 432 0 136661 0
[pid=3709/tid=3711] ppid=3707 vsize=548384 CPUtime=1542.19 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 122632 0 0 0 154126 93 0 0 20 0 2 0 276170488 561545216 126834 33554432000 4194304 5963574 140737371618528 140490759624504 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 548384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3776
/proc/meminfo: memFree=27474684/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=548384 CPUtime=1601.87 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 126234 0 0 0 160116 71 0 0 20 0 2 0 276170487 561545216 129570 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 137096 129570 194 432 0 136661 0
[pid=3709/tid=3711] ppid=3707 vsize=548384 CPUtime=1602.18 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 125324 0 0 0 160122 96 0 0 20 0 2 0 276170488 561545216 129570 33554432000 4194304 5963574 140737371618528 140490759624696 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 548384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3799
/proc/meminfo: memFree=27438112/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=613920 CPUtime=1661.83 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 134765 0 0 0 166107 76 0 0 20 0 2 0 276170487 628654080 138571 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153480 138571 194 432 0 153045 0
[pid=3709/tid=3711] ppid=3707 vsize=613920 CPUtime=1662.15 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 133855 0 0 0 166113 102 0 0 20 0 2 0 276170488 628654080 138571 33554432000 4194304 5963574 140737371618528 140490759624744 4399993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 613920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3799
/proc/meminfo: memFree=27432712/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=613920 CPUtime=1721.82 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 135779 0 0 0 172104 78 0 0 20 0 2 0 276170487 628654080 139803 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153480 139803 194 432 0 153045 0
[pid=3709/tid=3711] ppid=3707 vsize=613920 CPUtime=1722.15 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 134869 0 0 0 172111 104 0 0 20 0 2 0 276170488 628654080 139803 33554432000 4194304 5963574 140737371618528 140490759624504 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 613920
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 3799
/proc/meminfo: memFree=27414732/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=613920 CPUtime=1781.81 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 140244 0 0 0 178100 81 0 0 20 0 2 0 276170487 628654080 144265 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153480 144265 194 432 0 153045 0
[pid=3709/tid=3711] ppid=3707 vsize=613920 CPUtime=1782.15 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 139334 0 0 0 178106 109 0 0 20 0 2 0 276170488 628654080 144265 33554432000 4194304 5963574 140737371618528 140490759624744 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 613920
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 3800
/proc/meminfo: memFree=27409524/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=613920 CPUtime=1791.41 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 141536 0 0 0 179059 82 0 0 20 0 2 0 276170487 628654080 145557 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153480 145557 194 432 0 153045 0
[pid=3709/tid=3711] ppid=3707 vsize=613920 CPUtime=1791.76 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 140626 0 0 0 179066 110 0 0 20 0 2 0 276170488 628654080 145557 33554432000 4194304 5963574 140737371618528 140490759624296 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 613920
[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 3800
/proc/meminfo: memFree=27407416/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=613920 CPUtime=1794.61 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 142035 0 0 0 179379 82 0 0 20 0 2 0 276170487 628654080 146056 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153480 146056 194 432 0 153045 0
[pid=3709/tid=3711] ppid=3707 vsize=613920 CPUtime=1794.96 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 141125 0 0 0 179386 110 0 0 20 0 2 0 276170488 628654080 146056 33554432000 4194304 5963574 140737371618528 140490759624696 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 613920
[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 3800
/proc/meminfo: memFree=27406052/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=614644 CPUtime=1797.81 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 142600 0 0 0 179698 83 0 0 20 0 2 0 276170487 629395456 146621 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153661 146621 194 432 0 153226 0
[pid=3709/tid=3711] ppid=3707 vsize=614644 CPUtime=1798.15 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 141690 0 0 0 179705 110 0 0 20 0 2 0 276170488 629395456 146621 33554432000 4194304 5963574 140737371618528 140490759624696 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 614644
[startup+1799.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 3800
/proc/meminfo: memFree=27405184/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=614644 CPUtime=1798.61 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 142655 0 0 0 179778 83 0 0 20 0 2 0 276170487 629395456 146676 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153661 146676 194 432 0 153226 0
[pid=3709/tid=3711] ppid=3707 vsize=614644 CPUtime=1798.95 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 141745 0 0 0 179785 110 0 0 20 0 2 0 276170488 629395456 146676 33554432000 4194304 5963574 140737371618528 140490759624696 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 614644
[startup+1799.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 3800
/proc/meminfo: memFree=27404688/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=614644 CPUtime=1799.01 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 142720 0 0 0 179818 83 0 0 20 0 2 0 276170487 629395456 146741 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153661 146741 194 432 0 153226 0
[pid=3709/tid=3711] ppid=3707 vsize=614644 CPUtime=1799.36 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 141810 0 0 0 179826 110 0 0 20 0 2 0 276170488 629395456 146741 33554432000 4194304 5963574 140737371618528 140490759624696 4399614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 614644
[startup+1799.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 3800
/proc/meminfo: memFree=27404688/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=614644 CPUtime=1799.4 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) S 3707 3709 2447 0 -1 4202496 142778 0 0 0 179857 83 0 0 20 0 2 0 276170487 629395456 146799 33554432000 4194304 5963574 140737371618528 140737371618048 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 153661 146799 194 432 0 153226 0
[pid=3709/tid=3711] ppid=3707 vsize=614644 CPUtime=1799.75 cores=0,2,4,6
/proc/3709/task/3711/stat : 3711 (wbo1.7) R 3707 3709 2447 0 -1 4202560 141868 0 0 0 179864 111 0 0 20 0 2 0 276170488 629395456 146799 33554432000 4194304 5963574 140737371618528 140490759624696 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 614644
[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 3800
/proc/meminfo: memFree=27404688/32873648 swapFree=6864/6864
[pid=3709] ppid=3707 vsize=0 CPUtime=1799.87 cores=0,2,4,6
/proc/3709/stat : 3709 (wbo1.7) R 3707 3709 2447 0 -1 4203524 142792 0 0 0 179875 112 0 0 20 0 1 0 276170487 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.88
CPU user time (s): 1798.75
CPU system time (s): 1.12783
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 614644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.12783
maximum resident set size= 587252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142792
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= 257
involuntary context switches= 1917
runsolver used 2.67259 second user time and 7.14891 second system time
The end