| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | UNSAT | 1303.35 | 1303.73 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-dlx1c.ucl.opb |
| MD5SUM | d30cbdfbaf2c404a9c4e9217e33c734d |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.225965 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6392 |
| Total number of constraints | 18058 |
| Number of constraints which are clauses | 17278 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 780 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| 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 | 33 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 126 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.28 c SCIP version 1.1.0.7
0.19/0.28 c LP-Solver SoPlex 1.4.1
0.19/0.28 c user parameter file <scip.set> not found - using default parameters
0.19/0.28 c read problem <HOME/instance-1868622-1245129751.opb>
0.19/0.28 c original problem has 6392 variables (6392 bin, 0 int, 0 impl, 0 cont) and 18058 constraints
0.29/0.37 c No objective function, only one solution is needed.
0.29/0.37 c start presolving problem
0.29/0.37 c presolving:
0.69/0.73 c (round 1) 1052 del vars, 1640 del conss, 469 chg bounds, 390 chg sides, 806 chg coeffs, 0 upgd conss, 361213 impls, 0 clqs
0.69/0.77 c (round 2) 1060 del vars, 2864 del conss, 472 chg bounds, 395 chg sides, 811 chg coeffs, 0 upgd conss, 362391 impls, 0 clqs
0.69/0.78 c (round 3) 1060 del vars, 2879 del conss, 472 chg bounds, 395 chg sides, 811 chg coeffs, 0 upgd conss, 362391 impls, 0 clqs
0.89/0.95 c (round 4) 1060 del vars, 2884 del conss, 472 chg bounds, 395 chg sides, 811 chg coeffs, 15174 upgd conss, 362391 impls, 0 clqs
0.99/1.04 c presolving (5 rounds):
0.99/1.04 c 1060 deleted vars, 2884 deleted constraints, 472 tightened bounds, 0 added holes, 395 changed sides, 811 changed coefficients
0.99/1.04 c 362391 implications, 0 cliques
0.99/1.04 c presolved problem has 5332 variables (5332 bin, 0 int, 0 impl, 0 cont) and 15174 constraints
0.99/1.04 c 780 constraints of type <knapsack>
0.99/1.04 c 14394 constraints of type <logicor>
0.99/1.04 c transformed objective value is always integral (scale: 1)
0.99/1.04 c Presolving Time: 0.61
0.99/1.04 c SATUNSAT-LIN
0.99/1.04 c -----------------------------------------------------------------------------------------------
0.99/1.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c separating/flowcover/freq = c -1
0.99/1.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c separating/cmir/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/veclendiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.99/1.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/veclendiving/freq = c -1
0.99/1.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/simplerounding/freq = c -1
0.99/1.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/shifting/freq = c -1
0.99/1.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/rounding/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.99/1.04 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.99/1.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/rootsoldiving/freq = c -1
0.99/1.04 c # number of nodes added to the contingent of the total nodes
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.04 c heuristics/rens/nodesofs = c 2000
0.99/1.04 c # minimum percentage of integer variables that have to be fixable
0.99/1.04 c # [type: real, range: [0,1], default: 0.5]
0.99/1.04 c heuristics/rens/minfixingrate = c 0.3
0.99/1.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/rens/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.99/1.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/pscostdiving/freq = c -1
0.99/1.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/oneopt/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.99/1.04 c # [type: real, range: [0,1], default: 0.01]
0.99/1.04 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.99/1.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/objpscostdiving/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.99/1.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/linesearchdiving/freq = c -1
0.99/1.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/intshifting/freq = c -1
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/intdiving/maxlpiterquot = c 0.075
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/guideddiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.99/1.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/guideddiving/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/fracdiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.99/1.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/fracdiving/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/feaspump/maxlpiterofs = c 2000
0.99/1.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/feaspump/freq = c -1
0.99/1.04 c # minimum percentage of integer variables that have to be fixed
0.99/1.04 c # [type: real, range: [0,1], default: 0.666]
0.99/1.04 c heuristics/crossover/minfixingrate = c 0.5
0.99/1.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.99/1.04 c # [type: real, range: [0,1], default: 0.1]
0.99/1.04 c heuristics/crossover/nodesquot = c 0.15
0.99/1.04 c # number of nodes without incumbent change that heuristic should wait
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.99/1.04 c heuristics/crossover/nwaitingnodes = c 100
0.99/1.04 c # number of nodes added to the contingent of the total nodes
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.04 c heuristics/crossover/nodesofs = c 750
0.99/1.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 30]
0.99/1.04 c heuristics/crossover/freq = c -1
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/coefdiving/maxlpiterofs = c 1500
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.99/1.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/coefdiving/freq = c -1
0.99/1.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c presolving/probing/maxrounds = c 0
0.99/1.04 c # should presolving try to simplify knapsacks
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c constraints/knapsack/simplifyinequalities = c TRUE
0.99/1.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.99/1.04 c constraints/knapsack/disaggregation = c FALSE
0.99/1.04 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c constraints/knapsack/maxnumcardlift = c 0
0.99/1.04 c # should presolving try to simplify inequalities
0.99/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.05 c constraints/linear/simplifyinequalities = c TRUE
0.99/1.05 c # maximal number of separation rounds in the root node (-1: unlimited)
0.99/1.05 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.05 c separating/maxroundsroot = c 5
0.99/1.05 c # maximal number of separation rounds per node (-1: unlimited)
0.99/1.05 c # [type: int, range: [-1,2147483647], default: 5]
0.99/1.05 c separating/maxrounds = c 1
0.99/1.05 c # solving stops, if the given number of solutions were found (-1: no limit)
0.99/1.05 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.05 c limits/solutions = c 1
0.99/1.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.05 c limits/memory = c 1620
0.99/1.05 c # maximal time in seconds to run
0.99/1.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.05 c limits/time = c 1791
0.99/1.05 c # frequency for displaying node information lines
0.99/1.05 c # [type: int, range: [-1,2147483647], default: 100]
0.99/1.05 c display/freq = c 10000
0.99/1.05 c -----------------------------------------------------------------------------------------------
0.99/1.05 c start solving problem
0.99/1.05 c
2.79/2.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.79/2.88 c 2.5s| 1 | 0 | 1811 | 41M| 0 |1101 |5332 | 15k| 15k|5332 | 15k| 0 | 0 | 0 | 4.103379e+02 | -- | Inf
5.99/6.09 c 5.6s| 1 | 0 | 2463 | 42M| 0 |1085 |5332 | 15k| 15k|5332 | 15k| 127 | 0 | 0 | 5.057119e+02 | -- | Inf
8.69/8.73 c 8.2s| 1 | 0 | 3068 | 43M| 0 |1061 |5332 | 15k| 15k|5332 | 15k| 237 | 0 | 0 | 5.211540e+02 | -- | Inf
15.29/15.39 c 14.9s| 1 | 0 | 3904 | 44M| 0 |1119 |5332 | 15k| 15k|5332 | 15k| 353 | 0 | 0 | 5.633581e+02 | -- | Inf
20.18/20.27 c 19.7s| 1 | 0 | 4694 | 45M| 0 |1157 |5332 | 15k| 15k|5332 | 15k| 426 | 0 | 0 | 5.694067e+02 | -- | Inf
29.18/29.22 c 28.6s| 1 | 0 | 6025 | 45M| 0 |1188 |5332 | 15k| 15k|5332 | 15k| 512 | 0 | 0 | 5.752106e+02 | -- | Inf
79.56/79.69 c 79.0s| 1 | 2 | 6025 | 45M| 0 |1188 |5332 | 15k| 15k|5332 | 15k| 512 | 0 | 24 | 5.752106e+02 | -- | Inf
1303.21/1303.60 c
1303.21/1303.60 c SCIP Status : problem is solved [infeasible]
1303.21/1303.60 c Solving Time (sec) : 1299.72
1303.21/1303.60 c Solving Nodes : 2592
1303.21/1303.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1303.21/1303.60 c Dual Bound : +1.00000000000000e+20
1303.21/1303.60 c Gap : 0.00 %
1303.21/1303.60 c NODE 2592
1303.21/1303.60 c DUAL BOUND 1e+20
1303.21/1303.60 c PRIMAL BOUND 1e+20
1303.21/1303.60 c GAP 0
1303.21/1303.60 s UNSATISFIABLE
1303.21/1303.60 c SCIP Status : problem is solved [infeasible]
1303.21/1303.60 c Solving Time : 1299.72
1303.21/1303.60 c Original Problem :
1303.21/1303.60 c Problem name : HOME/instance-1868622-1245129751.opb
1303.21/1303.60 c Variables : 6392 (6392 binary, 0 integer, 0 implicit integer, 0 continuous)
1303.21/1303.60 c Constraints : 18058 initial, 18058 maximal
1303.21/1303.60 c Presolved Problem :
1303.21/1303.60 c Problem name : t_HOME/instance-1868622-1245129751.opb
1303.21/1303.60 c Variables : 5332 (5332 binary, 0 integer, 0 implicit integer, 0 continuous)
1303.21/1303.60 c Constraints : 15174 initial, 16444 maximal
1303.21/1303.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1303.21/1303.60 c trivial : 0.02 0 0 0 0 0 0 0 0
1303.21/1303.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1303.21/1303.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1303.21/1303.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1303.21/1303.60 c implics : 0.07 0 585 0 0 0 0 0 0
1303.21/1303.60 c probing : 0.00 0 0 0 0 0 0 0 0
1303.21/1303.60 c knapsack : 0.05 0 0 0 0 0 0 0 0
1303.21/1303.60 c linear : 0.37 472 3 0 472 0 2884 395 811
1303.21/1303.60 c logicor : 0.06 0 0 0 0 0 0 0 0
1303.21/1303.60 c root node : - 0 - - 0 - - - -
1303.21/1303.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1303.21/1303.60 c integral : 0 0 0 2090 0 0 115 0 0 4118
1303.21/1303.60 c knapsack : 780 5 51136 0 0 2 90 1000 0 0
1303.21/1303.60 c logicor : 14394+ 5 49804 0 0 944 442289 0 0 0
1303.21/1303.60 c countsols : 0 0 0 0 0 0 0 0 0 0
1303.21/1303.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1303.21/1303.60 c integral : 568.72 0.00 0.00 568.72 0.00
1303.21/1303.60 c knapsack : 4.40 0.02 4.38 0.00 0.00
1303.21/1303.60 c logicor : 4.64 0.01 4.63 0.00 0.00
1303.21/1303.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1303.21/1303.60 c Propagators : Time Calls Cutoffs DomReds
1303.21/1303.60 c rootredcost : 0.10 0 0 0
1303.21/1303.60 c pseudoobj : 33.09 51182 0 0
1303.21/1303.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1303.21/1303.60 c propagation : 0.43 946 944 5175 39.8 375 10.2 -
1303.21/1303.60 c infeasible LP : 0.09 25 25 56 27.5 4 5.5 0
1303.21/1303.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1303.21/1303.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1303.21/1303.60 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1303.21/1303.60 c applied globally : - - - 2531 22.6 - - -
1303.21/1303.60 c applied locally : - - - 0 0.0 - - -
1303.21/1303.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1303.21/1303.60 c cut pool : 0.00 4 - - 651 - (maximal pool size: 2529)
1303.21/1303.60 c redcost : 1.79 2067 0 0 0 0
1303.21/1303.60 c impliedbounds : 0.02 5 0 0 0 0
1303.21/1303.60 c intobj : 0.00 0 0 0 0 0
1303.21/1303.60 c gomory : 10.24 5 0 0 2299 0
1303.21/1303.60 c strongcg : 5.45 5 0 0 2500 0
1303.21/1303.60 c cmir : 0.00 0 0 0 0 0
1303.21/1303.60 c flowcover : 0.00 0 0 0 0 0
1303.21/1303.60 c clique : 0.51 5 0 0 35 0
1303.21/1303.60 c zerohalf : 0.00 0 0 0 0 0
1303.21/1303.60 c mcf : 0.05 1 0 0 0 0
1303.21/1303.60 c Pricers : Time Calls Vars
1303.21/1303.60 c problem variables: 0.00 0 0
1303.21/1303.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1303.21/1303.60 c relpscost : 568.72 2090 0 115 0 0 4118
1303.21/1303.60 c pscost : 0.00 0 0 0 0 0 0
1303.21/1303.60 c inference : 0.00 0 0 0 0 0 0
1303.21/1303.60 c mostinf : 0.00 0 0 0 0 0 0
1303.21/1303.60 c leastinf : 0.00 0 0 0 0 0 0
1303.21/1303.60 c fullstrong : 0.00 0 0 0 0 0 0
1303.21/1303.60 c allfullstrong : 0.00 0 0 0 0 0 0
1303.21/1303.60 c random : 0.00 0 0 0 0 0 0
1303.21/1303.60 c Primal Heuristics : Time Calls Found
1303.21/1303.60 c LP solutions : 0.00 - 0
1303.21/1303.60 c pseudo solutions : 0.00 - 0
1303.21/1303.60 c simplerounding : 0.00 0 0
1303.21/1303.60 c rounding : 0.00 0 0
1303.21/1303.60 c shifting : 0.00 0 0
1303.21/1303.60 c intshifting : 0.00 0 0
1303.21/1303.60 c oneopt : 0.00 0 0
1303.21/1303.60 c fixandinfer : 0.00 0 0
1303.21/1303.60 c feaspump : 0.00 0 0
1303.21/1303.60 c coefdiving : 0.00 0 0
1303.21/1303.60 c pscostdiving : 0.00 0 0
1303.21/1303.60 c fracdiving : 0.00 0 0
1303.21/1303.60 c veclendiving : 0.00 0 0
1303.21/1303.60 c intdiving : 0.00 0 0
1303.21/1303.60 c actconsdiving : 0.00 0 0
1303.21/1303.60 c objpscostdiving : 0.00 0 0
1303.21/1303.60 c rootsoldiving : 0.00 0 0
1303.21/1303.60 c linesearchdiving : 0.00 0 0
1303.21/1303.60 c guideddiving : 0.00 0 0
1303.21/1303.60 c octane : 0.00 0 0
1303.21/1303.60 c rens : 0.00 0 0
1303.21/1303.60 c rins : 0.00 0 0
1303.21/1303.60 c localbranching : 0.00 0 0
1303.21/1303.60 c mutation : 0.00 0 0
1303.21/1303.60 c crossover : 0.00 0 0
1303.21/1303.60 c dins : 0.00 0 0
1303.21/1303.60 c LP : Time Calls Iterations Iter/call Iter/sec
1303.21/1303.60 c primal LP : 0.02 0 0 0.00 0.00
1303.21/1303.60 c dual LP : 646.99 2118 350700 165.58 542.05
1303.21/1303.60 c barrier LP : 0.00 0 0 0.00 -
1303.21/1303.60 c diving/probing LP: 0.00 0 0 0.00 -
1303.21/1303.60 c strong branching : 567.78 1006 296772 295.00 522.69
1303.21/1303.60 c (at root node) : - 24 21400 891.67 -
1303.21/1303.60 c conflict analysis: 0.00 0 0 0.00 -
1303.21/1303.60 c B&B Tree :
1303.21/1303.60 c number of runs : 1
1303.21/1303.60 c nodes : 2592
1303.21/1303.60 c nodes (total) : 2592
1303.21/1303.60 c nodes left : 0
1303.21/1303.60 c max depth : 44
1303.21/1303.60 c max depth (total): 44
1303.21/1303.60 c backtracks : 543 (20.9%)
1303.21/1303.60 c delayed cutoffs : 1527
1303.21/1303.60 c repropagations : 2738 (141824 domain reductions, 438 cutoffs)
1303.21/1303.60 c avg switch length: 4.07
1303.21/1303.60 c switching time : 3.37
1303.21/1303.60 c Solution :
1303.21/1303.60 c Solutions found : 0 (0 improvements)
1303.21/1303.60 c Primal Bound : infeasible
1303.21/1303.60 c Dual Bound : -
1303.21/1303.60 c Gap : 0.00 %
1303.21/1303.60 c Root Dual Bound : +5.75210598030252e+02
1303.31/1303.73 c Time complete: 1303.34.
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-1868622-1245129751/watcher-1868622-1245129751 -o /tmp/evaluation-result-1868622-1245129751/solver-1868622-1245129751 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868622-1245129751.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.99 0.97 0.99 3/64 4542 /proc/meminfo: memFree=1925704/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=4328 CPUtime=0 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 485 0 0 0 0 0 0 0 18 0 1 0 180572135 4431872 469 1992294400 4194304 7823515 548682068736 18446744073709551615 5862928 0 0 4096 0 0 0 0 17 1 0 0 /proc/4542/statm: 1162 482 315 886 0 272 0 [startup+0.034712 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4542 /proc/meminfo: memFree=1925704/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=9956 CPUtime=0.02 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 1807 0 0 0 2 0 0 0 18 0 1 0 180572135 10194944 1789 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/4542/statm: 2489 1789 351 886 0 1599 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9956 [startup+0.101717 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4542 /proc/meminfo: memFree=1925704/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=14568 CPUtime=0.09 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 2946 0 0 0 8 1 0 0 18 0 1 0 180572135 14917632 2928 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0 /proc/4542/statm: 3642 2928 351 886 0 2752 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14568 [startup+0.301738 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4542 /proc/meminfo: memFree=1925704/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=27616 CPUtime=0.29 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 6516 0 0 0 26 3 0 0 19 0 1 0 180572135 28278784 6144 1992294400 4194304 7823515 548682068736 18446744073709551615 6888849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 6904 6144 367 886 0 6014 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27616 [startup+0.701778 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4542 /proc/meminfo: memFree=1925704/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=54532 CPUtime=0.69 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 13087 0 0 0 61 8 0 0 22 0 1 0 180572135 55840768 12715 1992294400 4194304 7823515 548682068736 18446744073709551615 5419177 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 13633 12715 432 886 0 12743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54532 [startup+1.50186 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1865920/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=83920 CPUtime=1.49 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 20155 0 0 0 135 14 0 0 19 0 1 0 180572135 85934080 19445 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 20980 19445 519 886 0 20090 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 83920 [startup+3.10202 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1848000/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=86124 CPUtime=3.09 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 21020 0 0 0 294 15 0 0 25 0 1 0 180572135 88190976 20234 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 21531 20234 539 886 0 20641 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 86124 [startup+6.30135 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1841280/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=91984 CPUtime=6.29 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 22706 0 0 0 606 23 0 0 25 0 1 0 180572135 94191616 21872 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 22996 21872 552 886 0 22106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91984 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1837248/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=94204 CPUtime=12.69 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 23643 0 0 0 1244 25 0 0 25 0 1 0 180572135 96464896 22582 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 23551 22582 552 886 0 22661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 94204 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1835776/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=96108 CPUtime=25.48 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 24005 0 0 0 2519 29 0 0 25 0 1 0 180572135 98414592 22944 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24027 22944 552 886 0 23137 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96108 [startup+51.1029 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1833152/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=98500 CPUtime=51.06 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 24699 0 0 0 5072 34 0 0 25 0 1 0 180572135 100864000 23638 1992294400 4194304 7823515 548682068736 18446744073709551615 6214635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24625 23638 557 886 0 23735 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 98500 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1833024/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=98500 CPUtime=102.25 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 24728 0 0 0 10182 43 0 0 25 0 1 0 180572135 100864000 23667 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24625 23667 558 886 0 23735 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 98500 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1833024/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=98500 CPUtime=162.23 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 24728 0 0 0 16170 53 0 0 25 0 1 0 180572135 100864000 23667 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24625 23667 558 886 0 23735 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 98500 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1832512/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=99144 CPUtime=222.21 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 24848 0 0 0 22156 65 0 0 25 0 1 0 180572135 101523456 23787 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24786 23787 558 886 0 23896 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 99144 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1832384/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=99144 CPUtime=282.2 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 24869 0 0 0 28142 78 0 0 25 0 1 0 180572135 101523456 23808 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24786 23808 558 886 0 23896 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 99144 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1833088/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=99132 CPUtime=342.18 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 26998 0 0 0 34127 91 0 0 25 0 1 0 180572135 101511168 23640 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 24783 23640 564 886 0 23893 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 99132 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1829120/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=102276 CPUtime=402.16 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 32055 0 0 0 40110 106 0 0 25 0 1 0 180572135 104730624 24629 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 25569 24629 564 886 0 24679 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 102276 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1828288/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=103068 CPUtime=462.15 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 35476 0 0 0 46095 120 0 0 25 0 1 0 180572135 105541632 24824 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 25767 24824 564 886 0 24877 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 103068 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1825856/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=105532 CPUtime=522.13 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 36080 0 0 0 52081 132 0 0 25 0 1 0 180572135 108064768 25428 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 26383 25428 564 886 0 25493 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 105532 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1827392/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=105556 CPUtime=582.11 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 38915 0 0 0 58065 146 0 0 25 0 1 0 180572135 108089344 24892 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 26389 24892 564 886 0 25499 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 105556 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1824000/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=107304 CPUtime=642.1 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 41832 0 0 0 64051 159 0 0 25 0 1 0 180572135 109879296 25871 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 26826 25871 564 886 0 25936 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 107304 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1822656/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=108580 CPUtime=702.07 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 42181 0 0 0 70036 171 0 0 25 0 1 0 180572135 111185920 26220 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 27145 26220 564 886 0 26255 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 108580 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.99 3/65 4543 /proc/meminfo: memFree=1822464/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=108948 CPUtime=762.07 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 46770 0 0 0 76022 185 0 0 25 0 1 0 180572135 111562752 26231 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 27237 26231 564 886 0 26347 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 108948 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1819712/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=111740 CPUtime=822.05 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 49222 0 0 0 82007 198 0 0 25 0 1 0 180572135 114421760 26935 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 27935 26935 564 886 0 27045 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 111740 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1819008/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=112268 CPUtime=882.03 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 51062 0 0 0 87993 210 0 0 25 0 1 0 180572135 114962432 27083 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 28067 27083 564 886 0 27177 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 112268 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1818944/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=112164 CPUtime=942.01 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 56513 0 0 0 93975 226 0 0 25 0 1 0 180572135 114855936 26567 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 28041 26567 564 886 0 27151 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 112164 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1817408/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=114176 CPUtime=1002 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 66921 0 0 0 99958 242 0 0 25 0 1 0 180572135 116916224 27483 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 28544 27483 564 886 0 27654 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 114176 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1815168/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=116132 CPUtime=1061.98 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 71595 0 0 0 105941 257 0 0 25 0 1 0 180572135 118919168 28027 1992294400 4194304 7823515 548682068736 18446744073709551615 4817494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 29033 28027 564 886 0 28143 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 116132 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1813184/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=117832 CPUtime=1121.96 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 81029 0 0 0 111920 276 0 0 25 0 1 0 180572135 120659968 28507 1992294400 4194304 7823515 548682068736 18446744073709551615 6099168 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 29458 28507 564 886 0 28568 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 117832 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1811392/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=119536 CPUtime=1181.94 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 84582 0 0 0 117905 289 0 0 25 0 1 0 180572135 122404864 28954 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 29884 28954 564 886 0 28994 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 119536 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1809024/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=121956 CPUtime=1241.93 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 88633 0 0 0 123888 305 0 0 25 0 1 0 180572135 124882944 29514 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 30489 29514 564 886 0 29599 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 121956 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1805248/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=125632 CPUtime=1301.92 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 92463 0 0 0 129869 323 0 0 25 0 1 0 180572135 128647168 30445 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 31408 30445 564 886 0 30518 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 125632 Solver just ended. Dumping a history of the last processes samples [startup+1303.1 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1805248/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=125632 CPUtime=1302.71 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 92463 0 0 0 129948 323 0 0 25 0 1 0 180572135 128647168 30445 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 31408 30445 564 886 0 30518 0 Current children cumulated CPU time (s) 1302.71 Current children cumulated vsize (KiB) 125632 [startup+1303.51 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1805248/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=125632 CPUtime=1303.11 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 92463 0 0 0 129988 323 0 0 25 0 1 0 180572135 128647168 30445 1992294400 4194304 7823515 548682068736 18446744073709551615 6236715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4542/statm: 31408 30445 564 886 0 30518 0 Current children cumulated CPU time (s) 1303.11 Current children cumulated vsize (KiB) 125632 [startup+1303.7 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4543 /proc/meminfo: memFree=1805248/2055920 swapFree=4192812/4192956 [pid=4542] ppid=4540 vsize=119696 CPUtime=1303.31 /proc/4542/stat : 4542 (pbscip.linux.x8) R 4540 4542 4361 0 -1 4194304 92469 0 0 0 130008 323 0 0 25 0 1 0 180572135 122568704 29223 1992294400 4194304 7823515 548682068736 18446744073709551615 5021682 0 0 4096 0 0 0 0 17 1 0 0 /proc/4542/statm: 29924 29223 569 886 0 29034 0 Current children cumulated CPU time (s) 1303.31 Current children cumulated vsize (KiB) 119696 Child status: 0 Real time (s): 1303.73 CPU time (s): 1303.35 CPU user time (s): 1300.09 CPU system time (s): 3.2585 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 125632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1300.09 system time used= 3.2585 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92473 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= 2536 runsolver used 0.876866 second user time and 2.84357 second system time The end
Begin job on node45 at 2009-06-16 07:22:31 IDJOB=1868622 IDBENCH=1478 IDSOLVER=683 FILE ID=node45/1868622-1245129751 PBS_JOBID= 9363722 Free space on /tmp= 66172 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868622-1245129751/watcher-1868622-1245129751 -o /tmp/evaluation-result-1868622-1245129751/solver-1868622-1245129751 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868622-1245129751.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d30cbdfbaf2c404a9c4e9217e33c734d RANDOM SEED=992186120 node45.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.240 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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1926120 kB Buffers: 4208 kB Cached: 62972 kB SwapCached: 140 kB Active: 51732 kB Inactive: 29476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1926120 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 10592 kB Writeback: 0 kB Mapped: 23660 kB Slab: 34612 kB Committed_AS: 151612 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= 66164 MiB End job on node45 at 2009-06-16 07:44:15