0.00/0.00 c SCIP version 2.0.1.5 [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-3450877-1307073801.opb>
1.49/1.58 c original problem has 81558 variables (81558 bin, 0 int, 0 impl, 0 cont) and 240469 constraints
1.49/1.58 c problem read
1.49/1.58 c No objective function, only one solution is needed.
1.49/1.58 c presolving settings loaded
1.99/2.05 c presolving:
3.99/4.07 c (round 1) 913 del vars, 298 del conss, 0 add conss, 113 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001050 impls, 0 clqs
4.09/4.14 c (round 2) 945 del vars, 2004 del conss, 0 add conss, 117 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001702 impls, 0 clqs
4.20/4.20 c (round 3) 955 del vars, 2039 del conss, 0 add conss, 127 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001718 impls, 0 clqs
4.20/4.24 c (round 4) 963 del vars, 2056 del conss, 0 add conss, 134 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001784 impls, 0 clqs
4.20/4.28 c (round 5) 971 del vars, 2077 del conss, 0 add conss, 142 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001812 impls, 0 clqs
4.30/4.32 c (round 6) 984 del vars, 2102 del conss, 0 add conss, 154 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001952 impls, 0 clqs
4.30/4.36 c (round 7) 995 del vars, 2136 del conss, 0 add conss, 165 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002240 impls, 0 clqs
4.30/4.40 c (round 8) 1007 del vars, 2164 del conss, 0 add conss, 177 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002348 impls, 0 clqs
4.41/4.44 c (round 9) 1023 del vars, 2199 del conss, 0 add conss, 192 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002494 impls, 0 clqs
4.41/4.49 c (round 10) 1036 del vars, 2240 del conss, 0 add conss, 205 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6002948 impls, 0 clqs
4.51/4.53 c (round 11) 1050 del vars, 2273 del conss, 0 add conss, 219 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6003244 impls, 0 clqs
4.51/4.57 c (round 12) 1070 del vars, 2315 del conss, 0 add conss, 236 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6003774 impls, 0 clqs
4.60/4.61 c (round 13) 1089 del vars, 2366 del conss, 0 add conss, 253 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6004334 impls, 0 clqs
4.60/4.65 c (round 14) 1105 del vars, 2413 del conss, 0 add conss, 268 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6004692 impls, 0 clqs
4.60/4.69 c (round 15) 1123 del vars, 2459 del conss, 0 add conss, 284 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005144 impls, 0 clqs
4.70/4.73 c (round 16) 1142 del vars, 2504 del conss, 0 add conss, 302 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005594 impls, 0 clqs
4.70/4.77 c (round 17) 1158 del vars, 2551 del conss, 0 add conss, 317 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6005998 impls, 0 clqs
4.80/4.81 c (round 18) 1179 del vars, 2600 del conss, 0 add conss, 337 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6006206 impls, 0 clqs
4.80/4.85 c (round 19) 1198 del vars, 2651 del conss, 0 add conss, 355 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6006857 impls, 0 clqs
4.80/4.90 c (round 20) 1211 del vars, 2695 del conss, 0 add conss, 368 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007269 impls, 0 clqs
4.90/4.94 c (round 21) 1232 del vars, 2734 del conss, 0 add conss, 388 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007351 impls, 0 clqs
4.90/4.98 c (round 22) 1253 del vars, 2791 del conss, 0 add conss, 408 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007830 impls, 0 clqs
5.00/5.02 c (round 23) 1271 del vars, 2840 del conss, 0 add conss, 426 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6007980 impls, 0 clqs
5.00/5.06 c (round 24) 1296 del vars, 2894 del conss, 0 add conss, 450 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6008485 impls, 0 clqs
5.10/5.10 c (round 25) 1314 del vars, 2953 del conss, 0 add conss, 467 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009213 impls, 0 clqs
5.10/5.14 c (round 26) 1332 del vars, 2998 del conss, 0 add conss, 485 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009375 impls, 0 clqs
5.10/5.18 c (round 27) 1355 del vars, 3051 del conss, 0 add conss, 507 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6009944 impls, 0 clqs
5.20/5.23 c (round 28) 1372 del vars, 3106 del conss, 0 add conss, 524 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010396 impls, 0 clqs
5.20/5.27 c (round 29) 1389 del vars, 3148 del conss, 0 add conss, 540 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010706 impls, 0 clqs
5.30/5.31 c (round 30) 1409 del vars, 3195 del conss, 0 add conss, 559 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6010848 impls, 0 clqs
5.30/5.35 c (round 31) 1428 del vars, 3247 del conss, 0 add conss, 578 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011422 impls, 0 clqs
5.30/5.39 c (round 32) 1447 del vars, 3294 del conss, 0 add conss, 596 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011628 impls, 0 clqs
5.40/5.43 c (round 33) 1469 del vars, 3346 del conss, 0 add conss, 617 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6011920 impls, 0 clqs
5.40/5.47 c (round 34) 1491 del vars, 3406 del conss, 0 add conss, 639 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012341 impls, 0 clqs
5.51/5.51 c (round 35) 1510 del vars, 3457 del conss, 0 add conss, 657 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012553 impls, 0 clqs
5.51/5.56 c (round 36) 1531 del vars, 3509 del conss, 0 add conss, 678 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6012695 impls, 0 clqs
5.51/5.60 c (round 37) 1552 del vars, 3566 del conss, 0 add conss, 699 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013152 impls, 0 clqs
5.61/5.64 c (round 38) 1569 del vars, 3614 del conss, 0 add conss, 715 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013352 impls, 0 clqs
5.61/5.68 c (round 39) 1586 del vars, 3658 del conss, 0 add conss, 732 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013488 impls, 0 clqs
5.70/5.72 c (round 40) 1603 del vars, 3704 del conss, 0 add conss, 749 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6013939 impls, 0 clqs
5.70/5.76 c (round 41) 1616 del vars, 3741 del conss, 0 add conss, 761 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014113 impls, 0 clqs
5.80/5.80 c (round 42) 1627 del vars, 3773 del conss, 0 add conss, 772 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014227 impls, 0 clqs
5.80/5.84 c (round 43) 1637 del vars, 3800 del conss, 0 add conss, 782 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014389 impls, 0 clqs
5.90/5.90 c (round 44) 1650 del vars, 3840 del conss, 0 add conss, 794 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014581 impls, 0 clqs
5.90/5.94 c (round 45) 1658 del vars, 3856 del conss, 0 add conss, 802 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014649 impls, 0 clqs
5.99/6.01 c (round 46) 1667 del vars, 3886 del conss, 0 add conss, 810 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014775 impls, 0 clqs
5.99/6.09 c (round 47) 1676 del vars, 3913 del conss, 0 add conss, 819 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6014878 impls, 0 clqs
6.89/6.90 c (round 48) 1679 del vars, 3942 del conss, 0 add conss, 822 chg bounds, 2302 chg sides, 4716 chg coeffs, 236527 upgd conss, 6015033 impls, 0 clqs
7.19/7.21 c presolving (49 rounds):
7.19/7.21 c 1679 deleted vars, 3942 deleted constraints, 0 added constraints, 822 tightened bounds, 0 added holes, 2302 changed sides, 4716 changed coefficients
7.19/7.21 c 6015033 implications, 0 cliques
7.19/7.21 c presolved problem has 79879 variables (79879 bin, 0 int, 0 impl, 0 cont) and 236527 constraints
7.19/7.21 c 4596 constraints of type <knapsack>
7.19/7.21 c 154731 constraints of type <setppc>
7.19/7.21 c 77200 constraints of type <logicor>
7.19/7.21 c transformed objective value is always integral (scale: 1)
7.19/7.21 c Presolving Time: 5.31
7.19/7.21 c - non default parameters ----------------------------------------------------------------------
7.19/7.21 c # SCIP version 2.0.1.5
7.19/7.21 c
7.19/7.21 c # frequency for displaying node information lines
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 100]
7.19/7.21 c display/freq = 10000
7.19/7.21 c
7.19/7.21 c # maximal time in seconds to run
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.19/7.21 c limits/time = 1800
7.19/7.21 c
7.19/7.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.19/7.21 c limits/memory = 13950
7.19/7.21 c
7.19/7.21 c # solving stops, if the given number of solutions were found (-1: no limit)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: -1]
7.19/7.21 c limits/solutions = 1
7.19/7.21 c
7.19/7.21 c # maximal number of separation rounds per node (-1: unlimited)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 5]
7.19/7.21 c separating/maxrounds = 1
7.19/7.21 c
7.19/7.21 c # maximal number of separation rounds in the root node (-1: unlimited)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: -1]
7.19/7.21 c separating/maxroundsroot = 5
7.19/7.21 c
7.19/7.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
7.19/7.21 c # [type: int, range: [1,2], default: 1]
7.19/7.21 c timing/clocktype = 2
7.19/7.21 c
7.19/7.21 c # belongs reading time to solving time?
7.19/7.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.19/7.21 c timing/reading = TRUE
7.19/7.21 c
7.19/7.21 c # should presolving try to simplify inequalities
7.19/7.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.19/7.21 c constraints/linear/simplifyinequalities = TRUE
7.19/7.21 c
7.19/7.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.19/7.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.19/7.21 c constraints/indicator/addCouplingCons = TRUE
7.19/7.21 c
7.19/7.21 c # should disaggregation of knapsack constraints be allowed in preprocessing?
7.19/7.21 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
7.19/7.21 c constraints/knapsack/disaggregation = FALSE
7.19/7.21 c
7.19/7.21 c # should presolving try to simplify knapsacks
7.19/7.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.19/7.21 c constraints/knapsack/simplifyinequalities = TRUE
7.19/7.21 c
7.19/7.21 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: -1]
7.19/7.21 c presolving/probing/maxrounds = 0
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.21 c heuristics/coefdiving/freq = -1
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.21 c heuristics/coefdiving/maxlpiterquot = 0.075
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/coefdiving/maxlpiterofs = 1500
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 30]
7.19/7.21 c heuristics/crossover/freq = -1
7.19/7.21 c
7.19/7.21 c # number of nodes added to the contingent of the total nodes
7.19/7.21 c # [type: longint, range: [0,9223372036854775807], default: 500]
7.19/7.21 c heuristics/crossover/nodesofs = 750
7.19/7.21 c
7.19/7.21 c # number of nodes without incumbent change that heuristic should wait
7.19/7.21 c # [type: longint, range: [0,9223372036854775807], default: 200]
7.19/7.21 c heuristics/crossover/nwaitingnodes = 100
7.19/7.21 c
7.19/7.21 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
7.19/7.21 c # [type: real, range: [0,1], default: 0.1]
7.19/7.21 c heuristics/crossover/nodesquot = 0.15
7.19/7.21 c
7.19/7.21 c # minimum percentage of integer variables that have to be fixed
7.19/7.21 c # [type: real, range: [0,1], default: 0.666]
7.19/7.21 c heuristics/crossover/minfixingrate = 0.5
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 20]
7.19/7.21 c heuristics/feaspump/freq = -1
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/feaspump/maxlpiterofs = 2000
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.21 c heuristics/fracdiving/freq = -1
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.21 c heuristics/fracdiving/maxlpiterquot = 0.075
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/fracdiving/maxlpiterofs = 1500
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.21 c heuristics/guideddiving/freq = -1
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.21 c heuristics/guideddiving/maxlpiterquot = 0.075
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/guideddiving/maxlpiterofs = 1500
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.21 c heuristics/intdiving/maxlpiterquot = 0.075
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.21 c heuristics/intshifting/freq = -1
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.21 c heuristics/linesearchdiving/freq = -1
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.21 c heuristics/linesearchdiving/maxlpiterquot = 0.075
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/linesearchdiving/maxlpiterofs = 1500
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 20]
7.19/7.21 c heuristics/objpscostdiving/freq = -1
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to total iteration number
7.19/7.21 c # [type: real, range: [0,1], default: 0.01]
7.19/7.21 c heuristics/objpscostdiving/maxlpiterquot = 0.015
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/objpscostdiving/maxlpiterofs = 1500
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 1]
7.19/7.21 c heuristics/oneopt/freq = -1
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.21 c heuristics/pscostdiving/freq = -1
7.19/7.21 c
7.19/7.21 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.21 c heuristics/pscostdiving/maxlpiterquot = 0.075
7.19/7.21 c
7.19/7.21 c # additional number of allowed LP iterations
7.19/7.21 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.21 c heuristics/pscostdiving/maxlpiterofs = 1500
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
7.19/7.21 c # [type: int, range: [-1,2147483647], default: 0]
7.19/7.21 c heuristics/rens/freq = -1
7.19/7.21 c
7.19/7.21 c # minimum percentage of integer variables that have to be fixable
7.19/7.21 c # [type: real, range: [0,1], default: 0.5]
7.19/7.21 c heuristics/rens/minfixingrate = 0.3
7.19/7.21 c
7.19/7.21 c # number of nodes added to the contingent of the total nodes
7.19/7.21 c # [type: longint, range: [0,9223372036854775807], default: 500]
7.19/7.21 c heuristics/rens/nodesofs = 2000
7.19/7.21 c
7.19/7.21 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 20]
7.19/7.22 c heuristics/rootsoldiving/freq = -1
7.19/7.22 c
7.19/7.22 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
7.19/7.22 c heuristics/rootsoldiving/maxlpiterquot = 0.015
7.19/7.22 c
7.19/7.22 c # additional number of allowed LP iterations
7.19/7.22 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.22 c heuristics/rootsoldiving/maxlpiterofs = 1500
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 1]
7.19/7.22 c heuristics/rounding/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 0]
7.19/7.22 c heuristics/shiftandpropagate/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.22 c heuristics/shifting/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 1]
7.19/7.22 c heuristics/simplerounding/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 1]
7.19/7.22 c heuristics/subnlp/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 0]
7.19/7.22 c heuristics/trivial/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 1]
7.19/7.22 c heuristics/trysol/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 0]
7.19/7.22 c heuristics/undercover/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 10]
7.19/7.22 c heuristics/veclendiving/freq = -1
7.19/7.22 c
7.19/7.22 c # maximal fraction of diving LP iterations compared to node LP iterations
7.19/7.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.19/7.22 c heuristics/veclendiving/maxlpiterquot = 0.075
7.19/7.22 c
7.19/7.22 c # additional number of allowed LP iterations
7.19/7.22 c # [type: int, range: [0,2147483647], default: 1000]
7.19/7.22 c heuristics/veclendiving/maxlpiterofs = 1500
7.19/7.22 c
7.19/7.22 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 1]
7.19/7.22 c heuristics/zirounding/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 0]
7.19/7.22 c separating/cmir/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: 0]
7.19/7.22 c separating/flowcover/freq = -1
7.19/7.22 c
7.19/7.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.19/7.22 c # [type: int, range: [-1,2147483647], default: -1]
7.19/7.22 c separating/rapidlearning/freq = 0
7.19/7.22 c
7.19/7.22 c -----------------------------------------------------------------------------------------------
7.19/7.22 c start solving
7.19/7.24 c
16.60/16.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.60/16.66 c 16.7s| 1 | 0 | 8311 | - | 640M| 0 |4779 | 79k| 236k| 79k| 236k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.19/54.27 c 54.3s| 1 | 0 | 18616 | - | 641M| 0 |6711 | 79k| 236k| 79k| 236k| 94 | 0 | 0 | 0.000000e+00 | -- | Inf
219.69/219.78 c 220s| 1 | 0 | 46867 | - | 641M| 0 | 12k| 79k| 236k| 79k| 236k| 238 | 0 | 0 | 0.000000e+00 | -- | Inf
764.91/764.98 c 765s| 1 | 0 | 80185 | - | 641M| 0 | 18k| 79k| 236k| 79k| 236k| 411 | 0 | 0 | 0.000000e+00 | -- | Inf
1095.64/1095.66 c 1096s| 1 | 0 |104181 | - | 642M| 0 | 17k| 79k| 236k| 79k| 237k| 552 | 0 | 0 | 0.000000e+00 | -- | Inf
1523.94/1523.98 c 1524s| 1 | 0 |128694 | - | 642M| 0 | 18k| 79k| 236k| 79k| 237k| 663 | 0 | 0 | 0.000000e+00 | -- | Inf
1662.64/1662.69 c 1663s| 1 | 2 |128694 | - | 642M| 0 | 18k| 79k| 236k| 79k| 237k| 663 | 0 | 26 | 0.000000e+00 | -- | 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-3450877-1307073801/watcher-3450877-1307073801 -o /tmp/evaluation-result-3450877-1307073801/solver-3450877-1307073801 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450877-1307073801.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.05 2.03 2.00 2/453 14684
/proc/meminfo: memFree=31560564/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=13556 CPUtime=0 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 2359 0 0 0 0 0 0 0 25 0 1 0 818977968 13881344 2312 33554432000 4194304 9163163 140734268240192 18446744073709551615 8018320 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14684/statm: 3389 2312 392 1214 0 2171 0
[startup+0.116638 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14684
/proc/meminfo: memFree=31560564/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=25880 CPUtime=0.11 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 5457 0 0 0 11 0 0 0 25 0 1 0 818977968 26501120 5410 33554432000 4194304 9163163 140734268240192 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14684/statm: 6470 5410 392 1214 0 5252 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25880
[startup+0.200619 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14684
/proc/meminfo: memFree=31560564/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=33964 CPUtime=0.19 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 7485 0 0 0 19 0 0 0 25 0 1 0 818977968 34779136 7438 33554432000 4194304 9163163 140734268240192 18446744073709551615 6137240 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14684/statm: 8491 7438 392 1214 0 7273 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33964
[startup+0.300603 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14684
/proc/meminfo: memFree=31560564/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=43220 CPUtime=0.29 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 9784 0 0 0 29 0 0 0 25 0 1 0 818977968 44257280 9737 33554432000 4194304 9163163 140734268240192 18446744073709551615 8031112 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14684/statm: 10805 9737 392 1214 0 9587 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43220
[startup+0.700555 s]
/proc/loadavg: 2.05 2.03 2.00 2/453 14684
/proc/meminfo: memFree=31560564/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=81012 CPUtime=0.69 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 19229 0 0 0 67 2 0 0 25 0 1 0 818977968 82956288 19182 33554432000 4194304 9163163 140734268240192 18446744073709551615 6163375 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14684/statm: 20253 19182 392 1214 0 19035 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81012
[startup+1.50041 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 14685
/proc/meminfo: memFree=31446224/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=155824 CPUtime=1.49 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 37925 0 0 0 145 4 0 0 25 0 1 0 818977968 159563776 37878 33554432000 4194304 9163163 140734268240192 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/14684/statm: 38956 37878 392 1214 0 37738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155824
[startup+3.10112 s]
/proc/loadavg: 2.05 2.03 2.00 3/454 14685
/proc/meminfo: memFree=31157056/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=531816 CPUtime=3.09 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 128013 0 0 0 294 15 0 0 25 0 1 0 818977968 544579584 127938 33554432000 4194304 9163163 140734268240192 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 132954 127946 505 1214 0 131736 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 531816
[startup+6.30051 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 14685
/proc/meminfo: memFree=30953960/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=629828 CPUtime=6.29 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 159756 0 0 0 611 18 0 0 25 0 1 0 818977968 644943872 152234 33554432000 4194304 9163163 140734268240192 18446744073709551615 7447812 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 157457 152234 528 1214 0 156239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 629828
[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 14685
/proc/meminfo: memFree=30528792/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1096896 CPUtime=12.69 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 283523 0 0 0 1238 31 0 0 25 0 1 0 818977968 1123221504 257973 33554432000 4194304 9163163 140734268240192 18446744073709551615 7414184 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 274224 257973 761 1214 0 273006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1096896
[startup+25.5011 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 14685
/proc/meminfo: memFree=30502108/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1105168 CPUtime=25.5 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 289783 0 0 0 2517 33 0 0 25 0 1 0 818977968 1131692032 264159 33554432000 4194304 9163163 140734268240192 18446744073709551615 6217695 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 276292 264159 822 1214 0 275074 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1105168
[startup+51.1004 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 14686
/proc/meminfo: memFree=30481420/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1114308 CPUtime=51.09 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 294309 0 0 0 5073 36 0 0 25 0 1 0 818977968 1141051392 268252 33554432000 4194304 9163163 140734268240192 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 278577 268252 717 1214 0 277359 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1114308
[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 14690
/proc/meminfo: memFree=30447108/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1137076 CPUtime=102.3 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 301355 0 0 0 10189 41 0 0 25 0 1 0 818977968 1164365824 275298 33554432000 4194304 9163163 140734268240192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 284269 275298 721 1214 0 283051 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1137076
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 14692
/proc/meminfo: memFree=30431676/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1142160 CPUtime=162.29 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 303189 0 0 0 16185 44 0 0 25 0 1 0 818977968 1169571840 277132 33554432000 4194304 9163163 140734268240192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 285540 277132 721 1214 0 284322 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1142160
[startup+222.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 14694
/proc/meminfo: memFree=30420352/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1145764 CPUtime=222.32 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 304310 0 0 0 22185 47 0 0 25 0 1 0 818977968 1173262336 278250 33554432000 4194304 9163163 140734268240192 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 286441 278250 721 1214 0 285223 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 1145764
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/454 14695
/proc/meminfo: memFree=30409016/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1145764 CPUtime=282.3 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 304338 0 0 0 28178 52 0 0 25 0 1 0 818977968 1173262336 278278 33554432000 4194304 9163163 140734268240192 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 286441 278278 721 1214 0 285223 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1145764
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/454 14697
/proc/meminfo: memFree=30400036/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1145764 CPUtime=342.3 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 304344 0 0 0 34175 55 0 0 25 0 1 0 818977968 1173262336 278284 33554432000 4194304 9163163 140734268240192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 286441 278284 721 1214 0 285223 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1145764
[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/454 14698
/proc/meminfo: memFree=30388844/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1145764 CPUtime=402.3 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 304348 0 0 0 40172 58 0 0 25 0 1 0 818977968 1173262336 278288 33554432000 4194304 9163163 140734268240192 18446744073709551615 6676784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 286441 278288 721 1214 0 285223 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1145764
[startup+462.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/454 14700
/proc/meminfo: memFree=30380992/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1145764 CPUtime=462.31 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 304348 0 0 0 46169 62 0 0 25 0 1 0 818977968 1173262336 278288 33554432000 4194304 9163163 140734268240192 18446744073709551615 8045767 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 286441 278288 721 1214 0 285223 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1145764
[startup+522.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/454 14702
/proc/meminfo: memFree=30375012/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1145764 CPUtime=522.31 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 304348 0 0 0 52166 65 0 0 25 0 1 0 818977968 1173262336 278288 33554432000 4194304 9163163 140734268240192 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 286441 278288 721 1214 0 285223 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1145764
[startup+582.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/454 14703
/proc/meminfo: memFree=30371260/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1163612 CPUtime=582.31 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 308370 0 0 0 58161 70 0 0 25 0 1 0 818977968 1191538688 282309 33554432000 4194304 9163163 140734268240192 18446744073709551615 7274200 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 290903 282309 720 1214 0 289685 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1163612
[startup+642.301 s]
################
# More data... #
################
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 310916 0 0 0 106134 98 0 0 25 0 1 0 818977968 1200852992 284854 33554432000 4194304 9163163 140734268240192 18446744073709551615 7349296 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 284854 719 1214 0 291959 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1172708
[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/454 14718
/proc/meminfo: memFree=30273480/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1122.32 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 310927 0 0 0 112130 102 0 0 25 0 1 0 818977968 1200852992 284865 33554432000 4194304 9163163 140734268240192 18446744073709551615 7054521 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 284865 719 1214 0 291959 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1172708
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 14719
/proc/meminfo: memFree=30267364/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1182.33 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 310927 0 0 0 118127 106 0 0 25 0 1 0 818977968 1200852992 284865 33554432000 4194304 9163163 140734268240192 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 284865 719 1214 0 291959 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1172708
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 14721
/proc/meminfo: memFree=30263724/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1242.33 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 310927 0 0 0 124123 110 0 0 25 0 1 0 818977968 1200852992 284865 33554432000 4194304 9163163 140734268240192 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 284865 719 1214 0 291959 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1172708
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14722
/proc/meminfo: memFree=30260824/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1302.33 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 310927 0 0 0 130118 115 0 0 25 0 1 0 818977968 1200852992 284865 33554432000 4194304 9163163 140734268240192 18446744073709551615 6455872 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 284865 719 1214 0 291959 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1172708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 14752
/proc/meminfo: memFree=30564164/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1362.33 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311124 0 0 0 136115 118 0 0 25 0 1 0 818977968 1200852992 285062 33554432000 4194304 9163163 140734268240192 18446744073709551615 7274223 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285062 719 1214 0 291959 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1172708
[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/454 14754
/proc/meminfo: memFree=30552244/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1422.34 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311124 0 0 0 142114 120 0 0 25 0 1 0 818977968 1200852992 285062 33554432000 4194304 9163163 140734268240192 18446744073709551615 7349148 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285062 719 1214 0 291959 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1172708
[startup+1482.3 s]
/proc/loadavg: 2.18 2.05 2.01 3/454 14755
/proc/meminfo: memFree=30555644/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1482.34 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311124 0 0 0 148112 122 0 0 25 0 1 0 818977968 1200852992 285062 33554432000 4194304 9163163 140734268240192 18446744073709551615 7349100 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285062 719 1214 0 291959 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1172708
[startup+1542.32 s]
/proc/loadavg: 2.15 2.07 2.02 3/454 14757
/proc/meminfo: memFree=30552136/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1542.35 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311128 0 0 0 154111 124 0 0 25 0 1 0 818977968 1200852992 285066 33554432000 4194304 9163163 140734268240192 18446744073709551615 7414991 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285066 721 1214 0 291959 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1172708
[startup+1602.3 s]
/proc/loadavg: 2.23 2.10 2.03 3/454 14758
/proc/meminfo: memFree=30556684/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1602.34 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311129 0 0 0 160106 128 0 0 25 0 1 0 818977968 1200852992 285067 33554432000 4194304 9163163 140734268240192 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285067 721 1214 0 291959 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1172708
[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/454 14760
/proc/meminfo: memFree=30540392/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1662.34 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311129 0 0 0 166103 131 0 0 25 0 1 0 818977968 1200852992 285067 33554432000 4194304 9163163 140734268240192 18446744073709551615 7311816 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285067 721 1214 0 291959 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1172708
[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/454 14762
/proc/meminfo: memFree=30545816/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1722.34 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 172100 134 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1172708
[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/454 14763
/proc/meminfo: memFree=30525560/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1782.34 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 178096 138 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1172708
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.05 2.01 3/454 14764
/proc/meminfo: memFree=30528276/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1800.05 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 179866 139 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1172708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14684
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.01 2.05 2.01 3/455 14765
/proc/meminfo: memFree=30527400/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1800.75 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 179936 139 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 1172708
[startup+1801.5 s]
/proc/loadavg: 2.01 2.05 2.01 3/455 14765
/proc/meminfo: memFree=30527400/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1801.54 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 180015 139 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 7348226 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1172708
[startup+1801.92 s]
/proc/loadavg: 2.01 2.05 2.01 3/455 14765
/proc/meminfo: memFree=30535336/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1801.96 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 180057 139 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 7348512 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 1172708
[startup+1802 s]
/proc/loadavg: 2.01 2.05 2.01 3/455 14765
/proc/meminfo: memFree=30535336/32951124 swapFree=55639044/67111528
[pid=14684] ppid=14682 vsize=1172708 CPUtime=1802.04 cores=0,2,4,6
/proc/14684/stat : 14684 (scip-2.0.1.4b.l) R 14682 14684 12722 0 -1 4202496 311133 0 0 0 180065 139 0 0 25 0 1 0 818977968 1200852992 285071 33554432000 4194304 9163163 140734268240192 18446744073709551615 7225310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14684/statm: 293177 285071 724 1214 0 291959 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1172708
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.12
CPU user time (s): 1800.67
CPU system time (s): 1.44378
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1172708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.67
system time used= 1.44378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311133
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= 2543
runsolver used 8.5277 second user time and 18.2262 second system time
The end