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-3713143-1338216842/watcher-3713143-1338216842 -o /tmp/evaluation-result-3713143-1338216842/solver-3713143-1338216842 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713143-1338216842.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.99 3/177 2135
/proc/meminfo: memFree=26134744/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=3600 CPUtime=0 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) R 2133 2135 32463 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 287811508 3686400 335 33554432000 4194304 5964318 140735032288912 140735032288328 4361520 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 900 335 170 433 0 440 0
[startup+0.0766329 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2135
/proc/meminfo: memFree=26134744/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84288 CPUtime=0.07 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 1519 0 0 0 7 0 0 0 20 0 2 0 287811508 86310912 1448 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21072 1448 194 433 0 20636 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 84288
[startup+0.10017 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2135
/proc/meminfo: memFree=26134744/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84288 CPUtime=0.09 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 1597 0 0 0 9 0 0 0 20 0 2 0 287811508 86310912 1526 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21072 1526 194 433 0 20636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84288
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2135
/proc/meminfo: memFree=26134744/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84288 CPUtime=0.29 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 2137 0 0 0 29 0 0 0 20 0 2 0 287811508 86310912 2066 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21072 2066 194 433 0 20636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84288
[startup+0.700115 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 2135
/proc/meminfo: memFree=26134744/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84432 CPUtime=0.68 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 3380 0 0 0 68 0 0 0 20 0 2 0 287811508 86458368 3309 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21108 3309 194 433 0 20672 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84432
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=26118484/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84504 CPUtime=1.49 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 5879 0 0 0 148 1 0 0 20 0 2 0 287811508 86532096 5808 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21126 5808 194 433 0 20690 0
[pid=2135/tid=2137] ppid=2133 vsize=84504 CPUtime=1.47 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 4992 0 0 0 146 1 0 0 20 0 2 0 287811509 86532096 5808 33554432000 4194304 5964318 140735032288912 140643121149944 4399928 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84504
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=26105588/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84504 CPUtime=3.08 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 10470 0 0 0 306 2 0 0 20 0 2 0 287811508 86532096 10399 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21126 10399 194 433 0 20690 0
[pid=2135/tid=2137] ppid=2133 vsize=84504 CPUtime=3.06 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 9583 0 0 0 304 2 0 0 20 0 2 0 287811509 86532096 10399 33554432000 4194304 5964318 140735032288912 140643121149944 4403479 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84504
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=26071396/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=84504 CPUtime=6.28 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 17058 0 0 0 624 4 0 0 20 0 2 0 287811508 86532096 17000 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 21126 17000 194 433 0 20690 0
[pid=2135/tid=2137] ppid=2133 vsize=84504 CPUtime=6.25 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 16171 0 0 0 622 3 0 0 20 0 2 0 287811509 86532096 17000 33554432000 4194304 5964318 140735032288912 140643121149944 5136324 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84504
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=26022216/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=150148 CPUtime=12.68 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 28023 0 0 0 1261 7 0 0 20 0 2 0 287811508 153751552 27965 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 37537 27965 194 433 0 37101 0
[pid=2135/tid=2137] ppid=2133 vsize=150148 CPUtime=12.63 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 27136 0 0 0 1257 6 0 0 20 0 2 0 287811509 153751552 27965 33554432000 4194304 5964318 140735032288912 140643121149752 4388172 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150148
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=25975840/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=215684 CPUtime=25.47 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 39710 0 0 0 2538 9 0 0 20 0 2 0 287811508 220860416 39644 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 53921 39644 194 433 0 53485 0
[pid=2135/tid=2137] ppid=2133 vsize=215684 CPUtime=25.39 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 38823 0 0 0 2530 9 0 0 20 0 2 0 287811509 220860416 39644 33554432000 4194304 5964318 140735032288912 140643121149944 4388180 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 215684
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=25908720/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=281380 CPUtime=51.05 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 55747 0 0 0 5092 13 0 0 20 0 2 0 287811508 288133120 56359 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 70345 56359 194 433 0 69909 0
[pid=2135/tid=2137] ppid=2133 vsize=281380 CPUtime=50.92 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 54860 0 0 0 5079 13 0 0 20 0 2 0 287811509 288133120 56359 33554432000 4194304 5964318 140735032288912 140643121149944 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 281380
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 2137
/proc/meminfo: memFree=25836860/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=347156 CPUtime=102.25 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 73480 0 0 0 10206 19 0 0 20 0 2 0 287811508 355487744 74092 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 86789 74092 194 433 0 86353 0
[pid=2135/tid=2137] ppid=2133 vsize=347156 CPUtime=101.99 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 72593 0 0 0 10179 20 0 0 20 0 2 0 287811509 355487744 74092 33554432000 4194304 5964318 140735032288912 140643121149944 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 347156
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 2137
/proc/meminfo: memFree=25729504/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=478228 CPUtime=162.23 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 100223 0 0 0 16195 28 0 0 20 0 2 0 287811508 489705472 100835 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 119557 100835 194 433 0 119121 0
[pid=2135/tid=2137] ppid=2133 vsize=478228 CPUtime=161.83 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 99336 0 0 0 16153 30 0 0 20 0 2 0 287811509 489705472 100835 33554432000 4194304 5964318 140735032288912 140643121149944 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 478228
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2137
/proc/meminfo: memFree=25695060/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=478372 CPUtime=222.22 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 109040 0 0 0 22192 30 0 0 20 0 2 0 287811508 489852928 109652 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 119593 109652 194 433 0 119157 0
[pid=2135/tid=2137] ppid=2133 vsize=478372 CPUtime=221.68 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 108153 0 0 0 22135 33 0 0 20 0 2 0 287811509 489852928 109652 33554432000 4194304 5964318 140735032288912 140643121149944 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 478372
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 2176
/proc/meminfo: memFree=26701424/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=543908 CPUtime=282.21 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 131224 0 0 0 28185 36 0 0 20 0 2 0 287811508 556961792 131837 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 135977 131837 194 433 0 135541 0
[pid=2135/tid=2137] ppid=2133 vsize=543908 CPUtime=281.52 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 130337 0 0 0 28112 40 0 0 20 0 2 0 287811509 556961792 131837 33554432000 4194304 5964318 140735032288912 140643121149944 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 543908
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 2177
/proc/meminfo: memFree=26478152/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=543908 CPUtime=342.18 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 131271 0 0 0 34182 36 0 0 20 0 2 0 287811508 556961792 131864 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 135977 131864 194 433 0 135541 0
[pid=2135/tid=2137] ppid=2133 vsize=543908 CPUtime=341.34 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 130384 0 0 0 34093 41 0 0 20 0 2 0 287811509 556961792 131864 33554432000 4194304 5964318 140735032288912 140643121149944 4399995 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 543908
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 2180
/proc/meminfo: memFree=26381652/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=675124 CPUtime=402.15 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 152143 0 0 0 40170 45 0 0 20 0 2 0 287811508 691326976 152703 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 168781 152703 194 433 0 168345 0
[pid=2135/tid=2137] ppid=2133 vsize=675124 CPUtime=401.16 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 151256 0 0 0 40066 50 0 0 20 0 2 0 287811509 691326976 152703 33554432000 4194304 5964318 140735032288912 140643121149944 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 675124
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 2203
/proc/meminfo: memFree=26233160/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=675124 CPUtime=462.11 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 153103 0 0 0 46166 45 0 0 20 0 2 0 287811508 691326976 153624 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 168781 153624 194 433 0 168345 0
[pid=2135/tid=2137] ppid=2133 vsize=675124 CPUtime=460.98 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 152216 0 0 0 46046 52 0 0 20 0 2 0 287811509 691326976 153624 33554432000 4194304 5964318 140735032288912 140643121149944 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 675124
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2203
/proc/meminfo: memFree=26027116/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=807564 CPUtime=522.08 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193596 0 0 0 52151 57 0 0 20 0 2 0 287811508 826945536 193977 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201891 193977 194 433 0 201455 0
[pid=2135/tid=2137] ppid=2133 vsize=807564 CPUtime=520.8 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192709 0 0 0 52016 64 0 0 20 0 2 0 287811509 826945536 193977 33554432000 4194304 5964318 140735032288912 140643121149976 4400001 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 807564
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2204
/proc/meminfo: memFree=25973088/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=807564 CPUtime=582.06 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193613 0 0 0 58149 57 0 0 20 0 2 0 287811508 826945536 193978 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201891 193978 194 433 0 201455 0
[pid=2135/tid=2137] ppid=2133 vsize=807564 CPUtime=580.63 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192726 0 0 0 57998 65 0 0 20 0 2 0 287811509 826945536 193978 33554432000 4194304 5964318 140735032288912 140643121149976 4399971 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 807564
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=25971232/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=807564 CPUtime=642.06 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193619 0 0 0 64149 57 0 0 20 0 2 0 287811508 826945536 193981 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201891 193981 194 433 0 201455 0
[pid=2135/tid=2137] ppid=2133 vsize=807564 CPUtime=640.49 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192732 0 0 0 63983 66 0 0 20 0 2 0 287811509 826945536 193981 33554432000 4194304 5964318 140735032288912 140643121149976 4399971 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 807564
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=26066824/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=805184 CPUtime=702.04 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193624 0 0 0 70147 57 0 0 20 0 2 0 287811508 824508416 188966 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201296 188966 198 433 0 200860 0
[pid=2135/tid=2137] ppid=2133 vsize=805184 CPUtime=700.33 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192737 0 0 0 69966 67 0 0 20 0 2 0 287811509 824508416 188966 33554432000 4194304 5964318 140735032288912 140643121150904 4399824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 805184
############
# WARNING:
# current cumulated CPU time (701.04 s) is less than in the last sample (702.65 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.61005 s) to the 'lost time'.
[startup+702.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=26066824/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=805184 CPUtime=702.65 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193624 0 0 0 70208 57 0 0 20 0 2 0 287811508 824508416 188966 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201296 188966 198 433 0 200860 0
[pid=2135/tid=2137] ppid=2133 vsize=805184 CPUtime=700.93 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192737 0 0 0 70026 67 0 0 20 0 2 0 287811509 824508416 188966 33554432000 4194304 5964318 140735032288912 140643121150904 4391305 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.65
Current children cumulated vsize (KiB) 805184
[startup+703 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=26066824/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=0 CPUtime=701.04 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) R 2133 2135 32463 0 -1 4203524 193627 0 0 0 70036 68 0 0 20 0 1 0 287811508 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 701.04
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+702.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=26066824/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=805184 CPUtime=702.44 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193624 0 0 0 70187 57 0 0 20 0 2 0 287811508 824508416 188966 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201296 188966 198 433 0 200860 0
[pid=2135/tid=2137] ppid=2133 vsize=805184 CPUtime=700.73 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192737 0 0 0 70006 67 0 0 20 0 2 0 287811509 824508416 188966 33554432000 4194304 5964318 140735032288912 140643121150904 4400446 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.44
Current children cumulated vsize (KiB) 805184
[startup+702.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=26066824/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=805184 CPUtime=702.65 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) S 2133 2135 32463 0 -1 4202496 193624 0 0 0 70208 57 0 0 20 0 2 0 287811508 824508416 188966 33554432000 4194304 5964318 140735032288912 140735032288432 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 201296 188966 198 433 0 200860 0
[pid=2135/tid=2137] ppid=2133 vsize=805184 CPUtime=700.93 cores=1,3,5,7
/proc/2135/task/2137/stat : 2137 (wbo1.71) R 2133 2135 32463 0 -1 4202560 192737 0 0 0 70026 67 0 0 20 0 2 0 287811509 824508416 188966 33554432000 4194304 5964318 140735032288912 140643121150904 4391305 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 702.65
Current children cumulated vsize (KiB) 805184
[startup+703 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2205
/proc/meminfo: memFree=26066824/32873648 swapFree=6336/6336
[pid=2135] ppid=2133 vsize=0 CPUtime=701.04 cores=1,3,5,7
/proc/2135/stat : 2135 (wbo1.71) R 2133 2135 32463 0 -1 4203524 193627 0 0 0 70036 68 0 0 20 0 1 0 287811508 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 701.04
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.61005
# lost CPU user time (s): 1.72003
# lost CPU system time (s): -0.11
Real time (s): 703.014
CPU time (s): 702.669
CPU user time (s): 702.082
CPU system time (s): 0.587893
CPU usage (%): 99.951
Max. virtual memory (cumulated for all children) (KiB): 807564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 700.362
system time used= 0.697893
maximum resident set size= 776304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193627
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= 237
involuntary context switches= 1029
runsolver used 1.77573 second user time and 5.38418 second system time
The end