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-3726905-1338651535/watcher-3726905-1338651535 -o /tmp/evaluation-result-3726905-1338651535/solver-3726905-1338651535 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3726905-1338651535.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: 1.14 1.71 1.89 3/173 9402
/proc/meminfo: memFree=28252248/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84188 CPUtime=0 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 959 0 0 0 0 0 0 0 20 0 2 0 331280334 86208512 903 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21047 903 175 433 0 20611 0
[pid=9402/tid=9406] ppid=9399 vsize=84188 CPUtime=0 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 2 0 331280334 86208512 903 33554432000 4194304 5964350 140735408224160 140734291435336 4303035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.040838 s]
/proc/loadavg: 1.14 1.71 1.89 3/173 9402
/proc/meminfo: memFree=28252248/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84188 CPUtime=0.03 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 1222 0 0 0 3 0 0 0 20 0 2 0 331280334 86208512 1166 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21047 1166 184 433 0 20611 0
[pid=9402/tid=9406] ppid=9399 vsize=84188 CPUtime=0.02 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 2 0 331280334 86208512 1166 33554432000 4194304 5964350 140735408224160 140734291435336 4381941 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 84188
[startup+0.100289 s]
/proc/loadavg: 1.14 1.71 1.89 3/173 9402
/proc/meminfo: memFree=28252248/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84188 CPUtime=0.09 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 1407 0 0 0 9 0 0 0 20 0 2 0 331280334 86208512 1351 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21047 1351 184 433 0 20611 0
[pid=9402/tid=9406] ppid=9399 vsize=84188 CPUtime=0.08 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 558 0 0 0 8 0 0 0 20 0 2 0 331280334 86208512 1351 33554432000 4194304 5964350 140735408224160 140734291435336 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84188
[startup+0.300248 s]
/proc/loadavg: 1.14 1.71 1.89 3/173 9402
/proc/meminfo: memFree=28252248/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84188 CPUtime=0.29 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 1914 0 0 0 29 0 0 0 20 0 2 0 331280334 86208512 1858 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21047 1858 184 433 0 20611 0
[pid=9402/tid=9406] ppid=9399 vsize=84188 CPUtime=0.28 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 1065 0 0 0 28 0 0 0 20 0 2 0 331280334 86208512 1858 33554432000 4194304 5964350 140735408224160 140734291435336 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84188
[startup+0.700231 s]
/proc/loadavg: 1.14 1.71 1.89 3/173 9402
/proc/meminfo: memFree=28252248/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84188 CPUtime=0.69 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 2811 0 0 0 69 0 0 0 20 0 2 0 331280334 86208512 2755 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21047 2755 184 433 0 20611 0
[pid=9402/tid=9406] ppid=9399 vsize=84188 CPUtime=0.68 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 1962 0 0 0 68 0 0 0 20 0 2 0 331280334 86208512 2755 33554432000 4194304 5964350 140735408224160 140213195106296 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84188
[startup+1.50025 s]
/proc/loadavg: 1.14 1.71 1.89 3/179 9408
/proc/meminfo: memFree=28234536/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84332 CPUtime=1.49 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 4175 0 0 0 148 1 0 0 20 0 2 0 331280334 86355968 4119 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21083 4119 184 433 0 20647 0
[pid=9402/tid=9406] ppid=9399 vsize=84332 CPUtime=1.48 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 3326 0 0 0 148 0 0 0 20 0 2 0 331280334 86355968 4119 33554432000 4194304 5964350 140735408224160 140213195106296 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84332
[startup+3.10025 s]
/proc/loadavg: 1.14 1.71 1.89 3/179 9408
/proc/meminfo: memFree=28228072/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84332 CPUtime=3.09 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 5644 0 0 0 308 1 0 0 20 0 2 0 331280334 86355968 5588 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21083 5588 184 433 0 20647 0
[pid=9402/tid=9406] ppid=9399 vsize=84332 CPUtime=3.07 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 4795 0 0 0 306 1 0 0 20 0 2 0 331280334 86355968 5588 33554432000 4194304 5964350 140735408224160 140213195106296 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84332
[startup+6.30025 s]
/proc/loadavg: 1.21 1.71 1.89 3/179 9408
/proc/meminfo: memFree=28212760/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84404 CPUtime=6.29 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 7548 0 0 0 627 2 0 0 20 0 2 0 331280334 86429696 7492 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21101 7492 184 433 0 20665 0
[pid=9402/tid=9406] ppid=9399 vsize=84404 CPUtime=6.26 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 6699 0 0 0 624 2 0 0 20 0 2 0 331280334 86429696 7492 33554432000 4194304 5964350 140735408224160 140213195106296 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84404
[startup+12.7002 s]
/proc/loadavg: 1.35 1.73 1.90 3/179 9408
/proc/meminfo: memFree=28191812/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=84404 CPUtime=12.69 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 12373 0 0 0 1266 3 0 0 20 0 2 0 331280334 86429696 12317 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 21101 12317 184 433 0 20665 0
[pid=9402/tid=9406] ppid=9399 vsize=84404 CPUtime=12.65 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 11524 0 0 0 1263 2 0 0 20 0 2 0 331280334 86429696 12317 33554432000 4194304 5964350 140735408224160 140213195106296 4381640 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84404
[startup+25.5003 s]
/proc/loadavg: 1.49 1.75 1.90 3/179 9408
/proc/meminfo: memFree=28158464/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=150208 CPUtime=25.48 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 17334 0 0 0 2544 4 0 0 20 0 2 0 331280334 153812992 17282 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 37552 17282 184 433 0 37116 0
[pid=9402/tid=9406] ppid=9399 vsize=150208 CPUtime=25.41 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 16485 0 0 0 2537 4 0 0 20 0 2 0 331280334 153812992 17282 33554432000 4194304 5964350 140735408224160 140213195106472 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150208
[startup+51.1003 s]
/proc/loadavg: 1.67 1.76 1.90 3/180 9409
/proc/meminfo: memFree=28108548/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=150208 CPUtime=51.06 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 27276 0 0 0 5099 7 0 0 20 0 2 0 331280334 153812992 27208 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 37552 27208 184 433 0 37116 0
[pid=9402/tid=9406] ppid=9399 vsize=150208 CPUtime=50.92 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 26427 0 0 0 5085 7 0 0 20 0 2 0 331280334 153812992 27208 33554432000 4194304 5964350 140735408224160 140213195106296 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 150208
[startup+102.307 s]
/proc/loadavg: 1.85 1.80 1.91 3/180 9412
/proc/meminfo: memFree=28085864/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=151024 CPUtime=102.26 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 29266 0 0 0 10218 8 0 0 20 0 2 0 331280334 154648576 29502 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 37756 29502 184 433 0 37320 0
[pid=9402/tid=9406] ppid=9399 vsize=151024 CPUtime=101.99 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 28417 0 0 0 10191 8 0 0 20 0 2 0 331280334 154648576 29502 33554432000 4194304 5964350 140735408224160 140213195106104 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151024
[startup+162.3 s]
/proc/loadavg: 1.94 1.83 1.91 3/179 9412
/proc/meminfo: memFree=28034156/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=217424 CPUtime=162.22 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 39053 0 0 0 16211 11 0 0 20 0 2 0 331280334 222642176 39424 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 54356 39424 184 433 0 53920 0
[pid=9402/tid=9406] ppid=9399 vsize=217424 CPUtime=161.81 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 38204 0 0 0 16168 13 0 0 20 0 2 0 331280334 222642176 39424 33554432000 4194304 5964350 140735408224160 140213195106344 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 217424
[startup+222.3 s]
/proc/loadavg: 1.98 1.86 1.91 3/179 9412
/proc/meminfo: memFree=27957060/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=283392 CPUtime=222.21 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 54335 0 0 0 22203 18 0 0 20 0 2 0 331280334 290193408 55211 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 70848 55211 184 433 0 70412 0
[pid=9402/tid=9406] ppid=9399 vsize=283392 CPUtime=221.66 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 53486 0 0 0 22145 21 0 0 20 0 2 0 331280334 290193408 55211 33554432000 4194304 5964350 140735408224160 140213195106296 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 283392
[startup+282.3 s]
/proc/loadavg: 1.99 1.88 1.91 3/179 9412
/proc/meminfo: memFree=27863492/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=350296 CPUtime=282.19 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 75222 0 0 0 28191 28 0 0 20 0 2 0 331280334 358703104 76134 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 87574 76134 184 433 0 87138 0
[pid=9402/tid=9406] ppid=9399 vsize=350296 CPUtime=281.49 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 74373 0 0 0 28118 31 0 0 20 0 2 0 331280334 358703104 76134 33554432000 4194304 5964350 140735408224160 140213195106296 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 350296
[startup+342.3 s]
/proc/loadavg: 1.99 1.90 1.91 3/179 9451
/proc/meminfo: memFree=27681780/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=350296 CPUtime=342.17 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 75254 0 0 0 34189 28 0 0 20 0 2 0 331280334 358703104 76208 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 87574 76208 184 433 0 87138 0
[pid=9402/tid=9406] ppid=9399 vsize=350296 CPUtime=341.32 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 74405 0 0 0 34100 32 0 0 20 0 2 0 331280334 358703104 76208 33554432000 4194304 5964350 140735408224160 140213195106296 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 350296
[startup+402.3 s]
/proc/loadavg: 1.99 1.92 1.91 3/179 9452
/proc/meminfo: memFree=27599536/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=350296 CPUtime=402.16 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 75264 0 0 0 40188 28 0 0 20 0 2 0 331280334 358703104 76248 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.11 2.03 1.94 3/179 9484
/proc/meminfo: memFree=27010828/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=420276 CPUtime=1421.99 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 98600 0 0 0 142152 47 0 0 20 0 2 0 331280334 430362624 98059 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 105069 98059 184 433 0 104633 0
[pid=9402/tid=9406] ppid=9399 vsize=420276 CPUtime=1418.54 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 97751 0 0 0 141786 68 0 0 20 0 2 0 331280334 430362624 98059 33554432000 4194304 5964350 140735408224160 140213195106472 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 420276
[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 1.94 3/179 9484
/proc/meminfo: memFree=27010200/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=420276 CPUtime=1481.98 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 98607 0 0 0 148151 47 0 0 20 0 2 0 331280334 430362624 98069 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 105069 98069 184 433 0 104633 0
[pid=9402/tid=9406] ppid=9399 vsize=420276 CPUtime=1478.38 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 97758 0 0 0 147769 69 0 0 20 0 2 0 331280334 430362624 98069 33554432000 4194304 5964350 140735408224160 140213195106472 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 420276
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 1.95 3/179 9484
/proc/meminfo: memFree=27003072/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=420708 CPUtime=1541.96 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 98696 0 0 0 154149 47 0 0 20 0 2 0 331280334 430804992 98591 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 105177 98591 184 433 0 104741 0
[pid=9402/tid=9406] ppid=9399 vsize=420708 CPUtime=1538.22 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 97847 0 0 0 153752 70 0 0 20 0 2 0 331280334 430804992 98591 33554432000 4194304 5964350 140735408224160 140213195106104 4381941 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 420708
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/178 9485
/proc/meminfo: memFree=26947900/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=422724 CPUtime=1601.95 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 99101 0 0 0 160148 47 0 0 20 0 2 0 331280334 432869376 98996 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 105681 98996 184 433 0 105245 0
[pid=9402/tid=9406] ppid=9399 vsize=422724 CPUtime=1598.07 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 98252 0 0 0 159736 71 0 0 20 0 2 0 331280334 432869376 98996 33554432000 4194304 5964350 140735408224160 140213195106344 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 422724
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/179 9486
/proc/meminfo: memFree=26901044/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=425604 CPUtime=1661.94 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 99670 0 0 0 166147 47 0 0 20 0 2 0 331280334 435818496 99565 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 106401 99565 184 433 0 105965 0
[pid=9402/tid=9406] ppid=9399 vsize=425604 CPUtime=1657.92 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 98821 0 0 0 165720 72 0 0 20 0 2 0 331280334 435818496 99565 33554432000 4194304 5964350 140735408224160 140213195106344 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 425604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 9486
/proc/meminfo: memFree=26791860/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=491284 CPUtime=1721.94 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 115198 0 0 0 172140 54 0 0 20 0 2 0 331280334 503074816 115197 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 122821 115197 184 433 0 122385 0
[pid=9402/tid=9406] ppid=9399 vsize=491284 CPUtime=1717.76 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 114349 0 0 0 171696 80 0 0 20 0 2 0 331280334 503074816 115197 33554432000 4194304 5964350 140735408224160 140213195106344 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 491284
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26721372/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=556820 CPUtime=1781.93 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 121728 0 0 0 178134 59 0 0 20 0 2 0 331280334 570183680 121727 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139205 121727 184 433 0 138769 0
[pid=9402/tid=9406] ppid=9399 vsize=556820 CPUtime=1777.61 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 120879 0 0 0 177675 86 0 0 20 0 2 0 331280334 570183680 121727 33554432000 4194304 5964350 140735408224160 140213195106296 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 556820
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26709576/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557180 CPUtime=1791.53 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 123143 0 0 0 179093 60 0 0 20 0 2 0 331280334 570552320 123142 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139295 123142 184 433 0 138859 0
[pid=9402/tid=9406] ppid=9399 vsize=557180 CPUtime=1787.19 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 122294 0 0 0 178632 87 0 0 20 0 2 0 331280334 570552320 123142 33554432000 4194304 5964350 140735408224160 140213195106296 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 557180
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26704740/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557180 CPUtime=1794.73 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 123747 0 0 0 179412 61 0 0 20 0 2 0 331280334 570552320 123746 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139295 123746 184 433 0 138859 0
[pid=9402/tid=9406] ppid=9399 vsize=557180 CPUtime=1790.38 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 122898 0 0 0 178950 88 0 0 20 0 2 0 331280334 570552320 123746 33554432000 4194304 5964350 140735408224160 140213195106296 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 557180
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26702384/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557396 CPUtime=1797.92 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 124116 0 0 0 179731 61 0 0 20 0 2 0 331280334 570773504 124115 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139349 124115 184 433 0 138913 0
[pid=9402/tid=9406] ppid=9399 vsize=557396 CPUtime=1793.57 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 123267 0 0 0 179269 88 0 0 20 0 2 0 331280334 570773504 124115 33554432000 4194304 5964350 140735408224160 140213195106104 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 557396
[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26701144/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557396 CPUtime=1798.72 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 124232 0 0 0 179811 61 0 0 20 0 2 0 331280334 570773504 124231 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139349 124231 184 433 0 138913 0
[pid=9402/tid=9406] ppid=9399 vsize=557396 CPUtime=1794.37 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 123383 0 0 0 179349 88 0 0 20 0 2 0 331280334 570773504 124231 33554432000 4194304 5964350 140735408224160 140213195106296 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 557396
[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26699640/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557396 CPUtime=1799.13 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 124289 0 0 0 179852 61 0 0 20 0 2 0 331280334 570773504 124288 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139349 124288 184 433 0 138913 0
[pid=9402/tid=9406] ppid=9399 vsize=557396 CPUtime=1794.77 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 123440 0 0 0 179389 88 0 0 20 0 2 0 331280334 570773504 124288 33554432000 4194304 5964350 140735408224160 140213195106104 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 557396
[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26699640/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557396 CPUtime=1799.52 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 124357 0 0 0 179891 61 0 0 20 0 2 0 331280334 570773504 124356 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139349 124356 184 433 0 138913 0
[pid=9402/tid=9406] ppid=9399 vsize=557396 CPUtime=1795.17 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 123508 0 0 0 179429 88 0 0 20 0 2 0 331280334 570773504 124356 33554432000 4194304 5964350 140735408224160 140213195106104 4400011 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 557396
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.95 3/179 9486
/proc/meminfo: memFree=26699640/32873648 swapFree=6864/6864
[pid=9402] ppid=9399 vsize=557396 CPUtime=1799.62 cores=1,3,5,7
/proc/9402/stat : 9402 (wbo1.72) S 9399 9402 7878 0 -1 4202496 124369 0 0 0 179901 61 0 0 20 0 2 0 331280334 570773504 124368 33554432000 4194304 5964350 140735408224160 140735408223680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9402/statm: 139349 124368 184 433 0 138913 0
[pid=9402/tid=9406] ppid=9399 vsize=557396 CPUtime=1795.27 cores=1,3,5,7
/proc/9402/task/9406/stat : 9406 (wbo1.72) R 9399 9402 7878 0 -1 4202560 123520 0 0 0 179439 88 0 0 20 0 2 0 331280334 570773504 124368 33554432000 4194304 5964350 140735408224160 140213195106104 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 557396
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9402 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=401209
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=899863
# CPU time returned by wait4() is 1795.3
# while last known CPU time is 1799.62
#
# 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.62
CPU user time (s): 1799.01
CPU system time (s): 0.61
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 557396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.4
system time used= 0.899863
maximum resident set size= 497484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124372
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= 166
involuntary context switches= 1974
runsolver used 2.78258 second user time and 7.50986 second system time
The end