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-3712844-1338193358/watcher-3712844-1338193358 -o /tmp/evaluation-result-3712844-1338193358/solver-3712844-1338193358 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712844-1338193358.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.00 2.00 1.98 2/176 32557
/proc/meminfo: memFree=27127496/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83824 CPUtime=0 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 857 0 0 0 0 0 0 0 20 0 2 0 285463037 85835776 807 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20956 807 192 433 0 20520 0
[pid=32557/tid=32558] ppid=32555 vsize=83824 CPUtime=0 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 2 0 285463038 85835776 807 33554432000 4194304 5964318 140733855628464 140735986369336 5244199 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0718381 s]
/proc/loadavg: 2.00 2.00 1.98 2/176 32557
/proc/meminfo: memFree=27127496/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83824 CPUtime=0.06 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 1061 0 0 0 6 0 0 0 20 0 2 0 285463037 85835776 1011 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20956 1011 194 433 0 20520 0
[pid=32557/tid=32558] ppid=32555 vsize=83824 CPUtime=0.05 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 314 0 0 0 5 0 0 0 20 0 2 0 285463038 85835776 1011 33554432000 4194304 5964318 140733855628464 140735986369336 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83824
[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 1.98 2/176 32557
/proc/meminfo: memFree=27127496/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83824 CPUtime=0.09 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 1123 0 0 0 9 0 0 0 20 0 2 0 285463037 85835776 1073 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20956 1073 194 433 0 20520 0
[pid=32557/tid=32558] ppid=32555 vsize=83824 CPUtime=0.08 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 376 0 0 0 8 0 0 0 20 0 2 0 285463038 85835776 1073 33554432000 4194304 5964318 140733855628464 140735986369336 4399830 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) 83824
[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 1.98 2/176 32557
/proc/meminfo: memFree=27127496/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83824 CPUtime=0.29 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 1467 0 0 0 29 0 0 0 20 0 2 0 285463037 85835776 1417 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20956 1417 194 433 0 20520 0
[pid=32557/tid=32558] ppid=32555 vsize=83824 CPUtime=0.28 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 720 0 0 0 28 0 0 0 20 0 2 0 285463038 85835776 1417 33554432000 4194304 5964318 140733855628464 140735986369336 5244199 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) 83824
[startup+0.700253 s]
/proc/loadavg: 2.00 2.00 1.98 2/176 32557
/proc/meminfo: memFree=27127496/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83824 CPUtime=0.69 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 2108 0 0 0 69 0 0 0 20 0 2 0 285463037 85835776 2058 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20956 2058 194 433 0 20520 0
[pid=32557/tid=32558] ppid=32555 vsize=83824 CPUtime=0.68 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 1361 0 0 0 68 0 0 0 20 0 2 0 285463038 85835776 2058 33554432000 4194304 5964318 140733855628464 140266888591160 4388763 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) 83824
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 32559
/proc/meminfo: memFree=27118312/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83968 CPUtime=1.49 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 3008 0 0 0 149 0 0 0 20 0 2 0 285463037 85983232 2958 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20992 2958 194 433 0 20556 0
[pid=32557/tid=32558] ppid=32555 vsize=83968 CPUtime=1.48 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 2261 0 0 0 148 0 0 0 20 0 2 0 285463038 85983232 2958 33554432000 4194304 5964318 140733855628464 140266888591288 4399905 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) 83968
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 32559
/proc/meminfo: memFree=27116196/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83968 CPUtime=3.09 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 3141 0 0 0 309 0 0 0 20 0 2 0 285463037 85983232 3091 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20992 3091 194 433 0 20556 0
[pid=32557/tid=32558] ppid=32555 vsize=83968 CPUtime=3.07 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 2394 0 0 0 307 0 0 0 20 0 2 0 285463038 85983232 3091 33554432000 4194304 5964318 140733855628464 140266888591160 4220672 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) 83968
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 32559
/proc/meminfo: memFree=27113604/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83968 CPUtime=6.28 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 3757 0 0 0 628 0 0 0 20 0 2 0 285463037 85983232 3709 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20992 3709 194 433 0 20556 0
[pid=32557/tid=32558] ppid=32555 vsize=83968 CPUtime=6.26 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 3010 0 0 0 626 0 0 0 20 0 2 0 285463038 85983232 3709 33554432000 4194304 5964318 140733855628464 140266888591352 4399905 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) 83968
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 32559
/proc/meminfo: memFree=27109728/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=83968 CPUtime=12.69 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 4451 0 0 0 1268 1 0 0 20 0 2 0 285463037 85983232 4403 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 20992 4403 194 433 0 20556 0
[pid=32557/tid=32558] ppid=32555 vsize=83968 CPUtime=12.64 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 3704 0 0 0 1264 0 0 0 20 0 2 0 285463038 85983232 4403 33554432000 4194304 5964318 140733855628464 140266888591352 4220672 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) 83968
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 32559
/proc/meminfo: memFree=27098696/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=84472 CPUtime=25.48 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 6379 0 0 0 2547 1 0 0 20 0 2 0 285463037 86499328 7154 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 21118 7154 194 433 0 20682 0
[pid=32557/tid=32558] ppid=32555 vsize=84472 CPUtime=25.41 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 5632 0 0 0 2540 1 0 0 20 0 2 0 285463038 86499328 7154 33554432000 4194304 5964318 140733855628464 140266888591352 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) 84472
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 32560
/proc/meminfo: memFree=27081828/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=85444 CPUtime=51.08 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 8076 0 0 0 5106 2 0 0 20 0 2 0 285463037 87494656 8836 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 21361 8836 194 433 0 20925 0
[pid=32557/tid=32558] ppid=32555 vsize=85444 CPUtime=50.94 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 7329 0 0 0 5092 2 0 0 20 0 2 0 285463038 87494656 8836 33554432000 4194304 5964318 140733855628464 140266888591352 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85444
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 32560
/proc/meminfo: memFree=27058764/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=86884 CPUtime=102.28 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 10603 0 0 0 10225 3 0 0 20 0 2 0 285463037 88969216 11363 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 21721 11363 194 433 0 21285 0
[pid=32557/tid=32558] ppid=32555 vsize=86884 CPUtime=102.02 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 9856 0 0 0 10198 4 0 0 20 0 2 0 285463038 88969216 11363 33554432000 4194304 5964318 140733855628464 140266888591160 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 86884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 32560
/proc/meminfo: memFree=27042924/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=88844 CPUtime=162.25 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 12772 0 0 0 16221 4 0 0 20 0 2 0 285463037 90976256 13617 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 22211 13617 194 433 0 21775 0
[pid=32557/tid=32558] ppid=32555 vsize=88844 CPUtime=161.84 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 12025 0 0 0 16179 5 0 0 20 0 2 0 285463038 90976256 13617 33554432000 4194304 5964318 140733855628464 140266888591160 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 88844
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 32560
/proc/meminfo: memFree=27022800/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=90608 CPUtime=222.24 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 15470 0 0 0 22217 7 0 0 20 0 2 0 285463037 92782592 16307 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 22652 16307 194 433 0 22216 0
[pid=32557/tid=32558] ppid=32555 vsize=90608 CPUtime=221.68 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 14723 0 0 0 22158 10 0 0 20 0 2 0 285463038 92782592 16307 33554432000 4194304 5964318 140733855628464 140266888591352 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 90608
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 32560
/proc/meminfo: memFree=27020348/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=91544 CPUtime=282.23 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 16061 0 0 0 28216 7 0 0 20 0 2 0 285463037 93741056 16898 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 22886 16898 194 433 0 22450 0
[pid=32557/tid=32558] ppid=32555 vsize=91544 CPUtime=281.53 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 15314 0 0 0 28142 11 0 0 20 0 2 0 285463038 93741056 16898 33554432000 4194304 5964318 140733855628464 140266888591352 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 91544
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 32561
/proc/meminfo: memFree=26999200/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=93276 CPUtime=342.22 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 18745 0 0 0 34212 10 0 0 20 0 2 0 285463037 95514624 19576 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 23319 19576 194 433 0 22883 0
[pid=32557/tid=32558] ppid=32555 vsize=93276 CPUtime=341.37 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 17998 0 0 0 34122 15 0 0 20 0 2 0 285463038 95514624 19576 33554432000 4194304 5964318 140733855628464 140266888591160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 93276
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 32561
/proc/meminfo: memFree=26985172/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=159820 CPUtime=402.21 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 20995 0 0 0 40210 11 0 0 20 0 2 0 285463037 163655680 21839 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.99 3/179 32609
/proc/meminfo: memFree=26815772/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=249276 CPUtime=1422.03 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 45637 0 0 0 142168 35 0 0 20 0 2 0 285463037 255258624 46545 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 62319 46545 194 433 0 61883 0
[pid=32557/tid=32558] ppid=32555 vsize=249276 CPUtime=1418.51 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 44890 0 0 0 141795 56 0 0 20 0 2 0 285463038 255258624 46545 33554432000 4194304 5964318 140733855628464 140266888591400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 249276
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 32609
/proc/meminfo: memFree=26781528/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=249564 CPUtime=1482.02 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 49485 0 0 0 148164 38 0 0 20 0 2 0 285463037 255553536 50393 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 62391 50393 194 433 0 61955 0
[pid=32557/tid=32558] ppid=32555 vsize=249564 CPUtime=1478.35 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 48738 0 0 0 147776 59 0 0 20 0 2 0 285463038 255553536 50393 33554432000 4194304 5964318 140733855628464 140266888591352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 249564
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 32610
/proc/meminfo: memFree=26780816/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=249708 CPUtime=1542.01 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 49547 0 0 0 154163 38 0 0 20 0 2 0 285463037 255700992 50455 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 62427 50455 194 433 0 61991 0
[pid=32557/tid=32558] ppid=32555 vsize=249708 CPUtime=1538.19 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 48800 0 0 0 153759 60 0 0 20 0 2 0 285463038 255700992 50455 33554432000 4194304 5964318 140733855628464 140266888591160 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 249708
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 32610
/proc/meminfo: memFree=26781416/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=249924 CPUtime=1602 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 49583 0 0 0 160162 38 0 0 20 0 2 0 285463037 255922176 50491 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 62481 50491 194 433 0 62045 0
[pid=32557/tid=32558] ppid=32555 vsize=249924 CPUtime=1598.04 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 48836 0 0 0 159743 61 0 0 20 0 2 0 285463038 255922176 50491 33554432000 4194304 5964318 140733855628464 140266888591160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 249924
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 32613
/proc/meminfo: memFree=26780496/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=250300 CPUtime=1661.99 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 49669 0 0 0 166161 38 0 0 20 0 2 0 285463037 256307200 50577 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 62575 50577 194 433 0 62139 0
[pid=32557/tid=32558] ppid=32555 vsize=250300 CPUtime=1657.88 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 48922 0 0 0 165726 62 0 0 20 0 2 0 285463038 256307200 50577 33554432000 4194304 5964318 140733855628464 140266888591400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 250300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26712040/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=251216 CPUtime=1721.98 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 49871 0 0 0 172160 38 0 0 20 0 2 0 285463037 257245184 50772 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 62804 50772 194 433 0 62368 0
[pid=32557/tid=32558] ppid=32555 vsize=251216 CPUtime=1717.72 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49124 0 0 0 171708 64 0 0 20 0 2 0 285463038 257245184 50772 33554432000 4194304 5964318 140733855628464 140266888591400 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 251216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26699144/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252564 CPUtime=1781.96 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50387 0 0 0 178158 38 0 0 20 0 2 0 285463037 258625536 51288 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63141 51288 194 433 0 62705 0
[pid=32557/tid=32558] ppid=32555 vsize=252564 CPUtime=1777.56 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49640 0 0 0 177691 65 0 0 20 0 2 0 285463038 258625536 51288 33554432000 4194304 5964318 140733855628464 140266888591352 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 252564
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 32613
/proc/meminfo: memFree=26697648/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1791.56 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50564 0 0 0 179118 38 0 0 20 0 2 0 285463037 258899968 51465 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51465 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1787.14 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49817 0 0 0 178649 65 0 0 20 0 2 0 285463038 258899968 51465 33554432000 4194304 5964318 140733855628464 140266888591400 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 252832
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26697772/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1794.76 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50564 0 0 0 179438 38 0 0 20 0 2 0 285463037 258899968 51465 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51465 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1790.33 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49817 0 0 0 178968 65 0 0 20 0 2 0 285463038 258899968 51465 33554432000 4194304 5964318 140733855628464 140266888591400 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 252832
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26697508/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1797.96 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50572 0 0 0 179758 38 0 0 20 0 2 0 285463037 258899968 51473 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51473 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1793.52 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49825 0 0 0 179287 65 0 0 20 0 2 0 285463038 258899968 51473 33554432000 4194304 5964318 140733855628464 140266888591400 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 252832
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26697508/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1798.76 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50572 0 0 0 179838 38 0 0 20 0 2 0 285463037 258899968 51473 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51473 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1794.31 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49825 0 0 0 179366 65 0 0 20 0 2 0 285463038 258899968 51473 33554432000 4194304 5964318 140733855628464 140266888591160 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 252832
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26697632/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1799.16 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50572 0 0 0 179878 38 0 0 20 0 2 0 285463037 258899968 51473 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51473 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1794.72 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49825 0 0 0 179407 65 0 0 20 0 2 0 285463038 258899968 51473 33554432000 4194304 5964318 140733855628464 140266888591160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 252832
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26697632/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1799.56 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50572 0 0 0 179918 38 0 0 20 0 2 0 285463037 258899968 51473 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51473 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1795.11 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49825 0 0 0 179446 65 0 0 20 0 2 0 285463038 258899968 51473 33554432000 4194304 5964318 140733855628464 140266888591160 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 252832
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 32613
/proc/meminfo: memFree=26697632/32873648 swapFree=6336/6336
[pid=32557] ppid=32555 vsize=252832 CPUtime=1799.66 cores=1,3,5,7
/proc/32557/stat : 32557 (wbo1.71) S 32555 32557 32463 0 -1 4202496 50572 0 0 0 179928 38 0 0 20 0 2 0 285463037 258899968 51473 33554432000 4194304 5964318 140733855628464 140733855627984 4546589 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32557/statm: 63208 51473 194 433 0 62772 0
[pid=32557/tid=32558] ppid=32555 vsize=252832 CPUtime=1795.21 cores=1,3,5,7
/proc/32557/task/32558/stat : 32558 (wbo1.71) R 32555 32557 32463 0 -1 4202560 49825 0 0 0 179456 65 0 0 20 0 2 0 285463038 258899968 51473 33554432000 4194304 5964318 140733855628464 140266888591160 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 252832
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32557 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=578182
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=664898
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.66
#
# 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.66
CPU user time (s): 1799.28
CPU system time (s): 0.38
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 252832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 0.664898
maximum resident set size= 205904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50575
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= 84
involuntary context switches= 1851
runsolver used 2.73658 second user time and 7.08792 second system time
The end