0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3453540-1307121495.opb>
1.19/1.22 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192648 constraints
1.19/1.22 c problem read
1.19/1.22 c presolving settings loaded
1.79/1.86 c presolving:
6.69/6.76 c (round 1) 5084 del vars, 14555 del conss, 0 add conss, 3949 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13022864 impls, 0 clqs
8.19/8.20 c (round 2) 9176 del vars, 33400 del conss, 0 add conss, 7765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13048334 impls, 0 clqs
8.59/8.64 c (round 3) 11001 del vars, 40969 del conss, 0 add conss, 8891 chg bounds, 59 chg sides, 91 chg coeffs, 0 upgd conss, 13063394 impls, 0 clqs
8.89/8.90 c (round 4) 11999 del vars, 45131 del conss, 0 add conss, 9558 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13070625 impls, 0 clqs
8.99/9.03 c (round 5) 12523 del vars, 47496 del conss, 0 add conss, 9850 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13074624 impls, 0 clqs
9.09/9.12 c (round 6) 12775 del vars, 48611 del conss, 0 add conss, 10006 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13076294 impls, 0 clqs
9.09/9.19 c (round 7) 12865 del vars, 49091 del conss, 0 add conss, 10060 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077120 impls, 0 clqs
9.19/9.24 c (round 8) 12921 del vars, 49373 del conss, 0 add conss, 10100 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077356 impls, 0 clqs
9.19/9.29 c (round 9) 12937 del vars, 49468 del conss, 0 add conss, 10108 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077440 impls, 0 clqs
9.29/9.34 c (round 10) 12941 del vars, 49497 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 0 upgd conss, 13077452 impls, 0 clqs
9.80/9.88 c (round 11) 12941 del vars, 49501 del conss, 0 add conss, 10110 chg bounds, 74 chg sides, 105 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
10.19/10.28 c (round 12) 12941 del vars, 49506 del conss, 39 add conss, 10110 chg bounds, 178 chg sides, 385 chg coeffs, 143147 upgd conss, 13077452 impls, 0 clqs
487.70/487.73 c (487.7s) probing: 1000/41841 (2.4%) - 0 fixings, 0 aggregations, 11452976 implications, 0 bound changes
904.41/904.45 c (904.5s) probing: 2000/41841 (4.8%) - 0 fixings, 0 aggregations, 18773931 implications, 0 bound changes
904.81/904.85 c (904.9s) probing: 2001/41841 (4.8%) - 0 fixings, 0 aggregations, 18779824 implications, 0 bound changes
904.81/904.85 c (904.9s) probing aborted: 2000/2000 successive useless probings
904.81/904.85 c presolving (13 rounds):
904.81/904.85 c 12941 deleted vars, 49513 deleted constraints, 39 added constraints, 10110 tightened bounds, 0 added holes, 178 changed sides, 394 changed coefficients
904.81/904.85 c 75341070 implications, 0 cliques
904.81/904.85 c presolved problem has 41841 variables (41841 bin, 0 int, 0 impl, 0 cont) and 143174 constraints
904.81/904.85 c 1119 constraints of type <knapsack>
904.81/904.85 c 121373 constraints of type <setppc>
904.81/904.85 c 20682 constraints of type <logicor>
904.81/904.85 c transformed objective value is always integral (scale: 1)
904.81/904.85 c Presolving Time: 903.45
904.81/904.85 c - non default parameters ----------------------------------------------------------------------
904.81/904.85 c # SCIP version 2.0.1.4
904.81/904.85 c
904.81/904.85 c # frequency for displaying node information lines
904.81/904.85 c # [type: int, range: [-1,2147483647], default: 100]
904.81/904.85 c display/freq = 10000
904.81/904.85 c
904.81/904.85 c # maximal time in seconds to run
904.81/904.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
904.81/904.85 c limits/time = 1800
904.81/904.85 c
904.81/904.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
904.81/904.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
904.81/904.85 c limits/memory = 13950
904.81/904.85 c
904.81/904.85 c # default clock type (1: CPU user seconds, 2: wall clock time)
904.81/904.85 c # [type: int, range: [1,2], default: 1]
904.81/904.85 c timing/clocktype = 2
904.81/904.85 c
904.81/904.85 c # belongs reading time to solving time?
904.81/904.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85 c timing/reading = TRUE
904.81/904.85 c
904.81/904.85 c # should presolving try to simplify inequalities
904.81/904.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85 c constraints/linear/simplifyinequalities = TRUE
904.81/904.85 c
904.81/904.85 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
904.81/904.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85 c constraints/indicator/addCouplingCons = TRUE
904.81/904.85 c
904.81/904.85 c # should presolving try to simplify knapsacks
904.81/904.85 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
904.81/904.85 c constraints/knapsack/simplifyinequalities = TRUE
904.81/904.85 c
904.81/904.85 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
904.81/904.85 c # [type: int, range: [-1,2147483647], default: -1]
904.81/904.85 c separating/rapidlearning/freq = 0
904.81/904.85 c
904.81/904.85 c -----------------------------------------------------------------------------------------------
904.81/904.85 c start solving
904.81/904.88 c
1027.01/1027.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.01/1027.09 c 1027s| 1 | 0 | 36468 | - |2211M| 0 | 294 | 41k| 143k| 41k| 143k| 0 | 2 | 0 | 8.100000e+01 | -- | Inf
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-3453540-1307121495/watcher-3453540-1307121495 -o /tmp/evaluation-result-3453540-1307121495/solver-3453540-1307121495 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453540-1307121495.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.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=10456 CPUtime=0 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 1604 0 0 0 0 0 0 0 25 0 1 0 823752110 10706944 1558 33554432000 4194304 9128323 140733195764608 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 2614 1558 400 1205 0 1405 0
[startup+0.0721909 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=22824 CPUtime=0.06 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 4690 0 0 0 6 0 0 0 25 0 1 0 823752110 23371776 4642 33554432000 4194304 9128323 140733195764608 18446744073709551615 6520002 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 5706 4642 400 1205 0 4497 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22824
[startup+0.100185 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=27364 CPUtime=0.09 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 5857 0 0 0 9 0 0 0 25 0 1 0 823752110 28020736 5809 33554432000 4194304 9128323 140733195764608 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 6841 5809 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27364
[startup+0.300148 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=43888 CPUtime=0.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 10002 0 0 0 28 1 0 0 25 0 1 0 823752110 44941312 9922 33554432000 4194304 9128323 140733195764608 18446744073709551615 4914167 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 10972 9922 400 1205 0 9763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43888
[startup+0.701077 s]
/proc/loadavg: 2.11 2.05 2.01 3/505 4611
/proc/meminfo: memFree=30345096/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=65328 CPUtime=0.69 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 15351 0 0 0 67 2 0 0 25 0 1 0 823752110 66895872 15263 33554432000 4194304 9128323 140733195764608 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4611/statm: 16332 15263 400 1205 0 15123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65328
[startup+1.50094 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 4612
/proc/meminfo: memFree=30193188/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=236160 CPUtime=1.49 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 57794 0 0 0 142 7 0 0 25 0 1 0 823752110 241827840 57610 33554432000 4194304 9128323 140733195764608 18446744073709551615 4338304 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 59040 57610 467 1205 0 57831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236160
[startup+3.10065 s]
/proc/loadavg: 2.11 2.05 2.01 3/506 4612
/proc/meminfo: memFree=29697564/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=453744 CPUtime=3.09 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 119768 0 0 0 296 13 0 0 25 0 1 0 823752110 464633856 111302 33554432000 4194304 9128323 140733195764608 18446744073709551615 6592283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 113436 111302 510 1205 0 112227 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 453744
[startup+6.3011 s]
/proc/loadavg: 2.10 2.05 2.01 3/506 4612
/proc/meminfo: memFree=29125700/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=690956 CPUtime=6.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 177115 0 0 0 611 18 0 0 25 0 1 0 823752110 707538944 168649 33554432000 4194304 9128323 140733195764608 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 172739 168649 519 1205 0 171530 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 690956
[startup+12.701 s]
/proc/loadavg: 2.09 2.05 2.01 3/506 4613
/proc/meminfo: memFree=28919704/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=776936 CPUtime=12.69 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 212148 0 0 0 1247 22 0 0 25 0 1 0 823752110 795582464 189609 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 194234 189609 580 1205 0 193025 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 776936
[startup+25.5007 s]
/proc/loadavg: 2.07 2.04 2.01 3/506 4613
/proc/meminfo: memFree=28833344/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=823848 CPUtime=25.49 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 223543 0 0 0 2525 24 0 0 25 0 1 0 823752110 843620352 200839 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 205962 200839 580 1205 0 204753 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 823848
[startup+51.1002 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 4614
/proc/meminfo: memFree=28669528/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=907936 CPUtime=51.09 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 244204 0 0 0 5083 26 0 0 25 0 1 0 823752110 929726464 221500 33554432000 4194304 9128323 140733195764608 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 226984 221500 580 1205 0 225775 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 907936
[startup+102.319 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 4615
/proc/meminfo: memFree=28304844/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1108804 CPUtime=102.31 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 292047 0 0 0 10199 32 0 0 25 0 1 0 823752110 1135415296 269343 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 277201 269343 580 1205 0 275992 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1108804
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 4617
/proc/meminfo: memFree=27870944/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1305800 CPUtime=162.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 342644 0 0 0 16192 37 0 0 25 0 1 0 823752110 1337139200 319478 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 326450 319478 580 1205 0 325241 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1305800
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 4618
/proc/meminfo: memFree=27448824/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1531312 CPUtime=222.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 399412 0 0 0 22184 45 0 0 25 0 1 0 823752110 1568063488 376180 33554432000 4194304 9128323 140733195764608 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 382828 376180 580 1205 0 381619 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1531312
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4620
/proc/meminfo: memFree=27009324/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1791576 CPUtime=282.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 463978 0 0 0 28175 54 0 0 25 0 1 0 823752110 1834573824 440746 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 447894 440746 580 1205 0 446685 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1791576
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4621
/proc/meminfo: memFree=26652544/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=1983332 CPUtime=342.29 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 510687 0 0 0 34168 61 0 0 25 0 1 0 823752110 2030931968 487455 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 495833 487455 580 1205 0 494624 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1983332
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 4623
/proc/meminfo: memFree=26406360/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2107796 CPUtime=402.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 541385 0 0 0 40164 66 0 0 25 0 1 0 823752110 2158383104 518153 33554432000 4194304 9128323 140733195764608 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 526949 518153 580 1205 0 525740 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2107796
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/506 4625
/proc/meminfo: memFree=26155856/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2207988 CPUtime=462.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 566834 0 0 0 46160 70 0 0 25 0 1 0 823752110 2260979712 543602 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 551997 543602 580 1205 0 550788 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2207988
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/506 4626
/proc/meminfo: memFree=26008628/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2301468 CPUtime=522.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 590052 0 0 0 52158 72 0 0 25 0 1 0 823752110 2356703232 566820 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 575367 566820 584 1205 0 574158 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2301468
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/506 4628
/proc/meminfo: memFree=25780060/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=2403096 CPUtime=582.3 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 615999 0 0 0 58155 75 0 0 25 0 1 0 823752110 2460770304 592767 33554432000 4194304 9128323 140733195764608 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 600774 592767 584 1205 0 599565 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2403096
[startup+642.301 s]
################
# More data... #
################
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 790449 0 0 0 106115 116 0 0 25 0 1 0 823752110 3162746880 762059 33554432000 4194304 9128323 140733195764608 18446744073709551615 7312754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762059 1585 1205 0 770946 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3088620
[startup+1122.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/506 4642
/proc/meminfo: memFree=24626132/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1122.31 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 790872 0 0 0 112103 128 0 0 25 0 1 0 823752110 3162746880 762482 33554432000 4194304 9128323 140733195764608 18446744073709551615 7078155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762482 1585 1205 0 770946 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3088620
[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/506 4644
/proc/meminfo: memFree=24624740/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1182.31 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 118100 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3088620
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/506 4645
/proc/meminfo: memFree=24623828/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1242.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 124101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3088620
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 4647
/proc/meminfo: memFree=24623048/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1302.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 130101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243514 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3088620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 4649
/proc/meminfo: memFree=24622888/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1362.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 136101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3088620
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4650
/proc/meminfo: memFree=24622740/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1422.34 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 142103 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3088620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4652
/proc/meminfo: memFree=24623308/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1482.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 148101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3088620
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/506 4653
/proc/meminfo: memFree=24624764/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1542.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 154101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3088620
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/506 4655
/proc/meminfo: memFree=24624588/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1602.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 160101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3088620
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 4657
/proc/meminfo: memFree=24623076/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1662.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 166101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243218 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3088620
[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/506 4658
/proc/meminfo: memFree=24532400/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1722.33 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 172102 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3088620
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/506 4660
/proc/meminfo: memFree=24358144/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1782.32 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 178101 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3088620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.82 2.00 1.99 2/500 4677
/proc/meminfo: memFree=27340416/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1800.03 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791230 0 0 0 179872 131 0 0 25 0 1 0 823752110 3162746880 762794 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762794 1717 1205 0 770946 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3088620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4611
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339664/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1801.42 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791367 0 0 0 180011 131 0 0 25 0 1 0 823752110 3162746880 762905 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762905 1691 1205 0 770946 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 3088620
[startup+1801.82 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339784/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1801.84 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791367 0 0 0 180053 131 0 0 25 0 1 0 823752110 3162746880 762905 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762905 1691 1205 0 770946 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3088620
[startup+1802 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339784/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=3088620 CPUtime=1802.02 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4202496 791367 0 0 0 180071 131 0 0 25 0 1 0 823752110 3162746880 762905 33554432000 4194304 9128323 140733195764608 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/4611/statm: 772155 762905 1691 1205 0 770946 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 3088620
[startup+1802.1 s]
/proc/loadavg: 1.82 2.00 1.99 2/501 4678
/proc/meminfo: memFree=27339784/32951124 swapFree=51712236/67111528
[pid=4611] ppid=4609 vsize=0 CPUtime=1802.12 cores=1,3,5,7
/proc/4611/stat : 4611 (scip-2.0.1.4.li) R 4609 4611 2157 0 -1 4203524 791367 0 0 0 180073 139 0 0 25 0 1 0 823752110 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/4611/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.17
CPU user time (s): 1800.74
CPU system time (s): 1.43178
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3088620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.74
system time used= 1.43178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 791367
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= 1950
runsolver used 8.64768 second user time and 20.8968 second system time
The end