0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692556-1338046751.opb>
2.29/2.32 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.29/2.32 c problem read in 2.32
4.79/4.85 c presolving:
10.69/10.76 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
12.58/12.66 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1978 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692556-1338046751/watcher-3692556-1338046751 -o /tmp/evaluation-result-3692556-1338046751/solver-3692556-1338046751 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692556-1338046751.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8541
/proc/meminfo: memFree=26622780/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 1776 0 0 0 0 0 0 0 20 0 1 0 270799544 12316672 1731 33554432000 4194304 10219143 140733261737616 140733261602456 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 3007 1740 398 1471 0 1527 0
[startup+0.00792808 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8541
/proc/meminfo: memFree=26622780/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=14004 CPUtime=0 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 2221 0 0 0 0 0 0 0 20 0 1 0 270799544 14340096 2176 33554432000 4194304 10219143 140733261737616 140733261602456 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 3501 2196 413 1471 0 2021 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14004
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8541
/proc/meminfo: memFree=26622780/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=47552 CPUtime=0.09 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 10646 0 0 0 8 1 0 0 20 0 1 0 270799544 48693248 10601 33554432000 4194304 10219143 140733261737616 140733261602456 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 11888 10601 421 1471 0 10408 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47552
[startup+0.300307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8541
/proc/meminfo: memFree=26622780/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=89532 CPUtime=0.29 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 21125 0 0 0 26 3 0 0 20 0 1 0 270799544 91680768 21080 33554432000 4194304 10219143 140733261737616 140733261602792 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 22639 21115 421 1471 0 21159 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 89532
[startup+0.700319 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8541
/proc/meminfo: memFree=26622780/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=204480 CPUtime=0.69 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 49881 0 0 0 60 9 0 0 20 0 1 0 270799544 209387520 49836 33554432000 4194304 10219143 140733261737616 140733261602792 9029200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 51120 49836 421 1471 0 49640 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 204480
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=26344384/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=414308 CPUtime=1.49 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 102094 0 0 0 133 16 0 0 20 0 1 0 270799544 424251392 102049 33554432000 4194304 10219143 140733261737616 140733261602328 5345852 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 103577 102049 421 1471 0 102097 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 414308
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=26136180/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=999560 CPUtime=3.09 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 248025 0 0 0 269 40 0 0 20 0 1 0 270799544 1023549440 248451 33554432000 4194304 10219143 140733261737616 140733261602792 4962128 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 249890 248451 473 1471 0 248410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 999560
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=25379520/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=1256432 CPUtime=6.29 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 308474 0 0 0 501 128 0 0 20 0 1 0 270799544 1286586368 311455 33554432000 4194304 10219143 140733261737616 140733261734616 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 314108 311455 550 1471 0 312628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1256432
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=24972876/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=1611300 CPUtime=12.68 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 442126 0 0 0 971 297 0 0 20 0 1 0 270799544 1649971200 399594 33554432000 4194304 10219143 140733261737616 140733261733672 8676064 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 402825 399594 583 1471 0 401345 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1611300
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8542
/proc/meminfo: memFree=24733932/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=1904880 CPUtime=25.49 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 493623 0 0 0 2187 362 0 0 20 0 1 0 270799544 1950597120 472113 33554432000 4194304 10219143 140733261737616 140733261733112 8969184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 476220 472113 611 1471 0 474740 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1904880
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8545
/proc/meminfo: memFree=24723608/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=1913520 CPUtime=51.08 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 495678 0 0 0 4746 362 0 0 20 0 1 0 270799544 1959444480 474168 33554432000 4194304 10219143 140733261737616 140733261733016 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 478380 474168 611 1471 0 476900 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1913520
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8546
/proc/meminfo: memFree=24693252/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=1943864 CPUtime=102.28 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 503077 0 0 0 9864 364 0 0 20 0 1 0 270799544 1990516736 481501 33554432000 4194304 10219143 140733261737616 140733261732936 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 485966 481501 611 1471 0 484486 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1943864
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8546
/proc/meminfo: memFree=23323256/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3347776 CPUtime=162.26 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 824735 0 0 0 15816 410 0 0 20 0 1 0 270799544 3428122624 823273 33554432000 4194304 10219143 140733261737616 140733261732728 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 836944 823273 611 1471 0 835464 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3347776
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8546
/proc/meminfo: memFree=23320868/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3348800 CPUtime=222.26 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 825169 0 0 0 21815 411 0 0 20 0 1 0 270799544 3429171200 823707 33554432000 4194304 10219143 140733261737616 140733261732728 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 837200 823707 611 1471 0 835720 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3348800
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8546
/proc/meminfo: memFree=23320276/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3348800 CPUtime=282.25 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 825306 0 0 0 27814 411 0 0 20 0 1 0 270799544 3429171200 823844 33554432000 4194304 10219143 140733261737616 140733261732728 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 837200 823844 611 1471 0 835720 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3348800
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8546
/proc/meminfo: memFree=23315840/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3351872 CPUtime=342.24 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 826279 0 0 0 33813 411 0 0 20 0 1 0 270799544 3432316928 824817 33554432000 4194304 10219143 140733261737616 140733261732728 8969212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 837968 824817 611 1471 0 836488 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3351872
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8547
/proc/meminfo: memFree=23315000/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3351872 CPUtime=402.23 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 826459 0 0 0 39812 411 0 0 20 0 1 0 270799544 3432316928 824997 33554432000 4194304 10219143 140733261737616 140733261732728 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 837968 824997 611 1471 0 836488 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3351872
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8547
/proc/meminfo: memFree=23314532/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3351872 CPUtime=462.22 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 826598 0 0 0 45811 411 0 0 20 0 1 0 270799544 3432316928 825136 33554432000 4194304 10219143 140733261737616 140733261732728 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 837968 825136 611 1471 0 836488 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3351872
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8547
/proc/meminfo: memFree=23311340/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3353920 CPUtime=522.21 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 827315 0 0 0 51810 411 0 0 20 0 1 0 270799544 3434414080 825853 33554432000 4194304 10219143 140733261737616 140733261732728 8969254 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 838480 825853 611 1471 0 837000 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3353920
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8547
/proc/meminfo: memFree=23307092/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3354752 CPUtime=582.2 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 827703 0 0 0 57808 412 0 0 20 0 1 0 270799544 3435266048 826241 33554432000 4194304 10219143 140733261737616 140733261732728 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 838688 826241 611 1471 0 837208 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3354752
[startup+642.3 s]
################
# More data... #
################
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 830567 0 0 0 99801 413 0 0 20 0 1 0 270799544 3441885184 829273 33554432000 4194304 10219143 140733261737616 140733261732728 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 840304 829273 611 1471 0 838824 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3361216
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8552
/proc/meminfo: memFree=23264784/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3363264 CPUtime=1062.13 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 831264 0 0 0 105800 413 0 0 20 0 1 0 270799544 3443982336 829969 33554432000 4194304 10219143 140733261737616 140733261732728 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 840816 829969 611 1471 0 839336 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3363264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8552
/proc/meminfo: memFree=23254584/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3364288 CPUtime=1122.12 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 831739 0 0 0 111799 413 0 0 20 0 1 0 270799544 3445030912 833156 33554432000 4194304 10219143 140733261737616 140733261732728 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 841072 833156 611 1471 0 839592 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3364288
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8552
/proc/meminfo: memFree=23246000/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3364288 CPUtime=1182.1 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 831892 0 0 0 117797 413 0 0 20 0 1 0 270799544 3445030912 833799 33554432000 4194304 10219143 140733261737616 140733261732728 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 841072 833799 611 1471 0 839592 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 3364288
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8552
/proc/meminfo: memFree=23249876/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3366336 CPUtime=1242.1 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 832597 0 0 0 123796 414 0 0 20 0 1 0 270799544 3447128064 834818 33554432000 4194304 10219143 140733261737616 140733261732728 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 841584 834818 611 1471 0 840104 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3366336
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 8556
/proc/meminfo: memFree=23248408/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3367168 CPUtime=1302.1 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 832971 0 0 0 129796 414 0 0 20 0 1 0 270799544 3447980032 835392 33554432000 4194304 10219143 140733261737616 140733261732728 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 841792 835392 611 1471 0 840312 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3367168
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 8578
/proc/meminfo: memFree=23214512/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3369216 CPUtime=1362.08 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 833704 0 0 0 135794 414 0 0 20 0 1 0 270799544 3450077184 836125 33554432000 4194304 10219143 140733261737616 140733261732728 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 842304 836125 611 1471 0 840824 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3369216
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=24201548/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3370240 CPUtime=1422.08 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 834153 0 0 0 141794 414 0 0 20 0 1 0 270799544 3451125760 836574 33554432000 4194304 10219143 140733261737616 140733261732728 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 842560 836574 611 1471 0 841080 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3370240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=24192584/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3370240 CPUtime=1482.06 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 834312 0 0 0 147792 414 0 0 20 0 1 0 270799544 3451125760 836744 33554432000 4194304 10219143 140733261737616 140733261732728 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 842560 836744 611 1471 0 841080 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3370240
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8616
/proc/meminfo: memFree=24183972/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3372096 CPUtime=1542.06 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 834968 0 0 0 153791 415 0 0 20 0 1 0 270799544 3453026304 838353 33554432000 4194304 10219143 140733261737616 140733261732728 8969249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 843024 838353 611 1471 0 841544 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3372096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=24155020/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3373120 CPUtime=1602.05 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 835318 0 0 0 159790 415 0 0 20 0 1 0 270799544 3454074880 839483 33554432000 4194304 10219143 140733261737616 140733261732728 8969229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 843280 839483 611 1471 0 841800 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3373120
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=24138508/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3374144 CPUtime=1662.04 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 835630 0 0 0 165789 415 0 0 20 0 1 0 270799544 3455123456 839795 33554432000 4194304 10219143 140733261737616 140733261732728 8969260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 843536 839795 611 1471 0 842056 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3374144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=24110956/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3375168 CPUtime=1722.03 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 835950 0 0 0 171788 415 0 0 20 0 1 0 270799544 3456172032 840115 33554432000 4194304 10219143 140733261737616 140733261732728 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 843792 840115 611 1471 0 842312 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3375168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=24163456/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3376000 CPUtime=1782.02 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 836216 0 0 0 177787 415 0 0 20 0 1 0 270799544 3457024000 840381 33554432000 4194304 10219143 140733261737616 140733261732728 8969244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 844000 840381 611 1471 0 842520 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3376000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8617
/proc/meminfo: memFree=24161564/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3378048 CPUtime=1800.02 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 836753 0 0 0 179587 415 0 0 20 0 1 0 270799544 3459121152 840918 33554432000 4194304 10219143 140733261737616 140733261732728 8969224 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 844512 840918 611 1471 0 843032 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3378048
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8541
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8618
/proc/meminfo: memFree=24161564/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3378048 CPUtime=1801.11 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 836753 0 0 0 179696 415 0 0 20 0 1 0 270799544 3459121152 840918 33554432000 4194304 10219143 140733261737616 140733261732160 8969234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 844512 840918 611 1471 0 843032 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3378048
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8618
/proc/meminfo: memFree=24161308/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=3378048 CPUtime=1801.91 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4202496 836753 0 0 0 179776 415 0 0 20 0 1 0 270799544 3459121152 840918 33554432000 4194304 10219143 140733261737616 140733261732160 8969239 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 844512 840918 611 1471 0 843032 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3378048
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8618
/proc/meminfo: memFree=24161308/32873844 swapFree=7620/7620
[pid=8541] ppid=8539 vsize=0 CPUtime=1802.11 cores=1,3,5,7
/proc/8541/stat : 8541 (scip-2.1.1.4exp) R 8539 8541 3948 0 -1 4203524 836753 0 0 0 179787 424 0 0 20 0 1 0 270799544 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8541/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.14
CPU user time (s): 1797.88
CPU system time (s): 4.26735
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3378048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.88
system time used= 4.26735
maximum resident set size= 3363672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836753
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= 11
involuntary context switches= 1855
runsolver used 3.40648 second user time and 9.48256 second system time
The end