Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -27 | 1797.09 | 1797.04 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb |
| MD5SUM | edb32574ecafd14c2d1410b208d85a45 |
| 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.66 |
| 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) | 2516 |
| Sum of products size (including duplicates) | 5032 |
| Number of different products | 1258 |
| Sum of products size | 2516 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3485228-1307787767.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.02/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, 10264 impls, 200 clqs
0.02/0.07 c (0.1s) probing: 101/1458 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.07 c presolving (2 rounds):
0.02/0.07 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.07 c 10264 implications, 200 cliques
0.02/0.07 c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1559 constraints
0.02/0.07 c 300 constraints of type <setppc>
0.02/0.07 c 1258 constraints of type <and>
0.02/0.07 c 1 constraints of type <linear>
0.02/0.07 c transformed objective value is always integral (scale: 1)
0.02/0.07 c Presolving Time: 0.07
0.02/0.07 c - non default parameters ----------------------------------------------------------------------
0.02/0.07 c # SCIP version 2.0.1.4
0.02/0.07 c
0.02/0.07 c # frequency for displaying node information lines
0.02/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.07 c display/freq = 10000
0.02/0.07 c
0.02/0.07 c # maximal time in seconds to run
0.02/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.07 c limits/time = 1797
0.02/0.07 c
0.02/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.07 c limits/memory = 13950
0.02/0.07 c
0.02/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.07 c # [type: int, range: [1,2], default: 1]
0.02/0.07 c timing/clocktype = 2
0.02/0.07 c
0.02/0.07 c # belongs reading time to solving time?
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c timing/reading = TRUE
0.02/0.07 c
0.02/0.07 c # should presolving try to simplify inequalities
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c constraints/linear/simplifyinequalities = TRUE
0.02/0.07 c
0.02/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c constraints/indicator/addCouplingCons = TRUE
0.02/0.07 c
0.02/0.07 c # should presolving try to simplify knapsacks
0.02/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.07 c
0.02/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.07 c separating/rapidlearning/freq = 0
0.02/0.07 c
0.02/0.07 c -----------------------------------------------------------------------------------------------
0.02/0.07 c start solving
0.02/0.07 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 | 1416 | - |6408k| 0 | 745 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.19/0.27 o -6
0.19/0.27 c s 0.3s| 1 | 0 | 1416 | - |6463k| 0 | 745 |1458 |1559 |1458 |2817 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
1.19/1.24 o -7
1.19/1.24 c U 1.2s| 1 | 0 | 1416 | - |6571k| 0 | 745 |1458 |1561 |1458 |2817 | 0 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
1.99/2.05 c 2.1s| 1 | 0 | 2047 | - |7929k| 0 | 744 |1458 |1562 |1458 |2860 | 43 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
2.70/2.77 c 2.8s| 1 | 0 | 2395 | - |9171k| 0 | 789 |1458 |1562 |1458 |2887 | 70 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
3.49/3.52 c 3.5s| 1 | 0 | 2639 | - | 10M| 0 | 761 |1458 |1562 |1458 |2897 | 80 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
4.30/4.35 c 4.4s| 1 | 0 | 2913 | - | 12M| 0 | 796 |1458 |1562 |1458 |2903 | 86 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
5.09/5.19 c 5.2s| 1 | 0 | 3222 | - | 14M| 0 | 797 |1458 |1562 |1458 |2909 | 92 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
6.09/6.10 c 6.1s| 1 | 0 | 3620 | - | 16M| 0 | 794 |1458 |1562 |1458 |2914 | 97 | 1 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
8.39/8.49 c 8.5s| 1 | 2 | 3620 | - | 16M| 0 | 794 |1458 |1562 |1458 |2914 | 97 | 1 | 10 |-5.000000e+01 |-7.000000e+00 | 86.00%
41.89/41.98 o -21
41.89/41.98 c f42.0s| 30 | 31 | 90739 |3004.1 | 16M| 13 | - |1458 |1566 |1458 |1408 |2066 | 5 | 206 |-4.983339e+01 |-2.100000e+01 | 57.86%
80.20/80.28 o -22
80.20/80.28 c f80.3s| 60 | 61 |336360 |5639.7 | 16M| 13 | - |1458 |1600 |1458 |1487 |3525 | 39 | 270 |-4.901164e+01 |-2.200000e+01 | 55.11%
84.70/84.75 o -24
84.70/84.75 c l84.8s| 64 | 65 |368706 |5795.0 | 16M| 13 | - |1458 |1610 |1458 |1428 |3690 | 49 | 270 |-4.901164e+01 |-2.400000e+01 | 51.03%
93.40/93.46 o -25
93.40/93.46 c l93.5s| 76 | 77 |425667 |5627.3 | 16M| 13 | - |1458 |1624 |1458 |1448 |4221 | 63 | 270 |-4.881748e+01 |-2.500000e+01 | 48.79%
220.00/220.05 o -26
220.00/220.05 c l 220s| 278 | 279 | 1253k|4512.8 | 16M| 21 | - |1458 |1686 |1458 |1556 |9077 | 125 | 445 |-4.638713e+01 |-2.600000e+01 | 43.95%
230.30/230.35 o -27
230.30/230.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.30/230.35 c l 230s| 296 | 297 | 1320k|4463.9 | 16M| 21 | - |1458 |1691 |1458 |1648 |9390 | 130 | 456 |-4.628756e+01 |-2.700000e+01 | 41.67%
913.91/913.92 c 914s| 10000 | 2954 | 5697k| 569.4 | 25M| 76 | - |1458 |1707 |1458 |1723 | 50k| 243 |1319 |-4.323159e+01 |-2.700000e+01 | 37.55%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.01
1797.04/1797.00 c Solving Nodes : 19553
1797.04/1797.00 c Primal Bound : -2.70000000000000e+01 (13 solutions)
1797.04/1797.00 c Dual Bound : -4.25412372156976e+01
1797.04/1797.00 c Gap : 36.53 %
1797.04/1797.00 s SATISFIABLE
1797.04/1797.00 v -x128 -x141 x182 -x146 -x136 -x166 -x181 -x185 -x156 x153 -x179 -x178 -x149 -x152 -x124 x133 -x188 x189 -x147 -x139 -x197 -x191
1797.04/1797.00 v x163 x130 -x192 x194 -x106 -x170 -x140 -x109 x117 -x107 -x196 -x187 -x168 -x190 -x148 -x171 x161 -x160 x158 x154 -x151 -x114
1797.04/1797.00 v -x173 -x199 -x176 -x177 -x193 x172 x143 -x135 x162 -x125 -x195 x120 -x200 -x157 x167 x134 -x113 x111 -x131 -x121 -x183 -x123
1797.04/1797.00 v x174 x180 -x169 x198 -x159 x137 -x132 -x122 -x119 -x112 -x105 x118 x150 -x142 -x103 -x104 -x165 -x115 -x155 -x101 -x144 -x116
1797.04/1797.00 v -x110 x108 x145 x186 -x129 -x126 -x138 -x164 -x127 -x175 -x184 -x102 x100 x99 -x98 -x97 x96 x95 -x94 -x93 x92 -x91 -x90 -x89
1797.04/1797.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
1797.04/1797.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
1797.04/1797.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
1797.04/1797.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.01
1797.04/1797.00 c solving : 1797.01
1797.04/1797.00 c presolving : 0.07 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485228-1307787767.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 301 initial, 301 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485228-1307787767.opb
1797.04/1797.00 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1559 initial, 1752 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.04 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 13926 0 77 0 7 24 0 0 27814
1797.04/1797.00 c setppc : 300 6 290292 0 1 72 294 74 44455 0 0 0
1797.04/1797.00 c and : 1258 28208 290216 0 1 71 478 200 556609 109584 0 0
1797.04/1797.00 c linear : 1 6 290012 0 0 12 101 0 0 0 0 0
1797.04/1797.00 c logicor : 0+ 6 18959 0 0 0 4 0 10035 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 16 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 85.98 0.00 0.00 85.98 0.00 0.00 0.00
1797.04/1797.00 c setppc : 0.77 0.00 0.76 0.00 0.00 0.00 0.00
1797.04/1797.00 c and : 5.69 2.62 3.07 0.00 0.00 0.00 0.00
1797.04/1797.00 c linear : 0.15 0.01 0.14 0.00 0.00 0.00 0.00
1797.04/1797.00 c logicor : 0.07 0.00 0.07 0.00 0.00 0.00 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.01 c vbounds : 0 0 0 0
1797.04/1797.01 c rootredcost : 7 0 0 0
1797.04/1797.01 c pseudoobj : 290528 4 2 0
1797.04/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.01 c vbounds : 0.05 0.05 0.00
1797.04/1797.01 c rootredcost : 0.05 0.05 0.00
1797.04/1797.01 c pseudoobj : 0.89 0.89 0.00
1797.04/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.01 c propagation : 0.00 276 276 283 4.5 5 36.0 -
1797.04/1797.01 c infeasible LP : 0.00 14 14 43 65.3 0 0.0 0
1797.04/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.01 c applied globally : - - - 319 10.5 - - -
1797.04/1797.01 c applied locally : - - - 0 0.0 - - -
1797.04/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 1040)
1797.04/1797.01 c redcost : 0.96 29319 0 69947 0 0
1797.04/1797.01 c impliedbounds : 0.00 6 0 0 100 0
1797.04/1797.01 c intobj : 0.00 0 0 0 0 0
1797.04/1797.01 c gomory : 2.09 6 0 0 6 0
1797.04/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.01 c strongcg : 1.88 6 0 0 1750 0
1797.04/1797.01 c cmir : 0.10 6 0 0 15 0
1797.04/1797.01 c flowcover : 0.09 6 0 0 30 0
1797.04/1797.01 c clique : 0.10 6 0 0 38 0
1797.04/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.01 c mcf : 0.00 1 0 0 0 0
1797.04/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.01 c rapidlearning : 0.11 1 0 0 0 0
1797.04/1797.01 c Pricers : Time Calls Vars
1797.04/1797.01 c problem variables: 0.00 0 0
1797.04/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.01 c relpscost : 85.97 13926 7 24 0 0 27814
1797.04/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.01 c random : 0.00 0 0 0 0 0 0
1797.04/1797.01 c Primal Heuristics : Time Calls Found
1797.04/1797.01 c LP solutions : 0.00 - 0
1797.04/1797.01 c pseudo solutions : 0.00 - 0
1797.04/1797.01 c oneopt : 0.01 7 0
1797.04/1797.01 c veclendiving : 56.06 156 0
1797.04/1797.01 c fracdiving : 128.48 220 2
1797.04/1797.01 c linesearchdiving : 100.80 221 4
1797.04/1797.01 c trivial : 0.00 2 1
1797.04/1797.01 c shiftandpropagate: 0.00 0 0
1797.04/1797.01 c simplerounding : 0.01 0 0
1797.04/1797.01 c zirounding : 1.12 0 0
1797.04/1797.01 c rounding : 1.33 2223 0
1797.04/1797.01 c shifting : 2.29 2035 3
1797.04/1797.01 c intshifting : 0.00 0 0
1797.04/1797.01 c twoopt : 0.00 0 0
1797.04/1797.01 c fixandinfer : 0.00 0 0
1797.04/1797.01 c feaspump : 0.00 0 0
1797.04/1797.01 c clique : 0.00 0 0
1797.04/1797.01 c coefdiving : 75.16 168 0
1797.04/1797.01 c pscostdiving : 65.28 131 0
1797.04/1797.01 c intdiving : 0.00 0 0
1797.04/1797.01 c actconsdiving : 0.00 0 0
1797.04/1797.01 c objpscostdiving : 13.59 41 0
1797.04/1797.01 c rootsoldiving : 11.90 25 0
1797.04/1797.01 c guideddiving : 73.03 157 0
1797.04/1797.01 c octane : 0.00 0 0
1797.04/1797.01 c rens : 0.01 0 0
1797.04/1797.01 c rins : 0.00 0 0
1797.04/1797.01 c localbranching : 0.00 0 0
1797.04/1797.01 c mutation : 0.00 0 0
1797.04/1797.01 c crossover : 1.00 5 2
1797.04/1797.01 c dins : 0.00 0 0
1797.04/1797.01 c vbounds : 0.00 0 0
1797.04/1797.01 c undercover : 0.97 1 1
1797.04/1797.01 c subnlp : 0.00 0 0
1797.04/1797.01 c trysol : 0.01 0 0
1797.04/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.01 c primal LP : 12.47 0 0 0.00 0.00
1797.04/1797.01 c dual LP : 1145.86 32214 8056770 250.10 7031.17
1797.04/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.01 c diving/probing LP: 474.49 167804 3302317 19.68 6959.71
1797.04/1797.01 c strong branching : 85.57 1988 524055 263.61 6123.96
1797.04/1797.01 c (at root node) : - 10 10000 1000.00 -
1797.04/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.01 c B&B Tree :
1797.04/1797.01 c number of runs : 1
1797.04/1797.01 c nodes : 19553
1797.04/1797.01 c nodes (total) : 19553
1797.04/1797.01 c nodes left : 8263
1797.04/1797.01 c max depth : 76
1797.04/1797.01 c max depth (total): 76
1797.04/1797.01 c backtracks : 3647 (18.7%)
1797.04/1797.01 c delayed cutoffs : 1
1797.04/1797.01 c repropagations : 1296 (391 domain reductions, 0 cutoffs)
1797.04/1797.01 c avg switch length: 5.68
1797.04/1797.01 c switching time : 14.48
1797.04/1797.01 c Solution :
1797.04/1797.01 c Solutions found : 13 (9 improvements)
1797.04/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.01 c Primal Bound : -2.70000000000000e+01 (in run 1, after 296 nodes, 230.35 seconds, depth 232, found by <linesearchdiving>)
1797.04/1797.01 c Dual Bound : -4.25412372156976e+01
1797.04/1797.01 c Gap : 36.53 %
1797.04/1797.01 c Root Dual Bound : -4.99999999999999e+01
1797.04/1797.01 c Root Iterations : 3620
1797.04/1797.04 c Time complete: 1797.08.
OK -27
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3485228-1307787767/watcher-3485228-1307787767 -o /tmp/evaluation-result-3485228-1307787767/solver-3485228-1307787767 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485228-1307787767.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.05 2.01 1.99 2/177 6747 /proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=9972 CPUtime=0 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 1510 0 0 0 0 0 0 0 24 0 1 0 871192992 10211328 1465 33554432000 4194304 8979876 140735871892752 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/6747/statm: 2493 1465 367 1169 0 1320 0 [startup+0.0233381 s] /proc/loadavg: 2.05 2.01 1.99 2/177 6747 /proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=18820 CPUtime=0.02 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 3725 0 0 0 2 0 0 0 24 0 1 0 871192992 19271680 3423 33554432000 4194304 8979876 140735871892752 18446744073709551615 18446744073699065918 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 4705 3423 480 1169 0 3532 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18820 [startup+0.100335 s] /proc/loadavg: 2.05 2.01 1.99 2/177 6747 /proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=27940 CPUtime=0.09 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 6219 0 0 0 9 0 0 0 18 0 1 0 871192992 28610560 5847 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 6985 5847 626 1169 0 5812 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27940 [startup+0.300287 s] /proc/loadavg: 2.05 2.01 1.99 2/177 6747 /proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=42360 CPUtime=0.29 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 9668 0 0 0 28 1 0 0 18 0 1 0 871192992 43376640 9247 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 10590 9247 636 1169 0 9417 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 42360 [startup+0.700214 s] /proc/loadavg: 2.05 2.01 1.99 2/177 6747 /proc/meminfo: memFree=31374136/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=47708 CPUtime=0.69 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 16018 0 0 0 64 5 0 0 18 0 1 0 871192992 48852992 10845 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 11927 10845 710 1169 0 10754 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47708 [startup+1.50107 s] /proc/loadavg: 2.05 2.01 1.99 3/178 6748 /proc/meminfo: memFree=31333852/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=53848 CPUtime=1.49 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 19637 0 0 0 142 7 0 0 20 0 1 0 871192992 55140352 12327 33554432000 4194304 8979876 140735871892752 18446744073709551615 6543886 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13462 12327 718 1169 0 12289 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53848 [startup+3.1008 s] /proc/loadavg: 2.04 2.01 1.99 3/178 6748 /proc/meminfo: memFree=31327156/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=53848 CPUtime=3.09 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 19651 0 0 0 301 8 0 0 25 0 1 0 871192992 55140352 12341 33554432000 4194304 8979876 140735871892752 18446744073709551615 4438354 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13462 12341 720 1169 0 12289 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 53848 [startup+6.30021 s] /proc/loadavg: 2.04 2.01 1.99 3/178 6748 /proc/meminfo: memFree=31326396/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54872 CPUtime=6.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20134 0 0 0 619 11 0 0 25 0 1 0 871192992 56188928 12824 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13718 12824 721 1169 0 12545 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 54872 [startup+12.7011 s] /proc/loadavg: 2.04 2.01 1.99 3/178 6748 /proc/meminfo: memFree=31325148/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54872 CPUtime=12.7 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20134 0 0 0 1246 24 0 0 25 0 1 0 871192992 56188928 12824 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13718 12824 721 1169 0 12545 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 54872 [startup+25.5008 s] /proc/loadavg: 2.03 2.01 1.99 3/178 6749 /proc/meminfo: memFree=31325412/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54872 CPUtime=25.5 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20134 0 0 0 2503 47 0 0 25 0 1 0 871192992 56188928 12824 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13718 12824 721 1169 0 12545 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 54872 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 1.99 3/178 6749 /proc/meminfo: memFree=31325352/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54872 CPUtime=51.09 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20135 0 0 0 5008 101 0 0 25 0 1 0 871192992 56188928 12825 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13718 12825 722 1169 0 12545 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 54872 [startup+102.306 s] /proc/loadavg: 2.01 2.00 1.99 3/178 6751 /proc/meminfo: memFree=31322992/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54872 CPUtime=102.29 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20137 0 0 0 10023 206 0 0 25 0 1 0 871192992 56188928 12827 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13718 12827 723 1169 0 12545 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 54872 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 6755 /proc/meminfo: memFree=31319648/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54872 CPUtime=162.29 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 20137 0 0 0 15897 332 0 0 25 0 1 0 871192992 56188928 12827 33554432000 4194304 8979876 140735871892752 18446744073709551615 7185478 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13718 12827 723 1169 0 12545 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 54872 [startup+222.301 s] /proc/loadavg: 2.04 2.01 2.00 3/178 6757 /proc/meminfo: memFree=31317624/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=53848 CPUtime=222.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22926 0 0 0 21764 466 0 0 25 0 1 0 871192992 55140352 12605 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13462 12605 725 1169 0 12289 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 53848 [startup+282.301 s] /proc/loadavg: 2.02 2.01 2.00 3/178 6758 /proc/meminfo: memFree=31316840/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=53848 CPUtime=282.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22926 0 0 0 27645 585 0 0 25 0 1 0 871192992 55140352 12605 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13462 12605 725 1169 0 12289 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 53848 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6760 /proc/meminfo: memFree=31313952/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54180 CPUtime=342.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22957 0 0 0 33524 706 0 0 25 0 1 0 871192992 55480320 12636 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13545 12636 725 1169 0 12372 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 54180 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6762 /proc/meminfo: memFree=31301152/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54180 CPUtime=402.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 22958 0 0 0 39404 826 0 0 25 0 1 0 871192992 55480320 12637 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13545 12637 725 1169 0 12372 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 54180 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6763 /proc/meminfo: memFree=31301488/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54392 CPUtime=462.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 23010 0 0 0 45286 944 0 0 25 0 1 0 871192992 55697408 12689 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13598 12689 725 1169 0 12425 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 54392 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6803 /proc/meminfo: memFree=31356000/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=54392 CPUtime=522.31 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 23024 0 0 0 51163 1068 0 0 25 0 1 0 871192992 55697408 12703 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13598 12703 725 1169 0 12425 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 54392 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6842 /proc/meminfo: memFree=31352004/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=55408 CPUtime=582.3 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 23274 0 0 0 57040 1190 0 0 25 0 1 0 871192992 56737792 12953 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 13852 12953 725 1169 0 12679 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 55408 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31324932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=76340 CPUtime=1122.32 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34398 0 0 0 109566 2666 0 0 25 0 1 0 871192992 78172160 18247 33554432000 4194304 8979876 140735871892752 18446744073709551615 7787776 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19085 18247 731 1169 0 17912 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 76340 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6858 /proc/meminfo: memFree=31324404/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=76340 CPUtime=1182.32 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34401 0 0 0 115399 2833 0 0 25 0 1 0 871192992 78172160 18250 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19085 18250 731 1169 0 17912 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 76340 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6860 /proc/meminfo: memFree=31324252/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=76340 CPUtime=1242.32 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34402 0 0 0 121233 2999 0 0 25 0 1 0 871192992 78172160 18251 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19085 18251 731 1169 0 17912 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 76340 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6862 /proc/meminfo: memFree=31323848/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=76340 CPUtime=1302.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34402 0 0 0 127061 3172 0 0 25 0 1 0 871192992 78172160 18251 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19085 18251 731 1169 0 17912 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 76340 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/178 6863 /proc/meminfo: memFree=31323832/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=76340 CPUtime=1362.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34405 0 0 0 132906 3327 0 0 25 0 1 0 871192992 78172160 18254 33554432000 4194304 8979876 140735871892752 18446744073709551615 7068543 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19085 18254 731 1169 0 17912 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 76340 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/178 6865 /proc/meminfo: memFree=31322564/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=77576 CPUtime=1422.34 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 34686 0 0 0 138740 3494 0 0 25 0 1 0 871192992 79437824 18535 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19394 18535 731 1169 0 18221 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 77576 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6866 /proc/meminfo: memFree=31320796/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=79288 CPUtime=1482.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 35093 0 0 0 144577 3656 0 0 25 0 1 0 871192992 81190912 18942 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 19822 18942 731 1169 0 18649 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 79288 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6868 /proc/meminfo: memFree=31318024/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=82140 CPUtime=1542.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 35778 0 0 0 150410 3823 0 0 25 0 1 0 871192992 84111360 19627 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 20535 19627 731 1169 0 19362 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 82140 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6870 /proc/meminfo: memFree=31317244/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=82584 CPUtime=1602.34 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 35946 0 0 0 156250 3984 0 0 25 0 1 0 871192992 84566016 19795 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 20646 19795 731 1169 0 19473 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 82584 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6871 /proc/meminfo: memFree=31314860/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=84660 CPUtime=1662.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36451 0 0 0 162086 4147 0 0 25 0 1 0 871192992 86691840 20300 33554432000 4194304 8979876 140735871892752 18446744073709551615 7186223 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21165 20300 731 1169 0 19992 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 84660 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6873 /proc/meminfo: memFree=31313096/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86032 CPUtime=1722.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36777 0 0 0 167923 4310 0 0 25 0 1 0 871192992 88096768 20626 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21508 20626 731 1169 0 20335 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 86032 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6874 /proc/meminfo: memFree=31312064/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86712 CPUtime=1782.33 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36966 0 0 0 173754 4479 0 0 25 0 1 0 871192992 88793088 20815 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21678 20815 731 1169 0 20505 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 86712 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311940/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86712 CPUtime=1785.54 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36966 0 0 0 174066 4488 0 0 25 0 1 0 871192992 88793088 20815 33554432000 4194304 8979876 140735871892752 18446744073709551615 7166874 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21678 20815 731 1169 0 20505 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 86712 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86712 CPUtime=1791.94 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36970 0 0 0 174692 4502 0 0 25 0 1 0 871192992 88793088 20819 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21678 20819 731 1169 0 20505 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 86712 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86712 CPUtime=1795.15 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36976 0 0 0 175003 4512 0 0 25 0 1 0 871192992 88793088 20825 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21678 20825 731 1169 0 20505 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 86712 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86712 CPUtime=1795.94 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 36976 0 0 0 175080 4514 0 0 25 0 1 0 871192992 88793088 20825 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21678 20825 731 1169 0 20505 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 86712 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86960 CPUtime=1796.73 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 37017 0 0 0 175158 4515 0 0 25 0 1 0 871192992 89047040 20866 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21740 20866 731 1169 0 20567 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 86960 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86960 CPUtime=1796.94 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 37031 0 0 0 175178 4516 0 0 25 0 1 0 871192992 89047040 20880 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21740 20880 731 1169 0 20567 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 86960 [startup+1797 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6875 /proc/meminfo: memFree=31311932/32951124 swapFree=67050916/67111528 [pid=6747] ppid=6745 vsize=86960 CPUtime=1797.04 cores=1,3,5,7 /proc/6747/stat : 6747 (scip-2.0.1.4_2.) R 6745 6747 4338 0 -1 4202496 37031 0 0 0 175188 4516 0 0 25 0 1 0 871192992 89047040 20880 33554432000 4194304 8979876 140735871892752 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0 /proc/6747/statm: 21740 20880 731 1169 0 20567 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 86960 Child status: 0 Real time (s): 1797.04 CPU time (s): 1797.09 CPU user time (s): 1751.91 CPU system time (s): 45.1751 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 86960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1751.91 system time used= 45.1751 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37039 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= 7 involuntary context switches= 20760 runsolver used 2.33964 second user time and 5.83311 second system time The end
Begin job on node146 at 2011-06-11 12:22:47 IDJOB=3485228 IDBENCH=48274 IDSOLVER=1977 FILE ID=node146/3485228-1307787767 RUNJOBID= node146-1307785965-6548 PBS_JOBID= 13550873 Free space on /tmp= 74076 MiB SOLVER NAME= SCIP spx 2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485228-1307787767/watcher-3485228-1307787767 -o /tmp/evaluation-result-3485228-1307787767/solver-3485228-1307787767 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485228-1307787767.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45 RANDOM SEED=27241021 node146.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.830 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.66 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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.86 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.830 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.75 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.830 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.830 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.75 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.830 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: 31374316 kB Buffers: 299712 kB Cached: 981336 kB SwapCached: 14576 kB Active: 658532 kB Inactive: 713060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31374316 kB SwapTotal: 67111528 kB SwapFree: 67050916 kB Dirty: 16728 kB Writeback: 0 kB AnonPages: 87516 kB Mapped: 12152 kB Slab: 140840 kB PageTables: 4436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 275248 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= 74056 MiB End job on node146 at 2011-06-11 12:52:44