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-3704438-1338100678/watcher-3704438-1338100678 -o /tmp/evaluation-result-3704438-1338100678/solver-3704438-1338100678 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704438-1338100678.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 8419
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=4820 CPUtime=0 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) R 8417 8419 6880 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 276196327 4935680 552 33554432000 4194304 5965102 140735598967872 140733520604712 5180360 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 1205 553 166 433 0 671 0
[startup+0.068768 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8419
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=0.06 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 2481 0 0 0 6 0 0 0 20 0 2 0 276196327 88539136 2717 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 2717 189 433 0 21180 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 86464
[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8419
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=0.09 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 2513 0 0 0 9 0 0 0 20 0 2 0 276196327 88539136 2749 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 2749 190 433 0 21180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86464
[startup+0.30007 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8419
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=0.29 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 2767 0 0 0 29 0 0 0 20 0 2 0 276196327 88539136 3003 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 3003 190 433 0 21180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86464
[startup+0.700071 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8419
/proc/meminfo: memFree=28219100/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=0.69 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 3306 0 0 0 69 0 0 0 20 0 2 0 276196327 88539136 3542 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 3542 190 433 0 21180 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86464
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8421
/proc/meminfo: memFree=28204900/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=1.48 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 4271 0 0 0 148 0 0 0 20 0 2 0 276196327 88539136 4507 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 4507 190 433 0 21180 0
[pid=8419/tid=8421] ppid=8417 vsize=86464 CPUtime=1.44 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 2805 0 0 0 144 0 0 0 20 0 2 0 276196330 88539136 4507 33554432000 4194304 5965102 140735598967872 139892283668472 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86464
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8421
/proc/meminfo: memFree=28199040/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=3.09 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 5007 0 0 0 308 1 0 0 20 0 2 0 276196327 88539136 5243 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 5243 190 433 0 21180 0
[pid=8419/tid=8421] ppid=8417 vsize=86464 CPUtime=3.04 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 3541 0 0 0 304 0 0 0 20 0 2 0 276196330 88539136 5243 33554432000 4194304 5965102 140735598967872 139892283668520 4382742 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) 86464
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8421
/proc/meminfo: memFree=28193708/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=6.29 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 6905 0 0 0 627 2 0 0 20 0 2 0 276196327 88539136 7141 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 7141 190 433 0 21180 0
[pid=8419/tid=8421] ppid=8417 vsize=86464 CPUtime=6.23 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 5439 0 0 0 622 1 0 0 20 0 2 0 276196330 88539136 7141 33554432000 4194304 5965102 140735598967872 139892283668520 4220672 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) 86464
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8421
/proc/meminfo: memFree=28179472/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86464 CPUtime=12.69 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 9718 0 0 0 1266 3 0 0 20 0 2 0 276196327 88539136 9954 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21616 9954 190 433 0 21180 0
[pid=8419/tid=8421] ppid=8417 vsize=86464 CPUtime=12.61 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 8252 0 0 0 1258 3 0 0 20 0 2 0 276196330 88539136 9954 33554432000 4194304 5965102 140735598967872 139892283668472 4383069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86464
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8421
/proc/meminfo: memFree=28156628/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=86788 CPUtime=25.48 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 15115 0 0 0 2543 5 0 0 20 0 2 0 276196327 88870912 15351 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 21697 15351 190 433 0 21261 0
[pid=8419/tid=8421] ppid=8417 vsize=86788 CPUtime=25.38 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 13649 0 0 0 2533 5 0 0 20 0 2 0 276196330 88870912 15351 33554432000 4194304 5965102 140735598967872 139892283668472 4401118 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) 86788
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8421
/proc/meminfo: memFree=28137828/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=152484 CPUtime=51.08 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 20231 0 0 0 5100 8 0 0 20 0 2 0 276196327 156143616 20467 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 38121 20467 190 433 0 37685 0
[pid=8419/tid=8421] ppid=8417 vsize=152484 CPUtime=50.91 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 18765 0 0 0 5083 8 0 0 20 0 2 0 276196330 156143616 20467 33554432000 4194304 5965102 140735598967872 139892283668472 5137076 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152484
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8422
/proc/meminfo: memFree=28111292/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=152724 CPUtime=102.27 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 26437 0 0 0 10216 11 0 0 20 0 2 0 276196327 156389376 26673 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 38181 26673 190 433 0 37745 0
[pid=8419/tid=8421] ppid=8417 vsize=152724 CPUtime=101.98 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 24971 0 0 0 10187 11 0 0 20 0 2 0 276196330 156389376 26673 33554432000 4194304 5965102 140735598967872 139892283668280 4383061 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152724
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8425
/proc/meminfo: memFree=28098016/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=152724 CPUtime=162.24 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 30027 0 0 0 16212 12 0 0 20 0 2 0 276196327 156389376 30263 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 38181 30263 190 433 0 37745 0
[pid=8419/tid=8421] ppid=8417 vsize=152724 CPUtime=161.81 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 28561 0 0 0 16167 14 0 0 20 0 2 0 276196330 156389376 30263 33554432000 4194304 5965102 140735598967872 139892283668472 4220672 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) 152724
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8425
/proc/meminfo: memFree=28059080/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=218260 CPUtime=222.2 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 39239 0 0 0 22202 18 0 0 20 0 2 0 276196327 223498240 39632 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 54565 39632 190 433 0 54129 0
[pid=8419/tid=8421] ppid=8417 vsize=218260 CPUtime=221.63 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 37773 0 0 0 22142 21 0 0 20 0 2 0 276196330 223498240 39632 33554432000 4194304 5965102 140735598967872 139892283668472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 218260
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8425
/proc/meminfo: memFree=28056272/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=218260 CPUtime=282.15 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 39404 0 0 0 28197 18 0 0 20 0 2 0 276196327 223498240 40314 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 54565 40314 190 433 0 54129 0
[pid=8419/tid=8421] ppid=8417 vsize=218260 CPUtime=281.43 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 37938 0 0 0 28121 22 0 0 20 0 2 0 276196330 223498240 40314 33554432000 4194304 5965102 140735598967872 139892283668280 4401149 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 218260
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8425
/proc/meminfo: memFree=28046040/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=218260 CPUtime=342.15 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 42026 0 0 0 34194 21 0 0 20 0 2 0 276196327 223498240 42936 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 54565 42936 190 433 0 54129 0
[pid=8419/tid=8421] ppid=8417 vsize=218260 CPUtime=341.28 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 40560 0 0 0 34102 26 0 0 20 0 2 0 276196330 223498240 42936 33554432000 4194304 5965102 140735598967872 139892283668472 4401118 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 218260
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8426
/proc/meminfo: memFree=28028184/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=218260 CPUtime=402.13 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 46601 0 0 0 40189 24 0 0 20 0 2 0 276196327 223498240 47511 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 54565 47511 190 433 0 54129 0
[pid=8419/tid=8421] ppid=8417 vsize=218260 CPUtime=401.13 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 45135 0 0 0 40083 30 0 0 20 0 2 0 276196330 223498240 47511 33554432000 4194304 5965102 140735598967872 139892283668520 4401109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 218260
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8426
/proc/meminfo: memFree=28001648/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=218260 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8497
/proc/meminfo: memFree=27864104/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=350988 CPUtime=1421.95 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 73121 0 0 0 142145 50 0 0 20 0 2 0 276196327 359411712 74926 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87747 74926 190 433 0 87311 0
[pid=8419/tid=8421] ppid=8417 vsize=350988 CPUtime=1418.48 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 71655 0 0 0 141778 70 0 0 20 0 2 0 276196330 359411712 74926 33554432000 4194304 5965102 140735598967872 139892283668520 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 350988
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8497
/proc/meminfo: memFree=27860268/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1481.92 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 73947 0 0 0 148142 50 0 0 20 0 2 0 276196327 359743488 75752 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 75752 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1478.32 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 72481 0 0 0 147760 72 0 0 20 0 2 0 276196330 359743488 75752 33554432000 4194304 5965102 140735598967872 139892283668472 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 351312
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8497
/proc/meminfo: memFree=27859440/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1541.91 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 73947 0 0 0 154141 50 0 0 20 0 2 0 276196327 359743488 75752 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 75752 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1538.17 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 72481 0 0 0 153744 73 0 0 20 0 2 0 276196330 359743488 75752 33554432000 4194304 5965102 140735598967872 139892283668472 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 351312
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8497
/proc/meminfo: memFree=27859316/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1601.91 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 73947 0 0 0 160141 50 0 0 20 0 2 0 276196327 359743488 75752 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 75752 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1598.02 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 72481 0 0 0 159728 74 0 0 20 0 2 0 276196330 359743488 75752 33554432000 4194304 5965102 140735598967872 139892283668472 4401131 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 351312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27858572/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1661.89 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 74188 0 0 0 166139 50 0 0 20 0 2 0 276196327 359743488 75993 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 75993 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1657.86 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 72722 0 0 0 165711 75 0 0 20 0 2 0 276196330 359743488 75993 33554432000 4194304 5965102 140735598967872 139892283668472 4401107 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) 351312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27840300/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1721.88 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 172133 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1717.7 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 171690 80 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4382742 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) 351312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834348/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1781.87 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 178132 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1777.54 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 177673 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4401118 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) 351312
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 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1791.48 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179093 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1787.13 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 178632 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4383320 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 351312
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1794.68 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179413 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1790.32 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 178951 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 351312
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1797.87 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179732 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1793.5 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 179269 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 351312
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1798.67 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179812 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1794.3 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 179349 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 351312
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1799.08 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179853 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1794.71 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 179390 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 351312
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1799.47 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179892 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1795.1 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 179429 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4401096 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 351312
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8498
/proc/meminfo: memFree=27834720/32873844 swapFree=7620/7620
[pid=8419] ppid=8417 vsize=351312 CPUtime=1799.57 cores=1,3,5,7
/proc/8419/stat : 8419 (pwbo2.0) S 8417 8419 6880 0 -1 4202496 78561 0 0 0 179902 55 0 0 20 0 2 0 276196327 359743488 80537 33554432000 4194304 5965102 140735598967872 140735598967392 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8419/statm: 87828 80537 190 433 0 87392 0
[pid=8419/tid=8421] ppid=8417 vsize=351312 CPUtime=1795.2 cores=1,3,5,7
/proc/8419/task/8421/stat : 8421 (pwbo2.0) R 8417 8419 6880 0 -1 4202560 77095 0 0 0 179439 81 0 0 20 0 2 0 276196330 359743488 80537 33554432000 4194304 5965102 140735598967872 139892283668472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 351312
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8419 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=428205
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=822874
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.57
CPU user time (s): 1799.02
CPU system time (s): 0.55
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 351312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.43
system time used= 0.822874
maximum resident set size= 322160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78564
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= 147
involuntary context switches= 2171
runsolver used 3.64045 second user time and 8.40372 second system time
The end