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-3462373-1307184453/watcher-3462373-1307184453 -o /tmp/evaluation-result-3462373-1307184453/solver-3462373-1307184453 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462373-1307184453.opb
running on 4 cores: 0,2,4,6
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.07 2.04 2.01 3/558 9579
/proc/meminfo: memFree=27759300/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=11704 CPUtime=0 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 483 0 0 0 0 0 0 0 25 0 1 0 908675931 11984896 437 33554432000 134512640 137138936 4294510688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 2926 437 179 642 0 2262 0
[startup+0.117703 s]
/proc/loadavg: 2.07 2.04 2.01 3/558 9579
/proc/meminfo: memFree=27759300/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=0.11 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1132 0 0 0 11 0 0 0 25 0 1 0 908675931 14336000 1066 33554432000 134512640 137138936 4294510688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1066 185 642 0 2856 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 14000
[startup+0.200684 s]
/proc/loadavg: 2.07 2.04 2.01 3/558 9579
/proc/meminfo: memFree=27759300/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=0.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1132 0 0 0 19 0 0 0 25 0 1 0 908675931 14336000 1066 33554432000 134512640 137138936 4294510688 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1066 185 642 0 2856 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14000
[startup+0.300673 s]
/proc/loadavg: 2.07 2.04 2.01 3/558 9579
/proc/meminfo: memFree=27759300/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=0.29 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1132 0 0 0 29 0 0 0 25 0 1 0 908675931 14336000 1066 33554432000 134512640 137138936 4294510688 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1066 185 642 0 2856 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14000
[startup+0.7006 s]
/proc/loadavg: 2.07 2.04 2.01 3/558 9579
/proc/meminfo: memFree=27759300/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=0.69 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1133 0 0 0 69 0 0 0 25 0 1 0 908675931 14336000 1067 33554432000 134512640 137138936 4294510688 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1067 185 642 0 2856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14000
[startup+1.50047 s]
/proc/loadavg: 2.06 2.04 2.01 3/559 9580
/proc/meminfo: memFree=27754456/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=1.49 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1133 0 0 0 149 0 0 0 25 0 1 0 908675931 14336000 1067 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1067 185 642 0 2856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14000
[startup+3.10017 s]
/proc/loadavg: 2.06 2.04 2.01 3/559 9580
/proc/meminfo: memFree=27752716/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=3.09 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1133 0 0 0 309 0 0 0 25 0 1 0 908675931 14336000 1067 33554432000 134512640 137138936 4294510688 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1067 185 642 0 2856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14000
[startup+6.30066 s]
/proc/loadavg: 2.06 2.04 2.01 3/559 9580
/proc/meminfo: memFree=27751356/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=14000 CPUtime=6.29 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 1133 0 0 0 629 0 0 0 25 0 1 0 908675931 14336000 1067 33554432000 134512640 137138936 4294510688 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 3500 1067 185 642 0 2856 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14000
[startup+12.7006 s]
/proc/loadavg: 2.05 2.03 2.00 3/559 9580
/proc/meminfo: memFree=27738808/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=24224 CPUtime=12.69 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 3949 0 0 0 1265 4 0 0 25 0 1 0 908675931 24805376 3625 33554432000 134512640 137138936 4294510688 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 6056 3625 192 642 0 5412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24224
[startup+25.5005 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 9580
/proc/meminfo: memFree=27710408/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=46052 CPUtime=25.49 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 9409 0 0 0 2535 14 0 0 25 0 1 0 908675931 47157248 9085 33554432000 134512640 137138936 4294510688 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 11513 9085 192 642 0 10869 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46052
[startup+51.1012 s]
/proc/loadavg: 2.03 2.03 2.00 3/559 9582
/proc/meminfo: memFree=27673304/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=72292 CPUtime=51.09 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 15986 0 0 0 5085 24 0 0 25 0 1 0 908675931 74027008 15662 33554432000 134512640 137138936 4294510688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 18073 15662 192 642 0 17429 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72292
[startup+102.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/559 9582
/proc/meminfo: memFree=27611532/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=109592 CPUtime=102.3 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 25311 0 0 0 10193 37 0 0 25 0 1 0 908675931 112222208 24987 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 27398 24987 192 642 0 26754 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 109592
[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.00 3/559 9584
/proc/meminfo: memFree=27534616/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=159468 CPUtime=162.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 37762 0 0 0 16172 47 0 0 25 0 1 0 908675931 163295232 37438 33554432000 134512640 137138936 4294510688 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 39867 37438 192 642 0 39223 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 159468
[startup+222.322 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 9586
/proc/meminfo: memFree=27481868/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=201908 CPUtime=222.21 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 48387 0 0 0 22165 56 0 0 25 0 1 0 908675931 206753792 48063 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 50477 48063 192 642 0 49833 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 201908
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/559 9588
/proc/meminfo: memFree=27455164/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=229192 CPUtime=282.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 55207 0 0 0 28154 64 0 0 25 0 1 0 908675931 234692608 54883 33554432000 134512640 137138936 4294510688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 57298 54883 192 642 0 56654 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 229192
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9590
/proc/meminfo: memFree=27428456/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=255424 CPUtime=342.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 61765 0 0 0 34148 71 0 0 25 0 1 0 908675931 261554176 61441 33554432000 134512640 137138936 4294510688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 63856 61441 192 642 0 63212 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 255424
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9590
/proc/meminfo: memFree=27400516/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=284176 CPUtime=402.17 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 68937 0 0 0 40139 78 0 0 25 0 1 0 908675931 290996224 68613 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 71044 68613 192 642 0 70400 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 284176
[startup+462.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/559 9592
/proc/meminfo: memFree=27371080/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=313424 CPUtime=462.17 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 76257 0 0 0 46133 84 0 0 25 0 1 0 908675931 320946176 75933 33554432000 134512640 137138936 4294510688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 78356 75933 192 642 0 77712 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 313424
[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/559 9594
/proc/meminfo: memFree=27348972/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=335692 CPUtime=522.17 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 81830 0 0 0 52128 89 0 0 25 0 1 0 908675931 343748608 81506 33554432000 134512640 137138936 4294510688 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 83923 81506 192 642 0 83279 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 335692
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 9596
/proc/meminfo: memFree=27327104/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=357760 CPUtime=582.17 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 87335 0 0 0 58123 94 0 0 25 0 1 0 908675931 366346240 87011 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9579/statm: 89440 87011 192 642 0 88796 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 357760
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28191100/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=512852 CPUtime=1122.17 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 126122 0 0 0 112086 131 0 0 25 0 1 0 908675931 525160448 125798 33554432000 134512640 137138936 4294510688 18446744073709551615 136505666 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 128213 125798 192 642 0 127569 0
Current children cumulated CPU time (s) 1122.17
Current children cumulated vsize (KiB) 512852
[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/559 9787
/proc/meminfo: memFree=28177476/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=528016 CPUtime=1182.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 129902 0 0 0 118083 135 0 0 25 0 1 0 908675931 540688384 129578 33554432000 134512640 137138936 4294510688 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 132004 129578 192 642 0 131360 0
Current children cumulated CPU time (s) 1182.18
Current children cumulated vsize (KiB) 528016
[startup+1242.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/559 9789
/proc/meminfo: memFree=28161344/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=542524 CPUtime=1242.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 133539 0 0 0 124078 140 0 0 25 0 1 0 908675931 555544576 133215 33554432000 134512640 137138936 4294510688 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 135631 133215 192 642 0 134987 0
Current children cumulated CPU time (s) 1242.18
Current children cumulated vsize (KiB) 542524
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 9789
/proc/meminfo: memFree=28147552/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=557916 CPUtime=1302.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 137372 0 0 0 130074 144 0 0 25 0 1 0 908675931 571305984 137048 33554432000 134512640 137138936 4294510688 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 139479 137048 192 642 0 138835 0
Current children cumulated CPU time (s) 1302.18
Current children cumulated vsize (KiB) 557916
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/559 9791
/proc/meminfo: memFree=28129288/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=571704 CPUtime=1362.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 140834 0 0 0 136071 147 0 0 25 0 1 0 908675931 585424896 140510 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 142926 140510 192 642 0 142282 0
Current children cumulated CPU time (s) 1362.18
Current children cumulated vsize (KiB) 571704
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9793
/proc/meminfo: memFree=28108928/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=590336 CPUtime=1422.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 145480 0 0 0 142069 150 0 0 25 0 1 0 908675931 604504064 145156 33554432000 134512640 137138936 4294510688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 147584 145156 192 642 0 146940 0
Current children cumulated CPU time (s) 1422.19
Current children cumulated vsize (KiB) 590336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9795
/proc/meminfo: memFree=28089792/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=604464 CPUtime=1482.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 149023 0 0 0 148065 153 0 0 25 0 1 0 908675931 618971136 148699 33554432000 134512640 137138936 4294510688 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 151116 148699 192 642 0 150472 0
Current children cumulated CPU time (s) 1482.18
Current children cumulated vsize (KiB) 604464
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9797
/proc/meminfo: memFree=28071040/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=618052 CPUtime=1542.2 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 152414 0 0 0 154064 156 0 0 25 0 1 0 908675931 632885248 152090 33554432000 134512640 137138936 4294510688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 154513 152090 192 642 0 153869 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 618052
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/559 9797
/proc/meminfo: memFree=28055772/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=630376 CPUtime=1602.18 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 155488 0 0 0 160058 160 0 0 25 0 1 0 908675931 645505024 155164 33554432000 134512640 137138936 4294510688 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 157594 155164 192 642 0 156950 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 630376
[startup+1662.3 s]
/proc/loadavg: 2.26 2.10 2.03 3/559 9799
/proc/meminfo: memFree=28041848/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=642296 CPUtime=1662.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 158481 0 0 0 166056 163 0 0 25 0 1 0 908675931 657711104 158157 33554432000 134512640 137138936 4294510688 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 160574 158157 192 642 0 159930 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 642296
[startup+1722.3 s]
/proc/loadavg: 2.21 2.11 2.03 4/559 9801
/proc/meminfo: memFree=28031516/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=653024 CPUtime=1722.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 161153 0 0 0 172054 165 0 0 25 0 1 0 908675931 668696576 160829 33554432000 134512640 137138936 4294510688 18446744073709551615 134542941 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 163256 160829 192 642 0 162612 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 653024
[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/559 9803
/proc/meminfo: memFree=28016476/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=662664 CPUtime=1782.19 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 163561 0 0 0 178052 167 0 0 25 0 1 0 908675931 678567936 163237 33554432000 134512640 137138936 4294510688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 165666 163237 192 642 0 165022 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 662664
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.07 2.09 2.03 3/559 9803
/proc/meminfo: memFree=28019824/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=663096 CPUtime=1785.48 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 163680 0 0 0 178381 167 0 0 25 0 1 0 908675931 679010304 163356 33554432000 134512640 137138936 4294510688 18446744073709551615 136500257 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 165774 163356 192 642 0 165130 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 663096
[startup+1792.02 s]
/proc/loadavg: 2.06 2.09 2.03 3/559 9803
/proc/meminfo: memFree=28017084/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=664096 CPUtime=1791.9 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 163917 0 0 0 179023 167 0 0 25 0 1 0 908675931 680034304 163593 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 166024 163593 192 642 0 165380 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 664096
[startup+1795.2 s]
/proc/loadavg: 2.06 2.09 2.03 3/559 9803
/proc/meminfo: memFree=28015968/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=664556 CPUtime=1795.1 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 164032 0 0 0 179342 168 0 0 25 0 1 0 908675931 680505344 163708 33554432000 134512640 137138936 4294510688 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 166139 163708 192 642 0 165495 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 664556
[startup+1796.8 s]
/proc/loadavg: 2.06 2.08 2.02 3/559 9803
/proc/meminfo: memFree=28015960/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=664780 CPUtime=1796.69 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 164093 0 0 0 179501 168 0 0 25 0 1 0 908675931 680734720 163769 33554432000 134512640 137138936 4294510688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 166195 163769 192 642 0 165551 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 664780
[startup+1797.6 s]
/proc/loadavg: 2.06 2.08 2.02 3/559 9803
/proc/meminfo: memFree=28017820/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=664964 CPUtime=1797.49 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 164135 0 0 0 179581 168 0 0 25 0 1 0 908675931 680923136 163811 33554432000 134512640 137138936 4294510688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 166241 163811 192 642 0 165597 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 664964
[startup+1798 s]
/proc/loadavg: 2.06 2.08 2.02 3/559 9803
/proc/meminfo: memFree=28017820/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=665080 CPUtime=1797.89 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 164163 0 0 0 179621 168 0 0 25 0 1 0 908675931 681041920 163839 33554432000 134512640 137138936 4294510688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 166270 163839 192 642 0 165626 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 665080
[startup+1798.1 s]
/proc/loadavg: 2.06 2.08 2.02 3/559 9803
/proc/meminfo: memFree=28017820/32951124 swapFree=34426104/67111528
[pid=9579] ppid=9577 vsize=665080 CPUtime=1797.99 cores=0,2,4,6
/proc/9579/stat : 9579 (bsolo) R 9577 9579 7463 0 -1 4202496 164163 0 0 0 179631 168 0 0 25 0 1 0 908675931 681041920 163839 33554432000 134512640 137138936 4294510688 18446744073709551615 134542912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9579/statm: 166270 163839 192 642 0 165626 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 665080
Child status: 0
Real time (s): 1798.15
CPU time (s): 1798.04
CPU user time (s): 1796.33
CPU system time (s): 1.71274
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 665080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.33
system time used= 1.71274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164163
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= 5
involuntary context switches= 1526
runsolver used 10.8613 second user time and 22.7605 second system time
The end