| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.28 | 1800.77 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-51-50.opb |
| MD5SUM | 60bac2da31df829d5469efd732e15a50 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 2550 |
| Total number of constraints | 63801 |
| Number of constraints which are clauses | 63801 |
| 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 | 2 |
| Maximum length of a constraint | 50 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 51 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.79/0.80 c SCIP version 1.1.0.7
0.79/0.80 c LP-Solver Clp 1.8.2
0.79/0.80 c user parameter file <scip.set> not found - using default parameters
0.79/0.80 c read problem <HOME/instance-1883857-1245236328.opb>
0.79/0.80 c original problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 63801 constraints
0.89/0.94 c No objective function, only one solution is needed.
0.89/0.94 c start presolving problem
0.89/0.94 c presolving:
1.49/1.58 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63801 upgd conss, 127500 impls, 0 clqs
1.59/1.68 c presolving (2 rounds):
1.59/1.68 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.68 c 127500 implications, 0 cliques
1.59/1.68 c presolved problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 63801 constraints
1.59/1.68 c 63801 constraints of type <logicor>
1.59/1.68 c transformed objective value is always integral (scale: 1)
1.59/1.68 c Presolving Time: 0.57
1.59/1.68 c PURESAT
1.59/1.68 c -----------------------------------------------------------------------------------------------
1.59/1.68 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.68 c separating/flowcover/freq = c -1
1.59/1.68 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.68 c separating/cmir/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/veclendiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/veclendiving/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.68 c heuristics/simplerounding/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/shifting/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.68 c heuristics/rounding/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.59/1.68 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.59/1.68 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 20]
1.59/1.68 c heuristics/rootsoldiving/freq = c -1
1.59/1.68 c # number of nodes added to the contingent of the total nodes
1.59/1.68 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.59/1.68 c heuristics/rens/nodesofs = c 2000
1.59/1.68 c # minimum percentage of integer variables that have to be fixable
1.59/1.68 c # [type: real, range: [0,1], default: 0.5]
1.59/1.68 c heuristics/rens/minfixingrate = c 0.3
1.59/1.68 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.68 c heuristics/rens/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/pscostdiving/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.68 c heuristics/oneopt/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to total iteration number
1.59/1.68 c # [type: real, range: [0,1], default: 0.01]
1.59/1.68 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.59/1.68 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 20]
1.59/1.68 c heuristics/objpscostdiving/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/linesearchdiving/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/intshifting/freq = c -1
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/intdiving/maxlpiterquot = c 0.075
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/guideddiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/guideddiving/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/fracdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/fracdiving/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/feaspump/maxlpiterofs = c 2000
1.59/1.68 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 20]
1.59/1.68 c heuristics/feaspump/freq = c -1
1.59/1.68 c # minimum percentage of integer variables that have to be fixed
1.59/1.68 c # [type: real, range: [0,1], default: 0.666]
1.59/1.68 c heuristics/crossover/minfixingrate = c 0.5
1.59/1.68 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.59/1.68 c # [type: real, range: [0,1], default: 0.1]
1.59/1.68 c heuristics/crossover/nodesquot = c 0.15
1.59/1.68 c # number of nodes without incumbent change that heuristic should wait
1.59/1.68 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.59/1.68 c heuristics/crossover/nwaitingnodes = c 100
1.59/1.68 c # number of nodes added to the contingent of the total nodes
1.59/1.68 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.59/1.68 c heuristics/crossover/nodesofs = c 750
1.59/1.68 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 30]
1.59/1.68 c heuristics/crossover/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/coefdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/coefdiving/freq = c -1
1.59/1.68 c # priority of node selection rule <dfs> in standard mode
1.59/1.68 c # [type: int, range: [-536870912,536870911], default: 0]
1.59/1.68 c nodeselection/dfs/stdpriority = c 1000000
1.59/1.68 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.68 c presolving/probing/maxrounds = c 0
1.59/1.68 c # should presolving try to simplify knapsacks
1.59/1.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.68 c constraints/knapsack/simplifyinequalities = c TRUE
1.59/1.68 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.59/1.68 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.59/1.68 c constraints/knapsack/disaggregation = c FALSE
1.59/1.68 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c constraints/knapsack/maxnumcardlift = c 0
1.59/1.69 c # should presolving try to simplify inequalities
1.59/1.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.69 c constraints/linear/simplifyinequalities = c TRUE
1.59/1.69 c # maximal number of separation rounds in the root node (-1: unlimited)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c separating/maxroundsroot = c 5
1.59/1.69 c # maximal number of separation rounds per node (-1: unlimited)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 5]
1.59/1.69 c separating/maxrounds = c 1
1.59/1.69 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)
1.59/1.69 c # [type: char, range: {lafpsqd}, default: l]
1.59/1.69 c lp/pricing = c a
1.59/1.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.69 c lp/solvefreq = c 0
1.59/1.69 c # solving stops, if the given number of solutions were found (-1: no limit)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c limits/solutions = c 1
1.59/1.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.69 c limits/memory = c 1620
1.59/1.69 c # maximal time in seconds to run
1.59/1.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.69 c limits/time = c 1791
1.59/1.69 c # frequency for displaying node information lines
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.69 c display/freq = c 10000
1.59/1.69 c # should enforcement of pseudo solution be disabled?
1.59/1.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.69 c constraints/disableenfops = c TRUE
1.59/1.69 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.69 c constraints/agelimit = c 1
1.59/1.69 c # should binary conflicts be preferred?
1.59/1.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.69 c conflict/preferbinary = c TRUE
1.59/1.69 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c conflict/interconss = c 0
1.59/1.69 c -----------------------------------------------------------------------------------------------
1.59/1.69 c start solving problem
1.59/1.69 c
1.99/2.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.03 c 1.0s| 1 | 0 | 102 | 76M| 0 | 102 |2550 | 63k| 63k|2550 | 63k| 0 | 0 | 0 | 5.100000e+01 | -- | Inf
3.09/3.18 c 2.0s| 1 | 0 | 518 | 76M| 0 | 96 |2550 | 63k| 63k|2550 | 63k| 3 | 0 | 0 | 5.100000e+01 | -- | Inf
5.19/5.23 c 4.1s| 1 | 0 | 917 | 76M| 0 | 88 |2550 | 63k| 63k|2550 | 63k| 14 | 0 | 0 | 5.100000e+01 | -- | Inf
10.69/10.76 c 9.6s| 1 | 0 | 1446 | 76M| 0 | 80 |2550 | 63k| 63k|2550 | 63k| 23 | 0 | 0 | 5.100000e+01 | -- | Inf
17.99/18.03 c 16.8s| 1 | 0 | 3170 | 77M| 0 | 45 |2550 | 63k| 63k|2550 | 63k| 33 | 0 | 0 | 5.100000e+01 | -- | Inf
22.88/22.92 c 21.7s| 1 | 0 | 3450 | 77M| 0 | 45 |2550 | 63k| 63k|2550 | 63k| 39 | 0 | 0 | 5.100000e+01 | -- | Inf
45.18/45.29 c 43.8s| 1 | 2 | 3450 | 77M| 0 | 45 |2550 | 63k| 63k|2550 | 63k| 39 | 0 | 33 | 5.100000e+01 | -- | Inf
70.67/70.73 c 69.0s| 10000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 57k| 0 | 0 | 39 |5408 | 33 | 5.100000e+01 | -- | Inf
100.26/100.37 c 98.4s| 20000 | 1585 | 3450 | 79M|1606 | - |2550 | 63k| 57k| 0 | 0 | 39 | 11k| 33 | 5.100000e+01 | -- | Inf
129.36/129.43 c 127s| 30000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 18k| 33 | 5.100000e+01 | -- | Inf
158.04/158.12 c 156s| 40000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 24k| 33 | 5.100000e+01 | -- | Inf
187.13/187.27 c 184s| 50000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 30k| 33 | 5.100000e+01 | -- | Inf
215.72/215.81 c 213s| 60000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 36k| 33 | 5.100000e+01 | -- | Inf
243.92/244.08 c 241s| 70000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 43k| 33 | 5.100000e+01 | -- | Inf
272.81/272.93 c 269s| 80000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 49k| 33 | 5.100000e+01 | -- | Inf
302.20/302.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.20/302.30 c 298s| 90000 | 1569 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 55k| 33 | 5.100000e+01 | -- | Inf
329.59/329.75 c 326s|100000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 62k| 33 | 5.100000e+01 | -- | Inf
357.59/357.74 c 353s|110000 | 1588 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 68k| 33 | 5.100000e+01 | -- | Inf
385.28/385.46 c 381s|120000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 74k| 33 | 5.100000e+01 | -- | Inf
413.08/413.25 c 408s|130000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 80k| 33 | 5.100000e+01 | -- | Inf
441.97/442.17 c 437s|140000 | 1580 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 87k| 33 | 5.100000e+01 | -- | Inf
471.16/471.33 c 466s|150000 | 1578 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 93k| 33 | 5.100000e+01 | -- | Inf
499.25/499.46 c 494s|160000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 99k| 33 | 5.100000e+01 | -- | Inf
526.04/526.28 c 520s|170000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 106k| 33 | 5.100000e+01 | -- | Inf
553.84/554.01 c 548s|180000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 112k| 33 | 5.100000e+01 | -- | Inf
581.33/581.51 c 575s|190000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 118k| 33 | 5.100000e+01 | -- | Inf
609.62/609.89 c 603s|200000 | 1587 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 125k| 33 | 5.100000e+01 | -- | Inf
637.01/637.29 c 630s|210000 | 1584 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 131k| 33 | 5.100000e+01 | -- | Inf
664.21/664.44 c 657s|220000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 137k| 33 | 5.100000e+01 | -- | Inf
692.30/692.52 c 685s|230000 | 1576 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 144k| 33 | 5.100000e+01 | -- | Inf
718.79/719.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.79/719.02 c 711s|240000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 150k| 33 | 5.100000e+01 | -- | Inf
746.18/746.46 c 739s|250000 | 1580 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 156k| 33 | 5.100000e+01 | -- | Inf
773.58/773.82 c 766s|260000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 163k| 33 | 5.100000e+01 | -- | Inf
801.17/801.46 c 793s|270000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 169k| 33 | 5.100000e+01 | -- | Inf
828.56/828.87 c 820s|280000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 176k| 33 | 5.100000e+01 | -- | Inf
857.56/857.89 c 849s|290000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 182k| 33 | 5.100000e+01 | -- | Inf
884.65/884.92 c 876s|300000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 188k| 33 | 5.100000e+01 | -- | Inf
913.15/913.47 c 904s|310000 | 1571 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 195k| 33 | 5.100000e+01 | -- | Inf
940.73/941.06 c 931s|320000 | 1576 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 201k| 33 | 5.100000e+01 | -- | Inf
970.13/970.49 c 960s|330000 | 1578 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 207k| 33 | 5.100000e+01 | -- | Inf
998.43/998.79 c 989s|340000 | 1576 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 214k| 33 | 5.100000e+01 | -- | Inf
1026.71/1027.05 c 1017s|350000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 220k| 33 | 5.100000e+01 | -- | Inf
1053.31/1053.61 c 1043s|360000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 226k| 33 | 5.100000e+01 | -- | Inf
1082.20/1082.59 c 1072s|370000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 232k| 33 | 5.100000e+01 | -- | Inf
1110.79/1111.18 c 1100s|380000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 239k| 33 | 5.100000e+01 | -- | Inf
1139.48/1139.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.48/1139.85 c 1128s|390000 | 1571 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 245k| 33 | 5.100000e+01 | -- | Inf
1167.07/1167.45 c 1156s|400000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 251k| 33 | 5.100000e+01 | -- | Inf
1194.66/1195.01 c 1183s|410000 | 1585 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 258k| 33 | 5.100000e+01 | -- | Inf
1222.16/1222.56 c 1210s|420000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 264k| 33 | 5.100000e+01 | -- | Inf
1250.65/1251.09 c 1239s|430000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 270k| 33 | 5.100000e+01 | -- | Inf
1277.44/1277.84 c 1265s|440000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 277k| 33 | 5.100000e+01 | -- | Inf
1304.64/1305.02 c 1292s|450000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 283k| 33 | 5.100000e+01 | -- | Inf
1331.03/1331.48 c 1318s|460000 | 1571 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 289k| 33 | 5.100000e+01 | -- | Inf
1358.53/1358.96 c 1345s|470000 | 1578 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 295k| 33 | 5.100000e+01 | -- | Inf
1385.72/1386.10 c 1372s|480000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 302k| 33 | 5.100000e+01 | -- | Inf
1411.31/1411.78 c 1398s|490000 | 1567 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 308k| 33 | 5.100000e+01 | -- | Inf
1439.70/1440.11 c 1426s|500000 | 1580 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 314k| 33 | 5.100000e+01 | -- | Inf
1466.00/1466.44 c 1452s|510000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 321k| 33 | 5.100000e+01 | -- | Inf
1492.69/1493.16 c 1478s|520000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 327k| 33 | 5.100000e+01 | -- | Inf
1520.89/1521.39 c 1506s|530000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 333k| 33 | 5.100000e+01 | -- | Inf
1550.67/1551.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.67/1551.11 c 1536s|540000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 340k| 33 | 5.100000e+01 | -- | Inf
1578.77/1579.22 c 1564s|550000 | 1569 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 346k| 33 | 5.100000e+01 | -- | Inf
1607.76/1608.29 c 1592s|560000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 352k| 33 | 5.100000e+01 | -- | Inf
1638.05/1638.59 c 1623s|570000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 359k| 33 | 5.100000e+01 | -- | Inf
1667.64/1668.18 c 1652s|580000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 365k| 33 | 5.100000e+01 | -- | Inf
1697.44/1697.98 c 1681s|590000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 372k| 33 | 5.100000e+01 | -- | Inf
1725.33/1725.89 c 1709s|600000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 378k| 33 | 5.100000e+01 | -- | Inf
1753.02/1753.59 c 1736s|610000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 385k| 33 | 5.100000e+01 | -- | Inf
1782.52/1783.07 c 1766s|620000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 391k| 33 | 5.100000e+01 | -- | Inf
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1782.97
1800.01/1800.50 c Solving Nodes : 626051
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +5.10000000000002e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c NODE 626051
1800.01/1800.50 c DUAL BOUND 51
1800.01/1800.50 c PRIMAL BOUND 1e+20
1800.01/1800.50 c GAP 1e+20
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1782.97
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-1883857-1245236328.opb
1800.01/1800.50 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 63801 initial, 63801 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-1883857-1245236328.opb
1800.01/1800.50 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 63801 initial, 63822 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c logicor : 0.16 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.50 c logicor : 63801+ 5 4080704 0 0 393546 12539767 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 22.15 0.00 0.00 22.15 0.00
1800.01/1800.50 c logicor : 967.33 0.05 967.28 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c rootredcost : 1.27 0 0 0
1800.01/1800.50 c pseudoobj : 535.81 4531230 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 748.37 393546 393546 393546 417.6 5940 348.1 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 36344 159.9 - - -
1800.01/1800.50 c applied locally : - - - 359288 442.0 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 4 - - 0 - (maximal pool size: 147)
1800.01/1800.50 c redcost : 0.00 5 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 7.12 5 0 0 2102 0
1800.01/1800.50 c strongcg : 3.40 5 0 0 2102 0
1800.01/1800.50 c cmir : 0.00 0 0 0 0 0
1800.01/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.50 c clique : 0.15 5 0 0 16 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.11 1 0 0 0 0
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 22.15 1 0 0 0 0 2
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 7.60 437585 0 0 0 0 875170
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c simplerounding : 0.00 0 0
1800.01/1800.50 c rounding : 0.00 0 0
1800.01/1800.50 c shifting : 0.00 0 0
1800.01/1800.50 c intshifting : 0.00 0 0
1800.01/1800.50 c oneopt : 0.00 0 0
1800.01/1800.50 c fixandinfer : 0.00 0 0
1800.01/1800.50 c feaspump : 0.00 0 0
1800.01/1800.50 c coefdiving : 0.00 0 0
1800.01/1800.50 c pscostdiving : 0.00 0 0
1800.01/1800.50 c fracdiving : 0.00 0 0
1800.01/1800.50 c veclendiving : 0.00 0 0
1800.01/1800.50 c intdiving : 0.00 0 0
1800.01/1800.50 c actconsdiving : 0.00 0 0
1800.01/1800.50 c objpscostdiving : 0.00 0 0
1800.01/1800.50 c rootsoldiving : 0.00 0 0
1800.01/1800.50 c linesearchdiving : 0.00 0 0
1800.01/1800.50 c guideddiving : 0.00 0 0
1800.01/1800.50 c octane : 0.00 0 0
1800.01/1800.50 c rens : 0.00 0 0
1800.01/1800.50 c rins : 0.00 0 0
1800.01/1800.50 c localbranching : 0.00 0 0
1800.01/1800.50 c mutation : 0.00 0 0
1800.01/1800.50 c crossover : 0.00 0 0
1800.01/1800.50 c dins : 0.00 0 0
1800.01/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.50 c primal LP : 0.05 0 0 0.00 0.00
1800.01/1800.50 c dual LP : 9.84 6 3450 575.00 350.61
1800.01/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.50 c strong branching : 22.15 33 5627 170.52 254.04
1800.01/1800.50 c (at root node) : - 33 5627 170.52 -
1800.01/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.50 c B&B Tree :
1800.01/1800.50 c number of runs : 1
1800.01/1800.50 c nodes : 626051
1800.01/1800.50 c nodes (total) : 626051
1800.01/1800.50 c nodes left : 1578
1800.01/1800.50 c max depth : 1606
1800.01/1800.50 c max depth (total): 1606
1800.01/1800.50 c backtracks : 214854 (34.3%)
1800.01/1800.50 c delayed cutoffs : 247544
1800.01/1800.50 c repropagations : 527728 (6836597 domain reductions, 205081 cutoffs)
1800.01/1800.50 c avg switch length: 2.50
1800.01/1800.50 c switching time : 130.47
1800.01/1800.50 c Solution :
1800.01/1800.50 c Solutions found : 0 (0 improvements)
1800.01/1800.50 c Primal Bound : -
1800.01/1800.50 c Dual Bound : +5.10000000000002e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c Root Dual Bound : +5.10000000000000e+01
1800.21/1800.76 c Time complete: 1800.27.
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-1883857-1245236328/watcher-1883857-1245236328 -o /tmp/evaluation-result-1883857-1245236328/solver-1883857-1245236328 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883857-1245236328.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.00 0.00 0.00 3/65 5443 /proc/meminfo: memFree=1766856/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=7616 CPUtime=0 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 582 0 0 0 0 0 0 0 19 0 1 0 191231376 7798784 566 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 1904 576 353 1256 0 643 0 [startup+0.0972021 s] /proc/loadavg: 0.00 0.00 0.00 3/65 5443 /proc/meminfo: memFree=1766856/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=15860 CPUtime=0.09 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 2937 0 0 0 8 1 0 0 19 0 1 0 191231376 16240640 2921 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 3965 2921 376 1256 0 2704 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15860 [startup+0.101202 s] /proc/loadavg: 0.00 0.00 0.00 3/65 5443 /proc/meminfo: memFree=1766856/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=15860 CPUtime=0.09 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 2938 0 0 0 8 1 0 0 19 0 1 0 191231376 16240640 2922 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 3965 2922 376 1256 0 2704 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15860 [startup+0.301225 s] /proc/loadavg: 0.00 0.00 0.00 3/65 5443 /proc/meminfo: memFree=1766856/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=21404 CPUtime=0.29 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 4334 0 0 0 28 1 0 0 21 0 1 0 191231376 21917696 4318 1992294400 4194304 9342243 548682068736 18446744073709551615 8247739 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 5351 4318 376 1256 0 4090 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21404 [startup+0.70127 s] /proc/loadavg: 0.00 0.00 0.00 3/65 5443 /proc/meminfo: memFree=1766856/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=32648 CPUtime=0.69 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 7100 0 0 0 67 2 0 0 25 0 1 0 191231376 33431552 7084 1992294400 4194304 9342243 548682068736 18446744073709551615 8247768 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 8162 7084 376 1256 0 6901 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32648 [startup+1.50236 s] /proc/loadavg: 0.00 0.00 0.00 2/66 5444 /proc/meminfo: memFree=1699264/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=96848 CPUtime=1.49 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 24934 0 0 0 130 19 0 0 25 0 1 0 191231376 99172352 22959 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 24212 22959 465 1256 0 22951 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96848 [startup+3.10154 s] /proc/loadavg: 0.00 0.00 0.00 2/66 5444 /proc/meminfo: memFree=1629120/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=167516 CPUtime=3.09 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 38971 0 0 0 272 37 0 0 25 0 1 0 191231376 171536384 36779 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 41879 36779 629 1256 0 40618 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 167516 [startup+6.3019 s] /proc/loadavg: 0.08 0.02 0.01 2/66 5444 /proc/meminfo: memFree=1616640/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=170868 CPUtime=6.28 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 40195 0 0 0 590 38 0 0 25 0 1 0 191231376 174968832 38003 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 42717 38003 634 1256 0 41456 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 170868 [startup+12.7016 s] /proc/loadavg: 0.15 0.03 0.01 2/66 5444 /proc/meminfo: memFree=1603712/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=180844 CPUtime=12.69 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 43996 0 0 0 1227 42 0 0 25 0 1 0 191231376 185184256 41804 1992294400 4194304 9342243 548682068736 18446744073709551615 6237444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 45211 41804 634 1256 0 43950 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 180844 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.02 2/66 5444 /proc/meminfo: memFree=1587456/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=221976 CPUtime=25.49 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 52528 0 0 0 2501 48 0 0 25 0 1 0 191231376 227303424 45332 1992294400 4194304 9342243 548682068736 18446744073709551615 6977879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 55494 45332 639 1256 0 54233 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 221976 [startup+51.102 s] /proc/loadavg: 0.56 0.15 0.05 2/66 5444 /proc/meminfo: memFree=1589952/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=193312 CPUtime=51.07 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 94954 0 0 0 5036 71 0 0 25 0 1 0 191231376 197951488 44782 1992294400 4194304 9342243 548682068736 18446744073709551615 5763128 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48328 44782 661 1256 0 47067 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 193312 [startup+102.306 s] /proc/loadavg: 0.81 0.28 0.10 2/66 5444 /proc/meminfo: memFree=1586048/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=193312 CPUtime=102.26 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 95877 0 0 0 10109 117 0 0 25 0 1 0 191231376 197951488 45705 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48328 45705 661 1256 0 47067 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 193312 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/66 5450 /proc/meminfo: memFree=1584760/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=193312 CPUtime=162.24 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96133 0 0 0 16053 171 0 0 25 0 1 0 191231376 197951488 45961 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48328 45961 661 1256 0 47067 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 193312 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/66 5450 /proc/meminfo: memFree=1584248/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=193580 CPUtime=222.22 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96260 0 0 0 21994 228 0 0 25 0 1 0 191231376 198225920 46088 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48395 46088 661 1256 0 47134 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 193580 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/66 5450 /proc/meminfo: memFree=1583736/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=194012 CPUtime=282.21 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96383 0 0 0 27940 281 0 0 25 0 1 0 191231376 198668288 46211 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48503 46211 661 1256 0 47242 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 194012 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/66 5450 /proc/meminfo: memFree=1583352/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=194432 CPUtime=342.19 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96468 0 0 0 33888 331 0 0 25 0 1 0 191231376 199098368 46296 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48608 46296 661 1256 0 47347 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 194432 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/66 5450 /proc/meminfo: memFree=1583096/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=194696 CPUtime=402.17 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96530 0 0 0 39834 383 0 0 25 0 1 0 191231376 199368704 46358 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48674 46358 661 1256 0 47413 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 194696 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/66 5450 /proc/meminfo: memFree=1582912/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=194836 CPUtime=462.16 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96578 0 0 0 45776 440 0 0 25 0 1 0 191231376 199512064 46406 1992294400 4194304 9342243 548682068736 18446744073709551615 5752003 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48709 46406 661 1256 0 47448 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 194836 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/66 5450 /proc/meminfo: memFree=1582720/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=194968 CPUtime=522.15 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96609 0 0 0 51719 496 0 0 25 0 1 0 191231376 199647232 46437 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48742 46437 661 1256 0 47481 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 194968 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/66 5450 /proc/meminfo: memFree=1582592/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=195104 CPUtime=582.13 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96650 0 0 0 57662 551 0 0 25 0 1 0 191231376 199786496 46478 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48776 46478 661 1256 0 47515 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 195104 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.47 2/66 5450 /proc/meminfo: memFree=1582336/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=195236 CPUtime=642.11 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96681 0 0 0 63607 604 0 0 25 0 1 0 191231376 199921664 46509 1992294400 4194304 9342243 548682068736 18446744073709551615 4831908 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48809 46509 661 1256 0 47548 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 195236 [startup+702.302 s] ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 0.99 0.94 0.61 2/66 5450 /proc/meminfo: memFree=1581440/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=195952 CPUtime=942.03 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96862 0 0 0 93330 873 0 0 25 0 1 0 191231376 200654848 46690 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 48988 46690 661 1256 0 47727 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 195952 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/66 5450 /proc/meminfo: memFree=1581248/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196220 CPUtime=1002.02 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96904 0 0 0 99277 925 0 0 25 0 1 0 191231376 200929280 46732 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49055 46732 661 1256 0 47794 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 196220 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/66 5450 /proc/meminfo: memFree=1581184/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196220 CPUtime=1062 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96923 0 0 0 105224 976 0 0 25 0 1 0 191231376 200929280 46751 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49055 46751 661 1256 0 47794 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 196220 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/66 5450 /proc/meminfo: memFree=1580992/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196352 CPUtime=1121.99 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 96947 0 0 0 111170 1029 0 0 25 0 1 0 191231376 201064448 46775 1992294400 4194304 9342243 548682068736 18446744073709551615 4831893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49088 46775 661 1256 0 47827 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 196352 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/66 5450 /proc/meminfo: memFree=1580672/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196624 CPUtime=1181.97 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97015 0 0 0 117113 1084 0 0 25 0 1 0 191231376 201342976 46843 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49156 46843 661 1256 0 47895 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 196624 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/66 5450 /proc/meminfo: memFree=1580480/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196624 CPUtime=1241.96 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97031 0 0 0 123056 1140 0 0 25 0 1 0 191231376 201342976 46859 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49156 46859 661 1256 0 47895 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 196624 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/66 5450 /proc/meminfo: memFree=1580352/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196756 CPUtime=1301.94 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97050 0 0 0 129005 1189 0 0 25 0 1 0 191231376 201478144 46878 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49189 46878 661 1256 0 47928 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 196756 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/66 5450 /proc/meminfo: memFree=1580288/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196756 CPUtime=1361.92 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97055 0 0 0 134949 1243 0 0 25 0 1 0 191231376 201478144 46883 1992294400 4194304 9342243 548682068736 18446744073709551615 4775524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49189 46883 661 1256 0 47928 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 196756 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/66 5450 /proc/meminfo: memFree=1580160/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196756 CPUtime=1421.91 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97068 0 0 0 140896 1295 0 0 25 0 1 0 191231376 201478144 46896 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49189 46896 661 1256 0 47928 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 196756 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/66 5450 /proc/meminfo: memFree=1580096/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196908 CPUtime=1481.89 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97083 0 0 0 146842 1347 0 0 25 0 1 0 191231376 201633792 46911 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49227 46911 661 1256 0 47966 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 196908 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/66 5450 /proc/meminfo: memFree=1579968/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=196908 CPUtime=1541.87 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97104 0 0 0 152787 1400 0 0 25 0 1 0 191231376 201633792 46932 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49227 46932 661 1256 0 47966 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 196908 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/66 5450 /proc/meminfo: memFree=1579776/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197048 CPUtime=1601.86 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97139 0 0 0 158732 1454 0 0 25 0 1 0 191231376 201777152 46967 1992294400 4194304 9342243 548682068736 18446744073709551615 5762453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49262 46967 661 1256 0 48001 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 197048 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/66 5450 /proc/meminfo: memFree=1579776/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197180 CPUtime=1661.84 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97145 0 0 0 164676 1508 0 0 25 0 1 0 191231376 201912320 46973 1992294400 4194304 9342243 548682068736 18446744073709551615 5746118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49295 46973 661 1256 0 48034 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 197180 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.80 2/66 5450 /proc/meminfo: memFree=1579712/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197180 CPUtime=1721.83 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97147 0 0 0 170621 1562 0 0 25 0 1 0 191231376 201912320 46975 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49295 46975 661 1256 0 48034 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 197180 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/66 5450 /proc/meminfo: memFree=1579456/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197180 CPUtime=1781.81 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97163 0 0 0 176569 1612 0 0 25 0 1 0 191231376 201912320 46991 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49295 46991 661 1256 0 48034 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 197180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.82 2/66 5450 /proc/meminfo: memFree=1579456/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197180 CPUtime=1800.01 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97171 0 0 0 178374 1627 0 0 25 0 1 0 191231376 201912320 46999 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5443/statm: 49295 46999 661 1256 0 48034 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 197180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.82 2/67 5451 /proc/meminfo: memFree=1579384/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197328 CPUtime=1800.11 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97187 0 0 0 178384 1627 0 0 25 0 1 0 191231376 202063872 47015 1992294400 4194304 9342243 548682068736 18446744073709551615 4744346 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 49332 47015 666 1256 0 48071 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 197328 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.82 2/67 5451 /proc/meminfo: memFree=1579384/2055920 swapFree=4182240/4192956 [pid=5443] ppid=5441 vsize=197328 CPUtime=1800.21 /proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 5406 0 -1 4194304 97188 0 0 0 178394 1627 0 0 25 0 1 0 191231376 202063872 47016 1992294400 4194304 9342243 548682068736 18446744073709551615 4813574 0 0 4096 0 0 0 0 17 1 0 0 /proc/5443/statm: 49332 47016 667 1256 0 48071 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 197328 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.28 CPU user time (s): 1783.98 CPU system time (s): 16.3055 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 223228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.98 system time used= 16.3055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97193 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= 1696 runsolver used 1.9977 second user time and 4.52531 second system time The end
Begin job on node85 at 2009-06-17 12:58:48 IDJOB=1883857 IDBENCH=2570 IDSOLVER=684 FILE ID=node85/1883857-1245236328 PBS_JOBID= 9372266 Free space on /tmp= 126836 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.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-1883857-1245236328/watcher-1883857-1245236328 -o /tmp/evaluation-result-1883857-1245236328/solver-1883857-1245236328 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1883857-1245236328.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 60bac2da31df829d5469efd732e15a50 RANDOM SEED=1110833347 node85.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.213 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 : 5931.00 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.213 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: 1767400 kB Buffers: 28960 kB Cached: 187320 kB SwapCached: 5196 kB Active: 65132 kB Inactive: 159256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767400 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 13508 kB Writeback: 0 kB Mapped: 13684 kB Slab: 50148 kB Committed_AS: 91700 kB PageTables: 1376 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= 126824 MiB End job on node85 at 2009-06-17 13:28:51