3.09/3.12 c SCIP version 1.1.0.7
3.09/3.12 c LP-Solver SoPlex 1.4.1
3.09/3.12 c user parameter file <scip.set> not found - using default parameters
3.09/3.12 c read problem <HOME/instance-3730553-1338682923.opb>
3.09/3.12 c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
3.89/3.94 c No objective function, only one solution is needed.
3.89/3.94 c start presolving problem
3.89/3.94 c presolving:
7.79/7.87 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
8.09/8.12 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
8.19/8.27 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
8.49/8.52 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
8.59/8.68 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
8.79/8.83 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
8.89/8.99 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
9.09/9.14 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
9.18/9.29 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
9.39/9.44 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
9.59/9.60 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
9.69/9.75 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
9.89/9.90 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
9.99/10.05 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
10.18/10.20 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
10.28/10.35 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
10.49/10.50 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
10.59/10.65 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
10.79/10.80 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
10.89/10.95 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
11.08/11.10 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
11.19/11.25 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
11.39/11.40 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
11.48/11.55 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
11.69/11.70 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
11.78/11.85 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
11.89/12.00 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
12.10/12.14 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
12.19/12.29 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
12.38/12.44 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
12.49/12.59 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
12.69/12.74 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
12.78/12.89 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
12.99/13.04 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
13.09/13.19 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
13.28/13.35 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
13.38/13.49 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
13.58/13.64 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
13.69/13.79 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
13.89/13.94 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
13.99/14.09 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
14.20/14.24 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
14.29/14.39 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
14.49/14.54 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
14.58/14.70 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
14.78/14.85 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
14.99/15.00 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
15.08/15.15 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
15.19/15.30 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
15.39/15.45 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
15.49/15.59 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
15.69/15.74 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
15.89/15.99 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
16.19/16.24 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
16.49/16.59 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
18.18/18.25 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
44.38/44.46 c presolving (57 rounds):
44.38/44.46 c 10222 deleted vars, 28342 deleted constraints, 5313 tightened bounds, 0 added holes, 9399 changed sides, 19538 changed coefficients
44.38/44.46 c 10377581 implications, 0 cliques
44.38/44.46 c presolved problem has 157889 variables (157889 bin, 0 int, 0 impl, 0 cont) and 459183 constraints
44.38/44.46 c 18798 constraints of type <knapsack>
44.38/44.46 c 440385 constraints of type <logicor>
44.38/44.46 c transformed objective value is always integral (scale: 1)
44.38/44.46 c Presolving Time: 35.91
44.38/44.46 c SATUNSAT-LIN
44.38/44.46 c -----------------------------------------------------------------------------------------------
44.38/44.46 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
44.38/44.46 c # [type: int, range: [-1,2147483647], default: 0]
44.38/44.46 c separating/flowcover/freq = c -1
44.38/44.46 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
44.38/44.46 c # [type: int, range: [-1,2147483647], default: 0]
44.38/44.46 c separating/cmir/freq = c -1
44.38/44.46 c # additional number of allowed LP iterations
44.38/44.46 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.46 c heuristics/veclendiving/maxlpiterofs = c 1500
44.38/44.46 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.46 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.46 c heuristics/veclendiving/maxlpiterquot = c 0.075
44.38/44.46 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
44.38/44.46 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.46 c heuristics/veclendiving/freq = c -1
44.38/44.46 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 1]
44.38/44.47 c heuristics/simplerounding/freq = c -1
44.38/44.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/shifting/freq = c -1
44.38/44.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 1]
44.38/44.47 c heuristics/rounding/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/rootsoldiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
44.38/44.47 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
44.38/44.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 20]
44.38/44.47 c heuristics/rootsoldiving/freq = c -1
44.38/44.47 c # number of nodes added to the contingent of the total nodes
44.38/44.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
44.38/44.47 c heuristics/rens/nodesofs = c 2000
44.38/44.47 c # minimum percentage of integer variables that have to be fixable
44.38/44.47 c # [type: real, range: [0,1], default: 0.5]
44.38/44.47 c heuristics/rens/minfixingrate = c 0.3
44.38/44.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 0]
44.38/44.47 c heuristics/rens/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/pscostdiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.47 c heuristics/pscostdiving/maxlpiterquot = c 0.075
44.38/44.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/pscostdiving/freq = c -1
44.38/44.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 1]
44.38/44.47 c heuristics/oneopt/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/objpscostdiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to total iteration number
44.38/44.47 c # [type: real, range: [0,1], default: 0.01]
44.38/44.47 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
44.38/44.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 20]
44.38/44.47 c heuristics/objpscostdiving/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/linesearchdiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.47 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
44.38/44.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/linesearchdiving/freq = c -1
44.38/44.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/intshifting/freq = c -1
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.47 c heuristics/intdiving/maxlpiterquot = c 0.075
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/guideddiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.47 c heuristics/guideddiving/maxlpiterquot = c 0.075
44.38/44.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/guideddiving/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/fracdiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.47 c heuristics/fracdiving/maxlpiterquot = c 0.075
44.38/44.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/fracdiving/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/feaspump/maxlpiterofs = c 2000
44.38/44.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 20]
44.38/44.47 c heuristics/feaspump/freq = c -1
44.38/44.47 c # minimum percentage of integer variables that have to be fixed
44.38/44.47 c # [type: real, range: [0,1], default: 0.666]
44.38/44.47 c heuristics/crossover/minfixingrate = c 0.5
44.38/44.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
44.38/44.47 c # [type: real, range: [0,1], default: 0.1]
44.38/44.47 c heuristics/crossover/nodesquot = c 0.15
44.38/44.47 c # number of nodes without incumbent change that heuristic should wait
44.38/44.47 c # [type: longint, range: [0,9223372036854775807], default: 200]
44.38/44.47 c heuristics/crossover/nwaitingnodes = c 100
44.38/44.47 c # number of nodes added to the contingent of the total nodes
44.38/44.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
44.38/44.47 c heuristics/crossover/nodesofs = c 750
44.38/44.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 30]
44.38/44.47 c heuristics/crossover/freq = c -1
44.38/44.47 c # additional number of allowed LP iterations
44.38/44.47 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.47 c heuristics/coefdiving/maxlpiterofs = c 1500
44.38/44.47 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.47 c heuristics/coefdiving/maxlpiterquot = c 0.075
44.38/44.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.47 c heuristics/coefdiving/freq = c -1
44.38/44.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: -1]
44.38/44.47 c presolving/probing/maxrounds = c 0
44.38/44.47 c # should presolving try to simplify knapsacks
44.38/44.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
44.38/44.47 c constraints/knapsack/simplifyinequalities = c TRUE
44.38/44.47 c # should disaggregation of knapsack constraints be allowed in preprocessing?
44.38/44.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
44.38/44.47 c constraints/knapsack/disaggregation = c FALSE
44.38/44.47 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
44.38/44.47 c # [type: int, range: [-1,2147483647], default: -1]
44.38/44.47 c constraints/knapsack/maxnumcardlift = c 0
44.38/44.47 c # should presolving try to simplify inequalities
44.48/44.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
44.48/44.51 c constraints/linear/simplifyinequalities = c TRUE
44.48/44.51 c # maximal number of separation rounds in the root node (-1: unlimited)
44.48/44.51 c # [type: int, range: [-1,2147483647], default: -1]
44.48/44.51 c separating/maxroundsroot = c 5
44.48/44.51 c # maximal number of separation rounds per node (-1: unlimited)
44.48/44.51 c # [type: int, range: [-1,2147483647], default: 5]
44.48/44.51 c separating/maxrounds = c 1
44.48/44.51 c # solving stops, if the given number of solutions were found (-1: no limit)
44.48/44.51 c # [type: int, range: [-1,2147483647], default: -1]
44.48/44.51 c limits/solutions = c 1
44.48/44.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
44.48/44.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.48/44.51 c limits/memory = c 13950
44.48/44.51 c # maximal time in seconds to run
44.48/44.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.48/44.51 c limits/time = c 1791
44.48/44.51 c # frequency for displaying node information lines
44.48/44.51 c # [type: int, range: [-1,2147483647], default: 100]
44.48/44.51 c display/freq = c 10000
44.48/44.51 c -----------------------------------------------------------------------------------------------
44.48/44.51 c start solving problem
44.48/44.51 c
173.85/173.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.85/173.99 c 165s| 1 | 0 | 19431 |1207M| 0 | 13k| 157k| 459k| 459k| 157k| 459k| 0 | 0 | 0 | 6.042684e+03 | -- | Inf
302.83/302.97 c 293s| 1 | 0 | 22213 |1208M| 0 | 13k| 157k| 459k| 459k| 157k| 459k| 284 | 0 | 0 | 6.175256e+03 | -- | Inf
425.81/425.95 c 416s| 1 | 0 | 24876 |1208M| 0 | 13k| 157k| 459k| 459k| 157k| 459k| 433 | 0 | 0 | 6.231763e+03 | -- | Inf
543.20/543.31 c 533s| 1 | 0 | 27147 |1209M| 0 | 13k| 157k| 459k| 459k| 157k| 459k| 599 | 0 | 0 | 6.254531e+03 | -- | Inf
659.07/659.27 c 649s| 1 | 0 | 29199 |1209M| 0 | 13k| 157k| 459k| 459k| 157k| 459k| 771 | 0 | 0 | 6.271815e+03 | -- | Inf
774.25/774.47 c 764s| 1 | 0 | 31102 |1210M| 0 | 13k| 157k| 459k| 459k| 157k| 460k| 952 | 0 | 0 | 6.284738e+03 | -- | Inf
1101.79/1102.00 c 1091s| 1 | 2 | 31102 |1210M| 0 | 13k| 157k| 459k| 459k| 157k| 460k| 952 | 0 | 18 | 6.284738e+03 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730553-1338682923/watcher-3730553-1338682923 -o /tmp/evaluation-result-3730553-1338682923/solver-3730553-1338682923 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3730553-1338682923.opb
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.10 2.04 1.93 3/176 20346
/proc/meminfo: memFree=27303824/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=8716 CPUtime=0 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 1515 0 0 0 0 0 0 0 20 0 1 0 334417377 8925184 1467 33554432000 4194304 7823515 140736817321840 140735425866040 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 2179 1467 351 887 0 1289 0
[startup+0.0254189 s]
/proc/loadavg: 2.10 2.04 1.93 3/176 20346
/proc/meminfo: memFree=27303824/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=11452 CPUtime=0.02 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 2217 0 0 0 2 0 0 0 20 0 1 0 334417377 11726848 2169 33554432000 4194304 7823515 140736817321840 140735425866040 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 2863 2169 351 887 0 1973 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11452
[startup+0.100233 s]
/proc/loadavg: 2.10 2.04 1.93 3/176 20346
/proc/meminfo: memFree=27303824/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=20224 CPUtime=0.09 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 4262 0 0 0 9 0 0 0 20 0 1 0 334417377 20709376 4215 33554432000 4194304 7823515 140736817321840 140735425866040 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 5056 4246 351 887 0 4166 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20224
[startup+0.300237 s]
/proc/loadavg: 2.10 2.04 1.93 3/176 20346
/proc/meminfo: memFree=27303824/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=40236 CPUtime=0.29 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 9408 0 0 0 28 1 0 0 20 0 1 0 334417377 41201664 9360 33554432000 4194304 7823515 140736817321840 140735425866040 6290224 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 10059 9360 351 887 0 9169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40236
[startup+0.700236 s]
/proc/loadavg: 2.10 2.04 1.93 3/176 20346
/proc/meminfo: memFree=27303824/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=78780 CPUtime=0.69 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 19019 0 0 0 67 2 0 0 20 0 1 0 334417377 80670720 18971 33554432000 4194304 7823515 140736817321840 140735425866040 6288811 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 19695 18971 351 887 0 18805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78780
[startup+1.50023 s]
/proc/loadavg: 2.10 2.04 1.93 3/177 20347
/proc/meminfo: memFree=27200532/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=155004 CPUtime=1.49 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 38015 0 0 0 145 4 0 0 20 0 1 0 334417377 158724096 37967 33554432000 4194304 7823515 140736817321840 140736817187944 6288847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 38751 37967 351 887 0 37861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155004
[startup+3.10024 s]
/proc/loadavg: 2.10 2.04 1.93 3/177 20347
/proc/meminfo: memFree=27094984/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=292908 CPUtime=3.09 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 72339 0 0 0 299 10 0 0 20 0 1 0 334417377 299937792 72291 33554432000 4194304 7823515 140736817321840 140736817187944 6830534 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 73227 72291 351 887 0 72337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 292908
[startup+6.30024 s]
/proc/loadavg: 2.17 2.05 1.94 3/177 20347
/proc/meminfo: memFree=26464488/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=941828 CPUtime=6.29 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 230915 0 0 0 584 45 0 0 20 0 1 0 334417377 964431872 231027 33554432000 4194304 7823515 140736817321840 140736817318776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 235457 231027 432 887 0 234567 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 941828
[startup+12.7003 s]
/proc/loadavg: 2.15 2.05 1.94 3/177 20347
/proc/meminfo: memFree=26276396/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1044380 CPUtime=12.69 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 256321 0 0 0 996 273 0 0 20 0 1 0 334417377 1069445120 256433 33554432000 4194304 7823515 140736817321840 140736817318776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 261095 256433 432 887 0 260205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1044380
[startup+25.5002 s]
/proc/loadavg: 2.12 2.05 1.94 3/177 20347
/proc/meminfo: memFree=26048200/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1273584 CPUtime=25.48 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 312508 0 0 0 2059 489 0 0 20 0 1 0 334417377 1304150016 313271 33554432000 4194304 7823515 140736817321840 140736817319128 6908072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 318396 313271 443 887 0 317506 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1273584
[startup+51.1003 s]
/proc/loadavg: 2.16 2.06 1.94 3/177 20347
/proc/meminfo: memFree=25602852/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1784048 CPUtime=51.08 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 390114 0 0 0 4596 512 0 0 20 0 1 0 334417377 1826865152 428093 33554432000 4194304 7823515 140736817321840 140736817317528 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 446012 428093 521 887 0 445122 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1784048
[startup+102.307 s]
/proc/loadavg: 2.13 2.07 1.95 3/177 20499
/proc/meminfo: memFree=25444176/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1802912 CPUtime=102.28 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 397495 0 0 0 9704 524 0 0 20 0 1 0 334417377 1846181888 433298 33554432000 4194304 7823515 140736817321840 140736817317176 6212056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 450728 433298 522 887 0 449838 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1802912
[startup+162.3 s]
/proc/loadavg: 2.10 2.07 1.95 3/177 20499
/proc/meminfo: memFree=25427332/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1813892 CPUtime=162.25 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 404842 0 0 0 15685 540 0 0 20 0 1 0 334417377 1857425408 436385 33554432000 4194304 7823515 140736817321840 140736817317176 6212032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 453473 436385 522 887 0 452583 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1813892
[startup+222.3 s]
/proc/loadavg: 2.03 2.05 1.95 3/176 20499
/proc/meminfo: memFree=25426128/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1814256 CPUtime=222.24 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 407547 0 0 0 21677 547 0 0 20 0 1 0 334417377 1857798144 436478 33554432000 4194304 7823515 140736817321840 140736817317112 4272736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 453564 436478 541 887 0 452674 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1814256
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/177 20501
/proc/meminfo: memFree=25343016/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1884012 CPUtime=282.23 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 418428 0 0 0 27574 649 0 0 20 0 1 0 334417377 1929228288 457023 33554432000 4194304 7823515 140736817321840 140736817317592 6263160 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 471003 457023 553 887 0 470113 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1884012
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 1.96 3/177 20501
/proc/meminfo: memFree=25336224/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1884264 CPUtime=342.22 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 421411 0 0 0 33566 656 0 0 20 0 1 0 334417377 1929486336 457104 33554432000 4194304 7823515 140736817321840 140736817316984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 471066 457104 553 887 0 470176 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1884264
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/177 20501
/proc/meminfo: memFree=25326448/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1890868 CPUtime=402.21 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 423367 0 0 0 39560 661 0 0 20 0 1 0 334417377 1936248832 458847 33554432000 4194304 7823515 140736817321840 140736817317176 6212288 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 472717 458847 553 887 0 471827 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1890868
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 1.96 3/177 20501
/proc/meminfo: memFree=25313764/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1898420 CPUtime=462.21 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 427020 0 0 0 45552 669 0 0 20 0 1 0 334417377 1943982080 461216 33554432000 4194304 7823515 140736817321840 140736817316984 6908173 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 474605 461216 554 887 0 473715 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1898420
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/178 20504
/proc/meminfo: memFree=25290144/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1916380 CPUtime=522.2 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 428470 0 0 0 51546 674 0 0 20 0 1 0 334417377 1962373120 466244 33554432000 4194304 7823515 140736817321840 140736817317176 6212066 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 479095 466244 554 887 0 478205 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1916380
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/177 20505
/proc/meminfo: memFree=25287700/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1916380 CPUtime=582.18 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 430602 0 0 0 57537 681 0 0 20 0 1 0 334417377 1962373120 466261 33554432000 4194304 7823515 140736817321840 140736817316984 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 479095 466261 554 887 0 478205 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1916380
[startup+642.3 s]
################
# More data... #
################
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 456544 0 0 0 99477 733 0 0 20 0 1 0 334417377 1961144320 467983 33554432000 4194304 7823515 140736817321840 140736817316536 5965038 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 478795 467983 557 887 0 477905 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1915180
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 20507
/proc/meminfo: memFree=25263544/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1915180 CPUtime=1062.1 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 461776 0 0 0 105468 742 0 0 20 0 1 0 334417377 1961144320 467986 33554432000 4194304 7823515 140736817321840 140736817316536 6908178 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 478795 467986 557 887 0 477905 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1915180
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 20510
/proc/meminfo: memFree=25241188/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1941628 CPUtime=1122.08 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 468278 0 0 0 111457 751 0 0 20 0 1 0 334417377 1988227072 473311 33554432000 4194304 7823515 140736817321840 140736817317176 6211023 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 485407 473311 558 887 0 484517 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1941628
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 20511
/proc/meminfo: memFree=25239560/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1941804 CPUtime=1182.07 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 474748 0 0 0 117445 762 0 0 20 0 1 0 334417377 1988407296 473360 33554432000 4194304 7823515 140736817321840 140736817317048 6212165 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 485451 473360 558 887 0 484561 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1941804
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20511
/proc/meminfo: memFree=25246480/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1928744 CPUtime=1242.06 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 487995 0 0 0 123431 775 0 0 20 0 1 0 334417377 1975033856 470092 33554432000 4194304 7823515 140736817321840 140736817316536 6212306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 482186 470092 558 887 0 481296 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1928744
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20511
/proc/meminfo: memFree=25242544/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1924232 CPUtime=1302.06 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 509130 0 0 0 129414 792 0 0 20 0 1 0 334417377 1970413568 470234 33554432000 4194304 7823515 140736817321840 140736817316536 6908143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 481058 470234 558 887 0 480168 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1924232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20511
/proc/meminfo: memFree=25238440/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1924096 CPUtime=1362.04 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 522643 0 0 0 135399 805 0 0 20 0 1 0 334417377 1970274304 470158 33554432000 4194304 7823515 140736817321840 140736817317176 6211001 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 481024 470158 558 887 0 480134 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1924096
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20511
/proc/meminfo: memFree=25221068/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1942820 CPUtime=1422.04 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 530611 0 0 0 141388 816 0 0 20 0 1 0 334417377 1989447680 473952 33554432000 4194304 7823515 140736817321840 140736817317176 6908173 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 485705 473952 558 887 0 484815 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1942820
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20512
/proc/meminfo: memFree=25240364/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1919128 CPUtime=1482.03 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 538267 0 0 0 147377 826 0 0 20 0 1 0 334417377 1965187072 468571 33554432000 4194304 7823515 140736817321840 140736817316888 6110453 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 479782 468571 558 887 0 478892 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1919128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20512
/proc/meminfo: memFree=25227764/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1933956 CPUtime=1542.01 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 548106 0 0 0 153367 834 0 0 20 0 1 0 334417377 1980370944 471254 33554432000 4194304 7823515 140736817321840 140736817316888 6212144 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 483489 471254 558 887 0 482599 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1933956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20512
/proc/meminfo: memFree=25230492/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1925052 CPUtime=1602 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 555451 0 0 0 159357 843 0 0 20 0 1 0 334417377 1971253248 470066 33554432000 4194304 7823515 140736817321840 140736817316536 6211154 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 481263 470066 558 887 0 480373 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1925052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20512
/proc/meminfo: memFree=25223172/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1929028 CPUtime=1662 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 580828 0 0 0 165336 864 0 0 20 0 1 0 334417377 1975324672 471046 33554432000 4194304 7823515 140736817321840 140736817317176 6211440 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 482257 471046 558 887 0 481367 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1929028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20515
/proc/meminfo: memFree=25225396/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1929264 CPUtime=1721.99 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 589076 0 0 0 171324 875 0 0 20 0 1 0 334417377 1975566336 471086 33554432000 4194304 7823515 140736817321840 140736817317592 6212749 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 482316 471086 558 887 0 481426 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1929264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20516
/proc/meminfo: memFree=25226772/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1922756 CPUtime=1781.98 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 597994 0 0 0 177312 886 0 0 20 0 1 0 334417377 1968902144 469604 33554432000 4194304 7823515 140736817321840 140736817316888 6212306 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 480689 469604 558 887 0 479799 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1922756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 20516
/proc/meminfo: memFree=25215852/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1933432 CPUtime=1800.08 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 603781 0 0 0 179119 889 0 0 20 0 1 0 334417377 1979834368 472276 33554432000 4194304 7823515 140736817321840 140736817315384 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 483358 472276 558 887 0 482468 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1933432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20346
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20517
/proc/meminfo: memFree=25215852/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1933432 CPUtime=1801.07 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 603781 0 0 0 179218 889 0 0 20 0 1 0 334417377 1979834368 472276 33554432000 4194304 7823515 140736817321840 140736817316536 6212176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 483358 472276 558 887 0 482468 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 1933432
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20517
/proc/meminfo: memFree=25215720/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1933432 CPUtime=1801.87 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 603781 0 0 0 179298 889 0 0 20 0 1 0 334417377 1979834368 472276 33554432000 4194304 7823515 140736817321840 140736817316536 6109382 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 483358 472276 558 887 0 482468 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 1933432
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 20517
/proc/meminfo: memFree=25215720/32873844 swapFree=7116/7116
[pid=20346] ppid=20344 vsize=1933432 CPUtime=1802.07 cores=0,2,4,6
/proc/20346/stat : 20346 (pbscip.linux.x8) R 20344 20346 10620 0 -1 4202496 603781 0 0 0 179318 889 0 0 20 0 1 0 334417377 1979834368 472276 33554432000 4194304 7823515 140736817321840 140736817316536 6110644 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20346/statm: 483358 472276 558 887 0 482468 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1933432
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.11
CPU user time (s): 1793.2
CPU system time (s): 8.91064
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 2000396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.2
system time used= 8.91065
maximum resident set size= 1924216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603781
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= 47
involuntary context switches= 1988
runsolver used 2.57761 second user time and 7.39487 second system time
The end