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-3462954-1307177267/watcher-3462954-1307177267 -o /tmp/evaluation-result-3462954-1307177267/solver-3462954-1307177267 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462954-1307177267.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/505 10932
/proc/meminfo: memFree=30324060/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=11036 CPUtime=0 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 327 0 0 0 0 0 0 0 25 0 1 0 829329365 11300864 281 33554432000 134512640 137138936 4290926240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 2759 282 179 642 0 2089 0
[startup+0.117935 s]
/proc/loadavg: 2.00 2.03 2.00 3/505 10932
/proc/meminfo: memFree=30324060/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=11852 CPUtime=0.1 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 609 0 0 0 10 0 0 0 25 0 1 0 829329365 12136448 537 33554432000 134512640 137138936 4290926240 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 2963 538 192 642 0 2319 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11852
[startup+0.200884 s]
/proc/loadavg: 2.00 2.03 2.00 3/505 10932
/proc/meminfo: memFree=30324060/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=12364 CPUtime=0.19 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 710 0 0 0 19 0 0 0 25 0 1 0 829329365 12660736 638 33554432000 134512640 137138936 4290926240 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3091 638 192 642 0 2447 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12364
[startup+0.300881 s]
/proc/loadavg: 2.00 2.03 2.00 3/505 10932
/proc/meminfo: memFree=30324060/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=12364 CPUtime=0.29 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 710 0 0 0 29 0 0 0 25 0 1 0 829329365 12660736 638 33554432000 134512640 137138936 4290926240 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3091 638 192 642 0 2447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12364
[startup+0.700827 s]
/proc/loadavg: 2.00 2.03 2.00 3/505 10932
/proc/meminfo: memFree=30324060/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=12492 CPUtime=0.69 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 759 0 0 0 69 0 0 0 25 0 1 0 829329365 12791808 687 33554432000 134512640 137138936 4290926240 18446744073709551615 134603153 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3123 687 192 642 0 2479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12492
[startup+1.50066 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10933
/proc/meminfo: memFree=30322312/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=13004 CPUtime=1.48 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 872 0 0 0 148 0 0 0 25 0 1 0 829329365 13316096 800 33554432000 134512640 137138936 4290926240 18446744073709551615 134599234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3251 800 192 642 0 2607 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13004
[startup+3.10038 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10933
/proc/meminfo: memFree=30320452/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=13120 CPUtime=3.09 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 901 0 0 0 308 1 0 0 25 0 1 0 829329365 13434880 829 33554432000 134512640 137138936 4290926240 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3280 829 192 642 0 2636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13120
[startup+6.30077 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10933
/proc/meminfo: memFree=30320404/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=13376 CPUtime=6.28 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 963 0 0 0 627 1 0 0 25 0 1 0 829329365 13697024 891 33554432000 134512640 137138936 4290926240 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3344 891 192 642 0 2700 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13376
[startup+12.7007 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10933
/proc/meminfo: memFree=30318464/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=14008 CPUtime=12.69 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1130 0 0 0 1266 3 0 0 25 0 1 0 829329365 14344192 1058 33554432000 134512640 137138936 4290926240 18446744073709551615 134575216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3502 1058 192 642 0 2858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14008
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10933
/proc/meminfo: memFree=30318100/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=14392 CPUtime=25.49 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1236 0 0 0 2543 6 0 0 25 0 1 0 829329365 14737408 1164 33554432000 134512640 137138936 4290926240 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3598 1164 192 642 0 2954 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14392
[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10934
/proc/meminfo: memFree=30318248/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=14784 CPUtime=51.09 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1329 0 0 0 5098 11 0 0 25 0 1 0 829329365 15138816 1257 33554432000 134512640 137138936 4290926240 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3696 1257 192 642 0 3052 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14784
[startup+102.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/506 10935
/proc/meminfo: memFree=30317360/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=15352 CPUtime=102.3 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1467 0 0 0 10208 22 0 0 25 0 1 0 829329365 15720448 1395 33554432000 134512640 137138936 4290926240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3838 1395 192 642 0 3194 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15352
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/506 10937
/proc/meminfo: memFree=30316088/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=15868 CPUtime=162.29 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1607 0 0 0 16194 35 0 0 25 0 1 0 829329365 16248832 1535 33554432000 134512640 137138936 4290926240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 3967 1535 192 642 0 3323 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15868
[startup+222.319 s]
/proc/loadavg: 2.13 2.05 2.01 3/506 10938
/proc/meminfo: memFree=30316416/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=16360 CPUtime=222.31 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1733 0 0 0 22184 47 0 0 25 0 1 0 829329365 16752640 1661 33554432000 134512640 137138936 4290926240 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4090 1661 192 642 0 3446 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 16360
[startup+282.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 10940
/proc/meminfo: memFree=30315648/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=16728 CPUtime=282.29 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1814 0 0 0 28171 58 0 0 25 0 1 0 829329365 17129472 1742 33554432000 134512640 137138936 4290926240 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4182 1742 192 642 0 3538 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 16728
[startup+342.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/506 10942
/proc/meminfo: memFree=30315984/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=16904 CPUtime=342.29 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1868 0 0 0 34158 71 0 0 25 0 1 0 829329365 17309696 1796 33554432000 134512640 137138936 4290926240 18446744073709551615 134551118 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4226 1796 192 642 0 3582 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 16904
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 10943
/proc/meminfo: memFree=30316216/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=17032 CPUtime=402.3 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1897 0 0 0 40147 83 0 0 25 0 1 0 829329365 17440768 1825 33554432000 134512640 137138936 4290926240 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4258 1825 192 642 0 3614 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 17032
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10945
/proc/meminfo: memFree=30315932/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=17320 CPUtime=462.3 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 1978 0 0 0 46135 95 0 0 25 0 1 0 829329365 17735680 1906 33554432000 134512640 137138936 4290926240 18446744073709551615 134606944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4330 1906 192 642 0 3686 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 17320
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10946
/proc/meminfo: memFree=30315040/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=17516 CPUtime=522.3 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2036 0 0 0 52125 105 0 0 25 0 1 0 829329365 17936384 1951 33554432000 134512640 137138936 4290926240 18446744073709551615 134543519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4379 1951 192 642 0 3735 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 17516
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10948
/proc/meminfo: memFree=30315384/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=17516 CPUtime=582.3 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2036 0 0 0 58116 114 0 0 25 0 1 0 829329365 17936384 1951 33554432000 134512640 137138936 4290926240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4379 1951 192 642 0 3735 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 17516
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=29471364/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18664 CPUtime=1122.31 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2326 0 0 0 112024 207 0 0 25 0 1 0 829329365 19111936 2237 33554432000 134512640 137138936 4290926240 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4666 2237 192 642 0 4022 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 18664
[startup+1182.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/506 11004
/proc/meminfo: memFree=29282124/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18664 CPUtime=1182.31 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2326 0 0 0 118014 217 0 0 25 0 1 0 829329365 19111936 2237 33554432000 134512640 137138936 4290926240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4666 2237 192 642 0 4022 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 18664
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/506 11006
/proc/meminfo: memFree=29281688/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18864 CPUtime=1242.31 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2365 0 0 0 124004 227 0 0 25 0 1 0 829329365 19316736 2276 33554432000 134512640 137138936 4290926240 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4716 2276 192 642 0 4072 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 18864
[startup+1302.3 s]
/proc/loadavg: 2.08 2.05 2.01 4/506 11007
/proc/meminfo: memFree=29281048/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18852 CPUtime=1302.32 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2365 0 0 0 129995 237 0 0 25 0 1 0 829329365 19304448 2276 33554432000 134512640 137138936 4290926240 18446744073709551615 134603528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4713 2276 192 642 0 4069 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 18852
[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/506 11009
/proc/meminfo: memFree=29281636/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18684 CPUtime=1362.32 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2365 0 0 0 135984 248 0 0 25 0 1 0 829329365 19132416 2247 33554432000 134512640 137138936 4290926240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4671 2247 192 642 0 4027 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 18684
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 11010
/proc/meminfo: memFree=29282592/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18676 CPUtime=1422.33 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2365 0 0 0 141976 257 0 0 25 0 1 0 829329365 19124224 2245 33554432000 134512640 137138936 4290926240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4669 2245 192 642 0 4025 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 18676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11012
/proc/meminfo: memFree=29282304/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=18804 CPUtime=1482.32 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2380 0 0 0 147967 265 0 0 25 0 1 0 829329365 19255296 2260 33554432000 134512640 137138936 4290926240 18446744073709551615 134542053 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4701 2260 192 642 0 4057 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 18804
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11014
/proc/meminfo: memFree=29282764/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19056 CPUtime=1542.34 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2444 0 0 0 153961 273 0 0 25 0 1 0 829329365 19513344 2324 33554432000 134512640 137138936 4290926240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4764 2324 192 642 0 4120 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 19056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/506 11015
/proc/meminfo: memFree=29282740/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19044 CPUtime=1602.32 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2444 0 0 0 159949 283 0 0 25 0 1 0 829329365 19501056 2324 33554432000 134512640 137138936 4290926240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4761 2324 192 642 0 4117 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 19044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/506 11017
/proc/meminfo: memFree=29282100/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19332 CPUtime=1662.33 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2532 0 0 0 165938 295 0 0 25 0 1 0 829329365 19795968 2408 33554432000 134512640 137138936 4290926240 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4833 2408 192 642 0 4189 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 19332
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/506 11018
/proc/meminfo: memFree=29282176/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19708 CPUtime=1722.33 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 171928 305 0 0 25 0 1 0 829329365 20180992 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134599187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4927 2490 192 642 0 4283 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 19708
[startup+1782.3 s]
/proc/loadavg: 2.18 2.06 2.02 4/506 11020
/proc/meminfo: memFree=29281152/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19700 CPUtime=1782.33 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 177920 313 0 0 25 0 1 0 829329365 20172800 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4925 2490 192 642 0 4281 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 19700
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.18 2.06 2.02 3/506 11020
/proc/meminfo: memFree=29281152/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1785.63 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 178249 314 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134576319 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 19696
[startup+1792.02 s]
/proc/loadavg: 2.15 2.05 2.01 3/506 11020
/proc/meminfo: memFree=29281148/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1792.05 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 178890 315 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134606976 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 19696
[startup+1795.2 s]
/proc/loadavg: 2.15 2.05 2.01 3/506 11020
/proc/meminfo: memFree=29281148/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1795.24 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 179208 316 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 19696
[startup+1796.8 s]
/proc/loadavg: 2.15 2.05 2.01 3/506 11020
/proc/meminfo: memFree=29281148/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1796.83 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 179367 316 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 19696
[startup+1797.6 s]
/proc/loadavg: 2.14 2.05 2.01 3/506 11020
/proc/meminfo: memFree=29281148/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1797.63 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 179447 316 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 19696
[startup+1797.8 s]
/proc/loadavg: 2.14 2.05 2.01 3/506 11020
/proc/meminfo: memFree=29281148/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1797.83 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 179467 316 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 19696
[startup+1797.9 s]
/proc/loadavg: 2.14 2.05 2.01 3/506 11020
/proc/meminfo: memFree=29281148/32951124 swapFree=51712236/67111528
[pid=10932] ppid=10930 vsize=19696 CPUtime=1797.93 cores=0,2,4,6
/proc/10932/stat : 10932 (bsolo) R 10930 10932 9506 0 -1 4202496 2614 0 0 0 179477 316 0 0 25 0 1 0 829329365 20168704 2490 33554432000 134512640 137138936 4290926240 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10932/statm: 4924 2490 192 642 0 4280 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 19696
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1794.84
CPU system time (s): 3.16452
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 19720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.84
system time used= 3.16452
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2614
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= 5839
runsolver used 9.69053 second user time and 19.486 second system time
The end