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-3478962-1307443977/watcher-3478962-1307443977 -o /tmp/evaluation-result-3478962-1307443977/solver-3478962-1307443977 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3478962-1307443977.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.02 2.00 2/517 11554
/proc/meminfo: memFree=21159584/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=19448 CPUtime=0 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 417 0 0 0 0 0 0 0 21 0 1 0 855994419 19914752 371 33554432000 134512640 137138936 4289402208 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 4862 372 204 642 0 2157 0
[startup+0.0796561 s]
/proc/loadavg: 2.00 2.02 2.00 2/517 11554
/proc/meminfo: memFree=21159584/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=22856 CPUtime=0.07 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 1553 0 0 0 7 0 0 0 21 0 1 0 855994419 23404544 1507 33554432000 134512640 137138936 4289402208 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 5714 1507 474 642 0 3009 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22856
[startup+0.100656 s]
/proc/loadavg: 2.00 2.02 2.00 2/517 11554
/proc/meminfo: memFree=21159584/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=23948 CPUtime=0.09 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 1893 0 0 0 9 0 0 0 21 0 1 0 855994419 24522752 1847 33554432000 134512640 137138936 4289402208 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 5987 1848 559 642 0 3282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23948
[startup+0.300611 s]
/proc/loadavg: 2.00 2.02 2.00 2/517 11554
/proc/meminfo: memFree=21159584/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=33224 CPUtime=0.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 4975 0 0 0 29 0 0 0 22 0 1 0 855994419 34021376 4929 33554432000 134512640 137138936 4289402208 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 8306 4930 1328 642 0 5601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33224
[startup+0.700544 s]
/proc/loadavg: 2.00 2.02 2.00 2/517 11554
/proc/meminfo: memFree=21159584/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=46500 CPUtime=0.69 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 11278 0 0 0 67 2 0 0 23 0 1 0 855994419 47616000 9171 33554432000 134512640 137138936 4289402208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 11625 9171 184 642 0 10981 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46500
[startup+1.50038 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11555
/proc/meminfo: memFree=21112208/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=56752 CPUtime=1.49 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 13836 0 0 0 144 5 0 0 25 0 1 0 855994419 58114048 11729 33554432000 134512640 137138936 4289402208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 14188 11729 186 642 0 13544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56752
[startup+3.10106 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11555
/proc/meminfo: memFree=21110996/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=56752 CPUtime=3.09 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 13839 0 0 0 298 11 0 0 25 0 1 0 855994419 58114048 11732 33554432000 134512640 137138936 4289402208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 14188 11732 186 642 0 13544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56752
[startup+6.30043 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11555
/proc/meminfo: memFree=21110504/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=56752 CPUtime=6.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 13843 0 0 0 611 18 0 0 25 0 1 0 855994419 58114048 11736 33554432000 134512640 137138936 4289402208 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 14188 11736 186 642 0 13544 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56752
[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11556
/proc/meminfo: memFree=21109724/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=55704 CPUtime=12.69 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 13854 0 0 0 1206 63 0 0 25 0 1 0 855994419 57040896 11488 33554432000 134512640 137138936 4289402208 18446744073709551615 136500266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 13926 11488 192 642 0 13282 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55704
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11556
/proc/meminfo: memFree=21107212/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=58352 CPUtime=25.49 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 14486 0 0 0 2428 121 0 0 25 0 1 0 855994419 59752448 12120 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11554/statm: 14588 12120 192 642 0 13944 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58352
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11557
/proc/meminfo: memFree=21086032/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=77400 CPUtime=51.07 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 19248 0 0 0 4957 150 0 0 25 0 1 0 855994419 79257600 16882 33554432000 134512640 137138936 4289402208 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 19350 16882 192 642 0 18706 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77400
[startup+102.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11558
/proc/meminfo: memFree=21028356/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=125304 CPUtime=102.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 31226 0 0 0 10003 226 0 0 25 0 1 0 855994419 128311296 28860 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 31326 28860 192 642 0 30682 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 125304
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11560
/proc/meminfo: memFree=20970684/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=146520 CPUtime=162.27 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 36547 0 0 0 15983 244 0 0 25 0 1 0 855994419 150036480 34181 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 36630 34181 192 642 0 35986 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 146520
[startup+222.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/518 11561
/proc/meminfo: memFree=20886080/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=186804 CPUtime=222.27 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 46633 0 0 0 21967 260 0 0 25 0 1 0 855994419 191287296 44267 33554432000 134512640 137138936 4289402208 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 46701 44267 192 642 0 46057 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 186804
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/518 11563
/proc/meminfo: memFree=20844880/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=201524 CPUtime=282.28 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 50281 0 0 0 27964 264 0 0 25 0 1 0 855994419 206360576 47915 33554432000 134512640 137138936 4289402208 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 50381 47915 192 642 0 49737 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 201524
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/518 11564
/proc/meminfo: memFree=20793628/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=211020 CPUtime=342.28 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 52675 0 0 0 33964 264 0 0 25 0 1 0 855994419 216084480 50309 33554432000 134512640 137138936 4289402208 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 52755 50309 192 642 0 52111 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 211020
[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/518 11566
/proc/meminfo: memFree=20780704/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=219284 CPUtime=402.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 54741 0 0 0 39955 274 0 0 25 0 1 0 855994419 224546816 52375 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 54821 52375 192 642 0 54177 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 219284
[startup+462.301 s]
/proc/loadavg: 2.09 2.04 2.00 3/518 11569
/proc/meminfo: memFree=20768508/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=226924 CPUtime=462.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 56652 0 0 0 45951 278 0 0 25 0 1 0 855994419 232370176 54286 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 56731 54286 192 642 0 56087 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 226924
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/518 11580
/proc/meminfo: memFree=20755800/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=233176 CPUtime=522.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 58216 0 0 0 51950 279 0 0 25 0 1 0 855994419 238772224 55850 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 58294 55850 192 642 0 57650 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 233176
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 11582
/proc/meminfo: memFree=20742760/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=240064 CPUtime=582.29 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 59936 0 0 0 57949 280 0 0 25 0 1 0 855994419 245825536 57570 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 60016 57570 192 642 0 59372 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 240064
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20681520/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=481516 CPUtime=1122.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 120299 0 0 0 111878 352 0 0 25 0 1 0 855994419 493072384 117933 33554432000 134512640 137138936 4289402208 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 120379 117933 192 642 0 119735 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 481516
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11663
/proc/meminfo: memFree=20673568/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=489040 CPUtime=1182.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 122180 0 0 0 117875 355 0 0 25 0 1 0 855994419 500776960 119814 33554432000 134512640 137138936 4289402208 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 122260 119814 192 642 0 121616 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 489040
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11664
/proc/meminfo: memFree=20669196/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=494584 CPUtime=1242.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 123547 0 0 0 123874 356 0 0 25 0 1 0 855994419 506454016 121181 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 123646 121181 192 642 0 123002 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 494584
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11666
/proc/meminfo: memFree=20662468/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=501888 CPUtime=1302.32 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 125394 0 0 0 129873 359 0 0 25 0 1 0 855994419 513933312 123028 33554432000 134512640 137138936 4289402208 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 125472 123028 192 642 0 124828 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 501888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11668
/proc/meminfo: memFree=20654016/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=510328 CPUtime=1362.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 127503 0 0 0 135869 361 0 0 25 0 1 0 855994419 522575872 125137 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 127582 125137 192 642 0 126938 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 510328
[startup+1422.32 s]
/proc/loadavg: 2.06 2.02 2.00 3/518 11669
/proc/meminfo: memFree=20642080/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=522316 CPUtime=1422.32 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 130503 0 0 0 141868 364 0 0 25 0 1 0 855994419 534851584 128137 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 130579 128137 192 642 0 129935 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 522316
[startup+1482.3 s]
/proc/loadavg: 2.22 2.06 2.01 3/518 11671
/proc/meminfo: memFree=20634876/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=529360 CPUtime=1482.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 132241 0 0 0 147864 366 0 0 25 0 1 0 855994419 542064640 129875 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 132340 129875 192 642 0 131696 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 529360
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/518 11673
/proc/meminfo: memFree=20600992/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=534876 CPUtime=1542.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 133620 0 0 0 153863 367 0 0 25 0 1 0 855994419 547713024 131254 33554432000 134512640 137138936 4289402208 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 133719 131254 192 642 0 133075 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 534876
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/518 11675
/proc/meminfo: memFree=20585604/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=540276 CPUtime=1602.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 134969 0 0 0 159860 370 0 0 25 0 1 0 855994419 553242624 132603 33554432000 134512640 137138936 4289402208 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 135069 132603 192 642 0 134425 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 540276
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 11677
/proc/meminfo: memFree=20582612/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=543168 CPUtime=1662.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 135720 0 0 0 165859 371 0 0 25 0 1 0 855994419 556204032 133354 33554432000 134512640 137138936 4289402208 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 135792 133354 192 642 0 135148 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 543168
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 11678
/proc/meminfo: memFree=20579376/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=545944 CPUtime=1722.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 136406 0 0 0 171859 371 0 0 25 0 1 0 855994419 559046656 134040 33554432000 134512640 137138936 4289402208 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 136486 134040 192 642 0 135842 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 545944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20575380/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=549644 CPUtime=1782.3 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137312 0 0 0 177858 372 0 0 25 0 1 0 855994419 562835456 134946 33554432000 134512640 137138936 4289402208 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137411 134946 192 642 0 136767 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 549644
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20576124/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=549816 CPUtime=1785.51 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137373 0 0 0 178178 373 0 0 25 0 1 0 855994419 563011584 135007 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137454 135007 192 642 0 136810 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 549816
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20575132/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=550748 CPUtime=1791.93 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137607 0 0 0 178820 373 0 0 25 0 1 0 855994419 563965952 135241 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137687 135241 192 642 0 137043 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 550748
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20574760/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=551236 CPUtime=1795.12 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137710 0 0 0 179139 373 0 0 25 0 1 0 855994419 564465664 135344 33554432000 134512640 137138936 4289402208 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137809 135344 192 642 0 137165 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 551236
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20574636/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=551236 CPUtime=1796.71 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137739 0 0 0 179298 373 0 0 25 0 1 0 855994419 564465664 135373 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137809 135373 192 642 0 137165 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 551236
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20573644/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=551428 CPUtime=1797.5 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137777 0 0 0 179377 373 0 0 25 0 1 0 855994419 564662272 135411 33554432000 134512640 137138936 4289402208 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137857 135411 192 642 0 137213 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 551428
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20573644/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=551580 CPUtime=1797.9 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137796 0 0 0 179417 373 0 0 25 0 1 0 855994419 564817920 135430 33554432000 134512640 137138936 4289402208 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137895 135430 192 642 0 137251 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 551580
[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 11681
/proc/meminfo: memFree=20573644/32950928 swapFree=34259960/67111528
[pid=11554] ppid=11552 vsize=551580 CPUtime=1798 cores=1,3,5,7
/proc/11554/stat : 11554 (bsolo) R 11552 11554 11029 0 -1 4202496 137796 0 0 0 179427 373 0 0 25 0 1 0 855994419 564817920 135430 33554432000 134512640 137138936 4289402208 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11554/statm: 137895 135430 192 642 0 137251 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 551580
Child status: 0
Real time (s): 1798.04
CPU time (s): 1798.05
CPU user time (s): 1794.3
CPU system time (s): 3.75643
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 551580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 3.75643
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137800
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= 22053
runsolver used 8.86165 second user time and 22.1986 second system time
The end