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 | 5.38818 | 5.39001 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb |
MD5SUM | 8a882d07e0fbb307eb9e9c234ecc464c |
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 | 5.05523 |
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-2666497-1276648826.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.14 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.09 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 = 1799.99 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 0.89/0.95 c 0.7s| 1 | 0 | 478 | - |2370k| 0 | 15 | 497 | 358 | 497 | 703 | 2 | 0 | 0 | 3.000000e+00 | -- | Inf 0.89/0.98 c 0.7s| 1 | 0 | 486 | - |2387k| 0 | 21 | 497 | 358 | 497 | 708 | 7 | 0 | 0 | 3.000000e+00 | -- | Inf 0.99/1.03 c 0.7s| 1 | 0 | 494 | - |2408k| 0 | 28 | 497 | 358 | 497 | 712 | 11 | 0 | 0 | 3.000000e+00 | -- | Inf 0.99/1.08 c 0.8s| 1 | 0 | 502 | - |2424k| 0 | 30 | 497 | 358 | 497 | 717 | 16 | 0 | 0 | 3.000000e+00 | -- | Inf 1.09/1.14 c 0.8s| 1 | 0 | 509 | - |2451k| 0 | 30 | 497 | 358 | 497 | 721 | 20 | 0 | 0 | 3.000000e+00 | -- | Inf 1.09/1.20 c 0.9s| 1 | 0 | 514 | - |2472k| 0 | 34 | 497 | 358 | 497 | 726 | 25 | 0 | 0 | 3.000000e+00 | -- | Inf 1.29/1.32 c 1.0s| 1 | 2 | 514 | - |2472k| 0 | 34 | 497 | 358 | 497 | 726 | 25 | 0 | 16 | 3.000000e+00 | -- | Inf 4.99/5.02 o 139 4.99/5.02 c * 4.6s| 1274 | 698 | 6494 | 4.7 |3587k| 72 | - | 497 | 897 | 497 | 154 |2757 | 543 |2519 | 3.000000e+00 | 1.390000e+02 |4533.33% 5.29/5.37 o 3 5.29/5.37 c * 4.9s| 1450 | 0 | 7340 | 4.7 |2969k| 72 | - | 497 | 969 | 497 | 103 |3220 | 615 |2683 | 3.000000e+00 | 3.000000e+00 | 0.00% 5.29/5.37 c 5.29/5.37 c SCIP Status : problem is solved [optimal solution found] 5.29/5.37 c Solving Time (sec) : 4.90 5.29/5.37 c Solving Nodes : 1450 5.29/5.37 c Primal Bound : +3.00000000000000e+00 (2 solutions) 5.29/5.37 c Dual Bound : +3.00000000000000e+00 5.29/5.37 c Gap : 0.00 % 5.29/5.37 s OPTIMUM FOUND 5.29/5.37 v -x168 -x167 -x166 x165 x164 -x163 x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 x153 x112 x111 -x110 -x109 -x108 x107 -x106 5.29/5.37 v x105 -x152 x151 x150 -x149 -x148 x147 -x146 x145 -x104 x103 -x102 -x101 -x100 -x99 -x98 x97 -x144 -x143 -x142 -x141 -x140 5.29/5.37 v -x139 -x138 x137 x96 -x95 x94 -x93 -x92 -x91 -x90 x89 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x88 -x87 -x86 -x85 x84 5.29/5.37 v -x83 x82 x81 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x120 -x119 -x118 -x117 -x116 5.29/5.37 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 5.29/5.37 v -x50 x49 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 5.29/5.37 v -x23 x22 x21 x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 5.29/5.37 c SCIP Status : problem is solved [optimal solution found] 5.29/5.37 c Solving Time : 4.90 5.29/5.37 c Original Problem : 5.29/5.37 c Problem name : HOME/instance-2666497-1276648826.opb 5.29/5.37 c Variables : 616 (616 binary, 0 integer, 0 implicit integer, 0 continuous) 5.29/5.37 c Constraints : 463 initial, 463 maximal 5.29/5.37 c Presolved Problem : 5.29/5.37 c Problem name : t_HOME/instance-2666497-1276648826.opb 5.29/5.37 c Variables : 497 (497 binary, 0 integer, 0 implicit integer, 0 continuous) 5.29/5.37 c Constraints : 358 initial, 969 maximal 5.29/5.37 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 5.29/5.37 c trivial : 0.00 0 0 0 0 0 0 0 0 5.29/5.37 c dualfix : 0.00 0 0 0 0 0 0 0 0 5.29/5.37 c boundshift : 0.00 0 0 0 0 0 0 0 0 5.29/5.37 c inttobinary : 0.00 0 0 0 0 0 0 0 0 5.29/5.37 c implics : 0.00 0 0 0 0 0 0 0 0 5.29/5.37 c probing : 0.02 0 0 0 0 0 0 0 0 5.29/5.37 c and : 0.06 14 98 0 0 0 98 0 98 5.29/5.37 c linear : 0.01 1 6 0 0 0 0 0 48 5.29/5.37 c logicor : 0.00 0 0 0 0 0 0 0 0 5.29/5.37 c root node : - 0 - - 0 - - - - 5.29/5.37 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 5.29/5.37 c integral : 0 0 0 1254 0 1 52 0 0 2416 5.29/5.37 c and : 343 2585 4909 1 0 57 7328 3200 0 0 5.29/5.37 c linear : 7 6 4851 1 0 314 2798 0 0 0 5.29/5.37 c logicor : 8+ 6 1313 2 0 4 354 0 0 0 5.29/5.37 c countsols : 0 0 0 2 0 0 0 0 0 0 5.29/5.37 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 5.29/5.37 c integral : 1.79 0.00 0.00 1.79 0.00 5.29/5.37 c and : 0.19 0.09 0.10 0.00 0.00 5.29/5.37 c linear : 0.23 0.00 0.23 0.00 0.00 5.29/5.37 c logicor : 0.03 0.00 0.03 0.00 0.00 5.29/5.37 c countsols : 0.00 0.00 0.00 0.00 0.00 5.29/5.37 c Propagators : Time Calls Cutoffs DomReds 5.29/5.37 c vbounds : 0.00 2 0 0 5.29/5.37 c rootredcost : 0.00 1 0 0 5.29/5.37 c pseudoobj : 0.00 4512 0 10 5.29/5.37 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 5.29/5.37 c propagation : 0.19 375 374 5624 54.1 39 26.4 - 5.29/5.37 c infeasible LP : 0.00 2 2 12 28.4 2 12.0 0 5.29/5.37 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 5.29/5.37 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 5.29/5.37 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 5.29/5.37 c applied globally : - - - 611 24.4 - - - 5.29/5.37 c applied locally : - - - 4 51.5 - - - 5.29/5.37 c Separators : Time Calls Cutoffs DomReds Cuts Conss 5.29/5.37 c cut pool : 0.00 5 - - 7 - (maximal pool size: 53) 5.29/5.37 c redcost : 0.03 2588 0 2 0 0 5.29/5.37 c impliedbounds : 0.00 6 0 0 4 0 5.29/5.37 c intobj : 0.00 0 0 0 0 0 5.29/5.37 c cgmip : 0.00 0 0 0 0 0 5.29/5.37 c gomory : 0.05 6 0 0 0 0 5.29/5.37 c strongcg : 0.03 6 0 0 9 0 5.29/5.37 c cmir : 0.03 6 0 0 22 0 5.29/5.37 c flowcover : 0.11 6 0 0 31 0 5.29/5.37 c clique : 0.00 1 0 0 0 0 5.29/5.37 c zerohalf : 0.00 0 0 0 0 0 5.29/5.37 c mcf : 0.00 1 0 0 0 0 5.29/5.37 c rapidlearning : 0.05 1 0 0 0 0 5.29/5.37 c Pricers : Time Calls Vars 5.29/5.37 c problem variables: 0.00 0 0 5.29/5.37 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 5.29/5.37 c relpscost : 1.79 1252 1 52 0 0 2416 5.29/5.37 c pscost : 0.00 0 0 0 0 0 0 5.29/5.37 c inference : 0.00 0 0 0 0 0 0 5.29/5.37 c mostinf : 0.00 0 0 0 0 0 0 5.29/5.37 c leastinf : 0.00 0 0 0 0 0 0 5.29/5.37 c fullstrong : 0.00 0 0 0 0 0 0 5.29/5.37 c allfullstrong : 0.00 0 0 0 0 0 0 5.29/5.37 c random : 0.00 0 0 0 0 0 0 5.29/5.37 c Primal Heuristics : Time Calls Found 5.29/5.37 c LP solutions : 0.00 - 2 5.29/5.37 c pseudo solutions : 0.00 - 0 5.29/5.37 c crossover : 0.00 0 0 5.29/5.37 c intshifting : 0.00 0 0 5.29/5.37 c oneopt : 0.00 1 0 5.29/5.37 c linesearchdiving : 0.01 1 0 5.29/5.37 c guideddiving : 0.00 1 0 5.29/5.37 c feaspump : 0.02 1 0 5.29/5.37 c objpscostdiving : 0.00 1 0 5.29/5.37 c rootsoldiving : 0.01 1 0 5.29/5.37 c coefdiving : 0.02 2 0 5.29/5.37 c pscostdiving : 0.01 2 0 5.29/5.37 c fracdiving : 0.01 2 0 5.29/5.37 c veclendiving : 0.01 2 0 5.29/5.37 c trivial : 0.00 2 0 5.29/5.37 c simplerounding : 0.00 0 0 5.29/5.37 c zirounding : 0.00 1000 0 5.29/5.37 c rounding : 0.04 681 0 5.29/5.37 c shifting : 0.44 201 0 5.29/5.37 c twoopt : 0.00 0 0 5.29/5.37 c fixandinfer : 0.00 0 0 5.29/5.37 c intdiving : 0.00 0 0 5.29/5.37 c actconsdiving : 0.00 0 0 5.29/5.37 c octane : 0.00 0 0 5.29/5.37 c rens : 0.02 1 0 5.29/5.37 c rins : 0.00 0 0 5.29/5.37 c localbranching : 0.00 0 0 5.29/5.37 c mutation : 0.00 0 0 5.29/5.37 c dins : 0.00 0 0 5.29/5.37 c undercover : 0.47 1 0 5.29/5.37 c nlp : 0.00 0 0 5.29/5.37 c trysol : 0.00 0 0 5.29/5.37 c LP : Time Calls Iterations Iter/call Iter/sec 5.29/5.37 c primal LP : 0.00 0 0 0.00 - 5.29/5.37 c dual LP : 0.76 2657 6527 2.46 8588.16 5.29/5.37 c lex dual LP : 0.00 0 0 0.00 - 5.29/5.37 c barrier LP : 0.00 0 0 0.00 - 5.29/5.37 c diving/probing LP: 0.05 158 813 5.15 16260.00 5.29/5.37 c strong branching : 1.73 2683 15223 5.67 8799.42 5.29/5.37 c (at root node) : - 16 698 43.62 - 5.29/5.37 c conflict analysis: 0.00 0 0 0.00 - 5.29/5.37 c B&B Tree : 5.29/5.37 c number of runs : 1 5.29/5.37 c nodes : 1450 5.29/5.37 c nodes (total) : 1450 5.29/5.37 c nodes left : 0 5.29/5.37 c max depth : 72 5.29/5.37 c max depth (total): 72 5.29/5.37 c backtracks : 150 (10.3%) 5.29/5.37 c delayed cutoffs : 129 5.29/5.37 c repropagations : 424 (1555 domain reductions, 112 cutoffs) 5.29/5.37 c avg switch length: 3.31 5.29/5.37 c switching time : 0.11 5.29/5.37 c Solution : 5.29/5.37 c Solutions found : 2 (2 improvements) 5.29/5.37 c First Solution : +1.39000000000000e+02 (in run 1, after 1274 nodes, 4.56 seconds, depth 64, found by <relaxation>) 5.29/5.37 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1450 nodes, 4.90 seconds, depth 58, found by <relaxation>) 5.29/5.37 c Dual Bound : +3.00000000000000e+00 5.29/5.37 c Gap : 0.00 % 5.29/5.37 c Root Dual Bound : +3.00000000000000e+00 5.29/5.37 c Root Iterations : 514 5.29/5.38 c Time complete: 5.38.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666497-1276648826/watcher-2666497-1276648826 -o /tmp/evaluation-result-2666497-1276648826/solver-2666497-1276648826 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666497-1276648826.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.01 1.02 1.00 3/106 14266 /proc/meminfo: memFree=1838672/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=6692 CPUtime=0 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 913 0 0 0 0 0 0 0 19 0 1 0 6177618 6852608 833 1992294400 4194304 8223781 140736199470576 18446744073709551615 7253720 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14266/statm: 1673 841 338 984 0 686 0 [startup+0.104235 s] /proc/loadavg: 1.01 1.02 1.00 3/106 14266 /proc/meminfo: memFree=1838672/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=13380 CPUtime=0.09 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 2982 0 0 0 5 4 0 0 20 0 1 0 6177618 13701120 2282 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 3345 2282 427 984 0 2358 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13380 [startup+0.201245 s] /proc/loadavg: 1.01 1.02 1.00 3/106 14266 /proc/meminfo: memFree=1838672/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=16232 CPUtime=0.19 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 7992 0 0 0 13 6 0 0 20 0 1 0 6177618 16621568 3162 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 4058 3162 546 984 0 3071 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 16232 [startup+0.301255 s] /proc/loadavg: 1.01 1.02 1.00 3/106 14266 /proc/meminfo: memFree=1838672/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25388 CPUtime=0.29 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 13845 0 0 0 20 9 0 0 20 0 1 0 6177618 25997312 5225 1992294400 4194304 8223781 140736199470576 18446744073709551615 6049051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6347 5225 573 984 0 5360 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25388 [startup+0.701297 s] /proc/loadavg: 1.01 1.02 1.00 3/106 14266 /proc/meminfo: memFree=1838672/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=27300 CPUtime=0.69 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 41365 0 0 0 47 22 0 0 21 0 1 0 6177618 27955200 5721 1992294400 4194304 8223781 140736199470576 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6825 5721 580 984 0 5838 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27300 [startup+1.50138 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1820560/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=1.49 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47495 0 0 0 118 31 0 0 23 0 1 0 6177618 25632768 5343 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5343 592 984 0 5271 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25032 [startup+3.10156 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1818700/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=3.09 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47498 0 0 0 272 37 0 0 25 0 1 0 6177618 25632768 5346 1992294400 4194304 8223781 140736199470576 18446744073709551615 5437803 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5346 594 984 0 5271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25032 Solver just ended. Dumping a history of the last processes samples [startup+3.20157 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1818700/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=3.19 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47498 0 0 0 282 37 0 0 25 0 1 0 6177618 25632768 5346 1992294400 4194304 8223781 140736199470576 18446744073709551615 4561249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5346 594 984 0 5271 0 Current children cumulated CPU time (s) 3.19 Current children cumulated vsize (KiB) 25032 [startup+4.00165 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1818700/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=3.99 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47498 0 0 0 359 40 0 0 25 0 1 0 6177618 25632768 5346 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5346 594 984 0 5271 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 25032 [startup+4.80174 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1818700/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=4.79 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47499 0 0 0 436 43 0 0 25 0 1 0 6177618 25632768 5347 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5347 594 984 0 5271 0 Current children cumulated CPU time (s) 4.79 Current children cumulated vsize (KiB) 25032 [startup+5.20178 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1818700/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=5.19 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47500 0 0 0 474 45 0 0 25 0 1 0 6177618 25632768 5348 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5348 594 984 0 5271 0 Current children cumulated CPU time (s) 5.19 Current children cumulated vsize (KiB) 25032 [startup+5.30179 s] /proc/loadavg: 1.01 1.02 1.00 2/107 14267 /proc/meminfo: memFree=1818700/2059040 swapFree=4152912/4192956 [pid=14266] ppid=14264 vsize=25032 CPUtime=5.29 /proc/14266/stat : 14266 (pbscip.linux.x8) R 14264 14266 13787 0 -1 4202496 47500 0 0 0 484 45 0 0 25 0 1 0 6177618 25632768 5348 1992294400 4194304 8223781 140736199470576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/14266/statm: 6258 5348 594 984 0 5271 0 Current children cumulated CPU time (s) 5.29 Current children cumulated vsize (KiB) 25032 Child status: 0 Real time (s): 5.39001 CPU time (s): 5.38818 CPU user time (s): 4.92525 CPU system time (s): 0.462929 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 30428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.92525 system time used= 0.462929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47506 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= 67 runsolver used 0.009998 second user time and 0.031995 second system time The end
Begin job on node035 at 2010-06-16 02:40:26 IDJOB=2666497 IDBENCH=48010 IDSOLVER=1169 FILE ID=node035/2666497-1276648826 PBS_JOBID= 11172435 Free space on /tmp= 62460 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=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-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-2666497-1276648826/watcher-2666497-1276648826 -o /tmp/evaluation-result-2666497-1276648826/solver-2666497-1276648826 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666497-1276648826.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8a882d07e0fbb307eb9e9c234ecc464c RANDOM SEED=979501765 node035.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.219 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.43 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.219 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: 1839324 kB Buffers: 22136 kB Cached: 100388 kB SwapCached: 1696 kB Active: 81832 kB Inactive: 61988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839324 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 4512 kB Writeback: 0 kB AnonPages: 19656 kB Mapped: 13756 kB Slab: 54184 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182100 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= 62456 MiB End job on node035 at 2010-06-16 02:40:32