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-3726506-1338651651/watcher-3726506-1338651651 -o /tmp/evaluation-result-3726506-1338651651/solver-3726506-1338651651 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726506-1338651651.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: 1.00 1.00 1.20 3/173 2422
/proc/meminfo: memFree=26121620/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=4748 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) R 2420 2422 909 0 -1 4202496 711 0 0 0 0 0 0 0 20 0 1 0 331290597 4861952 652 33554432000 4194304 5964478 140736613590688 140736613589160 4297174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 1187 661 169 433 0 751 0
[startup+0.0165799 s]
/proc/loadavg: 1.00 1.00 1.20 3/173 2422
/proc/meminfo: memFree=26121620/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=83844 CPUtime=0.01 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 925 0 0 0 1 0 0 0 20 0 2 0 331290597 85856256 865 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 20961 865 186 433 0 20525 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83844
[startup+0.100149 s]
/proc/loadavg: 1.00 1.00 1.20 3/173 2422
/proc/meminfo: memFree=26121620/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=83844 CPUtime=0.09 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 1145 0 0 0 9 0 0 0 20 0 2 0 331290597 85856256 1085 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 20961 1085 187 433 0 20525 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83844
[startup+0.300114 s]
/proc/loadavg: 1.00 1.00 1.20 3/173 2422
/proc/meminfo: memFree=26121620/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=83844 CPUtime=0.29 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 1540 0 0 0 29 0 0 0 20 0 2 0 331290597 85856256 1480 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 20961 1480 187 433 0 20525 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83844
[startup+0.700113 s]
/proc/loadavg: 1.00 1.00 1.20 3/173 2422
/proc/meminfo: memFree=26121620/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=83844 CPUtime=0.69 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 2110 0 0 0 69 0 0 0 20 0 2 0 331290597 85856256 2050 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 20961 2050 187 433 0 20525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83844
[startup+1.50026 s]
/proc/loadavg: 1.00 1.00 1.20 3/178 2430
/proc/meminfo: memFree=26105584/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=83844 CPUtime=1.48 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 2799 0 0 0 148 0 0 0 20 0 2 0 331290597 85856256 2739 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 20961 2739 187 433 0 20525 0
[pid=2422/tid=2428] ppid=2420 vsize=83844 CPUtime=1.47 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 2018 0 0 0 147 0 0 0 20 0 2 0 331290597 85856256 2739 33554432000 4194304 5964478 140736613590688 139753033738040 4400087 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) 83844
[startup+3.10031 s]
/proc/loadavg: 1.08 1.02 1.20 3/178 2430
/proc/meminfo: memFree=26099220/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=83988 CPUtime=3.08 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 3281 0 0 0 308 0 0 0 20 0 2 0 331290597 86003712 3221 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 20997 3221 187 433 0 20561 0
[pid=2422/tid=2428] ppid=2420 vsize=83988 CPUtime=3.07 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 2500 0 0 0 307 0 0 0 20 0 2 0 331290597 86003712 3221 33554432000 4194304 5964478 140736613590688 139753033738040 4400087 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) 83988
[startup+6.30027 s]
/proc/loadavg: 1.08 1.02 1.20 3/178 2469
/proc/meminfo: memFree=26092660/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=84204 CPUtime=6.28 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 4304 0 0 0 627 1 0 0 20 0 2 0 331290597 86224896 4255 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 21051 4255 187 433 0 20615 0
[pid=2422/tid=2428] ppid=2420 vsize=84204 CPUtime=6.26 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 3523 0 0 0 625 1 0 0 20 0 2 0 331290597 86224896 4255 33554432000 4194304 5964478 140736613590688 139753033738232 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84204
[startup+12.7003 s]
/proc/loadavg: 1.22 1.05 1.21 3/177 2469
/proc/meminfo: memFree=26077820/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=84780 CPUtime=12.68 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 5891 0 0 0 1267 1 0 0 20 0 2 0 331290597 86814720 5842 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 21195 5842 187 433 0 20759 0
[pid=2422/tid=2428] ppid=2420 vsize=84780 CPUtime=12.64 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 5110 0 0 0 1263 1 0 0 20 0 2 0 331290597 86814720 5842 33554432000 4194304 5964478 140736613590688 139753033738232 4400542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84780
[startup+25.5003 s]
/proc/loadavg: 1.34 1.08 1.22 3/177 2469
/proc/meminfo: memFree=26054180/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=85860 CPUtime=25.48 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 8226 0 0 0 2546 2 0 0 20 0 2 0 331290597 87920640 8445 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 21465 8445 187 433 0 21029 0
[pid=2422/tid=2428] ppid=2420 vsize=85860 CPUtime=25.4 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 7445 0 0 0 2538 2 0 0 20 0 2 0 331290597 87920640 8445 33554432000 4194304 5964478 140736613590688 139753033738040 4221120 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) 85860
[startup+51.1003 s]
/proc/loadavg: 1.56 1.15 1.24 3/177 2469
/proc/meminfo: memFree=26026068/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=88232 CPUtime=51.07 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 12115 0 0 0 5104 3 0 0 20 0 2 0 331290597 90349568 12334 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 22058 12334 187 433 0 21622 0
[pid=2422/tid=2428] ppid=2420 vsize=88232 CPUtime=50.94 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 11334 0 0 0 5091 3 0 0 20 0 2 0 331290597 90349568 12334 33554432000 4194304 5964478 140736613590688 139753033738232 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88232
[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.28 3/177 2469
/proc/meminfo: memFree=25977420/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=93400 CPUtime=102.26 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 17358 0 0 0 10218 8 0 0 20 0 2 0 331290597 95641600 17619 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 23350 17619 187 433 0 22914 0
[pid=2422/tid=2428] ppid=2420 vsize=93400 CPUtime=101.99 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 16577 0 0 0 10190 9 0 0 20 0 2 0 331290597 95641600 17619 33554432000 4194304 5964478 140736613590688 139753033738104 4400516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 93400
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.32 3/177 2469
/proc/meminfo: memFree=25939192/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=163788 CPUtime=162.24 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 22291 0 0 0 16213 11 0 0 20 0 2 0 331290597 167718912 22544 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 40947 22544 187 433 0 40511 0
[pid=2422/tid=2428] ppid=2420 vsize=163788 CPUtime=161.82 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 21510 0 0 0 16169 13 0 0 20 0 2 0 331290597 167718912 22544 33554432000 4194304 5964478 140736613590688 139753033738280 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 163788
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.36 3/177 2470
/proc/meminfo: memFree=25922488/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=166668 CPUtime=222.22 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 24909 0 0 0 22209 13 0 0 20 0 2 0 331290597 170668032 25166 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 41667 25166 187 433 0 41231 0
[pid=2422/tid=2428] ppid=2420 vsize=166668 CPUtime=221.66 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 24128 0 0 0 22150 16 0 0 20 0 2 0 331290597 170668032 25166 33554432000 4194304 5964478 140736613590688 139753033738040 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 166668
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.39 3/177 2470
/proc/meminfo: memFree=25897552/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=169176 CPUtime=282.21 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 27999 0 0 0 28204 17 0 0 20 0 2 0 331290597 173236224 28254 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 42294 28254 187 433 0 41858 0
[pid=2422/tid=2428] ppid=2420 vsize=169176 CPUtime=281.5 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 27218 0 0 0 28129 21 0 0 20 0 2 0 331290597 173236224 28254 33554432000 4194304 5964478 140736613590688 139753033738232 4220672 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) 169176
[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.43 3/177 2470
/proc/meminfo: memFree=25861888/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=171688 CPUtime=342.19 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 32355 0 0 0 34198 21 0 0 20 0 2 0 331290597 175808512 32617 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 42922 32617 187 433 0 42486 0
[pid=2422/tid=2428] ppid=2420 vsize=171688 CPUtime=341.33 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 31574 0 0 0 34107 26 0 0 20 0 2 0 331290597 175808512 32617 33554432000 4194304 5964478 140736613590688 139753033738232 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 171688
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.46 3/177 2470
/proc/meminfo: memFree=25845680/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=173092 CPUtime=402.18 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 34429 0 0 0 40194 24 0 0 20 0 2 0 331290597 177246208 34691 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 43273 34691 187 433 0 42837 0
[pid=2422/tid=2428] ppid=2420 vsize=173092 CPUtime=401.17 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 33648 0 0 0 40087 30 0 0 20 0 2 0 331290597 177246208 34691 33554432000 4194304 5964478 140736613590688 139753033738280 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 173092
[startup+462.3 s]
/proc/loadavg: 1.99 1.78 1.50 3/177 2470
/proc/meminfo: memFree=25822400/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=175352 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 2502
/proc/meminfo: memFree=25537792/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=326300 CPUtime=1421.98 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 66849 0 0 0 142129 69 0 0 20 0 2 0 331290597 334131200 67599 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 81575 67599 187 433 0 81139 0
[pid=2422/tid=2428] ppid=2420 vsize=326300 CPUtime=1418.44 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 66068 0 0 0 141754 90 0 0 20 0 2 0 331290597 334131200 67599 33554432000 4194304 5964478 140736613590688 139753033737752 5136420 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) 326300
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 2503
/proc/meminfo: memFree=25527748/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=327292 CPUtime=1481.96 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 68815 0 0 0 148124 72 0 0 20 0 2 0 331290597 335147008 69565 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 81823 69565 187 433 0 81387 0
[pid=2422/tid=2428] ppid=2420 vsize=327292 CPUtime=1478.28 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 68034 0 0 0 147734 94 0 0 20 0 2 0 331290597 335147008 69565 33554432000 4194304 5964478 140736613590688 139753033738232 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 327292
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 2503
/proc/meminfo: memFree=25526508/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=327364 CPUtime=1541.95 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 68843 0 0 0 154123 72 0 0 20 0 2 0 331290597 335220736 69593 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 81841 69593 187 433 0 81405 0
[pid=2422/tid=2428] ppid=2420 vsize=327364 CPUtime=1538.12 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 68062 0 0 0 153717 95 0 0 20 0 2 0 331290597 335220736 69593 33554432000 4194304 5964478 140736613590688 139753033738280 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 327364
[startup+1602.3 s]
/proc/loadavg: 2.05 2.00 1.83 3/177 2503
/proc/meminfo: memFree=25517672/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=327740 CPUtime=1601.95 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 70749 0 0 0 160120 75 0 0 20 0 2 0 331290597 335605760 71499 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 81935 71499 187 433 0 81499 0
[pid=2422/tid=2428] ppid=2420 vsize=327740 CPUtime=1597.96 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 69968 0 0 0 159697 99 0 0 20 0 2 0 331290597 335605760 71499 33554432000 4194304 5964478 140736613590688 139753033738232 4399920 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) 327740
[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 1.84 3/177 2503
/proc/meminfo: memFree=25488284/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328300 CPUtime=1661.93 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 74839 0 0 0 166113 80 0 0 20 0 2 0 331290597 336179200 75589 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82075 75589 187 433 0 81639 0
[pid=2422/tid=2428] ppid=2420 vsize=328300 CPUtime=1657.81 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74058 0 0 0 165676 105 0 0 20 0 2 0 331290597 336179200 75589 33554432000 4194304 5964478 140736613590688 139753033738232 4399920 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) 328300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 2503
/proc/meminfo: memFree=25477096/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328372 CPUtime=1721.92 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75234 0 0 0 172111 81 0 0 20 0 2 0 331290597 336252928 75976 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82093 75976 187 433 0 81657 0
[pid=2422/tid=2428] ppid=2420 vsize=328372 CPUtime=1717.64 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74453 0 0 0 171657 107 0 0 20 0 2 0 331290597 336252928 75976 33554432000 4194304 5964478 140736613590688 139753033738280 4400825 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) 328372
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 1.85 3/178 2507
/proc/meminfo: memFree=25476396/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328444 CPUtime=1781.9 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75243 0 0 0 178109 81 0 0 20 0 2 0 331290597 336326656 75980 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82111 75980 187 433 0 81675 0
[pid=2422/tid=2428] ppid=2420 vsize=328444 CPUtime=1777.47 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74462 0 0 0 177639 108 0 0 20 0 2 0 331290597 336326656 75980 33554432000 4194304 5964478 140736613590688 139753033738280 4400516 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 328444
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 1.85 3/178 2507
/proc/meminfo: memFree=25476272/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328444 CPUtime=1791.51 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75269 0 0 0 179070 81 0 0 20 0 2 0 331290597 336326656 76006 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82111 76006 187 433 0 81675 0
[pid=2422/tid=2428] ppid=2420 vsize=328444 CPUtime=1787.06 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74488 0 0 0 178598 108 0 0 20 0 2 0 331290597 336326656 76006 33554432000 4194304 5964478 140736613590688 139753033738280 4399920 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) 328444
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2507
/proc/meminfo: memFree=25476272/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328552 CPUtime=1794.71 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75283 0 0 0 179390 81 0 0 20 0 2 0 331290597 336437248 76020 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82138 76020 187 433 0 81702 0
[pid=2422/tid=2428] ppid=2420 vsize=328552 CPUtime=1790.25 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74502 0 0 0 178917 108 0 0 20 0 2 0 331290597 336437248 76020 33554432000 4194304 5964478 140736613590688 139753033738280 4400087 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) 328552
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2507
/proc/meminfo: memFree=25476148/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328552 CPUtime=1797.9 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75288 0 0 0 179709 81 0 0 20 0 2 0 331290597 336437248 76025 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82138 76025 187 433 0 81702 0
[pid=2422/tid=2428] ppid=2420 vsize=328552 CPUtime=1793.43 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74507 0 0 0 179235 108 0 0 20 0 2 0 331290597 336437248 76025 33554432000 4194304 5964478 140736613590688 139753033738280 4400446 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) 328552
[startup+1799.1 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2507
/proc/meminfo: memFree=25476148/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328552 CPUtime=1798.7 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75289 0 0 0 179789 81 0 0 20 0 2 0 331290597 336437248 76026 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82138 76026 187 433 0 81702 0
[pid=2422/tid=2428] ppid=2420 vsize=328552 CPUtime=1794.23 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74508 0 0 0 179315 108 0 0 20 0 2 0 331290597 336437248 76026 33554432000 4194304 5964478 140736613590688 139753033738280 4399920 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) 328552
[startup+1799.5 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2507
/proc/meminfo: memFree=25476148/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328552 CPUtime=1799.11 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75289 0 0 0 179830 81 0 0 20 0 2 0 331290597 336437248 76026 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82138 76026 187 433 0 81702 0
[pid=2422/tid=2428] ppid=2420 vsize=328552 CPUtime=1794.64 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74508 0 0 0 179356 108 0 0 20 0 2 0 331290597 336437248 76026 33554432000 4194304 5964478 140736613590688 139753033738280 4399920 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) 328552
[startup+1799.9 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2507
/proc/meminfo: memFree=25476148/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328552 CPUtime=1799.5 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75290 0 0 0 179869 81 0 0 20 0 2 0 331290597 336437248 76027 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82138 76027 187 433 0 81702 0
[pid=2422/tid=2428] ppid=2420 vsize=328552 CPUtime=1795.03 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74509 0 0 0 179395 108 0 0 20 0 2 0 331290597 336437248 76027 33554432000 4194304 5964478 140736613590688 139753033738280 4221120 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) 328552
[startup+1800 s]
/proc/loadavg: 2.04 2.01 1.86 3/178 2507
/proc/meminfo: memFree=25476148/32873852 swapFree=6856/6856
[pid=2422] ppid=2420 vsize=328552 CPUtime=1799.6 cores=1,3,5,7
/proc/2422/stat : 2422 (pwbo2.02) S 2420 2422 909 0 -1 4202496 75290 0 0 0 179879 81 0 0 20 0 2 0 331290597 336437248 76027 33554432000 4194304 5964478 140736613590688 140736613590208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2422/statm: 82138 76027 187 433 0 81702 0
[pid=2422/tid=2428] ppid=2420 vsize=328552 CPUtime=1795.13 cores=1,3,5,7
/proc/2422/task/2428/stat : 2428 (pwbo2.02) R 2420 2422 909 0 -1 4202560 74509 0 0 0 179405 108 0 0 20 0 2 0 331290597 336437248 76027 33554432000 4194304 5964478 140736613590688 139753033738280 4400432 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) 328552
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2422 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=62261
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=93833
# CPU time returned by wait4() is 1795.16
# 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.01
CPU time (s): 1799.6
CPU user time (s): 1798.79
CPU system time (s): 0.81
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 328552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 1.09383
maximum resident set size= 304120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75293
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= 122
involuntary context switches= 1887
runsolver used 8.96364 second user time and 16.6135 second system time
The end