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-3704253-1338091177/watcher-3704253-1338091177 -o /tmp/evaluation-result-3704253-1338091177/solver-3704253-1338091177 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704253-1338091177.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.00 2.00 1.93 3/177 6236
/proc/meminfo: memFree=27929940/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=4792 CPUtime=0 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) R 6234 6236 5668 0 -1 4202496 452 0 0 0 0 0 0 0 20 0 1 0 275244456 4907008 404 33554432000 4194304 5965102 140736016161872 140736017939464 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 1198 404 167 433 0 494 0
[startup+0.090353 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6236
/proc/meminfo: memFree=27929940/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=88244 CPUtime=0.08 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 2798 0 0 0 8 0 0 0 20 0 2 0 275244456 90361856 2477 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 22061 2477 176 433 0 21625 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 88244
[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6236
/proc/meminfo: memFree=27929940/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=87716 CPUtime=0.09 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 3187 0 0 0 9 0 0 0 20 0 2 0 275244456 89821184 2731 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 21929 2731 185 433 0 21493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87716
[startup+0.300122 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6236
/proc/meminfo: memFree=27929940/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=87716 CPUtime=0.29 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 3783 0 0 0 29 0 0 0 20 0 2 0 275244456 89821184 3327 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 21929 3327 190 433 0 21493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87716
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 6236
/proc/meminfo: memFree=27929940/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=87716 CPUtime=0.68 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 4756 0 0 0 68 0 0 0 20 0 2 0 275244456 89821184 4300 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 21929 4300 190 433 0 21493 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87716
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 6238
/proc/meminfo: memFree=27910696/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=87716 CPUtime=1.49 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 6349 0 0 0 148 1 0 0 20 0 2 0 275244456 89821184 5893 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 21929 5893 190 433 0 21493 0
[pid=6236/tid=6238] ppid=6234 vsize=87716 CPUtime=1.4 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 4360 0 0 0 140 0 0 0 20 0 2 0 275244463 89821184 5893 33554432000 4194304 5965102 140736016161872 139972857534456 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87716
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 6238
/proc/meminfo: memFree=27904124/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=87716 CPUtime=3.09 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 7249 0 0 0 308 1 0 0 20 0 2 0 275244456 89821184 6793 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 21929 6793 190 433 0 21493 0
[pid=6236/tid=6238] ppid=6234 vsize=87716 CPUtime=3 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 5260 0 0 0 299 1 0 0 20 0 2 0 275244463 89821184 6793 33554432000 4194304 5965102 140736016161872 139972857534264 18446744073699066235 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) 87716
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 6238
/proc/meminfo: memFree=27885652/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=88200 CPUtime=6.29 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 11816 0 0 0 626 3 0 0 20 0 2 0 275244456 90316800 11360 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 22050 11360 190 433 0 21614 0
[pid=6236/tid=6238] ppid=6234 vsize=88200 CPUtime=6.2 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 9827 0 0 0 617 3 0 0 20 0 2 0 275244463 90316800 11360 33554432000 4194304 5965102 140736016161872 139972857534456 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88200
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.94 3/179 6238
/proc/meminfo: memFree=27880556/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=88200 CPUtime=12.68 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 13671 0 0 0 1265 3 0 0 20 0 2 0 275244456 90316800 13215 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 22050 13215 190 433 0 21614 0
[pid=6236/tid=6238] ppid=6234 vsize=88200 CPUtime=12.6 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 11682 0 0 0 1257 3 0 0 20 0 2 0 275244463 90316800 13215 33554432000 4194304 5965102 140736016161872 139972857534264 18446744073699066235 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) 88200
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 1.94 3/180 6241
/proc/meminfo: memFree=27846288/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=154336 CPUtime=25.48 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 21594 0 0 0 2543 5 0 0 20 0 2 0 275244456 158040064 21138 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 38584 21138 190 433 0 38148 0
[pid=6236/tid=6238] ppid=6234 vsize=154336 CPUtime=25.41 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 19605 0 0 0 2535 6 0 0 20 0 2 0 275244463 158040064 21138 33554432000 4194304 5965102 140736016161872 139972857534456 4401107 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) 154336
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.94 3/180 6242
/proc/meminfo: memFree=27786692/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=220412 CPUtime=51.07 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 36802 0 0 0 5096 11 0 0 20 0 2 0 275244456 225701888 36346 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 55103 36346 190 433 0 54667 0
[pid=6236/tid=6238] ppid=6234 vsize=220412 CPUtime=51 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 34813 0 0 0 5088 12 0 0 20 0 2 0 275244463 225701888 36346 33554432000 4194304 5965102 140736016161872 139972857534456 4401127 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) 220412
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 6264
/proc/meminfo: memFree=27757648/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=220412 CPUtime=102.28 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 43527 0 0 0 10213 15 0 0 20 0 2 0 275244456 225701888 43071 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 55103 43071 190 433 0 54667 0
[pid=6236/tid=6238] ppid=6234 vsize=220412 CPUtime=102.2 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 41538 0 0 0 10204 16 0 0 20 0 2 0 275244463 225701888 43071 33554432000 4194304 5965102 140736016161872 139972857534264 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 220412
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 6264
/proc/meminfo: memFree=27742384/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=221220 CPUtime=162.26 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 47486 0 0 0 16208 18 0 0 20 0 2 0 275244456 226529280 47030 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 55305 47030 190 433 0 54869 0
[pid=6236/tid=6238] ppid=6234 vsize=221220 CPUtime=162.19 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 45497 0 0 0 16199 20 0 0 20 0 2 0 275244463 226529280 47030 33554432000 4194304 5965102 140736016161872 139972857534264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 221220
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 6342
/proc/meminfo: memFree=28334644/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=286756 CPUtime=222.23 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 60338 0 0 0 22200 23 0 0 20 0 2 0 275244456 293638144 60236 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 71689 60236 190 433 0 71253 0
[pid=6236/tid=6238] ppid=6234 vsize=286756 CPUtime=222.17 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 58349 0 0 0 22191 26 0 0 20 0 2 0 275244463 293638144 60236 33554432000 4194304 5965102 140736016161872 139972857534456 4410150 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 286756
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/179 6342
/proc/meminfo: memFree=28167892/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=352292 CPUtime=282.2 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 75199 0 0 0 28187 33 0 0 20 0 2 0 275244456 360747008 75112 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 88073 75112 190 433 0 87637 0
[pid=6236/tid=6238] ppid=6234 vsize=352292 CPUtime=282.12 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 73210 0 0 0 28175 37 0 0 20 0 2 0 275244463 360747008 75112 33554432000 4194304 5965102 140736016161872 139972857534456 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 352292
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/178 6342
/proc/meminfo: memFree=28088888/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=352292 CPUtime=342.18 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 75578 0 0 0 34185 33 0 0 20 0 2 0 275244456 360747008 76030 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 88073 76030 190 433 0 87637 0
[pid=6236/tid=6238] ppid=6234 vsize=352292 CPUtime=342.11 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 73589 0 0 0 34172 39 0 0 20 0 2 0 275244463 360747008 76030 33554432000 4194304 5965102 140736016161872 139972857534264 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 352292
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 6343
/proc/meminfo: memFree=27949916/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=483364 CPUtime=402.17 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 101273 0 0 0 40173 44 0 0 20 0 2 0 275244456 494964736 101725 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 120841 101725 190 433 0 120405 0
[pid=6236/tid=6238] ppid=6234 vsize=483364 CPUtime=402.11 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 99284 0 0 0 40160 51 0 0 20 0 2 0 275244463 494964736 101725 33554432000 4194304 5965102 140736016161872 139972857534456 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 483364
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 6343
/proc/meminfo: memFree=27814412/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=550116 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 180422 0 0 0 130091 104 0 0 20 0 2 0 275244463 837582848 183910 33554432000 4194304 5965102 140736016161872 139972857534264 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 817952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 6352
/proc/meminfo: memFree=27010332/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=883488 CPUtime=1361.88 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 199646 0 0 0 136095 93 0 0 20 0 2 0 275244456 904691712 201274 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 220872 201274 190 433 0 220436 0
[pid=6236/tid=6238] ppid=6234 vsize=883488 CPUtime=1361.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 197657 0 0 0 136079 113 0 0 20 0 2 0 275244463 904691712 201274 33554432000 4194304 5965102 140736016161872 139972857534504 4401137 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 883488
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 6352
/proc/meminfo: memFree=26974096/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=883488 CPUtime=1421.87 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 208505 0 0 0 142090 97 0 0 20 0 2 0 275244456 904691712 210133 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 220872 210133 190 433 0 220436 0
[pid=6236/tid=6238] ppid=6234 vsize=883488 CPUtime=1421.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 206516 0 0 0 142073 119 0 0 20 0 2 0 275244463 904691712 210133 33554432000 4194304 5965102 140736016161872 139972857534504 4401155 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 883488
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 6352
/proc/meminfo: memFree=26973852/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=883488 CPUtime=1481.86 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 209122 0 0 0 148089 97 0 0 20 0 2 0 275244456 904691712 210748 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 220872 210748 190 433 0 220436 0
[pid=6236/tid=6238] ppid=6234 vsize=883488 CPUtime=1481.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 207133 0 0 0 148072 120 0 0 20 0 2 0 275244463 904691712 210748 33554432000 4194304 5965102 140736016161872 139972857534264 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 883488
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 6352
/proc/meminfo: memFree=26968768/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=883488 CPUtime=1541.85 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 210490 0 0 0 154087 98 0 0 20 0 2 0 275244456 904691712 212112 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 220872 212112 190 433 0 220436 0
[pid=6236/tid=6238] ppid=6234 vsize=883488 CPUtime=1541.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 208501 0 0 0 154071 121 0 0 20 0 2 0 275244463 904691712 212112 33554432000 4194304 5965102 140736016161872 139972857534264 4401530 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 883488
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/179 6353
/proc/meminfo: memFree=26942232/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=949508 CPUtime=1601.84 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 217586 0 0 0 160084 100 0 0 20 0 2 0 275244456 972296192 219158 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 237377 219158 190 433 0 236941 0
[pid=6236/tid=6238] ppid=6234 vsize=949508 CPUtime=1601.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 215597 0 0 0 160067 125 0 0 20 0 2 0 275244463 972296192 219158 33554432000 4194304 5965102 140736016161872 139972857534456 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 949508
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 1.98 3/179 6353
/proc/meminfo: memFree=26861816/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1015044 CPUtime=1661.83 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 237233 0 0 0 166073 110 0 0 20 0 2 0 275244456 1039405056 238804 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 253761 238804 190 433 0 253325 0
[pid=6236/tid=6238] ppid=6234 vsize=1015044 CPUtime=1661.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 235244 0 0 0 166057 135 0 0 20 0 2 0 275244463 1039405056 238804 33554432000 4194304 5965102 140736016161872 139972857534264 4401578 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1015044
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/179 6353
/proc/meminfo: memFree=26815536/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1081548 CPUtime=1721.82 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 248730 0 0 0 172064 118 0 0 20 0 2 0 275244456 1107505152 250300 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 270387 250300 190 433 0 269951 0
[pid=6236/tid=6238] ppid=6234 vsize=1081548 CPUtime=1721.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 246741 0 0 0 172047 145 0 0 20 0 2 0 275244463 1107505152 250300 33554432000 4194304 5965102 140736016161872 139972857534456 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1081548
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26755176/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1082516 CPUtime=1781.81 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263504 0 0 0 178056 125 0 0 20 0 2 0 275244456 1108496384 265070 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 270629 265070 190 433 0 270193 0
[pid=6236/tid=6238] ppid=6234 vsize=1082516 CPUtime=1781.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261515 0 0 0 178039 153 0 0 20 0 2 0 275244463 1108496384 265070 33554432000 4194304 5965102 140736016161872 139972857534328 4401118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1082516
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754428/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1082516 CPUtime=1791.41 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263684 0 0 0 179016 125 0 0 20 0 2 0 275244456 1108496384 265249 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 270629 265249 190 433 0 270193 0
[pid=6236/tid=6238] ppid=6234 vsize=1082516 CPUtime=1791.52 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261695 0 0 0 178999 153 0 0 20 0 2 0 275244463 1108496384 265249 33554432000 4194304 5965102 140736016161872 139972857534264 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 1082516
[startup+1795.1 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754428/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1148052 CPUtime=1794.61 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263771 0 0 0 179336 125 0 0 20 0 2 0 275244456 1175605248 265336 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 287013 265336 190 433 0 286577 0
[pid=6236/tid=6238] ppid=6234 vsize=1148052 CPUtime=1794.72 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261782 0 0 0 179319 153 0 0 20 0 2 0 275244463 1175605248 265336 33554432000 4194304 5965102 140736016161872 139972857534328 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 1148052
[startup+1798.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754180/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1148052 CPUtime=1797.81 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263773 0 0 0 179656 125 0 0 20 0 2 0 275244456 1175605248 265338 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 287013 265338 190 433 0 286577 0
[pid=6236/tid=6238] ppid=6234 vsize=1148052 CPUtime=1797.92 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261784 0 0 0 179639 153 0 0 20 0 2 0 275244463 1175605248 265338 33554432000 4194304 5965102 140736016161872 139972857534216 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 1148052
[startup+1799.1 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754180/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1148052 CPUtime=1798.61 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263773 0 0 0 179736 125 0 0 20 0 2 0 275244456 1175605248 265338 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 287013 265338 190 433 0 286577 0
[pid=6236/tid=6238] ppid=6234 vsize=1148052 CPUtime=1798.72 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261784 0 0 0 179719 153 0 0 20 0 2 0 275244463 1175605248 265338 33554432000 4194304 5965102 140736016161872 139972857534216 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 1148052
[startup+1799.5 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754180/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1148052 CPUtime=1799.01 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263773 0 0 0 179776 125 0 0 20 0 2 0 275244456 1175605248 265338 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 287013 265338 190 433 0 286577 0
[pid=6236/tid=6238] ppid=6234 vsize=1148052 CPUtime=1799.12 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261784 0 0 0 179759 153 0 0 20 0 2 0 275244463 1175605248 265338 33554432000 4194304 5965102 140736016161872 139972857534216 4401118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 1148052
[startup+1799.9 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754180/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1148052 CPUtime=1799.41 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263779 0 0 0 179816 125 0 0 20 0 2 0 275244456 1175605248 265344 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 287013 265344 190 433 0 286577 0
[pid=6236/tid=6238] ppid=6234 vsize=1148052 CPUtime=1799.52 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261790 0 0 0 179799 153 0 0 20 0 2 0 275244463 1175605248 265344 33554432000 4194304 5965102 140736016161872 139972857534216 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 1148052
[startup+1800 s]
/proc/loadavg: 2.04 2.04 1.99 3/179 6353
/proc/meminfo: memFree=26754180/32873648 swapFree=6844/6844
[pid=6236] ppid=6234 vsize=1148052 CPUtime=1799.51 cores=1,3,5,7
/proc/6236/stat : 6236 (pwbo2.0) S 6234 6236 5668 0 -1 4202496 263779 0 0 0 179826 125 0 0 20 0 2 0 275244456 1175605248 265344 33554432000 4194304 5965102 140736016161872 140736016161392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6236/statm: 287013 265344 190 433 0 286577 0
[pid=6236/tid=6238] ppid=6234 vsize=1148052 CPUtime=1799.62 cores=1,3,5,7
/proc/6236/task/6238/stat : 6238 (pwbo2.0) R 6234 6236 5668 0 -1 4202560 261790 0 0 0 179809 153 0 0 20 0 2 0 275244463 1175605248 265344 33554432000 4194304 5965102 140736016161872 139972857534216 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 1148052
Child status: 255
Real time (s): 1800.03
CPU time (s): 1799.74
CPU user time (s): 1798.17
CPU system time (s): 1.56676
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1148052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 1.56676
maximum resident set size= 1061388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263782
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= 332
involuntary context switches= 2135
runsolver used 2.5976 second user time and 7.2409 second system time
The end