| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1802.19 | 1802.86 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl.opb |
| MD5SUM | 1785d65de493315a1e7654bb7aab8248 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 293.39 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 84836 |
| Total number of constraints | 245062 |
| Number of constraints which are clauses | 233598 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11464 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 129 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 510 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3.79/3.84 c SCIP version 1.1.0.7
3.79/3.84 c LP-Solver Clp 1.8.2
3.79/3.84 c user parameter file <scip.set> not found - using default parameters
3.79/3.84 c read problem <HOME/instance-1868597-1245128782.opb>
3.79/3.84 c original problem has 84836 variables (84836 bin, 0 int, 0 impl, 0 cont) and 245062 constraints
4.89/4.99 c No objective function, only one solution is needed.
4.89/4.99 c start presolving problem
4.89/4.99 c presolving:
8.89/8.97 c (round 1) 1662 del vars, 1803 del conss, 686 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4302008 impls, 0 clqs
9.19/9.27 c (round 2) 1808 del vars, 4307 del conss, 699 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304250 impls, 0 clqs
9.48/9.50 c (round 3) 1810 del vars, 4406 del conss, 701 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304250 impls, 0 clqs
9.79/9.89 c (round 4) 1818 del vars, 4429 del conss, 709 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304276 impls, 0 clqs
10.08/10.12 c (round 5) 1845 del vars, 4454 del conss, 715 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304326 impls, 0 clqs
10.29/10.35 c (round 6) 1874 del vars, 4533 del conss, 723 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304378 impls, 0 clqs
10.49/10.58 c (round 7) 1907 del vars, 4620 del conss, 733 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304448 impls, 0 clqs
10.79/10.81 c (round 8) 1935 del vars, 4711 del conss, 744 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304644 impls, 0 clqs
10.99/11.03 c (round 9) 1954 del vars, 4784 del conss, 755 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304828 impls, 0 clqs
11.18/11.26 c (round 10) 1965 del vars, 4831 del conss, 766 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4304972 impls, 0 clqs
11.39/11.49 c (round 11) 1977 del vars, 4862 del conss, 778 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4305100 impls, 0 clqs
11.69/11.71 c (round 12) 1993 del vars, 4899 del conss, 792 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4305322 impls, 0 clqs
11.89/11.94 c (round 13) 2015 del vars, 4951 del conss, 807 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4306316 impls, 0 clqs
12.09/12.17 c (round 14) 2048 del vars, 5028 del conss, 822 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307218 impls, 0 clqs
12.39/12.40 c (round 15) 2059 del vars, 5095 del conss, 833 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307564 impls, 0 clqs
12.59/12.63 c (round 16) 2074 del vars, 5128 del conss, 846 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307702 impls, 0 clqs
12.79/12.86 c (round 17) 2087 del vars, 5174 del conss, 858 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4307906 impls, 0 clqs
12.99/13.09 c (round 18) 2095 del vars, 5200 del conss, 866 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308136 impls, 0 clqs
13.29/13.31 c (round 19) 2104 del vars, 5222 del conss, 875 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308168 impls, 0 clqs
13.49/13.54 c (round 20) 2117 del vars, 5250 del conss, 886 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308190 impls, 0 clqs
13.68/13.76 c (round 21) 2128 del vars, 5291 del conss, 896 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308262 impls, 0 clqs
13.89/13.99 c (round 22) 2136 del vars, 5313 del conss, 904 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308286 impls, 0 clqs
14.19/14.21 c (round 23) 2145 del vars, 5335 del conss, 913 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308318 impls, 0 clqs
14.39/14.44 c (round 24) 2158 del vars, 5363 del conss, 924 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308340 impls, 0 clqs
14.59/14.67 c (round 25) 2169 del vars, 5404 del conss, 934 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308524 impls, 0 clqs
14.79/14.89 c (round 26) 2177 del vars, 5426 del conss, 942 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308548 impls, 0 clqs
15.09/15.12 c (round 27) 2186 del vars, 5448 del conss, 951 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308580 impls, 0 clqs
15.29/15.34 c (round 28) 2199 del vars, 5476 del conss, 962 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308602 impls, 0 clqs
15.48/15.57 c (round 29) 2210 del vars, 5517 del conss, 972 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308650 impls, 0 clqs
15.78/15.80 c (round 30) 2218 del vars, 5539 del conss, 980 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308674 impls, 0 clqs
15.98/16.02 c (round 31) 2227 del vars, 5561 del conss, 989 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308706 impls, 0 clqs
16.19/16.25 c (round 32) 2240 del vars, 5589 del conss, 1000 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308728 impls, 0 clqs
16.39/16.47 c (round 33) 2250 del vars, 5630 del conss, 1010 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308782 impls, 0 clqs
16.79/16.86 c (round 34) 2264 del vars, 5668 del conss, 1024 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308838 impls, 0 clqs
17.19/17.24 c (round 35) 2276 del vars, 5711 del conss, 1036 chg bounds, 5732 chg sides, 12000 chg coeffs, 0 upgd conss, 4308886 impls, 0 clqs
19.69/19.76 c (round 36) 2282 del vars, 5767 del conss, 1042 chg bounds, 5732 chg sides, 12000 chg coeffs, 239294 upgd conss, 4308934 impls, 0 clqs
45.27/45.37 c presolving (37 rounds):
45.27/45.37 c 2282 deleted vars, 5767 deleted constraints, 1042 tightened bounds, 0 added holes, 5732 changed sides, 12000 changed coefficients
45.27/45.37 c 4308934 implications, 0 cliques
45.27/45.37 c presolved problem has 82554 variables (82554 bin, 0 int, 0 impl, 0 cont) and 239295 constraints
45.27/45.37 c 11464 constraints of type <knapsack>
45.27/45.37 c 227831 constraints of type <logicor>
45.27/45.37 c transformed objective value is always integral (scale: 1)
45.27/45.37 c Presolving Time: 35.96
45.27/45.37 c SATUNSAT-LIN
45.27/45.37 c -----------------------------------------------------------------------------------------------
45.27/45.37 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 0]
45.27/45.37 c separating/flowcover/freq = c -1
45.27/45.37 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 0]
45.27/45.37 c separating/cmir/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/veclendiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/veclendiving/maxlpiterquot = c 0.075
45.27/45.37 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/veclendiving/freq = c -1
45.27/45.37 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 1]
45.27/45.37 c heuristics/simplerounding/freq = c -1
45.27/45.37 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/shifting/freq = c -1
45.27/45.37 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 1]
45.27/45.37 c heuristics/rounding/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/rootsoldiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
45.27/45.37 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
45.27/45.37 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 20]
45.27/45.37 c heuristics/rootsoldiving/freq = c -1
45.27/45.37 c # number of nodes added to the contingent of the total nodes
45.27/45.37 c # [type: longint, range: [0,9223372036854775807], default: 500]
45.27/45.37 c heuristics/rens/nodesofs = c 2000
45.27/45.37 c # minimum percentage of integer variables that have to be fixable
45.27/45.37 c # [type: real, range: [0,1], default: 0.5]
45.27/45.37 c heuristics/rens/minfixingrate = c 0.3
45.27/45.37 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 0]
45.27/45.37 c heuristics/rens/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/pscostdiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/pscostdiving/maxlpiterquot = c 0.075
45.27/45.37 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/pscostdiving/freq = c -1
45.27/45.37 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 1]
45.27/45.37 c heuristics/oneopt/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/objpscostdiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to total iteration number
45.27/45.37 c # [type: real, range: [0,1], default: 0.01]
45.27/45.37 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
45.27/45.37 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 20]
45.27/45.37 c heuristics/objpscostdiving/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/linesearchdiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
45.27/45.37 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/linesearchdiving/freq = c -1
45.27/45.37 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/intshifting/freq = c -1
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/intdiving/maxlpiterquot = c 0.075
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/guideddiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/guideddiving/maxlpiterquot = c 0.075
45.27/45.37 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/guideddiving/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/fracdiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/fracdiving/maxlpiterquot = c 0.075
45.27/45.37 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/fracdiving/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/feaspump/maxlpiterofs = c 2000
45.27/45.37 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 20]
45.27/45.37 c heuristics/feaspump/freq = c -1
45.27/45.37 c # minimum percentage of integer variables that have to be fixed
45.27/45.37 c # [type: real, range: [0,1], default: 0.666]
45.27/45.37 c heuristics/crossover/minfixingrate = c 0.5
45.27/45.37 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
45.27/45.37 c # [type: real, range: [0,1], default: 0.1]
45.27/45.37 c heuristics/crossover/nodesquot = c 0.15
45.27/45.37 c # number of nodes without incumbent change that heuristic should wait
45.27/45.37 c # [type: longint, range: [0,9223372036854775807], default: 200]
45.27/45.37 c heuristics/crossover/nwaitingnodes = c 100
45.27/45.37 c # number of nodes added to the contingent of the total nodes
45.27/45.37 c # [type: longint, range: [0,9223372036854775807], default: 500]
45.27/45.37 c heuristics/crossover/nodesofs = c 750
45.27/45.37 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 30]
45.27/45.37 c heuristics/crossover/freq = c -1
45.27/45.37 c # additional number of allowed LP iterations
45.27/45.37 c # [type: int, range: [0,2147483647], default: 1000]
45.27/45.37 c heuristics/coefdiving/maxlpiterofs = c 1500
45.27/45.37 c # maximal fraction of diving LP iterations compared to node LP iterations
45.27/45.37 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.27/45.37 c heuristics/coefdiving/maxlpiterquot = c 0.075
45.27/45.37 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: 10]
45.27/45.37 c heuristics/coefdiving/freq = c -1
45.27/45.37 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: -1]
45.27/45.37 c presolving/probing/maxrounds = c 0
45.27/45.37 c # should presolving try to simplify knapsacks
45.27/45.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.27/45.37 c constraints/knapsack/simplifyinequalities = c TRUE
45.27/45.37 c # should disaggregation of knapsack constraints be allowed in preprocessing?
45.27/45.37 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
45.27/45.37 c constraints/knapsack/disaggregation = c FALSE
45.27/45.37 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
45.27/45.37 c # [type: int, range: [-1,2147483647], default: -1]
45.27/45.37 c constraints/knapsack/maxnumcardlift = c 0
45.27/45.37 c # should presolving try to simplify inequalities
45.38/45.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.38/45.45 c constraints/linear/simplifyinequalities = c TRUE
45.38/45.45 c # maximal number of separation rounds in the root node (-1: unlimited)
45.38/45.45 c # [type: int, range: [-1,2147483647], default: -1]
45.38/45.45 c separating/maxroundsroot = c 5
45.38/45.45 c # maximal number of separation rounds per node (-1: unlimited)
45.38/45.45 c # [type: int, range: [-1,2147483647], default: 5]
45.38/45.45 c separating/maxrounds = c 1
45.38/45.45 c # solving stops, if the given number of solutions were found (-1: no limit)
45.38/45.45 c # [type: int, range: [-1,2147483647], default: -1]
45.38/45.45 c limits/solutions = c 1
45.38/45.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
45.38/45.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.38/45.45 c limits/memory = c 1620
45.38/45.45 c # maximal time in seconds to run
45.38/45.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.38/45.45 c limits/time = c 1791
45.38/45.45 c # frequency for displaying node information lines
45.38/45.45 c # [type: int, range: [-1,2147483647], default: 100]
45.38/45.45 c display/freq = c 10000
45.38/45.45 c -----------------------------------------------------------------------------------------------
45.38/45.45 c start solving problem
45.38/45.45 c
93.56/93.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.56/93.62 c 84.5s| 1 | 0 | 14408 | 603M| 0 |9119 | 82k| 239k| 239k| 82k| 239k| 0 | 0 | 0 | 1.617987e+03 | -- | Inf
196.52/196.67 c 186s| 1 | 0 | 15983 | 603M| 0 |8498 | 82k| 239k| 239k| 82k| 239k| 250 | 0 | 0 | 1.699123e+03 | -- | Inf
315.07/315.30 c 305s| 1 | 0 | 18205 | 604M| 0 |8482 | 82k| 239k| 239k| 82k| 239k| 386 | 0 | 0 | 1.746866e+03 | -- | Inf
496.51/496.78 c 486s| 1 | 0 | 20442 | 605M| 0 |8650 | 82k| 239k| 239k| 82k| 239k| 496 | 0 | 0 | 1.763200e+03 | -- | Inf
633.95/634.24 c 623s| 1 | 0 | 22121 | 605M| 0 |8442 | 82k| 239k| 239k| 82k| 239k| 601 | 0 | 0 | 1.772219e+03 | -- | Inf
1060.49/1060.98 c 1050s| 1 | 0 | 25250 | 606M| 0 |8292 | 82k| 239k| 239k| 82k| 240k| 716 | 0 | 0 | 1.811968e+03 | -- | Inf
1349.29/1349.86 c 1338s| 1 | 2 | 25250 | 606M| 0 |8292 | 82k| 239k| 239k| 82k| 240k| 716 | 0 | 23 | 1.811968e+03 | -- | Inf
1801.41/1802.17 c
1801.41/1802.17 c SCIP Status : solving was interrupted [user interrupt]
1801.41/1802.17 c Solving Time (sec) : 1788.92
1801.41/1802.17 c Solving Nodes : 3
1801.41/1802.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.41/1802.17 c Dual Bound : +1.81371897827482e+03
1801.41/1802.17 c Gap : infinite
1801.41/1802.17 c NODE 3
1801.41/1802.17 c DUAL BOUND 1813.72
1801.41/1802.17 c PRIMAL BOUND 1e+20
1801.41/1802.17 c GAP 1e+20
1801.41/1802.17 s UNKNOWN
1801.41/1802.17 c SCIP Status : solving was interrupted [user interrupt]
1801.41/1802.17 c Solving Time : 1788.92
1801.41/1802.17 c Original Problem :
1801.41/1802.17 c Problem name : HOME/instance-1868597-1245128782.opb
1801.41/1802.17 c Variables : 84836 (84836 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.41/1802.17 c Constraints : 245062 initial, 245062 maximal
1801.41/1802.17 c Presolved Problem :
1801.41/1802.17 c Problem name : t_HOME/instance-1868597-1245128782.opb
1801.41/1802.17 c Variables : 82554 (82554 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.41/1802.17 c Constraints : 239295 initial, 239295 maximal
1801.41/1802.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.41/1802.17 c trivial : 0.61 85 0 0 0 0 0 0 0
1801.41/1802.17 c dualfix : 0.55 0 0 0 0 0 0 0 0
1801.41/1802.17 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.41/1802.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.41/1802.17 c implics : 1.55 0 1150 0 0 0 0 0 0
1801.41/1802.17 c probing : 0.00 0 0 0 0 0 0 0 0
1801.41/1802.17 c knapsack : 24.96 0 0 0 0 0 0 0 0
1801.41/1802.17 c linear : 7.20 1042 5 0 1042 0 5767 5732 12000
1801.41/1802.17 c logicor : 0.42 0 0 0 0 0 0 0 0
1801.41/1802.17 c root node : - 0 - - 0 - - - -
1801.41/1802.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.41/1802.17 c integral : 0 0 0 3 0 0 0 0 0 6
1801.41/1802.17 c knapsack : 11464 5 28 0 0 0 0 1000 0 0
1801.41/1802.17 c logicor : 227831 5 28 0 0 0 125 0 0 0
1801.41/1802.17 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.41/1802.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.41/1802.17 c integral : 693.30 0.00 0.00 693.30 0.00
1801.41/1802.17 c knapsack : 0.05 0.02 0.03 0.00 0.00
1801.41/1802.17 c logicor : 0.33 0.14 0.19 0.00 0.00
1801.41/1802.17 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.41/1802.17 c Propagators : Time Calls Cutoffs DomReds
1801.41/1802.17 c rootredcost : 0.00 0 0 0
1801.41/1802.17 c pseudoobj : 0.51 34 0 0
1801.41/1802.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.41/1802.17 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.41/1802.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.41/1802.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.41/1802.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.41/1802.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.41/1802.17 c applied globally : - - - 0 0.0 - - -
1801.41/1802.17 c applied locally : - - - 0 0.0 - - -
1801.41/1802.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.41/1802.17 c cut pool : 0.00 4 - - 640 - (maximal pool size: 2295)
1801.41/1802.17 c redcost : 0.12 7 0 0 0 0
1801.41/1802.17 c impliedbounds : 0.25 5 0 0 0 0
1801.41/1802.17 c intobj : 0.00 0 0 0 0 0
1801.41/1802.17 c gomory : 560.58 5 0 0 2194 0
1801.41/1802.17 c strongcg : 262.33 5 0 0 2500 0
1801.41/1802.17 c cmir : 0.00 0 0 0 0 0
1801.41/1802.17 c flowcover : 0.00 0 0 0 0 0
1801.41/1802.17 c clique : 6.64 5 0 0 29 0
1801.41/1802.17 c zerohalf : 0.00 0 0 0 0 0
1801.41/1802.17 c mcf : 1.80 1 0 0 0 0
1801.41/1802.17 c Pricers : Time Calls Vars
1801.41/1802.17 c problem variables: 0.00 0 0
1801.41/1802.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.41/1802.17 c relpscost : 693.30 3 0 0 0 0 6
1801.41/1802.17 c pscost : 0.00 0 0 0 0 0 0
1801.41/1802.17 c inference : 0.00 0 0 0 0 0 0
1801.41/1802.17 c mostinf : 0.00 0 0 0 0 0 0
1801.41/1802.17 c leastinf : 0.00 0 0 0 0 0 0
1801.41/1802.17 c fullstrong : 0.00 0 0 0 0 0 0
1801.41/1802.17 c allfullstrong : 0.00 0 0 0 0 0 0
1801.41/1802.17 c random : 0.00 0 0 0 0 0 0
1801.41/1802.17 c Primal Heuristics : Time Calls Found
1801.41/1802.17 c LP solutions : 0.00 - 0
1801.41/1802.17 c pseudo solutions : 0.00 - 0
1801.41/1802.17 c simplerounding : 0.00 0 0
1801.41/1802.17 c rounding : 0.00 0 0
1801.41/1802.17 c shifting : 0.00 0 0
1801.41/1802.17 c intshifting : 0.00 0 0
1801.41/1802.17 c oneopt : 0.00 0 0
1801.41/1802.17 c fixandinfer : 0.00 0 0
1801.41/1802.17 c feaspump : 0.00 0 0
1801.41/1802.17 c coefdiving : 0.00 0 0
1801.41/1802.17 c pscostdiving : 0.00 0 0
1801.41/1802.17 c fracdiving : 0.00 0 0
1801.41/1802.17 c veclendiving : 0.00 0 0
1801.41/1802.17 c intdiving : 0.00 0 0
1801.41/1802.17 c actconsdiving : 0.00 0 0
1801.41/1802.17 c objpscostdiving : 0.00 0 0
1801.41/1802.17 c rootsoldiving : 0.00 0 0
1801.41/1802.17 c linesearchdiving : 0.00 0 0
1801.41/1802.17 c guideddiving : 0.00 0 0
1801.41/1802.17 c octane : 0.00 0 0
1801.41/1802.17 c rens : 0.00 0 0
1801.41/1802.17 c rins : 0.00 0 0
1801.41/1802.17 c localbranching : 0.00 0 0
1801.41/1802.17 c mutation : 0.00 0 0
1801.41/1802.17 c crossover : 0.00 0 0
1801.41/1802.17 c dins : 0.00 0 0
1801.41/1802.17 c LP : Time Calls Iterations Iter/call Iter/sec
1801.41/1802.17 c primal LP : 14.53 0 0 0.00 0.00
1801.41/1802.17 c dual LP : 209.73 8 27587 3448.38 131.54
1801.41/1802.17 c barrier LP : 0.00 0 0 0.00 -
1801.41/1802.17 c diving/probing LP: 0.00 0 0 0.00 -
1801.41/1802.17 c strong branching : 693.27 57 51954 911.47 74.94
1801.41/1802.17 c (at root node) : - 23 21602 939.22 -
1801.41/1802.17 c conflict analysis: 0.00 0 0 0.00 -
1801.41/1802.17 c B&B Tree :
1801.41/1802.17 c number of runs : 1
1801.41/1802.17 c nodes : 3
1801.41/1802.17 c nodes (total) : 3
1801.41/1802.17 c nodes left : 4
1801.41/1802.17 c max depth : 2
1801.41/1802.17 c max depth (total): 2
1801.41/1802.17 c backtracks : 0 (0.0%)
1801.41/1802.17 c delayed cutoffs : 0
1801.41/1802.17 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.41/1802.17 c avg switch length: 1.00
1801.41/1802.17 c switching time : 14.61
1801.41/1802.17 c Solution :
1801.41/1802.17 c Solutions found : 0 (0 improvements)
1801.41/1802.17 c Primal Bound : -
1801.41/1802.17 c Dual Bound : +1.81371897827482e+03
1801.41/1802.17 c Gap : infinite
1801.41/1802.17 c Root Dual Bound : +1.81196836613082e+03
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868597-1245128782/watcher-1868597-1245128782 -o /tmp/evaluation-result-1868597-1245128782/solver-1868597-1245128782 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868597-1245128782.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3833 /proc/meminfo: memFree=1112200/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=5812 CPUtime=0 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 529 0 0 0 0 0 0 0 18 0 1 0 180479029 5951488 513 1992294400 4194304 9342243 548682068736 18446744073709551615 8194560 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 1454 520 348 1256 0 193 0 [startup+0.039953 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3833 /proc/meminfo: memFree=1112200/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=11732 CPUtime=0.03 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 1912 0 0 0 3 0 0 0 18 0 1 0 180479029 12013568 1896 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 2933 1896 376 1256 0 1672 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11732 [startup+0.101964 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3833 /proc/meminfo: memFree=1112200/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=16056 CPUtime=0.09 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 2970 0 0 0 8 1 0 0 18 0 1 0 180479029 16441344 2954 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 4014 2954 376 1256 0 2753 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16056 [startup+0.302003 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3833 /proc/meminfo: memFree=1112200/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=24944 CPUtime=0.29 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 5194 0 0 0 28 1 0 0 19 0 1 0 180479029 25542656 5178 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 6236 5178 376 1256 0 4975 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24944 [startup+0.70108 s] /proc/loadavg: 0.85 0.97 0.99 3/64 3833 /proc/meminfo: memFree=1112200/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=39268 CPUtime=0.69 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 8793 0 0 0 66 3 0 0 22 0 1 0 180479029 40210432 8777 1992294400 4194304 9342243 548682068736 18446744073709551615 4511625 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 9817 8777 376 1256 0 8556 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39268 [startup+1.50124 s] /proc/loadavg: 0.85 0.97 0.99 2/65 3834 /proc/meminfo: memFree=1065344/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=72096 CPUtime=1.49 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 16992 0 0 0 143 6 0 0 25 0 1 0 180479029 73826304 16976 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 18024 16976 376 1256 0 16763 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72096 [startup+3.10155 s] /proc/loadavg: 0.85 0.97 0.99 2/65 3834 /proc/meminfo: memFree=1023040/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=133196 CPUtime=3.09 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 32236 0 0 0 296 13 0 0 25 0 1 0 180479029 136392704 32220 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 33299 32220 376 1256 0 32038 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 133196 [startup+6.30118 s] /proc/loadavg: 0.86 0.97 0.99 2/65 3834 /proc/meminfo: memFree=732160/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=428644 CPUtime=6.29 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 105649 0 0 0 580 49 0 0 25 0 1 0 180479029 438931456 105279 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 107161 105279 474 1256 0 105900 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 428644 [startup+12.7014 s] /proc/loadavg: 0.87 0.97 0.99 2/65 3834 /proc/meminfo: memFree=600768/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=524392 CPUtime=12.68 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 128423 0 0 0 1045 223 0 0 25 0 1 0 180479029 536977408 128053 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 131098 128053 474 1256 0 129837 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 524392 [startup+25.5019 s] /proc/loadavg: 0.90 0.97 0.99 2/65 3834 /proc/meminfo: memFree=473920/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=651500 CPUtime=25.49 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 167333 0 0 0 2058 491 0 0 25 0 1 0 180479029 667136000 159694 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 162875 159694 485 1256 0 161614 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 651500 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.99 2/65 3834 /proc/meminfo: memFree=240832/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=973116 CPUtime=51.07 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 227088 0 0 0 4580 527 0 0 25 0 1 0 180479029 996470784 218059 1992294400 4194304 9342243 548682068736 18446744073709551615 6044998 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 243279 218059 619 1256 0 242018 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 973116 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.99 2/65 3834 /proc/meminfo: memFree=210432/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=981264 CPUtime=102.25 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 234642 0 0 0 9689 536 0 0 25 0 1 0 180479029 1004814336 225602 1992294400 4194304 9342243 548682068736 18446744073709551615 6939160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 245316 225602 640 1256 0 244055 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 981264 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=210304/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=981264 CPUtime=162.24 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 234658 0 0 0 15685 539 0 0 25 0 1 0 180479029 1004814336 225618 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 245316 225618 641 1256 0 244055 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 981264 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=183680/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1001136 CPUtime=222.21 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 241317 0 0 0 21558 663 0 0 25 0 1 0 180479029 1025163264 232277 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 250284 232277 653 1256 0 249023 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1001136 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=183616/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1001136 CPUtime=282.18 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 241317 0 0 0 27553 665 0 0 25 0 1 0 180479029 1025163264 232277 1992294400 4194304 9342243 548682068736 18446744073709551615 6939144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 250284 232277 653 1256 0 249023 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 1001136 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=177024/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1005308 CPUtime=342.16 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 242945 0 0 0 33547 669 0 0 25 0 1 0 180479029 1029435392 233905 1992294400 4194304 9342243 548682068736 18446744073709551615 6939152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 251327 233905 653 1256 0 250066 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1005308 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=177024/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1005308 CPUtime=402.14 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 242945 0 0 0 39541 673 0 0 25 0 1 0 180479029 1029435392 233905 1992294400 4194304 9342243 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 251327 233905 653 1256 0 250066 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 1005308 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=177024/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1005308 CPUtime=462.12 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 242945 0 0 0 45536 676 0 0 25 0 1 0 180479029 1029435392 233905 1992294400 4194304 9342243 548682068736 18446744073709551615 6237424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 251327 233905 653 1256 0 250066 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 1005308 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=157888/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1011228 CPUtime=522.1 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 247715 0 0 0 51530 680 0 0 25 0 1 0 180479029 1035497472 238675 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 252807 238675 653 1256 0 251546 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 1011228 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=157952/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1011228 CPUtime=582.07 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 247715 0 0 0 57526 681 0 0 25 0 1 0 180479029 1035497472 238675 1992294400 4194304 9342243 548682068736 18446744073709551615 6939133 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 252807 238675 653 1256 0 251546 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1011228 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=153920/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1011228 CPUtime=642.05 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 248696 0 0 0 63521 684 0 0 25 0 1 0 180479029 1035497472 239656 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 252807 239656 653 1256 0 251546 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1011228 [startup+702.302 s] ################ # More data... # ################ /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 257154 0 0 0 105479 711 0 0 25 0 1 0 180479029 1169498112 248114 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 285522 248114 658 1256 0 284261 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1142088 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=118144/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1139236 CPUtime=1121.87 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 285733 0 0 0 111463 724 0 0 25 0 1 0 180479029 1166577664 248608 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 284809 248608 658 1256 0 283548 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1139236 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=119104/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1138300 CPUtime=1181.85 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 322140 0 0 0 117444 741 0 0 25 0 1 0 180479029 1165619200 248366 1992294400 4194304 9342243 548682068736 18446744073709551615 5868814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 284575 248366 658 1256 0 283314 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1138300 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=118912/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1138300 CPUtime=1241.82 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 351326 0 0 0 123427 755 0 0 25 0 1 0 180479029 1165619200 248386 1992294400 4194304 9342243 548682068736 18446744073709551615 6959725 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 284575 248386 658 1256 0 283314 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1138300 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=119104/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1138300 CPUtime=1301.81 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 394986 0 0 0 129406 775 0 0 25 0 1 0 180479029 1165619200 248330 1992294400 4194304 9342243 548682068736 18446744073709551615 6959599 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 284575 248330 658 1256 0 283314 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1138300 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=141120/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1028596 CPUtime=1361.78 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 418669 0 0 0 135391 787 0 0 25 0 1 0 180479029 1053282304 242872 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 257149 242872 671 1256 0 255888 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1028596 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=117248/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153240 CPUtime=1421.77 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 446240 0 0 0 141376 801 0 0 25 0 1 0 180479029 1180917760 253534 1992294400 4194304 9342243 548682068736 18446744073709551615 6960879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288310 253535 672 1256 0 287049 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1153240 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97600/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153240 CPUtime=1481.74 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 475959 0 0 0 147359 815 0 0 25 0 1 0 180479029 1180917760 253674 1992294400 4194304 9342243 548682068736 18446744073709551615 6966158 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288310 253674 672 1256 0 287049 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1153240 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97536/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153240 CPUtime=1541.71 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 505646 0 0 0 153342 829 0 0 25 0 1 0 180479029 1180917760 253677 1992294400 4194304 9342243 548682068736 18446744073709551615 6960240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288310 253677 672 1256 0 287049 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1153240 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=120960/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1031752 CPUtime=1601.69 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 535181 0 0 0 159325 844 0 0 25 0 1 0 180479029 1056514048 247774 1992294400 4194304 9342243 548682068736 18446744073709551615 6959716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 257938 247774 672 1256 0 256677 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 1031752 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97152/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153244 CPUtime=1661.67 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 565546 0 0 0 165309 858 0 0 25 0 1 0 180479029 1180921856 253763 1992294400 4194304 9342243 548682068736 18446744073709551615 6960499 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288311 253763 672 1256 0 287050 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 1153244 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97024/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153244 CPUtime=1721.65 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 589258 0 0 0 171294 871 0 0 25 0 1 0 180479029 1180921856 253784 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288311 253784 672 1256 0 287050 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 1153244 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97152/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153244 CPUtime=1781.62 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 618829 0 0 0 177277 885 0 0 25 0 1 0 180479029 1180921856 253774 1992294400 4194304 9342243 548682068736 18446744073709551615 6983191 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288311 253774 672 1256 0 287050 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1153244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97088/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153244 CPUtime=1800.02 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 624753 0 0 0 179114 888 0 0 25 0 1 0 180479029 1180921856 253784 1992294400 4194304 9342243 548682068736 18446744073709551615 6970136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288311 253784 672 1256 0 287050 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1153244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -3833 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3834 /proc/meminfo: memFree=97088/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1153244 CPUtime=1800.71 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 624753 0 0 0 179183 888 0 0 25 0 1 0 180479029 1180921856 253784 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3833/statm: 288311 253784 672 1256 0 287050 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 1153244 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.99 2/66 3835 /proc/meminfo: memFree=97080/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1031752 CPUtime=1801.52 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 624759 0 0 0 179263 889 0 0 25 0 1 0 180479029 1056514048 247879 1992294400 4194304 9342243 548682068736 18446744073709551615 4303008 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 257938 247879 674 1256 0 256677 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 1031752 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.99 2/66 3835 /proc/meminfo: memFree=97080/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=1031752 CPUtime=1801.92 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4194304 624761 0 0 0 179303 889 0 0 25 0 1 0 180479029 1056514048 247881 1992294400 4194304 9342243 548682068736 18446744073709551615 5854440 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 257938 247881 676 1256 0 256677 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 1031752 [startup+1802.8 s] /proc/loadavg: 0.99 0.97 0.99 2/65 3835 /proc/meminfo: memFree=712896/2055924 swapFree=4191900/4192956 [pid=3833] ppid=3831 vsize=0 CPUtime=1802.12 /proc/3833/stat : 3833 (pbscip.linux.x8) R 3831 3833 3796 0 -1 4195332 624761 0 0 0 179314 898 0 0 25 0 1 0 180479029 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/3833/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.86 CPU time (s): 1802.19 CPU user time (s): 1793.15 CPU system time (s): 9.04363 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 1156964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.15 system time used= 9.04363 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 624761 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= 2761 runsolver used 1.41978 second user time and 3.99039 second system time The end
Begin job on node6 at 2009-06-16 07:06:22 IDJOB=1868597 IDBENCH=1465 IDSOLVER=684 FILE ID=node6/1868597-1245128782 PBS_JOBID= 9363708 Free space on /tmp= 66232 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868597-1245128782/watcher-1868597-1245128782 -o /tmp/evaluation-result-1868597-1245128782/solver-1868597-1245128782 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868597-1245128782.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248 RANDOM SEED=793855905 node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1112680 kB Buffers: 57504 kB Cached: 803252 kB SwapCached: 260 kB Active: 103424 kB Inactive: 770488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1112680 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 20372 kB Writeback: 0 kB Mapped: 21664 kB Slab: 55308 kB Committed_AS: 153016 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66220 MiB End job on node6 at 2009-06-16 07:36:25