7.59/7.68 c SCIP version 1.1.0.7
7.59/7.68 c LP-Solver Clp 1.8.2
7.59/7.68 c user parameter file <scip.set> not found - using default parameters
7.59/7.68 c read problem <HOME/instance-1868561-1245127824.opb>
7.59/7.68 c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
9.79/9.88 c No objective function, only one solution is needed.
9.79/9.88 c start presolving problem
9.79/9.88 c presolving:
19.38/19.43 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
20.08/20.11 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.49/20.56 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.29/21.33 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.79/21.80 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.27 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.68/22.73 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.08/23.19 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.66 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
24.08/24.12 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.48/24.58 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.04 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.48/25.50 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.96 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.38/26.43 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.89 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.34 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.78/27.81 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.26 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.68/28.72 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.08/29.18 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.58/29.63 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.08 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.48/30.53 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.97 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.37/31.42 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.77/31.88 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.27/32.32 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.78 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.18/33.23 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.69 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
34.08/34.14 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.58/34.60 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.98/35.06 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.47/35.51 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.87/35.95 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.28/36.38 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.77/36.83 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.16/37.28 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.66/37.73 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.06/38.18 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.64 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
39.06/39.10 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.46/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.36/40.47 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.93 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.26/41.38 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.83 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.17/42.28 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.72 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.16 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.86/43.91 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.57/44.65 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.66/45.70 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.56/49.66 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
122.13/122.24 c presolving (57 rounds):
122.13/122.24 c 10222 deleted vars, 28342 deleted constraints, 5313 tightened bounds, 0 added holes, 9399 changed sides, 19538 changed coefficients
122.13/122.24 c 10377581 implications, 0 cliques
122.13/122.24 c presolved problem has 157889 variables (157889 bin, 0 int, 0 impl, 0 cont) and 459183 constraints
122.13/122.24 c 18798 constraints of type <knapsack>
122.13/122.24 c 440385 constraints of type <logicor>
122.13/122.24 c transformed objective value is always integral (scale: 1)
122.13/122.24 c Presolving Time: 100.26
122.13/122.24 c SATUNSAT-LIN
122.13/122.24 c -----------------------------------------------------------------------------------------------
122.13/122.24 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 0]
122.13/122.24 c separating/flowcover/freq = c -1
122.13/122.24 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 0]
122.13/122.24 c separating/cmir/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/veclendiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/veclendiving/maxlpiterquot = c 0.075
122.13/122.24 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/veclendiving/freq = c -1
122.13/122.24 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 1]
122.13/122.24 c heuristics/simplerounding/freq = c -1
122.13/122.24 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/shifting/freq = c -1
122.13/122.24 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 1]
122.13/122.24 c heuristics/rounding/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/rootsoldiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
122.13/122.24 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
122.13/122.24 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 20]
122.13/122.24 c heuristics/rootsoldiving/freq = c -1
122.13/122.24 c # number of nodes added to the contingent of the total nodes
122.13/122.24 c # [type: longint, range: [0,9223372036854775807], default: 500]
122.13/122.24 c heuristics/rens/nodesofs = c 2000
122.13/122.24 c # minimum percentage of integer variables that have to be fixable
122.13/122.24 c # [type: real, range: [0,1], default: 0.5]
122.13/122.24 c heuristics/rens/minfixingrate = c 0.3
122.13/122.24 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 0]
122.13/122.24 c heuristics/rens/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/pscostdiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/pscostdiving/maxlpiterquot = c 0.075
122.13/122.24 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/pscostdiving/freq = c -1
122.13/122.24 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 1]
122.13/122.24 c heuristics/oneopt/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/objpscostdiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to total iteration number
122.13/122.24 c # [type: real, range: [0,1], default: 0.01]
122.13/122.24 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
122.13/122.24 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 20]
122.13/122.24 c heuristics/objpscostdiving/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/linesearchdiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
122.13/122.24 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/linesearchdiving/freq = c -1
122.13/122.24 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/intshifting/freq = c -1
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/intdiving/maxlpiterquot = c 0.075
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/guideddiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/guideddiving/maxlpiterquot = c 0.075
122.13/122.24 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/guideddiving/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/fracdiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/fracdiving/maxlpiterquot = c 0.075
122.13/122.24 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/fracdiving/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/feaspump/maxlpiterofs = c 2000
122.13/122.24 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 20]
122.13/122.24 c heuristics/feaspump/freq = c -1
122.13/122.24 c # minimum percentage of integer variables that have to be fixed
122.13/122.24 c # [type: real, range: [0,1], default: 0.666]
122.13/122.24 c heuristics/crossover/minfixingrate = c 0.5
122.13/122.24 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
122.13/122.24 c # [type: real, range: [0,1], default: 0.1]
122.13/122.24 c heuristics/crossover/nodesquot = c 0.15
122.13/122.24 c # number of nodes without incumbent change that heuristic should wait
122.13/122.24 c # [type: longint, range: [0,9223372036854775807], default: 200]
122.13/122.24 c heuristics/crossover/nwaitingnodes = c 100
122.13/122.24 c # number of nodes added to the contingent of the total nodes
122.13/122.24 c # [type: longint, range: [0,9223372036854775807], default: 500]
122.13/122.24 c heuristics/crossover/nodesofs = c 750
122.13/122.24 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 30]
122.13/122.24 c heuristics/crossover/freq = c -1
122.13/122.24 c # additional number of allowed LP iterations
122.13/122.24 c # [type: int, range: [0,2147483647], default: 1000]
122.13/122.24 c heuristics/coefdiving/maxlpiterofs = c 1500
122.13/122.24 c # maximal fraction of diving LP iterations compared to node LP iterations
122.13/122.24 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
122.13/122.24 c heuristics/coefdiving/maxlpiterquot = c 0.075
122.13/122.24 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: 10]
122.13/122.24 c heuristics/coefdiving/freq = c -1
122.13/122.24 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: -1]
122.13/122.24 c presolving/probing/maxrounds = c 0
122.13/122.24 c # should presolving try to simplify knapsacks
122.13/122.24 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
122.13/122.24 c constraints/knapsack/simplifyinequalities = c TRUE
122.13/122.24 c # should disaggregation of knapsack constraints be allowed in preprocessing?
122.13/122.24 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
122.13/122.24 c constraints/knapsack/disaggregation = c FALSE
122.13/122.24 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
122.13/122.24 c # [type: int, range: [-1,2147483647], default: -1]
122.13/122.24 c constraints/knapsack/maxnumcardlift = c 0
122.13/122.24 c # should presolving try to simplify inequalities
122.23/122.39 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
122.23/122.39 c constraints/linear/simplifyinequalities = c TRUE
122.23/122.39 c # maximal number of separation rounds in the root node (-1: unlimited)
122.23/122.39 c # [type: int, range: [-1,2147483647], default: -1]
122.23/122.39 c separating/maxroundsroot = c 5
122.23/122.39 c # maximal number of separation rounds per node (-1: unlimited)
122.23/122.39 c # [type: int, range: [-1,2147483647], default: 5]
122.23/122.39 c separating/maxrounds = c 1
122.23/122.39 c # solving stops, if the given number of solutions were found (-1: no limit)
122.23/122.39 c # [type: int, range: [-1,2147483647], default: -1]
122.23/122.39 c limits/solutions = c 1
122.23/122.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
122.23/122.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
122.23/122.39 c limits/memory = c 1620
122.23/122.39 c # maximal time in seconds to run
122.23/122.39 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
122.23/122.39 c limits/time = c 1791
122.23/122.39 c # frequency for displaying node information lines
122.23/122.39 c # [type: int, range: [-1,2147483647], default: 100]
122.23/122.39 c display/freq = c 10000
122.23/122.39 c -----------------------------------------------------------------------------------------------
122.23/122.39 c start solving problem
122.23/122.39 c