runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491211-1307770198/watcher-3491211-1307770198 -o /tmp/evaluation-result-3491211-1307770198/solver-3491211-1307770198 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491211-1307770198.opb --verbosity=0 --format=opb --randomseed=391465070
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: 1.92 1.99 1.99 3/178 21318
/proc/meminfo: memFree=31541364/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=7452 CPUtime=0 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 396 0 0 0 0 0 0 0 25 0 1 0 888617962 7630848 348 33554432000 4194304 6720400 140736090370000 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 1863 349 232 617 0 1237 0
[startup+0.019536 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 21318
/proc/meminfo: memFree=31541364/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=9400 CPUtime=0.01 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 893 0 0 0 1 0 0 0 25 0 1 0 888617962 9625600 845 33554432000 4194304 6720400 140736090370000 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 2350 845 255 617 0 1724 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9400
[startup+0.100531 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 21318
/proc/meminfo: memFree=31541364/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=9520 CPUtime=0.09 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 1165 0 0 0 9 0 0 0 25 0 1 0 888617962 9748480 1116 33554432000 4194304 6720400 140736090370000 18446744073709551615 4610378 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 2380 1117 265 617 0 1754 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9520
[startup+0.300471 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 21318
/proc/meminfo: memFree=31541364/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=12336 CPUtime=0.29 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 2082 0 0 0 29 0 0 0 25 0 1 0 888617962 12632064 2029 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 3084 2029 265 617 0 2458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12336
[startup+0.700399 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 21318
/proc/meminfo: memFree=31541364/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=24032 CPUtime=0.69 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 4114 0 0 0 69 0 0 0 25 0 1 0 888617962 24608768 4051 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 6008 4051 265 617 0 5382 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24032
[startup+1.50026 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 21319
/proc/meminfo: memFree=31500956/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=12792 CPUtime=1.49 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 9279 0 0 0 148 1 0 0 25 0 1 0 888617962 13099008 2668 33554432000 4194304 6720400 140736090370000 18446744073709551615 4819968 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 3198 2668 265 617 0 2572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12792
[startup+3.10099 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 21319
/proc/meminfo: memFree=31693152/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=43232 CPUtime=3.09 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 21029 0 0 0 306 3 0 0 25 0 1 0 888617962 44269568 6067 33554432000 4194304 6720400 140736090370000 18446744073709551615 4613449 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 10808 6068 265 617 0 10182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43232
[startup+6.30041 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 21319
/proc/meminfo: memFree=31580424/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=62084 CPUtime=6.29 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 42334 0 0 0 624 5 0 0 25 0 1 0 888617962 63574016 10426 33554432000 4194304 6720400 140736090370000 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 15521 10426 265 617 0 14895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62084
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 21320
/proc/meminfo: memFree=31659128/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=62084 CPUtime=12.69 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 72827 0 0 0 1260 9 0 0 25 0 1 0 888617962 63574016 15094 33554432000 4194304 6720400 140736090370000 18446744073709551615 5806606 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 15521 15094 265 617 0 14895 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62084
[startup+25.5009 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 21320
/proc/meminfo: memFree=31505464/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=62084 CPUtime=25.49 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 152061 0 0 0 2532 17 0 0 25 0 1 0 888617962 63574016 15094 33554432000 4194304 6720400 140736090370000 18446744073709551615 4816944 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 15521 15094 265 617 0 14895 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62084
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 21321
/proc/meminfo: memFree=31606936/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=111404 CPUtime=51.09 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 327119 0 0 0 5068 41 0 0 25 0 1 0 888617962 114077696 24615 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 27851 24615 265 617 0 27225 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111404
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 21322
/proc/meminfo: memFree=31231692/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154136 CPUtime=102.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 647236 0 0 0 10144 86 0 0 25 0 1 0 888617962 157835264 37767 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38534 37767 265 617 0 37908 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154136
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21324
/proc/meminfo: memFree=31351332/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=123316 CPUtime=162.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 989920 0 0 0 16098 132 0 0 25 0 1 0 888617962 126275584 28631 33554432000 4194304 6720400 140736090370000 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 30829 28632 265 617 0 30203 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 123316
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21325
/proc/meminfo: memFree=31130580/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=73996 CPUtime=222.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 1360698 0 0 0 22049 181 0 0 25 0 1 0 888617962 75771904 18072 33554432000 4194304 6720400 140736090370000 18446744073709551615 4819876 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 18499 18072 265 617 0 17873 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 73996
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21327
/proc/meminfo: memFree=30981264/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=73996 CPUtime=282.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 1741801 0 0 0 27998 232 0 0 25 0 1 0 888617962 75771904 18072 33554432000 4194304 6720400 140736090370000 18446744073709551615 4610374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 18499 18072 265 617 0 17873 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 73996
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21328
/proc/meminfo: memFree=31349880/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154136 CPUtime=342.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 2125502 0 0 0 33944 286 0 0 25 0 1 0 888617962 157835264 31987 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38534 31988 265 617 0 37908 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 154136
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21330
/proc/meminfo: memFree=31178356/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=123316 CPUtime=402.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 2501665 0 0 0 39888 342 0 0 25 0 1 0 888617962 126275584 25789 33554432000 4194304 6720400 140736090370000 18446744073709551615 4803374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 30829 25789 265 617 0 30203 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 123316
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21332
/proc/meminfo: memFree=31341884/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154136 CPUtime=462.3 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 2874577 0 0 0 45834 396 0 0 25 0 1 0 888617962 157835264 36985 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38534 36985 265 617 0 37908 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 154136
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21333
/proc/meminfo: memFree=31375840/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154136 CPUtime=522.31 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 3248314 0 0 0 51777 454 0 0 25 0 1 0 888617962 157835264 32720 33554432000 4194304 6720400 140736090370000 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38534 32720 265 617 0 37908 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 154136
[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21335
/proc/meminfo: memFree=30763256/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=204224 CPUtime=582.31 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 3629642 0 0 0 57724 507 0 0 25 0 1 0 888617962 209125376 40553 33554432000 4194304 6720400 140736090370000 18446744073709551615 4812163 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 51056 40553 265 617 0 50430 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 204224
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21341
/proc/meminfo: memFree=30996004/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=185588 CPUtime=822.31 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 5102691 0 0 0 81499 732 0 0 25 0 1 0 888617962 190042112 42829 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 46397 42829 265 617 0 45771 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 185588
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 21343
/proc/meminfo: memFree=31266920/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154768 CPUtime=882.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 5459341 0 0 0 87447 785 0 0 25 0 1 0 888617962 158482432 36953 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38692 36953 265 617 0 38066 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 154768
[startup+942.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 21344
/proc/meminfo: memFree=30802632/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=235676 CPUtime=942.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 5823499 0 0 0 93391 841 0 0 25 0 1 0 888617962 241332224 48746 33554432000 4194304 6720400 140736090370000 18446744073709551615 5734706 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 58919 48746 265 617 0 58293 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 235676
[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21346
/proc/meminfo: memFree=31376844/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154768 CPUtime=1002.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 6183319 0 0 0 99334 898 0 0 25 0 1 0 888617962 158482432 36688 33554432000 4194304 6720400 140736090370000 18446744073709551615 4811645 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38692 36689 265 617 0 38066 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 154768
[startup+1062.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 21348
/proc/meminfo: memFree=30949876/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154768 CPUtime=1062.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 6537682 0 0 0 105282 950 0 0 25 0 1 0 888617962 158482432 34352 33554432000 4194304 6720400 140736090370000 18446744073709551615 4811665 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38692 34352 265 617 0 38066 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 154768
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 21349
/proc/meminfo: memFree=31361276/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=185588 CPUtime=1122.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 6889629 0 0 0 111232 1000 0 0 25 0 1 0 888617962 190042112 40189 33554432000 4194304 6720400 140736090370000 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 46397 40189 265 617 0 45771 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 185588
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21351
/proc/meminfo: memFree=30998296/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=185588 CPUtime=1182.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 7212040 0 0 0 117183 1049 0 0 25 0 1 0 888617962 190042112 43356 33554432000 4194304 6720400 140736090370000 18446744073709551615 4817255 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 46397 43356 265 617 0 45771 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 185588
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21352
/proc/meminfo: memFree=31231136/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=317064 CPUtime=1242.33 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 7551120 0 0 0 123132 1101 0 0 25 0 1 0 888617962 324673536 66924 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 79266 66924 265 617 0 78640 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 317064
[startup+1302.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 21393
/proc/meminfo: memFree=31497952/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=105448 CPUtime=1302.33 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 7887733 0 0 0 129075 1158 0 0 25 0 1 0 888617962 107978752 25932 33554432000 4194304 6720400 140736090370000 18446744073709551615 4595122 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 26362 25932 265 617 0 25736 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 105448
[startup+1362.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 21395
/proc/meminfo: memFree=31485988/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=154768 CPUtime=1362.32 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 8234546 0 0 0 135026 1206 0 0 25 0 1 0 888617962 158482432 35714 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 38692 35714 265 617 0 38066 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 154768
[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21396
/proc/meminfo: memFree=31357992/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=235676 CPUtime=1422.34 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 8565929 0 0 0 140980 1254 0 0 25 0 1 0 888617962 241332224 48639 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 58919 48639 265 617 0 58293 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 235676
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 21398
/proc/meminfo: memFree=31405692/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=185588 CPUtime=1482.34 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 8905923 0 0 0 146924 1310 0 0 25 0 1 0 888617962 190042112 42620 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 46397 42620 265 617 0 45771 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 185588
[startup+1542.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 21399
/proc/meminfo: memFree=31312160/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=318824 CPUtime=1542.33 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 9245566 0 0 0 152870 1363 0 0 25 0 1 0 888617962 326475776 59256 33554432000 4194304 6720400 140736090370000 18446744073709551615 4804253 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 79706 59256 265 617 0 79080 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 318824
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21401
/proc/meminfo: memFree=31291656/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=319392 CPUtime=1602.34 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 9559169 0 0 0 158823 1411 0 0 25 0 1 0 888617962 327057408 62501 33554432000 4194304 6720400 140736090370000 18446744073709551615 4811729 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 79848 62501 265 617 0 79222 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 319392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21403
/proc/meminfo: memFree=31337244/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=190760 CPUtime=1662.34 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 9898275 0 0 0 164773 1461 0 0 25 0 1 0 888617962 195338240 44984 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 47690 44984 265 617 0 47064 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 190760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21404
/proc/meminfo: memFree=31287108/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=323976 CPUtime=1722.34 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 10233911 0 0 0 170721 1513 0 0 25 0 1 0 888617962 331751424 60294 33554432000 4194304 6720400 140736090370000 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 80994 60294 265 617 0 80368 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 323976
[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 21406
/proc/meminfo: memFree=31366552/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=163764 CPUtime=1782.35 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 10567238 0 0 0 176668 1567 0 0 25 0 1 0 888617962 167694336 39283 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 40941 39283 265 617 0 40315 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 163764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 21406
/proc/meminfo: memFree=31316812/32951124 swapFree=67063556/67111528
[pid=21318] ppid=21316 vsize=245432 CPUtime=1800.04 cores=0,2,4,6
/proc/21318/stat : 21318 (minisatid) R 21316 21318 20281 0 -1 4202496 10664403 0 0 0 178423 1581 0 0 25 0 1 0 888617962 251322368 48943 33554432000 4194304 6720400 140736090370000 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/21318/statm: 61358 48943 265 617 0 60732 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 245432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1784.24
CPU system time (s): 15.8266
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 326060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.24
system time used= 15.8266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10664409
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= 1065
runsolver used 2.71259 second user time and 5.57215 second system time
The end