| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 36.8524 | 36.8601 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf0432-007.opb |
| MD5SUM | 093787cffe9173c370b11fb5e77a5812 |
| Bench Category | OPT-SMALLINT (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.099984 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2080 |
| Total number of constraints | 4708 |
| Number of constraints which are clauses | 4708 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 6 |
| Number of terms in the objective function | 2080 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2080 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2704347-1278553738.opb>
0.05/0.08 c original problem has 2080 variables (2080 bin, 0 int, 0 impl, 0 cont) and 4708 constraints
0.05/0.08 c problem read
0.05/0.08 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.17 c (round 1) 1121 del vars, 178 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 40808 impls, 0 clqs
0.19/0.20 c (round 2) 1227 del vars, 1783 del conss, 22 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44511 impls, 0 clqs
0.19/0.21 c (round 3) 1290 del vars, 2050 del conss, 73 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 45553 impls, 0 clqs
0.19/0.22 c (round 4) 1352 del vars, 2380 del conss, 138 chg bounds, 61 chg sides, 107 chg coeffs, 0 upgd conss, 46394 impls, 0 clqs
0.19/0.22 c (round 5) 1401 del vars, 2518 del conss, 162 chg bounds, 61 chg sides, 107 chg coeffs, 0 upgd conss, 46394 impls, 0 clqs
0.19/0.22 c (round 6) 1402 del vars, 2519 del conss, 162 chg bounds, 61 chg sides, 107 chg coeffs, 0 upgd conss, 46412 impls, 0 clqs
0.29/0.34 c (round 7) 1402 del vars, 2564 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2098 upgd conss, 46412 impls, 0 clqs
0.29/0.36 c (round 8) 1404 del vars, 2566 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2098 upgd conss, 46412 impls, 0 clqs
0.29/0.38 c (round 9) 1404 del vars, 2566 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 46412 impls, 0 clqs
0.39/0.41 c (round 10) 1459 del vars, 2566 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 49528 impls, 0 clqs
0.39/0.41 c (round 11) 1459 del vars, 2700 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 49528 impls, 0 clqs
0.39/0.43 c (round 12) 1459 del vars, 2713 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 49528 impls, 0 clqs
0.39/0.44 c (round 13) 1510 del vars, 2713 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 51896 impls, 0 clqs
0.39/0.45 c (round 14) 1510 del vars, 2881 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 51896 impls, 0 clqs
0.39/0.45 c (round 15) 1511 del vars, 2882 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 51896 impls, 0 clqs
0.39/0.46 c (round 16) 1511 del vars, 2900 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 51896 impls, 0 clqs
0.39/0.47 c (round 17) 1587 del vars, 2900 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 52646 impls, 0 clqs
0.39/0.48 c (round 18) 1587 del vars, 3151 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 52652 impls, 0 clqs
0.39/0.49 c (round 19) 1593 del vars, 3157 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 52652 impls, 0 clqs
0.39/0.49 c (round 20) 1594 del vars, 3165 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 52652 impls, 0 clqs
0.39/0.49 c (round 21) 1594 del vars, 3175 del conss, 162 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 52652 impls, 0 clqs
0.49/0.55 c (round 22) 1644 del vars, 3175 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 54852 impls, 0 clqs
0.49/0.55 c (round 23) 1644 del vars, 3264 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 54852 impls, 0 clqs
0.49/0.55 c (round 24) 1646 del vars, 3265 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 54852 impls, 0 clqs
0.49/0.56 c (round 25) 1646 del vars, 3280 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 54852 impls, 0 clqs
0.59/0.61 c (round 26) 1691 del vars, 3280 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 55444 impls, 0 clqs
0.59/0.62 c (round 27) 1691 del vars, 3347 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 55444 impls, 0 clqs
0.59/0.62 c (round 28) 1692 del vars, 3350 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 55444 impls, 0 clqs
0.59/0.62 c (round 29) 1693 del vars, 3353 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 55444 impls, 0 clqs
0.59/0.62 c (round 30) 1693 del vars, 3366 del conss, 164 chg bounds, 105 chg sides, 107 chg coeffs, 2142 upgd conss, 55444 impls, 0 clqs
0.59/0.62 c presolving (31 rounds):
0.59/0.62 c 1693 deleted vars, 3366 deleted constraints, 164 tightened bounds, 0 added holes, 105 changed sides, 107 changed coefficients
0.59/0.62 c 55444 implications, 0 cliques
0.59/0.62 c presolved problem has 387 variables (387 bin, 0 int, 0 impl, 0 cont) and 1342 constraints
0.59/0.62 c 466 constraints of type <setppc>
0.59/0.62 c 876 constraints of type <logicor>
0.59/0.62 c transformed objective value is always integral (scale: 1)
0.59/0.62 c Presolving Time: 0.52
0.59/0.62 c - non default parameters ----------------------------------------------------------------------
0.59/0.62 c # SCIP version 1.2.1.3
0.59/0.62 c
0.59/0.62 c # frequency for displaying node information lines
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62 c display/freq = 10000
0.59/0.62 c
0.59/0.62 c # maximal time in seconds to run
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/time = 1789.92
0.59/0.62 c
0.59/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/memory = 1620
0.59/0.62 c
0.59/0.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.62 c # [type: int, range: [1,2], default: 1]
0.59/0.62 c timing/clocktype = 2
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify inequalities
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/linear/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/indicator/addCouplingCons = TRUE
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify knapsacks
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.62 c separating/rapidlearning/freq = 0
0.59/0.62 c
0.59/0.62 c -----------------------------------------------------------------------------------------------
0.59/0.62 c start solving
0.59/0.62 c
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c 0.6s| 1 | 0 | 594 | - |7150k| 0 | 236 | 387 |1342 | 387 |1324 | 0 | 0 | 0 | 9.376667e+02 | -- | Inf
1.59/1.65 c 1.6s| 1 | 0 | 1643 | - |8309k| 0 | 292 | 387 |1882 | 387 |1626 | 316 | 0 | 0 | 9.443661e+02 | -- | Inf
1.79/1.83 c 1.7s| 1 | 0 | 1848 | - |8653k| 0 | 295 | 387 |1882 | 387 |1686 | 376 | 0 | 0 | 9.461751e+02 | -- | Inf
2.09/2.12 c 2.0s| 1 | 0 | 2048 | - |9732k| 0 | 297 | 387 |1882 | 387 |1718 | 408 | 0 | 0 | 9.468580e+02 | -- | Inf
2.49/2.58 c 2.5s| 1 | 0 | 2146 | - |9792k| 0 | 296 | 387 |1882 | 387 |1727 | 417 | 0 | 0 | 9.472892e+02 | -- | Inf
2.99/3.07 c 3.0s| 1 | 0 | 2263 | - |9808k| 0 | 298 | 387 |1882 | 387 |1738 | 428 | 0 | 0 | 9.475013e+02 | -- | Inf
3.49/3.53 c 3.4s| 1 | 0 | 2471 | - |9873k| 0 | 295 | 387 |1882 | 387 |1748 | 438 | 0 | 0 | 9.480786e+02 | -- | Inf
3.99/4.06 c 4.0s| 1 | 0 | 2597 | - |9894k| 0 | 292 | 387 |1882 | 387 |1756 | 446 | 0 | 0 | 9.481595e+02 | -- | Inf
4.59/4.64 c 4.6s| 1 | 0 | 2887 | - | 10M| 0 | 305 | 387 |1882 | 387 |1765 | 455 | 0 | 0 | 9.486511e+02 | -- | Inf
5.19/5.25 c 5.2s| 1 | 0 | 3089 | - | 10M| 0 | 305 | 387 |1882 | 387 |1772 | 462 | 0 | 0 | 9.487430e+02 | -- | Inf
5.69/5.79 c 5.7s| 1 | 0 | 3206 | - | 12M| 0 | 294 | 387 |1882 | 387 |1780 | 470 | 0 | 0 | 9.487906e+02 | -- | Inf
6.30/6.33 c 6.2s| 1 | 0 | 3263 | - | 13M| 0 | 298 | 387 |1882 | 387 |1782 | 472 | 0 | 0 | 9.488083e+02 | -- | Inf
6.89/6.94 c 6.9s| 1 | 0 | 3399 | - | 14M| 0 | 295 | 387 |1882 | 387 |1466 | 474 | 0 | 0 | 9.488518e+02 | -- | Inf
7.39/7.43 c 7.3s| 1 | 0 | 3469 | - | 14M| 0 | 296 | 387 |1882 | 387 |1468 | 476 | 0 | 0 | 9.488585e+02 | -- | Inf
7.89/7.94 c 7.9s| 1 | 0 | 3605 | - | 14M| 0 | 298 | 387 |1882 | 387 |1474 | 482 | 0 | 0 | 9.488680e+02 | -- | Inf
8.39/8.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.39/8.46 c 8.4s| 1 | 0 | 3821 | - | 15M| 0 | 300 | 387 |1882 | 387 |1478 | 486 | 0 | 0 | 9.488895e+02 | -- | Inf
8.98/9.00 c 8.9s| 1 | 0 | 4123 | - | 15M| 0 | 298 | 387 |1882 | 387 |1488 | 496 | 0 | 0 | 9.489547e+02 | -- | Inf
9.39/9.49 c 9.4s| 1 | 0 | 4126 | - | 15M| 0 | 298 | 387 |1882 | 387 |1491 | 499 | 0 | 0 | 9.489547e+02 | -- | Inf
12.19/12.29 c 12.2s| 1 | 2 | 4126 | - | 15M| 0 | 298 | 387 |1882 | 387 |1491 | 499 | 0 | 12 | 9.489547e+02 | -- | Inf
36.78/36.83 c
36.78/36.83 c SCIP Status : problem is solved [infeasible]
36.78/36.83 c Solving Time (sec) : 36.74
36.78/36.83 c Solving Nodes : 231
36.78/36.83 c Primal Bound : +1.00000000000000e+20 (0 solutions)
36.78/36.83 c Dual Bound : +1.00000000000000e+20
36.78/36.83 c Gap : 0.00 %
36.78/36.83 s UNSATISFIABLE
36.78/36.83 c SCIP Status : problem is solved [infeasible]
36.78/36.83 c Solving Time : 36.74
36.78/36.83 c Original Problem :
36.78/36.83 c Problem name : HOME/instance-2704347-1278553738.opb
36.78/36.83 c Variables : 2080 (2080 binary, 0 integer, 0 implicit integer, 0 continuous)
36.78/36.83 c Constraints : 4708 initial, 4708 maximal
36.78/36.83 c Presolved Problem :
36.78/36.83 c Problem name : t_HOME/instance-2704347-1278553738.opb
36.78/36.83 c Variables : 387 (387 binary, 0 integer, 0 implicit integer, 0 continuous)
36.78/36.83 c Constraints : 1342 initial, 2108 maximal
36.78/36.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
36.78/36.83 c trivial : 0.00 69 0 0 0 0 0 0 0
36.78/36.83 c dualfix : 0.00 94 0 0 0 0 0 0 0
36.78/36.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
36.78/36.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
36.78/36.83 c implics : 0.04 0 1036 0 0 0 0 0 0
36.78/36.83 c probing : 0.15 154 123 0 2 0 0 0 0
36.78/36.83 c setppc : 0.04 0 0 0 0 0 396 0 0
36.78/36.83 c linear : 0.16 130 87 0 162 0 2566 105 107
36.78/36.83 c logicor : 0.08 0 0 0 0 0 404 0 0
36.78/36.83 c root node : - 30 - - 30 - - - -
36.78/36.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
36.78/36.83 c integral : 0 0 0 235 0 6 234 0 0 300
36.78/36.83 c setppc : 466 19 3176 0 0 31 3911 0 0 0
36.78/36.83 c linear : 0+ 18 1571 0 0 20 490 45 0 0
36.78/36.83 c logicor : 876+ 19 2370 0 0 81 2879 0 0 0
36.78/36.83 c countsols : 0 0 0 0 0 0 0 0 0 0
36.78/36.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
36.78/36.83 c integral : 23.88 0.00 0.00 23.88 0.00
36.78/36.83 c setppc : 0.11 0.00 0.10 0.00 0.00
36.78/36.83 c linear : 0.11 0.01 0.10 0.00 0.00
36.78/36.83 c logicor : 0.06 0.00 0.06 0.00 0.00
36.78/36.83 c countsols : 0.00 0.00 0.00 0.00 0.00
36.78/36.83 c Propagators : Time Calls Cutoffs DomReds
36.78/36.83 c vbounds : 0.00 2 0 0
36.78/36.83 c rootredcost : 0.00 0 0 0
36.78/36.83 c pseudoobj : 0.03 1626 0 0
36.78/36.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
36.78/36.83 c propagation : 0.01 124 112 357 13.9 21 5.2 -
36.78/36.83 c infeasible LP : 0.00 4 4 15 11.7 1 9.0 0
36.78/36.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
36.78/36.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
36.78/36.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
36.78/36.83 c applied globally : - - - 236 11.0 - - -
36.78/36.83 c applied locally : - - - 0 0.0 - - -
36.78/36.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
36.78/36.83 c cut pool : 0.03 17 - - 212 - (maximal pool size: 2487)
36.78/36.83 c redcost : 0.00 252 0 0 0 0
36.78/36.83 c impliedbounds : 0.01 18 0 0 505 0
36.78/36.83 c intobj : 0.00 0 0 0 0 0
36.78/36.83 c cgmip : 0.00 0 0 0 0 0
36.78/36.83 c gomory : 3.88 18 0 0 2433 0
36.78/36.83 c strongcg : 3.24 18 0 0 5239 0
36.78/36.83 c cmir : 0.13 10 0 0 1 0
36.78/36.83 c flowcover : 0.13 10 0 0 1 0
36.78/36.83 c clique : 0.01 18 0 0 75 0
36.78/36.83 c zerohalf : 0.00 0 0 0 0 0
36.78/36.83 c mcf : 0.00 1 0 0 0 0
36.78/36.83 c rapidlearning : 0.54 1 0 6 0 546
36.78/36.83 c Pricers : Time Calls Vars
36.78/36.83 c problem variables: 0.00 0 0
36.78/36.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
36.78/36.83 c relpscost : 23.88 235 6 234 0 0 300
36.78/36.83 c pscost : 0.00 0 0 0 0 0 0
36.78/36.83 c inference : 0.00 0 0 0 0 0 0
36.78/36.83 c mostinf : 0.00 0 0 0 0 0 0
36.78/36.83 c leastinf : 0.00 0 0 0 0 0 0
36.78/36.83 c fullstrong : 0.00 0 0 0 0 0 0
36.78/36.83 c allfullstrong : 0.00 0 0 0 0 0 0
36.78/36.83 c random : 0.00 0 0 0 0 0 0
36.78/36.83 c Primal Heuristics : Time Calls Found
36.78/36.83 c LP solutions : 0.00 - 0
36.78/36.83 c pseudo solutions : 0.00 - 0
36.78/36.83 c oneopt : 0.00 0 0
36.78/36.83 c crossover : 0.00 0 0
36.78/36.83 c linesearchdiving : 0.00 0 0
36.78/36.83 c guideddiving : 0.00 0 0
36.78/36.83 c coefdiving : 0.02 1 0
36.78/36.83 c pscostdiving : 0.00 1 0
36.78/36.83 c fracdiving : 0.00 1 0
36.78/36.83 c veclendiving : 0.00 1 0
36.78/36.83 c objpscostdiving : 0.03 1 0
36.78/36.83 c rootsoldiving : 0.04 1 0
36.78/36.83 c trivial : 0.01 2 0
36.78/36.83 c simplerounding : 0.00 72 0
36.78/36.83 c zirounding : 0.02 156 0
36.78/36.83 c rounding : 0.05 183 0
36.78/36.83 c shifting : 0.10 36 0
36.78/36.83 c intshifting : 0.00 0 0
36.78/36.83 c twoopt : 0.00 0 0
36.78/36.83 c fixandinfer : 0.00 0 0
36.78/36.83 c feaspump : 0.18 1 0
36.78/36.83 c intdiving : 0.00 0 0
36.78/36.83 c actconsdiving : 0.00 0 0
36.78/36.83 c octane : 0.00 0 0
36.78/36.83 c rens : 0.01 0 0
36.78/36.83 c rins : 0.00 0 0
36.78/36.83 c localbranching : 0.00 0 0
36.78/36.83 c mutation : 0.00 0 0
36.78/36.83 c dins : 0.00 0 0
36.78/36.83 c undercover : 0.00 0 0
36.78/36.83 c nlp : 0.00 0 0
36.78/36.83 c trysol : 0.00 0 0
36.78/36.83 c LP : Time Calls Iterations Iter/call Iter/sec
36.78/36.83 c primal LP : 0.00 0 0 0.00 -
36.78/36.83 c dual LP : 3.28 252 11807 46.85 3596.50
36.78/36.83 c lex dual LP : 0.00 0 0 0.00 -
36.78/36.83 c barrier LP : 0.00 0 0 0.00 -
36.78/36.83 c diving/probing LP: 0.24 37 1002 27.08 4123.61
36.78/36.83 c strong branching : 23.84 1569 84692 53.98 3551.88
36.78/36.83 c (at root node) : - 12 6333 527.75 -
36.78/36.83 c conflict analysis: 0.00 0 0 0.00 -
36.78/36.83 c B&B Tree :
36.78/36.83 c number of runs : 1
36.78/36.83 c nodes : 231
36.78/36.83 c nodes (total) : 231
36.78/36.83 c nodes left : 0
36.78/36.83 c max depth : 19
36.78/36.83 c max depth (total): 19
36.78/36.83 c backtracks : 58 (25.1%)
36.78/36.83 c delayed cutoffs : 70
36.78/36.83 c repropagations : 189 (1855 domain reductions, 40 cutoffs)
36.78/36.83 c avg switch length: 4.42
36.78/36.83 c switching time : 0.14
36.78/36.83 c Solution :
36.78/36.83 c Solutions found : 0 (0 improvements)
36.78/36.83 c Primal Bound : infeasible
36.78/36.83 c Dual Bound : -
36.78/36.83 c Gap : 0.00 %
36.78/36.83 c Root Dual Bound : +9.48954690143753e+02
36.78/36.83 c Root Iterations : 4126
36.78/36.86 c Time complete: 36.84.
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-2704347-1278553738/watcher-2704347-1278553738 -o /tmp/evaluation-result-2704347-1278553738/solver-2704347-1278553738 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704347-1278553738.opb -t 1800 -m 1800 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: 1.15 1.03 0.96 3/106 31511 /proc/meminfo: memFree=1706216/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=7904 CPUtime=0 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 23580182 8093696 972 1992294400 4194304 8395647 140736510971392 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31511/statm: 1976 980 365 1026 0 946 0 [startup+0.05136 s] /proc/loadavg: 1.15 1.03 0.96 3/106 31511 /proc/meminfo: memFree=1706216/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=13656 CPUtime=0.05 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 2722 0 0 0 4 1 0 0 20 0 1 0 23580182 13983744 2632 1992294400 4194304 8395647 140736510971392 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31511/statm: 3414 2632 393 1026 0 2384 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13656 [startup+0.101364 s] /proc/loadavg: 1.15 1.03 0.96 3/106 31511 /proc/meminfo: memFree=1706216/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=19928 CPUtime=0.09 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 4534 0 0 0 8 1 0 0 20 0 1 0 23580182 20406272 4090 1992294400 4194304 8395647 140736510971392 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 4982 4103 412 1026 0 3952 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19928 [startup+0.300382 s] /proc/loadavg: 1.15 1.03 0.96 3/106 31511 /proc/meminfo: memFree=1706216/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=26172 CPUtime=0.29 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 5958 0 0 0 27 2 0 0 20 0 1 0 23580182 26800128 5514 1992294400 4194304 8395647 140736510971392 18446744073709551615 5018943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 6543 5514 478 1026 0 5513 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26172 [startup+0.700416 s] /proc/loadavg: 1.15 1.03 0.96 3/106 31511 /proc/meminfo: memFree=1706216/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=28844 CPUtime=0.69 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 6731 0 0 0 67 2 0 0 20 0 1 0 23580182 29536256 6268 1992294400 4194304 8395647 140736510971392 18446744073709551615 6701779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 7211 6268 575 1026 0 6181 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28844 [startup+1.50049 s] /proc/loadavg: 1.15 1.03 0.96 2/107 31512 /proc/meminfo: memFree=1674588/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=42112 CPUtime=1.49 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 9818 0 0 0 139 10 0 0 22 0 1 0 23580182 43122688 9350 1992294400 4194304 8395647 140736510971392 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 10528 9350 618 1026 0 9498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42112 [startup+3.10162 s] /proc/loadavg: 1.14 1.03 0.96 2/107 31512 /proc/meminfo: memFree=1670000/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=42508 CPUtime=3.09 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 10003 0 0 0 297 12 0 0 25 0 1 0 23580182 43528192 9514 1992294400 4194304 8395647 140736510971392 18446744073709551615 6197311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 10627 9514 630 1026 0 9597 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42508 [startup+6.3019 s] /proc/loadavg: 1.14 1.03 0.96 2/107 31512 /proc/meminfo: memFree=1666652/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=47992 CPUtime=6.3 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 11425 0 0 0 615 15 0 0 25 0 1 0 23580182 49143808 10936 1992294400 4194304 8395647 140736510971392 18446744073709551615 6124432 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 11998 10936 630 1026 0 10968 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 47992 [startup+12.7015 s] /proc/loadavg: 1.12 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661072/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=12.69 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12904 0 0 0 1248 21 0 0 25 0 1 0 23580182 51453952 11648 1992294400 4194304 8395647 140736510971392 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11648 632 1026 0 11532 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50248 [startup+25.5006 s] /proc/loadavg: 1.10 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661072/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=25.49 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 2511 38 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 6698975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50248 Solver just ended. Dumping a history of the last processes samples [startup+31.9091 s] /proc/loadavg: 1.08 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661072/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=31.89 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 3143 46 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 50248 [startup+35.1004 s] /proc/loadavg: 1.08 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661196/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=35.09 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 3458 51 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 35.09 Current children cumulated vsize (KiB) 50248 [startup+35.9005 s] /proc/loadavg: 1.08 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661196/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=35.88 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 3536 52 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 6583416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 35.88 Current children cumulated vsize (KiB) 50248 [startup+36.3085 s] /proc/loadavg: 1.08 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661196/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=36.29 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 3576 53 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 6746669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 36.29 Current children cumulated vsize (KiB) 50248 [startup+36.7015 s] /proc/loadavg: 1.08 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661196/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=36.68 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 3615 53 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 6723962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 36.68 Current children cumulated vsize (KiB) 50248 [startup+36.8015 s] /proc/loadavg: 1.08 1.03 0.96 2/107 31514 /proc/meminfo: memFree=1661196/2059040 swapFree=4141912/4192956 [pid=31511] ppid=31509 vsize=50248 CPUtime=36.78 /proc/31511/stat : 31511 (pbscip.linux.x8) R 31509 31511 30446 0 -1 4202496 12905 0 0 0 3625 53 0 0 25 0 1 0 23580182 51453952 11649 1992294400 4194304 8395647 140736510971392 18446744073709551615 6345772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31511/statm: 12562 11649 633 1026 0 11532 0 Current children cumulated CPU time (s) 36.78 Current children cumulated vsize (KiB) 50248 Child status: 0 Real time (s): 36.8601 CPU time (s): 36.8524 CPU user time (s): 36.3115 CPU system time (s): 0.540917 CPU usage (%): 99.9792 Max. virtual memory (cumulated for all children) (KiB): 50248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.3115 system time used= 0.540917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12910 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= 2 involuntary context switches= 48 runsolver used 0.066989 second user time and 0.179972 second system time The end
Begin job on node057 at 2010-07-08 03:48:58 IDJOB=2704347 IDBENCH=2073 IDSOLVER=1213 FILE ID=node057/2704347-1278553738 PBS_JOBID= 11239485 Free space on /tmp= 62508 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf0432-007.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2704347-1278553738/watcher-2704347-1278553738 -o /tmp/evaluation-result-2704347-1278553738/solver-2704347-1278553738 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704347-1278553738.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 093787cffe9173c370b11fb5e77a5812 RANDOM SEED=1884887211 node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.245 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.245 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1706744 kB Buffers: 51576 kB Cached: 201244 kB SwapCached: 6028 kB Active: 166512 kB Inactive: 101368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1706744 kB SwapTotal: 4192956 kB SwapFree: 4141912 kB Dirty: 10792 kB Writeback: 0 kB AnonPages: 11976 kB Mapped: 12068 kB Slab: 62528 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183628 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node057 at 2010-07-08 03:49:35