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-3462538-1307181184/watcher-3462538-1307181184 -o /tmp/evaluation-result-3462538-1307181184/solver-3462538-1307181184 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462538-1307181184.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.00 2.00 3/429 2973
/proc/meminfo: memFree=28988624/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 829718857 11186176 284 33554432000 134512640 137138936 4290679440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 2731 284 185 642 0 2087 0
[startup+0.103566 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 2973
/proc/meminfo: memFree=28988624/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=11828 CPUtime=0.09 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 564 0 0 0 9 0 0 0 25 0 1 0 829718857 12111872 516 33554432000 134512640 137138936 4290679440 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 2957 516 192 642 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828
[startup+0.200537 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 2973
/proc/meminfo: memFree=28988624/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=12608 CPUtime=0.19 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 762 0 0 0 19 0 0 0 25 0 1 0 829718857 12910592 714 33554432000 134512640 137138936 4290679440 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 3152 714 192 642 0 2508 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12608
[startup+0.300517 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 2973
/proc/meminfo: memFree=28988624/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=13384 CPUtime=0.29 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 942 0 0 0 29 0 0 0 25 0 1 0 829718857 13705216 894 33554432000 134512640 137138936 4290679440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 3346 894 192 642 0 2702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13384
[startup+0.700444 s]
/proc/loadavg: 2.00 2.00 2.00 3/429 2973
/proc/meminfo: memFree=28988624/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=15444 CPUtime=0.69 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 1483 0 0 0 69 0 0 0 25 0 1 0 829718857 15814656 1435 33554432000 134512640 137138936 4290679440 18446744073709551615 136504262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 3861 1435 192 642 0 3217 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15444
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2974
/proc/meminfo: memFree=28981068/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=17636 CPUtime=1.48 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 2015 0 0 0 148 0 0 0 25 0 1 0 829718857 18059264 1967 33554432000 134512640 137138936 4290679440 18446744073709551615 134575060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 4409 1967 192 642 0 3765 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17636
[startup+3.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2974
/proc/meminfo: memFree=28979828/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=17636 CPUtime=3.09 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 2015 0 0 0 308 1 0 0 25 0 1 0 829718857 18059264 1967 33554432000 134512640 137138936 4290679440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 4409 1967 192 642 0 3765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17636
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2974
/proc/meminfo: memFree=28979644/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=18160 CPUtime=6.29 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 2156 0 0 0 628 1 0 0 25 0 1 0 829718857 18595840 2108 33554432000 134512640 137138936 4290679440 18446744073709551615 134551474 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 4540 2108 192 642 0 3896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18160
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2974
/proc/meminfo: memFree=28976124/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=20692 CPUtime=12.68 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 2775 0 0 0 1265 3 0 0 25 0 1 0 829718857 21188608 2727 33554432000 134512640 137138936 4290679440 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 5173 2727 192 642 0 4529 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20692
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2975
/proc/meminfo: memFree=28975516/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=21608 CPUtime=25.49 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 3015 0 0 0 2544 5 0 0 25 0 1 0 829718857 22126592 2967 33554432000 134512640 137138936 4290679440 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 5402 2967 192 642 0 4758 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21608
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2977
/proc/meminfo: memFree=28967868/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=22460 CPUtime=51.09 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 3220 0 0 0 5101 8 0 0 25 0 1 0 829718857 22999040 3172 33554432000 134512640 137138936 4290679440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 5615 3172 192 642 0 4971 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22460
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2978
/proc/meminfo: memFree=28963876/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=25776 CPUtime=102.29 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 4051 0 0 0 10215 14 0 0 25 0 1 0 829718857 26394624 4003 33554432000 134512640 137138936 4290679440 18446744073709551615 134601168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 6444 4003 192 642 0 5800 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 25776
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 2979
/proc/meminfo: memFree=28960560/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=27604 CPUtime=162.3 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 4508 0 0 0 16207 23 0 0 25 0 1 0 829718857 28266496 4460 33554432000 134512640 137138936 4290679440 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 6901 4460 192 642 0 6257 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27604
[startup+222.316 s]
/proc/loadavg: 2.03 2.02 2.00 3/430 2981
/proc/meminfo: memFree=28958916/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=29572 CPUtime=222.31 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5006 0 0 0 22201 30 0 0 25 0 1 0 829718857 30281728 4958 33554432000 134512640 137138936 4290679440 18446744073709551615 134575990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 7393 4958 192 642 0 6749 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 29572
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2983
/proc/meminfo: memFree=28956876/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=30544 CPUtime=282.3 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5251 0 0 0 28192 38 0 0 25 0 1 0 829718857 31277056 5203 33554432000 134512640 137138936 4290679440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 7636 5203 192 642 0 6992 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 30544
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2984
/proc/meminfo: memFree=28957336/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=30928 CPUtime=342.3 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5351 0 0 0 34185 45 0 0 25 0 1 0 829718857 31670272 5303 33554432000 134512640 137138936 4290679440 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 7732 5303 192 642 0 7088 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 30928
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2986
/proc/meminfo: memFree=28957664/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=30928 CPUtime=402.3 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5351 0 0 0 40177 53 0 0 25 0 1 0 829718857 31670272 5303 33554432000 134512640 137138936 4290679440 18446744073709551615 136502654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 7732 5303 192 642 0 7088 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 30928
[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/430 2987
/proc/meminfo: memFree=28957732/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=30924 CPUtime=462.31 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5351 0 0 0 46171 60 0 0 25 0 1 0 829718857 31666176 5303 33554432000 134512640 137138936 4290679440 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 7731 5303 192 642 0 7087 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 30924
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 2998
/proc/meminfo: memFree=28955536/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=32196 CPUtime=522.3 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5664 0 0 0 52165 65 0 0 25 0 1 0 829718857 32968704 5616 33554432000 134512640 137138936 4290679440 18446744073709551615 134606987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 8049 5616 192 642 0 7405 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32196
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 3000
/proc/meminfo: memFree=28955368/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=32196 CPUtime=582.3 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 5664 0 0 0 58158 72 0 0 25 0 1 0 829718857 32968704 5616 33554432000 134512640 137138936 4290679440 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 8049 5616 192 642 0 7405 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 32196
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28640952/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36328 CPUtime=1122.33 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6712 0 0 0 112106 127 0 0 25 0 1 0 829718857 37199872 6658 33554432000 134512640 137138936 4290679440 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9082 6658 192 642 0 8438 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 36328
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3047
/proc/meminfo: memFree=28598244/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36320 CPUtime=1182.32 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6712 0 0 0 118097 135 0 0 25 0 1 0 829718857 37191680 6656 33554432000 134512640 137138936 4290679440 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9080 6656 192 642 0 8436 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 36320
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/430 3048
/proc/meminfo: memFree=28559860/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36316 CPUtime=1242.33 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6712 0 0 0 124091 142 0 0 25 0 1 0 829718857 37187584 6655 33554432000 134512640 137138936 4290679440 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9079 6655 192 642 0 8435 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 36316
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 3050
/proc/meminfo: memFree=28532408/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36316 CPUtime=1302.33 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6712 0 0 0 130086 147 0 0 25 0 1 0 829718857 37187584 6655 33554432000 134512640 137138936 4290679440 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9079 6655 192 642 0 8435 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 36316
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3051
/proc/meminfo: memFree=28509808/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36308 CPUtime=1362.33 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6712 0 0 0 136079 154 0 0 25 0 1 0 829718857 37179392 6653 33554432000 134512640 137138936 4290679440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9077 6653 192 642 0 8433 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 36308
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 3053
/proc/meminfo: memFree=28481868/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36300 CPUtime=1422.34 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6712 0 0 0 142071 163 0 0 25 0 1 0 829718857 37171200 6651 33554432000 134512640 137138936 4290679440 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9075 6651 192 642 0 8431 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 36300
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/430 3055
/proc/meminfo: memFree=28450204/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=36308 CPUtime=1482.33 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6714 0 0 0 148063 170 0 0 25 0 1 0 829718857 37179392 6653 33554432000 134512640 137138936 4290679440 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9077 6653 192 642 0 8433 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 36308
[startup+1542.32 s]
/proc/loadavg: 2.09 2.03 2.00 3/430 3056
/proc/meminfo: memFree=28422512/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37148 CPUtime=1542.36 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 154058 178 0 0 25 0 1 0 829718857 38039552 6856 33554432000 134512640 137138936 4290679440 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9287 6856 192 642 0 8643 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 37148
[startup+1602.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/430 3058
/proc/meminfo: memFree=28398540/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37140 CPUtime=1602.34 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 160050 184 0 0 25 0 1 0 829718857 38031360 6856 33554432000 134512640 137138936 4290679440 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9285 6856 192 642 0 8641 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 37140
[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/430 3059
/proc/meminfo: memFree=28374928/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37128 CPUtime=1662.34 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 166043 191 0 0 25 0 1 0 829718857 38019072 6856 33554432000 134512640 137138936 4290679440 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9282 6856 192 642 0 8638 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 37128
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/430 3061
/proc/meminfo: memFree=28348124/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37124 CPUtime=1722.34 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 172035 199 0 0 25 0 1 0 829718857 38014976 6856 33554432000 134512640 137138936 4290679440 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9281 6856 192 642 0 8637 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 37124
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28320048/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37112 CPUtime=1782.35 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 178028 207 0 0 25 0 1 0 829718857 38002688 6854 33554432000 134512640 137138936 4290679440 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9278 6854 192 642 0 8634 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 37112
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28317816/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37112 CPUtime=1785.65 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 178358 207 0 0 25 0 1 0 829718857 38002688 6854 33554432000 134512640 137138936 4290679440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9278 6854 192 642 0 8634 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 37112
[startup+1792.02 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28316680/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37108 CPUtime=1792.07 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 178999 208 0 0 25 0 1 0 829718857 37998592 6853 33554432000 134512640 137138936 4290679440 18446744073709551615 136505799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9277 6853 192 642 0 8633 0
Current children cumulated CPU time (s) 1792.07
Current children cumulated vsize (KiB) 37108
[startup+1795.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28315440/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37108 CPUtime=1795.25 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 179317 208 0 0 25 0 1 0 829718857 37998592 6853 33554432000 134512640 137138936 4290679440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9277 6853 192 642 0 8633 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 37108
[startup+1796.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28314944/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37108 CPUtime=1796.85 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 179477 208 0 0 25 0 1 0 829718857 37998592 6853 33554432000 134512640 137138936 4290679440 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9277 6853 192 642 0 8633 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 37108
[startup+1797.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28313952/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37108 CPUtime=1797.65 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 179557 208 0 0 25 0 1 0 829718857 37998592 6853 33554432000 134512640 137138936 4290679440 18446744073709551615 134606999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9277 6853 192 642 0 8633 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 37108
[startup+1797.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28313952/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37108 CPUtime=1797.85 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 179577 208 0 0 25 0 1 0 829718857 37998592 6853 33554432000 134512640 137138936 4290679440 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9277 6853 192 642 0 8633 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 37108
[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 3063
/proc/meminfo: memFree=28313952/32951124 swapFree=43324008/67111528
[pid=2973] ppid=2971 vsize=37108 CPUtime=1797.95 cores=1,3,5,7
/proc/2973/stat : 2973 (bsolo) R 2971 2973 585 0 -1 4202496 6918 0 0 0 179587 208 0 0 25 0 1 0 829718857 37998592 6853 33554432000 134512640 137138936 4290679440 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2973/statm: 9277 6853 192 642 0 8633 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 37108
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.91
CPU system time (s): 2.08968
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 37148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.91
system time used= 2.08968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6919
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= 4625
runsolver used 7.2039 second user time and 17.4014 second system time
The end