Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 3 | 22.0496 | 22.0588 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
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 | 20.7478 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666504-1276649126.opb> 0.00/0.01 c original problem has 616 variables (616 bin, 0 int, 0 impl, 0 cont) and 463 constraints 0.00/0.01 c problem read 0.00/0.01 c presolving settings loaded 0.00/0.02 c presolving: 0.09/0.11 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 48 chg coeffs, 0 upgd conss, 2548 impls, 0 clqs 0.09/0.12 c (round 2) 23 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 8 upgd conss, 3892 impls, 0 clqs 0.09/0.12 c (round 3) 39 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 76 chg coeffs, 8 upgd conss, 5012 impls, 0 clqs 0.09/0.13 c (round 4) 55 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 90 chg coeffs, 8 upgd conss, 5908 impls, 0 clqs 0.09/0.13 c (round 5) 71 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 6580 impls, 0 clqs 0.09/0.13 c (round 6) 87 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 8 upgd conss, 7028 impls, 0 clqs 0.09/0.14 c (round 7) 103 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 132 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs 0.09/0.14 c (round 8) 119 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 146 chg coeffs, 8 upgd conss, 7252 impls, 0 clqs 0.09/0.17 c (0.1s) probing: 193/497 (38.8%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes 0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.17 c presolving (9 rounds): 0.09/0.17 c 119 deleted vars, 98 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 146 changed coefficients 0.09/0.17 c 7280 implications, 0 cliques 0.09/0.17 c presolved problem has 497 variables (497 bin, 0 int, 0 impl, 0 cont) and 358 constraints 0.09/0.17 c 343 constraints of type <and> 0.09/0.17 c 7 constraints of type <linear> 0.09/0.17 c 8 constraints of type <logicor> 0.09/0.17 c transformed objective value is always integral (scale: 2) 0.09/0.17 c Presolving Time: 0.08 0.09/0.17 c - non default parameters ---------------------------------------------------------------------- 0.09/0.17 c # SCIP version 1.2.1.2 0.09/0.17 c 0.09/0.17 c # frequency for displaying node information lines 0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.17 c display/freq = 10000 0.09/0.17 c 0.09/0.17 c # maximal time in seconds to run 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/time = 1800 0.09/0.17 c 0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.17 c limits/memory = 1620 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify inequalities 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/linear/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # should presolving try to simplify knapsacks 0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.17 c 0.09/0.17 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c heuristics/undercover/freq = 0 0.09/0.17 c 0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.17 c separating/rapidlearning/freq = 0 0.09/0.17 c 0.09/0.17 c ----------------------------------------------------------------------------------------------- 0.09/0.17 c start solving 0.09/0.17 c 0.09/0.18 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.18 c 0.1s| 1 | 0 | 18 | - |2337k| 0 | 10 | 497 | 358 | 497 | 701 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 1.00/1.02 c 0.7s| 1 | 0 | 468 | - |2364k| 0 | 14 | 497 | 358 | 497 | 702 | 1 | 0 | 0 | 3.000000e+00 | -- | Inf 1.00/1.05 c 0.8s| 1 | 0 | 476 | - |2382k| 0 | 20 | 497 | 358 | 497 | 706 | 5 | 0 | 0 | 3.000000e+00 | -- | Inf 1.00/1.09 c 0.8s| 1 | 0 | 484 | - |2409k| 0 | 23 | 497 | 358 | 497 | 711 | 10 | 0 | 0 | 3.000000e+00 | -- | Inf 1.10/1.14 c 0.8s| 1 | 0 | 493 | - |2424k| 0 | 30 | 497 | 358 | 497 | 718 | 17 | 0 | 0 | 3.000000e+00 | -- | Inf 1.10/1.19 c 0.9s| 1 | 0 | 495 | - |2428k| 0 | 30 | 497 | 358 | 497 | 721 | 20 | 0 | 0 | 3.000000e+00 | -- | Inf 1.19/1.25 c 0.9s| 1 | 0 | 499 | - |2438k| 0 | 32 | 497 | 358 | 497 | 725 | 24 | 0 | 0 | 3.000000e+00 | -- | Inf 1.29/1.35 c 1.0s| 1 | 2 | 499 | - |2439k| 0 | 32 | 497 | 358 | 497 | 725 | 24 | 0 | 16 | 3.000000e+00 | -- | Inf 18.48/18.58 c 17.4s| 10000 | 4470 | 38709 | 3.8 |8741k| 62 | 15 | 497 |1771 | 497 | 84 | 17k|5081 |3515 | 3.000000e+00 | -- | Inf 19.79/19.80 o 7 19.79/19.80 c *18.6s| 10922 | 4415 | 42081 | 3.8 |8910k| 71 | - | 497 |1846 | 497 | 143 | 19k|5558 |3576 | 3.000000e+00 | 7.000000e+00 | 133.33% 19.79/19.85 o 5 19.79/19.85 c *18.7s| 10938 | 4390 | 42222 | 3.8 |8874k| 71 | - | 497 |1774 | 497 | 132 | 19k|5568 |3595 | 3.000000e+00 | 5.000000e+00 | 66.67% 21.99/22.03 o 3 21.99/22.03 c *20.7s| 12565 | 0 | 48462 | 3.8 |3898k| 71 | - | 497 |2180 | 497 | 109 | 21k|6599 |3643 | 3.000000e+00 | 3.000000e+00 | 0.00% 21.99/22.04 c 21.99/22.04 c SCIP Status : problem is solved [optimal solution found] 21.99/22.04 c Solving Time (sec) : 20.74 21.99/22.04 c Solving Nodes : 12565 21.99/22.04 c Primal Bound : +3.00000000000000e+00 (3 solutions) 21.99/22.04 c Dual Bound : +3.00000000000000e+00 21.99/22.04 c Gap : 0.00 % 21.99/22.04 s OPTIMUM FOUND 21.99/22.04 v -x168 x167 -x166 x165 x164 x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 x154 x153 x112 -x111 -x110 -x109 -x108 -x107 x106 21.99/22.04 v x105 -x152 x151 -x150 x149 -x148 -x147 -x146 -x145 x104 -x103 -x102 -x101 -x100 x99 x98 x97 -x144 x143 -x142 -x141 x140 x139 21.99/22.04 v -x138 x137 x96 -x95 -x94 -x93 -x92 x91 -x90 x89 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x88 -x87 -x86 -x85 -x84 x83 21.99/22.04 v x82 x81 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x120 -x119 -x118 -x117 -x116 21.99/22.04 v -x115 x114 -x113 x72 x71 -x70 -x69 x68 x67 -x66 x65 x64 -x63 x62 x61 -x60 x59 -x58 x57 -x56 -x55 x54 -x53 -x52 x51 -x50 x49 x48 21.99/22.04 v -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 -x21 21.99/22.04 v -x20 x19 -x18 x17 x16 x15 x14 -x13 x12 x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 21.99/22.04 c SCIP Status : problem is solved [optimal solution found] 21.99/22.04 c Solving Time : 20.74 21.99/22.04 c Original Problem : 21.99/22.04 c Problem name : HOME/instance-2666504-1276649126.opb 21.99/22.04 c Variables : 616 (616 binary, 0 integer, 0 implicit integer, 0 continuous) 21.99/22.04 c Constraints : 463 initial, 463 maximal 21.99/22.04 c Presolved Problem : 21.99/22.04 c Problem name : t_HOME/instance-2666504-1276649126.opb 21.99/22.04 c Variables : 497 (497 binary, 0 integer, 0 implicit integer, 0 continuous) 21.99/22.04 c Constraints : 358 initial, 2827 maximal 21.99/22.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 21.99/22.04 c trivial : 0.00 0 0 0 0 0 0 0 0 21.99/22.04 c dualfix : 0.00 0 0 0 0 0 0 0 0 21.99/22.04 c boundshift : 0.00 0 0 0 0 0 0 0 0 21.99/22.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0 21.99/22.04 c implics : 0.00 0 0 0 0 0 0 0 0 21.99/22.04 c probing : 0.01 0 0 0 0 0 0 0 0 21.99/22.04 c and : 0.05 14 98 0 0 0 98 0 98 21.99/22.04 c linear : 0.02 1 6 0 0 0 0 0 48 21.99/22.04 c logicor : 0.00 0 0 0 0 0 0 0 0 21.99/22.04 c root node : - 55 - - 55 - - - - 21.99/22.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 21.99/22.04 c integral : 0 0 0 9979 0 0 188 0 0 19692 21.99/22.04 c and : 343 20231 40289 4 0 610 67107 21518 0 0 21.99/22.04 c linear : 7 6 39676 0 0 3506 23739 0 0 0 21.99/22.04 c logicor : 8+ 6 17542 1 0 128 6424 0 0 0 21.99/22.04 c countsols : 0 0 0 3 0 0 0 0 0 0 21.99/22.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 21.99/22.04 c integral : 2.60 0.00 0.00 2.60 0.00 21.99/22.04 c and : 1.66 0.98 0.68 0.00 0.00 21.99/22.04 c linear : 1.80 0.00 1.80 0.00 0.00 21.99/22.04 c logicor : 0.66 0.00 0.66 0.00 0.00 21.99/22.04 c countsols : 0.00 0.00 0.00 0.00 0.00 21.99/22.04 c Propagators : Time Calls Cutoffs DomReds 21.99/22.04 c vbounds : 0.02 2 0 0 21.99/22.04 c rootredcost : 0.01 2 0 6 21.99/22.04 c pseudoobj : 0.09 39892 0 4 21.99/22.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 21.99/22.04 c propagation : 1.32 4244 4227 56305 46.9 493 21.2 - 21.99/22.04 c infeasible LP : 0.00 94 94 587 35.6 31 21.6 0 21.99/22.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 21.99/22.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 21.99/22.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 21.99/22.04 c applied globally : - - - 6580 21.7 - - - 21.99/22.04 c applied locally : - - - 19 57.6 - - - 21.99/22.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss 21.99/22.04 c cut pool : 0.00 5 - - 0 - (maximal pool size: 33) 21.99/22.04 c redcost : 0.33 20236 0 2 0 0 21.99/22.04 c impliedbounds : 0.00 6 0 0 3 0 21.99/22.04 c intobj : 0.00 0 0 0 0 0 21.99/22.04 c cgmip : 0.00 0 0 0 0 0 21.99/22.04 c gomory : 0.04 6 0 0 0 0 21.99/22.04 c strongcg : 0.04 6 0 0 25 0 21.99/22.04 c cmir : 0.04 6 0 0 20 0 21.99/22.04 c flowcover : 0.09 6 0 0 15 0 21.99/22.04 c clique : 0.00 1 0 0 0 0 21.99/22.04 c zerohalf : 0.00 0 0 0 0 0 21.99/22.04 c mcf : 0.00 1 0 0 0 0 21.99/22.04 c rapidlearning : 0.06 1 0 0 0 0 21.99/22.04 c Pricers : Time Calls Vars 21.99/22.04 c problem variables: 0.00 0 0 21.99/22.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 21.99/22.04 c relpscost : 2.59 9972 0 188 0 0 19692 21.99/22.04 c pscost : 0.00 0 0 0 0 0 0 21.99/22.04 c inference : 0.00 0 0 0 0 0 0 21.99/22.04 c mostinf : 0.00 0 0 0 0 0 0 21.99/22.04 c leastinf : 0.00 0 0 0 0 0 0 21.99/22.04 c fullstrong : 0.00 0 0 0 0 0 0 21.99/22.04 c allfullstrong : 0.00 0 0 0 0 0 0 21.99/22.04 c random : 0.00 0 0 0 0 0 0 21.99/22.04 c Primal Heuristics : Time Calls Found 21.99/22.04 c LP solutions : 0.01 - 3 21.99/22.04 c pseudo solutions : 0.00 - 0 21.99/22.04 c crossover : 0.00 0 0 21.99/22.04 c intshifting : 0.00 0 0 21.99/22.04 c oneopt : 0.01 2 0 21.99/22.04 c pscostdiving : 0.09 10 0 21.99/22.04 c fracdiving : 0.06 10 0 21.99/22.04 c veclendiving : 0.09 10 0 21.99/22.04 c linesearchdiving : 0.05 10 0 21.99/22.04 c guideddiving : 0.07 10 0 21.99/22.04 c coefdiving : 0.06 11 0 21.99/22.04 c feaspump : 0.05 6 0 21.99/22.04 c objpscostdiving : 0.10 6 0 21.99/22.04 c rootsoldiving : 0.22 6 0 21.99/22.04 c trivial : 0.00 2 0 21.99/22.04 c simplerounding : 0.02 0 0 21.99/22.04 c zirounding : 0.03 1000 0 21.99/22.04 c rounding : 0.12 1990 0 21.99/22.04 c shifting : 1.46 559 0 21.99/22.04 c twoopt : 0.00 0 0 21.99/22.04 c fixandinfer : 0.00 0 0 21.99/22.04 c intdiving : 0.00 0 0 21.99/22.04 c actconsdiving : 0.00 0 0 21.99/22.04 c octane : 0.00 0 0 21.99/22.04 c rens : 0.01 1 0 21.99/22.04 c rins : 0.00 0 0 21.99/22.04 c localbranching : 0.00 0 0 21.99/22.04 c mutation : 0.00 0 0 21.99/22.04 c dins : 0.00 0 0 21.99/22.04 c undercover : 0.53 1 0 21.99/22.04 c nlp : 0.00 0 0 21.99/22.04 c trysol : 0.02 0 0 21.99/22.04 c LP : Time Calls Iterations Iter/call Iter/sec 21.99/22.04 c primal LP : 0.19 0 0 0.00 0.00 21.99/22.04 c dual LP : 5.78 20371 43281 2.12 7488.06 21.99/22.04 c lex dual LP : 0.00 0 0 0.00 - 21.99/22.04 c barrier LP : 0.00 0 0 0.00 - 21.99/22.04 c diving/probing LP: 0.45 1445 5181 3.59 11513.33 21.99/22.04 c strong branching : 2.39 3643 19770 5.43 8271.97 21.99/22.04 c (at root node) : - 16 501 31.31 - 21.99/22.04 c conflict analysis: 0.00 0 0 0.00 - 21.99/22.04 c B&B Tree : 21.99/22.04 c number of runs : 1 21.99/22.04 c nodes : 12565 21.99/22.04 c nodes (total) : 12565 21.99/22.04 c nodes left : 0 21.99/22.04 c max depth : 71 21.99/22.04 c max depth (total): 71 21.99/22.04 c backtracks : 1696 (13.5%) 21.99/22.04 c delayed cutoffs : 1604 21.99/22.04 c repropagations : 6033 (19745 domain reductions, 1398 cutoffs) 21.99/22.04 c avg switch length: 4.66 21.99/22.04 c switching time : 1.22 21.99/22.04 c Solution : 21.99/22.04 c Solutions found : 3 (3 improvements) 21.99/22.04 c First Solution : +7.00000000000000e+00 (in run 1, after 10922 nodes, 18.62 seconds, depth 69, found by <relaxation>) 21.99/22.04 c Primal Bound : +3.00000000000000e+00 (in run 1, after 12565 nodes, 20.73 seconds, depth 64, found by <relaxation>) 21.99/22.04 c Dual Bound : +3.00000000000000e+00 21.99/22.04 c Gap : 0.00 % 21.99/22.04 c Root Dual Bound : +3.00000000000000e+00 21.99/22.04 c Root Iterations : 499 21.99/22.05 c Time complete: 22.03.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666504-1276649126/watcher-2666504-1276649126 -o /tmp/evaluation-result-2666504-1276649126/solver-2666504-1276649126 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666504-1276649126.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: 0.92 1.01 1.11 3/106 8931 /proc/meminfo: memFree=1830312/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=7724 CPUtime=0 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 40516034 7909376 960 1992294400 4194304 8223781 140735877965200 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8931/statm: 1931 969 348 984 0 944 0 [startup+0.0475651 s] /proc/loadavg: 0.92 1.01 1.11 3/106 8931 /proc/meminfo: memFree=1830312/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=13388 CPUtime=0.03 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 2984 0 0 0 2 1 0 0 20 0 1 0 40516034 13709312 2283 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 3347 2283 427 984 0 2360 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13388 [startup+0.101575 s] /proc/loadavg: 0.92 1.01 1.11 3/106 8931 /proc/meminfo: memFree=1830312/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=13388 CPUtime=0.09 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 2984 0 0 0 5 4 0 0 20 0 1 0 40516034 13709312 2283 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 3347 2283 427 984 0 2360 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13388 [startup+0.301612 s] /proc/loadavg: 0.92 1.01 1.11 3/106 8931 /proc/meminfo: memFree=1830312/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=25396 CPUtime=0.29 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 13855 0 0 0 19 10 0 0 20 0 1 0 40516034 26005504 5233 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 6349 5233 573 984 0 5362 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25396 [startup+0.701686 s] /proc/loadavg: 0.92 1.01 1.11 3/106 8931 /proc/meminfo: memFree=1830312/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=32924 CPUtime=0.69 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 37847 0 0 0 47 22 0 0 21 0 1 0 40516034 33714176 6765 1992294400 4194304 8223781 140735877965200 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 8231 6765 580 984 0 7244 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 32924 [startup+1.50183 s] /proc/loadavg: 0.92 1.01 1.11 2/107 8932 /proc/meminfo: memFree=1810960/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=23188 CPUtime=1.49 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 47238 0 0 0 117 32 0 0 23 0 1 0 40516034 23744512 4898 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 5797 4898 592 984 0 4810 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23188 [startup+3.10113 s] /proc/loadavg: 0.92 1.01 1.11 2/107 8932 /proc/meminfo: memFree=1812076/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=23188 CPUtime=3.09 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 47241 0 0 0 270 39 0 0 25 0 1 0 40516034 23744512 4901 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 5797 4901 594 984 0 4810 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23188 [startup+6.30172 s] /proc/loadavg: 0.93 1.01 1.11 2/107 8932 /proc/meminfo: memFree=1811828/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=23612 CPUtime=6.29 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 47337 0 0 0 575 54 0 0 25 0 1 0 40516034 24178688 4997 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 5903 4997 594 984 0 4916 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23612 [startup+12.7009 s] /proc/loadavg: 0.93 1.01 1.11 2/107 8932 /proc/meminfo: memFree=1808480/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=27548 CPUtime=12.69 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 48325 0 0 0 1186 83 0 0 25 0 1 0 40516034 28209152 5982 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 6887 5982 594 984 0 5900 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27548 Solver just ended. Dumping a history of the last processes samples [startup+15.9015 s] /proc/loadavg: 0.94 1.01 1.10 2/107 8932 /proc/meminfo: memFree=1807240/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=28336 CPUtime=15.89 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 48533 0 0 0 1490 99 0 0 25 0 1 0 40516034 29016064 6188 1992294400 4194304 8223781 140735877965200 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 7084 6188 594 984 0 6097 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 28336 [startup+19.1011 s] /proc/loadavg: 0.94 1.01 1.10 2/107 8932 /proc/meminfo: memFree=1805256/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=30368 CPUtime=19.08 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 49032 0 0 0 1794 114 0 0 25 0 1 0 40516034 31096832 6683 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 7592 6683 594 984 0 6605 0 Current children cumulated CPU time (s) 19.08 Current children cumulated vsize (KiB) 30368 [startup+20.7014 s] /proc/loadavg: 0.94 1.01 1.10 2/107 8932 /proc/meminfo: memFree=1804884/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=30716 CPUtime=20.69 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 49138 0 0 0 1947 122 0 0 25 0 1 0 40516034 31453184 6789 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 7679 6789 594 984 0 6692 0 Current children cumulated CPU time (s) 20.69 Current children cumulated vsize (KiB) 30716 [startup+21.5015 s] /proc/loadavg: 0.94 1.01 1.10 2/107 8932 /proc/meminfo: memFree=1804760/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=31344 CPUtime=21.48 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 49292 0 0 0 2023 125 0 0 25 0 1 0 40516034 32096256 6942 1992294400 4194304 8223781 140735877965200 18446744073709551615 6023790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 7836 6942 594 984 0 6849 0 Current children cumulated CPU time (s) 21.48 Current children cumulated vsize (KiB) 31344 [startup+21.9016 s] /proc/loadavg: 0.94 1.01 1.10 2/107 8932 /proc/meminfo: memFree=1804140/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=31556 CPUtime=21.89 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 49336 0 0 0 2062 127 0 0 25 0 1 0 40516034 32313344 6986 1992294400 4194304 8223781 140735877965200 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 7889 6989 594 984 0 6902 0 Current children cumulated CPU time (s) 21.89 Current children cumulated vsize (KiB) 31556 [startup+22.0086 s] /proc/loadavg: 0.94 1.01 1.10 2/107 8932 /proc/meminfo: memFree=1804140/2059040 swapFree=4140132/4192956 [pid=8931] ppid=8929 vsize=31556 CPUtime=21.99 /proc/8931/stat : 8931 (pbscip.linux.x8) R 8929 8931 6618 0 -1 4202496 49339 0 0 0 2071 128 0 0 25 0 1 0 40516034 32313344 6989 1992294400 4194304 8223781 140735877965200 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8931/statm: 7889 6989 594 984 0 6902 0 Current children cumulated CPU time (s) 21.99 Current children cumulated vsize (KiB) 31556 Child status: 0 Real time (s): 22.0588 CPU time (s): 22.0496 CPU user time (s): 20.7598 CPU system time (s): 1.2898 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 32924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.7598 system time used= 1.2898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49345 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= 269 runsolver used 0.035994 second user time and 0.118981 second system time The end
Begin job on node007 at 2010-06-16 02:45:26 IDJOB=2666504 IDBENCH=48017 IDSOLVER=1169 FILE ID=node007/2666504-1276649126 PBS_JOBID= 11172398 Free space on /tmp= 62488 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666504-1276649126/watcher-2666504-1276649126 -o /tmp/evaluation-result-2666504-1276649126/solver-2666504-1276649126 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666504-1276649126.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED=249763758 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1830716 kB Buffers: 34144 kB Cached: 105692 kB SwapCached: 6752 kB Active: 106328 kB Inactive: 47480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830716 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 4476 kB Writeback: 0 kB AnonPages: 12104 kB Mapped: 13060 kB Slab: 52780 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181604 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= 62484 MiB End job on node007 at 2010-06-16 02:45:48