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-3461540-1307105025/watcher-3461540-1307105025 -o /tmp/evaluation-result-3461540-1307105025/solver-3461540-1307105025 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461540-1307105025.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: 2.00 2.03 2.00 3/535 10164
/proc/meminfo: memFree=25253652/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 802918785 1884160 208 33554432000 4194304 5714214 140735179559520 18446744073709551615 5161344 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 460 212 167 372 0 85 0
[startup+0.073631 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 10164
/proc/meminfo: memFree=25253652/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=2764 CPUtime=0.06 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 483 0 0 0 6 0 0 0 25 0 1 0 802918785 2830336 430 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 691 430 180 372 0 316 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2764
[startup+0.100626 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 10164
/proc/meminfo: memFree=25253652/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=2896 CPUtime=0.09 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 544 0 0 0 9 0 0 0 25 0 1 0 802918785 2965504 491 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 724 491 180 372 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896
[startup+0.300589 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 10164
/proc/meminfo: memFree=25253652/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=4616 CPUtime=0.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 940 0 0 0 28 0 0 0 25 0 1 0 802918785 4726784 887 33554432000 4194304 5714214 140735179559520 18446744073709551615 4329517 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 1154 887 180 372 0 779 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4616
[startup+0.70052 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 10164
/proc/meminfo: memFree=25253652/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=7216 CPUtime=0.68 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 1601 0 0 0 67 1 0 0 25 0 1 0 802918785 7389184 1548 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 1804 1548 180 372 0 1429 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7216
[startup+1.50037 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10165
/proc/meminfo: memFree=25226980/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=10744 CPUtime=1.48 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 2456 0 0 0 146 2 0 0 18 0 1 0 802918785 11001856 2403 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 2686 2403 180 372 0 2311 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10744
[startup+3.10109 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10165
/proc/meminfo: memFree=25217928/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=14524 CPUtime=3.09 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 3406 0 0 0 304 5 0 0 18 0 1 0 802918785 14872576 3325 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 3631 3325 180 372 0 3256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14524
[startup+6.30052 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10165
/proc/meminfo: memFree=25212032/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=15208 CPUtime=6.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 3618 0 0 0 619 10 0 0 19 0 1 0 802918785 15572992 3537 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 3802 3537 180 372 0 3427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15208
[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10165
/proc/meminfo: memFree=25167612/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=27316 CPUtime=12.69 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 6564 0 0 0 1253 16 0 0 25 0 1 0 802918785 27971584 6483 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 6829 6483 180 372 0 6454 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27316
[startup+25.5011 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10165
/proc/meminfo: memFree=25137444/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=43868 CPUtime=25.48 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 10626 0 0 0 2523 25 0 0 25 0 1 0 802918785 44920832 10545 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 10967 10545 180 372 0 10592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43868
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10166
/proc/meminfo: memFree=25067316/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=73480 CPUtime=51.09 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 17897 0 0 0 5063 46 0 0 25 0 1 0 802918785 75243520 17816 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10164/statm: 18370 17816 180 372 0 17995 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73480
[startup+102.32 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 10167
/proc/meminfo: memFree=24927156/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=121212 CPUtime=102.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 29544 0 0 0 10147 82 0 0 25 0 1 0 802918785 124121088 29463 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 30303 29463 180 372 0 29928 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 121212
[startup+162.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 10169
/proc/meminfo: memFree=24787980/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=172636 CPUtime=162.27 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 42267 0 0 0 16104 123 0 0 25 0 1 0 802918785 176779264 42186 33554432000 4194304 5714214 140735179559520 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 43159 42186 180 372 0 42784 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 172636
[startup+222.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 10171
/proc/meminfo: memFree=24648924/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=227644 CPUtime=222.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 55852 0 0 0 22066 162 0 0 25 0 1 0 802918785 233107456 55771 33554432000 4194304 5714214 140735179559520 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 56911 55771 180 372 0 56536 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 227644
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 10174
/proc/meminfo: memFree=24556356/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=275808 CPUtime=282.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 67796 0 0 0 28028 200 0 0 25 0 1 0 802918785 282427392 67715 33554432000 4194304 5714214 140735179559520 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 68952 67715 180 372 0 68577 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 275808
[startup+342.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 10177
/proc/meminfo: memFree=24410608/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=326424 CPUtime=342.27 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 80261 0 0 0 33993 234 0 0 25 0 1 0 802918785 334258176 80180 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 81606 80180 180 372 0 81231 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 326424
[startup+402.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 10178
/proc/meminfo: memFree=24360708/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=376716 CPUtime=402.27 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 92703 0 0 0 39962 265 0 0 25 0 1 0 802918785 385757184 92622 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 94179 92622 180 372 0 93804 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 376716
[startup+462.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 10181
/proc/meminfo: memFree=24190044/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=420428 CPUtime=462.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 103534 0 0 0 45934 294 0 0 25 0 1 0 802918785 430518272 103453 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 105107 103453 180 372 0 104732 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 420428
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10182
/proc/meminfo: memFree=24148948/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=461852 CPUtime=522.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 113787 0 0 0 51898 330 0 0 25 0 1 0 802918785 472936448 113706 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 115463 113706 180 372 0 115088 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 461852
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10184
/proc/meminfo: memFree=24070160/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=582.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 135506 0 0 0 57869 359 0 0 25 0 1 0 802918785 549879808 133143 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133143 180 372 0 133873 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 536992
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 10190
/proc/meminfo: memFree=24072428/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=822.28 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 135916 0 0 0 81742 486 0 0 25 0 1 0 802918785 549879808 133553 33554432000 4194304 5714214 140735179559520 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133553 180 372 0 133873 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 536992
[startup+882.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/536 10193
/proc/meminfo: memFree=24071280/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=882.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 135949 0 0 0 87717 512 0 0 25 0 1 0 802918785 549879808 133586 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133586 180 372 0 133873 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 536992
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 10195
/proc/meminfo: memFree=24071856/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=942.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 135999 0 0 0 93691 538 0 0 25 0 1 0 802918785 549879808 133636 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133636 180 372 0 133873 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 536992
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/536 10197
/proc/meminfo: memFree=24071928/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1002.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136028 0 0 0 99668 561 0 0 25 0 1 0 802918785 549879808 133665 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133665 180 372 0 133873 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 536992
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 10210
/proc/meminfo: memFree=24070360/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1062.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136084 0 0 0 105643 586 0 0 25 0 1 0 802918785 549879808 133721 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133721 180 372 0 133873 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 536992
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 10211
/proc/meminfo: memFree=24070196/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1122.3 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136093 0 0 0 111623 607 0 0 25 0 1 0 802918785 549879808 133730 33554432000 4194304 5714214 140735179559520 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133730 180 372 0 133873 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 536992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10213
/proc/meminfo: memFree=24069404/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1182.29 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136117 0 0 0 117599 630 0 0 25 0 1 0 802918785 549879808 133754 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133754 180 372 0 133873 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 536992
[startup+1242.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 10215
/proc/meminfo: memFree=24067748/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1242.3 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136171 0 0 0 123577 653 0 0 25 0 1 0 802918785 549879808 133808 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133808 180 372 0 133873 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 536992
[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 10216
/proc/meminfo: memFree=24067572/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1302.3 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136228 0 0 0 129558 672 0 0 25 0 1 0 802918785 549879808 133865 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133865 180 372 0 133873 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 536992
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 10218
/proc/meminfo: memFree=24067656/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1362.3 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136257 0 0 0 135534 696 0 0 25 0 1 0 802918785 549879808 133894 33554432000 4194304 5714214 140735179559520 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133894 180 372 0 133873 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 536992
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10219
/proc/meminfo: memFree=24069460/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=536992 CPUtime=1422.32 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 136326 0 0 0 141514 718 0 0 25 0 1 0 802918785 549879808 133963 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 134248 133963 180 372 0 133873 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 536992
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 10221
/proc/meminfo: memFree=24049192/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=556936 CPUtime=1482.31 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 141308 0 0 0 147484 747 0 0 25 0 1 0 802918785 570302464 138945 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 139234 138945 180 372 0 138859 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 556936
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 10223
/proc/meminfo: memFree=24019748/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=587280 CPUtime=1542.31 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 148798 0 0 0 153457 774 0 0 25 0 1 0 802918785 601374720 146435 33554432000 4194304 5714214 140735179559520 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 146820 146435 180 372 0 146445 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 587280
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 10224
/proc/meminfo: memFree=23983736/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=624612 CPUtime=1602.3 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 157974 0 0 0 159426 804 0 0 25 0 1 0 802918785 639602688 155611 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 156153 155611 180 372 0 155778 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 624612
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10226
/proc/meminfo: memFree=23946352/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=662008 CPUtime=1662.31 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 167255 0 0 0 165399 832 0 0 25 0 1 0 802918785 677896192 164892 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 165502 164892 180 372 0 165127 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 662008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10227
/proc/meminfo: memFree=23920500/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=687336 CPUtime=1722.32 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 173543 0 0 0 171377 855 0 0 25 0 1 0 802918785 703832064 171180 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 171834 171180 180 372 0 171459 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 687336
[startup+1782.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 10229
/proc/meminfo: memFree=23888944/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=717812 CPUtime=1782.32 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 181045 0 0 0 177351 881 0 0 25 0 1 0 802918785 735039488 178682 33554432000 4194304 5714214 140735179559520 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 179453 178682 180 372 0 179078 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 717812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.05 2.01 3/537 10231
/proc/meminfo: memFree=24367068/32951124 swapFree=46970528/67111528
[pid=10164] ppid=10162 vsize=731100 CPUtime=1800.02 cores=1,3,5,7
/proc/10164/stat : 10164 (wbo1.6) R 10162 10164 9437 0 -1 4202496 184351 0 0 0 179114 888 0 0 25 0 1 0 802918785 748646400 181988 33554432000 4194304 5714214 140735179559520 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10164/statm: 182775 181988 180 372 0 182400 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 731100
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.05
CPU time (s): 1800.07
CPU user time (s): 1791.16
CPU system time (s): 8.91464
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 731100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.16
system time used= 8.91464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184351
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= 7
involuntary context switches= 19595
runsolver used 9.44956 second user time and 21.4847 second system time
The end