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-3462975-1307179328/watcher-3462975-1307179328 -o /tmp/evaluation-result-3462975-1307179328/solver-3462975-1307179328 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462975-1307179328.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.07 2.05 2.00 2/458 17252
/proc/meminfo: memFree=26133612/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 296 0 0 0 0 0 0 0 25 0 1 0 829530976 19046400 249 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 4650 249 192 642 0 4006 0
[startup+0.083857 s]
/proc/loadavg: 2.07 2.05 2.00 2/458 17252
/proc/meminfo: memFree=26133612/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=19120 CPUtime=0.08 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 439 0 0 0 8 0 0 0 25 0 1 0 829530976 19578880 392 33554432000 134512640 137138936 4289863888 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 4780 392 192 642 0 4136 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19120
[startup+0.100856 s]
/proc/loadavg: 2.07 2.05 2.00 2/458 17252
/proc/meminfo: memFree=26133612/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=19248 CPUtime=0.1 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 466 0 0 0 10 0 0 0 25 0 1 0 829530976 19709952 419 33554432000 134512640 137138936 4289863888 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 4812 419 192 642 0 4168 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19248
[startup+0.300819 s]
/proc/loadavg: 2.07 2.05 2.00 2/458 17252
/proc/meminfo: memFree=26133612/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=19764 CPUtime=0.3 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 584 0 0 0 30 0 0 0 25 0 1 0 829530976 20238336 537 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 4941 537 192 642 0 4297 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19764
[startup+0.700748 s]
/proc/loadavg: 2.07 2.05 2.00 2/458 17252
/proc/meminfo: memFree=26133612/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=20020 CPUtime=0.69 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 659 0 0 0 69 0 0 0 25 0 1 0 829530976 20500480 612 33554432000 134512640 137138936 4289863888 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5005 612 192 642 0 4361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20020
[startup+1.50064 s]
/proc/loadavg: 2.07 2.05 2.00 3/459 17253
/proc/meminfo: memFree=26128892/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=20400 CPUtime=1.49 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 741 0 0 0 149 0 0 0 25 0 1 0 829530976 20889600 694 33554432000 134512640 137138936 4289863888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5100 694 192 642 0 4456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20400
[startup+3.10033 s]
/proc/loadavg: 2.07 2.05 2.00 3/459 17253
/proc/meminfo: memFree=26127900/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=20660 CPUtime=3.09 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 815 0 0 0 308 1 0 0 25 0 1 0 829530976 21155840 768 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5165 768 192 642 0 4521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20660
[startup+6.30078 s]
/proc/loadavg: 2.06 2.05 2.00 3/459 17253
/proc/meminfo: memFree=26122080/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=20920 CPUtime=6.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 888 0 0 0 626 3 0 0 25 0 1 0 829530976 21422080 841 33554432000 134512640 137138936 4289863888 18446744073709551615 134542292 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5230 841 192 642 0 4586 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20920
[startup+12.7006 s]
/proc/loadavg: 2.06 2.05 2.00 3/459 17254
/proc/meminfo: memFree=26115100/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=21436 CPUtime=12.7 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1017 0 0 0 1265 5 0 0 25 0 1 0 829530976 21950464 970 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5359 970 192 642 0 4715 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 21436
[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.00 3/459 17254
/proc/meminfo: memFree=26101324/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=21944 CPUtime=25.49 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1127 0 0 0 2541 8 0 0 25 0 1 0 829530976 22470656 1080 33554432000 134512640 137138936 4289863888 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5486 1080 192 642 0 4842 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21944
[startup+51.1008 s]
/proc/loadavg: 2.09 2.06 2.00 3/459 17255
/proc/meminfo: memFree=26080784/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=22584 CPUtime=51.09 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1297 0 0 0 5093 16 0 0 25 0 1 0 829530976 23126016 1250 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5646 1250 192 642 0 5002 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22584
[startup+102.317 s]
/proc/loadavg: 2.04 2.05 2.00 3/459 17256
/proc/meminfo: memFree=26066628/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=23228 CPUtime=102.31 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1473 0 0 0 10198 33 0 0 25 0 1 0 829530976 23785472 1426 33554432000 134512640 137138936 4289863888 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5807 1426 192 642 0 5163 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 23228
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17258
/proc/meminfo: memFree=25991568/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=23588 CPUtime=162.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1555 0 0 0 16182 47 0 0 25 0 1 0 829530976 24154112 1508 33554432000 134512640 137138936 4289863888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17252/statm: 5897 1508 192 642 0 5253 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 23588
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 17260
/proc/meminfo: memFree=25991552/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=23820 CPUtime=222.26 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1615 0 0 0 22164 62 0 0 25 0 1 0 829530976 24391680 1568 33554432000 134512640 137138936 4289863888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 5955 1568 192 642 0 5311 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 23820
[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/459 17262
/proc/meminfo: memFree=25974284/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=24336 CPUtime=282.26 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1731 0 0 0 28148 78 0 0 25 0 1 0 829530976 24920064 1684 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6084 1684 192 642 0 5440 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 24336
[startup+342.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/459 17264
/proc/meminfo: memFree=25956152/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=24324 CPUtime=342.27 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1739 0 0 0 34134 93 0 0 25 0 1 0 829530976 24907776 1692 33554432000 134512640 137138936 4289863888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6081 1692 192 642 0 5437 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 24324
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 17266
/proc/meminfo: memFree=25956120/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=24576 CPUtime=402.27 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1790 0 0 0 40121 106 0 0 25 0 1 0 829530976 25165824 1743 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6144 1743 192 642 0 5500 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 24576
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17268
/proc/meminfo: memFree=25955228/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=24828 CPUtime=462.27 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1864 0 0 0 46106 121 0 0 25 0 1 0 829530976 25423872 1817 33554432000 134512640 137138936 4289863888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6207 1817 192 642 0 5563 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 24828
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17269
/proc/meminfo: memFree=25954568/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=24828 CPUtime=522.27 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1864 0 0 0 52091 136 0 0 25 0 1 0 829530976 25423872 1817 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6207 1817 192 642 0 5563 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 24828
[startup+582.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/459 17271
/proc/meminfo: memFree=25944876/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=24828 CPUtime=582.27 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 1864 0 0 0 58076 151 0 0 25 0 1 0 829530976 25423872 1817 33554432000 134512640 137138936 4289863888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6207 1817 192 642 0 5563 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 24828
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25911788/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26136 CPUtime=1062.28 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2200 0 0 0 105975 253 0 0 25 0 1 0 829530976 26763264 2153 33554432000 134512640 137138936 4289863888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6534 2153 192 642 0 5890 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 26136
[startup+1122.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/459 17285
/proc/meminfo: memFree=25912252/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26228 CPUtime=1122.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2205 0 0 0 111962 267 0 0 25 0 1 0 829530976 26857472 2158 33554432000 134512640 137138936 4289863888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6557 2158 192 642 0 5913 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 26228
[startup+1182.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/459 17287
/proc/meminfo: memFree=25911744/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26216 CPUtime=1182.28 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2205 0 0 0 117950 278 0 0 25 0 1 0 829530976 26845184 2158 33554432000 134512640 137138936 4289863888 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6554 2158 192 642 0 5910 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 26216
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/459 17288
/proc/meminfo: memFree=25910844/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26208 CPUtime=1242.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 123939 290 0 0 25 0 1 0 829530976 26836992 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6552 2165 192 642 0 5908 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 26208
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 17290
/proc/meminfo: memFree=25910956/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26208 CPUtime=1302.3 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 129931 299 0 0 25 0 1 0 829530976 26836992 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6552 2165 192 642 0 5908 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 26208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 17292
/proc/meminfo: memFree=25911908/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26208 CPUtime=1362.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 135918 311 0 0 25 0 1 0 829530976 26836992 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6552 2165 192 642 0 5908 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 26208
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 17293
/proc/meminfo: memFree=25911896/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26208 CPUtime=1422.31 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 141910 321 0 0 25 0 1 0 829530976 26836992 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6552 2165 192 642 0 5908 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 26208
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/459 17295
/proc/meminfo: memFree=25898716/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26208 CPUtime=1482.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 147895 334 0 0 25 0 1 0 829530976 26836992 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6552 2165 192 642 0 5908 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 26208
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/459 17323
/proc/meminfo: memFree=26201604/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26208 CPUtime=1542.29 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 153884 345 0 0 25 0 1 0 829530976 26836992 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6552 2165 192 642 0 5908 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 26208
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/459 17325
/proc/meminfo: memFree=26186540/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26200 CPUtime=1602.3 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2212 0 0 0 159873 357 0 0 25 0 1 0 829530976 26828800 2165 33554432000 134512640 137138936 4289863888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6550 2165 192 642 0 5906 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 26200
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/459 17327
/proc/meminfo: memFree=26179208/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26328 CPUtime=1662.3 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2248 0 0 0 165860 370 0 0 25 0 1 0 829530976 26959872 2201 33554432000 134512640 137138936 4289863888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6582 2201 192 642 0 5938 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 26328
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/459 17328
/proc/meminfo: memFree=26170368/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26904 CPUtime=1722.3 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 171851 379 0 0 25 0 1 0 829530976 27549696 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6726 2330 192 642 0 6082 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 26904
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/459 17330
/proc/meminfo: memFree=26162668/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26892 CPUtime=1782.3 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 177839 391 0 0 25 0 1 0 829530976 27537408 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 134577017 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6723 2330 192 642 0 6079 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 26892
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.10 2.04 2.01 3/459 17330
/proc/meminfo: memFree=26163408/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26892 CPUtime=1785.5 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 178158 392 0 0 25 0 1 0 829530976 27537408 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6723 2330 192 642 0 6079 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 26892
[startup+1791.92 s]
/proc/loadavg: 2.10 2.04 2.00 3/459 17330
/proc/meminfo: memFree=26163408/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26892 CPUtime=1791.92 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 178799 393 0 0 25 0 1 0 829530976 27537408 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6723 2330 192 642 0 6079 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 26892
[startup+1795.1 s]
/proc/loadavg: 2.09 2.04 2.00 3/459 17330
/proc/meminfo: memFree=26163284/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26888 CPUtime=1795.11 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 179118 393 0 0 25 0 1 0 829530976 27533312 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6722 2330 192 642 0 6078 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 26888
[startup+1796.7 s]
/proc/loadavg: 2.09 2.04 2.00 3/459 17330
/proc/meminfo: memFree=26163160/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26888 CPUtime=1796.7 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 179277 393 0 0 25 0 1 0 829530976 27533312 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 134607222 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6722 2330 192 642 0 6078 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 26888
[startup+1797.5 s]
/proc/loadavg: 2.09 2.04 2.00 3/459 17330
/proc/meminfo: memFree=26162788/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26888 CPUtime=1797.51 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 179357 394 0 0 25 0 1 0 829530976 27533312 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6722 2330 192 642 0 6078 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 26888
[startup+1797.9 s]
/proc/loadavg: 2.09 2.04 2.00 3/459 17330
/proc/meminfo: memFree=26162788/32951124 swapFree=60688864/67111528
[pid=17252] ppid=17250 vsize=26888 CPUtime=1797.9 cores=0,2,4,6
/proc/17252/stat : 17252 (bsolo) R 17250 17252 14960 0 -1 4202496 2377 0 0 0 179396 394 0 0 25 0 1 0 829530976 27533312 2330 33554432000 134512640 137138936 4289863888 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17252/statm: 6722 2330 192 642 0 6078 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 26888
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798
CPU user time (s): 1794.06
CPU system time (s): 3.9424
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 26912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 3.9424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2377
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= 4
involuntary context switches= 4774
runsolver used 8.43472 second user time and 17.7963 second system time
The end