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-3726629-1338657438/watcher-3726629-1338657438 -o /tmp/evaluation-result-3726629-1338657438/solver-3726629-1338657438 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726629-1338657438.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/177 16963
/proc/meminfo: memFree=27840156/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=6600 CPUtime=0 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) R 16961 16963 13572 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 331869746 6758400 401 33554432000 4194304 5964478 140735557730160 140734678262744 4395266 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 1650 401 168 433 0 483 0
[startup+0.0775969 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16963
/proc/meminfo: memFree=27840156/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=13540 CPUtime=0.07 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) R 16961 16963 13572 0 -1 4202496 2256 0 0 0 7 0 0 0 20 0 1 0 331869746 13864960 2176 33554432000 4194304 5964478 140735557730160 140734678262744 4344643 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 3385 2176 409 433 0 2218 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13540
[startup+0.100268 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16963
/proc/meminfo: memFree=27840156/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=14200 CPUtime=0.09 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) R 16961 16963 13572 0 -1 4202496 2545 0 0 0 9 0 0 0 20 0 1 0 331869746 14540800 2465 33554432000 4194304 5964478 140735557730160 140734678262744 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 3550 2466 493 433 0 2383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200
[startup+0.30018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16963
/proc/meminfo: memFree=27840156/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=0.28 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 9995 0 0 0 28 0 0 0 20 0 2 0 331869746 102715392 8158 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 8158 185 433 0 24641 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 100308
[startup+0.700109 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16963
/proc/meminfo: memFree=27840156/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=0.68 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 9997 0 0 0 68 0 0 0 20 0 2 0 331869746 102715392 8160 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 8160 187 433 0 24641 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 100308
[startup+1.50021 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16965
/proc/meminfo: memFree=27808620/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=1.48 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 10266 0 0 0 148 0 0 0 20 0 2 0 331869746 102715392 8429 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 8429 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=1.26 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 4795 0 0 0 126 0 0 0 20 0 2 0 331869768 102715392 8429 33554432000 4194304 5964478 140735557730160 140507578619944 4399920 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) 100308
[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16965
/proc/meminfo: memFree=27806380/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=3.09 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 10918 0 0 0 308 1 0 0 20 0 2 0 331869746 102715392 9081 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 9081 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=2.86 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 5447 0 0 0 286 0 0 0 20 0 2 0 331869768 102715392 9081 33554432000 4194304 5964478 140735557730160 140507578619896 4390964 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) 100308
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16965
/proc/meminfo: memFree=27801196/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=6.28 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 11966 0 0 0 627 1 0 0 20 0 2 0 331869746 102715392 10129 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 10129 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=6.07 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 6495 0 0 0 605 2 0 0 20 0 2 0 331869768 102715392 10129 33554432000 4194304 5964478 140735557730160 140507578619944 4400579 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) 100308
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16965
/proc/meminfo: memFree=27793444/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=12.68 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 13640 0 0 0 1266 2 0 0 20 0 2 0 331869746 102715392 11803 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 11803 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=12.46 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 8169 0 0 0 1243 3 0 0 20 0 2 0 331869768 102715392 11803 33554432000 4194304 5964478 140735557730160 140507578619528 4400519 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) 100308
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16965
/proc/meminfo: memFree=27786400/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=25.48 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 15307 0 0 0 2545 3 0 0 20 0 2 0 331869746 102715392 13470 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 13470 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=25.26 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 9836 0 0 0 2522 4 0 0 20 0 2 0 331869768 102715392 13470 33554432000 4194304 5964478 140735557730160 140507578619704 4387996 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) 100308
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 16965
/proc/meminfo: memFree=27772388/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=51.07 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 18924 0 0 0 5101 6 0 0 20 0 2 0 331869746 102715392 17087 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 17087 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=50.85 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 13453 0 0 0 5079 6 0 0 20 0 2 0 331869768 102715392 17087 33554432000 4194304 5964478 140735557730160 140507578619704 4399920 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) 100308
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16966
/proc/meminfo: memFree=27756764/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=100308 CPUtime=102.27 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 22598 0 0 0 10216 11 0 0 20 0 2 0 331869746 102715392 20761 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 25077 20761 187 433 0 24641 0
[pid=16963/tid=16965] ppid=16961 vsize=100308 CPUtime=102.05 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 17127 0 0 0 10193 12 0 0 20 0 2 0 331869768 102715392 20761 33554432000 4194304 5964478 140735557730160 140507578619704 4400740 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 100308
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17005
/proc/meminfo: memFree=28497612/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=167468 CPUtime=162.23 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 27997 0 0 0 16206 17 0 0 20 0 2 0 331869746 171487232 26625 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 41867 26625 187 433 0 41431 0
[pid=16963/tid=16965] ppid=16961 vsize=167468 CPUtime=162.03 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 22526 0 0 0 16183 20 0 0 20 0 2 0 331869768 171487232 26625 33554432000 4194304 5964478 140735557730160 140507578619704 4399969 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) 167468
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17008
/proc/meminfo: memFree=28449604/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=167468 CPUtime=222.2 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 32005 0 0 0 22198 22 0 0 20 0 2 0 331869746 171487232 30852 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 41867 30852 187 433 0 41431 0
[pid=16963/tid=16965] ppid=16961 vsize=167468 CPUtime=222.01 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 26534 0 0 0 22175 26 0 0 20 0 2 0 331869768 171487232 30852 33554432000 4194304 5964478 140735557730160 140507578619896 4392863 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 167468
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17008
/proc/meminfo: memFree=28393384/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=168276 CPUtime=282.18 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 36870 0 0 0 28189 29 0 0 20 0 2 0 331869746 172314624 35717 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 42069 35717 187 433 0 41633 0
[pid=16963/tid=16965] ppid=16961 vsize=168276 CPUtime=282 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 31399 0 0 0 28167 33 0 0 20 0 2 0 331869768 172314624 35717 33554432000 4194304 5964478 140735557730160 140507578619704 4392918 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 168276
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17008
/proc/meminfo: memFree=28358000/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=168276 CPUtime=342.15 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 37168 0 0 0 34186 29 0 0 20 0 2 0 331869746 172314624 36099 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 42069 36099 187 433 0 41633 0
[pid=16963/tid=16965] ppid=16961 vsize=168276 CPUtime=341.98 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 31697 0 0 0 34163 35 0 0 20 0 2 0 331869768 172314624 36099 33554432000 4194304 5964478 140735557730160 140507578619704 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 168276
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17009
/proc/meminfo: memFree=28327000/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=233812 CPUtime=402.13 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 41790 0 0 0 40176 37 0 0 20 0 2 0 331869746 239423488 40721 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58453 40721 187 433 0 58017 0
[pid=16963/tid=16965] ppid=16961 vsize=233812 CPUtime=401.98 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 36319 0 0 0 40154 44 0 0 20 0 2 0 331869768 239423488 40721 33554432000 4194304 5964478 140735557730160 140507578619896 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 233812
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17009
/proc/meminfo: memFree=28275288/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=233812 CPUtime=462.12 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 45469 0 0 0 46171 41 0 0 20 0 2 0 331869746 239423488 44400 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58453 44400 187 433 0 58017 0
[pid=16963/tid=16965] ppid=16961 vsize=233812 CPUtime=461.98 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 39998 0 0 0 46149 49 0 0 20 0 2 0 331869768 239423488 44400 33554432000 4194304 5964478 140735557730160 140507578619944 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 233812
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17009
/proc/meminfo: memFree=28254552/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=233812 CPUtime=522.09 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 48189 0 0 0 52165 44 0 0 20 0 2 0 331869746 239423488 47235 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58453 47235 187 433 0 58017 0
[pid=16963/tid=16965] ppid=16961 vsize=233812 CPUtime=521.96 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 42718 0 0 0 52144 52 0 0 20 0 2 0 331869768 239423488 47235 33554432000 4194304 5964478 140735557730160 140507578619944 4400097 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 233812
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 17010
/proc/meminfo: memFree=28235912/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=582.08 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 49247 0 0 0 58162 46 0 0 20 0 2 0 331869746 240668672 48298 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 48298 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=581.95 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 43776 0 0 0 58141 54 0 0 20 0 2 0 331869768 240668672 48298 33554432000 4194304 5964478 140735557730160 140507578619704 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 235028
[startup+642.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17010
/proc/meminfo: memFree=28208696/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=642.07 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 49376 0 0 0 64161 46 0 0 20 0 2 0 331869746 240668672 48427 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 48427 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=641.95 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 43905 0 0 0 64140 55 0 0 20 0 2 0 331869768 240668672 48427 33554432000 4194304 5964478 140735557730160 140507578619704 4400024 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 235028
[startup+702.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17011
/proc/meminfo: memFree=28182084/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=702.06 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 50495 0 0 0 70159 47 0 0 20 0 2 0 331869746 240668672 49546 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 49546 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=701.94 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 45024 0 0 0 70136 58 0 0 20 0 2 0 331869768 240668672 49546 33554432000 4194304 5964478 140735557730160 140507578619944 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 235028
[startup+762.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17011
/proc/meminfo: memFree=28151952/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=762.06 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 53066 0 0 0 76155 51 0 0 20 0 2 0 331869746 240668672 52117 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 52117 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=761.94 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 47595 0 0 0 76132 62 0 0 20 0 2 0 331869768 240668672 52117 33554432000 4194304 5964478 140735557730160 140507578619896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 235028
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28148972/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=767.65 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 53284 0 0 0 76714 51 0 0 20 0 2 0 331869746 240668672 52335 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 52335 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=767.53 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 47813 0 0 0 76690 63 0 0 20 0 2 0 331869768 240668672 52335 33554432000 4194304 5964478 140735557730160 140507578619704 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 767.65
Current children cumulated vsize (KiB) 235028
[startup+780.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28143392/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=780.44 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 53738 0 0 0 77993 51 0 0 20 0 2 0 331869746 240668672 52805 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 52805 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=780.33 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 48267 0 0 0 77970 63 0 0 20 0 2 0 331869768 240668672 52805 33554432000 4194304 5964478 140735557730160 140507578619912 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 780.44
Current children cumulated vsize (KiB) 235028
[startup+783.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28142152/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=783.64 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 53868 0 0 0 78312 52 0 0 20 0 2 0 331869746 240668672 52935 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 52935 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=783.53 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 48397 0 0 0 78290 63 0 0 20 0 2 0 331869768 240668672 52935 33554432000 4194304 5964478 140735557730160 140507578619944 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 783.64
Current children cumulated vsize (KiB) 235028
[startup+787.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28140292/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=786.84 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 54011 0 0 0 78632 52 0 0 20 0 2 0 331869746 240668672 53078 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 53078 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=786.73 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 48540 0 0 0 78610 63 0 0 20 0 2 0 331869768 240668672 53078 33554432000 4194304 5964478 140735557730160 140507578619704 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 786.84
Current children cumulated vsize (KiB) 235028
[startup+787.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28138976/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=787.63 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 54044 0 0 0 78711 52 0 0 20 0 2 0 331869746 240668672 53228 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 53228 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=787.52 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 48573 0 0 0 78689 63 0 0 20 0 2 0 331869768 240668672 53228 33554432000 4194304 5964478 140735557730160 140507578619944 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 787.63
Current children cumulated vsize (KiB) 235028
[startup+788.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28138976/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=788.03 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 54056 0 0 0 78751 52 0 0 20 0 2 0 331869746 240668672 53240 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 53240 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=787.92 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 48585 0 0 0 78729 63 0 0 20 0 2 0 331869768 240668672 53240 33554432000 4194304 5964478 140735557730160 140507578619896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 788.03
Current children cumulated vsize (KiB) 235028
[startup+788.706 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17014
/proc/meminfo: memFree=28138852/32873648 swapFree=6864/6864
[pid=16963] ppid=16961 vsize=235028 CPUtime=788.44 cores=1,3,5,7
/proc/16963/stat : 16963 (pwbo2.02) S 16961 16963 13572 0 -1 4202496 54068 0 0 0 78792 52 0 0 20 0 2 0 331869746 240668672 53252 33554432000 4194304 5964478 140735557730160 140735557729680 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16963/statm: 58757 53252 187 433 0 58321 0
[pid=16963/tid=16965] ppid=16961 vsize=235028 CPUtime=788.33 cores=1,3,5,7
/proc/16963/task/16965/stat : 16965 (pwbo2.02) R 16961 16963 13572 0 -1 4202560 48597 0 0 0 78770 63 0 0 20 0 2 0 331869768 240668672 53252 33554432000 4194304 5964478 140735557730160 140507578619896 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 788.44
Current children cumulated vsize (KiB) 235028
Child status: 255
Real time (s): 788.793
CPU time (s): 788.644
CPU user time (s): 787.988
CPU system time (s): 0.6559
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 235028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 787.988
system time used= 0.6559
maximum resident set size= 213064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54082
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= 92
involuntary context switches= 1652
runsolver used 1.66575 second user time and 4.6123 second system time
The end