0.00/0.00 c SCIP version 2.0.1.4 [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-3485355-1307754289.opb>
1.39/1.43 c original problem has 81558 variables (81558 bin, 0 int, 0 impl, 0 cont) and 240469 constraints
1.39/1.43 c problem read
1.39/1.43 c No objective function, only one solution is needed.
1.39/1.43 c presolving settings loaded
2.29/2.31 c presolving:
4.79/4.87 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.89/4.95 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.99/5.02 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.99/5.07 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
5.09/5.11 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
5.09/5.16 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
5.19/5.21 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
5.19/5.25 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
5.29/5.30 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
5.29/5.35 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
5.29/5.39 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
5.39/5.44 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
5.39/5.49 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
5.49/5.53 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
5.49/5.58 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
5.59/5.63 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
5.59/5.67 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
5.69/5.72 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
5.69/5.77 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
5.79/5.81 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
5.79/5.86 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
5.89/5.91 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.89/5.95 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.99/6.00 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.99/6.05 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.99/6.09 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
6.09/6.14 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
6.09/6.19 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
6.19/6.23 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
6.19/6.28 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
6.29/6.33 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
6.29/6.37 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
6.39/6.42 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
6.39/6.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
6.49/6.52 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
6.49/6.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
6.59/6.61 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
6.59/6.66 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
6.69/6.70 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
6.69/6.75 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
6.69/6.80 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
6.79/6.84 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
6.79/6.89 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
6.89/6.96 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
6.99/7.00 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
6.99/7.08 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
7.09/7.17 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
7.99/8.06 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
8.39/8.42 c presolving (49 rounds):
8.39/8.42 c 1679 deleted vars, 3942 deleted constraints, 0 added constraints, 822 tightened bounds, 0 added holes, 2302 changed sides, 4716 changed coefficients
8.39/8.42 c 6015033 implications, 0 cliques
8.39/8.42 c presolved problem has 79879 variables (79879 bin, 0 int, 0 impl, 0 cont) and 236527 constraints
8.39/8.42 c 4596 constraints of type <knapsack>
8.39/8.42 c 154731 constraints of type <setppc>
8.39/8.42 c 77200 constraints of type <logicor>
8.39/8.42 c transformed objective value is always integral (scale: 1)
8.39/8.42 c Presolving Time: 6.75
8.39/8.42 c - non default parameters ----------------------------------------------------------------------
8.39/8.42 c # SCIP version 2.0.1.4
8.39/8.42 c
8.39/8.42 c # frequency for displaying node information lines
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 100]
8.39/8.42 c display/freq = 10000
8.39/8.42 c
8.39/8.42 c # maximal time in seconds to run
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.39/8.42 c limits/time = 1797
8.39/8.42 c
8.39/8.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.39/8.42 c limits/memory = 13950
8.39/8.42 c
8.39/8.42 c # solving stops, if the given number of solutions were found (-1: no limit)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: -1]
8.39/8.42 c limits/solutions = 1
8.39/8.42 c
8.39/8.42 c # maximal number of separation rounds per node (-1: unlimited)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 5]
8.39/8.42 c separating/maxrounds = 1
8.39/8.42 c
8.39/8.42 c # maximal number of separation rounds in the root node (-1: unlimited)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: -1]
8.39/8.42 c separating/maxroundsroot = 5
8.39/8.42 c
8.39/8.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.39/8.42 c # [type: int, range: [1,2], default: 1]
8.39/8.42 c timing/clocktype = 2
8.39/8.42 c
8.39/8.42 c # belongs reading time to solving time?
8.39/8.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.39/8.42 c timing/reading = TRUE
8.39/8.42 c
8.39/8.42 c # should presolving try to simplify inequalities
8.39/8.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.39/8.42 c constraints/linear/simplifyinequalities = TRUE
8.39/8.42 c
8.39/8.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.39/8.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.39/8.42 c constraints/indicator/addCouplingCons = TRUE
8.39/8.42 c
8.39/8.42 c # should disaggregation of knapsack constraints be allowed in preprocessing?
8.39/8.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
8.39/8.42 c constraints/knapsack/disaggregation = FALSE
8.39/8.42 c
8.39/8.42 c # should presolving try to simplify knapsacks
8.39/8.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.39/8.42 c constraints/knapsack/simplifyinequalities = TRUE
8.39/8.42 c
8.39/8.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: -1]
8.39/8.42 c presolving/probing/maxrounds = 0
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/coefdiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/coefdiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/coefdiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 30]
8.39/8.42 c heuristics/crossover/freq = -1
8.39/8.42 c
8.39/8.42 c # number of nodes added to the contingent of the total nodes
8.39/8.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
8.39/8.42 c heuristics/crossover/nodesofs = 750
8.39/8.42 c
8.39/8.42 c # number of nodes without incumbent change that heuristic should wait
8.39/8.42 c # [type: longint, range: [0,9223372036854775807], default: 200]
8.39/8.42 c heuristics/crossover/nwaitingnodes = 100
8.39/8.42 c
8.39/8.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
8.39/8.42 c # [type: real, range: [0,1], default: 0.1]
8.39/8.42 c heuristics/crossover/nodesquot = 0.15
8.39/8.42 c
8.39/8.42 c # minimum percentage of integer variables that have to be fixed
8.39/8.42 c # [type: real, range: [0,1], default: 0.666]
8.39/8.42 c heuristics/crossover/minfixingrate = 0.5
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 20]
8.39/8.42 c heuristics/feaspump/freq = -1
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/feaspump/maxlpiterofs = 2000
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/fracdiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/fracdiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/fracdiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/guideddiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/guideddiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/guideddiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/intdiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/intshifting/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/linesearchdiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/linesearchdiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 20]
8.39/8.42 c heuristics/objpscostdiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to total iteration number
8.39/8.42 c # [type: real, range: [0,1], default: 0.01]
8.39/8.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/objpscostdiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 1]
8.39/8.42 c heuristics/oneopt/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/pscostdiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/pscostdiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/pscostdiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 0]
8.39/8.42 c heuristics/rens/freq = -1
8.39/8.42 c
8.39/8.42 c # minimum percentage of integer variables that have to be fixable
8.39/8.42 c # [type: real, range: [0,1], default: 0.5]
8.39/8.42 c heuristics/rens/minfixingrate = 0.3
8.39/8.42 c
8.39/8.42 c # number of nodes added to the contingent of the total nodes
8.39/8.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
8.39/8.42 c heuristics/rens/nodesofs = 2000
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 20]
8.39/8.42 c heuristics/rootsoldiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
8.39/8.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/rootsoldiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 1]
8.39/8.42 c heuristics/rounding/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 0]
8.39/8.42 c heuristics/shiftandpropagate/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/shifting/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 1]
8.39/8.42 c heuristics/simplerounding/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 1]
8.39/8.42 c heuristics/subnlp/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 0]
8.39/8.42 c heuristics/trivial/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 1]
8.39/8.42 c heuristics/trysol/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 0]
8.39/8.42 c heuristics/undercover/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 10]
8.39/8.42 c heuristics/veclendiving/freq = -1
8.39/8.42 c
8.39/8.42 c # maximal fraction of diving LP iterations compared to node LP iterations
8.39/8.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.39/8.42 c heuristics/veclendiving/maxlpiterquot = 0.075
8.39/8.42 c
8.39/8.42 c # additional number of allowed LP iterations
8.39/8.42 c # [type: int, range: [0,2147483647], default: 1000]
8.39/8.42 c heuristics/veclendiving/maxlpiterofs = 1500
8.39/8.42 c
8.39/8.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 1]
8.39/8.42 c heuristics/zirounding/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 0]
8.39/8.42 c separating/cmir/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: 0]
8.39/8.42 c separating/flowcover/freq = -1
8.39/8.42 c
8.39/8.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.39/8.42 c # [type: int, range: [-1,2147483647], default: -1]
8.39/8.42 c separating/rapidlearning/freq = 0
8.39/8.42 c
8.39/8.42 c -----------------------------------------------------------------------------------------------
8.39/8.42 c start solving
8.39/8.45 c
18.19/18.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.19/18.29 c 18.3s| 1 | 0 | 8311 | - | 623M| 0 |4779 | 79k| 236k| 79k| 236k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.10/59.17 c 59.2s| 1 | 0 | 18616 | - | 623M| 0 |6711 | 79k| 236k| 79k| 236k| 94 | 0 | 0 | 0.000000e+00 | -- | Inf
239.90/239.91 c 240s| 1 | 0 | 46867 | - | 624M| 0 | 12k| 79k| 236k| 79k| 236k| 238 | 0 | 0 | 0.000000e+00 | -- | Inf
836.23/836.24 c 836s| 1 | 0 | 80185 | - | 624M| 0 | 18k| 79k| 236k| 79k| 236k| 411 | 0 | 0 | 0.000000e+00 | -- | Inf
1179.04/1179.07 c 1179s| 1 | 0 |104181 | - | 624M| 0 | 17k| 79k| 236k| 79k| 237k| 552 | 0 | 0 | 0.000000e+00 | -- | Inf
1597.35/1597.30 c 1597s| 1 | 0 |128694 | - | 625M| 0 | 18k| 79k| 236k| 79k| 237k| 663 | 0 | 0 | 0.000000e+00 | -- | Inf
1733.17/1733.15 c 1733s| 1 | 2 |128694 | - | 625M| 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.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-3485355-1307754289/watcher-3485355-1307754289 -o /tmp/evaluation-result-3485355-1307754289/solver-3485355-1307754289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485355-1307754289.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.00 2.00 1.93 2/177 18576
/proc/meminfo: memFree=31637264/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=9848 CPUtime=0 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 1446 0 0 0 0 0 0 0 25 0 1 0 887025649 10084352 1401 33554432000 4194304 8979876 140736710051776 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18576/statm: 2462 1403 363 1169 0 1289 0
[startup+0.069952 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18576
/proc/meminfo: memFree=31637264/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=19104 CPUtime=0.06 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 3763 0 0 0 6 0 0 0 25 0 1 0 887025649 19562496 3718 33554432000 4194304 8979876 140736710051776 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18576/statm: 4776 3718 363 1169 0 3603 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19104
[startup+0.100937 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18576
/proc/meminfo: memFree=31637264/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=19764 CPUtime=0.09 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 3951 0 0 0 9 0 0 0 25 0 1 0 887025649 20238336 3906 33554432000 4194304 8979876 140736710051776 18446744073709551615 6201671 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18576/statm: 4941 3906 363 1169 0 3768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19764
[startup+0.300903 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18576
/proc/meminfo: memFree=31637264/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=39456 CPUtime=0.29 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 8864 0 0 0 28 1 0 0 25 0 1 0 887025649 40402944 8819 33554432000 4194304 8979876 140736710051776 18446744073709551615 4536326 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18576/statm: 9864 8819 363 1169 0 8691 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39456
[startup+0.700818 s]
/proc/loadavg: 2.00 2.00 1.93 2/177 18576
/proc/meminfo: memFree=31637264/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=74200 CPUtime=0.68 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 17527 0 0 0 66 2 0 0 25 0 1 0 887025649 75980800 17482 33554432000 4194304 8979876 140736710051776 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18576/statm: 18550 17482 363 1169 0 17377 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74200
[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18577
/proc/meminfo: memFree=31541552/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=204856 CPUtime=1.49 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 49847 0 0 0 144 5 0 0 25 0 1 0 887025649 209772544 49802 33554432000 4194304 8979876 140736710051776 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 51214 49839 411 1169 0 50041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204856
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18577
/proc/meminfo: memFree=31239360/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=477616 CPUtime=3.09 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 127768 0 0 0 294 15 0 0 25 0 1 0 887025649 489078784 114819 33554432000 4194304 8979876 140736710051776 18446744073709551615 4875190 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 119404 114819 492 1169 0 118231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 477616
[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18577
/proc/meminfo: memFree=31032140/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=627876 CPUtime=6.29 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 164837 0 0 0 610 19 0 0 25 0 1 0 887025649 642945024 151288 33554432000 4194304 8979876 140736710051776 18446744073709551615 6443244 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 156969 151288 502 1169 0 155796 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 627876
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18578
/proc/meminfo: memFree=30611436/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1099788 CPUtime=12.69 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 294221 0 0 0 1235 34 0 0 25 0 1 0 887025649 1126182912 257287 33554432000 4194304 8979876 140736710051776 18446744073709551615 7193008 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 274947 257287 796 1169 0 273774 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1099788
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18578
/proc/meminfo: memFree=30578232/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1108540 CPUtime=25.49 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 301524 0 0 0 2513 36 0 0 25 0 1 0 887025649 1135144960 264519 33554432000 4194304 8979876 140736710051776 18446744073709551615 6609791 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 277135 264519 851 1169 0 275962 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1108540
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18579
/proc/meminfo: memFree=30561572/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1117680 CPUtime=51.09 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 305771 0 0 0 5071 38 0 0 25 0 1 0 887025649 1144504320 268305 33554432000 4194304 8979876 140736710051776 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 279420 268305 718 1169 0 278247 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1117680
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18580
/proc/meminfo: memFree=30532056/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1140452 CPUtime=102.29 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 312980 0 0 0 10187 42 0 0 25 0 1 0 887025649 1167822848 275514 33554432000 4194304 8979876 140736710051776 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 285113 275514 721 1169 0 283940 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1140452
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18582
/proc/meminfo: memFree=30525440/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1145184 CPUtime=162.3 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 314601 0 0 0 16184 46 0 0 25 0 1 0 887025649 1172668416 277135 33554432000 4194304 8979876 140736710051776 18446744073709551615 7147111 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 286296 277135 721 1169 0 285123 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1145184
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18583
/proc/meminfo: memFree=30519688/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1148984 CPUtime=222.3 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 315935 0 0 0 22181 49 0 0 25 0 1 0 887025649 1176559616 278468 33554432000 4194304 8979876 140736710051776 18446744073709551615 7147261 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287246 278468 722 1169 0 286073 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1148984
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18585
/proc/meminfo: memFree=30518500/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1149136 CPUtime=282.3 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 316085 0 0 0 28176 54 0 0 25 0 1 0 887025649 1176715264 278618 33554432000 4194304 8979876 140736710051776 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287284 278618 722 1169 0 286111 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1149136
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18586
/proc/meminfo: memFree=30517196/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1149136 CPUtime=342.31 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 316091 0 0 0 34171 60 0 0 25 0 1 0 887025649 1176715264 278624 33554432000 4194304 8979876 140736710051776 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287284 278624 722 1169 0 286111 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1149136
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18588
/proc/meminfo: memFree=30509828/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1149136 CPUtime=402.31 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 316093 0 0 0 40166 65 0 0 25 0 1 0 887025649 1176715264 278626 33554432000 4194304 8979876 140736710051776 18446744073709551615 6890417 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287284 278626 722 1169 0 286111 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1149136
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18590
/proc/meminfo: memFree=30509784/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1149136 CPUtime=462.31 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 316093 0 0 0 46161 70 0 0 25 0 1 0 887025649 1176715264 278626 33554432000 4194304 8979876 140736710051776 18446744073709551615 6890412 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287284 278626 722 1169 0 286111 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1149136
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18591
/proc/meminfo: memFree=30506392/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1149136 CPUtime=522.31 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 316093 0 0 0 52156 75 0 0 25 0 1 0 887025649 1176715264 278626 33554432000 4194304 8979876 140736710051776 18446744073709551615 6888336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287284 278626 722 1169 0 286111 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1149136
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18593
/proc/meminfo: memFree=30506224/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1149136 CPUtime=582.31 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 316093 0 0 0 58149 82 0 0 25 0 1 0 887025649 1176715264 278626 33554432000 4194304 8979876 140736710051776 18446744073709551615 7841671 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 287284 278626 722 1169 0 286111 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1149136
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18599
/proc/meminfo: memFree=30483336/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1166984 CPUtime=822.33 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 320202 0 0 0 82138 95 0 0 25 0 1 0 887025649 1194991616 282734 33554432000 4194304 8979876 140736710051776 18446744073709551615 7147224 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 291746 282734 721 1169 0 290573 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 1166984
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18601
/proc/meminfo: memFree=30483288/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1166984 CPUtime=882.32 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 320213 0 0 0 88134 98 0 0 25 0 1 0 887025649 1194991616 282745 33554432000 4194304 8979876 140736710051776 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 291746 282745 721 1169 0 290573 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1166984
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18602
/proc/meminfo: memFree=30482764/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1166984 CPUtime=942.33 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 320215 0 0 0 94131 102 0 0 25 0 1 0 887025649 1194991616 282747 33554432000 4194304 8979876 140736710051776 18446744073709551615 6609781 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 291746 282747 721 1169 0 290573 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 1166984
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18604
/proc/meminfo: memFree=30471664/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1175800 CPUtime=1002.33 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322307 0 0 0 100128 105 0 0 25 0 1 0 887025649 1204019200 284839 33554432000 4194304 8979876 140736710051776 18446744073709551615 6937234 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18576/statm: 293950 284839 721 1169 0 292777 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1175800
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18606
/proc/meminfo: memFree=30469748/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1062.33 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322659 0 0 0 106126 107 0 0 25 0 1 0 887025649 1204305920 285191 33554432000 4194304 8979876 140736710051776 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285191 721 1169 0 292847 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1176080
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18607
/proc/meminfo: memFree=30469196/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1122.34 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322659 0 0 0 112124 110 0 0 25 0 1 0 887025649 1204305920 285191 33554432000 4194304 8979876 140736710051776 18446744073709551615 7147092 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285191 721 1169 0 292847 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 1176080
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18609
/proc/meminfo: memFree=30467144/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1182.34 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322670 0 0 0 118122 112 0 0 25 0 1 0 887025649 1204305920 285202 33554432000 4194304 8979876 140736710051776 18446744073709551615 7836144 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285202 721 1169 0 292847 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 1176080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18648
/proc/meminfo: memFree=30278500/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1242.34 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322670 0 0 0 124118 116 0 0 25 0 1 0 887025649 1204305920 285202 33554432000 4194304 8979876 140736710051776 18446744073709551615 6390279 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285202 721 1169 0 292847 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1176080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18650
/proc/meminfo: memFree=30273984/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1302.35 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322670 0 0 0 130115 120 0 0 25 0 1 0 887025649 1204305920 285202 33554432000 4194304 8979876 140736710051776 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285202 721 1169 0 292847 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1176080
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18652
/proc/meminfo: memFree=30273816/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1362.35 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322670 0 0 0 136111 124 0 0 25 0 1 0 887025649 1204305920 285202 33554432000 4194304 8979876 140736710051776 18446744073709551615 6890408 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285202 721 1169 0 292847 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1176080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18653
/proc/meminfo: memFree=30274884/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1422.35 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322861 0 0 0 142107 128 0 0 25 0 1 0 887025649 1204305920 285393 33554432000 4194304 8979876 140736710051776 18446744073709551615 7146232 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285393 721 1169 0 292847 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1176080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 18655
/proc/meminfo: memFree=30270876/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1482.35 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322867 0 0 0 148105 130 0 0 25 0 1 0 887025649 1204305920 285399 33554432000 4194304 8979876 140736710051776 18446744073709551615 7093030 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285399 721 1169 0 292847 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 1176080
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 18656
/proc/meminfo: memFree=30267740/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1542.35 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322867 0 0 0 154103 132 0 0 25 0 1 0 887025649 1204305920 285399 33554432000 4194304 8979876 140736710051776 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285399 721 1169 0 292847 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1176080
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 18658
/proc/meminfo: memFree=30274268/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1602.36 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322870 0 0 0 160101 135 0 0 25 0 1 0 887025649 1204305920 285402 33554432000 4194304 8979876 140736710051776 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285402 723 1169 0 292847 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 1176080
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 18660
/proc/meminfo: memFree=30256376/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1662.36 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322871 0 0 0 166097 139 0 0 25 0 1 0 887025649 1204305920 285403 33554432000 4194304 8979876 140736710051776 18446744073709551615 7146477 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285403 723 1169 0 292847 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 1176080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18661
/proc/meminfo: memFree=30260924/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1722.36 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322872 0 0 0 172093 143 0 0 25 0 1 0 887025649 1204305920 285404 33554432000 4194304 8979876 140736710051776 18446744073709551615 7155991 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285404 723 1169 0 292847 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 1176080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18663
/proc/meminfo: memFree=30260496/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1782.37 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322874 0 0 0 178090 147 0 0 25 0 1 0 887025649 1204305920 285406 33554432000 4194304 8979876 140736710051776 18446744073709551615 7122076 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285406 725 1169 0 292847 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 1176080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18663
/proc/meminfo: memFree=30249444/32950928 swapFree=67053888/67111528
[pid=18576] ppid=18574 vsize=1176080 CPUtime=1800.08 cores=0,2,4,6
/proc/18576/stat : 18576 (scip-2.0.1.4_2.) R 18574 18576 16800 0 -1 4202496 322875 0 0 0 179860 148 0 0 25 0 1 0 887025649 1204305920 285407 33554432000 4194304 8979876 140736710051776 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18576/statm: 294020 285407 725 1169 0 292847 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1176080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.13
CPU user time (s): 1798.6
CPU system time (s): 1.52277
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1176080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.52277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 15355
runsolver used 3.37849 second user time and 5.9171 second system time
The end