Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 3.71443 | 3.7153 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo |
MD5SUM | e1c1b8cf9bad61151281f614914c2e6f |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 0.31795 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 69 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1215 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 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-2705407-1278572941.wbo> 0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 69 impl, 0 cont) and 171 constraints 0.00/0.00 c problem read 0.00/0.00 c presolving settings loaded 0.00/0.00 c presolving: 0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 20 clqs 0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 20 clqs 0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 20 clqs 0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 6 impls, 20 clqs 0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.02 c presolving (5 rounds): 0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 0.00/0.02 c 92 implications, 20 cliques 0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 68 impl, 0 cont) and 166 constraints 0.00/0.02 c 23 constraints of type <setppc> 0.00/0.02 c 68 constraints of type <linear> 0.00/0.02 c 68 constraints of type <indicator> 0.00/0.02 c 7 constraints of type <logicor> 0.00/0.02 c transformed objective value is always integral (scale: 1) 0.00/0.02 c Presolving Time: 0.01 0.00/0.02 c - non default parameters ---------------------------------------------------------------------- 0.00/0.02 c # SCIP version 1.2.1.3 0.00/0.02 c 0.00/0.02 c # frequency for displaying node information lines 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.02 c display/freq = 10000 0.00/0.02 c 0.00/0.02 c # maximal time in seconds to run 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/time = 1790 0.00/0.02 c 0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/memory = 3420 0.00/0.02 c 0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.00/0.02 c # [type: int, range: [1,2], default: 1] 0.00/0.02 c timing/clocktype = 2 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify inequalities 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/linear/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/indicator/addCouplingCons = TRUE 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify knapsacks 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.02 c separating/rapidlearning/freq = 0 0.00/0.02 c 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c start solving 0.00/0.02 c 0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.02 c 0.0s| 1 | 0 | 8 | - |1060k| 0 | 0 | 305 | 166 | 305 | 30 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 33 | - |1086k| 0 | 14 | 305 | 166 | 305 | 50 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 56 | - |1207k| 0 | 33 | 305 | 166 | 305 | 58 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 73 | - |1330k| 0 | 35 | 305 | 166 | 305 | 64 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.05 c 0.0s| 1 | 0 | 96 | - |1569k| 0 | 37 | 305 | 166 | 305 | 66 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.06 c 0.1s| 1 | 0 | 111 | - |1671k| 0 | 36 | 305 | 166 | 305 | 67 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 0.04/0.07 c 0.1s| 1 | 0 | 130 | - |1791k| 0 | 38 | 305 | 166 | 305 | 68 | 38 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.12 c 0.1s| 1 | 2 | 130 | - |1794k| 0 | 38 | 305 | 166 | 305 | 68 | 38 | 0 | 23 | 0.000000e+00 | -- | Inf 0.19/0.26 o 3162 0.19/0.26 c y 0.3s| 16 | 15 | 474 | 22.9 |1828k| 14 | - | 305 | 166 | 0 | 0 | 46 | 0 | 166 | 0.000000e+00 | 3.162000e+03 | Inf 0.79/0.84 o 113 0.79/0.84 c * 0.8s| 617 | 186 | 2814 | 4.4 |2150k| 76 | - | 305 | 166 | 305 | 83 | 181 | 0 | 777 | 0.000000e+00 | 1.130000e+02 | Inf 0.79/0.88 o 83 0.79/0.88 c * 0.9s| 663 | 153 | 3143 | 4.6 |2179k| 76 | - | 305 | 184 | 305 | 75 | 195 | 18 | 804 | 0.000000e+00 | 8.300000e+01 | Inf 0.79/0.88 o 81 0.79/0.88 c * 0.9s| 664 | 148 | 3152 | 4.6 |2180k| 76 | - | 305 | 184 | 305 | 75 | 195 | 18 | 804 | 0.000000e+00 | 8.100000e+01 | Inf 0.79/0.89 o 77 0.79/0.89 c * 0.9s| 692 | 143 | 3372 | 4.7 |2222k| 76 | - | 305 | 206 | 305 | 74 | 198 | 51 | 815 | 0.000000e+00 | 7.700000e+01 | Inf 0.89/0.97 o 73 0.89/0.97 c * 1.0s| 843 | 160 | 4072 | 4.7 |2402k| 76 | - | 305 | 316 | 305 | 70 | 218 | 163 | 869 | 0.000000e+00 | 7.300000e+01 | Inf 0.89/1.00 o 71 0.89/1.00 c * 1.0s| 900 | 148 | 4437 | 4.8 |2403k| 76 | - | 305 | 353 | 305 | 75 | 227 | 202 | 890 | 0.000000e+00 | 7.100000e+01 | Inf 1.09/1.15 o 59 1.09/1.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1.09/1.15 c * 1.1s| 1350 | 313 | 5568 | 4.0 |2761k| 86 | - | 305 | 575 | 305 | 64 | 254 | 429 | 935 | 0.000000e+00 | 5.900000e+01 | Inf 3.09/3.10 o 56 3.09/3.10 c c 3.1s| 5341 | 787 | 30008 | 5.6 |5480k| 86 | - | 305 |3033 | 305 | 67 | 832 |3830 |1290 | 0.000000e+00 | 5.600000e+01 | Inf 3.20/3.28 o 25 3.20/3.28 c f 3.3s| 5685 | 693 | 32436 | 5.7 |5430k| 86 | - | 305 |2996 | 305 | 68 | 884 |4106 |1300 | 0.000000e+00 | 2.500000e+01 | Inf 3.39/3.47 o 19 3.39/3.47 c * 3.5s| 5955 | 627 | 36338 | 6.1 |5356k| 86 | - | 305 |2750 | 305 | 65 | 917 |4392 |1356 | 0.000000e+00 | 1.900000e+01 | Inf 3.49/3.53 o 15 3.49/3.53 c * 3.5s| 6025 | 292 | 37825 | 6.3 |4595k| 86 | - | 305 |2623 | 305 | 64 | 938 |4468 |1361 | 0.000000e+00 | 1.500000e+01 | Inf 3.69/3.71 c 3.69/3.71 c SCIP Status : problem is solved [optimal solution found] 3.69/3.71 c Solving Time (sec) : 3.70 3.69/3.71 c Solving Nodes : 6220 3.69/3.71 c Primal Bound : +1.50000000000000e+01 (135 solutions) 3.69/3.71 c Dual Bound : +1.50000000000000e+01 3.69/3.71 c Gap : 0.00 % 3.69/3.71 s OPTIMUM FOUND 3.69/3.71 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 3.69/3.71 v -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 3.69/3.71 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 3.69/3.71 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 3.69/3.71 v -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 3.69/3.71 v -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 3.69/3.71 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 3.69/3.71 v -x4 -x3 -x2 -x1 3.69/3.71 c SCIP Status : problem is solved [optimal solution found] 3.69/3.71 c Solving Time : 3.70 3.69/3.71 c Original Problem : 3.69/3.71 c Problem name : HOME/instance-2705407-1278572941.wbo 3.69/3.71 c Variables : 307 (238 binary, 0 integer, 69 implicit integer, 0 continuous) 3.69/3.71 c Constraints : 171 initial, 171 maximal 3.69/3.71 c Presolved Problem : 3.69/3.71 c Problem name : t_HOME/instance-2705407-1278572941.wbo 3.69/3.71 c Variables : 305 (237 binary, 0 integer, 68 implicit integer, 0 continuous) 3.69/3.71 c Constraints : 166 initial, 3127 maximal 3.69/3.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 3.69/3.71 c trivial : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c dualfix : 0.00 2 0 0 0 0 0 0 0 3.69/3.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c implics : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c probing : 0.01 0 0 0 0 0 0 0 0 3.69/3.71 c setppc : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c linear : 0.00 0 0 0 68 0 4 1 0 3.69/3.71 c indicator : 0.00 0 0 0 0 0 1 0 0 3.69/3.71 c logicor : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 3.69/3.71 c root node : - 112 - - 112 - - - - 3.69/3.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 3.69/3.71 c integral : 0 0 0 4717 0 2 165 0 0 4286 3.69/3.71 c setppc : 23 6 21725 2412 0 57 19978 0 0 0 3.69/3.71 c linear : 68 6 21684 2415 0 523 60321 938 0 0 3.69/3.71 c indicator : 68 0 21072 2420 0 116 33439 0 0 0 3.69/3.71 c logicor : 7+ 6 10191 1750 0 301 4801 0 0 0 3.69/3.71 c bounddisjunction : 0+ 0 8465 0 0 55 696 0 0 0 3.69/3.71 c countsols : 0 0 0 1876 0 0 0 0 0 0 3.69/3.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 3.69/3.71 c integral : 0.78 0.00 0.00 0.78 0.00 3.69/3.71 c setppc : 0.03 0.00 0.03 0.00 0.00 3.69/3.71 c linear : 0.27 0.00 0.26 0.01 0.00 3.69/3.71 c indicator : 0.05 0.00 0.04 0.01 0.00 3.69/3.71 c logicor : 0.14 0.00 0.14 0.00 0.00 3.69/3.71 c bounddisjunction : 0.07 0.00 0.07 0.00 0.00 3.69/3.71 c countsols : 0.00 0.00 0.00 0.00 0.00 3.69/3.71 c Propagators : Time Calls Cutoffs DomReds 3.69/3.71 c vbounds : 0.04 5946 0 2122 3.69/3.71 c rootredcost : 0.00 12 0 56 3.69/3.71 c pseudoobj : 0.08 21764 213 33308 3.69/3.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 3.69/3.71 c propagation : 0.05 1149 1138 7346 22.3 19 20.9 - 3.69/3.71 c infeasible LP : 0.07 1246 1241 7357 18.2 7 16.7 0 3.69/3.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 3.69/3.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 3.69/3.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 3.69/3.71 c applied globally : - - - 4769 15.7 - - - 3.69/3.71 c applied locally : - - - 2 36.5 - - - 3.69/3.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 3.69/3.71 c cut pool : 0.00 4 - - 4 - (maximal pool size: 132) 3.69/3.71 c redcost : 0.03 4933 0 1433 0 0 3.69/3.71 c impliedbounds : 0.00 5 0 0 0 0 3.69/3.71 c intobj : 0.00 0 0 0 0 0 3.69/3.71 c cgmip : 0.00 0 0 0 0 0 3.69/3.71 c gomory : 0.01 5 0 0 22 0 3.69/3.71 c strongcg : 0.01 5 0 0 143 0 3.69/3.71 c cmir : 0.00 5 0 0 0 0 3.69/3.71 c flowcover : 0.01 5 0 0 0 0 3.69/3.71 c clique : 0.00 5 0 0 0 0 3.69/3.71 c zerohalf : 0.00 0 0 0 0 0 3.69/3.71 c mcf : 0.00 1 0 0 0 0 3.69/3.71 c rapidlearning : 0.01 1 0 0 0 0 3.69/3.71 c Pricers : Time Calls Vars 3.69/3.71 c problem variables: 0.00 0 0 3.69/3.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 3.69/3.71 c relpscost : 0.78 2295 2 165 0 0 4286 3.69/3.71 c pscost : 0.00 0 0 0 0 0 0 3.69/3.71 c inference : 0.03 1867 0 0 0 0 3773 3.69/3.71 c mostinf : 0.00 0 0 0 0 0 0 3.69/3.71 c leastinf : 0.00 0 0 0 0 0 0 3.69/3.71 c fullstrong : 0.00 0 0 0 0 0 0 3.69/3.71 c allfullstrong : 0.00 0 0 0 0 0 0 3.69/3.71 c random : 0.00 0 0 0 0 0 0 3.69/3.71 c Primal Heuristics : Time Calls Found 3.69/3.71 c LP solutions : 0.00 - 9 3.69/3.71 c pseudo solutions : 0.00 - 0 3.69/3.71 c oneopt : 0.01 11 0 3.69/3.71 c veclendiving : 0.00 32 0 3.69/3.71 c linesearchdiving : 0.00 32 0 3.69/3.71 c guideddiving : 0.00 32 0 3.69/3.71 c coefdiving : 0.01 32 1 3.69/3.71 c pscostdiving : 0.00 32 0 3.69/3.71 c fracdiving : 0.01 33 1 3.69/3.71 c objpscostdiving : 0.00 30 0 3.69/3.71 c rootsoldiving : 0.00 31 0 3.69/3.71 c trivial : 0.00 2 0 3.69/3.71 c simplerounding : 0.00 2342 0 3.69/3.71 c zirounding : 0.01 1000 0 3.69/3.71 c rounding : 0.01 652 0 3.69/3.71 c shifting : 0.02 179 0 3.69/3.71 c intshifting : 0.00 0 0 3.69/3.71 c twoopt : 0.00 0 0 3.69/3.71 c fixandinfer : 0.00 0 0 3.69/3.71 c feaspump : 0.00 1 0 3.69/3.71 c intdiving : 0.00 0 0 3.69/3.71 c actconsdiving : 0.00 0 0 3.69/3.71 c octane : 0.00 0 0 3.69/3.71 c rens : 0.01 1 0 3.69/3.71 c rins : 0.00 0 0 3.69/3.71 c localbranching : 0.00 0 0 3.69/3.71 c mutation : 0.00 0 0 3.69/3.71 c crossover : 0.05 7 0 3.69/3.71 c dins : 0.00 0 0 3.69/3.71 c undercover : 0.00 0 0 3.69/3.71 c nlp : 0.00 0 0 3.69/3.71 c trysol : 0.01 184 124 3.69/3.71 c LP : Time Calls Iterations Iter/call Iter/sec 3.69/3.71 c primal LP : 0.00 0 0 0.00 - 3.69/3.71 c dual LP : 1.30 4686 41459 8.85 31983.50 3.69/3.71 c lex dual LP : 0.00 0 0 0.00 - 3.69/3.71 c barrier LP : 0.00 0 0 0.00 - 3.69/3.71 c diving/probing LP: 0.01 64 301 4.70 22307.86 3.69/3.71 c strong branching : 0.76 1369 32756 23.93 42903.60 3.69/3.71 c (at root node) : - 23 1410 61.30 - 3.69/3.71 c conflict analysis: 0.00 0 0 0.00 - 3.69/3.71 c B&B Tree : 3.69/3.71 c number of runs : 1 3.69/3.71 c nodes : 6220 3.69/3.71 c nodes (total) : 6220 3.69/3.71 c nodes left : 0 3.69/3.71 c max depth : 86 3.69/3.71 c max depth (total): 86 3.69/3.71 c backtracks : 1037 (16.7%) 3.69/3.71 c delayed cutoffs : 686 3.69/3.71 c repropagations : 6391 (38123 domain reductions, 308 cutoffs) 3.69/3.71 c avg switch length: 4.38 3.69/3.71 c switching time : 0.26 3.69/3.71 c Solution : 3.69/3.71 c Solutions found : 135 (12 improvements) 3.69/3.71 c First Solution : +3.16200000000000e+03 (in run 1, after 15 nodes, 0.26 seconds, depth 15, found by <trysol>) 3.69/3.71 c Primal Bound : +1.50000000000000e+01 (in run 1, after 6025 nodes, 3.52 seconds, depth 15, found by <relaxation>) 3.69/3.71 c Dual Bound : +1.50000000000000e+01 3.69/3.71 c Gap : 0.00 % 3.69/3.71 c Root Dual Bound : +0.00000000000000e+00 3.69/3.71 c Root Iterations : 130 3.69/3.71 c Time complete: 3.71.
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705407-1278572941/watcher-2705407-1278572941 -o /tmp/evaluation-result-2705407-1278572941/solver-2705407-1278572941 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705407-1278572941.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/168 24793 /proc/meminfo: memFree=29056916/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=12324 CPUtime=0 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 1926 0 0 0 0 0 0 0 23 0 1 0 25507977 12619776 1846 4089446400 4194304 10345943 140736442553744 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/24793/statm: 3081 1851 429 1502 0 1574 0 [startup+0.047986 s] /proc/loadavg: 0.00 0.00 0.00 2/168 24793 /proc/meminfo: memFree=29056916/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=24120 CPUtime=0.04 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 5755 0 0 0 3 1 0 0 23 0 1 0 25507977 24698880 4774 4089446400 4194304 10345943 140736442553744 18446744073709551615 6195994 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6030 4774 742 1502 0 4523 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 24120 [startup+0.100976 s] /proc/loadavg: 0.00 0.00 0.00 2/168 24793 /proc/meminfo: memFree=29056916/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=24120 CPUtime=0.09 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 6470 0 0 0 8 1 0 0 23 0 1 0 25507977 24698880 4907 4089446400 4194304 10345943 140736442553744 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6030 4907 768 1502 0 4523 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24120 [startup+0.300943 s] /proc/loadavg: 0.00 0.00 0.00 2/168 24793 /proc/meminfo: memFree=29056916/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=24120 CPUtime=0.29 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 6473 0 0 0 27 2 0 0 23 0 1 0 25507977 24698880 4910 4089446400 4194304 10345943 140736442553744 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6030 4910 771 1502 0 4523 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24120 [startup+0.700873 s] /proc/loadavg: 0.00 0.00 0.00 2/168 24793 /proc/meminfo: memFree=29056916/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=24120 CPUtime=0.69 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 6474 0 0 0 66 3 0 0 25 0 1 0 25507977 24698880 4911 4089446400 4194304 10345943 140736442553744 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6030 4911 771 1502 0 4523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24120 [startup+1.50078 s] /proc/loadavg: 0.08 0.02 0.01 2/169 24794 /proc/meminfo: memFree=29039452/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=24120 CPUtime=1.49 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 8743 0 0 0 143 6 0 0 25 0 1 0 25507977 24698880 4920 4089446400 4194304 10345943 140736442553744 18446744073709551615 6119774 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6030 4920 778 1502 0 4523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24120 [startup+3.10049 s] /proc/loadavg: 0.08 0.02 0.01 2/169 24794 /proc/meminfo: memFree=29039080/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=26244 CPUtime=3.09 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 12876 0 0 0 300 9 0 0 25 0 1 0 25507977 26873856 5023 4089446400 4194304 10345943 140736442553744 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6561 5023 787 1502 0 5054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26244 Solver just ended. Dumping a history of the last processes samples [startup+3.50042 s] /proc/loadavg: 0.08 0.02 0.01 2/169 24794 /proc/meminfo: memFree=29039328/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=26240 CPUtime=3.49 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 14928 0 0 0 339 10 0 0 25 0 1 0 25507977 26869760 5064 4089446400 4194304 10345943 140736442553744 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6560 5064 787 1502 0 5053 0 Current children cumulated CPU time (s) 3.49 Current children cumulated vsize (KiB) 26240 [startup+3.70039 s] /proc/loadavg: 0.08 0.02 0.01 2/169 24794 /proc/meminfo: memFree=29039328/32951132 swapFree=67111528/67111528 [pid=24793] ppid=24791 vsize=26420 CPUtime=3.69 /proc/24793/stat : 24793 (pbscip.linux.x8) R 24791 24793 24738 0 -1 4202496 14952 0 0 0 358 11 0 0 25 0 1 0 25507977 27054080 5088 4089446400 4194304 10345943 140736442553744 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/24793/statm: 6605 5088 787 1502 0 5098 0 Current children cumulated CPU time (s) 3.69 Current children cumulated vsize (KiB) 26420 Child status: 0 Real time (s): 3.7153 CPU time (s): 3.71443 CPU user time (s): 3.60045 CPU system time (s): 0.113982 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 30460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.60045 system time used= 0.113982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14956 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= 1 involuntary context switches= 4 runsolver used 0.008998 second user time and 0.014997 second system time The end
Begin job on node131 at 2010-07-08 09:09:02 IDJOB=2705407 IDBENCH=78828 IDSOLVER=1214 FILE ID=node131/2705407-1278572941 PBS_JOBID= 11240192 Free space on /tmp= 73624 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo 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-2705407-1278572941/watcher-2705407-1278572941 -o /tmp/evaluation-result-2705407-1278572941/solver-2705407-1278572941 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705407-1278572941.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1c1b8cf9bad61151281f614914c2e6f RANDOM SEED=1542155532 node131.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.828 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.65 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.828 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.76 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.72 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.828 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.828 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 : 5441.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29057692 kB Buffers: 158516 kB Cached: 3508192 kB SwapCached: 0 kB Active: 1218952 kB Inactive: 2508404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29057692 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12956 kB Writeback: 0 kB AnonPages: 60640 kB Mapped: 14640 kB Slab: 104904 kB PageTables: 3768 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 177744 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73612 MiB End job on node131 at 2010-07-08 09:09:05