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-3705272-1338101268/watcher-3705272-1338101268 -o /tmp/evaluation-result-3705272-1338101268/solver-3705272-1338101268 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705272-1338101268.opb
running on 4 cores: 0,2,4,6
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 2/175 10998
/proc/meminfo: memFree=31225676/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83580 CPUtime=0 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 2 0 276255215 85585920 706 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20895 706 190 432 0 20460 0
[pid=10998/tid=10999] ppid=10996 vsize=83580 CPUtime=0 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 2 0 276255216 85585920 706 33554432000 4194304 5963574 140733998558192 140735046424056 4222336 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0732999 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 10998
/proc/meminfo: memFree=31225676/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83580 CPUtime=0.07 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 982 0 0 0 7 0 0 0 20 0 2 0 276255215 85585920 934 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20895 934 191 432 0 20460 0
[pid=10998/tid=10999] ppid=10996 vsize=83580 CPUtime=0.06 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 282 0 0 0 6 0 0 0 20 0 2 0 276255216 85585920 934 33554432000 4194304 5963574 140733998558192 140735046424056 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83580
[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 10998
/proc/meminfo: memFree=31225676/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83580 CPUtime=0.09 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 1050 0 0 0 9 0 0 0 20 0 2 0 276255215 85585920 1002 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20895 1002 191 432 0 20460 0
[pid=10998/tid=10999] ppid=10996 vsize=83580 CPUtime=0.08 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 350 0 0 0 8 0 0 0 20 0 2 0 276255216 85585920 1002 33554432000 4194304 5963574 140733998558192 140735046424056 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83580
[startup+0.300298 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 10998
/proc/meminfo: memFree=31225676/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83580 CPUtime=0.29 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 1480 0 0 0 29 0 0 0 20 0 2 0 276255215 85585920 1432 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20895 1432 191 432 0 20460 0
[pid=10998/tid=10999] ppid=10996 vsize=83580 CPUtime=0.28 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 780 0 0 0 28 0 0 0 20 0 2 0 276255216 85585920 1432 33554432000 4194304 5963574 140733998558192 140735046424056 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83580
[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 10998
/proc/meminfo: memFree=31225676/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83724 CPUtime=0.69 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 2023 0 0 0 69 0 0 0 20 0 2 0 276255215 85733376 1975 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20931 1975 191 432 0 20496 0
[pid=10998/tid=10999] ppid=10996 vsize=83724 CPUtime=0.68 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 1323 0 0 0 68 0 0 0 20 0 2 0 276255216 85733376 1975 33554432000 4194304 5963574 140733998558192 140355788490744 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83724
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11000
/proc/meminfo: memFree=31217964/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83724 CPUtime=1.49 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 2321 0 0 0 149 0 0 0 20 0 2 0 276255215 85733376 2273 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20931 2273 191 432 0 20496 0
[pid=10998/tid=10999] ppid=10996 vsize=83724 CPUtime=1.48 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 1621 0 0 0 148 0 0 0 20 0 2 0 276255216 85733376 2273 33554432000 4194304 5963574 140733998558192 140355788490744 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83724
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11000
/proc/meminfo: memFree=31214244/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83796 CPUtime=3.09 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 3432 0 0 0 309 0 0 0 20 0 2 0 276255215 85807104 3384 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20949 3384 191 432 0 20514 0
[pid=10998/tid=10999] ppid=10996 vsize=83796 CPUtime=3.07 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 2732 0 0 0 307 0 0 0 20 0 2 0 276255216 85807104 3384 33554432000 4194304 5963574 140733998558192 140355788490552 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83796
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11000
/proc/meminfo: memFree=31208788/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=83904 CPUtime=6.29 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 4904 0 0 0 629 0 0 0 20 0 2 0 276255215 85917696 4856 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 20976 4856 191 432 0 20541 0
[pid=10998/tid=10999] ppid=10996 vsize=83904 CPUtime=6.27 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 4204 0 0 0 627 0 0 0 20 0 2 0 276255216 85917696 4856 33554432000 4194304 5963574 140733998558192 140355788490792 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83904
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11000
/proc/meminfo: memFree=31185616/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=84352 CPUtime=12.69 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 7076 0 0 0 1268 1 0 0 20 0 2 0 276255215 86376448 7028 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 21088 7028 191 432 0 20653 0
[pid=10998/tid=10999] ppid=10996 vsize=84352 CPUtime=12.65 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 6376 0 0 0 1264 1 0 0 20 0 2 0 276255216 86376448 7028 33554432000 4194304 5963574 140733998558192 140355788490792 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84352
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11000
/proc/meminfo: memFree=31146772/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=84856 CPUtime=25.48 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 9249 0 0 0 2546 2 0 0 20 0 2 0 276255215 86892544 9201 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 21214 9201 191 432 0 20779 0
[pid=10998/tid=10999] ppid=10996 vsize=84856 CPUtime=25.42 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 8549 0 0 0 2540 2 0 0 20 0 2 0 276255216 86892544 9201 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84856
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11001
/proc/meminfo: memFree=31079284/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=86464 CPUtime=51.08 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 13662 0 0 0 5104 4 0 0 20 0 2 0 276255215 88539136 13614 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 21616 13614 191 432 0 21181 0
[pid=10998/tid=10999] ppid=10996 vsize=86464 CPUtime=50.95 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 12962 0 0 0 5091 4 0 0 20 0 2 0 276255216 88539136 13614 33554432000 4194304 5963574 140733998558192 140355788490744 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86464
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11001
/proc/meminfo: memFree=31012880/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=153512 CPUtime=102.28 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 19482 0 0 0 10220 8 0 0 20 0 2 0 276255215 157196288 19434 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 38378 19434 191 432 0 37943 0
[pid=10998/tid=10999] ppid=10996 vsize=153512 CPUtime=102.03 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 18782 0 0 0 10194 9 0 0 20 0 2 0 276255216 157196288 19434 33554432000 4194304 5963574 140733998558192 140355788490744 4388665 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 153512
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11004
/proc/meminfo: memFree=30971324/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=154844 CPUtime=162.26 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 25255 0 0 0 16214 12 0 0 20 0 2 0 276255215 158560256 25207 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 38711 25207 191 432 0 38276 0
[pid=10998/tid=10999] ppid=10996 vsize=154844 CPUtime=161.87 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 24555 0 0 0 16173 14 0 0 20 0 2 0 276255216 158560256 25207 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 154844
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11004
/proc/meminfo: memFree=30915640/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=156476 CPUtime=222.26 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 32068 0 0 0 22208 18 0 0 20 0 2 0 276255215 160231424 32020 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 39119 32020 191 432 0 38684 0
[pid=10998/tid=10999] ppid=10996 vsize=156476 CPUtime=221.72 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 31368 0 0 0 22151 21 0 0 20 0 2 0 276255216 160231424 32020 33554432000 4194304 5963574 140733998558192 140355788490744 4378832 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 156476
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11004
/proc/meminfo: memFree=30859592/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=222712 CPUtime=282.25 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 35131 0 0 0 28204 21 0 0 20 0 2 0 276255215 228057088 35083 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 55678 35083 191 432 0 55243 0
[pid=10998/tid=10999] ppid=10996 vsize=222712 CPUtime=281.56 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 34431 0 0 0 28131 25 0 0 20 0 2 0 276255216 228057088 35083 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 222712
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 11005
/proc/meminfo: memFree=30837328/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=223972 CPUtime=342.21 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 39615 0 0 0 34195 26 0 0 20 0 2 0 276255215 229347328 39550 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 55993 39550 191 432 0 55558 0
[pid=10998/tid=10999] ppid=10996 vsize=223972 CPUtime=341.37 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 38915 0 0 0 34106 31 0 0 20 0 2 0 276255216 229347328 39550 33554432000 4194304 5963574 140733998558192 140355788490744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 223972
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11005
/proc/meminfo: memFree=30812576/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=224656 CPUtime=402.16 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 44089 0 0 0 40186 30 0 0 20 0 2 0 276255215 230047744 44716 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11076
/proc/meminfo: memFree=31158848/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=431912 CPUtime=1421.94 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 93545 0 0 0 142112 82 0 0 20 0 2 0 276255215 442277888 94138 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 107978 94138 191 432 0 107543 0
[pid=10998/tid=10999] ppid=10996 vsize=431912 CPUtime=1418.51 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 92845 0 0 0 141748 103 0 0 20 0 2 0 276255216 442277888 94138 33554432000 4194304 5963574 140733998558192 140355788490744 4399537 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 431912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11076
/proc/meminfo: memFree=31120344/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=432180 CPUtime=1481.89 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 95756 0 0 0 148104 85 0 0 20 0 2 0 276255215 442552320 96319 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 108045 96319 191 432 0 107610 0
[pid=10998/tid=10999] ppid=10996 vsize=432180 CPUtime=1478.32 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 95056 0 0 0 147725 107 0 0 20 0 2 0 276255216 442552320 96319 33554432000 4194304 5963574 140733998558192 140355788490744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 432180
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11076
/proc/meminfo: memFree=31079424/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=432796 CPUtime=1541.88 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 100789 0 0 0 154099 89 0 0 20 0 2 0 276255215 443183104 101352 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 108199 101352 191 432 0 107764 0
[pid=10998/tid=10999] ppid=10996 vsize=432796 CPUtime=1538.17 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 100089 0 0 0 153705 112 0 0 20 0 2 0 276255216 443183104 101352 33554432000 4194304 5963574 140733998558192 140355788490744 4378352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 432796
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11077
/proc/meminfo: memFree=31058592/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=433036 CPUtime=1601.87 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 101277 0 0 0 160097 90 0 0 20 0 2 0 276255215 443428864 101840 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 108259 101840 191 432 0 107824 0
[pid=10998/tid=10999] ppid=10996 vsize=433036 CPUtime=1598.01 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 100577 0 0 0 159687 114 0 0 20 0 2 0 276255216 443428864 101840 33554432000 4194304 5963574 140733998558192 140355788490744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 433036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11077
/proc/meminfo: memFree=31023848/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498716 CPUtime=1661.86 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 105850 0 0 0 166091 95 0 0 20 0 2 0 276255215 510685184 106413 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124679 106413 191 432 0 124244 0
[pid=10998/tid=10999] ppid=10996 vsize=498716 CPUtime=1657.86 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 105150 0 0 0 165666 120 0 0 20 0 2 0 276255216 510685184 106413 33554432000 4194304 5963574 140733998558192 140355788490792 4399546 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 498716
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11077
/proc/meminfo: memFree=30998632/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498716 CPUtime=1721.85 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 107151 0 0 0 172089 96 0 0 20 0 2 0 276255215 510685184 107708 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124679 107708 191 432 0 124244 0
[pid=10998/tid=10999] ppid=10996 vsize=498716 CPUtime=1717.7 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 106451 0 0 0 171648 122 0 0 20 0 2 0 276255216 510685184 107708 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 498716
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30982832/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1781.81 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 108856 0 0 0 178083 98 0 0 20 0 2 0 276255215 510849024 109391 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 109391 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1777.52 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 108156 0 0 0 177627 125 0 0 20 0 2 0 276255216 510849024 109391 33554432000 4194304 5963574 140733998558192 140355788490744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 498876
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30978492/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1791.42 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 109527 0 0 0 179043 99 0 0 20 0 2 0 276255215 510849024 110062 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110062 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1787.1 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 108827 0 0 0 178584 126 0 0 20 0 2 0 276255216 510849024 110062 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 498876
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30976136/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1794.62 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 109750 0 0 0 179363 99 0 0 20 0 2 0 276255215 510849024 110285 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110285 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1790.29 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 109050 0 0 0 178903 126 0 0 20 0 2 0 276255216 510849024 110285 33554432000 4194304 5963574 140733998558192 140355788490792 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 498876
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30974772/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1797.81 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 109968 0 0 0 179682 99 0 0 20 0 2 0 276255215 510849024 110503 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110503 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1793.48 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 109268 0 0 0 179222 126 0 0 20 0 2 0 276255216 510849024 110503 33554432000 4194304 5963574 140733998558192 140355788490744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 498876
[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30974028/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1798.61 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 110031 0 0 0 179762 99 0 0 20 0 2 0 276255215 510849024 110566 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110566 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1794.28 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 109331 0 0 0 179302 126 0 0 20 0 2 0 276255216 510849024 110566 33554432000 4194304 5963574 140733998558192 140355788490744 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 498876
[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30973160/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1799.01 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 110062 0 0 0 179802 99 0 0 20 0 2 0 276255215 510849024 110597 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110597 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1794.68 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 109362 0 0 0 179342 126 0 0 20 0 2 0 276255216 510849024 110597 33554432000 4194304 5963574 140733998558192 140355788490744 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 498876
[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30973160/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1799.41 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 110092 0 0 0 179842 99 0 0 20 0 2 0 276255215 510849024 110627 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110627 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1795.08 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 109392 0 0 0 179382 126 0 0 20 0 2 0 276255216 510849024 110627 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 498876
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11077
/proc/meminfo: memFree=30973160/32873844 swapFree=6088/6088
[pid=10998] ppid=10996 vsize=498876 CPUtime=1799.51 cores=0,2,4,6
/proc/10998/stat : 10998 (wbo1.7) S 10996 10998 8971 0 -1 4202496 110098 0 0 0 179852 99 0 0 20 0 2 0 276255215 510849024 110633 33554432000 4194304 5963574 140733998558192 140733998557712 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10998/statm: 124719 110633 191 432 0 124284 0
[pid=10998/tid=10999] ppid=10996 vsize=498876 CPUtime=1795.18 cores=0,2,4,6
/proc/10998/task/10999/stat : 10999 (wbo1.7) R 10996 10998 8971 0 -1 4202560 109398 0 0 0 179392 126 0 0 20 0 2 0 276255216 510849024 110633 33554432000 4194304 5963574 140733998558192 140355788490792 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 498876
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10998 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=929281
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=273806
# CPU time returned by wait4() is 1795.2
# while last known CPU time is 1799.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.51
CPU user time (s): 1798.52
CPU system time (s): 0.99
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 498876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 1.27381
maximum resident set size= 442536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110099
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= 200
involuntary context switches= 1991
runsolver used 2.84357 second user time and 7.16191 second system time
The end