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) | 10 | 1800.08 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
| MD5SUM | e3f554c192a1ee7b261cc2808827870e |
| 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 | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1797.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| 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) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
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-3452284-1307105007.opb>
0.00/0.01 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.04 o 200
0.00/0.04 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.04 c presolving:
0.10/0.17 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 415046 impls, 0 clqs
0.19/0.25 c (0.2s) probing: 101/6426 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (2 rounds):
0.19/0.25 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25 c 415046 implications, 0 cliques
0.19/0.25 c presolved problem has 6426 variables (6426 bin, 0 int, 0 impl, 0 cont) and 6426 constraints
0.19/0.25 c 6226 constraints of type <and>
0.19/0.25 c 200 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 1)
0.19/0.25 c Presolving Time: 0.23
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 2.0.1.4
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1800
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 13950
0.19/0.25 c
0.19/0.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.25 c # [type: int, range: [1,2], default: 1]
0.19/0.25 c timing/clocktype = 2
0.19/0.25 c
0.19/0.25 c # belongs reading time to solving time?
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c timing/reading = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/indicator/addCouplingCons = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.29/0.32 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.32 c t 0.3s| 1 | 0 | 400 | - | 36M| 0 | 400 |6426 |6426 |6426 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.000000e+02 | Inf
0.29/0.33 o 26
0.29/0.33 c s 0.3s| 1 | 0 | 400 | - | 36M| 0 | 400 |6426 |6426 |6426 | 12k| 0 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.11/1.15 c 1.2s| 1 | 0 | 1000 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k| 401 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.59/1.66 c 1.7s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k| 803 | 0 | 0 | 0.000000e+00 | 2.600000e+01 | Inf
1.59/1.66 o 23
1.59/1.66 c s 1.7s| 1 | 0 | 1600 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k| 803 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.09/2.18 c 2.2s| 1 | 0 | 2200 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k|1204 | 0 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
2.09/2.19 o 19
2.09/2.19 c s 2.2s| 1 | 0 | 2200 | - | 37M| 0 | 400 |6426 |6426 |6426 | 13k|1204 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
2.69/2.73 c 2.7s| 1 | 0 | 2801 | - | 37M| 0 | 400 |6426 |6426 |6426 | 14k|1609 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
3.19/3.30 c 3.3s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6426 |6426 |6426 | 14k|2012 | 0 | 0 | 0.000000e+00 | 1.900000e+01 | Inf
3.19/3.31 o 16
3.19/3.31 c s 3.3s| 1 | 0 | 3401 | - | 38M| 0 | 400 |6426 |6426 |6426 | 14k|2012 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
3.79/3.89 c 3.9s| 1 | 0 | 4002 | - | 38M| 0 | 400 |6426 |6426 |6426 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
3.89/3.99 c 4.0s| 1 | 2 | 4002 | - | 38M| 0 | 400 |6426 |6426 |6426 | 15k|2414 | 0 | 0 | 0.000000e+00 | 1.600000e+01 | Inf
243.30/243.37 o 13
243.30/243.37 c c 243s| 337 | 338 |532372 |1572.5 | 39M| 21 | - |6426 |6466 |6426 |6703 | 90k| 40 | 844 | 6.778597e+00 | 1.300000e+01 | 91.78%
436.20/436.24 o 12
436.20/436.24 c c 436s| 718 | 717 |948333 |1317.1 | 42M| 29 | - |6426 |6463 |6426 |6205 | 122k| 51 |1094 | 6.986108e+00 | 1.200000e+01 | 71.77%
539.21/539.22 o 11
539.21/539.22 c f 539s| 1052 | 917 | 1169k|1109.2 | 43M| 39 | - |6426 |6454 |6426 |5983 | 140k| 51 |1226 | 7.187576e+00 | 1.100000e+01 | 53.04%
1235.72/1235.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.72/1235.70 c 1236s| 10000 | 2679 | 2582k| 257.9 | 114M| 86 | - |6426 |6433 |6426 |6733 | 235k| 51 |2247 | 7.487484e+00 | 1.100000e+01 | 46.91%
1511.83/1511.88 o 10
1511.83/1511.88 c *1512s| 14146 | 1214 | 3153k| 222.7 | 48M| 88 | - |6426 |6431 |6426 |6401 | 267k| 51 |2647 | 7.570872e+00 | 1.000000e+01 | 32.09%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 18391
1800.04/1800.01 c Primal Bound : +1.00000000000000e+01 (9 solutions)
1800.04/1800.01 c Dual Bound : +7.65430712243635e+00
1800.04/1800.01 c Gap : 30.65 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.04/1800.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1800.04/1800.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138
1800.04/1800.01 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 x121 -x120 -x119 -x118 -x117 -x116
1800.04/1800.01 v -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1800.04/1800.01 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69
1800.04/1800.01 v -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
1800.04/1800.01 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.04/1800.01 v -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.23 (included in solving)
1800.04/1800.01 c reading : 0.01 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3452284-1307105007.opb
1800.04/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 200 initial, 200 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3452284-1307105007.opb
1800.04/1800.01 c Variables : 6426 (6426 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 6426 initial, 6467 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.05 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c and : 0.15 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 11173 0 148 0 17 621 0 0 21764
1800.04/1800.01 c and : 6226 33168 105183 1 1 143 1185 7 3879202 344418 0 0
1800.04/1800.01 c logicor : 200+ 6 39170 1 1 8 23 8 0 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1 1 11 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 171.64 0.00 0.00 171.63 0.00 0.00 0.00
1800.04/1800.01 c and : 78.25 62.78 15.45 0.00 0.00 0.01 0.00
1800.04/1800.01 c logicor : 0.46 0.00 0.46 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 5 0 0 0
1800.04/1800.01 c pseudoobj : 105218 120 4 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.04 0.04 0.00
1800.04/1800.01 c rootredcost : 0.03 0.03 0.00
1800.04/1800.01 c pseudoobj : 0.61 0.60 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.01 19 19 170 211.3 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 51 78.4 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 2414)
1800.04/1800.01 c redcost : 2.66 33175 0 114537 0 0
1800.04/1800.01 c impliedbounds : 0.01 6 0 0 2400 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.34 6 0 0 3000 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.32 6 0 0 3000 0
1800.04/1800.01 c cmir : 1.69 6 0 0 2400 0
1800.04/1800.01 c flowcover : 0.42 6 0 0 0 0
1800.04/1800.01 c clique : 0.12 6 0 0 14 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.01 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.22 1 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 171.62 11163 17 621 0 0 21746
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 10 0 0 0 0 20
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.03 - 1
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c oneopt : 0.03 8 0
1800.04/1800.01 c objpscostdiving : 24.29 6 0
1800.04/1800.01 c crossover : 0.88 10 0
1800.04/1800.01 c veclendiving : 21.62 36 0
1800.04/1800.01 c linesearchdiving : 31.17 36 0
1800.04/1800.01 c guideddiving : 34.90 36 0
1800.04/1800.01 c pscostdiving : 32.57 36 0
1800.04/1800.01 c fracdiving : 36.00 37 1
1800.04/1800.01 c rootsoldiving : 7.84 19 0
1800.04/1800.01 c coefdiving : 58.82 83 2
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 0.02 0 0
1800.04/1800.01 c zirounding : 0.72 1000 0
1800.04/1800.01 c rounding : 2.88 2629 0
1800.04/1800.01 c shifting : 5.48 3682 4
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.10 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.01 1 0
1800.04/1800.01 c subnlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.01 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 15.66 0 0 0.00 0.00
1800.04/1800.01 c dual LP : 1197.14 42230 3184464 75.41 2660.07
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 210.59 22627 543899 24.04 2582.69
1800.04/1800.01 c strong branching : 171.04 3088 467757 151.48 2734.76
1800.04/1800.01 c (at root node) : - 0 0 0.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 18391
1800.04/1800.01 c nodes (total) : 18391
1800.04/1800.01 c nodes left : 1205
1800.04/1800.01 c max depth : 94
1800.04/1800.01 c max depth (total): 94
1800.04/1800.01 c backtracks : 2034 (11.1%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 4.58
1800.04/1800.01 c switching time : 22.73
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 9 (9 improvements)
1800.04/1800.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.00000000000000e+01 (in run 1, after 14146 nodes, 1511.85 seconds, depth 28, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +7.65430712243635e+00
1800.04/1800.01 c Gap : 30.65 %
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 4002
OK 10
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-3452284-1307105007/watcher-3452284-1307105007 -o /tmp/evaluation-result-3452284-1307105007/solver-3452284-1307105007 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452284-1307105007.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.10 2.06 2.01 2/521 23672 /proc/meminfo: memFree=21099192/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=13980 CPUtime=0.01 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 2463 0 0 0 1 0 0 0 25 0 1 0 802916197 14315520 2415 33554432000 4194304 9128323 140736582316688 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 3495 2415 436 1205 0 2286 0 [startup+0.119726 s] /proc/loadavg: 2.10 2.06 2.01 2/521 23672 /proc/meminfo: memFree=21099192/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=40452 CPUtime=0.1 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 8745 0 0 0 10 0 0 0 25 0 1 0 802916197 41422848 8697 33554432000 4194304 9128323 140736582316688 18446744073709551615 6581488 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 10113 8697 499 1205 0 8904 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 40452 [startup+0.200719 s] /proc/loadavg: 2.10 2.06 2.01 2/521 23672 /proc/meminfo: memFree=21099192/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=46536 CPUtime=0.19 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 10554 0 0 0 18 1 0 0 25 0 1 0 802916197 47652864 10249 33554432000 4194304 9128323 140736582316688 18446744073709551615 6522733 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 11634 10249 523 1205 0 10425 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 46536 [startup+0.300691 s] /proc/loadavg: 2.10 2.06 2.01 2/521 23672 /proc/meminfo: memFree=21099192/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=76352 CPUtime=0.29 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 18278 0 0 0 27 2 0 0 25 0 1 0 802916197 78184448 17599 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 19088 17599 634 1205 0 17879 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 76352 [startup+0.700629 s] /proc/loadavg: 2.10 2.06 2.01 2/521 23672 /proc/meminfo: memFree=21099192/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=76012 CPUtime=0.69 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 20476 0 0 0 67 2 0 0 25 0 1 0 802916197 77836288 17874 33554432000 4194304 9128323 140736582316688 18446744073709551615 6286121 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 19003 17874 667 1205 0 17794 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 76012 [startup+1.50047 s] /proc/loadavg: 2.10 2.06 2.01 3/522 23673 /proc/meminfo: memFree=21002340/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=1.49 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 32460 0 0 0 145 4 0 0 25 0 1 0 802916197 105013248 24616 33554432000 4194304 9128323 140736582316688 18446744073709551615 6277533 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24616 723 1205 0 24429 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 102552 [startup+3.10018 s] /proc/loadavg: 2.09 2.06 2.01 3/522 23673 /proc/meminfo: memFree=21001016/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=3.09 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 32507 0 0 0 303 6 0 0 25 0 1 0 802916197 105013248 24653 33554432000 4194304 9128323 140736582316688 18446744073709551615 6286076 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24653 713 1205 0 24429 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 102552 [startup+6.30059 s] /proc/loadavg: 2.09 2.06 2.01 3/522 23673 /proc/meminfo: memFree=20999420/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=6.29 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 37340 0 0 0 614 15 0 0 25 0 1 0 802916197 105013248 24732 33554432000 4194304 9128323 140736582316688 18446744073709551615 6673621 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24732 720 1205 0 24429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102552 [startup+12.7004 s] /proc/loadavg: 2.07 2.05 2.01 3/522 23673 /proc/meminfo: memFree=20999324/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=12.69 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 37342 0 0 0 1239 30 0 0 25 0 1 0 802916197 105013248 24734 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24734 722 1205 0 24429 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 102552 [startup+25.5011 s] /proc/loadavg: 2.06 2.05 2.00 3/522 23674 /proc/meminfo: memFree=20998152/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=25.49 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 37342 0 0 0 2496 53 0 0 25 0 1 0 802916197 105013248 24734 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24734 722 1205 0 24429 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102552 [startup+51.1004 s] /proc/loadavg: 2.04 2.05 2.00 3/522 23674 /proc/meminfo: memFree=20997344/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=51.09 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 37344 0 0 0 5021 88 0 0 25 0 1 0 802916197 105013248 24736 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24736 724 1205 0 24429 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 102552 [startup+102.301 s] /proc/loadavg: 2.01 2.04 2.00 3/522 23676 /proc/meminfo: memFree=20983304/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=102.31 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 37344 0 0 0 10069 162 0 0 25 0 1 0 802916197 105013248 24736 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24736 724 1205 0 24429 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 102552 [startup+162.301 s] /proc/loadavg: 2.00 2.03 2.00 3/522 23677 /proc/meminfo: memFree=20981792/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=162.29 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 37344 0 0 0 15998 231 0 0 25 0 1 0 802916197 105013248 24736 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24736 724 1205 0 24429 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 102552 [startup+222.32 s] /proc/loadavg: 2.11 2.05 2.01 3/522 23679 /proc/meminfo: memFree=20982612/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=102552 CPUtime=222.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 42732 0 0 0 21923 309 0 0 25 0 1 0 802916197 105013248 24746 33554432000 4194304 9128323 140736582316688 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 25638 24746 734 1205 0 24429 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 102552 [startup+282.301 s] /proc/loadavg: 2.10 2.06 2.01 3/522 23681 /proc/meminfo: memFree=20980596/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=105620 CPUtime=282.3 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 43383 0 0 0 27860 370 0 0 25 0 1 0 802916197 108154880 25397 33554432000 4194304 9128323 140736582316688 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 26405 25397 734 1205 0 25196 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 105620 [startup+342.301 s] /proc/loadavg: 2.03 2.04 2.00 3/522 23682 /proc/meminfo: memFree=20984288/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=107332 CPUtime=342.3 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 43898 0 0 0 33784 446 0 0 25 0 1 0 802916197 109907968 25912 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 26833 25912 734 1205 0 25624 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 107332 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.00 3/522 23684 /proc/meminfo: memFree=20977944/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=108632 CPUtime=402.3 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 44222 0 0 0 39715 515 0 0 25 0 1 0 802916197 111239168 26236 33554432000 4194304 9128323 140736582316688 18446744073709551615 7051709 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 27158 26236 734 1205 0 25949 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 108632 [startup+462.301 s] /proc/loadavg: 2.07 2.05 2.01 3/522 23685 /proc/meminfo: memFree=20972572/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=109700 CPUtime=462.3 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 44500 0 0 0 45643 587 0 0 25 0 1 0 802916197 112332800 26514 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 27425 26514 734 1205 0 26216 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 109700 [startup+522.301 s] /proc/loadavg: 2.06 2.05 2.01 3/522 23687 /proc/meminfo: memFree=20938336/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=138788 CPUtime=522.3 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 51256 0 0 0 51572 658 0 0 25 0 1 0 802916197 142118912 33270 33554432000 4194304 9128323 140736582316688 18446744073709551615 6673722 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 34697 33270 746 1205 0 33488 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 138788 [startup+582.301 s] /proc/loadavg: 2.02 2.04 2.00 3/522 23689 /proc/meminfo: memFree=20938544/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=138788 CPUtime=582.31 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 51346 0 0 0 57509 722 0 0 25 0 1 0 802916197 142118912 33360 33554432000 4194304 9128323 140736582316688 18446744073709551615 7358877 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 34697 33360 746 1205 0 33488 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 138788 [startup+642.301 s] ################ # More data... # ################ [startup+882.32 s] /proc/loadavg: 2.02 2.04 2.00 3/522 23697 /proc/meminfo: memFree=20877868/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=170752 CPUtime=882.33 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 81286 0 0 0 87172 1061 0 0 25 0 1 0 802916197 174850048 41805 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 42688 41805 746 1205 0 41479 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 170752 [startup+942.301 s] /proc/loadavg: 2.00 2.03 2.00 3/522 23698 /proc/meminfo: memFree=20868668/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=180284 CPUtime=942.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 90454 0 0 0 93105 1127 0 0 25 0 1 0 802916197 184610816 44188 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 45071 44188 746 1205 0 43862 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 180284 [startup+1002.3 s] /proc/loadavg: 2.09 2.05 2.01 3/522 23700 /proc/meminfo: memFree=20855116/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=189964 CPUtime=1002.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 92877 0 0 0 99041 1191 0 0 25 0 1 0 802916197 194523136 46611 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 47491 46611 746 1205 0 46282 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 189964 [startup+1062.3 s] /proc/loadavg: 2.08 2.06 2.01 3/522 23710 /proc/meminfo: memFree=20838080/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=201880 CPUtime=1062.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 95856 0 0 0 104982 1250 0 0 25 0 1 0 802916197 206725120 49590 33554432000 4194304 9128323 140736582316688 18446744073709551615 7176963 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 50470 49590 746 1205 0 49261 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 201880 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/522 23712 /proc/meminfo: memFree=20827808/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=210612 CPUtime=1122.33 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 98039 0 0 0 110917 1316 0 0 25 0 1 0 802916197 215666688 51773 33554432000 4194304 9128323 140736582316688 18446744073709551615 6673652 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23672/statm: 52653 51773 746 1205 0 51444 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 210612 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 2.00 3/522 23714 /proc/meminfo: memFree=20814264/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=223132 CPUtime=1182.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 109132 0 0 0 116846 1386 0 0 25 0 1 0 802916197 228487168 54908 33554432000 4194304 9128323 140736582316688 18446744073709551615 7192212 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 55783 54908 746 1205 0 54574 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 223132 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 23715 /proc/meminfo: memFree=20807636/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=230204 CPUtime=1242.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 110830 0 0 0 122784 1448 0 0 25 0 1 0 802916197 235728896 56606 33554432000 4194304 9128323 140736582316688 18446744073709551615 8012592 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 57551 56606 746 1205 0 56342 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 230204 [startup+1302.3 s] /proc/loadavg: 2.10 2.05 2.01 3/522 23717 /proc/meminfo: memFree=20792980/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=238092 CPUtime=1302.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 112788 0 0 0 128711 1521 0 0 25 0 1 0 802916197 243806208 58564 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 59523 58564 746 1205 0 58314 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 238092 [startup+1362.3 s] /proc/loadavg: 2.08 2.05 2.01 3/522 23718 /proc/meminfo: memFree=20780768/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=249516 CPUtime=1362.32 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 115647 0 0 0 134643 1589 0 0 25 0 1 0 802916197 255504384 61423 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 62379 61423 746 1205 0 61170 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 249516 [startup+1422.3 s] /proc/loadavg: 2.02 2.04 2.00 3/522 23720 /proc/meminfo: memFree=20765488/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=259376 CPUtime=1422.35 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 118193 0 0 0 140576 1659 0 0 25 0 1 0 802916197 265601024 63969 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 64844 63969 746 1205 0 63635 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 259376 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/522 23750 /proc/meminfo: memFree=21181756/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=268476 CPUtime=1482.33 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 120400 0 0 0 146506 1727 0 0 25 0 1 0 802916197 274919424 66173 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 67119 66173 746 1205 0 65910 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 268476 [startup+1542.32 s] /proc/loadavg: 2.16 2.07 2.01 3/522 23751 /proc/meminfo: memFree=21133576/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=275328 CPUtime=1542.35 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 124027 0 0 0 152446 1789 0 0 25 0 1 0 802916197 281935872 67959 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 68832 67959 746 1205 0 67623 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 275328 [startup+1602.3 s] /proc/loadavg: 2.06 2.05 2.01 3/522 23753 /proc/meminfo: memFree=21127956/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=278660 CPUtime=1602.33 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 131649 0 0 0 158385 1848 0 0 25 0 1 0 802916197 285347840 68790 33554432000 4194304 9128323 140736582316688 18446744073709551615 7285975 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 69665 68790 746 1205 0 68456 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 278660 [startup+1662.3 s] /proc/loadavg: 2.02 2.04 2.00 3/522 23754 /proc/meminfo: memFree=21125180/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=282488 CPUtime=1662.33 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 139318 0 0 0 164329 1904 0 0 25 0 1 0 802916197 289267712 69747 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 70622 69747 746 1205 0 69413 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 282488 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/522 23756 /proc/meminfo: memFree=21123036/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=285020 CPUtime=1722.34 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 146754 0 0 0 170264 1970 0 0 25 0 1 0 802916197 291860480 70380 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 71255 70380 746 1205 0 70046 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 285020 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 23758 /proc/meminfo: memFree=21118892/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=287308 CPUtime=1782.34 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 147312 0 0 0 176209 2025 0 0 25 0 1 0 802916197 294203392 70938 33554432000 4194304 9128323 140736582316688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/23672/statm: 71827 70938 746 1205 0 70618 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 287308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/522 23758 /proc/meminfo: memFree=21118640/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=287980 CPUtime=1800.06 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 147495 0 0 0 177965 2041 0 0 25 0 1 0 802916197 294891520 71121 33554432000 4194304 9128323 140736582316688 18446744073709551615 4458435 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23672/statm: 71995 71121 747 1205 0 70786 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 287980 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.00 2.02 2.00 3/522 23758 /proc/meminfo: memFree=21118640/32951124 swapFree=58800704/67111528 [pid=23672] ppid=23670 vsize=287980 CPUtime=1800.06 cores=1,3,5,7 /proc/23672/stat : 23672 (scip-2.0.1.4.li) R 23670 23672 22695 0 -1 4202496 147495 0 0 0 177965 2041 0 0 25 0 1 0 802916197 294891520 71121 33554432000 4194304 9128323 140736582316688 18446744073709551615 4458435 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23672/statm: 71995 71121 747 1205 0 70786 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 287980 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.08 CPU user time (s): 1779.66 CPU system time (s): 20.4249 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 303924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.66 system time used= 20.4249 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147496 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3995 runsolver used 8.50871 second user time and 22.4196 second system time The end
Begin job on node142 at 2011-06-03 14:43:27 IDJOB=3452284 IDBENCH=48148 IDSOLVER=1949 FILE ID=node142/3452284-1307105007 RUNJOBID= node142-1307092025-22714 PBS_JOBID= 13497966 Free space on /tmp= 73912 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/mds/normalized-mds_200_25_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-3452284-1307105007/watcher-3452284-1307105007 -o /tmp/evaluation-result-3452284-1307105007/solver-3452284-1307105007 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452284-1307105007.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED=2110759916 node142.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.846 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.69 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.846 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 : 5131.95 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.846 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.846 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.67 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.846 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.81 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.846 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.846 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.846 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21099472 kB Buffers: 235240 kB Cached: 399708 kB SwapCached: 11452 kB Active: 9831876 kB Inactive: 1758084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21099472 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 12376 kB Writeback: 0 kB AnonPages: 10952496 kB Mapped: 34476 kB Slab: 115716 kB PageTables: 75856 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145949980 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= 73900 MiB End job on node142 at 2011-06-03 15:13:29