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-3713103-1338222486/watcher-3713103-1338222486 -o /tmp/evaluation-result-3713103-1338222486/solver-3713103-1338222486 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713103-1338222486.wbo
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.06 2.02 2.00 3/177 2696
/proc/meminfo: memFree=26570580/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=0 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 2 0 288375849 85856256 751 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 755 175 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=0 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 288375850 85856256 795 33554432000 4194304 5964318 140733446032784 140733446031032 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.091647 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2696
/proc/meminfo: memFree=26570580/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=0.08 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 1836 0 0 0 8 0 0 0 20 0 2 0 288375849 85856256 1579 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 1579 198 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=0.07 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 1057 0 0 0 7 0 0 0 20 0 2 0 288375850 85856256 1579 33554432000 4194304 5964318 140733446032784 140733446031032 4446976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83844
[startup+0.100203 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2696
/proc/meminfo: memFree=26570580/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=0.09 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 1879 0 0 0 9 0 0 0 20 0 2 0 288375849 85856256 1622 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 1622 198 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=0.08 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 1100 0 0 0 8 0 0 0 20 0 2 0 288375850 85856256 1622 33554432000 4194304 5964318 140733446032784 140733446031032 4392677 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) 83844
[startup+0.300246 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2696
/proc/meminfo: memFree=26570580/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=0.29 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 3758 0 0 0 29 0 0 0 20 0 2 0 288375849 85856256 2430 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 2430 199 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=0.28 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 2979 0 0 0 28 0 0 0 20 0 2 0 288375850 85856256 2430 33554432000 4194304 5964318 140733446032784 139686945159512 4400336 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) 83844
[startup+0.700324 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2696
/proc/meminfo: memFree=26570580/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=0.69 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 7274 0 0 0 68 1 0 0 20 0 2 0 288375849 85856256 4028 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 4028 199 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=0.68 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 6495 0 0 0 67 1 0 0 20 0 2 0 288375850 85856256 4028 33554432000 4194304 5964318 140733446032784 139686945159512 4399824 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) 83844
[startup+1.50031 s]
/proc/loadavg: 2.06 2.02 2.00 2/176 2737
/proc/meminfo: memFree=27288212/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=1.49 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 13611 0 0 0 147 2 0 0 20 0 2 0 288375849 85856256 5861 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 5861 199 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=1.47 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 12832 0 0 0 145 2 0 0 20 0 2 0 288375850 85856256 5861 33554432000 4194304 5964318 140733446032784 139686945159704 4419083 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) 83844
[startup+3.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 2815
/proc/meminfo: memFree=27264276/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=3.09 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 22673 0 0 0 305 4 0 0 20 0 2 0 288375849 85856256 8316 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 8341 199 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=3.07 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 21931 0 0 0 303 4 0 0 20 0 2 0 288375850 85856256 8353 33554432000 4194304 5964318 140733446032784 139686945159512 5179779 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) 83844
[startup+6.30033 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 2893
/proc/meminfo: memFree=27231864/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=83844 CPUtime=6.28 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 42025 0 0 0 621 7 0 0 20 0 2 0 288375849 85856256 14451 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 20961 14451 199 433 0 20525 0
[pid=2696/tid=2697] ppid=2694 vsize=83844 CPUtime=6.26 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 41246 0 0 0 619 7 0 0 20 0 2 0 288375850 85856256 14451 33554432000 4194304 5964318 140733446032784 139686945159704 4373033 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83844
[startup+12.7003 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 2893
/proc/meminfo: memFree=27207716/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=149380 CPUtime=12.68 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 56640 0 0 0 1259 9 0 0 20 0 2 0 288375849 152965120 18421 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 37345 18421 199 433 0 36909 0
[pid=2696/tid=2697] ppid=2694 vsize=149380 CPUtime=12.64 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 55861 0 0 0 1255 9 0 0 20 0 2 0 288375850 152965120 18421 33554432000 4194304 5964318 140733446032784 139686945160008 4403468 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 149380
[startup+25.5003 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 2893
/proc/meminfo: memFree=27195264/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=149380 CPUtime=25.47 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 57306 0 0 0 2537 10 0 0 20 0 2 0 288375849 152965120 19071 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 37345 19071 199 433 0 36909 0
[pid=2696/tid=2697] ppid=2694 vsize=149380 CPUtime=25.39 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 56527 0 0 0 2530 9 0 0 20 0 2 0 288375850 152965120 19071 33554432000 4194304 5964318 140733446032784 139686945159704 4409178 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 149380
[startup+51.1003 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 2893
/proc/meminfo: memFree=27163256/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=149380 CPUtime=51.06 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 60237 0 0 0 5095 11 0 0 20 0 2 0 288375849 152965120 22694 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 37345 22694 199 433 0 36909 0
[pid=2696/tid=2697] ppid=2694 vsize=149380 CPUtime=50.92 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 59458 0 0 0 5081 11 0 0 20 0 2 0 288375850 152965120 22694 33554432000 4194304 5964318 140733446032784 139686945159160 4399856 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) 149380
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 2893
/proc/meminfo: memFree=27097660/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=149380 CPUtime=102.26 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 67644 0 0 0 10212 14 0 0 20 0 2 0 288375849 152965120 30099 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 37345 30099 199 433 0 36909 0
[pid=2696/tid=2697] ppid=2694 vsize=149380 CPUtime=102 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 66865 0 0 0 10185 15 0 0 20 0 2 0 288375850 152965120 30099 33554432000 4194304 5964318 140733446032784 139686945159160 4403452 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) 149380
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/180 2897
/proc/meminfo: memFree=26966576/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=280452 CPUtime=162.21 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 87758 0 0 0 16195 26 0 0 20 0 2 0 288375849 287182848 50685 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 70113 50685 199 433 0 69677 0
[pid=2696/tid=2697] ppid=2694 vsize=280452 CPUtime=161.8 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 86979 0 0 0 16152 28 0 0 20 0 2 0 288375850 287182848 50685 33554432000 4194304 5964318 140733446032784 139686945159160 4399723 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 280452
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 2897
/proc/meminfo: memFree=26934804/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=280452 CPUtime=222.18 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 91471 0 0 0 22189 29 0 0 20 0 2 0 288375849 287182848 54468 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 70113 54468 199 433 0 69677 0
[pid=2696/tid=2697] ppid=2694 vsize=280452 CPUtime=221.63 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 90692 0 0 0 22131 32 0 0 20 0 2 0 288375850 287182848 54468 33554432000 4194304 5964318 140733446032784 139686945159208 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 280452
[startup+282.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 2898
/proc/meminfo: memFree=26930824/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=280452 CPUtime=282.17 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 91599 0 0 0 28188 29 0 0 20 0 2 0 288375849 287182848 55101 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 70113 55101 199 433 0 69677 0
[pid=2696/tid=2697] ppid=2694 vsize=280452 CPUtime=281.47 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 90820 0 0 0 28114 33 0 0 20 0 2 0 288375850 287182848 55101 33554432000 4194304 5964318 140733446032784 139686945158968 4388728 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 280452
[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 2898
/proc/meminfo: memFree=26914624/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=280452 CPUtime=342.16 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 91603 0 0 0 34187 29 0 0 20 0 2 0 288375849 287182848 55157 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 70113 55157 199 433 0 69677 0
[pid=2696/tid=2697] ppid=2694 vsize=280452 CPUtime=341.31 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 90824 0 0 0 34097 34 0 0 20 0 2 0 288375850 287182848 55157 33554432000 4194304 5964318 140733446032784 139686945158968 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 280452
[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 2898
/proc/meminfo: memFree=26852800/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=280452 CPUtime=402.15 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 97265 0 0 0 40180 35 0 0 20 0 2 0 288375849 287182848 60917 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2909
/proc/meminfo: memFree=26455488/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=546244 CPUtime=1421.94 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 151693 0 0 0 142112 82 0 0 20 0 2 0 288375849 559353856 116518 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 136561 116518 199 433 0 136125 0
[pid=2696/tid=2697] ppid=2694 vsize=546244 CPUtime=1418.41 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 150914 0 0 0 141738 103 0 0 20 0 2 0 288375850 559353856 116518 33554432000 4194304 5964318 140733446032784 139686945159160 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 546244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2909
/proc/meminfo: memFree=26434164/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=546244 CPUtime=1481.92 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 156168 0 0 0 148106 86 0 0 20 0 2 0 288375849 559353856 120991 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 136561 120991 199 433 0 136125 0
[pid=2696/tid=2697] ppid=2694 vsize=546244 CPUtime=1478.24 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 155389 0 0 0 147716 108 0 0 20 0 2 0 288375850 559353856 120991 33554432000 4194304 5964318 140733446032784 139686945159032 4399845 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) 546244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2909
/proc/meminfo: memFree=26412812/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=546244 CPUtime=1541.9 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 160866 0 0 0 154099 91 0 0 20 0 2 0 288375849 559353856 126073 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 136561 126073 199 433 0 136125 0
[pid=2696/tid=2697] ppid=2694 vsize=546244 CPUtime=1538.08 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 160087 0 0 0 153694 114 0 0 20 0 2 0 288375850 559353856 126073 33554432000 4194304 5964318 140733446032784 139686945159160 4389064 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) 546244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2909
/proc/meminfo: memFree=26370904/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=611780 CPUtime=1601.88 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 167350 0 0 0 160089 99 0 0 20 0 2 0 288375849 626462720 133592 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152945 133592 199 433 0 152509 0
[pid=2696/tid=2697] ppid=2694 vsize=611780 CPUtime=1597.9 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 166571 0 0 0 159667 123 0 0 20 0 2 0 288375850 626462720 133592 33554432000 4194304 5964318 140733446032784 139686945159160 4399910 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 611780
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 2910
/proc/meminfo: memFree=26348520/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1661.87 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171933 0 0 0 166085 102 0 0 20 0 2 0 288375849 622727168 137784 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 137784 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1657.74 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171154 0 0 0 165647 127 0 0 20 0 2 0 288375850 622727168 137784 33554432000 4194304 5964318 140733446032784 139686945160120 4400483 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 608132
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2910
/proc/meminfo: memFree=26337180/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1721.86 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 172084 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1717.58 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 171630 128 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 608132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26296508/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1781.85 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 178083 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1777.43 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 177614 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4403551 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 608132
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 2910
/proc/meminfo: memFree=26289316/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1791.45 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179043 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1787.01 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 178572 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 608132
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26286960/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1794.65 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179363 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1790.2 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 178891 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4389064 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 608132
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26284592/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1797.85 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179683 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1793.38 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 179209 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4392600 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 608132
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26283724/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1798.65 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179763 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1794.18 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 179289 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4392797 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 608132
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26283228/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1799.05 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179803 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1794.59 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 179330 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4399914 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 608132
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26283228/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1799.45 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179843 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1794.98 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 179369 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4400512 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 608132
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2910
/proc/meminfo: memFree=26283228/32873648 swapFree=6336/6336
[pid=2696] ppid=2694 vsize=608132 CPUtime=1799.55 cores=1,3,5,7
/proc/2696/stat : 2696 (wbo1.71) S 2694 2696 32463 0 -1 4202496 171993 0 0 0 179853 102 0 0 20 0 2 0 288375849 622727168 134569 33554432000 4194304 5964318 140733446032784 140733446032304 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2696/statm: 152033 134569 199 433 0 151597 0
[pid=2696/tid=2697] ppid=2694 vsize=608132 CPUtime=1795.08 cores=1,3,5,7
/proc/2696/task/2697/stat : 2697 (wbo1.71) R 2694 2696 32463 0 -1 4202560 171214 0 0 0 179379 129 0 0 20 0 2 0 288375850 622727168 134569 33554432000 4194304 5964318 140733446032784 139686945160008 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 608132
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2696 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=801300
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=304801
# CPU time returned by wait4() is 1795.11
# while last known CPU time is 1799.55
#
# 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.55
CPU user time (s): 1798.53
CPU system time (s): 1.02
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 611780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.8
system time used= 1.3048
maximum resident set size= 554724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171995
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= 233
involuntary context switches= 1943
runsolver used 3.17552 second user time and 8.5367 second system time
The end