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-3712887-1338202551/watcher-3712887-1338202551 -o /tmp/evaluation-result-3712887-1338202551/solver-3712887-1338202551 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712887-1338202551.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 2.00 3/177 19316
/proc/meminfo: memFree=30093728/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=3396 CPUtime=0 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) R 19314 19316 18639 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 286381193 3477504 306 33554432000 4194304 5964318 140734404415344 140737283760936 4344563 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 849 306 170 433 0 390 0
[startup+0.0472331 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19316
/proc/meminfo: memFree=30093728/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84204 CPUtime=0.04 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 1291 0 0 0 4 0 0 0 20 0 2 0 286381193 86224896 1221 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21051 1221 194 433 0 20615 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84204
[startup+0.100156 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19316
/proc/meminfo: memFree=30093728/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84204 CPUtime=0.09 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 1463 0 0 0 9 0 0 0 20 0 2 0 286381193 86224896 1393 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21051 1393 194 433 0 20615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84204
[startup+0.300111 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19316
/proc/meminfo: memFree=30093728/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84204 CPUtime=0.29 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 1955 0 0 0 29 0 0 0 20 0 2 0 286381193 86224896 1885 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21051 1885 194 433 0 20615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84204
[startup+0.700117 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19316
/proc/meminfo: memFree=30093728/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84348 CPUtime=0.69 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 2518 0 0 0 69 0 0 0 20 0 2 0 286381193 86372352 2448 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21087 2448 194 433 0 20651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84348
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=30083180/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84348 CPUtime=1.48 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 3475 0 0 0 148 0 0 0 20 0 2 0 286381193 86372352 3405 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21087 3405 194 433 0 20651 0
[pid=19316/tid=19318] ppid=19314 vsize=84348 CPUtime=1.47 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 2617 0 0 0 147 0 0 0 20 0 2 0 286381194 86372352 3405 33554432000 4194304 5964318 140734404415344 139949325457400 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84348
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=30076212/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84420 CPUtime=3.09 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 6576 0 0 0 308 1 0 0 20 0 2 0 286381193 86446080 6506 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21105 6506 194 433 0 20669 0
[pid=19316/tid=19318] ppid=19314 vsize=84420 CPUtime=3.07 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 5718 0 0 0 307 0 0 0 20 0 2 0 286381194 86446080 6506 33554432000 4194304 5964318 140734404415344 139949325457400 5136324 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) 84420
[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=30055980/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=84420 CPUtime=6.28 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 10901 0 0 0 627 1 0 0 20 0 2 0 286381193 86446080 10831 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 21105 10831 194 433 0 20669 0
[pid=19316/tid=19318] ppid=19314 vsize=84420 CPUtime=6.28 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 10043 0 0 0 626 2 0 0 20 0 2 0 286381194 86446080 10831 33554432000 4194304 5964318 140734404415344 139949325457400 4400305 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) 84420
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=30030152/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=150064 CPUtime=12.68 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 17338 0 0 0 1265 3 0 0 20 0 2 0 286381193 153665536 17268 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 37516 17268 194 433 0 37080 0
[pid=19316/tid=19318] ppid=19314 vsize=150064 CPUtime=12.67 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 16480 0 0 0 1263 4 0 0 20 0 2 0 286381194 153665536 17268 33554432000 4194304 5964318 140734404415344 139949325457400 5136394 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) 150064
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=29978460/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=150224 CPUtime=25.48 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 29387 0 0 0 2541 7 0 0 20 0 2 0 286381193 153829376 29317 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 37556 29317 194 433 0 37120 0
[pid=19316/tid=19318] ppid=19314 vsize=150224 CPUtime=25.48 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 28529 0 0 0 2540 8 0 0 20 0 2 0 286381194 153829376 29317 33554432000 4194304 5964318 140734404415344 139949325457400 5136324 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) 150224
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=29918912/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=216000 CPUtime=51.07 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 43680 0 0 0 5096 11 0 0 20 0 2 0 286381193 221184000 43604 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 54000 43604 194 433 0 53564 0
[pid=19316/tid=19318] ppid=19314 vsize=216000 CPUtime=51.06 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 42822 0 0 0 5094 12 0 0 20 0 2 0 286381194 221184000 43604 33554432000 4194304 5964318 140734404415344 139949325457400 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 216000
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19318
/proc/meminfo: memFree=29833752/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=281536 CPUtime=102.24 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 62492 0 0 0 10208 16 0 0 20 0 2 0 286381193 288292864 61939 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 70384 61939 194 433 0 69948 0
[pid=19316/tid=19318] ppid=19314 vsize=281536 CPUtime=102.24 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 61634 0 0 0 10206 18 0 0 20 0 2 0 286381194 288292864 61939 33554432000 4194304 5964318 140734404415344 139949325457432 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 281536
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19319
/proc/meminfo: memFree=29761956/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=347648 CPUtime=162.2 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 79862 0 0 0 16198 22 0 0 20 0 2 0 286381193 355991552 78841 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 86912 78841 194 433 0 86476 0
[pid=19316/tid=19318] ppid=19314 vsize=347648 CPUtime=162.21 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 79004 0 0 0 16196 25 0 0 20 0 2 0 286381194 355991552 78841 33554432000 4194304 5964318 140734404415344 139949325457432 4399890 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 347648
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19319
/proc/meminfo: memFree=29623316/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=479224 CPUtime=222.19 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 105955 0 0 0 22189 30 0 0 20 0 2 0 286381193 490725376 104934 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 119806 104934 194 433 0 119370 0
[pid=19316/tid=19318] ppid=19314 vsize=479224 CPUtime=222.21 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 105097 0 0 0 22187 34 0 0 20 0 2 0 286381194 490725376 104934 33554432000 4194304 5964318 140734404415344 139949325457400 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 479224
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 19362
/proc/meminfo: memFree=29938636/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=479224 CPUtime=282.15 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 105988 0 0 0 28185 30 0 0 20 0 2 0 286381193 490725376 104951 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 119806 104951 194 433 0 119370 0
[pid=19316/tid=19318] ppid=19314 vsize=479224 CPUtime=282.19 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 105130 0 0 0 28184 35 0 0 20 0 2 0 286381194 490725376 104951 33554432000 4194304 5964318 140734404415344 139949325457400 4399890 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 479224
[startup+342.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/180 19385
/proc/meminfo: memFree=29818576/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=545804 CPUtime=342.12 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 122592 0 0 0 34176 36 0 0 20 0 2 0 286381193 558903296 121545 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 136451 121545 194 433 0 136015 0
[pid=19316/tid=19318] ppid=19314 vsize=545804 CPUtime=342.15 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 121734 0 0 0 34173 42 0 0 20 0 2 0 286381194 558903296 121545 33554432000 4194304 5964318 140734404415344 139949325457208 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 545804
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 19385
/proc/meminfo: memFree=29719920/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=611556 CPUtime=402.11 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 134992 0 0 0 40170 41 0 0 20 0 2 0 286381193 626233344 133939 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 152889 133939 194 433 0 152453 0
[pid=19316/tid=19318] ppid=19314 vsize=611556 CPUtime=402.15 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 134134 0 0 0 40167 48 0 0 20 0 2 0 286381194 626233344 133939 33554432000 4194304 5964318 140734404415344 139949325457400 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 611556
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19386
/proc/meminfo: memFree=29672676/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=611772 CPUtime=462.09 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 141985 0 0 0 46166 43 0 0 20 0 2 0 286381193 626454528 140932 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 152943 140932 194 433 0 152507 0
[pid=19316/tid=19318] ppid=19314 vsize=611772 CPUtime=462.15 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 141127 0 0 0 46164 51 0 0 20 0 2 0 286381194 626454528 140932 33554432000 4194304 5964318 140734404415344 139949325457400 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 611772
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 19386
/proc/meminfo: memFree=29535244/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=743492 CPUtime=522.09 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 170842 0 0 0 52155 54 0 0 20 0 2 0 286381193 761335808 169789 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 185873 169789 194 433 0 185437 0
[pid=19316/tid=19318] ppid=19314 vsize=743492 CPUtime=522.15 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 169984 0 0 0 52154 61 0 0 20 0 2 0 286381194 761335808 169789 33554432000 4194304 5964318 140734404415344 139949325457400 4400446 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 743492
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19386
/proc/meminfo: memFree=29486344/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=743492 CPUtime=582.08 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 170847 0 0 0 58154 54 0 0 20 0 2 0 286381193 761335808 169794 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 185873 169794 194 433 0 185437 0
[pid=19316/tid=19318] ppid=19314 vsize=743492 CPUtime=582.15 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 169989 0 0 0 58153 62 0 0 20 0 2 0 286381194 761335808 169794 33554432000 4194304 5964318 140734404415344 139949325457400 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 743492
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19386
/proc/meminfo: memFree=29454628/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=743492 CPUtime=642.08 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 170850 0 0 0 64154 54 0 0 20 0 2 0 286381193 761335808 169797 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 185873 169797 194 433 0 185437 0
[pid=19316/tid=19318] ppid=19314 vsize=743492 CPUtime=642.16 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 169992 0 0 0 64153 63 0 0 20 0 2 0 286381194 761335808 169797 33554432000 4194304 5964318 140734404415344 139949325457400 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 743492
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19386
/proc/meminfo: memFree=29450600/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=743492 CPUtime=702.06 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 170866 0 0 0 70152 54 0 0 20 0 2 0 286381193 761335808 169821 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 185873 169821 194 433 0 185437 0
[pid=19316/tid=19318] ppid=19314 vsize=743492 CPUtime=702.14 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 170008 0 0 0 70150 64 0 0 20 0 2 0 286381194 761335808 169821 33554432000 4194304 5964318 140734404415344 139949325457400 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 743492
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19387
/proc/meminfo: memFree=29411320/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=744140 CPUtime=762.02 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173867 0 0 0 76148 54 0 0 20 0 2 0 286381193 761999360 172796 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 186035 172796 194 433 0 185599 0
[pid=19316/tid=19318] ppid=19314 vsize=744140 CPUtime=762.12 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173009 0 0 0 76146 66 0 0 20 0 2 0 286381194 761999360 172796 33554432000 4194304 5964318 140734404415344 139949325457400 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 744140
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19387
/proc/meminfo: memFree=29415164/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=821.99 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 82145 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=822.09 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 82142 67 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 739564
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376772/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=881.98 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88144 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=882.09 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88141 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 739564
Solver just ended. Dumping a history of the last processes samples
[startup+883.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376772/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=882.78 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88224 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=882.89 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88221 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4400394 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 882.78
Current children cumulated vsize (KiB) 739564
[startup+886.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376524/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=885.98 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88544 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=886.09 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88541 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 885.98
Current children cumulated vsize (KiB) 739564
[startup+887.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376524/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=887.58 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88704 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=887.69 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88701 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4399993 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 887.58
Current children cumulated vsize (KiB) 739564
[startup+889.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376524/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=889.17 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88863 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=889.29 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88861 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 889.17
Current children cumulated vsize (KiB) 739564
[startup+889.906 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376276/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=889.58 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88904 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=889.7 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88902 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 889.58
Current children cumulated vsize (KiB) 739564
[startup+890.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19390
/proc/meminfo: memFree=29376276/32873648 swapFree=6860/6860
[pid=19316] ppid=19314 vsize=739564 CPUtime=889.97 cores=1,3,5,7
/proc/19316/stat : 19316 (wbo1.71) S 19314 19316 18639 0 -1 4202496 173932 0 0 0 88943 54 0 0 20 0 2 0 286381193 757313536 168957 33554432000 4194304 5964318 140734404415344 140734404414864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19316/statm: 184891 168957 198 433 0 184455 0
[pid=19316/tid=19318] ppid=19314 vsize=739564 CPUtime=890.09 cores=1,3,5,7
/proc/19316/task/19318/stat : 19318 (wbo1.71) R 19314 19316 18639 0 -1 4202560 173074 0 0 0 88941 68 0 0 20 0 2 0 286381194 757313536 168957 33554432000 4194304 5964318 140734404415344 139949325458360 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 889.97
Current children cumulated vsize (KiB) 739564
Child status: 255
Real time (s): 890.331
CPU time (s): 890.146
CPU user time (s): 889.452
CPU system time (s): 0.693894
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 744140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 889.452
system time used= 0.693894
maximum resident set size= 691292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173935
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= 261
involuntary context switches= 923
runsolver used 1.52677 second user time and 3.71143 second system time
The end