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 | 219.417 | 219.509 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb |
MD5SUM | a92642ddb77f2466b803e375801dde37 |
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 | 0.551915 |
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 | 126 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
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-2664949-1276646141.opb> 0.00/0.01 c original problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 307 constraints 0.00/0.01 c problem read 0.00/0.01 c presolving settings loaded 0.00/0.02 c presolving: 0.00/0.06 c (round 1) 6 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 35 chg coeffs, 0 upgd conss, 1656 impls, 0 clqs 0.00/0.06 c (round 2) 20 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 47 chg coeffs, 7 upgd conss, 2496 impls, 0 clqs 0.07/0.07 c (round 3) 34 del vars, 24 del conss, 0 chg bounds, 0 chg sides, 59 chg coeffs, 7 upgd conss, 3168 impls, 0 clqs 0.07/0.07 c (round 4) 48 del vars, 36 del conss, 0 chg bounds, 0 chg sides, 71 chg coeffs, 7 upgd conss, 3672 impls, 0 clqs 0.07/0.08 c (round 5) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 83 chg coeffs, 7 upgd conss, 4008 impls, 0 clqs 0.07/0.08 c (round 6) 76 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 7 upgd conss, 4176 impls, 0 clqs 0.07/0.08 c (round 7) 90 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 107 chg coeffs, 7 upgd conss, 4176 impls, 0 clqs 0.09/0.10 c (0.1s) probing: 172/330 (52.1%) - 0 fixings, 0 aggregations, 12 implications, 0 bound changes 0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.10 c presolving (8 rounds): 0.09/0.10 c 90 deleted vars, 72 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 107 changed coefficients 0.09/0.10 c 4200 implications, 0 cliques 0.09/0.10 c presolved problem has 330 variables (330 bin, 0 int, 0 impl, 0 cont) and 229 constraints 0.09/0.10 c 216 constraints of type <and> 0.09/0.10 c 6 constraints of type <linear> 0.09/0.10 c 7 constraints of type <logicor> 0.09/0.10 c transformed objective value is always integral (scale: 2) 0.09/0.10 c Presolving Time: 0.04 0.09/0.10 c - non default parameters ---------------------------------------------------------------------- 0.09/0.10 c # SCIP version 1.2.1.2 0.09/0.10 c 0.09/0.10 c # frequency for displaying node information lines 0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.10 c display/freq = 10000 0.09/0.10 c 0.09/0.10 c # maximal time in seconds to run 0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.10 c limits/time = 1800 0.09/0.10 c 0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.10 c limits/memory = 1620 0.09/0.10 c 0.09/0.10 c # should presolving try to simplify inequalities 0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.10 c constraints/linear/simplifyinequalities = TRUE 0.09/0.10 c 0.09/0.10 c # should presolving try to simplify knapsacks 0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.10 c 0.09/0.10 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs) 0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.10 c heuristics/undercover/freq = 0 0.09/0.10 c 0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.10 c separating/rapidlearning/freq = 0 0.09/0.10 c 0.09/0.10 c ----------------------------------------------------------------------------------------------- 0.09/0.10 c start solving 0.09/0.10 c 0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.11 c 0.1s| 1 | 0 | 15 | - |1591k| 0 | 8 | 330 | 229 | 330 | 445 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 0.78/0.80 c 0.5s| 1 | 0 | 26 | - |1622k| 0 | 13 | 330 | 229 | 330 | 451 | 6 | 0 | 0 | 3.000000e+00 | -- | Inf 0.78/0.82 c 0.5s| 1 | 0 | 46 | - |1656k| 0 | 23 | 330 | 229 | 330 | 459 | 14 | 0 | 0 | 3.000000e+00 | -- | Inf 0.78/0.85 c 0.6s| 1 | 0 | 79 | - |1695k| 0 | 40 | 330 | 229 | 330 | 468 | 23 | 0 | 0 | 3.000000e+00 | -- | Inf 0.78/0.89 c 0.6s| 1 | 0 | 126 | - |1724k| 0 | 38 | 330 | 229 | 330 | 490 | 45 | 0 | 0 | 3.000000e+00 | -- | Inf 0.89/0.94 c 0.7s| 1 | 0 | 170 | - |1763k| 0 | 65 | 330 | 229 | 330 | 507 | 62 | 0 | 0 | 3.000000e+00 | -- | Inf 1.00/1.01 c 0.7s| 1 | 0 | 229 | - |1813k| 0 | 69 | 330 | 229 | 330 | 532 | 87 | 0 | 0 | 3.000000e+00 | -- | Inf 1.19/1.22 c 0.9s| 1 | 2 | 229 | - |1813k| 0 | 69 | 330 | 229 | 330 | 532 | 87 | 0 | 19 | 3.000000e+00 | -- | Inf 35.98/36.04 c 33.3s| 10000 | 1297 | 90247 | 9.0 |4753k| 47 | 11 | 330 |2032 | 330 | 196 | 37k|6702 |2080 | 3.000000e+00 | -- | Inf 65.87/65.90 c 60.8s| 20000 | 1646 |161500 | 8.1 |6117k| 49 | 10 | 330 |3016 | 330 | 215 | 64k| 14k|2944 | 3.000000e+00 | -- | Inf 96.95/97.03 c 89.7s| 30000 | 1264 |235399 | 7.8 |5848k| 49 | - | 330 |2984 | 0 | 0 | 93k| 22k|3641 | 3.000000e+00 | -- | Inf 125.73/125.86 c 116s| 40000 | 1151 |308326 | 7.7 |5793k| 59 | 11 | 330 |3063 | 330 | 191 | 117k| 30k|5084 | 3.000000e+00 | -- | Inf 154.32/154.41 c 143s| 50000 | 1635 |384256 | 7.7 |6679k| 59 | 21 | 330 |3484 | 330 | 273 | 142k| 37k|5768 | 3.000000e+00 | -- | Inf 182.91/183.07 c 169s| 60000 | 1931 |465312 | 7.8 |7288k| 59 | 21 | 330 |2935 | 330 | 186 | 168k| 45k|6467 | 3.000000e+00 | -- | Inf 210.80/210.92 c 195s| 70000 | 2036 |553760 | 7.9 |7986k| 59 | - | 330 |3812 | 0 | 0 | 193k| 53k|7076 | 3.000000e+00 | -- | Inf 219.30/219.49 o 3 219.30/219.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 219.30/219.49 c * 203s| 72945 | 0 |580083 | 7.9 |4184k| 59 | - | 330 |3452 | 330 | 244 | 200k| 55k|7554 | 3.000000e+00 | 3.000000e+00 | 0.00% 219.30/219.49 c 219.30/219.49 c SCIP Status : problem is solved [optimal solution found] 219.30/219.49 c Solving Time (sec) : 202.78 219.30/219.49 c Solving Nodes : 72945 219.30/219.49 c Primal Bound : +3.00000000000000e+00 (1 solutions) 219.30/219.49 c Dual Bound : +3.00000000000000e+00 219.30/219.49 c Gap : 0.00 % 219.30/219.49 s OPTIMUM FOUND 219.30/219.49 v -x126 -x125 x124 -x123 -x122 x121 -x120 -x119 x118 x117 -x116 x115 x114 -x113 x84 -x83 x82 x81 x80 x79 x78 -x112 -x111 x110 x109 219.30/219.49 v x108 x107 x106 x77 -x76 x75 x74 -x73 x72 x71 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x70 x69 x68 x67 -x66 x65 x64 -x98 -x97 219.30/219.49 v -x96 x95 -x94 -x93 x92 -x63 -x62 -x61 -x60 -x59 x58 x57 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x56 -x55 -x54 x53 x52 x51 x50 -x49 219.30/219.49 v -x48 x47 x46 -x45 -x44 x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 x29 -x28 x27 -x26 x25 -x24 -x23 x22 219.30/219.49 v x21 -x20 -x19 x18 x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 x2 x1 219.30/219.49 c SCIP Status : problem is solved [optimal solution found] 219.30/219.49 c Solving Time : 202.78 219.30/219.49 c Original Problem : 219.30/219.49 c Problem name : HOME/instance-2664949-1276646141.opb 219.30/219.49 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous) 219.30/219.49 c Constraints : 307 initial, 307 maximal 219.30/219.49 c Presolved Problem : 219.30/219.49 c Problem name : t_HOME/instance-2664949-1276646141.opb 219.30/219.49 c Variables : 330 (330 binary, 0 integer, 0 implicit integer, 0 continuous) 219.30/219.49 c Constraints : 229 initial, 4159 maximal 219.30/219.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 219.30/219.49 c trivial : 0.00 0 0 0 0 0 0 0 0 219.30/219.49 c dualfix : 0.00 0 0 0 0 0 0 0 0 219.30/219.49 c boundshift : 0.00 0 0 0 0 0 0 0 0 219.30/219.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0 219.30/219.49 c implics : 0.00 0 0 0 0 0 0 0 0 219.30/219.49 c probing : 0.02 0 0 0 0 0 0 0 0 219.30/219.49 c and : 0.01 12 72 0 0 0 72 0 72 219.30/219.49 c linear : 0.01 1 5 0 0 0 0 0 35 219.30/219.49 c logicor : 0.00 0 0 0 0 0 0 0 0 219.30/219.49 c root node : - 0 - - 0 - - - - 219.30/219.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 219.30/219.49 c integral : 0 0 0 49788 0 22 401 0 0 98968 219.30/219.49 c and : 216 125327 258162 0 0 3438 421879 200660 0 0 219.30/219.49 c linear : 6 6 254723 0 0 37533 194775 0 0 0 219.30/219.49 c logicor : 7+ 6 127761 0 0 1660 66042 0 0 0 219.30/219.49 c countsols : 0 0 0 1 0 0 0 0 0 0 219.30/219.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 219.30/219.49 c integral : 8.49 0.00 0.00 8.49 0.00 219.30/219.49 c and : 9.03 5.54 3.49 0.00 0.00 219.30/219.49 c linear : 11.08 0.00 11.08 0.00 0.00 219.30/219.49 c logicor : 9.87 0.00 9.87 0.00 0.00 219.30/219.49 c countsols : 0.00 0.00 0.00 0.00 0.00 219.30/219.49 c Propagators : Time Calls Cutoffs DomReds 219.30/219.49 c vbounds : 0.13 2 0 0 219.30/219.49 c rootredcost : 0.20 0 0 0 219.30/219.49 c pseudoobj : 0.47 257809 0 0 219.30/219.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 219.30/219.49 c propagation : 6.91 42631 42568 397305 32.7 3493 15.7 - 219.30/219.49 c infeasible LP : 0.01 82 78 589 30.1 28 11.4 0 219.30/219.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 219.30/219.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 219.30/219.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 219.30/219.49 c applied globally : - - - 55149 16.0 - - - 219.30/219.49 c applied locally : - - - 32 35.4 - - - 219.30/219.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss 219.30/219.49 c cut pool : 0.00 5 - - 21 - (maximal pool size: 158) 219.30/219.49 c redcost : 1.60 125328 0 0 0 0 219.30/219.49 c impliedbounds : 0.00 6 0 0 34 0 219.30/219.49 c intobj : 0.00 0 0 0 0 0 219.30/219.49 c cgmip : 0.00 0 0 0 0 0 219.30/219.49 c gomory : 0.05 6 0 0 146 0 219.30/219.49 c strongcg : 0.05 6 0 0 158 0 219.30/219.49 c cmir : 0.02 6 0 0 82 0 219.30/219.49 c flowcover : 0.08 6 0 0 127 0 219.30/219.49 c clique : 0.00 1 0 0 0 0 219.30/219.49 c zerohalf : 0.00 0 0 0 0 0 219.30/219.49 c mcf : 0.00 1 0 0 0 0 219.30/219.49 c rapidlearning : 0.03 1 0 0 0 0 219.30/219.49 c Pricers : Time Calls Vars 219.30/219.49 c problem variables: 0.00 0 0 219.30/219.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 219.30/219.49 c relpscost : 8.38 49787 22 401 0 0 98968 219.30/219.49 c pscost : 0.00 0 0 0 0 0 0 219.30/219.49 c inference : 0.00 0 0 0 0 0 0 219.30/219.49 c mostinf : 0.00 0 0 0 0 0 0 219.30/219.49 c leastinf : 0.00 0 0 0 0 0 0 219.30/219.49 c fullstrong : 0.00 0 0 0 0 0 0 219.30/219.49 c allfullstrong : 0.00 0 0 0 0 0 0 219.30/219.49 c random : 0.00 0 0 0 0 0 0 219.30/219.49 c Primal Heuristics : Time Calls Found 219.30/219.49 c LP solutions : 0.01 - 1 219.30/219.49 c pseudo solutions : 0.00 - 0 219.30/219.49 c oneopt : 0.10 0 0 219.30/219.49 c crossover : 0.03 0 0 219.30/219.49 c intshifting : 0.00 0 0 219.30/219.49 c linesearchdiving : 0.01 5 0 219.30/219.49 c feaspump : 0.02 3 0 219.30/219.49 c objpscostdiving : 0.06 3 0 219.30/219.49 c rootsoldiving : 0.14 3 0 219.30/219.49 c coefdiving : 0.02 6 0 219.30/219.49 c pscostdiving : 0.08 6 0 219.30/219.49 c fracdiving : 0.01 6 0 219.30/219.49 c trivial : 0.00 2 0 219.30/219.49 c simplerounding : 0.07 0 0 219.30/219.49 c zirounding : 0.05 1000 0 219.30/219.49 c rounding : 0.32 5127 0 219.30/219.49 c shifting : 2.46 1450 0 219.30/219.49 c twoopt : 0.00 0 0 219.30/219.49 c fixandinfer : 0.00 0 0 219.30/219.49 c veclendiving : 0.01 6 0 219.30/219.49 c intdiving : 0.00 0 0 219.30/219.49 c actconsdiving : 0.00 0 0 219.30/219.49 c guideddiving : 0.02 0 0 219.30/219.49 c octane : 0.00 0 0 219.30/219.49 c rens : 0.02 1 0 219.30/219.49 c rins : 0.00 0 0 219.30/219.49 c localbranching : 0.00 0 0 219.30/219.49 c mutation : 0.00 0 0 219.30/219.49 c dins : 0.00 0 0 219.30/219.49 c undercover : 0.40 1 0 219.30/219.49 c nlp : 0.03 0 0 219.30/219.49 c trysol : 0.09 0 0 219.30/219.49 c LP : Time Calls Iterations Iter/call Iter/sec 219.30/219.49 c primal LP : 22.63 0 0 0.00 0.00 219.30/219.49 c dual LP : 101.64 131410 576781 4.39 5674.74 219.30/219.49 c lex dual LP : 0.00 0 0 0.00 - 219.30/219.49 c barrier LP : 0.00 0 0 0.00 - 219.30/219.49 c diving/probing LP: 0.29 321 3302 10.29 11386.21 219.30/219.49 c strong branching : 7.18 7554 60477 8.01 8422.98 219.30/219.49 c (at root node) : - 19 1326 69.79 - 219.30/219.49 c conflict analysis: 0.00 0 0 0.00 - 219.30/219.49 c B&B Tree : 219.30/219.49 c number of runs : 1 219.30/219.49 c nodes : 72945 219.30/219.49 c nodes (total) : 72945 219.30/219.49 c nodes left : 0 219.30/219.49 c max depth : 59 219.30/219.49 c max depth (total): 59 219.30/219.49 c backtracks : 22339 (30.6%) 219.30/219.49 c delayed cutoffs : 23627 219.30/219.49 c repropagations : 59140 (288050 domain reductions, 19177 cutoffs) 219.30/219.49 c avg switch length: 5.36 219.30/219.49 c switching time : 33.89 219.30/219.49 c Solution : 219.30/219.49 c Solutions found : 1 (1 improvements) 219.30/219.49 c First Solution : +3.00000000000000e+00 (in run 1, after 72945 nodes, 202.76 seconds, depth 54, found by <relaxation>) 219.30/219.49 c Primal Bound : +3.00000000000000e+00 (in run 1, after 72945 nodes, 202.76 seconds, depth 54, found by <relaxation>) 219.30/219.49 c Dual Bound : +3.00000000000000e+00 219.30/219.49 c Gap : 0.00 % 219.30/219.49 c Root Dual Bound : +3.00000000000000e+00 219.30/219.49 c Root Iterations : 229 219.40/219.50 c Time complete: 219.41.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664949-1276646141/watcher-2664949-1276646141 -o /tmp/evaluation-result-2664949-1276646141/solver-2664949-1276646141 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664949-1276646141.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.84 1.22 1.07 3/106 6781 /proc/meminfo: memFree=1831780/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=9288 CPUtime=0 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1061 0 0 0 0 0 0 0 18 0 1 0 40215751 9510912 981 1992294400 4194304 9819077 140735058880560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6781/statm: 2322 990 371 1374 0 943 0 [startup+0.0715519 s] /proc/loadavg: 1.84 1.22 1.07 3/106 6781 /proc/meminfo: memFree=1831780/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=14732 CPUtime=0.07 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 4267 0 0 0 3 4 0 0 20 0 1 0 40215751 15085568 2292 1992294400 4194304 9819077 140735058880560 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 3683 2307 504 1374 0 2304 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14732 [startup+0.100559 s] /proc/loadavg: 1.84 1.22 1.07 3/106 6781 /proc/meminfo: memFree=1831780/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=13840 CPUtime=0.09 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 6489 0 0 0 4 5 0 0 20 0 1 0 40215751 14172160 2201 1992294400 4194304 9819077 140735058880560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 3460 2201 515 1374 0 2081 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13840 [startup+0.300601 s] /proc/loadavg: 1.84 1.22 1.07 3/106 6781 /proc/meminfo: memFree=1831780/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=26580 CPUtime=0.29 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 19685 0 0 0 17 12 0 0 20 0 1 0 40215751 27217920 4836 1992294400 4194304 9819077 140735058880560 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 6645 4838 715 1374 0 5266 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26580 [startup+0.700686 s] /proc/loadavg: 1.84 1.22 1.07 3/106 6781 /proc/meminfo: memFree=1831780/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=27592 CPUtime=0.69 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 46760 0 0 0 44 25 0 0 21 0 1 0 40215751 28254208 4852 1992294400 4194304 9819077 140735058880560 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 6938 4853 715 1374 0 5559 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27592 [startup+1.50086 s] /proc/loadavg: 1.84 1.22 1.07 2/107 6782 /proc/meminfo: memFree=1819496/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=20628 CPUtime=1.49 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 53462 0 0 0 119 30 0 0 23 0 1 0 40215751 21123072 3816 1992294400 4194304 9819077 140735058880560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 5157 3816 728 1374 0 3778 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20628 [startup+3.1012 s] /proc/loadavg: 1.84 1.22 1.07 2/107 6782 /proc/meminfo: memFree=1818380/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=21152 CPUtime=3.09 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 59173 0 0 0 271 38 0 0 25 0 1 0 40215751 21659648 3822 1992294400 4194304 9819077 140735058880560 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 5201 3821 730 1374 0 3822 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21152 [startup+6.30088 s] /proc/loadavg: 1.77 1.21 1.07 2/107 6782 /proc/meminfo: memFree=1818256/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=21504 CPUtime=6.29 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 84053 0 0 0 567 62 0 0 25 0 1 0 40215751 22020096 3853 1992294400 4194304 9819077 140735058880560 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 5376 3853 730 1374 0 3997 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21504 [startup+12.7012 s] /proc/loadavg: 1.71 1.21 1.07 2/107 6782 /proc/meminfo: memFree=1818132/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=21452 CPUtime=12.68 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 126441 0 0 0 1159 109 0 0 25 0 1 0 40215751 21966848 4041 1992294400 4194304 9819077 140735058880560 18446744073709551615 5435206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 5363 4041 730 1374 0 3984 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21452 [startup+25.501 s] /proc/loadavg: 1.55 1.20 1.07 2/107 6782 /proc/meminfo: memFree=1816024/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=23260 CPUtime=25.48 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 207448 0 0 0 2351 197 0 0 25 0 1 0 40215751 23818240 4522 1992294400 4194304 9819077 140735058880560 18446744073709551615 7263246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 5858 4523 730 1374 0 4479 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23260 [startup+51.1004 s] /proc/loadavg: 1.36 1.18 1.06 2/107 6784 /proc/meminfo: memFree=1814660/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=24148 CPUtime=51.07 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 373973 0 0 0 4722 385 0 0 25 0 1 0 40215751 24727552 4870 1992294400 4194304 9819077 140735058880560 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 6169 4873 730 1374 0 4790 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24148 [startup+102.308 s] /proc/loadavg: 1.19 1.17 1.06 2/107 6784 /proc/meminfo: memFree=1812552/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=26592 CPUtime=102.25 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 730129 0 0 0 9441 784 0 0 25 0 1 0 40215751 27230208 5330 1992294400 4194304 9819077 140735058880560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 6648 5330 730 1374 0 5269 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26592 [startup+162.301 s] /proc/loadavg: 1.10 1.15 1.06 2/107 6786 /proc/meminfo: memFree=1811932/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=27316 CPUtime=162.22 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1120919 0 0 0 14993 1229 0 0 25 0 1 0 40215751 27971584 5496 1992294400 4194304 9819077 140735058880560 18446744073709551615 6021436 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 6829 5496 730 1374 0 5450 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 27316 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 1.15 1.16 1.07 2/107 6786 /proc/meminfo: memFree=1811188/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28036 CPUtime=179.01 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1237547 0 0 0 16550 1351 0 0 25 0 1 0 40215751 28708864 5679 1992294400 4194304 9819077 140735058880560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7009 5679 730 1374 0 5630 0 Current children cumulated CPU time (s) 179.01 Current children cumulated vsize (KiB) 28036 [startup+204.701 s] /proc/loadavg: 1.09 1.14 1.06 2/107 6788 /proc/meminfo: memFree=1810568/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28568 CPUtime=204.6 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1407490 0 0 0 18916 1544 0 0 25 0 1 0 40215751 29253632 5819 1992294400 4194304 9819077 140735058880560 18446744073709551615 7263141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7142 5819 730 1374 0 5763 0 Current children cumulated CPU time (s) 204.6 Current children cumulated vsize (KiB) 28568 [startup+211.101 s] /proc/loadavg: 1.08 1.14 1.06 2/107 6788 /proc/meminfo: memFree=1810444/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28936 CPUtime=211.01 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1450362 0 0 0 19511 1590 0 0 25 0 1 0 40215751 29630464 5861 1992294400 4194304 9819077 140735058880560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7234 5861 730 1374 0 5855 0 Current children cumulated CPU time (s) 211.01 Current children cumulated vsize (KiB) 28936 [startup+214.301 s] /proc/loadavg: 1.08 1.14 1.06 2/107 6788 /proc/meminfo: memFree=1810444/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28956 CPUtime=214.2 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1470991 0 0 0 19803 1617 0 0 25 0 1 0 40215751 29650944 5867 1992294400 4194304 9819077 140735058880560 18446744073709551615 8674885 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7239 5867 730 1374 0 5860 0 Current children cumulated CPU time (s) 214.2 Current children cumulated vsize (KiB) 28956 [startup+217.502 s] /proc/loadavg: 1.07 1.13 1.06 2/107 6788 /proc/meminfo: memFree=1810444/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28932 CPUtime=217.4 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1495862 0 0 0 20096 1644 0 0 25 0 1 0 40215751 29626368 5868 1992294400 4194304 9819077 140735058880560 18446744073709551615 6567517 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7233 5868 730 1374 0 5854 0 Current children cumulated CPU time (s) 217.4 Current children cumulated vsize (KiB) 28932 [startup+218.301 s] /proc/loadavg: 1.07 1.13 1.06 2/107 6788 /proc/meminfo: memFree=1810444/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28760 CPUtime=218.2 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1503168 0 0 0 20168 1652 0 0 25 0 1 0 40215751 29450240 5867 1992294400 4194304 9819077 140735058880560 18446744073709551615 8655237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7190 5867 730 1374 0 5811 0 Current children cumulated CPU time (s) 218.2 Current children cumulated vsize (KiB) 28760 [startup+219.101 s] /proc/loadavg: 1.07 1.13 1.06 2/107 6788 /proc/meminfo: memFree=1810196/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=29188 CPUtime=219 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1509204 0 0 0 20242 1658 0 0 25 0 1 0 40215751 29888512 5931 1992294400 4194304 9819077 140735058880560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6781/statm: 7297 5931 730 1374 0 5918 0 Current children cumulated CPU time (s) 219 Current children cumulated vsize (KiB) 29188 [startup+219.501 s] /proc/loadavg: 1.07 1.13 1.06 2/107 6788 /proc/meminfo: memFree=1810196/2059040 swapFree=4140252/4192956 [pid=6781] ppid=6779 vsize=28220 CPUtime=219.4 /proc/6781/stat : 6781 (pbscip.linux.x8) R 6779 6781 6272 0 -1 4202496 1512233 0 0 0 20278 1662 0 0 25 0 1 0 40215751 28897280 5691 1992294400 4194304 9819077 140735058880560 18446744073709551615 5961408 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6781/statm: 7055 5691 731 1374 0 5676 0 Current children cumulated CPU time (s) 219.4 Current children cumulated vsize (KiB) 28220 Child status: 0 Real time (s): 219.509 CPU time (s): 219.417 CPU user time (s): 202.793 CPU system time (s): 16.6235 CPU usage (%): 99.958 Max. virtual memory (cumulated for all children) (KiB): 30120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 202.793 system time used= 16.6235 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1512237 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= 2 involuntary context switches= 2899 runsolver used 0.363944 second user time and 1.04284 second system time The end
Begin job on node010 at 2010-06-16 01:55:41 IDJOB=2664949 IDBENCH=47892 IDSOLVER=1168 FILE ID=node010/2664949-1276646141 PBS_JOBID= 11172401 Free space on /tmp= 62532 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=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-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-2664949-1276646141/watcher-2664949-1276646141 -o /tmp/evaluation-result-2664949-1276646141/solver-2664949-1276646141 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664949-1276646141.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a92642ddb77f2466b803e375801dde37 RANDOM SEED=123219256 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832184 kB Buffers: 35600 kB Cached: 111012 kB SwapCached: 6204 kB Active: 96648 kB Inactive: 63500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832184 kB SwapTotal: 4192956 kB SwapFree: 4140252 kB Dirty: 6216 kB Writeback: 0 kB AnonPages: 11940 kB Mapped: 13060 kB Slab: 44864 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182728 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= 62524 MiB End job on node010 at 2010-06-16 01:59:21