| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | ? (TO) | 1802.23 | 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.50/3.58 c SCIP version 1.1.0.7
3.50/3.58 c LP-Solver SoPlex 1.4.1
3.50/3.58 c user parameter file <scip.set> not found - using default parameters
3.50/3.58 c read problem <HOME/instance-1868596-1245128764.opb>
3.50/3.58 c original problem has 84836 variables (84836 bin, 0 int, 0 impl, 0 cont) and 245062 constraints
4.59/4.66 c No objective function, only one solution is needed.
4.59/4.66 c start presolving problem
4.59/4.66 c presolving:
8.39/8.42 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
8.69/8.71 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
8.89/8.92 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.19/9.29 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
9.49/9.51 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
9.69/9.72 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
9.90/9.94 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.09/10.15 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.29/10.37 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
10.49/10.59 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
10.79/10.80 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
10.99/11.02 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.19/11.24 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
11.39/11.46 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
11.59/11.67 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
11.79/11.89 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.10/12.11 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.29/12.32 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
12.48/12.54 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
12.69/12.76 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
12.89/12.97 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.09/13.19 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
13.39/13.40 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
13.59/13.62 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
13.79/13.83 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
13.98/14.05 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
14.19/14.26 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
14.38/14.48 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
14.59/14.69 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
14.89/14.91 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.09/15.12 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
15.29/15.33 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
15.49/15.55 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
15.89/15.91 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
16.19/16.27 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
18.69/18.71 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
44.38/44.44 c presolving (37 rounds):
44.38/44.44 c 2282 deleted vars, 5767 deleted constraints, 1042 tightened bounds, 0 added holes, 5732 changed sides, 12000 changed coefficients
44.38/44.44 c 4308934 implications, 0 cliques
44.38/44.44 c presolved problem has 82554 variables (82554 bin, 0 int, 0 impl, 0 cont) and 239295 constraints
44.38/44.44 c 11464 constraints of type <knapsack>
44.38/44.44 c 227831 constraints of type <logicor>
44.38/44.44 c transformed objective value is always integral (scale: 1)
44.38/44.44 c Presolving Time: 35.62
44.38/44.44 c SATUNSAT-LIN
44.38/44.44 c -----------------------------------------------------------------------------------------------
44.38/44.44 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 0]
44.38/44.44 c separating/flowcover/freq = c -1
44.38/44.44 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 0]
44.38/44.44 c separating/cmir/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/veclendiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/veclendiving/maxlpiterquot = c 0.075
44.38/44.44 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/veclendiving/freq = c -1
44.38/44.44 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 1]
44.38/44.44 c heuristics/simplerounding/freq = c -1
44.38/44.44 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/shifting/freq = c -1
44.38/44.44 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 1]
44.38/44.44 c heuristics/rounding/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/rootsoldiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
44.38/44.44 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
44.38/44.44 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 20]
44.38/44.44 c heuristics/rootsoldiving/freq = c -1
44.38/44.44 c # number of nodes added to the contingent of the total nodes
44.38/44.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
44.38/44.44 c heuristics/rens/nodesofs = c 2000
44.38/44.44 c # minimum percentage of integer variables that have to be fixable
44.38/44.44 c # [type: real, range: [0,1], default: 0.5]
44.38/44.44 c heuristics/rens/minfixingrate = c 0.3
44.38/44.44 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 0]
44.38/44.44 c heuristics/rens/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/pscostdiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/pscostdiving/maxlpiterquot = c 0.075
44.38/44.44 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/pscostdiving/freq = c -1
44.38/44.44 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 1]
44.38/44.44 c heuristics/oneopt/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/objpscostdiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to total iteration number
44.38/44.44 c # [type: real, range: [0,1], default: 0.01]
44.38/44.44 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
44.38/44.44 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 20]
44.38/44.44 c heuristics/objpscostdiving/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/linesearchdiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
44.38/44.44 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/linesearchdiving/freq = c -1
44.38/44.44 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/intshifting/freq = c -1
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/intdiving/maxlpiterquot = c 0.075
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/guideddiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/guideddiving/maxlpiterquot = c 0.075
44.38/44.44 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/guideddiving/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/fracdiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/fracdiving/maxlpiterquot = c 0.075
44.38/44.44 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/fracdiving/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/feaspump/maxlpiterofs = c 2000
44.38/44.44 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 20]
44.38/44.44 c heuristics/feaspump/freq = c -1
44.38/44.44 c # minimum percentage of integer variables that have to be fixed
44.38/44.44 c # [type: real, range: [0,1], default: 0.666]
44.38/44.44 c heuristics/crossover/minfixingrate = c 0.5
44.38/44.44 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
44.38/44.44 c # [type: real, range: [0,1], default: 0.1]
44.38/44.44 c heuristics/crossover/nodesquot = c 0.15
44.38/44.44 c # number of nodes without incumbent change that heuristic should wait
44.38/44.44 c # [type: longint, range: [0,9223372036854775807], default: 200]
44.38/44.44 c heuristics/crossover/nwaitingnodes = c 100
44.38/44.44 c # number of nodes added to the contingent of the total nodes
44.38/44.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
44.38/44.44 c heuristics/crossover/nodesofs = c 750
44.38/44.44 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 30]
44.38/44.44 c heuristics/crossover/freq = c -1
44.38/44.44 c # additional number of allowed LP iterations
44.38/44.44 c # [type: int, range: [0,2147483647], default: 1000]
44.38/44.44 c heuristics/coefdiving/maxlpiterofs = c 1500
44.38/44.44 c # maximal fraction of diving LP iterations compared to node LP iterations
44.38/44.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
44.38/44.44 c heuristics/coefdiving/maxlpiterquot = c 0.075
44.38/44.44 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: 10]
44.38/44.44 c heuristics/coefdiving/freq = c -1
44.38/44.44 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: -1]
44.38/44.44 c presolving/probing/maxrounds = c 0
44.38/44.44 c # should presolving try to simplify knapsacks
44.38/44.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
44.38/44.44 c constraints/knapsack/simplifyinequalities = c TRUE
44.38/44.44 c # should disaggregation of knapsack constraints be allowed in preprocessing?
44.38/44.44 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
44.38/44.44 c constraints/knapsack/disaggregation = c FALSE
44.38/44.44 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
44.38/44.44 c # [type: int, range: [-1,2147483647], default: -1]
44.38/44.44 c constraints/knapsack/maxnumcardlift = c 0
44.38/44.44 c # should presolving try to simplify inequalities
44.48/44.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
44.48/44.52 c constraints/linear/simplifyinequalities = c TRUE
44.48/44.52 c # maximal number of separation rounds in the root node (-1: unlimited)
44.48/44.52 c # [type: int, range: [-1,2147483647], default: -1]
44.48/44.52 c separating/maxroundsroot = c 5
44.48/44.52 c # maximal number of separation rounds per node (-1: unlimited)
44.48/44.52 c # [type: int, range: [-1,2147483647], default: 5]
44.48/44.52 c separating/maxrounds = c 1
44.48/44.52 c # solving stops, if the given number of solutions were found (-1: no limit)
44.48/44.52 c # [type: int, range: [-1,2147483647], default: -1]
44.48/44.52 c limits/solutions = c 1
44.48/44.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
44.48/44.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.48/44.52 c limits/memory = c 1620
44.48/44.52 c # maximal time in seconds to run
44.48/44.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
44.48/44.52 c limits/time = c 1791
44.48/44.52 c # frequency for displaying node information lines
44.48/44.52 c # [type: int, range: [-1,2147483647], default: 100]
44.48/44.52 c display/freq = c 10000
44.48/44.52 c -----------------------------------------------------------------------------------------------
44.48/44.52 c start solving problem
44.48/44.52 c
195.03/195.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.03/195.14 c 187s| 1 | 0 | 14017 | 603M| 0 |9111 | 82k| 239k| 239k| 82k| 239k| 0 | 0 | 0 | 1.617987e+03 | -- | Inf
320.17/320.37 c 311s| 1 | 0 | 15731 | 603M| 0 |8508 | 82k| 239k| 239k| 82k| 239k| 248 | 0 | 0 | 1.699588e+03 | -- | Inf
539.69/539.92 c 530s| 1 | 0 | 17726 | 605M| 0 |8319 | 82k| 239k| 239k| 82k| 239k| 406 | 0 | 0 | 1.759884e+03 | -- | Inf
879.47/879.86 c 869s| 1 | 0 | 19715 | 606M| 0 |8786 | 82k| 239k| 239k| 82k| 239k| 521 | 0 | 0 | 1.778138e+03 | -- | Inf
1588.03/1588.62 c 1578s| 1 | 0 | 20765 | 606M| 0 |8660 | 82k| 239k| 239k| 82k| 239k| 619 | 0 | 0 | 1.790908e+03 | -- | Inf
1801.56/1802.27 c 1791s| 1 | 0 | 20805 | 606M| 0 | - | 82k| 239k| 239k| 82k| 240k| 720 | 0 | 0 | 1.790908e+03 | -- | Inf
1801.66/1802.35 c 1791s| 1 | 2 | 20805 | 606M| 0 | - | 82k| 239k| 239k| 82k| 240k| 720 | 0 | 0 | 1.790908e+03 | -- | Inf
1801.66/1802.35 c
1801.66/1802.35 c SCIP Status : solving was interrupted [user interrupt]
1801.66/1802.35 c Solving Time (sec) : 1791.10
1801.66/1802.35 c Solving Nodes : 1
1801.66/1802.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.66/1802.35 c Dual Bound : +1.79090781095659e+03
1801.66/1802.35 c Gap : infinite
1801.66/1802.35 c NODE 1
1801.66/1802.35 c DUAL BOUND 1790.91
1801.66/1802.35 c PRIMAL BOUND 1e+20
1801.66/1802.35 c GAP 1e+20
1801.66/1802.35 s UNKNOWN
1801.66/1802.35 c SCIP Status : solving was interrupted [user interrupt]
1801.66/1802.35 c Solving Time : 1791.10
1801.66/1802.35 c Original Problem :
1801.66/1802.35 c Problem name : HOME/instance-1868596-1245128764.opb
1801.66/1802.35 c Variables : 84836 (84836 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.66/1802.35 c Constraints : 245062 initial, 245062 maximal
1801.66/1802.35 c Presolved Problem :
1801.66/1802.35 c Problem name : t_HOME/instance-1868596-1245128764.opb
1801.66/1802.35 c Variables : 82554 (82554 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.66/1802.35 c Constraints : 239295 initial, 239295 maximal
1801.66/1802.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.66/1802.35 c trivial : 0.63 85 0 0 0 0 0 0 0
1801.66/1802.35 c dualfix : 0.49 0 0 0 0 0 0 0 0
1801.66/1802.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.66/1802.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.66/1802.35 c implics : 1.47 0 1150 0 0 0 0 0 0
1801.66/1802.35 c probing : 0.00 0 0 0 0 0 0 0 0
1801.66/1802.35 c knapsack : 25.11 0 0 0 0 0 0 0 0
1801.66/1802.35 c linear : 6.89 1042 5 0 1042 0 5767 5732 12000
1801.66/1802.35 c logicor : 0.42 0 0 0 0 0 0 0 0
1801.66/1802.35 c root node : - 0 - - 0 - - - -
1801.66/1802.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.66/1802.35 c integral : 0 0 0 0 0 0 0 0 0 0
1801.66/1802.35 c knapsack : 11464 5 1 0 1 0 0 1000 0 0
1801.66/1802.35 c logicor : 227831 5 1 0 1 0 0 0 0 0
1801.66/1802.35 c countsols : 0 0 0 0 1 0 0 0 0 0
1801.66/1802.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.66/1802.35 c integral : 0.00 0.00 0.00 0.00 0.00
1801.66/1802.35 c knapsack : 0.02 0.02 0.00 0.00 0.00
1801.66/1802.35 c logicor : 0.38 0.14 0.19 0.00 0.05
1801.66/1802.35 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.66/1802.35 c Propagators : Time Calls Cutoffs DomReds
1801.66/1802.35 c rootredcost : 0.00 0 0 0
1801.66/1802.35 c pseudoobj : 0.09 6 0 0
1801.66/1802.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.66/1802.35 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.66/1802.35 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.66/1802.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.66/1802.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.66/1802.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.66/1802.35 c applied globally : - - - 0 0.0 - - -
1801.66/1802.35 c applied locally : - - - 0 0.0 - - -
1801.66/1802.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.66/1802.35 c cut pool : 0.00 4 - - 564 - (maximal pool size: 2197)
1801.66/1802.35 c redcost : 0.09 5 0 0 0 0
1801.66/1802.35 c impliedbounds : 0.22 5 0 0 0 0
1801.66/1802.35 c intobj : 0.00 0 0 0 0 0
1801.66/1802.35 c gomory : 797.70 5 0 0 1787 0
1801.66/1802.35 c strongcg : 644.99 5 0 0 1601 0
1801.66/1802.35 c cmir : 0.00 0 0 0 0 0
1801.66/1802.35 c flowcover : 0.00 0 0 0 0 0
1801.66/1802.35 c clique : 6.26 5 0 0 24 0
1801.66/1802.35 c zerohalf : 0.00 0 0 0 0 0
1801.66/1802.35 c mcf : 2.08 1 0 0 0 0
1801.66/1802.35 c Pricers : Time Calls Vars
1801.66/1802.35 c problem variables: 0.00 0 0
1801.66/1802.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.66/1802.35 c relpscost : 0.00 0 0 0 0 0 0
1801.66/1802.35 c pscost : 0.00 0 0 0 0 0 0
1801.66/1802.35 c inference : 0.03 1 0 0 0 0 2
1801.66/1802.35 c mostinf : 0.00 0 0 0 0 0 0
1801.66/1802.35 c leastinf : 0.00 0 0 0 0 0 0
1801.66/1802.35 c fullstrong : 0.00 0 0 0 0 0 0
1801.66/1802.35 c allfullstrong : 0.00 0 0 0 0 0 0
1801.66/1802.35 c random : 0.00 0 0 0 0 0 0
1801.66/1802.35 c Primal Heuristics : Time Calls Found
1801.66/1802.35 c LP solutions : 0.00 - 0
1801.66/1802.35 c pseudo solutions : 0.00 - 0
1801.66/1802.35 c simplerounding : 0.00 0 0
1801.66/1802.35 c rounding : 0.00 0 0
1801.66/1802.35 c shifting : 0.00 0 0
1801.66/1802.35 c intshifting : 0.00 0 0
1801.66/1802.35 c oneopt : 0.00 0 0
1801.66/1802.35 c fixandinfer : 0.00 0 0
1801.66/1802.35 c feaspump : 0.00 0 0
1801.66/1802.35 c coefdiving : 0.00 0 0
1801.66/1802.35 c pscostdiving : 0.00 0 0
1801.66/1802.35 c fracdiving : 0.00 0 0
1801.66/1802.35 c veclendiving : 0.00 0 0
1801.66/1802.35 c intdiving : 0.00 0 0
1801.66/1802.35 c actconsdiving : 0.00 0 0
1801.66/1802.35 c objpscostdiving : 0.00 0 0
1801.66/1802.35 c rootsoldiving : 0.00 0 0
1801.66/1802.35 c linesearchdiving : 0.00 0 0
1801.66/1802.35 c guideddiving : 0.00 0 0
1801.66/1802.35 c octane : 0.00 0 0
1801.66/1802.35 c rens : 0.00 0 0
1801.66/1802.35 c rins : 0.00 0 0
1801.66/1802.35 c localbranching : 0.00 0 0
1801.66/1802.35 c mutation : 0.00 0 0
1801.66/1802.35 c crossover : 0.00 0 0
1801.66/1802.35 c dins : 0.00 0 0
1801.66/1802.35 c LP : Time Calls Iterations Iter/call Iter/sec
1801.66/1802.35 c primal LP : 0.00 0 0 0.00 -
1801.66/1802.35 c dual LP : 301.12 6 20805 3467.50 69.09
1801.66/1802.35 c barrier LP : 0.00 0 0 0.00 -
1801.66/1802.35 c diving/probing LP: 0.00 0 0 0.00 -
1801.66/1802.35 c strong branching : 0.00 0 0 0.00 -
1801.66/1802.35 c (at root node) : - 0 0 0.00 -
1801.66/1802.35 c conflict analysis: 0.00 0 0 0.00 -
1801.66/1802.35 c B&B Tree :
1801.66/1802.35 c number of runs : 1
1801.66/1802.35 c nodes : 1
1801.66/1802.35 c nodes (total) : 1
1801.66/1802.35 c nodes left : 2
1801.66/1802.35 c max depth : 0
1801.66/1802.35 c max depth (total): 0
1801.66/1802.35 c backtracks : 0 (0.0%)
1801.66/1802.35 c delayed cutoffs : 0
1801.66/1802.35 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.66/1802.35 c avg switch length: 1.00
1801.66/1802.35 c switching time : 0.00
1801.66/1802.35 c Solution :
1801.66/1802.35 c Solutions found : 0 (0 improvements)
1801.66/1802.35 c Primal Bound : -
1801.66/1802.35 c Dual Bound : +1.79090781095659e+03
1801.66/1802.35 c Gap : infinite
1801.66/1802.35 c Root Dual Bound : +1.79090781095659e+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-1868596-1245128764/watcher-1868596-1245128764 -o /tmp/evaluation-result-1868596-1245128764/solver-1868596-1245128764 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868596-1245128764.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.90 0.93 0.97 3/64 1004 /proc/meminfo: memFree=1758088/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=6100 CPUtime=0 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 607 0 0 0 0 0 0 0 18 0 1 0 180475981 6246400 589 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 1525 601 325 886 0 635 0 [startup+0.0722319 s] /proc/loadavg: 0.90 0.93 0.97 3/64 1004 /proc/meminfo: memFree=1758088/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=12096 CPUtime=0.06 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 2340 0 0 0 6 0 0 0 18 0 1 0 180475981 12386304 2322 1992294400 4194304 7823515 548682068736 18446744073709551615 6911163 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 3024 2322 351 886 0 2134 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12096 [startup+0.101232 s] /proc/loadavg: 0.90 0.93 0.97 3/64 1004 /proc/meminfo: memFree=1758088/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=14576 CPUtime=0.09 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 2948 0 0 0 9 0 0 0 18 0 1 0 180475981 14925824 2930 1992294400 4194304 7823515 548682068736 18446744073709551615 4363781 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 3644 2930 351 886 0 2754 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14576 [startup+0.301244 s] /proc/loadavg: 0.90 0.93 0.97 3/64 1004 /proc/meminfo: memFree=1758088/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=23476 CPUtime=0.29 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 5175 0 0 0 28 1 0 0 19 0 1 0 180475981 24039424 5157 1992294400 4194304 7823515 548682068736 18446744073709551615 6908057 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 5869 5157 351 886 0 4979 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23476 [startup+0.70127 s] /proc/loadavg: 0.90 0.93 0.97 3/64 1004 /proc/meminfo: memFree=1758088/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=40252 CPUtime=0.69 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 9387 0 0 0 66 3 0 0 23 0 1 0 180475981 41218048 9369 1992294400 4194304 7823515 548682068736 18446744073709551615 6896675 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 10063 9369 351 886 0 9173 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40252 [startup+1.50132 s] /proc/loadavg: 0.91 0.93 0.97 2/65 1005 /proc/meminfo: memFree=1708800/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=73304 CPUtime=1.49 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 17614 0 0 0 143 6 0 0 25 0 1 0 180475981 75063296 17596 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 18326 17596 351 886 0 17436 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 73304 [startup+3.10142 s] /proc/loadavg: 0.91 0.93 0.97 2/65 1005 /proc/meminfo: memFree=1662464/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=141564 CPUtime=3.09 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 34668 0 0 0 296 13 0 0 25 0 1 0 180475981 144961536 34650 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 35391 34650 351 886 0 34501 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 141564 [startup+6.30162 s] /proc/loadavg: 0.91 0.93 0.97 2/65 1005 /proc/meminfo: memFree=1361216/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=446300 CPUtime=6.29 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 110166 0 0 0 578 51 0 0 25 0 1 0 180475981 457011200 109794 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 111575 109794 432 886 0 110685 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 446300 [startup+12.702 s] /proc/loadavg: 0.92 0.93 0.97 2/65 1005 /proc/meminfo: memFree=1246808/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=523128 CPUtime=12.69 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 128360 0 0 0 1023 246 0 0 25 0 1 0 180475981 535683072 127988 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 130782 127988 432 886 0 129892 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 523128 [startup+25.5018 s] /proc/loadavg: 0.93 0.93 0.97 2/65 1005 /proc/meminfo: memFree=1120352/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=650100 CPUtime=25.48 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 167236 0 0 0 2083 465 0 0 25 0 1 0 180475981 665702400 159595 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 162525 159595 443 886 0 161635 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 650100 [startup+51.1014 s] /proc/loadavg: 0.95 0.94 0.97 2/65 1005 /proc/meminfo: memFree=880800/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=916740 CPUtime=51.07 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 232724 0 0 0 4611 496 0 0 25 0 1 0 180475981 938741760 219457 1992294400 4194304 7823515 548682068736 18446744073709551615 6110797 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 229185 219457 518 886 0 228295 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 916740 [startup+102.306 s] /proc/loadavg: 0.98 0.95 0.97 2/65 1005 /proc/meminfo: memFree=854816/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=968672 CPUtime=102.27 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 239610 0 0 0 9725 502 0 0 25 0 1 0 180475981 991920128 225939 1992294400 4194304 7823515 548682068736 18446744073709551615 6263029 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 242168 225939 522 886 0 241278 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 968672 [startup+162.301 s] /proc/loadavg: 0.99 0.95 0.97 2/65 1005 /proc/meminfo: memFree=832480/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=976300 CPUtime=162.24 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 245243 0 0 0 15718 506 0 0 25 0 1 0 180475981 999731200 231507 1992294400 4194304 7823515 548682068736 18446744073709551615 6210987 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 244075 231507 522 886 0 243185 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 976300 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.97 2/65 1005 /proc/meminfo: memFree=829088/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=976744 CPUtime=222.22 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 246105 0 0 0 21713 509 0 0 25 0 1 0 180475981 1000185856 232369 1992294400 4194304 7823515 548682068736 18446744073709551615 4338498 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 244186 232369 540 886 0 243296 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 976744 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/65 1005 /proc/meminfo: memFree=829024/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=976744 CPUtime=282.2 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 246109 0 0 0 27636 584 0 0 25 0 1 0 180475981 1000185856 232373 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 244186 232373 542 886 0 243296 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 976744 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 1005 /proc/meminfo: memFree=786848/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1020472 CPUtime=342.16 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 257508 0 0 0 33590 626 0 0 25 0 1 0 180475981 1044963328 242906 1992294400 4194304 7823515 548682068736 18446744073709551615 5965825 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 255118 242906 553 886 0 254228 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1020472 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 1005 /proc/meminfo: memFree=786848/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1020472 CPUtime=402.15 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 257508 0 0 0 39586 629 0 0 25 0 1 0 180475981 1044963328 242906 1992294400 4194304 7823515 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 255118 242906 553 886 0 254228 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 1020472 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 1005 /proc/meminfo: memFree=786848/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1020472 CPUtime=462.13 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 257508 0 0 0 45579 634 0 0 25 0 1 0 180475981 1044963328 242906 1992294400 4194304 7823515 548682068736 18446744073709551615 4272794 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 255118 242906 553 886 0 254228 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 1020472 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 1005 /proc/meminfo: memFree=768160/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1035172 CPUtime=522.11 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 262196 0 0 0 51573 638 0 0 25 0 1 0 180475981 1060016128 247584 1992294400 4194304 7823515 548682068736 18446744073709551615 6212302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1004/statm: 258793 247584 553 886 0 257903 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1035172 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 1005 /proc/meminfo: memFree=767904/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1035172 CPUtime=582.08 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 262239 0 0 0 57568 640 0 0 25 0 1 0 180475981 1060016128 247627 1992294400 4194304 7823515 548682068736 18446744073709551615 5965958 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1004/statm: 258793 247627 553 886 0 257903 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 1035172 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 1005 /proc/meminfo: memFree=767840/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1035172 CPUtime=642.05 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 262239 0 0 0 63561 644 0 0 25 0 1 0 180475981 1060016128 247627 1992294400 4194304 7823515 548682068736 18446744073709551615 6911996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 258793 247627 553 886 0 257903 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1035172 [startup+702.301 s] ################ # More data... # ################ /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 105520 671 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 5965396 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1040116 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=758048/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1121.89 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 111513 676 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1040116 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757984/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1181.87 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 117508 679 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 6911799 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1040116 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757856/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1241.85 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 123502 683 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 4272716 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1040116 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757792/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1301.84 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 129497 687 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1040116 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757792/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1361.82 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 135492 690 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1040116 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757792/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1421.8 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 141485 695 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1040116 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757728/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1481.78 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 147479 699 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 4274214 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1040116 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=757728/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1040116 CPUtime=1541.75 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 264639 0 0 0 153472 703 0 0 25 0 1 0 180475981 1065078784 250027 1992294400 4194304 7823515 548682068736 18446744073709551615 6912071 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 260029 250027 553 886 0 259139 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1040116 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=755232/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1047620 CPUtime=1601.73 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265316 0 0 0 159467 706 0 0 25 0 1 0 180475981 1072762880 250704 1992294400 4194304 7823515 548682068736 18446744073709551615 5965398 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1004/statm: 261905 250704 554 886 0 261015 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1047620 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=755168/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1047620 CPUtime=1661.71 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265316 0 0 0 165462 709 0 0 25 0 1 0 180475981 1072762880 250704 1992294400 4194304 7823515 548682068736 18446744073709551615 4338432 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 261905 250704 554 886 0 261015 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1047620 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=755104/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1047620 CPUtime=1721.69 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265316 0 0 0 171457 712 0 0 25 0 1 0 180475981 1072762880 250704 1992294400 4194304 7823515 548682068736 18446744073709551615 4252376 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 261905 250704 554 886 0 261015 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1047620 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=754976/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1047620 CPUtime=1781.68 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265316 0 0 0 177451 717 0 0 25 0 1 0 180475981 1072762880 250704 1992294400 4194304 7823515 548682068736 18446744073709551615 4338504 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 261905 250704 554 886 0 261015 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1047620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=754976/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1047620 CPUtime=1800.07 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265316 0 0 0 179289 718 0 0 25 0 1 0 180475981 1072762880 250704 1992294400 4194304 7823515 548682068736 18446744073709551615 4338440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 261905 250704 554 886 0 261015 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1047620 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -1004 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1005 /proc/meminfo: memFree=754976/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1051604 CPUtime=1800.76 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265870 0 0 0 179358 718 0 0 25 0 1 0 180475981 1076842496 251258 1992294400 4194304 7823515 548682068736 18446744073709551615 6158183 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 262901 251258 554 886 0 262011 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 1051604 [startup+1802.2 s] /proc/loadavg: 1.00 0.99 0.97 2/66 1006 /proc/meminfo: memFree=752792/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1051604 CPUtime=1801.56 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265870 0 0 0 179438 718 0 0 25 0 1 0 180475981 1076842496 251258 1992294400 4194304 7823515 548682068736 18446744073709551615 6212100 0 0 4096 16384 0 0 0 17 0 0 0 /proc/1004/statm: 262901 251258 554 886 0 262011 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 1051604 [startup+1802.6 s] /proc/loadavg: 1.00 0.99 0.97 2/66 1006 /proc/meminfo: memFree=752792/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=1051604 CPUtime=1801.96 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4194304 265875 0 0 0 179478 718 0 0 25 0 1 0 180475981 1076842496 251263 1992294400 4194304 7823515 548682068736 18446744073709551615 4304269 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 262901 251263 559 886 0 262011 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 1051604 [startup+1802.8 s] /proc/loadavg: 1.00 0.99 0.97 2/65 1006 /proc/meminfo: memFree=1389528/2055920 swapFree=4191900/4192956 [pid=1004] ppid=1002 vsize=0 CPUtime=1802.17 /proc/1004/stat : 1004 (pbscip.linux.x8) R 1002 1004 32310 0 -1 4195332 265875 0 0 0 179489 728 0 0 25 0 1 0 180475981 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/1004/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.86 CPU time (s): 1802.23 CPU user time (s): 1794.9 CPU system time (s): 7.33088 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 1051604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 7.33089 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265875 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= 6054 runsolver used 1.81472 second user time and 4.75728 second system time The end
Begin job on node29 at 2009-06-16 07:06:04 IDJOB=1868596 IDBENCH=1465 IDSOLVER=683 FILE ID=node29/1868596-1245128764 PBS_JOBID= 9363703 Free space on /tmp= 66236 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) 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.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868596-1245128764/watcher-1868596-1245128764 -o /tmp/evaluation-result-1868596-1245128764/solver-1868596-1245128764 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868596-1245128764.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1785d65de493315a1e7654bb7aab8248 RANDOM SEED=1974285897 node29.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.237 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.237 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: 2055920 kB MemFree: 1758568 kB Buffers: 33172 kB Cached: 199052 kB SwapCached: 268 kB Active: 90776 kB Inactive: 154216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758568 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 18924 kB Writeback: 0 kB Mapped: 21252 kB Slab: 38344 kB Committed_AS: 173004 kB PageTables: 1472 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= 66224 MiB End job on node29 at 2009-06-16 07:36:07