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-3463793-1307185907/watcher-3463793-1307185907 -o /tmp/evaluation-result-3463793-1307185907/solver-3463793-1307185907 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463793-1307185907.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.01 2.02 2.00 2/415 8936
/proc/meminfo: memFree=24982120/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=15728 CPUtime=0 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 286200138 16105472 466 33554432000 134512640 137138936 4292960704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 3932 467 202 642 0 2267 0
[startup+0.028182 s]
/proc/loadavg: 2.01 2.02 2.00 2/415 8936
/proc/meminfo: memFree=24982120/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=17428 CPUtime=0.02 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 1005 0 0 0 2 0 0 0 25 0 1 0 286200138 17846272 959 33554432000 134512640 137138936 4292960704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 4357 961 269 642 0 2692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17428
[startup+0.101171 s]
/proc/loadavg: 2.01 2.02 2.00 2/415 8936
/proc/meminfo: memFree=24982120/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=21556 CPUtime=0.09 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 2294 0 0 0 9 0 0 0 25 0 1 0 286200138 22073344 2248 33554432000 134512640 137138936 4292960704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 5389 2248 527 642 0 3724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21556
[startup+0.301129 s]
/proc/loadavg: 2.01 2.02 2.00 2/415 8936
/proc/meminfo: memFree=24982120/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=30716 CPUtime=0.29 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 5264 0 0 0 28 1 0 0 25 0 1 0 286200138 31453184 5178 33554432000 134512640 137138936 4292960704 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 7679 5178 1149 642 0 6014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30716
[startup+0.70106 s]
/proc/loadavg: 2.01 2.02 2.00 2/415 8936
/proc/meminfo: memFree=24982120/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=38880 CPUtime=0.69 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 8260 0 0 0 68 1 0 0 25 0 1 0 286200138 39813120 7153 33554432000 134512640 137138936 4292960704 18446744073709551615 134566895 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 9720 7153 184 642 0 9076 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38880
[startup+1.50092 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8937
/proc/meminfo: memFree=24953468/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=38880 CPUtime=1.49 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 8270 0 0 0 148 1 0 0 25 0 1 0 286200138 39813120 7163 33554432000 134512640 137138936 4292960704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 9720 7163 184 642 0 9076 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38880
[startup+3.10064 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8937
/proc/meminfo: memFree=24952600/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=38880 CPUtime=3.09 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 8272 0 0 0 308 1 0 0 25 0 1 0 286200138 39813120 7165 33554432000 134512640 137138936 4292960704 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 9720 7165 184 642 0 9076 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38880
[startup+6.30108 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8937
/proc/meminfo: memFree=24952164/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=38880 CPUtime=6.29 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 8275 0 0 0 627 2 0 0 25 0 1 0 286200138 39813120 7168 33554432000 134512640 137138936 4292960704 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 9720 7168 184 642 0 9076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38880
[startup+12.7009 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 8937
/proc/meminfo: memFree=24952220/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=39016 CPUtime=12.7 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 8831 0 0 0 1262 8 0 0 25 0 1 0 286200138 39952384 7206 33554432000 134512640 137138936 4292960704 18446744073709551615 134600117 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 9754 7206 192 642 0 9110 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 39016
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8937
/proc/meminfo: memFree=24949260/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=42880 CPUtime=25.49 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 9782 0 0 0 2539 10 0 0 25 0 1 0 286200138 43909120 8157 33554432000 134512640 137138936 4292960704 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 10720 8157 192 642 0 10076 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42880
[startup+51.1012 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8938
/proc/meminfo: memFree=24916444/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=76384 CPUtime=51.1 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 18155 0 0 0 5096 14 0 0 25 0 1 0 286200138 78217216 16530 33554432000 134512640 137138936 4292960704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 19096 16530 192 642 0 18452 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 76384
[startup+102.316 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8942
/proc/meminfo: memFree=24866240/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=125448 CPUtime=102.31 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 30421 0 0 0 10211 20 0 0 25 0 1 0 286200138 128458752 28796 33554432000 134512640 137138936 4292960704 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 31362 28796 192 642 0 30718 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 125448
[startup+162.301 s]
/proc/loadavg: 2.20 2.05 2.01 3/416 8944
/proc/meminfo: memFree=24779068/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=213356 CPUtime=162.29 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 52398 0 0 0 16203 26 0 0 25 0 1 0 286200138 218476544 50773 33554432000 134512640 137138936 4292960704 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 53339 50773 192 642 0 52695 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 213356
[startup+222.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/416 8945
/proc/meminfo: memFree=24722620/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=269296 CPUtime=222.29 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 66383 0 0 0 22198 31 0 0 25 0 1 0 286200138 275759104 64758 33554432000 134512640 137138936 4292960704 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 67324 64758 192 642 0 66680 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 269296
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/416 8947
/proc/meminfo: memFree=24675360/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=316840 CPUtime=282.3 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 78270 0 0 0 28194 36 0 0 25 0 1 0 286200138 324444160 76645 33554432000 134512640 137138936 4292960704 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 79210 76645 192 642 0 78566 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 316840
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 8949
/proc/meminfo: memFree=24635784/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=356220 CPUtime=342.3 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 88115 0 0 0 34189 41 0 0 25 0 1 0 286200138 364769280 86490 33554432000 134512640 137138936 4292960704 18446744073709551615 134600247 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 89055 86490 192 642 0 88411 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 356220
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 8950
/proc/meminfo: memFree=24605256/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=386340 CPUtime=402.3 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 95645 0 0 0 40183 47 0 0 25 0 1 0 286200138 395612160 94020 33554432000 134512640 137138936 4292960704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 96585 94020 192 642 0 95941 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 386340
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8952
/proc/meminfo: memFree=24575600/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=415144 CPUtime=462.3 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 102846 0 0 0 46178 52 0 0 25 0 1 0 286200138 425107456 101221 33554432000 134512640 137138936 4292960704 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 103786 101221 192 642 0 103142 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 415144
[startup+522.301 s]
/proc/loadavg: 1.61 1.92 1.97 2/410 8971
/proc/meminfo: memFree=25570780/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=457184 CPUtime=522.3 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 113356 0 0 0 52173 57 0 0 25 0 1 0 286200138 468156416 111731 33554432000 134512640 137138936 4292960704 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 114296 111731 192 642 0 113652 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 457184
[startup+582.3 s]
/proc/loadavg: 1.22 1.75 1.90 2/410 8973
/proc/meminfo: memFree=25545592/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=482092 CPUtime=582.3 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 119583 0 0 0 58169 61 0 0 25 0 1 0 286200138 493662208 117958 33554432000 134512640 137138936 4292960704 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 120523 117958 192 642 0 119879 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 482092
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25417868/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1122.32 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151781 0 0 0 112132 100 0 0 25 0 1 0 286200138 624234496 149836 33554432000 134512640 137138936 4292960704 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149836 192 642 0 151757 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 609604
[startup+1182.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/410 8989
/proc/meminfo: memFree=25417856/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1182.32 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151781 0 0 0 118125 107 0 0 25 0 1 0 286200138 624234496 149836 33554432000 134512640 137138936 4292960704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149836 192 642 0 151757 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 609604
[startup+1242.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/410 8991
/proc/meminfo: memFree=25417840/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1242.32 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151781 0 0 0 124119 113 0 0 25 0 1 0 286200138 624234496 149836 33554432000 134512640 137138936 4292960704 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149836 192 642 0 151757 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 609604
[startup+1302.3 s]
/proc/loadavg: 1.08 1.08 1.41 2/410 8992
/proc/meminfo: memFree=25417700/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1302.34 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151781 0 0 0 130116 118 0 0 25 0 1 0 286200138 624234496 149836 33554432000 134512640 137138936 4292960704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149836 192 642 0 151757 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 609604
[startup+1362.3 s]
/proc/loadavg: 1.07 1.08 1.38 2/410 8994
/proc/meminfo: memFree=25418060/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1362.32 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151781 0 0 0 136111 121 0 0 25 0 1 0 286200138 624234496 149836 33554432000 134512640 137138936 4292960704 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149836 192 642 0 151757 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 609604
[startup+1422.32 s]
/proc/loadavg: 1.02 1.06 1.35 2/410 8995
/proc/meminfo: memFree=25417804/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1422.34 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151781 0 0 0 142109 125 0 0 25 0 1 0 286200138 624234496 149836 33554432000 134512640 137138936 4292960704 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149836 192 642 0 151757 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 609604
[startup+1482.3 s]
/proc/loadavg: 1.01 1.05 1.33 2/410 8997
/proc/meminfo: memFree=25418032/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1482.33 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151782 0 0 0 148105 128 0 0 25 0 1 0 286200138 624234496 149837 33554432000 134512640 137138936 4292960704 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149837 192 642 0 151757 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 609604
[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.31 2/410 8999
/proc/meminfo: memFree=25418012/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1542.33 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151782 0 0 0 154102 131 0 0 25 0 1 0 286200138 624234496 149837 33554432000 134512640 137138936 4292960704 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149837 192 642 0 151757 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 609604
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.28 2/410 9000
/proc/meminfo: memFree=25417996/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1602.33 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151782 0 0 0 160100 133 0 0 25 0 1 0 286200138 624234496 149837 33554432000 134512640 137138936 4292960704 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149837 192 642 0 151757 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 609604
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/410 9002
/proc/meminfo: memFree=25418104/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=609604 CPUtime=1662.33 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 151782 0 0 0 166097 136 0 0 25 0 1 0 286200138 624234496 149837 33554432000 134512640 137138936 4292960704 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 152401 149837 192 642 0 151757 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 609604
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.25 2/410 9003
/proc/meminfo: memFree=25404080/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=625188 CPUtime=1722.34 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 155678 0 0 0 172094 140 0 0 25 0 1 0 286200138 640192512 153733 33554432000 134512640 137138936 4292960704 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 156297 153733 192 642 0 155653 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 625188
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/410 9005
/proc/meminfo: memFree=25354096/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=673904 CPUtime=1782.33 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 167866 0 0 0 178090 143 0 0 25 0 1 0 286200138 690077696 165921 33554432000 134512640 137138936 4292960704 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 168476 165921 192 642 0 167832 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 673904
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.01 1.23 2/410 9005
/proc/meminfo: memFree=25352112/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=675952 CPUtime=1785.53 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 168369 0 0 0 178410 143 0 0 25 0 1 0 286200138 692174848 166424 33554432000 134512640 137138936 4292960704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 168988 166424 192 642 0 168344 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 675952
[startup+1791.92 s]
/proc/loadavg: 1.00 1.01 1.23 2/410 9005
/proc/meminfo: memFree=25347516/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=680524 CPUtime=1791.95 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 169512 0 0 0 179052 143 0 0 25 0 1 0 286200138 696856576 167567 33554432000 134512640 137138936 4292960704 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 170131 167567 192 642 0 169487 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 680524
[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.22 2/410 9005
/proc/meminfo: memFree=25345036/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=682704 CPUtime=1795.14 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 170057 0 0 0 179371 143 0 0 25 0 1 0 286200138 699088896 168112 33554432000 134512640 137138936 4292960704 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 170676 168112 192 642 0 170032 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 682704
[startup+1796.7 s]
/proc/loadavg: 1.00 1.01 1.22 2/410 9005
/proc/meminfo: memFree=25344664/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=683348 CPUtime=1796.73 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 170218 0 0 0 179530 143 0 0 25 0 1 0 286200138 699748352 168273 33554432000 134512640 137138936 4292960704 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 170837 168273 192 642 0 170193 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 683348
[startup+1797.5 s]
/proc/loadavg: 1.00 1.01 1.22 2/410 9005
/proc/meminfo: memFree=25344168/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=683688 CPUtime=1797.53 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 170303 0 0 0 179610 143 0 0 25 0 1 0 286200138 700096512 168358 33554432000 134512640 137138936 4292960704 18446744073709551615 134606839 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 170922 168358 192 642 0 170278 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 683688
[startup+1797.9 s]
/proc/loadavg: 1.00 1.01 1.22 2/410 9005
/proc/meminfo: memFree=25344168/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=683996 CPUtime=1797.94 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202496 170380 0 0 0 179650 144 0 0 25 0 1 0 286200138 700411904 168435 33554432000 134512640 137138936 4292960704 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/8936/statm: 170999 168435 192 642 0 170355 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 683996
[startup+1798 s]
/proc/loadavg: 1.00 1.01 1.22 2/410 9005
/proc/meminfo: memFree=25344168/32950928 swapFree=52006644/67111528
[pid=8936] ppid=8934 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/8936/stat : 8936 (bsolo) R 8934 8936 6914 0 -1 4202500 170380 0 0 0 179658 146 0 0 25 0 1 0 286200138 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/8936/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1796.58
CPU system time (s): 1.46978
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 683996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 1.46978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170380
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= 1782
runsolver used 6.69898 second user time and 17.8053 second system time
The end