| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | UNSAT | 1789.46 | 1790.16 |
| Name | /PURE-SAT/SAT07/crafted/Medium/contest05/ others/QG7-gensys-icl001.sat05-2926.reshuffled-07.opb |
| MD5SUM | 429730cc315202bc2a5b2e928ae9c8e6 |
| Bench Category | PURE-SAT (instances containing only clauses) |
| 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 | 49.7554 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 432 |
| Total number of constraints | 14889 |
| Number of constraints which are clauses | 14889 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| 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 | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 22 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.19/0.23 c SCIP version 1.1.0.7
0.19/0.23 c LP-Solver Clp 1.8.2
0.19/0.23 c user parameter file <scip.set> not found - using default parameters
0.19/0.23 c read problem <HOME/instance-1884108-1245254220.opb>
0.19/0.23 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 14889 constraints
0.19/0.28 c No objective function, only one solution is needed.
0.19/0.28 c start presolving problem
0.19/0.28 c presolving:
0.29/0.36 c (round 1) 51 del vars, 1019 del conss, 44 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4320 impls, 0 clqs
0.29/0.39 c (round 2) 56 del vars, 1449 del conss, 49 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6652 impls, 0 clqs
0.49/0.53 c (round 3) 56 del vars, 4431 del conss, 49 chg bounds, 5 chg sides, 0 chg coeffs, 10458 upgd conss, 6652 impls, 0 clqs
0.49/0.56 c presolving (4 rounds):
0.49/0.56 c 56 deleted vars, 4431 deleted constraints, 49 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.49/0.56 c 6652 implications, 0 cliques
0.49/0.56 c presolved problem has 376 variables (376 bin, 0 int, 0 impl, 0 cont) and 10458 constraints
0.49/0.56 c 10458 constraints of type <logicor>
0.49/0.56 c transformed objective value is always integral (scale: 1)
0.49/0.56 c Presolving Time: 0.24
0.49/0.56 c PURESAT
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/flowcover/freq = c -1
0.49/0.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/cmir/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/veclendiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/veclendiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/simplerounding/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/shifting/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/rounding/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.49/0.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/rootsoldiving/freq = c -1
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/rens/nodesofs = c 2000
0.49/0.56 c # minimum percentage of integer variables that have to be fixable
0.49/0.56 c # [type: real, range: [0,1], default: 0.5]
0.49/0.56 c heuristics/rens/minfixingrate = c 0.3
0.49/0.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/rens/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/pscostdiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/oneopt/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.56 c # [type: real, range: [0,1], default: 0.01]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.49/0.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/objpscostdiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/linesearchdiving/freq = c -1
0.49/0.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/intshifting/freq = c -1
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/intdiving/maxlpiterquot = c 0.075
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/guideddiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/guideddiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/fracdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/fracdiving/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/feaspump/maxlpiterofs = c 2000
0.49/0.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/feaspump/freq = c -1
0.49/0.56 c # minimum percentage of integer variables that have to be fixed
0.49/0.56 c # [type: real, range: [0,1], default: 0.666]
0.49/0.56 c heuristics/crossover/minfixingrate = c 0.5
0.49/0.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.56 c # [type: real, range: [0,1], default: 0.1]
0.49/0.56 c heuristics/crossover/nodesquot = c 0.15
0.49/0.56 c # number of nodes without incumbent change that heuristic should wait
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.56 c heuristics/crossover/nwaitingnodes = c 100
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/crossover/nodesofs = c 750
0.49/0.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.56 c heuristics/crossover/freq = c -1
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/coefdiving/maxlpiterofs = c 1500
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.49/0.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/coefdiving/freq = c -1
0.49/0.56 c # priority of node selection rule <dfs> in standard mode
0.49/0.56 c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.56 c nodeselection/dfs/stdpriority = c 1000000
0.49/0.56 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c presolving/probing/maxrounds = c 0
0.49/0.56 c # should presolving try to simplify knapsacks
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/knapsack/simplifyinequalities = c TRUE
0.49/0.56 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.56 c constraints/knapsack/disaggregation = c FALSE
0.49/0.56 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c constraints/knapsack/maxnumcardlift = c 0
0.49/0.56 c # should presolving try to simplify inequalities
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/linear/simplifyinequalities = c TRUE
0.49/0.56 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/maxroundsroot = c 5
0.49/0.56 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.56 c separating/maxrounds = c 1
0.49/0.56 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.49/0.56 c # [type: char, range: {lafpsqd}, default: l]
0.49/0.56 c lp/pricing = c a
0.49/0.56 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c lp/solvefreq = c 0
0.49/0.56 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c limits/solutions = c 1
0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/memory = c 1620
0.49/0.56 c # maximal time in seconds to run
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/time = c 1791
0.49/0.56 c # frequency for displaying node information lines
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56 c display/freq = c 10000
0.49/0.56 c # should enforcement of pseudo solution be disabled?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/disableenfops = c TRUE
0.49/0.56 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c constraints/agelimit = c 1
0.49/0.56 c # should binary conflicts be preferred?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c conflict/preferbinary = c TRUE
0.49/0.56 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c conflict/interconss = c 0
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c start solving problem
0.49/0.56 c
0.59/0.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c 0.4s| 1 | 0 | 186 | 15M| 0 | 156 | 376 | 10k| 10k| 376 | 10k| 0 | 0 | 0 | 1.085000e+02 | -- | Inf
1.00/1.09 c 0.8s| 1 | 0 | 338 | 15M| 0 | 138 | 376 | 10k| 10k| 376 | 10k| 18 | 0 | 0 | 1.180000e+02 | -- | Inf
1.69/1.73 c 1.4s| 1 | 0 | 593 | 15M| 0 | 131 | 376 | 10k| 10k| 376 | 10k| 28 | 0 | 0 | 1.225000e+02 | -- | Inf
2.49/2.55 c 2.2s| 1 | 0 | 906 | 15M| 0 | 125 | 376 | 10k| 10k| 376 | 10k| 40 | 0 | 0 | 1.265000e+02 | -- | Inf
3.69/3.73 c 3.4s| 1 | 0 | 1416 | 16M| 0 | 120 | 376 | 10k| 10k| 376 | 10k| 53 | 0 | 0 | 1.305000e+02 | -- | Inf
4.88/4.91 c 4.6s| 1 | 0 | 1855 | 16M| 0 | 122 | 376 | 10k| 10k| 376 | 10k| 66 | 0 | 0 | 1.327500e+02 | -- | Inf
21.98/22.03 c 21.7s| 1 | 2 | 1855 | 16M| 0 | 122 | 376 | 10k| 10k| 376 | 10k| 66 | 0 | 18 | 1.327500e+02 | -- | Inf
41.96/42.01 c 41.4s| 10000 | 47 | 1855 | 16M| 134 | - | 376 | 10k|3632 | 0 | 0 | 66 |6211 | 18 | 1.337286e+02 | -- | Inf
62.15/62.23 c 61.4s| 20000 | 41 | 1855 | 16M| 134 | - | 376 | 10k|4271 | 0 | 0 | 66 | 12k| 18 | 1.337286e+02 | -- | Inf
81.74/81.83 c 80.7s| 30000 | 32 | 1855 | 16M| 134 | - | 376 | 10k|2665 | 0 | 0 | 66 | 19k| 18 | 1.337286e+02 | -- | Inf
99.94/100.01 c 98.6s| 40000 | 29 | 1855 | 16M| 134 | - | 376 | 10k|2896 | 0 | 0 | 66 | 26k| 18 | 1.337286e+02 | -- | Inf
116.43/116.57 c 115s| 50000 | 26 | 1855 | 16M| 134 | - | 376 | 10k|1557 | 0 | 0 | 66 | 33k| 18 | 1.337286e+02 | -- | Inf
134.33/134.48 c 133s| 60000 | 24 | 1855 | 16M| 134 | - | 376 | 10k|2327 | 0 | 0 | 66 | 40k| 18 | 1.337286e+02 | -- | Inf
151.22/151.39 c 149s| 70000 | 22 | 1855 | 16M| 134 | - | 376 | 10k|4293 | 0 | 0 | 66 | 47k| 18 | 1.337286e+02 | -- | Inf
168.31/168.44 c 166s| 80000 | 19 | 1855 | 16M| 134 | - | 376 | 10k|3386 | 0 | 0 | 66 | 54k| 18 | 1.337286e+02 | -- | Inf
185.81/185.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.81/185.98 c 183s| 90000 | 21 | 1855 | 16M| 134 | - | 376 | 10k|5637 | 0 | 0 | 66 | 61k| 18 | 1.337286e+02 | -- | Inf
203.30/203.47 c 201s|100000 | 15 | 1855 | 16M| 134 | - | 376 | 10k|3176 | 0 | 0 | 66 | 68k| 18 | 1.337286e+02 | -- | Inf
221.09/221.24 c 218s|110000 | 16 | 1855 | 16M| 134 | - | 376 | 10k|1500 | 0 | 0 | 66 | 75k| 18 | 1.337286e+02 | -- | Inf
236.79/236.94 c 234s|120000 | 23 | 1855 | 16M| 134 | - | 376 | 10k|1723 | 0 | 0 | 66 | 82k| 18 | 1.337286e+02 | -- | Inf
253.28/253.41 c 250s|130000 | 20 | 1855 | 16M| 134 | - | 376 | 10k|2667 | 0 | 0 | 66 | 89k| 18 | 1.337286e+02 | -- | Inf
269.47/269.67 c 266s|140000 | 12 | 1855 | 16M| 134 | - | 376 | 10k|2385 | 0 | 0 | 66 | 97k| 18 | 1.337286e+02 | -- | Inf
283.97/284.17 c 280s|150000 | 15 | 1855 | 16M| 134 | - | 376 | 10k|3066 | 0 | 0 | 66 | 105k| 18 | 1.337286e+02 | -- | Inf
300.86/301.02 c 297s|160000 | 22 | 1855 | 16M| 134 | - | 376 | 10k|4332 | 0 | 0 | 66 | 112k| 18 | 1.337286e+02 | -- | Inf
319.85/320.05 c 315s|170000 | 14 | 1855 | 16M| 134 | - | 376 | 10k|2103 | 0 | 0 | 66 | 119k| 18 | 1.337286e+02 | -- | Inf
337.84/338.05 c 333s|180000 | 19 | 1855 | 16M| 134 | - | 376 | 10k|1904 | 0 | 0 | 66 | 126k| 18 | 1.337286e+02 | -- | Inf
353.03/353.26 c 348s|190000 | 10 | 1855 | 16M| 134 | - | 376 | 10k|2652 | 0 | 0 | 66 | 133k| 18 | 1.337286e+02 | -- | Inf
369.14/369.32 c 364s|200000 | 20 | 1855 | 16M| 134 | - | 376 | 10k|2792 | 0 | 0 | 66 | 140k| 18 | 1.337286e+02 | -- | Inf
390.93/391.11 c 386s|210000 | 22 | 1855 | 16M| 134 | - | 376 | 10k|2460 | 0 | 0 | 66 | 147k| 18 | 1.337286e+02 | -- | Inf
415.72/415.99 c 410s|220000 | 15 | 1855 | 16M| 134 | - | 376 | 10k|5228 | 0 | 0 | 66 | 154k| 18 | 1.337286e+02 | -- | Inf
439.11/439.34 c 433s|230000 | 17 | 1855 | 16M| 134 | - | 376 | 10k|4173 | 0 | 0 | 66 | 161k| 18 | 1.337286e+02 | -- | Inf
461.30/461.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.30/461.54 c 455s|240000 | 25 | 1855 | 16M| 134 | - | 376 | 10k|3652 | 0 | 0 | 66 | 168k| 18 | 1.337286e+02 | -- | Inf
482.38/482.60 c 476s|250000 | 16 | 1855 | 16M| 134 | - | 376 | 10k|3513 | 0 | 0 | 66 | 175k| 18 | 1.337286e+02 | -- | Inf
501.08/501.37 c 494s|260000 | 23 | 1855 | 16M| 134 | - | 376 | 10k|3256 | 0 | 0 | 66 | 183k| 18 | 1.337286e+02 | -- | Inf
521.57/521.87 c 515s|270000 | 32 | 1855 | 16M| 134 | - | 376 | 10k|5507 | 0 | 0 | 66 | 190k| 18 | 1.337286e+02 | -- | Inf
543.76/544.04 c 537s|280000 | 27 | 1855 | 16M| 134 | - | 376 | 10k|2665 | 0 | 0 | 66 | 197k| 18 | 1.337286e+02 | -- | Inf
564.66/564.95 c 557s|290000 | 23 | 1855 | 16M| 134 | - | 376 | 10k|5443 | 0 | 0 | 66 | 204k| 18 | 1.337286e+02 | -- | Inf
584.45/584.75 c 577s|300000 | 25 | 1855 | 16M| 134 | - | 376 | 10k|4013 | 0 | 0 | 66 | 211k| 18 | 1.337286e+02 | -- | Inf
606.14/606.48 c 598s|310000 | 20 | 1855 | 16M| 134 | - | 376 | 10k|3375 | 0 | 0 | 66 | 218k| 18 | 1.337286e+02 | -- | Inf
627.24/627.52 c 619s|320000 | 25 | 1855 | 16M| 134 | - | 376 | 10k|1167 | 0 | 0 | 66 | 225k| 18 | 1.337286e+02 | -- | Inf
647.12/647.44 c 639s|330000 | 26 | 1855 | 16M| 134 | - | 376 | 10k|2333 | 0 | 0 | 66 | 232k| 18 | 1.337286e+02 | -- | Inf
664.32/664.60 c 656s|340000 | 23 | 1855 | 16M| 134 | - | 376 | 10k|3013 | 0 | 0 | 66 | 240k| 18 | 1.337286e+02 | -- | Inf
682.32/682.60 c 673s|350000 | 24 | 1855 | 17M| 134 | - | 376 | 10k|3297 | 0 | 0 | 66 | 247k| 18 | 1.337286e+02 | -- | Inf
700.71/701.07 c 691s|360000 | 21 | 1855 | 16M| 134 | - | 376 | 10k|1996 | 0 | 0 | 66 | 254k| 18 | 1.337286e+02 | -- | Inf
719.41/719.71 c 710s|370000 | 19 | 1855 | 16M| 134 | - | 376 | 10k|4968 | 0 | 0 | 66 | 261k| 18 | 1.337286e+02 | -- | Inf
738.09/738.47 c 728s|380000 | 28 | 1855 | 16M| 134 | - | 376 | 10k|2325 | 0 | 0 | 66 | 268k| 18 | 1.337286e+02 | -- | Inf
755.29/755.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.29/755.67 c 745s|390000 | 22 | 1855 | 16M| 134 | - | 376 | 10k|1652 | 0 | 0 | 66 | 275k| 18 | 1.337286e+02 | -- | Inf
773.18/773.57 c 763s|400000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|3355 | 0 | 0 | 66 | 282k| 18 | 1.337286e+02 | -- | Inf
791.98/792.39 c 782s|410000 | 24 | 1855 | 16M| 134 | - | 376 | 10k|3819 | 0 | 0 | 66 | 289k| 18 | 1.337286e+02 | -- | Inf
810.97/811.31 c 800s|420000 | 27 | 1855 | 17M| 134 | - | 376 | 10k|2180 | 0 | 0 | 66 | 297k| 18 | 1.337286e+02 | -- | Inf
828.16/828.58 c 817s|430000 | 18 | 1855 | 17M| 134 | - | 376 | 10k|4081 | 0 | 0 | 66 | 304k| 18 | 1.337286e+02 | -- | Inf
845.76/846.16 c 835s|440000 | 22 | 1855 | 17M| 134 | - | 376 | 10k|2216 | 0 | 0 | 66 | 312k| 18 | 1.337286e+02 | -- | Inf
862.64/863.07 c 851s|450000 | 19 | 1855 | 17M| 134 | - | 376 | 10k|2368 | 0 | 0 | 66 | 319k| 18 | 1.337286e+02 | -- | Inf
881.54/881.97 c 870s|460000 | 18 | 1855 | 17M| 134 | - | 376 | 10k|3338 | 0 | 0 | 66 | 326k| 18 | 1.337286e+02 | -- | Inf
901.44/901.84 c 889s|470000 | 20 | 1855 | 17M| 134 | - | 376 | 10k|1649 | 0 | 0 | 66 | 333k| 18 | 1.337286e+02 | -- | Inf
919.53/919.94 c 907s|480000 | 21 | 1855 | 17M| 134 | - | 376 | 10k|5490 | 0 | 0 | 66 | 340k| 18 | 1.337286e+02 | -- | Inf
939.62/940.05 c 927s|490000 | 18 | 1855 | 16M| 134 | - | 376 | 10k|5239 | 0 | 0 | 66 | 347k| 18 | 1.337286e+02 | -- | Inf
958.21/958.67 c 945s|500000 | 20 | 1855 | 16M| 134 | - | 376 | 10k|2947 | 0 | 0 | 66 | 354k| 18 | 1.337286e+02 | -- | Inf
976.50/976.97 c 964s|510000 | 18 | 1855 | 17M| 134 | - | 376 | 10k|3178 | 0 | 0 | 66 | 361k| 18 | 1.337286e+02 | -- | Inf
995.10/995.52 c 982s|520000 | 22 | 1855 | 17M| 134 | - | 376 | 10k|2056 | 0 | 0 | 66 | 368k| 18 | 1.337286e+02 | -- | Inf
1011.99/1012.50 c 999s|530000 | 18 | 1855 | 16M| 134 | - | 376 | 10k|5386 | 0 | 0 | 66 | 375k| 18 | 1.337286e+02 | -- | Inf
1029.48/1029.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.48/1029.99 c 1016s|540000 | 23 | 1855 | 17M| 134 | - | 376 | 10k|2258 | 0 | 0 | 66 | 382k| 18 | 1.337286e+02 | -- | Inf
1047.27/1047.71 c 1033s|550000 | 15 | 1855 | 17M| 134 | - | 376 | 10k|2006 | 0 | 0 | 66 | 390k| 18 | 1.337286e+02 | -- | Inf
1063.57/1064.00 c 1049s|560000 | 16 | 1855 | 17M| 134 | - | 376 | 11k|2537 | 0 | 0 | 66 | 398k| 18 | 1.337286e+02 | -- | Inf
1081.97/1082.42 c 1067s|570000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|2032 | 0 | 0 | 66 | 405k| 18 | 1.337286e+02 | -- | Inf
1100.16/1100.68 c 1085s|580000 | 18 | 1855 | 17M| 134 | - | 376 | 10k|5468 | 0 | 0 | 66 | 412k| 18 | 1.337286e+02 | -- | Inf
1117.55/1118.09 c 1103s|590000 | 15 | 1855 | 17M| 134 | - | 376 | 10k|4377 | 0 | 0 | 66 | 420k| 18 | 1.337286e+02 | -- | Inf
1136.14/1136.69 c 1121s|600000 | 21 | 1855 | 17M| 134 | - | 376 | 10k|2136 | 0 | 0 | 66 | 428k| 18 | 1.337286e+02 | -- | Inf
1153.74/1154.22 c 1138s|610000 | 14 | 1855 | 17M| 134 | - | 376 | 10k|2334 | 0 | 0 | 66 | 435k| 18 | 1.337286e+02 | -- | Inf
1170.94/1171.49 c 1155s|620000 | 14 | 1855 | 17M| 134 | - | 376 | 10k|1852 | 0 | 0 | 66 | 443k| 18 | 1.337286e+02 | -- | Inf
1191.13/1191.66 c 1175s|630000 | 14 | 1855 | 17M| 134 | - | 376 | 10k|1921 | 0 | 0 | 66 | 450k| 18 | 1.337286e+02 | -- | Inf
1211.62/1212.12 c 1195s|640000 | 19 | 1855 | 17M| 134 | - | 376 | 10k|1971 | 0 | 0 | 66 | 457k| 18 | 1.337286e+02 | -- | Inf
1233.81/1234.32 c 1217s|650000 | 19 | 1855 | 17M| 134 | - | 376 | 10k|4620 | 0 | 0 | 66 | 464k| 18 | 1.337286e+02 | -- | Inf
1255.50/1256.04 c 1239s|660000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|3556 | 0 | 0 | 66 | 472k| 18 | 1.337286e+02 | -- | Inf
1275.50/1276.05 c 1259s|670000 | 10 | 1855 | 17M| 134 | - | 376 | 10k|3270 | 0 | 0 | 66 | 479k| 18 | 1.337286e+02 | -- | Inf
1295.68/1296.20 c 1278s|680000 | 15 | 1855 | 17M| 134 | - | 376 | 10k|2665 | 0 | 0 | 66 | 486k| 18 | 1.337286e+02 | -- | Inf
1315.68/1316.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.68/1316.21 c 1298s|690000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|3184 | 0 | 0 | 66 | 494k| 18 | 1.337286e+02 | -- | Inf
1335.27/1335.86 c 1318s|700000 | 12 | 1855 | 17M| 134 | - | 376 | 10k|3470 | 0 | 0 | 66 | 501k| 18 | 1.337286e+02 | -- | Inf
1356.56/1357.18 c 1339s|710000 | 12 | 1855 | 17M| 134 | - | 376 | 10k|7127 | 0 | 0 | 66 | 508k| 18 | 1.337286e+02 | -- | Inf
1377.46/1378.02 c 1359s|720000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|4842 | 0 | 0 | 66 | 515k| 18 | 1.337286e+02 | -- | Inf
1398.74/1399.31 c 1380s|730000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|5262 | 0 | 0 | 66 | 521k| 18 | 1.337286e+02 | -- | Inf
1420.74/1421.36 c 1402s|740000 | 15 | 1855 | 17M| 134 | - | 376 | 10k|2742 | 0 | 0 | 66 | 529k| 18 | 1.337286e+02 | -- | Inf
1439.74/1440.38 c 1421s|750000 | 16 | 1855 | 17M| 134 | - | 376 | 10k|2264 | 0 | 0 | 66 | 536k| 18 | 1.337286e+02 | -- | Inf
1459.92/1460.58 c 1441s|760000 | 8 | 1855 | 17M| 134 | - | 376 | 10k|4604 | 0 | 0 | 66 | 544k| 18 | 1.337286e+02 | -- | Inf
1483.02/1483.62 c 1464s|770000 | 16 | 1855 | 17M| 134 | - | 376 | 13k|4668 | 0 | 0 | 66 | 554k| 18 | 1.337286e+02 | -- | Inf
1505.31/1505.94 c 1486s|780000 | 17 | 1855 | 17M| 134 | - | 376 | 10k|5664 | 0 | 0 | 66 | 561k| 18 | 1.337286e+02 | -- | Inf
1529.30/1529.99 c 1509s|790000 | 14 | 1855 | 17M| 134 | - | 376 | 10k|3351 | 0 | 0 | 66 | 568k| 18 | 1.337286e+02 | -- | Inf
1550.49/1551.18 c 1530s|800000 | 18 | 1855 | 17M| 134 | - | 376 | 10k|3701 | 0 | 0 | 66 | 575k| 18 | 1.337286e+02 | -- | Inf
1572.18/1572.83 c 1552s|810000 | 13 | 1855 | 17M| 134 | - | 376 | 10k|1960 | 0 | 0 | 66 | 582k| 18 | 1.337286e+02 | -- | Inf
1591.87/1592.54 c 1571s|820000 | 21 | 1855 | 17M| 134 | - | 376 | 10k|2524 | 0 | 0 | 66 | 589k| 18 | 1.337286e+02 | -- | Inf
1611.17/1611.89 c 1590s|830000 | 15 | 1855 | 17M| 134 | - | 376 | 10k|1855 | 0 | 0 | 66 | 596k| 18 | 1.337286e+02 | -- | Inf
1629.46/1630.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.46/1630.10 c 1608s|840000 | 18 | 1855 | 17M| 134 | - | 376 | 10k|3901 | 0 | 0 | 66 | 603k| 18 | 1.337286e+02 | -- | Inf
1647.35/1648.06 c 1626s|850000 | 20 | 1855 | 17M| 134 | - | 376 | 10k|3775 | 0 | 0 | 66 | 611k| 18 | 1.337286e+02 | -- | Inf
1665.15/1665.85 c 1643s|860000 | 20 | 1855 | 17M| 134 | - | 376 | 10k|2356 | 0 | 0 | 66 | 618k| 18 | 1.337286e+02 | -- | Inf
1684.74/1685.44 c 1663s|870000 | 19 | 1855 | 17M| 134 | - | 376 | 10k|2190 | 0 | 0 | 66 | 626k| 18 | 1.337286e+02 | -- | Inf
1703.73/1704.42 c 1681s|880000 | 11 | 1855 | 17M| 134 | - | 376 | 10k|3177 | 0 | 0 | 66 | 633k| 18 | 1.337286e+02 | -- | Inf
1721.82/1722.53 c 1699s|890000 | 10 | 1855 | 17M| 134 | - | 376 | 10k|3367 | 0 | 0 | 66 | 641k| 18 | 1.337286e+02 | -- | Inf
1739.12/1739.81 c 1716s|900000 | 13 | 1855 | 17M| 134 | - | 376 | 10k|2708 | 0 | 0 | 66 | 649k| 18 | 1.337286e+02 | -- | Inf
1757.71/1758.43 c 1735s|910000 | 20 | 1855 | 17M| 134 | - | 376 | 10k|3138 | 0 | 0 | 66 | 656k| 18 | 1.337286e+02 | -- | Inf
1775.20/1775.94 c 1752s|920000 | 8 | 1855 | 17M| 134 | - | 376 | 10k|2499 | 0 | 0 | 66 | 664k| 18 | 1.337286e+02 | -- | Inf
1789.40/1790.10 c
1789.40/1790.10 c SCIP Status : problem is solved [infeasible]
1789.40/1790.10 c Solving Time (sec) : 1765.80
1789.40/1790.10 c Solving Nodes : 928661
1789.40/1790.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.40/1790.10 c Dual Bound : +1.00000000000000e+20
1789.40/1790.10 c Gap : 0.00 %
1789.40/1790.10 c NODE 928661
1789.40/1790.10 c DUAL BOUND 1e+20
1789.40/1790.10 c PRIMAL BOUND 1e+20
1789.40/1790.10 c GAP 0
1789.40/1790.10 s UNSATISFIABLE
1789.40/1790.10 c SCIP Status : problem is solved [infeasible]
1789.40/1790.10 c Solving Time : 1765.80
1789.40/1790.10 c Original Problem :
1789.40/1790.10 c Problem name : HOME/instance-1884108-1245254220.opb
1789.40/1790.10 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.40/1790.10 c Constraints : 14889 initial, 14889 maximal
1789.40/1790.10 c Presolved Problem :
1789.40/1790.10 c Problem name : t_HOME/instance-1884108-1245254220.opb
1789.40/1790.10 c Variables : 376 (376 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.40/1790.10 c Constraints : 10458 initial, 13340 maximal
1789.40/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.40/1790.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.10 c dualfix : 0.00 3 0 0 0 0 0 0 0
1789.40/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.10 c implics : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.10 c probing : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.10 c linear : 0.17 49 4 0 49 0 4431 5 0
1789.40/1790.10 c logicor : 0.05 0 0 0 0 0 0 0 0
1789.40/1790.10 c root node : - 232 - - 232 - - - -
1789.40/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.40/1790.10 c integral : 0 0 0 1 0 0 0 0 0 2
1789.40/1790.10 c logicor : 10458+ 5 6258942 0 0 561858 37712740 0 0 0
1789.40/1790.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.40/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.40/1790.10 c integral : 17.07 0.00 0.00 17.07 0.00
1789.40/1790.10 c logicor : 869.55 0.00 869.55 0.00 0.00
1789.40/1790.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.40/1790.10 c Propagators : Time Calls Cutoffs DomReds
1789.40/1790.10 c rootredcost : 2.60 0 0 0
1789.40/1790.10 c pseudoobj : 141.69 7032930 0 0
1789.40/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.40/1790.10 c propagation : 46.56 561858 560794 560794 18.1 111941 12.6 -
1789.40/1790.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.40/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.40/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.40/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.40/1790.10 c applied globally : - - - 665415 16.9 - - -
1789.40/1790.10 c applied locally : - - - 5207 44.1 - - -
1789.40/1790.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.40/1790.10 c cut pool : 0.00 4 - - 2 - (maximal pool size: 343)
1789.40/1790.10 c redcost : 0.00 5 0 0 0 0
1789.40/1790.10 c impliedbounds : 0.00 5 0 0 0 0
1789.40/1790.10 c intobj : 0.00 0 0 0 0 0
1789.40/1790.10 c gomory : 0.51 5 0 0 2500 0
1789.40/1790.10 c strongcg : 0.50 5 0 0 2500 0
1789.40/1790.10 c cmir : 0.00 0 0 0 0 0
1789.40/1790.10 c flowcover : 0.00 0 0 0 0 0
1789.40/1790.10 c clique : 0.00 5 0 0 35 0
1789.40/1790.10 c zerohalf : 0.00 0 0 0 0 0
1789.40/1790.10 c mcf : 0.02 1 0 0 0 0
1789.40/1790.10 c Pricers : Time Calls Vars
1789.40/1790.10 c problem variables: 0.00 0 0
1789.40/1790.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.40/1790.10 c relpscost : 17.07 1 0 0 0 0 2
1789.40/1790.10 c pscost : 0.00 0 0 0 0 0 0
1789.40/1790.10 c inference : 32.68 617244 0 0 0 0 1234488
1789.40/1790.10 c mostinf : 0.00 0 0 0 0 0 0
1789.40/1790.10 c leastinf : 0.00 0 0 0 0 0 0
1789.40/1790.10 c fullstrong : 0.00 0 0 0 0 0 0
1789.40/1790.10 c allfullstrong : 0.00 0 0 0 0 0 0
1789.40/1790.10 c random : 0.00 0 0 0 0 0 0
1789.40/1790.10 c Primal Heuristics : Time Calls Found
1789.40/1790.10 c LP solutions : 0.00 - 0
1789.40/1790.10 c pseudo solutions : 0.00 - 0
1789.40/1790.10 c simplerounding : 0.00 0 0
1789.40/1790.10 c rounding : 0.00 0 0
1789.40/1790.10 c shifting : 0.00 0 0
1789.40/1790.10 c intshifting : 0.00 0 0
1789.40/1790.10 c oneopt : 0.00 0 0
1789.40/1790.10 c fixandinfer : 0.00 0 0
1789.40/1790.10 c feaspump : 0.00 0 0
1789.40/1790.10 c coefdiving : 0.00 0 0
1789.40/1790.10 c pscostdiving : 0.00 0 0
1789.40/1790.10 c fracdiving : 0.00 0 0
1789.40/1790.10 c veclendiving : 0.00 0 0
1789.40/1790.10 c intdiving : 0.00 0 0
1789.40/1790.10 c actconsdiving : 0.00 0 0
1789.40/1790.10 c objpscostdiving : 0.00 0 0
1789.40/1790.10 c rootsoldiving : 0.00 0 0
1789.40/1790.10 c linesearchdiving : 0.00 0 0
1789.40/1790.10 c guideddiving : 0.00 0 0
1789.40/1790.10 c octane : 0.00 0 0
1789.40/1790.10 c rens : 0.00 0 0
1789.40/1790.10 c rins : 0.00 0 0
1789.40/1790.10 c localbranching : 0.00 0 0
1789.40/1790.10 c mutation : 0.00 0 0
1789.40/1790.10 c crossover : 0.00 0 0
1789.40/1790.10 c dins : 0.00 0 0
1789.40/1790.10 c LP : Time Calls Iterations Iter/call Iter/sec
1789.40/1790.10 c primal LP : 0.01 0 0 0.00 0.00
1789.40/1790.10 c dual LP : 3.21 6 1855 309.17 577.88
1789.40/1790.10 c barrier LP : 0.00 0 0 0.00 -
1789.40/1790.10 c diving/probing LP: 0.00 0 0 0.00 -
1789.40/1790.10 c strong branching : 17.07 18 8496 472.00 497.72
1789.40/1790.10 c (at root node) : - 18 8496 472.00 -
1789.40/1790.10 c conflict analysis: 0.00 0 0 0.00 -
1789.40/1790.10 c B&B Tree :
1789.40/1790.10 c number of runs : 1
1789.40/1790.10 c nodes : 928661
1789.40/1790.10 c nodes (total) : 928661
1789.40/1790.10 c nodes left : 0
1789.40/1790.10 c max depth : 134
1789.40/1790.10 c max depth (total): 134
1789.40/1790.10 c backtracks : 265816 (28.6%)
1789.40/1790.10 c delayed cutoffs : 305830
1789.40/1790.10 c repropagations : 940944 (17098549 domain reductions, 250442 cutoffs)
1789.40/1790.10 c avg switch length: 2.88
1789.40/1790.10 c switching time : 454.50
1789.40/1790.10 c Solution :
1789.40/1790.10 c Solutions found : 0 (0 improvements)
1789.40/1790.10 c Primal Bound : infeasible
1789.40/1790.10 c Dual Bound : -
1789.40/1790.10 c Gap : 0.00 %
1789.40/1790.10 c Root Dual Bound : +1.32750000000000e+02
1789.40/1790.15 c Time complete: 1789.45.
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-1884108-1245254220/watcher-1884108-1245254220 -o /tmp/evaluation-result-1884108-1245254220/solver-1884108-1245254220 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884108-1245254220.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.69 0.21 0.07 3/64 9100 /proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=7616 CPUtime=0 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 578 0 0 0 0 0 0 0 20 0 1 0 181948249 7798784 562 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/9100/statm: 1904 573 353 1256 0 643 0 [startup+0.0425649 s] /proc/loadavg: 0.69 0.21 0.07 3/64 9100 /proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=11332 CPUtime=0.03 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 1798 0 0 0 3 0 0 0 20 0 1 0 181948249 11603968 1782 1992294400 4194304 9342243 548682068736 18446744073709551615 8247785 0 0 4096 0 0 0 0 17 1 0 0 /proc/9100/statm: 2833 1782 376 1256 0 1572 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11332 [startup+0.101577 s] /proc/loadavg: 0.69 0.21 0.07 3/64 9100 /proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=13972 CPUtime=0.09 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 2453 0 0 0 9 0 0 0 20 0 1 0 181948249 14307328 2437 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/9100/statm: 3493 2437 376 1256 0 2232 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13972 [startup+0.301616 s] /proc/loadavg: 0.69 0.21 0.07 3/64 9100 /proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=34332 CPUtime=0.29 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 7750 0 0 0 27 2 0 0 22 0 1 0 181948249 35155968 7380 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 8583 7380 474 1256 0 7322 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34332 [startup+0.701694 s] /proc/loadavg: 0.69 0.21 0.07 3/64 9100 /proc/meminfo: memFree=1771968/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=57432 CPUtime=0.69 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 12284 0 0 0 63 6 0 0 17 0 1 0 181948249 58810368 11821 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 14358 11821 628 1256 0 13097 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 57432 [startup+1.50185 s] /proc/loadavg: 0.69 0.21 0.07 2/65 9101 /proc/meminfo: memFree=1725752/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=58080 CPUtime=1.49 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 12927 0 0 0 142 7 0 0 24 0 1 0 181948249 59473920 12464 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 14520 12464 641 1256 0 13259 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58080 [startup+3.10116 s] /proc/loadavg: 0.71 0.22 0.07 2/65 9101 /proc/meminfo: memFree=1723192/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60264 CPUtime=3.09 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 13788 0 0 0 301 8 0 0 25 0 1 0 181948249 61710336 13325 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15066 13325 645 1256 0 13805 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60264 [startup+6.30179 s] /proc/loadavg: 0.71 0.22 0.07 2/65 9101 /proc/meminfo: memFree=1719416/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=68392 CPUtime=6.28 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 14374 0 0 0 619 9 0 0 25 0 1 0 181948249 70033408 13646 1992294400 4194304 9342243 548682068736 18446744073709551615 6960738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 17098 13646 650 1256 0 15837 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 68392 [startup+12.7011 s] /proc/loadavg: 0.76 0.24 0.08 2/65 9101 /proc/meminfo: memFree=1719544/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=68392 CPUtime=12.68 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 15536 0 0 0 1258 10 0 0 25 0 1 0 181948249 70033408 13646 1992294400 4194304 9342243 548682068736 18446744073709551615 6960221 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 17098 13646 650 1256 0 15837 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 68392 [startup+25.5016 s] /proc/loadavg: 0.79 0.27 0.09 2/65 9101 /proc/meminfo: memFree=1719928/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60244 CPUtime=25.48 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17137 0 0 0 2532 16 0 0 25 0 1 0 181948249 61689856 13589 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15061 13589 669 1256 0 13800 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60244 [startup+51.1016 s] /proc/loadavg: 0.86 0.33 0.12 2/65 9101 /proc/meminfo: memFree=1719544/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60244 CPUtime=51.05 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17240 0 0 0 5058 47 0 0 25 0 1 0 181948249 61689856 13692 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15061 13692 669 1256 0 13800 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 60244 [startup+102.306 s] /proc/loadavg: 0.94 0.44 0.16 2/65 9101 /proc/meminfo: memFree=1719096/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60244 CPUtime=102.24 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17346 0 0 0 10110 114 0 0 25 0 1 0 181948249 61689856 13798 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15061 13798 669 1256 0 13800 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 60244 [startup+162.301 s] /proc/loadavg: 0.98 0.53 0.21 2/65 9101 /proc/meminfo: memFree=1718840/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60244 CPUtime=162.22 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17404 0 0 0 16022 200 0 0 25 0 1 0 181948249 61689856 13856 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15061 13856 669 1256 0 13800 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 60244 [startup+222.301 s] /proc/loadavg: 0.99 0.62 0.26 2/65 9101 /proc/meminfo: memFree=1718520/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60244 CPUtime=222.19 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17464 0 0 0 21936 283 0 0 25 0 1 0 181948249 61689856 13916 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15061 13916 669 1256 0 13800 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 60244 [startup+282.301 s] /proc/loadavg: 0.99 0.68 0.30 2/65 9107 /proc/meminfo: memFree=1718200/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60244 CPUtime=282.16 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17495 0 0 0 27840 376 0 0 25 0 1 0 181948249 61689856 13947 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15061 13947 669 1256 0 13800 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 60244 [startup+342.302 s] /proc/loadavg: 0.99 0.74 0.34 2/65 9107 /proc/meminfo: memFree=1718200/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60376 CPUtime=342.14 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17512 0 0 0 33755 459 0 0 25 0 1 0 181948249 61825024 13964 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15094 13964 669 1256 0 13833 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 60376 [startup+402.302 s] /proc/loadavg: 0.99 0.78 0.38 2/65 9107 /proc/meminfo: memFree=1718008/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60548 CPUtime=402.12 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17538 0 0 0 39679 533 0 0 25 0 1 0 181948249 62001152 13990 1992294400 4194304 9342243 548682068736 18446744073709551615 5102419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15137 13990 669 1256 0 13876 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 60548 [startup+462.301 s] /proc/loadavg: 0.99 0.82 0.42 2/65 9107 /proc/meminfo: memFree=1717816/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60692 CPUtime=462.1 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17586 0 0 0 45606 604 0 0 25 0 1 0 181948249 62148608 14038 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15173 14038 669 1256 0 13912 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 60692 [startup+522.301 s] /proc/loadavg: 0.99 0.85 0.45 2/65 9107 /proc/meminfo: memFree=1717752/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60692 CPUtime=522.08 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17596 0 0 0 51529 679 0 0 25 0 1 0 181948249 62148608 14048 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15173 14048 669 1256 0 13912 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 60692 [startup+582.301 s] /proc/loadavg: 0.99 0.87 0.48 2/65 9107 /proc/meminfo: memFree=1717624/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60828 CPUtime=582.05 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17613 0 0 0 57450 755 0 0 25 0 1 0 181948249 62287872 14065 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15207 14065 669 1256 0 13946 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 60828 [startup+642.302 s] /proc/loadavg: 0.99 0.89 0.51 2/65 9107 /proc/meminfo: memFree=1717496/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60828 CPUtime=642.04 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17628 0 0 0 63372 832 0 0 25 0 1 0 181948249 62287872 14080 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15207 14080 669 1256 0 13946 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 60828 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1717304/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60972 CPUtime=1001.89 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17647 0 0 0 98867 1322 0 0 25 0 1 0 181948249 62435328 14099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15243 14099 669 1256 0 13982 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 60972 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.67 2/65 9107 /proc/meminfo: memFree=1717304/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=60972 CPUtime=1061.87 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17647 0 0 0 104784 1403 0 0 25 0 1 0 181948249 62435328 14099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15243 14099 669 1256 0 13982 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 60972 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.69 2/65 9107 /proc/meminfo: memFree=1717048/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=61240 CPUtime=1121.85 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17698 0 0 0 110704 1481 0 0 25 0 1 0 181948249 62709760 14150 1992294400 4194304 9342243 548682068736 18446744073709551615 5102406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15310 14150 669 1256 0 14049 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 61240 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.70 2/65 9107 /proc/meminfo: memFree=1716984/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=61240 CPUtime=1181.83 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17704 0 0 0 116618 1565 0 0 25 0 1 0 181948249 62709760 14156 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15310 14156 669 1256 0 14049 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 61240 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.72 2/65 9107 /proc/meminfo: memFree=1716792/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=61240 CPUtime=1241.8 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17704 0 0 0 122546 1634 0 0 25 0 1 0 181948249 62709760 14156 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15310 14156 669 1256 0 14049 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 61240 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.74 2/65 9107 /proc/meminfo: memFree=1716792/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=61240 CPUtime=1301.79 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17708 0 0 0 128474 1705 0 0 25 0 1 0 181948249 62709760 14160 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15310 14160 669 1256 0 14049 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 61240 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.75 2/65 9107 /proc/meminfo: memFree=1716728/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=61240 CPUtime=1361.76 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17711 0 0 0 134397 1779 0 0 25 0 1 0 181948249 62709760 14163 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15310 14163 669 1256 0 14049 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 61240 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.76 2/65 9107 /proc/meminfo: memFree=1716664/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=61240 CPUtime=1421.75 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17716 0 0 0 140321 1854 0 0 25 0 1 0 181948249 62709760 14168 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15310 14168 669 1256 0 14049 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 61240 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.77 2/65 9107 /proc/meminfo: memFree=1715896/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1481.71 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 146241 1930 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 62088 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 9107 /proc/meminfo: memFree=1715832/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1541.69 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 152168 2001 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 62088 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 9107 /proc/meminfo: memFree=1715832/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1601.67 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 158089 2078 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 62088 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.81 2/65 9107 /proc/meminfo: memFree=1715768/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1661.65 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 164002 2163 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 62088 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 9107 /proc/meminfo: memFree=1715704/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1721.62 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 169918 2244 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 4235876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 62088 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 9107 /proc/meminfo: memFree=1715704/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1781.6 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 175834 2326 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 62088 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.97 0.82 2/65 9107 /proc/meminfo: memFree=1715640/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1784.8 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 176150 2330 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1784.8 Current children cumulated vsize (KiB) 62088 [startup+1788.7 s] /proc/loadavg: 0.99 0.97 0.83 2/65 9107 /proc/meminfo: memFree=1715640/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1788 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 176464 2336 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 4209589 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1788 Current children cumulated vsize (KiB) 62088 [startup+1789.5 s] /proc/loadavg: 0.99 0.97 0.83 2/65 9107 /proc/meminfo: memFree=1715640/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1788.8 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 176543 2337 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1788.8 Current children cumulated vsize (KiB) 62088 [startup+1789.9 s] /proc/loadavg: 0.99 0.97 0.83 2/65 9107 /proc/meminfo: memFree=1715640/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1789.2 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 176582 2338 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1789.2 Current children cumulated vsize (KiB) 62088 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.83 2/65 9107 /proc/meminfo: memFree=1715640/2055920 swapFree=4192812/4192956 [pid=9100] ppid=9098 vsize=62088 CPUtime=1789.4 /proc/9100/stat : 9100 (pbscip.linux.x8) R 9098 9100 9021 0 -1 4194304 17900 0 0 0 176602 2338 0 0 25 0 1 0 181948249 63578112 14352 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9100/statm: 15522 14352 669 1256 0 14261 0 Current children cumulated CPU time (s) 1789.4 Current children cumulated vsize (KiB) 62088 Child status: 0 Real time (s): 1790.16 CPU time (s): 1789.46 CPU user time (s): 1766.07 CPU system time (s): 23.3974 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (KiB): 68560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1766.07 system time used= 23.3974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17911 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= 3597 runsolver used 1.69674 second user time and 4.03639 second system time The end
Begin job on node53 at 2009-06-17 17:57:00 IDJOB=1884108 IDBENCH=71924 IDSOLVER=684 FILE ID=node53/1884108-1245254220 PBS_JOBID= 9372402 Free space on /tmp= 66304 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG7-gensys-icl001.sat05-2926.reshuffled-07.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-1884108-1245254220/watcher-1884108-1245254220 -o /tmp/evaluation-result-1884108-1245254220/solver-1884108-1245254220 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1884108-1245254220.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 429730cc315202bc2a5b2e928ae9c8e6 RANDOM SEED=88063164 node53.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.283 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.283 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1772448 kB Buffers: 27444 kB Cached: 186340 kB SwapCached: 144 kB Active: 76888 kB Inactive: 150428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772448 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 12300 kB Writeback: 0 kB Mapped: 23184 kB Slab: 42236 kB Committed_AS: 91956 kB PageTables: 1380 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= 66296 MiB End job on node53 at 2009-06-17 18:26:50