Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 3 | 801.215 | 801.481 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb |
MD5SUM | c7fd9e5ff885ee342a28d015ab19e648 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 13.039 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 243 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2665008-1276647627.opb> 0.00/0.01 c original problem has 972 variables (972 bin, 0 int, 0 impl, 0 cont) and 748 constraints 0.00/0.01 c problem read 0.00/0.01 c presolving settings loaded 0.00/0.02 c presolving: 0.19/0.20 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 0 upgd conss, 4356 impls, 0 clqs 0.19/0.21 c (round 2) 27 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6660 impls, 0 clqs 0.19/0.22 c (round 3) 45 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8676 impls, 0 clqs 0.19/0.22 c (round 4) 63 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 10 upgd conss, 10404 impls, 0 clqs 0.19/0.23 c (round 5) 81 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 11844 impls, 0 clqs 0.19/0.23 c (round 6) 99 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 10 upgd conss, 12996 impls, 0 clqs 0.19/0.24 c (round 7) 117 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 10 upgd conss, 13860 impls, 0 clqs 0.19/0.25 c (round 8) 135 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 182 chg coeffs, 10 upgd conss, 14436 impls, 0 clqs 0.19/0.25 c (round 9) 153 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 198 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs 0.19/0.26 c (round 10) 171 del vars, 144 del conss, 0 chg bounds, 0 chg sides, 214 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs 0.39/0.43 c (0.2s) probing: 238/801 (29.7%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes 0.39/0.43 c (0.2s) probing aborted: 100/100 successive totally useless probings 0.39/0.43 c presolving (11 rounds): 0.39/0.43 c 171 deleted vars, 144 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 214 changed coefficients 0.39/0.43 c 14760 implications, 0 cliques 0.39/0.43 c presolved problem has 801 variables (801 bin, 0 int, 0 impl, 0 cont) and 595 constraints 0.39/0.43 c 576 constraints of type <and> 0.39/0.43 c 9 constraints of type <linear> 0.39/0.43 c 10 constraints of type <logicor> 0.39/0.43 c transformed objective value is always integral (scale: 2) 0.39/0.43 c Presolving Time: 0.22 0.39/0.43 c - non default parameters ---------------------------------------------------------------------- 0.39/0.43 c # SCIP version 1.2.1.2 0.39/0.43 c 0.39/0.43 c # frequency for displaying node information lines 0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100] 0.39/0.43 c display/freq = 10000 0.39/0.43 c 0.39/0.43 c # maximal time in seconds to run 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.43 c limits/time = 1799.99 0.39/0.43 c 0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.39/0.43 c limits/memory = 1620 0.39/0.43 c 0.39/0.43 c # should presolving try to simplify inequalities 0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.43 c constraints/linear/simplifyinequalities = TRUE 0.39/0.43 c 0.39/0.43 c # should presolving try to simplify knapsacks 0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE 0.39/0.43 c 0.39/0.43 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.43 c heuristics/undercover/freq = 0 0.39/0.43 c 0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1] 0.39/0.43 c separating/rapidlearning/freq = 0 0.39/0.43 c 0.39/0.43 c ----------------------------------------------------------------------------------------------- 0.39/0.43 c start solving 0.39/0.43 c 0.39/0.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.39/0.44 c 0.2s| 1 | 0 | 21 | - |3736k| 0 | 11 | 801 | 595 | 801 |1171 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 1.49/1.56 c 1.0s| 1 | 0 | 40 | - |3790k| 0 | 15 | 801 | 595 | 801 |1174 | 3 | 0 | 0 | 3.000000e+00 | -- | Inf 1.59/1.61 c 1.1s| 1 | 0 | 59 | - |3813k| 0 | 18 | 801 | 595 | 801 |1177 | 6 | 0 | 0 | 3.000000e+00 | -- | Inf 1.59/1.67 c 1.1s| 1 | 0 | 73 | - |3821k| 0 | 18 | 801 | 595 | 801 |1184 | 13 | 0 | 0 | 3.000000e+00 | -- | Inf 1.69/1.72 c 1.2s| 1 | 0 | 80 | - |3843k| 0 | 20 | 801 | 595 | 801 |1188 | 17 | 0 | 0 | 3.000000e+00 | -- | Inf 1.69/1.78 c 1.2s| 1 | 0 | 92 | - |3869k| 0 | 18 | 801 | 595 | 801 |1193 | 22 | 0 | 0 | 3.000000e+00 | -- | Inf 1.78/1.85 c 1.3s| 1 | 0 | 112 | - |3894k| 0 | 29 | 801 | 595 | 801 |1196 | 25 | 0 | 0 | 3.000000e+00 | -- | Inf 1.99/2.04 c 1.5s| 1 | 2 | 112 | - |3894k| 0 | 29 | 801 | 595 | 801 |1196 | 25 | 0 | 16 | 3.000000e+00 | -- | Inf 72.97/73.02 c 69.1s| 10000 | 5810 |193305 | 19.3 | 12M| 90 | - | 801 |3133 | 0 | 0 | 86k|4852 |4683 | 3.000000e+00 | -- | Inf 147.35/147.46 c 139s| 20000 | 12714 |411619 | 20.6 | 19M| 127 | 9 | 801 |1787 | 801 | 395 | 186k|8389 |7448 | 3.000000e+00 | -- | Inf 217.82/217.99 c 205s| 30000 | 19521 |619268 | 20.6 | 26M| 131 | 9 | 801 |1574 | 801 | 278 | 285k| 12k|9542 | 3.000000e+00 | -- | Inf 286.91/287.04 c 269s| 40000 | 25847 |806967 | 20.2 | 33M| 131 | 47 | 801 |1575 | 801 | 235 | 372k| 16k| 11k| 3.000000e+00 | -- | Inf 353.78/353.99 c 331s| 50000 | 32055 |988310 | 19.8 | 40M| 131 | 23 | 801 |1793 | 801 | 361 | 452k| 21k| 13k| 3.000000e+00 | -- | Inf 422.46/422.61 c 396s| 60000 | 37758 | 1174k| 19.6 | 47M| 135 | 4 | 801 |2110 | 801 | 406 | 534k| 26k| 14k| 3.000000e+00 | -- | Inf 495.14/495.36 c 464s| 70000 | 44046 | 1389k| 19.9 | 54M| 135 | 10 | 801 |1517 | 801 | 298 | 635k| 30k| 15k| 3.000000e+00 | -- | Inf 565.12/565.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 565.12/565.32 c 529s| 80000 | 50182 | 1574k| 19.7 | 61M| 135 | 18 | 801 |1865 | 801 | 347 | 721k| 35k| 16k| 3.000000e+00 | -- | Inf 633.59/633.80 c 593s| 90000 | 56196 | 1758k| 19.5 | 68M| 135 | 8 | 801 |2054 | 801 | 366 | 800k| 40k| 17k| 3.000000e+00 | -- | Inf 696.07/696.34 c 651s|100000 | 61746 | 1916k| 19.2 | 74M| 135 | 7 | 801 |1955 | 801 | 276 | 870k| 46k| 18k| 3.000000e+00 | -- | Inf 750.15/750.41 c 702s|110000 | 66304 | 2039k| 18.5 | 81M| 135 | 16 | 801 |3203 | 801 | 365 | 913k| 53k| 19k| 3.000000e+00 | -- | Inf 801.12/801.44 o 3 801.12/801.44 c * 749s|118691 | 0 | 2156k| 18.2 |7327k| 135 | - | 801 |3035 | 801 | 412 | 960k| 59k| 19k| 3.000000e+00 | 3.000000e+00 | 0.00% 801.12/801.44 c 801.12/801.44 c SCIP Status : problem is solved [optimal solution found] 801.12/801.44 c Solving Time (sec) : 748.99 801.12/801.44 c Solving Nodes : 118691 801.12/801.44 c Primal Bound : +3.00000000000000e+00 (1 solutions) 801.12/801.44 c Dual Bound : +3.00000000000000e+00 801.12/801.44 c Gap : 0.00 % 801.12/801.44 s OPTIMUM FOUND 801.12/801.44 v -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 x226 x162 -x161 -x160 -x159 801.12/801.44 v x158 -x157 x156 x155 x154 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 801.12/801.44 v x145 -x216 -x215 -x214 -x213 -x212 x211 x210 x209 -x208 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x207 x206 x205 801.12/801.44 v -x204 -x203 x202 -x201 x200 x199 -x135 -x134 x133 x132 -x131 x130 -x129 x128 x127 -x198 -x197 -x196 x195 x194 x193 x192 x191 801.12/801.44 v x190 x126 x125 -x124 x123 x122 -x121 x120 x119 x118 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 x117 x116 x115 x114 801.12/801.44 v x113 -x112 x111 x110 x109 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x108 -x107 -x106 -x105 x104 x103 x102 x101 801.12/801.44 v x100 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x99 -x98 -x97 -x96 x95 -x94 x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 801.12/801.44 v x85 -x84 -x83 x82 x81 -x80 x79 x78 -x77 x76 -x75 x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 x64 -x63 -x62 x61 -x60 -x59 801.12/801.44 v -x58 -x57 x56 x55 -x54 x53 x52 x51 -x50 x49 x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 801.12/801.44 v -x30 -x29 x28 -x27 -x26 x25 x24 -x23 -x22 -x21 x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 801.12/801.44 v x2 x1 801.12/801.44 c SCIP Status : problem is solved [optimal solution found] 801.12/801.44 c Solving Time : 748.99 801.12/801.44 c Original Problem : 801.12/801.44 c Problem name : HOME/instance-2665008-1276647627.opb 801.12/801.44 c Variables : 972 (972 binary, 0 integer, 0 implicit integer, 0 continuous) 801.12/801.44 c Constraints : 748 initial, 748 maximal 801.12/801.44 c Presolved Problem : 801.12/801.44 c Problem name : t_HOME/instance-2665008-1276647627.opb 801.12/801.44 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous) 801.12/801.44 c Constraints : 595 initial, 3647 maximal 801.12/801.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 801.12/801.44 c trivial : 0.01 0 0 0 0 0 0 0 0 801.12/801.44 c dualfix : 0.00 0 0 0 0 0 0 0 0 801.12/801.44 c boundshift : 0.00 0 0 0 0 0 0 0 0 801.12/801.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0 801.12/801.44 c implics : 0.01 0 0 0 0 0 0 0 0 801.12/801.44 c probing : 0.04 0 0 0 0 0 0 0 0 801.12/801.44 c and : 0.15 18 144 0 0 0 144 0 144 801.12/801.44 c linear : 0.00 1 8 0 0 0 0 0 70 801.12/801.44 c logicor : 0.00 0 0 0 0 0 0 0 0 801.12/801.44 c root node : - 0 - - 0 - - - - 801.12/801.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 801.12/801.44 c integral : 0 0 0 100615 0 48 985 0 0 199920 801.12/801.44 c and : 576 284199 310099 0 0 4824 635433 960416 0 0 801.12/801.44 c linear : 9 6 305274 0 0 24023 193165 0 0 0 801.12/801.44 c logicor : 10+ 6 148943 0 0 595 33711 0 0 0 801.12/801.44 c countsols : 0 0 0 1 0 0 0 0 0 0 801.12/801.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 801.12/801.44 c integral : 31.54 0.00 0.00 31.54 0.00 801.12/801.44 c and : 62.05 52.54 9.51 0.00 0.00 801.12/801.44 c linear : 22.28 0.00 22.28 0.00 0.00 801.12/801.44 c logicor : 6.02 0.00 6.02 0.00 0.00 801.12/801.44 c countsols : 0.00 0.00 0.00 0.00 0.00 801.12/801.44 c Propagators : Time Calls Cutoffs DomReds 801.12/801.44 c vbounds : 0.23 2 0 0 801.12/801.44 c rootredcost : 0.21 0 0 0 801.12/801.44 c pseudoobj : 0.61 309608 0 0 801.12/801.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 801.12/801.44 c propagation : 17.10 29442 29367 447281 69.2 3881 33.3 - 801.12/801.44 c infeasible LP : 0.11 241 236 1274 46.0 20 19.8 0 801.12/801.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 801.12/801.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 801.12/801.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 801.12/801.44 c applied globally : - - - 59640 35.6 - - - 801.12/801.44 c applied locally : - - - 0 0.0 - - - 801.12/801.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss 801.12/801.44 c cut pool : 0.00 5 - - 26 - (maximal pool size: 53) 801.12/801.44 c redcost : 7.00 284200 0 1 0 0 801.12/801.44 c impliedbounds : 0.00 6 0 0 13 0 801.12/801.44 c intobj : 0.00 0 0 0 0 0 801.12/801.44 c cgmip : 0.00 0 0 0 0 0 801.12/801.44 c gomory : 0.02 6 0 0 19 0 801.12/801.44 c strongcg : 0.03 6 0 0 26 0 801.12/801.44 c cmir : 0.02 6 0 0 22 0 801.12/801.44 c flowcover : 0.20 6 0 0 41 0 801.12/801.44 c clique : 0.00 1 0 0 0 0 801.12/801.44 c zerohalf : 0.00 0 0 0 0 0 801.12/801.44 c mcf : 0.00 1 0 0 0 0 801.12/801.44 c rapidlearning : 0.11 1 0 0 0 0 801.12/801.44 c Pricers : Time Calls Vars 801.12/801.44 c problem variables: 0.00 0 0 801.12/801.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 801.12/801.44 c relpscost : 31.30 100614 48 985 0 0 199920 801.12/801.44 c pscost : 0.00 0 0 0 0 0 0 801.12/801.44 c inference : 0.00 0 0 0 0 0 0 801.12/801.44 c mostinf : 0.00 0 0 0 0 0 0 801.12/801.44 c leastinf : 0.00 0 0 0 0 0 0 801.12/801.44 c fullstrong : 0.00 0 0 0 0 0 0 801.12/801.44 c allfullstrong : 0.00 0 0 0 0 0 0 801.12/801.44 c random : 0.00 0 0 0 0 0 0 801.12/801.44 c Primal Heuristics : Time Calls Found 801.12/801.44 c LP solutions : 0.28 - 1 801.12/801.44 c pseudo solutions : 0.00 - 0 801.12/801.44 c oneopt : 0.28 0 0 801.12/801.44 c crossover : 0.06 0 0 801.12/801.44 c guideddiving : 0.00 0 0 801.12/801.44 c intshifting : 0.00 0 0 801.12/801.44 c rootsoldiving : 2.81 9 0 801.12/801.44 c coefdiving : 0.50 49 0 801.12/801.44 c linesearchdiving : 0.58 49 0 801.12/801.44 c pscostdiving : 0.69 49 0 801.12/801.44 c fracdiving : 0.51 49 0 801.12/801.44 c veclendiving : 0.67 49 0 801.12/801.44 c objpscostdiving : 0.87 25 0 801.12/801.44 c feaspump : 0.26 25 0 801.12/801.44 c trivial : 0.00 2 0 801.12/801.44 c simplerounding : 0.25 0 0 801.12/801.44 c zirounding : 0.11 1000 0 801.12/801.44 c rounding : 0.87 7646 0 801.12/801.44 c shifting : 8.71 2492 0 801.12/801.44 c twoopt : 0.00 0 0 801.12/801.44 c fixandinfer : 0.00 0 0 801.12/801.44 c intdiving : 0.00 0 0 801.12/801.44 c actconsdiving : 0.00 0 0 801.12/801.44 c octane : 0.00 0 0 801.12/801.44 c rens : 0.03 1 0 801.12/801.44 c rins : 0.00 0 0 801.12/801.44 c localbranching : 0.00 0 0 801.12/801.44 c mutation : 0.00 0 0 801.12/801.44 c dins : 0.00 0 0 801.12/801.44 c undercover : 0.61 1 0 801.12/801.44 c nlp : 0.08 0 0 801.12/801.44 c trysol : 0.22 0 0 801.12/801.44 c LP : Time Calls Iterations Iter/call Iter/sec 801.12/801.44 c primal LP : 91.38 0 0 0.00 0.00 801.12/801.44 c dual LP : 395.65 305606 2086300 6.83 5273.09 801.12/801.44 c lex dual LP : 0.00 0 0 0.00 - 801.12/801.44 c barrier LP : 0.00 0 0 0.00 - 801.12/801.44 c diving/probing LP: 5.13 2980 70634 23.70 13768.81 801.12/801.44 c strong branching : 28.72 19952 188807 9.46 6574.06 801.12/801.44 c (at root node) : - 16 1501 93.81 - 801.12/801.44 c conflict analysis: 0.00 0 0 0.00 - 801.12/801.44 c B&B Tree : 801.12/801.44 c number of runs : 1 801.12/801.44 c nodes : 118691 801.12/801.44 c nodes (total) : 118691 801.12/801.44 c nodes left : 0 801.12/801.44 c max depth : 135 801.12/801.44 c max depth (total): 135 801.12/801.44 c backtracks : 11551 (9.7%) 801.12/801.44 c delayed cutoffs : 11082 801.12/801.44 c repropagations : 35643 (182669 domain reductions, 10434 cutoffs) 801.12/801.44 c avg switch length: 4.91 801.12/801.44 c switching time : 107.20 801.12/801.44 c Solution : 801.12/801.44 c Solutions found : 1 (1 improvements) 801.12/801.44 c First Solution : +3.00000000000000e+00 (in run 1, after 118691 nodes, 748.71 seconds, depth 104, found by <relaxation>) 801.12/801.44 c Primal Bound : +3.00000000000000e+00 (in run 1, after 118691 nodes, 748.71 seconds, depth 104, found by <relaxation>) 801.12/801.44 c Dual Bound : +3.00000000000000e+00 801.12/801.44 c Gap : 0.00 % 801.12/801.44 c Root Dual Bound : +3.00000000000000e+00 801.12/801.44 c Root Iterations : 112 801.12/801.48 c Time complete: 801.21.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665008-1276647627/watcher-2665008-1276647627 -o /tmp/evaluation-result-2665008-1276647627/solver-2665008-1276647627 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665008-1276647627.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.22 1.09 3/106 4999 /proc/meminfo: memFree=1849740/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=9288 CPUtime=0 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 1036 0 0 0 0 0 0 0 20 0 1 0 40364176 9510912 956 1992294400 4194304 9819077 140733782381616 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4999/statm: 2322 965 371 1374 0 943 0 [startup+0.0811 s] /proc/loadavg: 1.11 1.22 1.09 3/106 4999 /proc/meminfo: memFree=1849740/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=15624 CPUtime=0.07 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 3276 0 0 0 4 3 0 0 20 0 1 0 40364176 15998976 2586 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 3906 2586 473 1374 0 2527 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15624 [startup+0.102103 s] /proc/loadavg: 1.11 1.22 1.09 3/106 4999 /proc/meminfo: memFree=1849740/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=15624 CPUtime=0.09 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 3276 0 0 0 5 4 0 0 20 0 1 0 40364176 15998976 2586 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 3906 2586 473 1374 0 2527 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15624 [startup+0.300129 s] /proc/loadavg: 1.11 1.22 1.09 3/106 4999 /proc/meminfo: memFree=1849740/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=16700 CPUtime=0.29 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 8970 0 0 0 15 14 0 0 20 0 1 0 40364176 17100800 2883 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 4175 2883 504 1374 0 2796 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16700 [startup+0.700182 s] /proc/loadavg: 1.11 1.22 1.09 3/106 4999 /proc/meminfo: memFree=1849740/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=32848 CPUtime=0.69 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 21639 0 0 0 44 25 0 0 20 0 1 0 40364176 33636352 6324 1992294400 4194304 9819077 140733782381616 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 8212 6324 705 1374 0 6833 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32848 [startup+1.50029 s] /proc/loadavg: 1.11 1.22 1.09 2/107 5000 /proc/meminfo: memFree=1826420/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=33164 CPUtime=1.49 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 57224 0 0 0 97 52 0 0 23 0 1 0 40364176 33959936 6490 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 8291 6490 727 1374 0 6912 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33164 [startup+3.1005 s] /proc/loadavg: 1.11 1.22 1.09 2/107 5000 /proc/meminfo: memFree=1825056/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=31584 CPUtime=3.09 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 61886 0 0 0 252 57 0 0 25 0 1 0 40364176 32342016 6671 1992294400 4194304 9819077 140733782381616 18446744073709551615 7481136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 7896 6671 728 1374 0 6517 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31584 [startup+6.30091 s] /proc/loadavg: 1.10 1.22 1.09 2/107 5000 /proc/meminfo: memFree=1824808/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=31584 CPUtime=6.29 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 62706 0 0 0 566 63 0 0 25 0 1 0 40364176 32342016 6706 1992294400 4194304 9819077 140733782381616 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 7896 6706 730 1374 0 6517 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31584 [startup+12.7008 s] /proc/loadavg: 1.09 1.21 1.09 2/107 5002 /proc/meminfo: memFree=1824808/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=31752 CPUtime=12.69 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 67319 0 0 0 1193 76 0 0 25 0 1 0 40364176 32514048 6710 1992294400 4194304 9819077 140733782381616 18446744073709551615 6361124 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 7938 6710 730 1374 0 6559 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31752 [startup+25.5014 s] /proc/loadavg: 1.07 1.20 1.09 2/107 5002 /proc/meminfo: memFree=1824808/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=32732 CPUtime=25.48 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 97703 0 0 0 2425 123 0 0 25 0 1 0 40364176 33517568 6834 1992294400 4194304 9819077 140733782381616 18446744073709551615 7235417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 8183 6834 730 1374 0 6804 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32732 [startup+51.1018 s] /proc/loadavg: 1.05 1.18 1.09 2/107 5002 /proc/meminfo: memFree=1821212/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=36536 CPUtime=51.07 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 220277 0 0 0 4842 265 0 0 25 0 1 0 40364176 37412864 7734 1992294400 4194304 9819077 140733782381616 18446744073709551615 6364953 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 9134 7734 730 1374 0 7755 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36536 [startup+102.308 s] /proc/loadavg: 1.02 1.15 1.08 2/107 5004 /proc/meminfo: memFree=1812532/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=45420 CPUtime=102.26 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 536335 0 0 0 9640 586 0 0 25 0 1 0 40364176 46510080 9861 1992294400 4194304 9819077 140733782381616 18446744073709551615 7302705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 11355 9861 730 1374 0 9976 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45420 [startup+162.301 s] /proc/loadavg: 1.00 1.12 1.08 2/107 5006 /proc/meminfo: memFree=1806828/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=50656 CPUtime=162.24 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 882854 0 0 0 15247 977 0 0 25 0 1 0 40364176 51871744 11278 1992294400 4194304 9819077 140733782381616 18446744073709551615 6361728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 12664 11278 730 1374 0 11285 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 50656 [startup+222.301 s] /proc/loadavg: 1.00 1.10 1.07 2/107 5006 /proc/meminfo: memFree=1799512/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=57620 CPUtime=222.23 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 1238663 0 0 0 20857 1366 0 0 25 0 1 0 40364176 59002880 13086 1992294400 4194304 9819077 140733782381616 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 14449 13087 730 1374 0 13070 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 57620 [startup+282.302 s] /proc/loadavg: 1.00 1.08 1.06 2/107 5008 /proc/meminfo: memFree=1791204/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=66476 CPUtime=282.2 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 1618020 0 0 0 26441 1779 0 0 25 0 1 0 40364176 68071424 15187 1992294400 4194304 9819077 140733782381616 18446744073709551615 6021451 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 16619 15187 730 1374 0 15240 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 66476 [startup+342.302 s] /proc/loadavg: 1.00 1.06 1.06 2/107 5010 /proc/meminfo: memFree=1785624/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=71888 CPUtime=342.18 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 2001006 0 0 0 32027 2191 0 0 25 0 1 0 40364176 73613312 16564 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 17972 16564 730 1374 0 16593 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 71888 [startup+402.302 s] /proc/loadavg: 1.00 1.05 1.05 2/107 5012 /proc/meminfo: memFree=1775828/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=81432 CPUtime=402.16 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 2309906 0 0 0 37660 2556 0 0 25 0 1 0 40364176 83386368 19000 1992294400 4194304 9819077 140733782381616 18446744073709551615 7816419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 20358 19000 730 1374 0 18979 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 81432 [startup+462.301 s] /proc/loadavg: 1.00 1.04 1.05 2/107 5014 /proc/meminfo: memFree=1770124/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=87000 CPUtime=462.15 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 2631639 0 0 0 43287 2928 0 0 25 0 1 0 40364176 89088000 20401 1992294400 4194304 9819077 140733782381616 18446744073709551615 5893857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 21750 20401 730 1374 0 20371 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 87000 [startup+522.3 s] /proc/loadavg: 1.00 1.03 1.04 2/107 5014 /proc/meminfo: memFree=1764544/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=92312 CPUtime=522.12 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 3010993 0 0 0 48873 3339 0 0 25 0 1 0 40364176 94527488 21724 1992294400 4194304 9819077 140733782381616 18446744073709551615 6389063 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 23078 21724 730 1374 0 21699 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 92312 [startup+582.3 s] /proc/loadavg: 1.00 1.02 1.04 2/107 5016 /proc/meminfo: memFree=1756236/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=101768 CPUtime=582.1 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 3380238 0 0 0 54456 3754 0 0 25 0 1 0 40364176 104210432 23859 1992294400 4194304 9819077 140733782381616 18446744073709551615 7263305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 25442 23859 730 1374 0 24063 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 101768 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.03 2/107 5018 /proc/meminfo: memFree=1750904/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=105936 CPUtime=642.09 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 3751019 0 0 0 60045 4164 0 0 25 0 1 0 40364176 108478464 25159 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 26484 25159 730 1374 0 25105 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 105936 [startup+702.301 s] /proc/loadavg: 1.00 1.01 1.02 2/107 5020 /proc/meminfo: memFree=1741728/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=114972 CPUtime=702.07 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4107401 0 0 0 65645 4562 0 0 25 0 1 0 40364176 117731328 27421 1992294400 4194304 9819077 140733782381616 18446744073709551615 6667227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 28743 27421 730 1374 0 27364 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 114972 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.02 2/107 5022 /proc/meminfo: memFree=1731064/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=127336 CPUtime=762.05 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4424168 0 0 0 71268 4937 0 0 25 0 1 0 40364176 130392064 30092 1992294400 4194304 9819077 140733782381616 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 31834 30092 730 1374 0 30455 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 127336 Solver just ended. Dumping a history of the last processes samples [startup+767.902 s] /proc/loadavg: 1.00 1.00 1.02 2/107 5022 /proc/meminfo: memFree=1728956/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=129652 CPUtime=767.63 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4453525 0 0 0 71791 4972 0 0 25 0 1 0 40364176 132763648 30607 1992294400 4194304 9819077 140733782381616 18446744073709551615 6361881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32413 30607 730 1374 0 31034 0 Current children cumulated CPU time (s) 767.63 Current children cumulated vsize (KiB) 129652 [startup+780.701 s] /proc/loadavg: 1.00 1.00 1.02 2/107 5022 /proc/meminfo: memFree=1728460/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=130312 CPUtime=780.44 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4527364 0 0 0 72985 5059 0 0 25 0 1 0 40364176 133439488 30729 1992294400 4194304 9819077 140733782381616 18446744073709551615 6666053 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32578 30729 730 1374 0 31199 0 Current children cumulated CPU time (s) 780.44 Current children cumulated vsize (KiB) 130312 [startup+793.501 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726972/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131112 CPUtime=793.23 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4624381 0 0 0 74162 5161 0 0 25 0 1 0 40364176 134258688 31064 1992294400 4194304 9819077 140733782381616 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32778 31064 730 1374 0 31399 0 Current children cumulated CPU time (s) 793.23 Current children cumulated vsize (KiB) 131112 [startup+796.7 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726848/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131448 CPUtime=796.43 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4643628 0 0 0 74461 5182 0 0 25 0 1 0 40364176 134602752 31119 1992294400 4194304 9819077 140733782381616 18446744073709551615 6723468 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32862 31119 730 1374 0 31483 0 Current children cumulated CPU time (s) 796.43 Current children cumulated vsize (KiB) 131448 [startup+799.901 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726724/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131752 CPUtime=799.62 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4663023 0 0 0 74755 5207 0 0 25 0 1 0 40364176 134914048 31121 1992294400 4194304 9819077 140733782381616 18446744073709551615 6003152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32938 31121 730 1374 0 31559 0 Current children cumulated CPU time (s) 799.62 Current children cumulated vsize (KiB) 131752 [startup+800.701 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726724/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131308 CPUtime=800.44 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4668394 0 0 0 74831 5213 0 0 25 0 1 0 40364176 134459392 31118 1992294400 4194304 9819077 140733782381616 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32827 31118 730 1374 0 31448 0 Current children cumulated CPU time (s) 800.44 Current children cumulated vsize (KiB) 131308 [startup+801.101 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726724/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131776 CPUtime=800.82 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4671007 0 0 0 74866 5216 0 0 25 0 1 0 40364176 134938624 31122 1992294400 4194304 9819077 140733782381616 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32944 31122 730 1374 0 31565 0 Current children cumulated CPU time (s) 800.82 Current children cumulated vsize (KiB) 131776 [startup+801.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726724/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131776 CPUtime=801.02 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4671376 0 0 0 74886 5216 0 0 25 0 1 0 40364176 134938624 31122 1992294400 4194304 9819077 140733782381616 18446744073709551615 6179930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32944 31122 730 1374 0 31565 0 Current children cumulated CPU time (s) 801.02 Current children cumulated vsize (KiB) 131776 [startup+801.401 s] /proc/loadavg: 1.00 1.00 1.01 2/107 5022 /proc/meminfo: memFree=1726724/2059040 swapFree=4139776/4192956 [pid=4999] ppid=4997 vsize=131776 CPUtime=801.12 /proc/4999/stat : 4999 (pbscip.linux.x8) R 4997 4999 4419 0 -1 4202496 4671376 0 0 0 74896 5216 0 0 25 0 1 0 40364176 134938624 31122 1992294400 4194304 9819077 140733782381616 18446744073709551615 6179930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4999/statm: 32944 31122 730 1374 0 31565 0 Current children cumulated CPU time (s) 801.12 Current children cumulated vsize (KiB) 131776 Child status: 0 Real time (s): 801.481 CPU time (s): 801.215 CPU user time (s): 749.032 CPU system time (s): 52.1831 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 132664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 749.032 system time used= 52.1831 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4671381 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1748 runsolver used 1.26281 second user time and 3.84741 second system time The end
Begin job on node013 at 2010-06-16 02:20:27 IDJOB=2665008 IDBENCH=47951 IDSOLVER=1168 FILE ID=node013/2665008-1276647627 PBS_JOBID= 11172410 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665008-1276647627/watcher-2665008-1276647627 -o /tmp/evaluation-result-2665008-1276647627/solver-2665008-1276647627 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665008-1276647627.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c7fd9e5ff885ee342a28d015ab19e648 RANDOM SEED=555214676 node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850392 kB Buffers: 26096 kB Cached: 101780 kB SwapCached: 6748 kB Active: 106500 kB Inactive: 35620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850392 kB SwapTotal: 4192956 kB SwapFree: 4139776 kB Dirty: 6464 kB Writeback: 0 kB AnonPages: 12572 kB Mapped: 13088 kB Slab: 44796 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181864 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node013 at 2010-06-16 02:33:48