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-3726440-1338652998/watcher-3726440-1338652998 -o /tmp/evaluation-result-3726440-1338652998/solver-3726440-1338652998 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726440-1338652998.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.10 2.04 1.95 3/177 16396
/proc/meminfo: memFree=28430492/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=23144 CPUtime=0 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) R 16394 16396 13572 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 331425885 23699456 330 33554432000 4194304 5964478 140735209604064 140733449552744 4344407 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 5786 330 169 433 0 429 0
[startup+0.069633 s]
/proc/loadavg: 2.10 2.04 1.95 3/177 16396
/proc/meminfo: memFree=28430492/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=25768 CPUtime=0.06 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) R 16394 16396 13572 0 -1 4202496 1260 0 0 0 6 0 0 0 20 0 1 0 331425885 26386432 1213 33554432000 4194304 5964478 140735209604064 140733449552744 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 6442 1214 407 433 0 1085 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25768
[startup+0.100229 s]
/proc/loadavg: 2.10 2.04 1.95 3/177 16396
/proc/meminfo: memFree=28430492/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=26664 CPUtime=0.09 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) R 16394 16396 13572 0 -1 4202496 1606 0 0 0 9 0 0 0 20 0 1 0 331425885 27303936 1526 33554432000 4194304 5964478 140735209604064 140733449552744 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 6666 1527 521 433 0 1309 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26664
[startup+0.300198 s]
/proc/loadavg: 2.10 2.04 1.95 3/177 16396
/proc/meminfo: memFree=28430492/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=32036 CPUtime=0.28 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) R 16394 16396 13572 0 -1 4202496 3718 0 0 0 28 0 0 0 20 0 1 0 331425885 32804864 3573 33554432000 4194304 5964478 140735209604064 140733449552744 4344880 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 8009 3573 1261 433 0 2652 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32036
[startup+0.700198 s]
/proc/loadavg: 2.10 2.04 1.95 3/177 16396
/proc/meminfo: memFree=28430492/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=43796 CPUtime=0.68 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) R 16394 16396 13572 0 -1 4202496 8159 0 0 0 67 1 0 0 20 0 1 0 331425885 44847104 7885 33554432000 4194304 5964478 140735209604064 140733449552744 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 10949 7885 2711 433 0 5592 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43796
[startup+1.50014 s]
/proc/loadavg: 2.10 2.04 1.95 3/178 16397
/proc/meminfo: memFree=28401320/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=127012 CPUtime=1.49 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 21960 0 0 0 145 4 0 0 20 0 2 0 331425885 130060288 16508 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 31753 16508 176 433 0 31317 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127012
[startup+3.10028 s]
/proc/loadavg: 2.10 2.04 1.95 3/179 16398
/proc/meminfo: memFree=28352092/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=123364 CPUtime=3.08 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 26581 0 0 0 304 4 0 0 20 0 2 0 331425885 126324736 20214 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 30841 20214 185 433 0 30405 0
[pid=16396/tid=16398] ppid=16394 vsize=123364 CPUtime=1.72 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 11035 0 0 0 170 2 0 0 20 0 2 0 331426021 126324736 20214 33554432000 4194304 5964478 140735209604064 140127870023672 4399920 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) 123364
[startup+6.30028 s]
/proc/loadavg: 2.09 2.04 1.95 3/179 16398
/proc/meminfo: memFree=28338936/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=123364 CPUtime=6.29 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 28881 0 0 0 624 5 0 0 20 0 2 0 331425885 126324736 22514 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 30841 22514 185 433 0 30405 0
[pid=16396/tid=16398] ppid=16394 vsize=123364 CPUtime=4.92 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 13335 0 0 0 489 3 0 0 20 0 2 0 331426021 126324736 22514 33554432000 4194304 5964478 140735209604064 140127870023672 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123364
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 1.95 3/179 16398
/proc/meminfo: memFree=28315168/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=188900 CPUtime=12.69 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 33376 0 0 0 1262 7 0 0 20 0 2 0 331425885 193433600 27009 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 47225 27009 185 433 0 46789 0
[pid=16396/tid=16398] ppid=16394 vsize=188900 CPUtime=11.32 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 17830 0 0 0 1127 5 0 0 20 0 2 0 331426021 193433600 27009 33554432000 4194304 5964478 140735209604064 140127870023672 4400018 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188900
[startup+25.5002 s]
/proc/loadavg: 2.07 2.04 1.95 3/179 16398
/proc/meminfo: memFree=28272448/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=188900 CPUtime=25.48 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 41279 0 0 0 2536 12 0 0 20 0 2 0 331425885 193433600 34912 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 47225 34912 185 433 0 46789 0
[pid=16396/tid=16398] ppid=16394 vsize=188900 CPUtime=24.12 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 25733 0 0 0 2402 10 0 0 20 0 2 0 331426021 193433600 34912 33554432000 4194304 5964478 140735209604064 140127870023672 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) 188900
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 1.95 3/179 16398
/proc/meminfo: memFree=28201156/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=254436 CPUtime=51.08 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 55407 0 0 0 5088 20 0 0 20 0 2 0 331425885 260542464 49040 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 63609 49040 185 433 0 63173 0
[pid=16396/tid=16398] ppid=16394 vsize=254436 CPUtime=49.72 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 39861 0 0 0 4954 18 0 0 20 0 2 0 331426021 260542464 49040 33554432000 4194304 5964478 140735209604064 140127870023720 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 254436
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 1.95 3/179 16398
/proc/meminfo: memFree=28075668/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=319972 CPUtime=102.28 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 78153 0 0 0 10193 35 0 0 20 0 2 0 331425885 327651328 71786 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 79993 71786 185 433 0 79557 0
[pid=16396/tid=16398] ppid=16394 vsize=319972 CPUtime=100.92 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 62607 0 0 0 10058 34 0 0 20 0 2 0 331426021 327651328 71786 33554432000 4194304 5964478 140735209604064 140127870023672 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 319972
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 16398
/proc/meminfo: memFree=27977672/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=451044 CPUtime=162.27 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 98923 0 0 0 16175 52 0 0 20 0 2 0 331425885 461869056 92563 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 112761 92563 185 433 0 112325 0
[pid=16396/tid=16398] ppid=16394 vsize=451044 CPUtime=160.91 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 83377 0 0 0 16039 52 0 0 20 0 2 0 331426021 461869056 92563 33554432000 4194304 5964478 140735209604064 140127870023672 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 451044
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/179 16398
/proc/meminfo: memFree=27897844/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=516580 CPUtime=222.24 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 116913 0 0 0 22155 69 0 0 20 0 2 0 331425885 528977920 111576 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 129145 111576 185 433 0 128709 0
[pid=16396/tid=16398] ppid=16394 vsize=516580 CPUtime=220.89 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 101367 0 0 0 22019 70 0 0 20 0 2 0 331426021 528977920 111576 33554432000 4194304 5964478 140735209604064 140127870023672 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 516580
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/179 16399
/proc/meminfo: memFree=27829672/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=582116 CPUtime=282.18 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 132691 0 0 0 28133 85 0 0 20 0 2 0 331425885 596086784 127314 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 145529 127314 185 433 0 145093 0
[pid=16396/tid=16398] ppid=16394 vsize=582116 CPUtime=280.85 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 117145 0 0 0 27998 87 0 0 20 0 2 0 331426021 596086784 127314 33554432000 4194304 5964478 140735209604064 140127870023672 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 582116
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 16399
/proc/meminfo: memFree=27729516/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=647652 CPUtime=342.14 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 149051 0 0 0 34113 101 0 0 20 0 2 0 331425885 663195648 143628 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 161913 143628 185 433 0 161477 0
[pid=16396/tid=16398] ppid=16394 vsize=647652 CPUtime=340.81 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 133505 0 0 0 33977 104 0 0 20 0 2 0 331426021 663195648 143628 33554432000 4194304 5964478 140735209604064 140127870023672 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 647652
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 16399
/proc/meminfo: memFree=27630712/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=713188 CPUtime=402.1 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 163235 0 0 0 40092 118 0 0 20 0 2 0 331425885 730304512 158790 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 178297 158790 185 433 0 177861 0
[pid=16396/tid=16398] ppid=16394 vsize=713188 CPUtime=400.78 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 147689 0 0 0 39956 122 0 0 20 0 2 0 331426021 730304512 158790 33554432000 4194304 5964478 140735209604064 140127870023672 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 713188
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/180 16402
/proc/meminfo: memFree=27539768/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=713188 CPUtime=462.09 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 177418 0 0 0 46072 137 0 0 20 0 2 0 331425885 730304512 172967 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 178297 172967 185 433 0 177861 0
################
# More data... #
################
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 259259 0 0 0 129781 281 0 0 20 0 2 0 331426021 1141358592 271990 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1114608
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/179 16408
/proc/meminfo: memFree=26912964/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1361.82 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 275104 0 0 0 135918 264 0 0 20 0 2 0 331425885 1141358592 272289 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 272289 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1360.61 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 259558 0 0 0 135779 282 0 0 20 0 2 0 331426021 1141358592 272289 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1114608
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 16409
/proc/meminfo: memFree=26891848/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1421.82 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 275230 0 0 0 141917 265 0 0 20 0 2 0 331425885 1141358592 272414 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 272414 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1420.62 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 259684 0 0 0 141778 284 0 0 20 0 2 0 331426021 1141358592 272414 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1114608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16527
/proc/meminfo: memFree=27311292/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1481.8 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 275616 0 0 0 147915 265 0 0 20 0 2 0 331425885 1141358592 272815 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 272815 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1480.6 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 260070 0 0 0 147775 285 0 0 20 0 2 0 331426021 1141358592 272815 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1114608
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/179 16527
/proc/meminfo: memFree=27292040/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1541.76 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 275841 0 0 0 153911 265 0 0 20 0 2 0 331425885 1141358592 273126 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 273126 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1540.57 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 260295 0 0 0 153771 286 0 0 20 0 2 0 331426021 1141358592 273126 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1114608
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/179 16527
/proc/meminfo: memFree=27275552/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1601.72 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276094 0 0 0 159907 265 0 0 20 0 2 0 331425885 1141358592 273361 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 273361 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1600.55 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 260548 0 0 0 159768 287 0 0 20 0 2 0 331426021 1141358592 273361 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1114608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/180 16530
/proc/meminfo: memFree=27263768/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1661.71 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276307 0 0 0 165906 265 0 0 20 0 2 0 331425885 1141358592 273574 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 273574 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1660.54 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 260761 0 0 0 165766 288 0 0 20 0 2 0 331426021 1141358592 273574 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1114608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16530
/proc/meminfo: memFree=27252992/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1721.7 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276628 0 0 0 171905 265 0 0 20 0 2 0 331425885 1141358592 273895 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 273895 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1720.54 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261082 0 0 0 171765 289 0 0 20 0 2 0 331426021 1141358592 273895 33554432000 4194304 5964478 140735209604064 140127870023480 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1114608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27243072/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1781.69 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276726 0 0 0 177904 265 0 0 20 0 2 0 331425885 1141358592 273993 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 273993 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1780.54 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261180 0 0 0 177764 290 0 0 20 0 2 0 331426021 1141358592 273993 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1114608
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27241832/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1791.3 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276762 0 0 0 178865 265 0 0 20 0 2 0 331425885 1141358592 274029 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274029 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1790.15 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261216 0 0 0 178725 290 0 0 20 0 2 0 331426021 1141358592 274029 33554432000 4194304 5964478 140735209604064 140127870023480 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 1114608
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27241088/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1794.5 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276789 0 0 0 179185 265 0 0 20 0 2 0 331425885 1141358592 274056 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274056 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1793.35 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261243 0 0 0 179045 290 0 0 20 0 2 0 331426021 1141358592 274056 33554432000 4194304 5964478 140735209604064 140127870023480 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 1114608
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27240716/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1797.69 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276789 0 0 0 179504 265 0 0 20 0 2 0 331425885 1141358592 274056 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274056 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1796.54 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261243 0 0 0 179364 290 0 0 20 0 2 0 331426021 1141358592 274056 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1114608
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27240592/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1798.49 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276789 0 0 0 179584 265 0 0 20 0 2 0 331425885 1141358592 274056 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274056 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1797.34 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261243 0 0 0 179444 290 0 0 20 0 2 0 331426021 1141358592 274056 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 1114608
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27240468/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1798.9 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276789 0 0 0 179625 265 0 0 20 0 2 0 331425885 1141358592 274056 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274056 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1797.75 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261243 0 0 0 179485 290 0 0 20 0 2 0 331426021 1141358592 274056 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 1114608
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27240468/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1799.29 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276789 0 0 0 179664 265 0 0 20 0 2 0 331425885 1141358592 274056 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274056 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1798.14 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261243 0 0 0 179524 290 0 0 20 0 2 0 331426021 1141358592 274056 33554432000 4194304 5964478 140735209604064 140127870023480 4410877 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 1114608
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 16531
/proc/meminfo: memFree=27240468/32873648 swapFree=6864/6864
[pid=16396] ppid=16394 vsize=1114608 CPUtime=1799.39 cores=1,3,5,7
/proc/16396/stat : 16396 (pwbo2.02) S 16394 16396 13572 0 -1 4202496 276789 0 0 0 179674 265 0 0 20 0 2 0 331425885 1141358592 274056 33554432000 4194304 5964478 140735209604064 140735209603584 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16396/statm: 278652 274056 185 433 0 278216 0
[pid=16396/tid=16398] ppid=16394 vsize=1114608 CPUtime=1798.24 cores=1,3,5,7
/proc/16396/task/16398/stat : 16398 (pwbo2.02) R 16394 16396 13572 0 -1 4202560 261243 0 0 0 179534 290 0 0 20 0 2 0 331426021 1141358592 274056 33554432000 4194304 5964478 140735209604064 140127870023480 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 1114608
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.62
CPU user time (s): 1796.68
CPU system time (s): 2.94355
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 1114608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.68
system time used= 2.94355
maximum resident set size= 1096248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276795
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= 491
involuntary context switches= 1840
runsolver used 2.53961 second user time and 7.28189 second system time
The end