0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3489733-1307792124.opb>
1.29/1.33 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234431 constraints
1.29/1.33 c problem read
1.29/1.33 c presolving settings loaded
1.78/1.80 c presolving:
9.49/9.51 c (round 1) 4196 del vars, 12332 del conss, 0 add conss, 2829 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16174414 impls, 0 clqs
13.10/13.15 c (round 2) 10548 del vars, 32884 del conss, 0 add conss, 8730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16201452 impls, 0 clqs
14.39/14.43 c (round 3) 12473 del vars, 42558 del conss, 0 add conss, 9936 chg bounds, 22 chg sides, 35 chg coeffs, 0 upgd conss, 16211827 impls, 0 clqs
14.99/15.05 c (round 4) 13460 del vars, 46311 del conss, 0 add conss, 10503 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16217065 impls, 0 clqs
15.30/15.35 c (round 5) 13901 del vars, 48129 del conss, 0 add conss, 10719 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16219790 impls, 0 clqs
15.49/15.50 c (round 6) 14061 del vars, 48873 del conss, 0 add conss, 10791 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16220721 impls, 0 clqs
15.49/15.57 c (round 7) 14101 del vars, 49103 del conss, 0 add conss, 10800 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16221133 impls, 0 clqs
15.59/15.64 c (round 8) 14109 del vars, 49156 del conss, 0 add conss, 10804 chg bounds, 43 chg sides, 64 chg coeffs, 0 upgd conss, 16221161 impls, 0 clqs
16.29/16.36 c (round 9) 14109 del vars, 49168 del conss, 0 add conss, 10804 chg bounds, 43 chg sides, 64 chg coeffs, 185263 upgd conss, 16221161 impls, 0 clqs
17.50/17.55 c (round 10) 14109 del vars, 49189 del conss, 58 add conss, 10804 chg bounds, 124 chg sides, 318 chg coeffs, 185263 upgd conss, 16221161 impls, 0 clqs
868.20/868.26 c (868.3s) probing: 1000/58733 (1.7%) - 0 fixings, 0 aggregations, 11084918 implications, 0 bound changes
1344.92/1344.94 c (1344.9s) probing: 2000/58733 (3.4%) - 0 fixings, 0 aggregations, 16663939 implications, 0 bound changes
1345.22/1345.27 c (1345.3s) probing: 2001/58733 (3.4%) - 0 fixings, 0 aggregations, 16666835 implications, 0 bound changes
1345.22/1345.27 c (1345.3s) probing aborted: 2000/2000 successive useless probings
1345.22/1345.27 c presolving (11 rounds):
1345.22/1345.27 c 14109 deleted vars, 49199 deleted constraints, 58 added constraints, 10804 tightened bounds, 0 added holes, 124 changed sides, 323 changed coefficients
1345.22/1345.27 c 72101219 implications, 0 cliques
1345.22/1345.27 c presolved problem has 58733 variables (58733 bin, 0 int, 0 impl, 0 cont) and 185290 constraints
1345.22/1345.27 c 1112 constraints of type <knapsack>
1345.22/1345.27 c 155113 constraints of type <setppc>
1345.22/1345.27 c 29065 constraints of type <logicor>
1345.22/1345.27 c transformed objective value is always integral (scale: 1)
1345.22/1345.27 c Presolving Time: 1343.60
1345.22/1345.27 c - non default parameters ----------------------------------------------------------------------
1345.22/1345.27 c # SCIP version 2.0.1.5
1345.22/1345.27 c
1345.22/1345.27 c # frequency for displaying node information lines
1345.22/1345.27 c # [type: int, range: [-1,2147483647], default: 100]
1345.22/1345.27 c display/freq = 10000
1345.22/1345.27 c
1345.22/1345.27 c # maximal time in seconds to run
1345.22/1345.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1345.22/1345.27 c limits/time = 1797
1345.22/1345.27 c
1345.22/1345.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1345.22/1345.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1345.22/1345.27 c limits/memory = 13950
1345.22/1345.27 c
1345.22/1345.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
1345.22/1345.27 c # [type: int, range: [1,2], default: 1]
1345.22/1345.27 c timing/clocktype = 2
1345.22/1345.27 c
1345.22/1345.27 c # belongs reading time to solving time?
1345.22/1345.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1345.22/1345.27 c timing/reading = TRUE
1345.22/1345.27 c
1345.22/1345.27 c # should presolving try to simplify inequalities
1345.22/1345.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1345.22/1345.27 c constraints/linear/simplifyinequalities = TRUE
1345.22/1345.27 c
1345.22/1345.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1345.22/1345.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1345.22/1345.27 c constraints/indicator/addCouplingCons = TRUE
1345.22/1345.27 c
1345.22/1345.27 c # should presolving try to simplify knapsacks
1345.22/1345.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1345.22/1345.27 c constraints/knapsack/simplifyinequalities = TRUE
1345.22/1345.27 c
1345.22/1345.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1345.22/1345.27 c # [type: int, range: [-1,2147483647], default: -1]
1345.22/1345.27 c separating/rapidlearning/freq = 0
1345.22/1345.27 c
1345.22/1345.27 c -----------------------------------------------------------------------------------------------
1345.22/1345.27 c start solving
1345.32/1345.31 c
1583.23/1583.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.23/1583.22 c 1583s| 1 | 0 | 50589 | - |2249M| 0 | 452 | 58k| 185k| 58k| 185k| 0 | 74 | 0 | 6.900000e+01 | -- | Inf
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-3489733-1307792124/watcher-3489733-1307792124 -o /tmp/evaluation-result-3489733-1307792124/solver-3489733-1307792124 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489733-1307792124.opb -t 1800 -m 15500
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.03 2.01 1.96 3/177 8543
/proc/meminfo: memFree=31431808/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=9580 CPUtime=0 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 1505 0 0 0 0 0 0 0 25 0 1 0 969443054 9809920 1459 33554432000 4194304 9016284 140733338955760 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8543/statm: 2395 1460 311 1178 0 1213 0
[startup+0.096845 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 8543
/proc/meminfo: memFree=31431808/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=31232 CPUtime=0.08 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 6807 0 0 0 8 0 0 0 25 0 1 0 969443054 31981568 6761 33554432000 4194304 9016284 140733338955760 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8543/statm: 7808 6761 360 1178 0 6626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31232
[startup+0.100841 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 8543
/proc/meminfo: memFree=31431808/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=32260 CPUtime=0.09 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 7065 0 0 0 9 0 0 0 25 0 1 0 969443054 33034240 7019 33554432000 4194304 9016284 140733338955760 18446744073709551615 6151952 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8543/statm: 8065 7019 360 1178 0 6883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32260
[startup+0.30082 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 8543
/proc/meminfo: memFree=31431808/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=59140 CPUtime=0.29 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 13785 0 0 0 28 1 0 0 25 0 1 0 969443054 60559360 13739 33554432000 4194304 9016284 140733338955760 18446744073709551615 4445949 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8543/statm: 14785 13739 360 1178 0 13603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59140
[startup+0.700735 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 8543
/proc/meminfo: memFree=31431808/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=89840 CPUtime=0.69 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 21448 0 0 0 67 2 0 0 25 0 1 0 969443054 91996160 21402 33554432000 4194304 9016284 140733338955760 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/8543/statm: 22460 21402 360 1178 0 21278 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89840
[startup+1.50059 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8544
/proc/meminfo: memFree=31315128/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=283072 CPUtime=1.49 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 69191 0 0 0 141 8 0 0 25 0 1 0 969443054 289865728 69126 33554432000 4194304 9016284 140733338955760 18446744073709551615 7937002 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 70768 69126 406 1178 0 69586 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 283072
[startup+3.10029 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 8544
/proc/meminfo: memFree=31039472/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=510088 CPUtime=3.09 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 124878 0 0 0 295 14 0 0 25 0 1 0 969443054 522330112 124813 33554432000 4194304 9016284 140733338955760 18446744073709551615 5214464 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 127522 124813 485 1178 0 126340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 510088
[startup+6.30076 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 8544
/proc/meminfo: memFree=30770516/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=732624 CPUtime=6.29 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 179048 0 0 0 610 19 0 0 25 0 1 0 969443054 750206976 178983 33554432000 4194304 9016284 140733338955760 18446744073709551615 6479771 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 183156 178983 485 1178 0 181974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 732624
[startup+12.7006 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 8544
/proc/meminfo: memFree=30581072/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=871828 CPUtime=12.69 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 212822 0 0 0 1247 22 0 0 25 0 1 0 969443054 892751872 212500 33554432000 4194304 9016284 140733338955760 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 217957 212500 496 1178 0 216775 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 871828
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 8545
/proc/meminfo: memFree=30449972/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1009540 CPUtime=25.49 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 263627 0 0 0 2521 28 0 0 25 0 1 0 969443054 1033768960 246160 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 252385 246160 604 1178 0 251203 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1009540
[startup+51.1009 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 8545
/proc/meminfo: memFree=30386812/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1071708 CPUtime=51.09 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 278217 0 0 0 5080 29 0 0 25 0 1 0 969443054 1097428992 260750 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 267927 260750 604 1178 0 266745 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1071708
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8547
/proc/meminfo: memFree=30322356/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1142364 CPUtime=102.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 295347 0 0 0 10199 31 0 0 25 0 1 0 969443054 1169780736 277880 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480360 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 285591 277880 604 1178 0 284409 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1142364
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8548
/proc/meminfo: memFree=30215180/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1250116 CPUtime=162.29 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 322259 0 0 0 16195 34 0 0 25 0 1 0 969443054 1280118784 304792 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480398 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 312529 304792 604 1178 0 311347 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1250116
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8553
/proc/meminfo: memFree=30073516/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1392068 CPUtime=222.29 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 356959 0 0 0 22192 37 0 0 25 0 1 0 969443054 1425477632 339492 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 348017 339492 604 1178 0 346835 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1392068
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8554
/proc/meminfo: memFree=30017732/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1452544 CPUtime=282.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 371629 0 0 0 28191 39 0 0 25 0 1 0 969443054 1487405056 354162 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 363136 354162 604 1178 0 361954 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1452544
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8556
/proc/meminfo: memFree=29953476/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1512384 CPUtime=342.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 386717 0 0 0 34189 41 0 0 25 0 1 0 969443054 1548681216 369250 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480215 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 378096 369250 604 1178 0 376914 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1512384
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8558
/proc/meminfo: memFree=29825976/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1644068 CPUtime=402.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 419065 0 0 0 40186 44 0 0 25 0 1 0 969443054 1683525632 401598 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480416 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 411017 401598 604 1178 0 409835 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1644068
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8559
/proc/meminfo: memFree=29686808/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1783496 CPUtime=462.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 453783 0 0 0 46181 49 0 0 25 0 1 0 969443054 1826299904 436316 33554432000 4194304 9016284 140733338955760 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 445874 436316 604 1178 0 444692 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1783496
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8561
/proc/meminfo: memFree=29558944/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=1913436 CPUtime=522.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 486079 0 0 0 52177 53 0 0 25 0 1 0 969443054 1959358464 468612 33554432000 4194304 9016284 140733338955760 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 478359 468612 604 1178 0 477177 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1913436
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8562
/proc/meminfo: memFree=29451024/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=2013616 CPUtime=582.3 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 511261 0 0 0 58174 56 0 0 25 0 1 0 969443054 2061942784 493794 33554432000 4194304 9016284 140733338955760 18446744073709551615 5511150 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 503404 493794 604 1178 0 502222 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2013616
[startup+642.3 s]
################
# More data... #
################
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 651005 0 0 0 106156 75 0 0 25 0 1 0 969443054 2639065088 633538 33554432000 4194304 9016284 140733338955760 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 644303 633538 609 1178 0 643121 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2577212
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8615
/proc/meminfo: memFree=27770388/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=2622652 CPUtime=1122.31 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 662698 0 0 0 112155 76 0 0 25 0 1 0 969443054 2685595648 645231 33554432000 4194304 9016284 140733338955760 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 655663 645231 609 1178 0 654481 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2622652
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8616
/proc/meminfo: memFree=27573068/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=2672180 CPUtime=1182.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 675388 0 0 0 118154 78 0 0 25 0 1 0 969443054 2736312320 657921 33554432000 4194304 9016284 140733338955760 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 668045 657921 609 1178 0 666863 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2672180
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8618
/proc/meminfo: memFree=27320204/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=2721524 CPUtime=1242.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 687374 0 0 0 124152 80 0 0 25 0 1 0 969443054 2786840576 669907 33554432000 4194304 9016284 140733338955760 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 680381 669907 609 1178 0 679199 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2721524
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8620
/proc/meminfo: memFree=27118040/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=2767864 CPUtime=1302.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 699516 0 0 0 130151 81 0 0 25 0 1 0 969443054 2834292736 682049 33554432000 4194304 9016284 140733338955760 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 691966 682049 609 1178 0 690784 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2767864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8621
/proc/meminfo: memFree=26675824/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3136544 CPUtime=1362.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 784620 0 0 0 136139 93 0 0 25 0 1 0 969443054 3211821056 764053 33554432000 4194304 9016284 140733338955760 18446744073709551615 7181376 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 784136 764053 766 1178 0 782954 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3136544
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8623
/proc/meminfo: memFree=26570392/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3156156 CPUtime=1422.33 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 790848 0 0 0 142134 99 0 0 25 0 1 0 969443054 3231903744 769567 33554432000 4194304 9016284 140733338955760 18446744073709551615 7227408 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 789039 769567 782 1178 0 787857 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3156156
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8624
/proc/meminfo: memFree=26453664/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3169088 CPUtime=1482.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 798706 0 0 0 148129 103 0 0 25 0 1 0 969443054 3245146112 777103 33554432000 4194304 9016284 140733338955760 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 792272 777103 994 1178 0 791090 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3169088
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8635
/proc/meminfo: memFree=26361804/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3196028 CPUtime=1542.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 802888 0 0 0 154126 106 0 0 25 0 1 0 969443054 3272732672 780997 33554432000 4194304 9016284 140733338955760 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 799007 780997 706 1178 0 797825 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3196028
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8637
/proc/meminfo: memFree=26294340/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1602.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813038 0 0 0 160122 110 0 0 25 0 1 0 969443054 3243261952 775493 33554432000 4194304 9016284 140733338955760 18446744073709551615 7191176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775493 1092 1178 0 790630 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3167248
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8638
/proc/meminfo: memFree=26183576/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1662.33 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813215 0 0 0 166120 113 0 0 25 0 1 0 969443054 3243261952 775576 33554432000 4194304 9016284 140733338955760 18446744073709551615 7125918 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775576 998 1178 0 790630 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3167248
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8640
/proc/meminfo: memFree=26100476/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1722.32 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813218 0 0 0 172118 114 0 0 25 0 1 0 969443054 3243261952 775579 33554432000 4194304 9016284 140733338955760 18446744073709551615 7227804 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775579 998 1178 0 790630 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3167248
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8641
/proc/meminfo: memFree=26004956/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1782.33 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813220 0 0 0 178115 118 0 0 25 0 1 0 969443054 3243261952 775579 33554432000 4194304 9016284 140733338955760 18446744073709551615 7189714 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775579 996 1178 0 790630 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3167248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8642
/proc/meminfo: memFree=25972208/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1800.04 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813220 0 0 0 179885 119 0 0 25 0 1 0 969443054 3243261952 775579 33554432000 4194304 9016284 140733338955760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775579 996 1178 0 790630 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3167248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8543
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 8643
/proc/meminfo: memFree=25971828/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1801.43 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813220 0 0 0 180024 119 0 0 25 0 1 0 969443054 3243261952 775579 33554432000 4194304 9016284 140733338955760 18446744073709551615 7227411 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775579 996 1178 0 790630 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3167248
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 8643
/proc/meminfo: memFree=25971332/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1801.84 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813220 0 0 0 180065 119 0 0 25 0 1 0 969443054 3243261952 775579 33554432000 4194304 9016284 140733338955760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775579 996 1178 0 790630 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3167248
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 8643
/proc/meminfo: memFree=25971332/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=3167248 CPUtime=1802.03 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4202496 813220 0 0 0 180084 119 0 0 25 0 1 0 969443054 3243261952 775579 33554432000 4194304 9016284 140733338955760 18446744073709551615 7227746 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8543/statm: 791812 775579 996 1178 0 790630 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3167248
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 8643
/proc/meminfo: memFree=25971332/32951124 swapFree=67054712/67111528
[pid=8543] ppid=8541 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/8543/stat : 8543 (scip-2.0.1.4b_2) R 8541 8543 7747 0 -1 4203524 813220 0 0 0 180085 128 0 0 25 0 1 0 969443054 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/8543/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.16
CPU user time (s): 1800.85
CPU system time (s): 1.3108
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3196028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.85
system time used= 1.3108
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813220
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= 2
involuntary context switches= 1666
runsolver used 2.97755 second user time and 5.80712 second system time
The end