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-3463161-1307178376/watcher-3463161-1307178376 -o /tmp/evaluation-result-3463161-1307178376/solver-3463161-1307178376 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463161-1307178376.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.00 2.02 2.00 2/429 2714
/proc/meminfo: memFree=27999460/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=11584 CPUtime=0 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 339 0 0 0 0 0 0 0 25 0 1 0 829438099 11862016 293 33554432000 134512640 137138936 4289112720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 2896 294 181 642 0 2089 0
[startup+0.02903 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2714
/proc/meminfo: memFree=27999460/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=13232 CPUtime=0.02 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 840 0 0 0 2 0 0 0 25 0 1 0 829438099 13549568 794 33554432000 134512640 137138936 4289112720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 3308 795 277 642 0 2501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13232
[startup+0.101048 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2714
/proc/meminfo: memFree=27999460/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=15668 CPUtime=0.09 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 1683 0 0 0 9 0 0 0 18 0 1 0 829438099 16044032 1474 33554432000 134512640 137138936 4289112720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 3917 1474 185 642 0 3273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15668
[startup+0.300995 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2714
/proc/meminfo: memFree=27999460/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=16508 CPUtime=0.29 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 2096 0 0 0 28 1 0 0 18 0 1 0 829438099 16904192 1700 33554432000 134512640 137138936 4289112720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 4127 1700 192 642 0 3483 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16508
[startup+0.700921 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2714
/proc/meminfo: memFree=27999460/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=21772 CPUtime=0.69 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 3393 0 0 0 68 1 0 0 18 0 1 0 829438099 22294528 2997 33554432000 134512640 137138936 4289112720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 5443 2997 192 642 0 4799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21772
[startup+1.50076 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2715
/proc/meminfo: memFree=27983828/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=31312 CPUtime=1.49 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 5799 0 0 0 147 2 0 0 19 0 1 0 829438099 32063488 5403 33554432000 134512640 137138936 4289112720 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 7828 5404 192 642 0 7184 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31312
[startup+3.10048 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2715
/proc/meminfo: memFree=27970560/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=48824 CPUtime=3.09 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 10168 0 0 0 307 2 0 0 25 0 1 0 829438099 49995776 9772 33554432000 134512640 137138936 4289112720 18446744073709551615 136505219 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 12206 9772 192 642 0 11562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48824
[startup+6.30089 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2715
/proc/meminfo: memFree=27939808/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=75912 CPUtime=6.29 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 16931 0 0 0 625 4 0 0 25 0 1 0 829438099 77733888 16535 33554432000 134512640 137138936 4289112720 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 18978 16535 192 642 0 18334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75912
[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2716
/proc/meminfo: memFree=27886412/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=126028 CPUtime=12.69 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 29473 0 0 0 1263 6 0 0 25 0 1 0 829438099 129052672 29077 33554432000 134512640 137138936 4289112720 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 31507 29078 192 642 0 30863 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126028
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2716
/proc/meminfo: memFree=27828364/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=179172 CPUtime=25.5 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 42755 0 0 0 2542 8 0 0 25 0 1 0 829438099 183472128 42359 33554432000 134512640 137138936 4289112720 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 44793 42359 192 642 0 44149 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 179172
[startup+51.1006 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2717
/proc/meminfo: memFree=27812380/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=195196 CPUtime=51.09 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 46763 0 0 0 5099 10 0 0 25 0 1 0 829438099 199880704 46367 33554432000 134512640 137138936 4289112720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 48799 46367 192 642 0 48155 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 195196
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2718
/proc/meminfo: memFree=27774540/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=232224 CPUtime=102.31 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 56025 0 0 0 10217 14 0 0 25 0 1 0 829438099 237797376 55629 33554432000 134512640 137138936 4289112720 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 58056 55629 192 642 0 57412 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 232224
[startup+162.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/430 2720
/proc/meminfo: memFree=27774124/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=232124 CPUtime=162.29 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 56025 0 0 0 16212 17 0 0 25 0 1 0 829438099 237694976 55607 33554432000 134512640 137138936 4289112720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 58031 55607 192 642 0 57387 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 232124
[startup+222.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 2721
/proc/meminfo: memFree=27774064/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=232196 CPUtime=222.29 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 56048 0 0 0 22209 20 0 0 25 0 1 0 829438099 237768704 55622 33554432000 134512640 137138936 4289112720 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 58049 55622 192 642 0 57405 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 232196
[startup+282.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2723
/proc/meminfo: memFree=27765828/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=242412 CPUtime=282.31 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 58602 0 0 0 28207 24 0 0 25 0 1 0 829438099 248229888 58176 33554432000 134512640 137138936 4289112720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 60603 58176 192 642 0 59959 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 242412
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2724
/proc/meminfo: memFree=27753124/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=253528 CPUtime=342.3 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 61385 0 0 0 34204 26 0 0 25 0 1 0 829438099 259612672 60926 33554432000 134512640 137138936 4289112720 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 63382 60926 192 642 0 62738 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 253528
[startup+402.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/430 2726
/proc/meminfo: memFree=27729512/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=276992 CPUtime=402.3 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 67288 0 0 0 40200 30 0 0 25 0 1 0 829438099 283639808 66793 33554432000 134512640 137138936 4289112720 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 69248 66793 192 642 0 68604 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 276992
[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/430 2728
/proc/meminfo: memFree=27729472/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=276992 CPUtime=462.31 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 67288 0 0 0 46198 33 0 0 25 0 1 0 829438099 283639808 66793 33554432000 134512640 137138936 4289112720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 69248 66793 192 642 0 68604 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 276992
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 2729
/proc/meminfo: memFree=27703996/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=302372 CPUtime=522.31 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 73683 0 0 0 52194 37 0 0 25 0 1 0 829438099 309628928 73149 33554432000 134512640 137138936 4289112720 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 75593 73149 192 642 0 74949 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 302372
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2731
/proc/meminfo: memFree=27704076/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=302372 CPUtime=582.31 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 73683 0 0 0 58192 39 0 0 25 0 1 0 829438099 309628928 73149 33554432000 134512640 137138936 4289112720 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 75593 73149 192 642 0 74949 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 302372
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28730292/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=298812 CPUtime=1062.33 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 73718 0 0 0 106171 62 0 0 25 0 1 0 829438099 305983488 72279 33554432000 134512640 137138936 4289112720 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 74703 72279 192 642 0 74059 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 298812
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2806
/proc/meminfo: memFree=28727528/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=298812 CPUtime=1122.33 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 73718 0 0 0 112169 64 0 0 25 0 1 0 829438099 305983488 72279 33554432000 134512640 137138936 4289112720 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 74703 72279 192 642 0 74059 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 298812
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2809
/proc/meminfo: memFree=28724124/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=302544 CPUtime=1182.33 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 74619 0 0 0 118166 67 0 0 25 0 1 0 829438099 309805056 73180 33554432000 134512640 137138936 4289112720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 75636 73180 192 642 0 74992 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 302544
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2810
/proc/meminfo: memFree=28722204/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=302360 CPUtime=1242.34 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 74619 0 0 0 124163 71 0 0 25 0 1 0 829438099 309616640 73166 33554432000 134512640 137138936 4289112720 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 75590 73166 192 642 0 74946 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 302360
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2812
/proc/meminfo: memFree=28721668/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=302360 CPUtime=1302.34 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 74619 0 0 0 130162 72 0 0 25 0 1 0 829438099 309616640 73166 33554432000 134512640 137138936 4289112720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 75590 73166 192 642 0 74946 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 302360
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/430 2814
/proc/meminfo: memFree=28723348/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=302360 CPUtime=1362.34 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 74619 0 0 0 136159 75 0 0 25 0 1 0 829438099 309616640 73166 33554432000 134512640 137138936 4289112720 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 75590 73166 192 642 0 74946 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 302360
[startup+1422.32 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 2815
/proc/meminfo: memFree=28705188/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=320808 CPUtime=1422.35 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 79209 0 0 0 142157 78 0 0 25 0 1 0 829438099 328507392 77756 33554432000 134512640 137138936 4289112720 18446744073709551615 136504256 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 80202 77756 192 642 0 79558 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 320808
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 2817
/proc/meminfo: memFree=28693980/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=329560 CPUtime=1482.34 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 81444 0 0 0 148153 81 0 0 25 0 1 0 829438099 337469440 79948 33554432000 134512640 137138936 4289112720 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 82390 79948 192 642 0 81746 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 329560
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/430 2818
/proc/meminfo: memFree=28693180/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=330488 CPUtime=1542.34 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 81662 0 0 0 154150 84 0 0 25 0 1 0 829438099 338419712 80166 33554432000 134512640 137138936 4289112720 18446744073709551615 134618113 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 82622 80166 192 642 0 81978 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 330488
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 2820
/proc/meminfo: memFree=28692768/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=330732 CPUtime=1602.34 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 81723 0 0 0 160147 87 0 0 25 0 1 0 829438099 338669568 80227 33554432000 134512640 137138936 4289112720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 82683 80227 192 642 0 82039 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 330732
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2822
/proc/meminfo: memFree=28691860/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=330732 CPUtime=1662.35 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 81738 0 0 0 166146 89 0 0 25 0 1 0 829438099 338669568 80242 33554432000 134512640 137138936 4289112720 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 82683 80242 192 642 0 82039 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 330732
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2823
/proc/meminfo: memFree=28691572/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=330732 CPUtime=1722.35 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 81738 0 0 0 172143 92 0 0 25 0 1 0 829438099 338669568 80242 33554432000 134512640 137138936 4289112720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 82683 80242 192 642 0 82039 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 330732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660272/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1782.35 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 178139 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 360864
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660272/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1785.55 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 178459 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 134551906 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 360864
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660148/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1791.97 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 179101 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 360864
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660264/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1795.15 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 179419 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 360864
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660140/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1796.75 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 179579 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 360864
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660140/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1797.55 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 179659 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 360864
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2825
/proc/meminfo: memFree=28660140/32951124 swapFree=43324008/67111528
[pid=2714] ppid=2712 vsize=360864 CPUtime=1797.95 cores=0,2,4,6
/proc/2714/stat : 2714 (bsolo) R 2712 2714 585 0 -1 4202496 89303 0 0 0 179699 96 0 0 25 0 1 0 829438099 369524736 87760 33554432000 134512640 137138936 4289112720 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2714/statm: 90216 87760 192 642 0 89572 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 360864
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.02
CPU user time (s): 1797.03
CPU system time (s): 0.98385
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 360864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 0.98385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89304
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= 6
involuntary context switches= 2962
runsolver used 7.93979 second user time and 16.5865 second system time
The end