runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3461732-1307120887/watcher-3461732-1307120887 -o /tmp/evaluation-result-3461732-1307120887/solver-3461732-1307120887 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461732-1307120887.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.98 1.90 1/486 12879
/proc/meminfo: memFree=21494868/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=11164 CPUtime=0 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 558 0 0 0 0 0 0 0 21 0 1 0 556280003 11431936 512 33554432000 4194304 5714214 140733845170304 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 2791 513 180 372 0 399 0
[startup+0.0290809 s]
/proc/loadavg: 1.84 1.98 1.90 1/486 12879
/proc/meminfo: memFree=21494868/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=15756 CPUtime=0.02 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 1681 0 0 0 2 0 0 0 21 0 1 0 556280003 16134144 1635 33554432000 4194304 5714214 140733845170304 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 3939 1635 255 372 0 1547 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15756
[startup+0.101068 s]
/proc/loadavg: 1.84 1.98 1.90 1/486 12879
/proc/meminfo: memFree=21494868/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=24876 CPUtime=0.09 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 4185 0 0 0 9 0 0 0 21 0 1 0 556280003 25473024 3992 33554432000 4194304 5714214 140733845170304 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 6219 3992 500 372 0 3827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24876
[startup+0.301024 s]
/proc/loadavg: 1.84 1.98 1.90 1/486 12879
/proc/meminfo: memFree=21494868/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=33140 CPUtime=0.29 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 6943 0 0 0 29 0 0 0 22 0 1 0 556280003 33935360 6621 33554432000 4194304 5714214 140733845170304 18446744073709551615 4233632 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 8285 6621 1168 372 0 5893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33140
[startup+0.700954 s]
/proc/loadavg: 1.84 1.98 1.90 1/486 12879
/proc/meminfo: memFree=21494868/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=83352 CPUtime=0.69 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 22126 0 0 0 68 1 0 0 18 0 1 0 556280003 85352448 19521 33554432000 4194304 5714214 140733845170304 18446744073709551615 4207472 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 20838 19522 172 372 0 20463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83352
[startup+1.50081 s]
/proc/loadavg: 1.84 1.98 1.90 3/489 12907
/proc/meminfo: memFree=21374644/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=101468 CPUtime=1.49 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 31115 0 0 0 146 3 0 0 18 0 1 0 556280003 103903232 24491 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 25367 24491 180 372 0 24992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101468
[startup+3.10054 s]
/proc/loadavg: 1.84 1.98 1.90 3/486 12910
/proc/meminfo: memFree=21387440/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=110224 CPUtime=3.1 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 33285 0 0 0 305 5 0 0 22 0 1 0 556280003 112869376 26661 33554432000 4194304 5714214 140733845170304 18446744073709551615 4322807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 27556 26661 180 372 0 27181 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 110224
[startup+6.30097 s]
/proc/loadavg: 1.85 1.98 1.90 3/489 12934
/proc/meminfo: memFree=21271144/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=110224 CPUtime=6.29 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 33285 0 0 0 622 7 0 0 19 0 1 0 556280003 112869376 26661 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 27556 26661 180 372 0 27181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110224
[startup+12.7008 s]
/proc/loadavg: 1.86 1.98 1.90 3/489 12989
/proc/meminfo: memFree=21342676/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=110224 CPUtime=12.69 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 33285 0 0 0 1259 10 0 0 25 0 1 0 556280003 112869376 26661 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 27556 26661 180 372 0 27181 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 110224
[startup+25.5006 s]
/proc/loadavg: 1.97 2.00 1.90 3/489 13016
/proc/meminfo: memFree=21251500/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=113416 CPUtime=25.49 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 34535 0 0 0 2532 17 0 0 25 0 1 0 556280003 116137984 27911 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 28354 27911 180 372 0 27979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113416
[startup+51.1011 s]
/proc/loadavg: 1.98 2.00 1.91 3/489 13017
/proc/meminfo: memFree=21226332/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=135152 CPUtime=51.09 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 39947 0 0 0 5081 28 0 0 25 0 1 0 556280003 138395648 33323 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 33788 33323 180 372 0 33413 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 135152
[startup+102.318 s]
/proc/loadavg: 1.99 2.00 1.91 3/489 13018
/proc/meminfo: memFree=21187128/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=166556 CPUtime=102.31 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 47720 0 0 0 10188 43 0 0 25 0 1 0 556280003 170553344 41096 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 41639 41096 180 372 0 41264 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 166556
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/489 13019
/proc/meminfo: memFree=21152120/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=196208 CPUtime=162.3 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 54937 0 0 0 16155 75 0 0 25 0 1 0 556280003 200916992 48313 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 49052 48313 180 372 0 48677 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 196208
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/489 13021
/proc/meminfo: memFree=21138208/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=196208 CPUtime=222.3 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 54999 0 0 0 22140 90 0 0 25 0 1 0 556280003 200916992 48375 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 49052 48375 180 372 0 48677 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 196208
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/489 13023
/proc/meminfo: memFree=21107896/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=210368 CPUtime=282.3 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 58503 0 0 0 28127 103 0 0 25 0 1 0 556280003 215416832 51879 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 52592 51879 180 372 0 52217 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 210368
[startup+342.301 s]
/proc/loadavg: 2.12 2.03 1.92 3/489 13024
/proc/meminfo: memFree=21081572/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=237076 CPUtime=342.3 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 64880 0 0 0 34112 118 0 0 25 0 1 0 556280003 242765824 58256 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 59269 58256 180 372 0 58894 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 237076
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 1.93 3/489 13026
/proc/meminfo: memFree=21059096/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=259980 CPUtime=402.31 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 70661 0 0 0 40100 131 0 0 25 0 1 0 556280003 266219520 64037 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 64995 64037 180 372 0 64620 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 259980
[startup+462.301 s]
/proc/loadavg: 2.04 2.03 1.93 3/489 13027
/proc/meminfo: memFree=21012056/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=279132 CPUtime=462.3 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 75455 0 0 0 46089 141 0 0 25 0 1 0 556280003 285831168 68831 33554432000 4194304 5714214 140733845170304 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 69783 68831 180 372 0 69408 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 279132
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 1.93 3/489 13029
/proc/meminfo: memFree=21008176/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=283224 CPUtime=522.3 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 76475 0 0 0 52067 163 0 0 25 0 1 0 556280003 290021376 69851 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 70806 69851 180 372 0 70431 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 283224
[startup+582.3 s]
/proc/loadavg: 2.15 2.06 1.94 3/489 13031
/proc/meminfo: memFree=21007512/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=283764 CPUtime=582.31 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 76594 0 0 0 58052 179 0 0 25 0 1 0 556280003 290574336 69970 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 70941 69970 180 372 0 70566 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 283764
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/489 13037
/proc/meminfo: memFree=20935792/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=314260 CPUtime=822.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 84125 0 0 0 82006 226 0 0 25 0 1 0 556280003 321802240 77501 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 78565 77501 180 372 0 78190 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 314260
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/489 13039
/proc/meminfo: memFree=20919384/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=329384 CPUtime=882.31 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 87899 0 0 0 87996 235 0 0 25 0 1 0 556280003 337289216 81275 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 82346 81275 180 372 0 81971 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 329384
[startup+942.301 s]
/proc/loadavg: 2.11 2.04 1.95 3/489 13040
/proc/meminfo: memFree=20903728/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=345552 CPUtime=942.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 91981 0 0 0 93985 247 0 0 25 0 1 0 556280003 353845248 85357 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 86388 85357 180 372 0 86013 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 345552
[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 1.95 3/489 13042
/proc/meminfo: memFree=20889552/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=361228 CPUtime=1002.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 95470 0 0 0 99975 257 0 0 25 0 1 0 556280003 369897472 88846 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 90307 88846 180 372 0 89932 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 361228
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/489 13043
/proc/meminfo: memFree=20879704/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=370956 CPUtime=1062.31 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 97886 0 0 0 105963 268 0 0 25 0 1 0 556280003 379858944 91262 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 92739 91262 180 372 0 92364 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 370956
[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 1.96 3/489 13045
/proc/meminfo: memFree=20878928/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=371632 CPUtime=1122.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 98034 0 0 0 111947 285 0 0 25 0 1 0 556280003 380551168 91410 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 92908 91410 180 372 0 92533 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 371632
[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 1.97 3/489 13047
/proc/meminfo: memFree=20877892/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=372084 CPUtime=1182.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 98131 0 0 0 117936 296 0 0 25 0 1 0 556280003 381014016 91507 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 93021 91507 180 372 0 92646 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 372084
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/489 13048
/proc/meminfo: memFree=20872652/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=372528 CPUtime=1242.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 98252 0 0 0 123925 307 0 0 25 0 1 0 556280003 381468672 91628 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 93132 91628 180 372 0 92757 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 372528
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/489 13050
/proc/meminfo: memFree=20864192/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=373196 CPUtime=1302.33 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 98399 0 0 0 129917 316 0 0 25 0 1 0 556280003 382152704 91775 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 93299 91775 180 372 0 92924 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 373196
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/489 13051
/proc/meminfo: memFree=20864404/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=376088 CPUtime=1362.32 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 99120 0 0 0 135906 326 0 0 25 0 1 0 556280003 385114112 92496 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 94022 92496 180 372 0 93647 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 376088
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.97 3/489 13053
/proc/meminfo: memFree=20858300/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=381848 CPUtime=1422.34 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 100485 0 0 0 141899 335 0 0 25 0 1 0 556280003 391012352 93861 33554432000 4194304 5714214 140733845170304 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 95462 93861 180 372 0 95087 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 381848
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 1.98 3/489 13055
/proc/meminfo: memFree=20844384/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=393528 CPUtime=1482.33 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 103387 0 0 0 147887 346 0 0 25 0 1 0 556280003 402972672 96763 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 98382 96763 180 372 0 98007 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 393528
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 1.98 3/489 13056
/proc/meminfo: memFree=20812364/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=411584 CPUtime=1542.33 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 107893 0 0 0 153877 356 0 0 25 0 1 0 556280003 421462016 101269 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 102896 101269 180 372 0 102521 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 411584
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/489 13058
/proc/meminfo: memFree=20793964/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=429556 CPUtime=1602.33 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 112340 0 0 0 159864 369 0 0 25 0 1 0 556280003 439865344 105716 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 107389 105716 180 372 0 107014 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 429556
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.00 3/489 13059
/proc/meminfo: memFree=20778808/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=444992 CPUtime=1662.34 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 116156 0 0 0 165855 379 0 0 25 0 1 0 556280003 455671808 109532 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 111248 109532 180 372 0 110873 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 444992
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/489 13061
/proc/meminfo: memFree=20765260/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=458400 CPUtime=1722.33 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 119568 0 0 0 171847 386 0 0 25 0 1 0 556280003 469401600 112944 33554432000 4194304 5714214 140733845170304 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 114600 112944 180 372 0 114225 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 458400
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/489 13063
/proc/meminfo: memFree=20756432/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=465484 CPUtime=1782.34 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 121322 0 0 0 177835 399 0 0 25 0 1 0 556280003 476655616 114698 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 116371 114698 180 372 0 115996 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 465484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 13063
/proc/meminfo: memFree=20756432/32951124 swapFree=46575304/67111528
[pid=12879] ppid=12877 vsize=465780 CPUtime=1800.05 cores=1,3,5,7
/proc/12879/stat : 12879 (wbo1.6) R 12877 12879 5006 0 -1 4202496 121372 0 0 0 179601 404 0 0 25 0 1 0 556280003 476958720 114748 33554432000 4194304 5714214 140733845170304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/12879/statm: 116445 114748 180 372 0 116070 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 465780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1796.02
CPU system time (s): 4.06038
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 465780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.02
system time used= 4.06038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121372
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= 8
involuntary context switches= 1480
runsolver used 8.15976 second user time and 20.2019 second system time
The end