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.03 | 1800.02 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
| MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
| 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 | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1797.57 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| 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) | 2496 |
| Sum of products size (including duplicates) | 4992 |
| Number of different products | 1248 |
| Sum of products size | 2496 |
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-3452387-1307110987.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.00 c problem read
0.00/0.00 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.00/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, 10184 impls, 200 clqs
0.00/0.08 c (0.1s) probing: 101/1448 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (2 rounds):
0.00/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.00/0.08 c 10184 implications, 200 cliques
0.00/0.08 c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1549 constraints
0.00/0.08 c 300 constraints of type <setppc>
0.00/0.08 c 1248 constraints of type <and>
0.00/0.08 c 1 constraints of type <linear>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.07
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 2.0.1.4
0.00/0.08 c
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = 10000
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1800
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 13950
0.00/0.08 c
0.00/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.08 c # [type: int, range: [1,2], default: 1]
0.00/0.08 c timing/clocktype = 2
0.00/0.08 c
0.00/0.08 c # belongs reading time to solving time?
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c timing/reading = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify inequalities
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/linear/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/indicator/addCouplingCons = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify knapsacks
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/rapidlearning/freq = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.3s| 1 | 0 | 1406 | - |6367k| 0 | 737 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.27 o -8
0.19/0.27 c s 0.3s| 1 | 0 | 1406 | - |6421k| 0 | 737 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 |-8.000000e+00 | 84.00%
2.19/2.25 o -9
2.19/2.25 c U 2.2s| 1 | 0 | 1406 | - |6530k| 0 | 737 |1448 |1551 |1448 |2797 | 0 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
2.99/3.08 c 3.1s| 1 | 0 | 1702 | - |8214k| 0 | 771 |1448 |1552 |1448 |2833 | 36 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
3.69/3.73 c 3.7s| 1 | 0 | 1838 | - | 10M| 0 | 777 |1448 |1552 |1448 |2845 | 48 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
4.39/4.51 c 4.5s| 1 | 0 | 2313 | - | 12M| 0 | 780 |1448 |1552 |1448 |2851 | 54 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
5.39/5.41 c 5.4s| 1 | 0 | 2730 | - | 14M| 0 | 772 |1448 |1552 |1448 |2867 | 70 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
6.09/6.19 c 6.2s| 1 | 0 | 2884 | - | 16M| 0 | 789 |1448 |1552 |1448 |2878 | 81 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
6.99/7.09 c 7.1s| 1 | 0 | 3059 | - | 19M| 0 | 790 |1448 |1552 |1448 |2882 | 85 | 1 | 0 |-5.000000e+01 |-9.000000e+00 | 82.00%
12.45/12.52 c 12.5s| 1 | 2 | 3059 | - | 19M| 0 | 790 |1448 |1552 |1448 |2882 | 85 | 1 | 23 |-5.000000e+01 |-9.000000e+00 | 82.00%
32.56/32.62 o -10
32.56/32.62 c c32.6s| 14 | 15 | 35347 |2483.7 | 19M| 13 | - |1448 |1552 |1448 |1489 | 867 | 1 | 198 |-5.000000e+01 |-1.000000e+01 | 80.00%
42.86/42.98 o -24
42.86/42.98 c p43.0s| 26 | 27 | 80384 |3093.0 | 18M| 13 | - |1448 |1555 |1448 |1572 |1777 | 4 | 229 |-4.984860e+01 |-2.400000e+01 | 51.85%
86.45/86.53 o -25
86.45/86.53 c l86.5s| 57 | 58 |354732 |6279.9 | 19M| 13 | - |1448 |1583 |1448 |1555 |3563 | 32 | 303 |-4.931016e+01 |-2.500000e+01 | 49.30%
90.85/90.93 o -26
90.85/90.93 c l90.9s| 63 | 64 |385213 |6163.8 | 19M| 13 | - |1448 |1586 |1448 |1469 |3738 | 35 | 303 |-4.931016e+01 |-2.600000e+01 | 47.27%
303.68/303.77 o -27
303.68/303.77 c l 304s| 461 | 462 | 1765k|3830.4 | 20M| 16 | - |1448 |1651 |1448 |1495 | 12k| 114 | 557 |-4.729090e+01 |-2.700000e+01 | 42.91%
752.67/752.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.67/752.78 c 753s| 10000 | 1796 | 4668k| 466.6 | 24M| 67 | - |1448 |1726 |1448 |1660 | 38k| 206 |1057 |-4.434553e+01 |-2.700000e+01 | 39.11%
1171.28/1171.32 c 1171s| 20000 | 3947 | 7363k| 368.0 | 33M| 67 | 123 |1448 |1700 |1448 |1610 | 65k| 267 |1394 |-4.352077e+01 |-2.700000e+01 | 37.96%
1544.39/1544.44 c 1544s| 30000 | 6637 | 9789k| 326.2 | 45M| 74 | - |1448 |1727 |1448 |1610 | 89k| 345 |1627 |-4.309225e+01 |-2.700000e+01 | 37.34%
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Solving Time (sec) : 1800.00
1800.00/1800.00 c Solving Nodes : 33594
1800.00/1800.00 c Primal Bound : -2.70000000000000e+01 (10 solutions)
1800.00/1800.00 c Dual Bound : -4.29846049389291e+01
1800.00/1800.00 c Gap : 37.19 %
1800.00/1800.00 s SATISFIABLE
1800.00/1800.00 v -x162 -x134 -x175 x180 -x186 x172 -x132 -x166 -x142 x153 -x118 x129 -x113 -x140 -x161 -x133 -x200 x152 x195 x119 -x189 x177 x109
1800.00/1800.00 v -x188 -x144 -x165 -x107 x135 -x196 -x106 -x198 x176 x146 -x139 -x182 x197 x105 x158 -x147 -x145 -x126 -x121 -x181 x192 x114
1800.00/1800.00 v -x171 x125 x199 -x138 -x104 -x151 -x149 -x115 -x108 -x185 -x120 -x174 -x143 -x157 -x103 -x190 -x155 -x154 -x148 -x170 -x159
1800.00/1800.00 v -x123 -x124 -x183 -x130 -x168 -x102 -x111 -x110 x169 -x112 -x137 -x173 -x141 -x127 -x164 -x191 -x128 x101 x179 -x167 -x160 -x156
1800.00/1800.00 v -x131 -x117 -x163 -x122 -x150 x193 -x136 x194 x116 -x178 x187 x184 x100 -x99 x98 -x97 x96 -x95 -x94 -x93 -x92 x91 x90 x89
1800.00/1800.00 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.00/1800.00 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.00/1800.00 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.00/1800.00 v -x9 -x8 -x7 -x6 -x5 x4 x3 x2 -x1
1800.00/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.00 c Total Time : 1800.00
1800.00/1800.00 c solving : 1800.00
1800.00/1800.00 c presolving : 0.07 (included in solving)
1800.00/1800.00 c reading : 0.01 (included in solving)
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-3452387-1307110987.opb
1800.00/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 301 initial, 301 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-3452387-1307110987.opb
1800.00/1800.00 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.00 c Constraints : 1549 initial, 1737 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c and : 0.04 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 20936 0 54 0 5 67 0 0 41800
1800.00/1800.00 c setppc : 300 6 349151 0 1 49 404 97 77403 0 0 0
1800.00/1800.00 c and : 1248 38905 349054 0 1 48 632 221 931671 107327 0 0
1800.00/1800.00 c linear : 1 6 348830 0 0 9 100 2 0 0 0 0
1800.00/1800.00 c logicor : 0+ 6 28329 0 0 0 4 0 9053 0 0 0
1800.00/1800.00 c countsols : 0 0 0 0 1 13 0 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.00 c integral : 77.57 0.00 0.00 77.57 0.00 0.00 0.00
1800.00/1800.00 c setppc : 0.93 0.00 0.92 0.00 0.00 0.00 0.00
1800.00/1800.00 c and : 6.96 3.13 3.83 0.00 0.00 0.00 0.00
1800.00/1800.00 c linear : 0.18 0.01 0.17 0.00 0.00 0.00 0.00
1800.00/1800.00 c logicor : 0.10 0.00 0.10 0.00 0.00 0.00 0.00
1800.00/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.00 c vbounds : 0 0 0 0
1800.00/1800.00 c rootredcost : 6 0 0 0
1800.00/1800.00 c pseudoobj : 349533 7 1 0
1800.00/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.00 c vbounds : 0.06 0.06 0.00
1800.00/1800.00 c rootredcost : 0.06 0.06 0.00
1800.00/1800.00 c pseudoobj : 1.08 1.08 0.00
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 0.00 321 319 354 13.2 2 36.5 -
1800.00/1800.00 c infeasible LP : 0.00 28 28 51 50.3 0 0.0 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 374 10.8 - - -
1800.00/1800.00 c applied locally : - - - 0 0.0 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.01 5 - - 6 - (maximal pool size: 1472)
1800.00/1800.00 c redcost : 1.36 41661 0 160063 0 0
1800.00/1800.00 c impliedbounds : 0.00 6 0 0 88 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 2.16 6 0 0 4 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 1.86 6 0 0 2900 0
1800.00/1800.00 c cmir : 0.12 6 0 0 15 0
1800.00/1800.00 c flowcover : 0.07 6 0 0 24 0
1800.00/1800.00 c clique : 0.11 6 0 0 37 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 1 0 0 0 0
1800.00/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.11 1 0 0 0 0
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 77.55 20936 5 67 0 0 41800
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.00 - 0
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c oneopt : 0.01 6 0
1800.00/1800.00 c crossover : 0.37 8 1
1800.00/1800.00 c pscostdiving : 101.26 160 1
1800.00/1800.00 c coefdiving : 106.76 189 1
1800.00/1800.00 c linesearchdiving : 133.82 343 3
1800.00/1800.00 c trivial : 0.00 2 1
1800.00/1800.00 c shiftandpropagate: 0.00 0 0
1800.00/1800.00 c simplerounding : 0.01 0 0
1800.00/1800.00 c zirounding : 1.61 0 0
1800.00/1800.00 c rounding : 1.42 2624 0
1800.00/1800.00 c shifting : 2.54 2368 2
1800.00/1800.00 c intshifting : 0.00 0 0
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c feaspump : 0.00 0 0
1800.00/1800.00 c clique : 0.00 0 0
1800.00/1800.00 c fracdiving : 70.75 123 0
1800.00/1800.00 c veclendiving : 56.29 116 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c objpscostdiving : 14.07 34 0
1800.00/1800.00 c rootsoldiving : 12.77 24 0
1800.00/1800.00 c guideddiving : 69.12 112 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.01 0 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c vbounds : 0.00 0 0
1800.00/1800.00 c undercover : 1.98 1 1
1800.00/1800.00 c subnlp : 0.00 0 0
1800.00/1800.00 c trysol : 0.01 0 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 8.65 0 0 0.00 0.00
1800.00/1800.00 c dual LP : 1111.85 48442 7854000 162.13 7063.93
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 515.17 172979 3588743 20.75 6966.20
1800.00/1800.00 c strong branching : 77.04 1758 477016 271.34 6191.83
1800.00/1800.00 c (at root node) : - 23 23000 1000.00 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 33594
1800.00/1800.00 c nodes (total) : 33594
1800.00/1800.00 c nodes left : 8207
1800.00/1800.00 c max depth : 76
1800.00/1800.00 c max depth (total): 76
1800.00/1800.00 c backtracks : 5830 (17.4%)
1800.00/1800.00 c delayed cutoffs : 2
1800.00/1800.00 c repropagations : 3222 (984 domain reductions, 0 cutoffs)
1800.00/1800.00 c avg switch length: 5.70
1800.00/1800.00 c switching time : 11.75
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 10 (8 improvements)
1800.00/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.00 c Primal Bound : -2.70000000000000e+01 (in run 1, after 461 nodes, 303.77 seconds, depth 250, found by <linesearchdiving>)
1800.00/1800.00 c Dual Bound : -4.29846049389291e+01
1800.00/1800.00 c Gap : 37.19 %
1800.00/1800.00 c Root Dual Bound : -4.99999999999999e+01
1800.00/1800.00 c Root Iterations : 3059
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-3452387-1307110987/watcher-3452387-1307110987 -o /tmp/evaluation-result-3452387-1307110987/solver-3452387-1307110987 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452387-1307110987.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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.00 2.00 1.93 2/464 7372 /proc/meminfo: memFree=29789704/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=10252 CPUtime=0 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 1564 0 0 0 0 0 0 0 25 0 1 0 822698454 10498048 1517 33554432000 4194304 9128323 140735340778688 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7372/statm: 2563 1517 401 1205 0 1354 0 [startup+0.116907 s] /proc/loadavg: 2.00 2.00 1.93 2/464 7372 /proc/meminfo: memFree=29789704/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=28568 CPUtime=0.11 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 6345 0 0 0 11 0 0 0 25 0 1 0 822698454 29253632 5977 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 7142 5977 639 1205 0 5933 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 28568 [startup+0.20089 s] /proc/loadavg: 2.00 2.00 1.93 2/464 7372 /proc/meminfo: memFree=29789704/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=28952 CPUtime=0.19 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 6448 0 0 0 19 0 0 0 25 0 1 0 822698454 29646848 6080 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 7238 6080 640 1205 0 6029 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28952 [startup+0.300877 s] /proc/loadavg: 2.00 2.00 1.93 2/464 7372 /proc/meminfo: memFree=29789704/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=42932 CPUtime=0.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 9760 0 0 0 28 1 0 0 25 0 1 0 822698454 43962368 9345 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 10733 9345 657 1205 0 9524 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42932 [startup+0.700802 s] /proc/loadavg: 2.00 2.00 1.93 2/464 7372 /proc/meminfo: memFree=29789704/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=47300 CPUtime=0.69 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 13660 0 0 0 63 6 0 0 25 0 1 0 822698454 48435200 10878 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 11825 10878 730 1205 0 10616 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47300 [startup+1.50072 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7373 /proc/meminfo: memFree=29747664/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=47892 CPUtime=1.49 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 13810 0 0 0 140 9 0 0 25 0 1 0 822698454 49041408 11028 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 11973 11028 731 1205 0 10764 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47892 [startup+3.10038 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7373 /proc/meminfo: memFree=29746568/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54104 CPUtime=3.09 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 17313 0 0 0 295 14 0 0 25 0 1 0 822698454 55402496 12395 33554432000 4194304 9128323 140735340778688 18446744073709551615 7414803 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 13526 12395 746 1205 0 12317 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54104 [startup+6.30081 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7373 /proc/meminfo: memFree=29739624/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54104 CPUtime=6.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 17313 0 0 0 613 16 0 0 25 0 1 0 822698454 55402496 12395 33554432000 4194304 9128323 140735340778688 18446744073709551615 6694338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7372/statm: 13526 12395 746 1205 0 12317 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54104 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7373 /proc/meminfo: memFree=29738120/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54488 CPUtime=12.66 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 18355 0 0 0 1237 29 0 0 25 0 1 0 822698454 55795712 12701 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 13622 12701 748 1205 0 12413 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 54488 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7373 /proc/meminfo: memFree=29738292/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54488 CPUtime=25.46 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 18355 0 0 0 2478 68 0 0 25 0 1 0 822698454 55795712 12701 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 13622 12701 748 1205 0 12413 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 54488 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7374 /proc/meminfo: memFree=29720672/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54488 CPUtime=51.06 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 18355 0 0 0 4949 157 0 0 25 0 1 0 822698454 55795712 12701 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 13622 12701 748 1205 0 12413 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54488 [startup+102.301 s] /proc/loadavg: 2.00 2.00 1.93 3/465 7375 /proc/meminfo: memFree=29749156/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54488 CPUtime=102.27 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 18357 0 0 0 9896 331 0 0 25 0 1 0 822698454 55795712 12703 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 13622 12703 749 1205 0 12413 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 54488 [startup+162.3 s] /proc/loadavg: 2.07 2.03 1.94 3/465 7377 /proc/meminfo: memFree=29729664/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=54740 CPUtime=162.26 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 18382 0 0 0 15702 524 0 0 25 0 1 0 822698454 56053760 12728 33554432000 4194304 9128323 140735340778688 18446744073709551615 7049708 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 13685 12728 749 1205 0 12476 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 54740 [startup+222.318 s] /proc/loadavg: 2.06 2.03 1.94 3/465 7379 /proc/meminfo: memFree=29704684/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=69104 CPUtime=222.28 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 21645 0 0 0 21505 723 0 0 25 0 1 0 822698454 70762496 15991 33554432000 4194304 9128323 140735340778688 18446744073709551615 7343089 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17276 15991 751 1205 0 16067 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 69104 [startup+282.3 s] /proc/loadavg: 2.02 2.02 1.94 3/465 7380 /proc/meminfo: memFree=29563648/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=69104 CPUtime=282.26 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 21645 0 0 0 27331 895 0 0 25 0 1 0 822698454 70762496 15991 33554432000 4194304 9128323 140735340778688 18446744073709551615 7162928 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17276 15991 751 1205 0 16067 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 69104 [startup+342.3 s] /proc/loadavg: 2.01 2.02 1.94 3/465 7382 /proc/meminfo: memFree=29550968/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=69104 CPUtime=342.26 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 21646 0 0 0 33132 1094 0 0 25 0 1 0 822698454 70762496 15992 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17276 15992 751 1205 0 16067 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 69104 [startup+402.301 s] /proc/loadavg: 2.00 2.01 1.94 3/465 7383 /proc/meminfo: memFree=29547100/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=70680 CPUtime=402.26 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 22419 0 0 0 38931 1295 0 0 25 0 1 0 822698454 72376320 16765 33554432000 4194304 9128323 140735340778688 18446744073709551615 7361797 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17670 16765 751 1205 0 16461 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 70680 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.94 3/465 7385 /proc/meminfo: memFree=29546188/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=70680 CPUtime=462.27 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 22419 0 0 0 44730 1497 0 0 25 0 1 0 822698454 72376320 16765 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17670 16765 751 1205 0 16461 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 70680 [startup+522.301 s] /proc/loadavg: 2.04 2.02 1.95 3/465 7387 /proc/meminfo: memFree=29546392/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=70680 CPUtime=522.27 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 22422 0 0 0 50523 1704 0 0 25 0 1 0 822698454 72376320 16768 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17670 16768 751 1205 0 16461 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 70680 [startup+582.301 s] /proc/loadavg: 2.01 2.01 1.95 3/465 7388 /proc/meminfo: memFree=29548700/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=68812 CPUtime=582.27 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 23718 0 0 0 56324 1903 0 0 25 0 1 0 822698454 70463488 16339 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17203 16339 751 1205 0 15994 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 68812 [startup+642.3 s] ################ # More data... # ################ [startup+882.317 s] /proc/loadavg: 2.01 2.02 1.96 3/465 7396 /proc/meminfo: memFree=29547600/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=68812 CPUtime=882.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 26216 0 0 0 85358 2871 0 0 25 0 1 0 822698454 70463488 16343 33554432000 4194304 9128323 140735340778688 18446744073709551615 7357729 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17203 16343 751 1205 0 15994 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 68812 [startup+942.3 s] /proc/loadavg: 2.00 2.02 1.96 3/465 7398 /proc/meminfo: memFree=29548052/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=68812 CPUtime=942.28 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 26217 0 0 0 91164 3064 0 0 25 0 1 0 822698454 70463488 16344 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17203 16344 751 1205 0 15994 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 68812 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 1.96 3/465 7399 /proc/meminfo: memFree=29548240/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=69664 CPUtime=1002.28 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 26395 0 0 0 96966 3262 0 0 25 0 1 0 822698454 71335936 16522 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17416 16522 751 1205 0 16207 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 69664 [startup+1062.3 s] /proc/loadavg: 2.12 2.04 1.97 3/465 7401 /proc/meminfo: memFree=29546464/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=71032 CPUtime=1062.28 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 30033 0 0 0 102767 3461 0 0 25 0 1 0 822698454 72736768 16870 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 17758 16870 751 1205 0 16549 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 71032 [startup+1122.3 s] /proc/loadavg: 2.10 2.04 1.98 3/465 7403 /proc/meminfo: memFree=29543928/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=72796 CPUtime=1122.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 30466 0 0 0 108570 3659 0 0 25 0 1 0 822698454 74543104 17303 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 18199 17303 751 1205 0 16990 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 72796 [startup+1182.3 s] /proc/loadavg: 2.04 2.03 1.98 3/465 7404 /proc/meminfo: memFree=29541648/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=74632 CPUtime=1182.28 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 30918 0 0 0 114376 3852 0 0 25 0 1 0 822698454 76423168 17755 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 18658 17755 751 1205 0 17449 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 74632 [startup+1242.3 s] /proc/loadavg: 2.16 2.06 1.99 3/465 7406 /proc/meminfo: memFree=29540116/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=77364 CPUtime=1242.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 31576 0 0 0 120193 4036 0 0 25 0 1 0 822698454 79220736 18413 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 19341 18413 751 1205 0 18132 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 77364 [startup+1302.3 s] /proc/loadavg: 2.12 2.06 2.00 3/465 7407 /proc/meminfo: memFree=29536976/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=79684 CPUtime=1302.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 32187 0 0 0 126006 4223 0 0 25 0 1 0 822698454 81596416 19024 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 19921 19024 751 1205 0 18712 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 79684 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.00 3/465 7409 /proc/meminfo: memFree=29534820/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=81660 CPUtime=1362.28 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 32713 0 0 0 131813 4415 0 0 25 0 1 0 822698454 83619840 19550 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 20415 19550 751 1205 0 19206 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 81660 [startup+1422.3 s] /proc/loadavg: 2.01 2.04 2.00 3/465 7411 /proc/meminfo: memFree=29532540/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=85124 CPUtime=1422.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 33528 0 0 0 137616 4613 0 0 25 0 1 0 822698454 87166976 20365 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 21281 20365 751 1205 0 20072 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 85124 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/465 7412 /proc/meminfo: memFree=29531764/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=85692 CPUtime=1482.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 33687 0 0 0 143412 4817 0 0 25 0 1 0 822698454 87748608 20524 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 21423 20524 751 1205 0 20214 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 85692 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 2.00 3/465 7414 /proc/meminfo: memFree=29517220/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1542.31 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37288 0 0 0 149219 5012 0 0 25 0 1 0 822698454 104062976 24125 33554432000 4194304 9128323 140735340778688 18446744073709551615 6857095 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24125 751 1205 0 24197 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 101624 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 7415 /proc/meminfo: memFree=29517304/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1602.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37289 0 0 0 155029 5200 0 0 25 0 1 0 822698454 104062976 24126 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24126 751 1205 0 24197 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 101624 [startup+1662.3 s] /proc/loadavg: 2.14 2.05 2.01 3/465 7472 /proc/meminfo: memFree=29960512/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1662.3 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37364 0 0 0 160866 5364 0 0 25 0 1 0 822698454 104062976 24201 33554432000 4194304 9128323 140735340778688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24201 751 1205 0 24197 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 101624 [startup+1722.3 s] /proc/loadavg: 2.05 2.04 2.00 3/465 7474 /proc/meminfo: memFree=29956084/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1722.29 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37365 0 0 0 166709 5520 0 0 25 0 1 0 822698454 104062976 24202 33554432000 4194304 9128323 140735340778688 18446744073709551615 7313408 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24202 751 1205 0 24197 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 101624 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/465 7475 /proc/meminfo: memFree=29952916/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1782.3 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37365 0 0 0 172561 5669 0 0 25 0 1 0 822698454 104062976 24202 33554432000 4194304 9128323 140735340778688 18446744073709551615 6506007 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24202 751 1205 0 24197 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 101624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 3/465 7476 /proc/meminfo: memFree=29952036/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1800.01 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37369 0 0 0 174282 5719 0 0 18 0 1 0 822698454 104062976 24206 33554432000 4194304 9128323 140735340778688 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24206 752 1205 0 24197 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 101624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 3/465 7476 /proc/meminfo: memFree=29952036/32950928 swapFree=45617076/67111528 [pid=7372] ppid=7370 vsize=101624 CPUtime=1800.01 cores=1,3,5,7 /proc/7372/stat : 7372 (scip-2.0.1.4.li) R 7370 7372 5789 0 -1 4202496 37369 0 0 0 174282 5719 0 0 18 0 1 0 822698454 104062976 24206 33554432000 4194304 9128323 140735340778688 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7372/statm: 25406 24206 752 1205 0 24197 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 101624 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.03 CPU user time (s): 1742.83 CPU system time (s): 57.2003 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 101624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.83 system time used= 57.2003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37370 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= 9 involuntary context switches= 2570 runsolver used 7.43787 second user time and 19.1201 second system time The end
Begin job on node123 at 2011-06-03 16:23:07 IDJOB=3452387 IDBENCH=48251 IDSOLVER=1949 FILE ID=node123/3452387-1307110987 RUNJOBID= node123-1307109000-7205 PBS_JOBID= 13497979 Free space on /tmp= 73816 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_1.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-3452387-1307110987/watcher-3452387-1307110987 -o /tmp/evaluation-result-3452387-1307110987/solver-3452387-1307110987 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452387-1307110987.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=1253059183 node123.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.838 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.67 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.838 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 : 5226.15 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.838 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.75 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.838 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.82 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.838 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.74 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.838 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.80 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.838 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.74 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.838 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 : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29789992 kB Buffers: 272044 kB Cached: 364920 kB SwapCached: 9456 kB Active: 2579516 kB Inactive: 301992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29789992 kB SwapTotal: 67111528 kB SwapFree: 45617076 kB Dirty: 12056 kB Writeback: 4 kB AnonPages: 2242820 kB Mapped: 26120 kB Slab: 133644 kB PageTables: 78404 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 133681572 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73808 MiB End job on node123 at 2011-06-03 16:53:09