7.59/7.67 c SCIP version 1.1.0.7
7.59/7.67 c LP-Solver SoPlex 1.4.1
7.59/7.67 c user parameter file <scip.set> not found - using default parameters
7.59/7.67 c read problem <HOME/instance-1868560-1245127780.opb>
7.59/7.67 c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
9.79/9.83 c No objective function, only one solution is needed.
9.79/9.83 c start presolving problem
9.79/9.83 c presolving:
19.28/19.35 c (round 1) 6005 del vars, 9418 del conss, 3237 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10333961 impls, 0 clqs
19.99/20.03 c (round 2) 6513 del vars, 17155 del conss, 3538 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
20.38/20.49 c (round 3) 6515 del vars, 17469 del conss, 3540 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10335953 impls, 0 clqs
21.19/21.27 c (round 4) 6527 del vars, 17550 del conss, 3552 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336079 impls, 0 clqs
21.68/21.75 c (round 5) 6661 del vars, 17634 del conss, 3563 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10336363 impls, 0 clqs
22.18/22.22 c (round 6) 6736 del vars, 17971 del conss, 3577 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337065 impls, 0 clqs
22.58/22.69 c (round 7) 6813 del vars, 18191 del conss, 3594 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337461 impls, 0 clqs
23.09/23.16 c (round 8) 6890 del vars, 18415 del conss, 3611 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337752 impls, 0 clqs
23.58/23.63 c (round 9) 6968 del vars, 18644 del conss, 3630 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10337938 impls, 0 clqs
23.99/24.10 c (round 10) 7046 del vars, 18869 del conss, 3652 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338154 impls, 0 clqs
24.49/24.56 c (round 11) 7150 del vars, 19152 del conss, 3701 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338448 impls, 0 clqs
24.98/25.02 c (round 12) 7264 del vars, 19481 del conss, 3761 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10338972 impls, 0 clqs
25.38/25.49 c (round 13) 7368 del vars, 19776 del conss, 3812 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339348 impls, 0 clqs
25.88/25.94 c (round 14) 7442 del vars, 20007 del conss, 3834 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339532 impls, 0 clqs
26.39/26.40 c (round 15) 7510 del vars, 20209 del conss, 3851 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339674 impls, 0 clqs
26.78/26.86 c (round 16) 7578 del vars, 20411 del conss, 3869 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339816 impls, 0 clqs
27.28/27.31 c (round 17) 7644 del vars, 20612 del conss, 3886 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10339972 impls, 0 clqs
27.68/27.77 c (round 18) 7710 del vars, 20809 del conss, 3904 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340170 impls, 0 clqs
28.18/28.23 c (round 19) 7776 del vars, 21006 del conss, 3923 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340318 impls, 0 clqs
28.58/28.68 c (round 20) 7842 del vars, 21203 del conss, 3943 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340514 impls, 0 clqs
29.09/29.13 c (round 21) 7908 del vars, 21400 del conss, 3964 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340642 impls, 0 clqs
29.48/29.59 c (round 22) 7974 del vars, 21597 del conss, 3986 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340770 impls, 0 clqs
29.98/30.04 c (round 23) 8040 del vars, 21794 del conss, 4009 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10340962 impls, 0 clqs
30.38/30.49 c (round 24) 8106 del vars, 21991 del conss, 4033 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341090 impls, 0 clqs
30.88/30.94 c (round 25) 8172 del vars, 22188 del conss, 4058 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341218 impls, 0 clqs
31.28/31.39 c (round 26) 8238 del vars, 22385 del conss, 4084 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341346 impls, 0 clqs
31.78/31.84 c (round 27) 8304 del vars, 22582 del conss, 4111 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341514 impls, 0 clqs
32.18/32.29 c (round 28) 8370 del vars, 22779 del conss, 4139 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10341686 impls, 0 clqs
32.68/32.73 c (round 29) 8452 del vars, 22992 del conss, 4168 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10343198 impls, 0 clqs
33.08/33.18 c (round 30) 8534 del vars, 23237 del conss, 4198 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10345902 impls, 0 clqs
33.57/33.63 c (round 31) 8616 del vars, 23482 del conss, 4229 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10348478 impls, 0 clqs
33.98/34.08 c (round 32) 8698 del vars, 23727 del conss, 4261 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10350948 impls, 0 clqs
34.48/34.53 c (round 33) 8764 del vars, 23956 del conss, 4294 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10352648 impls, 0 clqs
34.87/34.98 c (round 34) 8846 del vars, 24169 del conss, 4328 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10356076 impls, 0 clqs
35.37/35.44 c (round 35) 8928 del vars, 24414 del conss, 4363 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10356666 impls, 0 clqs
35.88/35.90 c (round 36) 9010 del vars, 24659 del conss, 4399 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359696 impls, 0 clqs
36.27/36.35 c (round 37) 9047 del vars, 24840 del conss, 4436 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359756 impls, 0 clqs
36.78/36.80 c (round 38) 9091 del vars, 24955 del conss, 4476 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10359946 impls, 0 clqs
37.17/37.26 c (round 39) 9146 del vars, 25094 del conss, 4519 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360450 impls, 0 clqs
37.67/37.72 c (round 40) 9196 del vars, 25247 del conss, 4566 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10360643 impls, 0 clqs
38.07/38.17 c (round 41) 9266 del vars, 25411 del conss, 4618 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10361435 impls, 0 clqs
38.57/38.63 c (round 42) 9348 del vars, 25622 del conss, 4672 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10362633 impls, 0 clqs
38.97/39.09 c (round 43) 9432 del vars, 25864 del conss, 4723 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10363593 impls, 0 clqs
39.47/39.55 c (round 44) 9508 del vars, 26090 del conss, 4772 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10364937 impls, 0 clqs
39.96/40.02 c (round 45) 9574 del vars, 26316 del conss, 4825 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10368277 impls, 0 clqs
40.37/40.48 c (round 46) 9693 del vars, 26597 del conss, 4929 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10369216 impls, 0 clqs
40.86/40.94 c (round 47) 9911 del vars, 27041 del conss, 5039 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10372749 impls, 0 clqs
41.36/41.40 c (round 48) 10042 del vars, 27566 del conss, 5152 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10374369 impls, 0 clqs
41.77/41.85 c (round 49) 10104 del vars, 27838 del conss, 5202 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10375621 impls, 0 clqs
42.27/42.30 c (round 50) 10132 del vars, 27976 del conss, 5230 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376083 impls, 0 clqs
42.66/42.75 c (round 51) 10153 del vars, 28047 del conss, 5247 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376563 impls, 0 clqs
43.06/43.19 c (round 52) 10170 del vars, 28103 del conss, 5263 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10376857 impls, 0 clqs
43.87/43.95 c (round 53) 10190 del vars, 28173 del conss, 5281 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377231 impls, 0 clqs
44.56/44.69 c (round 54) 10206 del vars, 28213 del conss, 5297 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377343 impls, 0 clqs
45.67/45.73 c (round 55) 10222 del vars, 28261 del conss, 5313 chg bounds, 9399 chg sides, 19538 chg coeffs, 0 upgd conss, 10377543 impls, 0 clqs
49.67/49.72 c (round 56) 10222 del vars, 28342 del conss, 5313 chg bounds, 9399 chg sides, 19538 chg coeffs, 459164 upgd conss, 10377581 impls, 0 clqs
119.84/119.93 c presolving (57 rounds):
119.84/119.93 c 10222 deleted vars, 28342 deleted constraints, 5313 tightened bounds, 0 added holes, 9399 changed sides, 19538 changed coefficients
119.84/119.93 c 10377581 implications, 0 cliques
119.84/119.93 c presolved problem has 157889 variables (157889 bin, 0 int, 0 impl, 0 cont) and 459183 constraints
119.84/119.93 c 18798 constraints of type <knapsack>
119.84/119.93 c 440385 constraints of type <logicor>
119.84/119.93 c transformed objective value is always integral (scale: 1)
119.84/119.93 c Presolving Time: 97.83
119.84/119.93 c SATUNSAT-LIN
119.84/119.93 c -----------------------------------------------------------------------------------------------
119.84/119.93 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 0]
119.84/119.93 c separating/flowcover/freq = c -1
119.84/119.93 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 0]
119.84/119.93 c separating/cmir/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/veclendiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/veclendiving/maxlpiterquot = c 0.075
119.84/119.93 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/veclendiving/freq = c -1
119.84/119.93 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 1]
119.84/119.93 c heuristics/simplerounding/freq = c -1
119.84/119.93 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/shifting/freq = c -1
119.84/119.93 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 1]
119.84/119.93 c heuristics/rounding/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/rootsoldiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
119.84/119.93 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
119.84/119.93 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 20]
119.84/119.93 c heuristics/rootsoldiving/freq = c -1
119.84/119.93 c # number of nodes added to the contingent of the total nodes
119.84/119.93 c # [type: longint, range: [0,9223372036854775807], default: 500]
119.84/119.93 c heuristics/rens/nodesofs = c 2000
119.84/119.93 c # minimum percentage of integer variables that have to be fixable
119.84/119.93 c # [type: real, range: [0,1], default: 0.5]
119.84/119.93 c heuristics/rens/minfixingrate = c 0.3
119.84/119.93 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 0]
119.84/119.93 c heuristics/rens/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/pscostdiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/pscostdiving/maxlpiterquot = c 0.075
119.84/119.93 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/pscostdiving/freq = c -1
119.84/119.93 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 1]
119.84/119.93 c heuristics/oneopt/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/objpscostdiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to total iteration number
119.84/119.93 c # [type: real, range: [0,1], default: 0.01]
119.84/119.93 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
119.84/119.93 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 20]
119.84/119.93 c heuristics/objpscostdiving/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/linesearchdiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
119.84/119.93 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/linesearchdiving/freq = c -1
119.84/119.93 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/intshifting/freq = c -1
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/intdiving/maxlpiterquot = c 0.075
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/guideddiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/guideddiving/maxlpiterquot = c 0.075
119.84/119.93 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/guideddiving/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/fracdiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/fracdiving/maxlpiterquot = c 0.075
119.84/119.93 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/fracdiving/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/feaspump/maxlpiterofs = c 2000
119.84/119.93 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 20]
119.84/119.93 c heuristics/feaspump/freq = c -1
119.84/119.93 c # minimum percentage of integer variables that have to be fixed
119.84/119.93 c # [type: real, range: [0,1], default: 0.666]
119.84/119.93 c heuristics/crossover/minfixingrate = c 0.5
119.84/119.93 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
119.84/119.93 c # [type: real, range: [0,1], default: 0.1]
119.84/119.93 c heuristics/crossover/nodesquot = c 0.15
119.84/119.93 c # number of nodes without incumbent change that heuristic should wait
119.84/119.93 c # [type: longint, range: [0,9223372036854775807], default: 200]
119.84/119.93 c heuristics/crossover/nwaitingnodes = c 100
119.84/119.93 c # number of nodes added to the contingent of the total nodes
119.84/119.93 c # [type: longint, range: [0,9223372036854775807], default: 500]
119.84/119.93 c heuristics/crossover/nodesofs = c 750
119.84/119.93 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 30]
119.84/119.93 c heuristics/crossover/freq = c -1
119.84/119.93 c # additional number of allowed LP iterations
119.84/119.93 c # [type: int, range: [0,2147483647], default: 1000]
119.84/119.93 c heuristics/coefdiving/maxlpiterofs = c 1500
119.84/119.93 c # maximal fraction of diving LP iterations compared to node LP iterations
119.84/119.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
119.84/119.93 c heuristics/coefdiving/maxlpiterquot = c 0.075
119.84/119.93 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: 10]
119.84/119.93 c heuristics/coefdiving/freq = c -1
119.84/119.93 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: -1]
119.84/119.93 c presolving/probing/maxrounds = c 0
119.84/119.93 c # should presolving try to simplify knapsacks
119.84/119.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
119.84/119.93 c constraints/knapsack/simplifyinequalities = c TRUE
119.84/119.93 c # should disaggregation of knapsack constraints be allowed in preprocessing?
119.84/119.93 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
119.84/119.93 c constraints/knapsack/disaggregation = c FALSE
119.84/119.93 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
119.84/119.93 c # [type: int, range: [-1,2147483647], default: -1]
119.84/119.93 c constraints/knapsack/maxnumcardlift = c 0
119.84/119.93 c # should presolving try to simplify inequalities
119.93/120.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
119.93/120.08 c constraints/linear/simplifyinequalities = c TRUE
119.93/120.08 c # maximal number of separation rounds in the root node (-1: unlimited)
119.93/120.08 c # [type: int, range: [-1,2147483647], default: -1]
119.93/120.08 c separating/maxroundsroot = c 5
119.93/120.08 c # maximal number of separation rounds per node (-1: unlimited)
119.93/120.08 c # [type: int, range: [-1,2147483647], default: 5]
119.93/120.08 c separating/maxrounds = c 1
119.93/120.08 c # solving stops, if the given number of solutions were found (-1: no limit)
119.93/120.08 c # [type: int, range: [-1,2147483647], default: -1]
119.93/120.08 c limits/solutions = c 1
119.93/120.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
119.93/120.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
119.93/120.08 c limits/memory = c 1620
119.93/120.08 c # maximal time in seconds to run
119.93/120.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
119.93/120.08 c limits/time = c 1791
119.93/120.08 c # frequency for displaying node information lines
119.93/120.08 c # [type: int, range: [-1,2147483647], default: 100]
119.93/120.08 c display/freq = c 10000
119.93/120.08 c -----------------------------------------------------------------------------------------------
119.93/120.08 c start solving problem
119.93/120.08 c