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-3704362-1338097160/watcher-3704362-1338097160 -o /tmp/evaluation-result-3704362-1338097160/solver-3704362-1338097160 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704362-1338097160.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 2.00 3/177 20229
/proc/meminfo: memFree=28189512/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=12436 CPUtime=0 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) R 20227 20229 17458 0 -1 4202496 315 0 0 0 0 0 0 0 20 0 1 0 275840517 12734464 268 33554432000 4194304 5965102 140735590400288 140737160254104 5179915 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 3109 268 173 433 0 349 0
[startup+0.049289 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20229
/proc/meminfo: memFree=28189512/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=14432 CPUtime=0.04 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) R 20227 20229 17458 0 -1 4202496 970 0 0 0 4 0 0 0 20 0 1 0 275840517 14778368 923 33554432000 4194304 5965102 140735590400288 140737160254104 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 3608 924 329 433 0 848 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14432
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20229
/proc/meminfo: memFree=28189512/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=16924 CPUtime=0.09 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) R 20227 20229 17458 0 -1 4202496 1758 0 0 0 9 0 0 0 20 0 1 0 275840517 17330176 1711 33554432000 4194304 5965102 140735590400288 140737160254104 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 4231 1712 526 433 0 1471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16924
[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20229
/proc/meminfo: memFree=28189512/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=25868 CPUtime=0.29 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) R 20227 20229 17458 0 -1 4202496 4755 0 0 0 29 0 0 0 20 0 1 0 275840517 26488832 4643 33554432000 4194304 5965102 140735590400288 140737160254104 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 6467 4643 1273 433 0 3707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25868
[startup+0.70016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20229
/proc/meminfo: memFree=28189512/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=112656 CPUtime=0.69 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 14384 0 0 0 67 2 0 0 20 0 2 0 275840517 115359744 11818 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 28164 11818 177 433 0 27728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 112656
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20231
/proc/meminfo: memFree=28126612/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=111932 CPUtime=1.49 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 19100 0 0 0 146 3 0 0 20 0 2 0 275840517 114618368 16091 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 27983 16091 190 433 0 27547 0
[pid=20229/tid=20231] ppid=20227 vsize=111932 CPUtime=0.85 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 9057 0 0 0 83 2 0 0 20 0 2 0 275840580 114618368 16091 33554432000 4194304 5965102 140735590400288 140614348932920 4404416 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) 111932
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20231
/proc/meminfo: memFree=28124628/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=111932 CPUtime=3.08 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 19608 0 0 0 305 3 0 0 20 0 2 0 275840517 114618368 16599 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 27983 16599 190 433 0 27547 0
[pid=20229/tid=20231] ppid=20227 vsize=111932 CPUtime=2.45 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 9565 0 0 0 243 2 0 0 20 0 2 0 275840580 114618368 16599 33554432000 4194304 5965102 140735590400288 140614348933112 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 111932
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20231
/proc/meminfo: memFree=28120096/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=111932 CPUtime=6.28 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 20593 0 0 0 624 4 0 0 20 0 2 0 275840517 114618368 17584 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 27983 17584 190 433 0 27547 0
[pid=20229/tid=20231] ppid=20227 vsize=111932 CPUtime=5.64 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 10550 0 0 0 562 2 0 0 20 0 2 0 275840580 114618368 17584 33554432000 4194304 5965102 140735590400288 140614348932920 4394014 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) 111932
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20231
/proc/meminfo: memFree=28109480/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=111932 CPUtime=12.68 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 22642 0 0 0 1263 5 0 0 20 0 2 0 275840517 114618368 19633 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 27983 19633 190 433 0 27547 0
[pid=20229/tid=20231] ppid=20227 vsize=111932 CPUtime=12.02 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 12599 0 0 0 1199 3 0 0 20 0 2 0 275840580 114618368 19633 33554432000 4194304 5965102 140735590400288 140614348932920 4400960 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) 111932
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20231
/proc/meminfo: memFree=28093624/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=111932 CPUtime=25.48 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 25510 0 0 0 2542 6 0 0 20 0 2 0 275840517 114618368 22501 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 27983 22501 190 433 0 27547 0
[pid=20229/tid=20231] ppid=20227 vsize=111932 CPUtime=24.79 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 15467 0 0 0 2475 4 0 0 20 0 2 0 275840580 114618368 22501 33554432000 4194304 5965102 140735590400288 140614348932920 4401559 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) 111932
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20234
/proc/meminfo: memFree=28071532/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=177468 CPUtime=51.07 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 30565 0 0 0 5099 8 0 0 20 0 2 0 275840517 181727232 27554 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 44367 27554 190 433 0 43931 0
[pid=20229/tid=20231] ppid=20227 vsize=177468 CPUtime=50.32 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 20522 0 0 0 5025 7 0 0 20 0 2 0 275840580 181727232 27554 33554432000 4194304 5965102 140735590400288 140614348932920 4401456 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) 177468
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20234
/proc/meminfo: memFree=28028540/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=177468 CPUtime=102.28 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 39032 0 0 0 10214 14 0 0 20 0 2 0 275840517 181727232 36021 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 44367 36021 190 433 0 43931 0
[pid=20229/tid=20231] ppid=20227 vsize=177468 CPUtime=101.39 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 28989 0 0 0 10126 13 0 0 20 0 2 0 275840580 181727232 36021 33554432000 4194304 5965102 140735590400288 140614348933160 4400960 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) 177468
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20234
/proc/meminfo: memFree=27979592/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=246652 CPUtime=162.26 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 47402 0 0 0 16207 19 0 0 20 0 2 0 275840517 252571648 44902 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 61663 44902 190 433 0 61227 0
[pid=20229/tid=20231] ppid=20227 vsize=246652 CPUtime=161.23 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 37359 0 0 0 16104 19 0 0 20 0 2 0 275840580 252571648 44902 33554432000 4194304 5965102 140735590400288 140614348933160 4401146 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) 246652
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20235
/proc/meminfo: memFree=27946860/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=246652 CPUtime=222.25 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 53874 0 0 0 22201 24 0 0 20 0 2 0 275840517 252571648 51374 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 61663 51374 190 433 0 61227 0
[pid=20229/tid=20231] ppid=20227 vsize=246652 CPUtime=221.07 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 43831 0 0 0 22081 26 0 0 20 0 2 0 275840580 252571648 51374 33554432000 4194304 5965102 140735590400288 140614348932920 4401143 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 246652
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20235
/proc/meminfo: memFree=27937684/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=246652 CPUtime=282.24 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 54275 0 0 0 28200 24 0 0 20 0 2 0 275840517 252571648 51775 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 61663 51775 190 433 0 61227 0
[pid=20229/tid=20231] ppid=20227 vsize=246652 CPUtime=280.91 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 44232 0 0 0 28064 27 0 0 20 0 2 0 275840580 252571648 51775 33554432000 4194304 5965102 140735590400288 140614348932920 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 246652
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20235
/proc/meminfo: memFree=27911280/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=246652 CPUtime=342.23 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 58269 0 0 0 34195 28 0 0 20 0 2 0 275840517 252571648 55769 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 61663 55769 190 433 0 61227 0
[pid=20229/tid=20231] ppid=20227 vsize=246652 CPUtime=340.76 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 48226 0 0 0 34044 32 0 0 20 0 2 0 275840580 252571648 55769 33554432000 4194304 5965102 140735590400288 140614348933160 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 246652
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20235
/proc/meminfo: memFree=27875320/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=312188 CPUtime=402.22 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 65278 0 0 0 40186 36 0 0 20 0 2 0 275840517 319680512 62778 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 78047 62778 190 433 0 77611 0
[pid=20229/tid=20231] ppid=20227 vsize=312188 CPUtime=400.6 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 55235 0 0 0 40020 40 0 0 20 0 2 0 275840580 319680512 62778 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 312188
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20235
/proc/meminfo: memFree=27838864/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=314012 CPUtime=462.21 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20307
/proc/meminfo: memFree=27620188/32873648 swapFree=6608/6608
[pid=20229] ppid=20227 vsize=578888 CPUtime=1421.93 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 131422 0 0 0 142082 111 0 0 20 0 2 0 275840517 592781312 131747 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 144722 131747 190 433 0 144286 0
[pid=20229/tid=20231] ppid=20227 vsize=578888 CPUtime=1417.8 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 121379 0 0 0 141650 130 0 0 20 0 2 0 275840580 592781312 131747 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 578888
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20307
/proc/meminfo: memFree=27598984/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=578888 CPUtime=1481.91 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 135448 0 0 0 148074 117 0 0 20 0 2 0 275840517 592781312 135773 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 144722 135773 190 433 0 144286 0
[pid=20229/tid=20231] ppid=20227 vsize=578888 CPUtime=1477.63 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 125405 0 0 0 147626 137 0 0 20 0 2 0 275840580 592781312 135773 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 578888
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20307
/proc/meminfo: memFree=27557524/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=644424 CPUtime=1541.9 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 142663 0 0 0 154064 126 0 0 20 0 2 0 275840517 659890176 143499 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 161106 143499 190 433 0 160670 0
[pid=20229/tid=20231] ppid=20227 vsize=644424 CPUtime=1537.48 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 132620 0 0 0 153600 148 0 0 20 0 2 0 275840580 659890176 143499 33554432000 4194304 5965102 140735590400288 140614348933112 4222304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 644424
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20307
/proc/meminfo: memFree=27526972/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=644424 CPUtime=1601.89 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 149120 0 0 0 160056 133 0 0 20 0 2 0 275840517 659890176 149956 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 161106 149956 190 433 0 160670 0
[pid=20229/tid=20231] ppid=20227 vsize=644424 CPUtime=1597.32 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 139077 0 0 0 159576 156 0 0 20 0 2 0 275840580 659890176 149956 33554432000 4194304 5965102 140735590400288 140614348933160 4401041 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 644424
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20307
/proc/meminfo: memFree=27506636/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=644424 CPUtime=1661.89 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 152901 0 0 0 166051 138 0 0 20 0 2 0 275840517 659890176 153737 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 161106 153737 190 433 0 160670 0
[pid=20229/tid=20231] ppid=20227 vsize=644424 CPUtime=1657.16 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 142858 0 0 0 165555 161 0 0 20 0 2 0 275840580 659890176 153737 33554432000 4194304 5965102 140735590400288 140614348933160 4404410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 644424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27483076/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1721.88 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 157216 0 0 0 172044 144 0 0 20 0 2 0 275840517 726999040 158052 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 158052 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1717.01 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 147173 0 0 0 171533 168 0 0 20 0 2 0 275840580 726999040 158052 33554432000 4194304 5965102 140735590400288 140614348933160 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 709960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27460012/32873648 swapFree=6608/6608
[pid=20229] ppid=20227 vsize=709960 CPUtime=1781.87 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 162090 0 0 0 178037 150 0 0 20 0 2 0 275840517 726999040 162926 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 162926 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1776.85 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 152047 0 0 0 177511 174 0 0 20 0 2 0 275840580 726999040 162926 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 709960
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27456912/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1791.47 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 162710 0 0 0 178996 151 0 0 20 0 2 0 275840517 726999040 163546 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 163546 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1786.43 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 152667 0 0 0 178466 177 0 0 20 0 2 0 275840580 726999040 163546 33554432000 4194304 5965102 140735590400288 140614348933112 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 709960
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27456044/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1794.67 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 162942 0 0 0 179316 151 0 0 20 0 2 0 275840517 726999040 163778 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 163778 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1789.62 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 152899 0 0 0 178785 177 0 0 20 0 2 0 275840580 726999040 163778 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 709960
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27455672/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1797.86 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 163107 0 0 0 179634 152 0 0 20 0 2 0 275840517 726999040 163943 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 163943 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1792.81 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 153064 0 0 0 179104 177 0 0 20 0 2 0 275840580 726999040 163943 33554432000 4194304 5965102 140735590400288 140614348933160 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 709960
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27455424/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1798.66 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 163155 0 0 0 179714 152 0 0 20 0 2 0 275840517 726999040 163991 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 163991 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1793.61 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 153112 0 0 0 179183 178 0 0 20 0 2 0 275840580 726999040 163991 33554432000 4194304 5965102 140735590400288 140614348933160 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 709960
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27455052/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1799.07 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 163182 0 0 0 179755 152 0 0 20 0 2 0 275840517 726999040 164018 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 164018 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1794.01 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 153139 0 0 0 179223 178 0 0 20 0 2 0 275840580 726999040 164018 33554432000 4194304 5965102 140735590400288 140614348933160 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 709960
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27455052/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1799.46 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 163205 0 0 0 179794 152 0 0 20 0 2 0 275840517 726999040 164041 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 164041 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1794.4 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 153162 0 0 0 179262 178 0 0 20 0 2 0 275840580 726999040 164041 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 709960
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20308
/proc/meminfo: memFree=27455052/32873648 swapFree=6604/6604
[pid=20229] ppid=20227 vsize=709960 CPUtime=1799.56 cores=1,3,5,7
/proc/20229/stat : 20229 (pwbo2.0) S 20227 20229 17458 0 -1 4202496 163210 0 0 0 179804 152 0 0 20 0 2 0 275840517 726999040 164046 33554432000 4194304 5965102 140735590400288 140735590399808 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20229/statm: 177490 164046 190 433 0 177054 0
[pid=20229/tid=20231] ppid=20227 vsize=709960 CPUtime=1794.5 cores=1,3,5,7
/proc/20229/task/20231/stat : 20231 (pwbo2.0) R 20227 20229 17458 0 -1 4202560 153167 0 0 0 179272 178 0 0 20 0 2 0 275840580 726999040 164046 33554432000 4194304 5965102 140735590400288 140614348933112 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 709960
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20229 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=352369
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=818723
# CPU time returned by wait4() is 1795.17
# while last known CPU time is 1799.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.56
CPU user time (s): 1798.04
CPU system time (s): 1.52
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 709960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 1.81872
maximum resident set size= 656196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163213
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= 209
involuntary context switches= 1961
runsolver used 2.85556 second user time and 9.35058 second system time
The end