Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | -27 | 1800.05 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_5.opb |
| MD5SUM | ae2bd1e13f1871c16ad2ebb51fc6f92a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -29 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| 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 | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2504 |
| Sum of products size (including duplicates) | 5008 |
| Number of different products | 1252 |
| Sum of products size | 2504 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452401-1307111652.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.03/0.04 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10216 impls, 200 clqs
0.03/0.08 c (0.1s) probing: 101/1452 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.03/0.08 c presolving (2 rounds):
0.03/0.08 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.08 c 10216 implications, 200 cliques
0.03/0.08 c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1553 constraints
0.03/0.08 c 300 constraints of type <setppc>
0.03/0.08 c 1252 constraints of type <and>
0.03/0.08 c 1 constraints of type <linear>
0.03/0.08 c transformed objective value is always integral (scale: 1)
0.03/0.08 c Presolving Time: 0.08
0.03/0.08 c - non default parameters ----------------------------------------------------------------------
0.03/0.08 c # SCIP version 2.0.1.4
0.03/0.08 c
0.03/0.08 c # frequency for displaying node information lines
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.08 c display/freq = 10000
0.03/0.08 c
0.03/0.08 c # maximal time in seconds to run
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/time = 1800
0.03/0.08 c
0.03/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/memory = 13950
0.03/0.08 c
0.03/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.08 c # [type: int, range: [1,2], default: 1]
0.03/0.08 c timing/clocktype = 2
0.03/0.08 c
0.03/0.08 c # belongs reading time to solving time?
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c timing/reading = TRUE
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify inequalities
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/linear/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/indicator/addCouplingCons = TRUE
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify knapsacks
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c separating/rapidlearning/freq = 0
0.03/0.08 c
0.03/0.08 c -----------------------------------------------------------------------------------------------
0.03/0.08 c start solving
0.03/0.08 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c t 0.3s| 1 | 0 | 1293 | - |6386k| 0 | 755 |1452 |1553 |1452 |2805 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.29/0.31 o -5
0.29/0.31 c s 0.3s| 1 | 0 | 1293 | - |6432k| 0 | 755 |1452 |1553 |1452 |2805 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
0.39/0.40 o -6
0.39/0.40 c U 0.4s| 1 | 0 | 1293 | - |6514k| 0 | 755 |1452 |1553 |1452 |2805 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
1.29/1.34 c 1.3s| 1 | 0 | 1526 | - |7721k| 0 | 776 |1452 |1554 |1452 |2838 | 33 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
2.10/2.17 c 2.2s| 1 | 0 | 1661 | - |9910k| 0 | 784 |1452 |1554 |1452 |2845 | 40 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
3.08/3.11 c 3.1s| 1 | 0 | 1927 | - | 12M| 0 | 799 |1452 |1554 |1452 |2851 | 46 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
3.08/3.11 o -6
3.08/3.11 c s 3.1s| 1 | 0 | 1927 | - | 12M| 0 | 799 |1452 |1554 |1452 |2851 | 46 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
3.99/4.03 c 4.0s| 1 | 0 | 2008 | - | 13M| 0 | 808 |1452 |1554 |1452 |2862 | 57 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
4.99/5.01 c 5.0s| 1 | 0 | 2226 | - | 14M| 0 | 805 |1452 |1554 |1452 |2866 | 61 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
5.99/6.06 c 6.1s| 1 | 0 | 2547 | - | 17M| 0 | 807 |1452 |1554 |1452 |2872 | 67 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
5.99/6.06 o -10
5.99/6.06 c s 6.1s| 1 | 0 | 2547 | - | 17M| 0 | 807 |1452 |1554 |1452 |2872 | 67 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
9.08/9.17 c 9.2s| 1 | 2 | 2547 | - | 17M| 0 | 807 |1452 |1554 |1452 |2872 | 67 | 0 | 12 |-5.000000e+01 |-1.000000e+01 | 80.00%
36.98/37.07 o -24
36.98/37.07 c p37.1s| 26 | 27 | 67115 |2582.7 | 17M| 13 | - |1452 |1558 |1452 |1503 |1714 | 4 | 205 |-4.950000e+01 |-2.400000e+01 | 51.52%
56.89/56.94 o -25
56.89/56.94 c l56.9s| 46 | 47 |188309 |4128.0 | 17M| 13 | - |1452 |1569 |1452 |1435 |2496 | 15 | 237 |-4.950000e+01 |-2.500000e+01 | 49.49%
263.78/263.84 o -26
263.78/263.84 c l 264s| 636 | 536 | 1545k|2430.3 | 18M| 52 | - |1452 |1670 |1452 |1517 | 12k| 118 | 509 |-4.613809e+01 |-2.600000e+01 | 43.65%
429.89/429.92 o -27
429.89/429.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.89/429.92 c * 430s| 3780 | 1055 | 2607k| 689.4 | 20M| 58 | - |1452 |1731 |1452 |1548 | 21k| 186 | 692 |-4.469620e+01 |-2.700000e+01 | 39.59%
682.60/682.62 c 683s| 10000 | 2896 | 4216k| 421.4 | 27M| 61 | - |1452 |1739 |1452 |1560 | 36k| 225 |1045 |-4.383857e+01 |-2.700000e+01 | 38.41%
1370.10/1370.17 c 1370s| 20000 | 6831 | 8658k| 432.8 | 40M| 62 | 248 |1452 |1706 |1452 |1708 | 77k| 294 |1661 |-4.282685e+01 |-2.700000e+01 | 36.96%
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 26782
1800.01/1800.01 c Primal Bound : -2.70000000000000e+01 (15 solutions)
1800.01/1800.01 c Dual Bound : -4.25856231501791e+01
1800.01/1800.01 c Gap : 36.60 %
1800.01/1800.01 s SATISFIABLE
1800.01/1800.01 v -x148 -x139 -x160 -x157 x183 -x131 x156 -x196 -x165 -x122 x198 -x197 -x170 -x113 -x163 -x158 -x130 -x126 -x125 -x119 -x159 -x192
1800.01/1800.01 v -x195 -x144 -x142 -x120 -x164 x175 -x107 x181 -x118 -x188 -x145 x191 -x151 -x169 -x134 -x117 -x143 -x190 x186 -x116 -x124 x136
1800.01/1800.01 v -x104 -x193 -x179 x140 x108 x138 x154 -x172 -x162 x200 -x109 x103 -x194 x178 x146 -x141 -x137 x185 x128 x147 -x168 x153 x184
1800.01/1800.01 v x180 -x102 x171 -x135 -x114 -x110 -x105 -x106 -x115 -x187 -x129 -x199 -x161 -x127 -x101 x189 -x167 -x155 -x152 -x149 -x132
1800.01/1800.01 v -x123 -x112 x182 -x174 x150 -x121 -x133 -x177 x173 -x111 -x166 -x176 -x100 -x99 -x98 -x97 x96 -x95 -x94 x93 -x92 -x91 x90 -x89
1800.01/1800.01 v x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 -x75 x74 -x73 x72 -x71 -x70 x69 -x68 -x67 x66 x65 -x64 x63 -x62
1800.01/1800.01 v -x61 -x60 -x59 x58 x57 -x56 x55 -x54 -x53 x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
1800.01/1800.01 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10
1800.01/1800.01 v x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Total Time : 1800.01
1800.01/1800.01 c solving : 1800.01
1800.01/1800.01 c presolving : 0.08 (included in solving)
1800.01/1800.01 c reading : 0.01 (included in solving)
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-3452401-1307111652.opb
1800.01/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 301 initial, 301 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-3452401-1307111652.opb
1800.01/1800.01 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 1553 initial, 1751 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c and : 0.05 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 0 - - 0 - - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 18431 0 50 0 1 34 0 0 36832
1800.01/1800.01 c setppc : 300 6 312989 1 2 45 284 118 40917 0 0 0
1800.01/1800.01 c and : 1252 34252 312870 1 2 44 544 215 581494 106486 0 0
1800.01/1800.01 c linear : 1 6 312653 1 0 13 2 0 0 0 0 0
1800.01/1800.01 c logicor : 0+ 6 24471 0 0 0 4 1 11797 0 0 0
1800.01/1800.01 c countsols : 0 0 0 1 2 17 0 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.01 c integral : 80.50 0.00 0.00 80.50 0.00 0.00 0.00
1800.01/1800.01 c setppc : 0.84 0.00 0.83 0.00 0.00 0.00 0.00
1800.01/1800.01 c and : 6.41 3.07 3.34 0.00 0.00 0.00 0.00
1800.01/1800.01 c linear : 0.17 0.01 0.16 0.00 0.00 0.00 0.00
1800.01/1800.01 c logicor : 0.10 0.00 0.10 0.00 0.00 0.00 0.00
1800.01/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.01 c vbounds : 0 0 0 0
1800.01/1800.01 c rootredcost : 5 0 0 0
1800.01/1800.01 c pseudoobj : 313357 18 0 0
1800.01/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.01 c vbounds : 0.06 0.06 0.00
1800.01/1800.01 c rootredcost : 0.06 0.06 0.00
1800.01/1800.01 c pseudoobj : 0.98 0.98 0.00
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 0.00 334 333 349 7.9 1 2.0 -
1800.01/1800.01 c infeasible LP : 0.00 16 16 35 53.1 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c applied globally : - - - 361 6.4 - - -
1800.01/1800.01 c applied locally : - - - 1 161.0 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.01 5 - - 10 - (maximal pool size: 1171)
1800.01/1800.01 c redcost : 1.18 36883 0 110101 0 0
1800.01/1800.01 c impliedbounds : 0.00 6 0 0 68 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 2.56 6 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 2.29 6 0 0 2017 0
1800.01/1800.01 c cmir : 0.10 6 0 0 10 0
1800.01/1800.01 c flowcover : 0.07 6 0 0 0 0
1800.01/1800.01 c clique : 0.13 6 0 0 37 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 1 0 0 0 0
1800.01/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.12 1 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 80.48 18430 1 34 0 0 36832
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 0.00 2 0 0 0 0 4
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 1
1800.01/1800.01 c pseudo solutions : 0.00 - 0
1800.01/1800.01 c oneopt : 0.01 7 0
1800.01/1800.01 c crossover : 0.28 11 3
1800.01/1800.01 c fracdiving : 72.11 115 0
1800.01/1800.01 c veclendiving : 57.60 123 0
1800.01/1800.01 c guideddiving : 71.59 123 0
1800.01/1800.01 c linesearchdiving : 119.85 347 2
1800.01/1800.01 c trivial : 0.00 2 1
1800.01/1800.01 c shiftandpropagate: 0.00 0 0
1800.01/1800.01 c simplerounding : 0.01 0 0
1800.01/1800.01 c zirounding : 1.49 0 0
1800.01/1800.01 c rounding : 1.38 2456 0
1800.01/1800.01 c shifting : 3.63 3163 6
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c feaspump : 0.00 0 0
1800.01/1800.01 c clique : 0.00 0 0
1800.01/1800.01 c coefdiving : 74.52 140 0
1800.01/1800.01 c pscostdiving : 102.99 171 1
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c objpscostdiving : 15.46 29 0
1800.01/1800.01 c rootsoldiving : 12.46 23 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.01 0 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c vbounds : 0.00 0 0
1800.01/1800.01 c undercover : 0.09 1 1
1800.01/1800.01 c subnlp : 0.00 0 0
1800.01/1800.01 c trysol : 0.01 0 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 10.05 0 0 0.00 0.00
1800.01/1800.01 c dual LP : 1148.90 40275 8100322 201.13 7050.47
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 479.56 163996 3354199 20.45 6994.27
1800.01/1800.01 c strong branching : 79.99 1867 497861 266.66 6223.83
1800.01/1800.01 c (at root node) : - 12 12000 1000.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 26782
1800.01/1800.01 c nodes (total) : 26782
1800.01/1800.01 c nodes left : 9831
1800.01/1800.01 c max depth : 68
1800.01/1800.01 c max depth (total): 68
1800.01/1800.01 c backtracks : 5666 (21.2%)
1800.01/1800.01 c delayed cutoffs : 19
1800.01/1800.01 c repropagations : 3902 (1041 domain reductions, 0 cutoffs)
1800.01/1800.01 c avg switch length: 6.82
1800.01/1800.01 c switching time : 12.97
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 15 (9 improvements)
1800.01/1800.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.01 c Primal Bound : -2.70000000000000e+01 (in run 1, after 3780 nodes, 429.92 seconds, depth 46, found by <relaxation>)
1800.01/1800.01 c Dual Bound : -4.25856231501791e+01
1800.01/1800.01 c Gap : 36.60 %
1800.01/1800.01 c Root Dual Bound : -4.99999999999999e+01
1800.01/1800.01 c Root Iterations : 2547
OK -27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452401-1307111652/watcher-3452401-1307111652 -o /tmp/evaluation-result-3452401-1307111652/solver-3452401-1307111652 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452401-1307111652.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.07 2.01 3/530 30235 /proc/meminfo: memFree=14982380/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=17876 CPUtime=0.01 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 3201 0 0 0 1 0 0 0 23 0 1 0 822763827 18305024 3153 33554432000 4194304 9128323 140735735210112 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 4469 3153 475 1205 0 3260 0 [startup+0.0358579 s] /proc/loadavg: 2.17 2.07 2.01 3/530 30235 /proc/meminfo: memFree=14982380/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=18956 CPUtime=0.03 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 3746 0 0 0 3 0 0 0 23 0 1 0 822763827 19410944 3441 33554432000 4194304 9128323 140735735210112 18446744073709551615 6522707 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 4739 3441 498 1205 0 3530 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 18956 [startup+0.100852 s] /proc/loadavg: 2.17 2.07 2.01 3/530 30235 /proc/meminfo: memFree=14982380/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=27416 CPUtime=0.09 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 6117 0 0 0 9 0 0 0 23 0 1 0 822763827 28073984 5745 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 6854 5745 635 1205 0 5645 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27416 [startup+0.300834 s] /proc/loadavg: 2.17 2.07 2.01 3/530 30235 /proc/meminfo: memFree=14982380/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=29172 CPUtime=0.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 6541 0 0 0 29 0 0 0 24 0 1 0 822763827 29872128 6166 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 7293 6166 640 1205 0 6084 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29172 [startup+0.700763 s] /proc/loadavg: 2.17 2.07 2.01 3/530 30235 /proc/meminfo: memFree=14982380/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=0.69 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 14889 0 0 0 67 2 0 0 25 0 1 0 822763827 53727232 11944 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 13117 11944 711 1205 0 11908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 52468 [startup+1.50063 s] /proc/loadavg: 2.17 2.07 2.01 3/531 30236 /proc/meminfo: memFree=14936120/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=1.49 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 14923 0 0 0 147 2 0 0 25 0 1 0 822763827 53727232 11978 33554432000 4194304 9128323 140735735210112 18446744073709551615 6694332 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 13117 11978 737 1205 0 11908 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 52468 [startup+3.1003 s] /proc/loadavg: 2.17 2.07 2.01 3/531 30236 /proc/meminfo: memFree=14934880/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=3.08 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 14923 0 0 0 306 2 0 0 25 0 1 0 822763827 53727232 11978 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 13117 11978 737 1205 0 11908 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 52468 [startup+6.30076 s] /proc/loadavg: 2.24 2.09 2.02 3/531 30236 /proc/meminfo: memFree=14930380/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=6.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 15185 0 0 0 626 3 0 0 25 0 1 0 822763827 53727232 12240 33554432000 4194304 9128323 140735735210112 18446744073709551615 7326042 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/30235/statm: 13117 12240 742 1205 0 11908 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52468 [startup+12.7007 s] /proc/loadavg: 2.30 2.10 2.02 3/531 30236 /proc/meminfo: memFree=14920400/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=12.68 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 15186 0 0 0 1261 7 0 0 25 0 1 0 822763827 53727232 12241 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13117 12241 743 1205 0 11908 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52468 [startup+25.5005 s] /proc/loadavg: 2.23 2.10 2.02 3/531 30236 /proc/meminfo: memFree=14920544/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=25.48 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 15186 0 0 0 2532 16 0 0 25 0 1 0 822763827 53727232 12241 33554432000 4194304 9128323 140735735210112 18446744073709551615 7358911 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13117 12241 743 1205 0 11908 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52468 [startup+51.1011 s] /proc/loadavg: 2.15 2.09 2.02 3/531 30236 /proc/meminfo: memFree=14923476/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=51.09 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 15188 0 0 0 5074 35 0 0 25 0 1 0 822763827 53727232 12243 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13117 12243 744 1205 0 11908 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 52468 [startup+102.32 s] /proc/loadavg: 2.06 2.07 2.01 3/531 30238 /proc/meminfo: memFree=14912664/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=102.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 15189 0 0 0 10153 77 0 0 25 0 1 0 822763827 53727232 12244 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13117 12244 745 1205 0 11908 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 52468 [startup+162.301 s] /proc/loadavg: 2.11 2.08 2.02 3/531 30240 /proc/meminfo: memFree=14893164/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=162.28 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 15189 0 0 0 16104 124 0 0 25 0 1 0 822763827 53727232 12244 33554432000 4194304 9128323 140735735210112 18446744073709551615 7357921 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13117 12244 745 1205 0 11908 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 52468 [startup+222.301 s] /proc/loadavg: 2.12 2.10 2.02 3/531 30242 /proc/meminfo: memFree=14892160/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52468 CPUtime=222.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 18059 0 0 0 22059 170 0 0 25 0 1 0 822763827 53727232 12246 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13117 12246 747 1205 0 11908 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 52468 [startup+282.3 s] /proc/loadavg: 2.04 2.08 2.02 3/531 30242 /proc/meminfo: memFree=14909136/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=52816 CPUtime=282.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 21335 0 0 0 28013 216 0 0 25 0 1 0 822763827 54083584 12302 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13204 12302 747 1205 0 11995 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 52816 [startup+342.301 s] /proc/loadavg: 2.01 2.06 2.01 3/531 30244 /proc/meminfo: memFree=14897956/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=53504 CPUtime=342.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 24841 0 0 0 33967 262 0 0 25 0 1 0 822763827 54788096 12470 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13376 12470 747 1205 0 12167 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 53504 [startup+402.301 s] /proc/loadavg: 2.00 2.05 2.01 3/531 30246 /proc/meminfo: memFree=14885916/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=54224 CPUtime=402.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 28421 0 0 0 39923 306 0 0 25 0 1 0 822763827 55525376 12665 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 13556 12665 747 1205 0 12347 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 54224 [startup+462.3 s] /proc/loadavg: 2.00 2.04 2.00 3/531 30248 /proc/meminfo: memFree=14872148/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=69752 CPUtime=462.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 38673 0 0 0 45878 351 0 0 25 0 1 0 822763827 71426048 16080 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 17438 16080 750 1205 0 16229 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 69752 [startup+522.301 s] /proc/loadavg: 2.15 2.06 2.01 3/531 30250 /proc/meminfo: memFree=14737836/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=70788 CPUtime=522.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 39243 0 0 0 51831 398 0 0 25 0 1 0 822763827 72486912 16650 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 17697 16650 750 1205 0 16488 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 70788 [startup+582.301 s] /proc/loadavg: 2.12 2.06 2.01 3/531 30250 /proc/meminfo: memFree=14737816/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=69140 CPUtime=582.29 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 39957 0 0 0 57786 443 0 0 25 0 1 0 822763827 70799360 16425 33554432000 4194304 9128323 140735735210112 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 17285 16425 750 1205 0 16076 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 69140 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.08 2.06 2.00 3/531 30258 /proc/meminfo: memFree=14729072/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=822.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41837 0 0 0 81603 627 0 0 25 0 1 0 822763827 79659008 18305 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18305 750 1205 0 18239 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 77792 [startup+882.301 s] /proc/loadavg: 2.03 2.05 2.00 3/531 30258 /proc/meminfo: memFree=14729060/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=882.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41838 0 0 0 87559 671 0 0 25 0 1 0 822763827 79659008 18306 33554432000 4194304 9128323 140735735210112 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18306 750 1205 0 18239 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 77792 [startup+942.301 s] /proc/loadavg: 2.01 2.03 2.00 3/531 30260 /proc/meminfo: memFree=14731528/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=942.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41838 0 0 0 93511 719 0 0 25 0 1 0 822763827 79659008 18306 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18306 750 1205 0 18239 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 77792 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.00 3/531 30262 /proc/meminfo: memFree=14731396/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=1002.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41841 0 0 0 99465 765 0 0 25 0 1 0 822763827 79659008 18309 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18309 750 1205 0 18239 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 77792 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 30264 /proc/meminfo: memFree=14731752/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=1062.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41841 0 0 0 105418 812 0 0 25 0 1 0 822763827 79659008 18309 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18309 750 1205 0 18239 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 77792 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/531 30266 /proc/meminfo: memFree=14731004/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=1122.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41842 0 0 0 111372 858 0 0 25 0 1 0 822763827 79659008 18310 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18310 750 1205 0 18239 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 77792 [startup+1182.3 s] /proc/loadavg: 2.07 2.04 2.01 3/531 30266 /proc/meminfo: memFree=14730732/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77792 CPUtime=1182.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 41845 0 0 0 117326 904 0 0 25 0 1 0 822763827 79659008 18313 33554432000 4194304 9128323 140735735210112 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19448 18313 750 1205 0 18239 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 77792 [startup+1242.3 s] /proc/loadavg: 2.06 2.04 2.01 3/531 30268 /proc/meminfo: memFree=14730236/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=76596 CPUtime=1242.3 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 44282 0 0 0 123279 951 0 0 25 0 1 0 822763827 78434304 18302 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19149 18302 750 1205 0 17940 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 76596 [startup+1302.3 s] /proc/loadavg: 2.18 2.06 2.01 3/531 30271 /proc/meminfo: memFree=14729484/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=77204 CPUtime=1302.32 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 44410 0 0 0 129236 996 0 0 25 0 1 0 822763827 79056896 18430 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 19301 18430 750 1205 0 18092 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 77204 [startup+1362.3 s] /proc/loadavg: 2.14 2.07 2.01 3/531 30274 /proc/meminfo: memFree=14727744/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=80456 CPUtime=1362.31 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 45165 0 0 0 135190 1041 0 0 25 0 1 0 822763827 82386944 19185 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 20114 19185 750 1205 0 18905 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 80456 [startup+1422.32 s] /proc/loadavg: 2.05 2.05 2.00 3/531 30277 /proc/meminfo: memFree=14723876/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=83684 CPUtime=1422.33 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 45994 0 0 0 141148 1085 0 0 25 0 1 0 822763827 85692416 20014 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 20921 20014 750 1205 0 19712 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 83684 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/531 30277 /proc/meminfo: memFree=14722620/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=84828 CPUtime=1482.31 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 46320 0 0 0 147100 1131 0 0 25 0 1 0 822763827 86863872 20340 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 21207 20340 750 1205 0 19998 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 84828 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/531 30280 /proc/meminfo: memFree=14720128/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=87864 CPUtime=1542.31 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 47064 0 0 0 153052 1179 0 0 25 0 1 0 822763827 89972736 21079 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 21966 21079 750 1205 0 20757 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 87864 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 30282 /proc/meminfo: memFree=14718128/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=89764 CPUtime=1602.31 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 47534 0 0 0 159006 1225 0 0 25 0 1 0 822763827 91918336 21549 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 22441 21549 750 1205 0 21232 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 89764 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/531 30293 /proc/meminfo: memFree=14716104/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=91260 CPUtime=1662.31 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 47901 0 0 0 164961 1270 0 0 25 0 1 0 822763827 93450240 21915 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 22815 21915 750 1205 0 21606 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 91260 [startup+1722.3 s] /proc/loadavg: 2.10 2.04 2.01 3/531 30295 /proc/meminfo: memFree=14715100/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=91928 CPUtime=1722.32 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 48057 0 0 0 170917 1315 0 0 25 0 1 0 822763827 94134272 22071 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 22982 22071 750 1205 0 21773 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 91928 [startup+1785.36 s] /proc/loadavg: 2.08 2.05 2.01 3/531 30323 /proc/meminfo: memFree=15075796/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=93408 CPUtime=1785.38 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 48453 0 0 0 177174 1364 0 0 25 0 1 0 822763827 95649792 22467 33554432000 4194304 9128323 140735735210112 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/30235/statm: 23352 22467 750 1205 0 22143 0 Current children cumulated CPU time (s) 1785.38 Current children cumulated vsize (KiB) 93408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.24 2.09 2.02 3/531 30416 /proc/meminfo: memFree=15001952/32951132 swapFree=46579808/67111528 [pid=30235] ppid=30233 vsize=93720 CPUtime=1800.03 cores=0,2,4,6 /proc/30235/stat : 30235 (scip-2.0.1.4.li) R 30233 30235 28716 0 -1 4202496 48557 0 0 0 178628 1375 0 0 25 0 1 0 822763827 95969280 22571 33554432000 4194304 9128323 140735735210112 18446744073709551615 6885312 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30235/statm: 23430 22571 752 1205 0 22221 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 93720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.05 CPU user time (s): 1786.29 CPU system time (s): 13.7599 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 93720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.29 system time used= 13.7599 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48557 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= 3 involuntary context switches= 2875 runsolver used 10.8643 second user time and 22.9375 second system time The end
Begin job on node128 at 2011-06-03 16:34:12 IDJOB=3452401 IDBENCH=48265 IDSOLVER=1949 FILE ID=node128/3452401-1307111652 RUNJOBID= node128-1307108023-29939 PBS_JOBID= 13497962 Free space on /tmp= 73904 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452401-1307111652/watcher-3452401-1307111652 -o /tmp/evaluation-result-3452401-1307111652/solver-3452401-1307111652 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452401-1307111652.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a RANDOM SEED=20901732 node128.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 14982536 kB Buffers: 322108 kB Cached: 3474040 kB SwapCached: 35620 kB Active: 9278400 kB Inactive: 8375252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 14982536 kB SwapTotal: 67111528 kB SwapFree: 46579808 kB Dirty: 25196 kB Writeback: 0 kB AnonPages: 13830996 kB Mapped: 20580 kB Slab: 133064 kB PageTables: 112720 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 175078216 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73892 MiB End job on node128 at 2011-06-03 17:04:14