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-3462956-1307177291/watcher-3462956-1307177291 -o /tmp/evaluation-result-3462956-1307177291/solver-3462956-1307177291 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462956-1307177291.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.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=12080 CPUtime=0.01 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 544 0 0 0 1 0 0 0 25 0 1 0 829328712 12369920 498 33554432000 134512640 137138936 4290356432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3020 498 213 642 0 2264 0
[startup+0.0461331 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13652 CPUtime=0.04 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1140 0 0 0 4 0 0 0 18 0 1 0 829328712 13979648 982 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3413 982 184 642 0 2769 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13652
[startup+0.101134 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13768 CPUtime=0.09 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1197 0 0 0 9 0 0 0 18 0 1 0 829328712 14098432 1022 33554432000 134512640 137138936 4290356432 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13768
[startup+0.3011 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13768 CPUtime=0.29 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1197 0 0 0 29 0 0 0 18 0 1 0 829328712 14098432 1022 33554432000 134512640 137138936 4290356432 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3442 1022 192 642 0 2798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13768
[startup+0.701046 s]
/proc/loadavg: 2.13 2.04 1.93 2/498 18796
/proc/meminfo: memFree=29019856/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=13972 CPUtime=0.69 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1242 0 0 0 69 0 0 0 18 0 1 0 829328712 14307328 1067 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3493 1067 192 642 0 2849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13972
[startup+1.50092 s]
/proc/loadavg: 2.13 2.04 1.93 3/499 18797
/proc/meminfo: memFree=29012532/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=15608 CPUtime=1.49 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 1637 0 0 0 149 0 0 0 20 0 1 0 829328712 15982592 1462 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 3902 1462 192 642 0 3258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15608
[startup+3.10065 s]
/proc/loadavg: 2.13 2.04 1.93 3/499 18797
/proc/meminfo: memFree=29001868/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=18452 CPUtime=3.09 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2348 0 0 0 308 1 0 0 25 0 1 0 829328712 18894848 2173 33554432000 134512640 137138936 4290356432 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 4613 2173 192 642 0 3969 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18452
[startup+6.30108 s]
/proc/loadavg: 2.20 2.06 1.93 3/499 18797
/proc/meminfo: memFree=28999584/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=18456 CPUtime=6.29 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2362 0 0 0 628 1 0 0 25 0 1 0 829328712 18898944 2187 33554432000 134512640 137138936 4290356432 18446744073709551615 134599264 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 4614 2187 192 642 0 3970 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18456
[startup+12.701 s]
/proc/loadavg: 2.18 2.06 1.93 3/499 18797
/proc/meminfo: memFree=28995260/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=19452 CPUtime=12.69 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2598 0 0 0 1267 2 0 0 25 0 1 0 829328712 19918848 2423 33554432000 134512640 137138936 4290356432 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 4863 2423 192 642 0 4219 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19452
[startup+25.5009 s]
/proc/loadavg: 2.22 2.07 1.94 3/499 18799
/proc/meminfo: memFree=28976168/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=20640 CPUtime=25.49 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2905 0 0 0 2546 3 0 0 25 0 1 0 829328712 21135360 2730 33554432000 134512640 137138936 4290356432 18446744073709551615 136364664 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5160 2730 192 642 0 4516 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20640
[startup+51.1006 s]
/proc/loadavg: 2.14 2.06 1.94 3/499 18799
/proc/meminfo: memFree=28974852/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=20728 CPUtime=51.09 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 2932 0 0 0 5103 6 0 0 25 0 1 0 829328712 21225472 2757 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5182 2757 192 642 0 4538 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20728
[startup+102.319 s]
/proc/loadavg: 2.06 2.05 1.94 3/499 18801
/proc/meminfo: memFree=28961948/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=22068 CPUtime=102.31 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 3277 0 0 0 10222 9 0 0 25 0 1 0 829328712 22597632 3096 33554432000 134512640 137138936 4290356432 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5517 3096 192 642 0 4873 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22068
[startup+162.301 s]
/proc/loadavg: 2.09 2.06 1.94 3/499 18828
/proc/meminfo: memFree=29033304/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=23716 CPUtime=162.29 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 3692 0 0 0 16215 14 0 0 25 0 1 0 829328712 24285184 3502 33554432000 134512640 137138936 4290356432 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18796/statm: 5929 3502 192 642 0 5285 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23716
[startup+222.301 s]
/proc/loadavg: 2.03 2.04 1.94 3/499 18830
/proc/meminfo: memFree=29031796/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=24128 CPUtime=222.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 3810 0 0 0 22203 19 0 0 25 0 1 0 829328712 24707072 3612 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6032 3612 192 642 0 5388 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24128
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 1.94 3/499 18832
/proc/meminfo: memFree=29030916/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25204 CPUtime=282.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4064 0 0 0 28199 23 0 0 25 0 1 0 829328712 25808896 3866 33554432000 134512640 137138936 4290356432 18446744073709551615 134606697 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6301 3866 192 642 0 5657 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 25204
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/499 18834
/proc/meminfo: memFree=29031132/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25216 CPUtime=342.21 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4074 0 0 0 34193 28 0 0 25 0 1 0 829328712 25821184 3876 33554432000 134512640 137138936 4290356432 18446744073709551615 134576103 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6304 3876 192 642 0 5660 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 25216
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/499 18836
/proc/meminfo: memFree=29032368/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25212 CPUtime=402.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4074 0 0 0 40189 33 0 0 25 0 1 0 829328712 25817088 3876 33554432000 134512640 137138936 4290356432 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6303 3876 192 642 0 5659 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 25212
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.94 5/499 18863
/proc/meminfo: memFree=28729408/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25216 CPUtime=462.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4075 0 0 0 46183 39 0 0 25 0 1 0 829328712 25821184 3877 33554432000 134512640 137138936 4290356432 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6304 3877 192 642 0 5660 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 25216
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.94 5/499 18865
/proc/meminfo: memFree=28381864/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25772 CPUtime=522.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4212 0 0 0 52177 45 0 0 25 0 1 0 829328712 26390528 4014 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6443 4014 192 642 0 5799 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 25772
[startup+582.301 s]
/proc/loadavg: 2.08 2.02 1.95 5/499 18867
/proc/meminfo: memFree=28118216/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=25932 CPUtime=582.21 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 4270 0 0 0 58173 48 0 0 25 0 1 0 829328712 26554368 4063 33554432000 134512640 137138936 4290356432 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 6483 4063 192 642 0 5839 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 25932
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27989600/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30656 CPUtime=1122.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 112122 100 0 0 25 0 1 0 829328712 31391744 5244 33554432000 134512640 137138936 4290356432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7664 5244 192 642 0 7020 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 30656
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.97 5/499 18895
/proc/meminfo: memFree=27989716/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1182.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 118119 103 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 30532
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.97 5/499 18897
/proc/meminfo: memFree=27989068/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1242.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 124114 108 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 30532
[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 1.98 5/499 18899
/proc/meminfo: memFree=27990048/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1302.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 130111 112 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 30532
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 1.99 5/499 18899
/proc/meminfo: memFree=27990152/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1362.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 136104 118 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 30532
[startup+1422.32 s]
/proc/loadavg: 2.02 2.04 1.99 5/499 18901
/proc/meminfo: memFree=27990372/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30532 CPUtime=1422.25 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 142102 123 0 0 25 0 1 0 829328712 31264768 5213 33554432000 134512640 137138936 4290356432 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7633 5213 192 642 0 6989 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 30532
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.99 5/499 18903
/proc/meminfo: memFree=27989984/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30520 CPUtime=1482.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 148096 127 0 0 25 0 1 0 829328712 31252480 5210 33554432000 134512640 137138936 4290356432 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7630 5210 192 642 0 6986 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 30520
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.99 5/499 18905
/proc/meminfo: memFree=27987736/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30520 CPUtime=1542.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5487 0 0 0 154092 131 0 0 25 0 1 0 829328712 31252480 5210 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7630 5210 192 642 0 6986 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 30520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.99 5/499 18907
/proc/meminfo: memFree=27987720/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=31020 CPUtime=1602.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5600 0 0 0 160088 135 0 0 25 0 1 0 829328712 31764480 5323 33554432000 134512640 137138936 4290356432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7755 5323 192 642 0 7111 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 31020
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 5/499 18907
/proc/meminfo: memFree=27987584/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=31064 CPUtime=1662.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 166085 138 0 0 25 0 1 0 829328712 31809536 5338 33554432000 134512640 137138936 4290356432 18446744073709551615 134618022 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7766 5338 192 642 0 7122 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 31064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 5/499 18909
/proc/meminfo: memFree=27986564/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1722.22 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 172080 142 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 30980
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.00 4/499 18911
/proc/meminfo: memFree=27986916/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1782.23 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 178076 147 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 30980
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.10 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27986668/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1785.43 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 178396 147 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (KiB) 30980
[startup+1791.92 s]
/proc/loadavg: 2.09 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987780/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1791.85 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179037 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1791.85
Current children cumulated vsize (KiB) 30980
[startup+1795.1 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987776/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1795.04 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179356 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1795.04
Current children cumulated vsize (KiB) 30980
[startup+1796.7 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987776/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1796.63 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179515 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (KiB) 30980
[startup+1797.5 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987280/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1797.43 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179595 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 30980
[startup+1797.9 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987280/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1797.83 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179635 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 30980
[startup+1798 s]
/proc/loadavg: 2.08 2.03 2.00 5/499 18911
/proc/meminfo: memFree=27987280/32951132 swapFree=57925096/67111528
[pid=18796] ppid=18794 vsize=30980 CPUtime=1797.93 cores=0,2,4,6
/proc/18796/stat : 18796 (bsolo) R 18794 18796 16811 0 -1 4202496 5625 0 0 0 179645 148 0 0 25 0 1 0 829328712 31723520 5325 33554432000 134512640 137138936 4290356432 18446744073709551615 134575188 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18796/statm: 7745 5325 192 642 0 7101 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 30980
Child status: 0
Real time (s): 1798.06
CPU time (s): 1798
CPU user time (s): 1796.51
CPU system time (s): 1.48877
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 31064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 1.48877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5625
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= 3043
runsolver used 9.37457 second user time and 20.1579 second system time
The end