Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) | OPT | 3 | 9.99548 | 9.99791 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb |
MD5SUM | cdc1e49bcf2e6b6913c93a683c821b72 |
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 | 7.08792 |
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 | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 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) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver SoPlex 1.4.1 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1870018-1245187965.opb> 0.00/0.01 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 595 constraints 0.00/0.02 c start presolving problem 0.00/0.02 c presolving: 0.09/0.12 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 3600 impls, 0 clqs 0.09/0.13 c (round 2) 25 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5392 impls, 0 clqs 0.09/0.13 c (round 3) 41 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 10 upgd conss, 6960 impls, 0 clqs 0.09/0.14 c (round 4) 57 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8304 impls, 0 clqs 0.09/0.14 c (round 5) 73 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 116 chg coeffs, 10 upgd conss, 9424 impls, 0 clqs 0.09/0.14 c (round 6) 89 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 10 upgd conss, 10320 impls, 0 clqs 0.09/0.15 c (round 7) 105 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 10 upgd conss, 10992 impls, 0 clqs 0.09/0.15 c (round 8) 121 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 11440 impls, 0 clqs 0.09/0.15 c (round 9) 137 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 172 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs 0.09/0.16 c (round 10) 153 del vars, 126 del conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs 0.09/0.19 c (0.1s) probing: 221/639 (34.6%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes 0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings 0.09/0.19 c presolving (11 rounds): 0.09/0.19 c 153 deleted vars, 126 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 186 changed coefficients 0.09/0.19 c 11700 implications, 0 cliques 0.09/0.19 c presolved problem has 639 variables (639 bin, 0 int, 0 impl, 0 cont) and 460 constraints 0.09/0.19 c 441 constraints of type <and> 0.09/0.19 c 9 constraints of type <linear> 0.09/0.19 c 10 constraints of type <logicor> 0.09/0.19 c transformed objective value is always integral (scale: 2) 0.09/0.19 c Presolving Time: 0.09 0.09/0.19 c OPT-NLC 0.09/0.19 c ----------------------------------------------------------------------------------------------- 0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.19 c limits/memory = c 1620 0.09/0.19 c # maximal time in seconds to run 0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.19 c limits/time = c 1791 0.09/0.19 c # frequency for displaying node information lines 0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.19 c display/freq = c 10000 0.09/0.19 c ----------------------------------------------------------------------------------------------- 0.09/0.19 c start solving problem 0.09/0.19 c 0.09/0.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.20 c 0.1s| 1 | 0 | 22 |2930k| 0 | 12 | 639 | 460 | 460 | 639 | 901 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.26 c 0.1s| 1 | 0 | 624 |2965k| 0 | 16 | 639 | 460 | 460 | 639 | 903 | 2 | 0 | 0 | 3.000000e+00 | -- | Inf 0.19/0.29 c 0.2s| 1 | 0 | 633 |2985k| 0 | 25 | 639 | 460 | 460 | 639 | 907 | 6 | 0 | 0 | 3.000000e+00 | -- | Inf 0.29/0.34 c 0.2s| 1 | 0 | 640 |3003k| 0 | 29 | 639 | 460 | 460 | 639 | 913 | 12 | 0 | 0 | 3.000000e+00 | -- | Inf 0.39/0.40 c 0.3s| 1 | 0 | 649 |3016k| 0 | 31 | 639 | 460 | 460 | 639 | 917 | 16 | 0 | 0 | 3.000000e+00 | -- | Inf 0.39/0.47 c 0.3s| 1 | 0 | 658 |3028k| 0 | 37 | 639 | 460 | 460 | 639 | 923 | 22 | 0 | 0 | 3.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 662 |3037k| 0 | 39 | 639 | 460 | 460 | 639 | 926 | 25 | 0 | 0 | 3.000000e+00 | -- | Inf 0.69/0.74 c 0.6s| 1 | 2 | 662 |3038k| 0 | 39 | 639 | 460 | 460 | 639 | 926 | 25 | 0 | 20 | 3.000000e+00 | -- | Inf 4.59/4.60 o 9 4.59/4.60 c * 4.3s| 860 | 301 | 6285 |3961k| 98 | - | 639 |1046 | 49 | 639 | 212 |1865 | 586 |1882 | 3.000000e+00 | 9.000000e+00 | 200.00% 9.90/9.97 o 3 9.90/9.97 c * 9.6s| 2757 | 0 | 14505 |4249k| 105 | - | 639 |1821 | 81 | 639 | 195 |6721 |1405 |3969 | 3.000000e+00 | 3.000000e+00 | 0.00% 9.90/9.98 c 9.90/9.98 c SCIP Status : problem is solved [optimal solution found] 9.90/9.98 c Solving Time (sec) : 9.57 9.90/9.98 c Solving Nodes : 2757 9.90/9.98 c Primal Bound : +3.00000000000000e+00 (2 solutions) 9.90/9.98 c Dual Bound : +3.00000000000000e+00 9.90/9.98 c Gap : 0.00 % 9.90/9.98 c NODE 2757 9.90/9.98 c DUAL BOUND 3 9.90/9.98 c PRIMAL BOUND 3 9.90/9.98 c GAP 0 9.90/9.98 s OPTIMUM FOUND 9.90/9.98 v -x216 x215 -x214 x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 x144 -x143 x142 x141 -x140 x139 -x138 9.90/9.98 v x137 -x200 -x199 x198 x197 x196 -x195 -x194 x193 x136 x135 x134 -x133 -x132 x131 x130 x129 -x192 -x191 -x190 -x189 -x188 x187 9.90/9.98 v -x186 -x185 -x128 -x127 x126 x125 x124 x123 -x122 x121 -x184 -x183 -x182 -x181 x180 -x179 x178 -x177 -x120 -x119 -x118 -x117 9.90/9.98 v -x116 x115 -x114 x113 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x112 -x111 -x110 x109 -x108 -x107 x106 x105 -x168 9.90/9.98 v x167 -x166 -x165 -x164 -x163 -x162 x161 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 x160 x159 -x158 x157 -x156 -x155 x154 x153 9.90/9.98 v x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x88 x87 x86 x85 -x84 x83 -x82 x81 -x80 9.90/9.98 v x79 x78 x77 -x76 x75 x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 x65 x64 x63 x62 x61 -x60 -x59 x58 x57 x56 x55 -x54 x53 x52 -x51 9.90/9.98 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 9.90/9.98 v x23 -x22 x21 x20 x19 -x18 x17 x16 -x15 x14 -x13 -x12 x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 9.90/9.98 c SCIP Status : problem is solved [optimal solution found] 9.90/9.98 c Solving Time : 9.57 9.90/9.98 c Original Problem : 9.90/9.98 c Problem name : HOME/instance-1870018-1245187965.opb 9.90/9.98 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous) 9.90/9.98 c Constraints : 595 initial, 595 maximal 9.90/9.98 c Presolved Problem : 9.90/9.98 c Problem name : t_HOME/instance-1870018-1245187965.opb 9.90/9.98 c Variables : 639 (639 binary, 0 integer, 0 implicit integer, 0 continuous) 9.90/9.98 c Constraints : 460 initial, 1821 maximal 9.90/9.98 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 9.90/9.98 c trivial : 0.00 0 0 0 0 0 0 0 0 9.90/9.98 c dualfix : 0.01 0 0 0 0 0 0 0 0 9.90/9.98 c boundshift : 0.00 0 0 0 0 0 0 0 0 9.90/9.98 c inttobinary : 0.00 0 0 0 0 0 0 0 0 9.90/9.98 c implics : 0.00 0 0 0 0 0 0 0 0 9.90/9.98 c probing : 0.03 0 0 0 0 0 0 0 0 9.90/9.98 c and : 0.04 18 126 0 0 0 126 0 126 9.90/9.98 c linear : 0.01 1 8 0 0 0 0 0 60 9.90/9.98 c logicor : 0.00 0 0 0 0 0 0 0 0 9.90/9.98 c root node : - 45 - - 45 - - - - 9.90/9.98 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 9.90/9.98 c integral : 0 0 0 2415 0 2 135 0 0 4594 9.90/9.98 c and : 441 5112 8584 0 0 161 13618 6702 0 0 9.90/9.98 c linear : 9 6 8421 0 0 533 4759 0 0 0 9.90/9.98 c logicor : 10+ 6 3030 1 0 25 647 0 0 0 9.90/9.98 c countsols : 0 0 0 2 0 0 0 0 0 0 9.90/9.98 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 9.90/9.98 c integral : 3.88 0.00 0.00 3.88 0.00 9.90/9.98 c and : 0.44 0.35 0.09 0.00 0.00 9.90/9.98 c linear : 0.33 0.00 0.33 0.00 0.00 9.90/9.98 c logicor : 0.01 0.00 0.01 0.00 0.00 9.90/9.98 c countsols : 0.00 0.00 0.00 0.00 0.00 9.90/9.98 c Propagators : Time Calls Cutoffs DomReds 9.90/9.98 c rootredcost : 0.01 1 0 5 9.90/9.98 c pseudoobj : 0.01 8129 0 0 9.90/9.98 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 9.90/9.98 c propagation : 0.16 719 716 8667 53.6 62 22.3 - 9.90/9.98 c infeasible LP : 0.00 54 52 117 32.6 9 44.0 0 9.90/9.98 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 9.90/9.98 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 9.90/9.98 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 9.90/9.98 c applied globally : - - - 1405 27.1 - - - 9.90/9.98 c applied locally : - - - 0 0.0 - - - 9.90/9.98 c Separators : Time Calls Cutoffs DomReds Cuts Conss 9.90/9.98 c cut pool : 0.00 5 - - 5 - (maximal pool size: 40) 9.90/9.98 c redcost : 0.07 5114 0 0 0 0 9.90/9.98 c impliedbounds : 0.00 6 0 0 5 0 9.90/9.98 c intobj : 0.00 0 0 0 0 0 9.90/9.98 c gomory : 0.04 6 0 0 24 0 9.90/9.98 c strongcg : 0.04 6 0 0 50 0 9.90/9.98 c cmir : 0.04 6 0 0 16 0 9.90/9.98 c flowcover : 0.12 6 0 0 24 0 9.90/9.98 c clique : 0.00 1 0 0 0 0 9.90/9.98 c zerohalf : 0.00 0 0 0 0 0 9.90/9.98 c mcf : 0.00 1 0 0 0 0 9.90/9.98 c Pricers : Time Calls Vars 9.90/9.98 c problem variables: 0.00 0 0 9.90/9.98 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 9.90/9.98 c relpscost : 3.87 2413 2 135 0 0 4594 9.90/9.98 c pscost : 0.00 0 0 0 0 0 0 9.90/9.98 c inference : 0.00 0 0 0 0 0 0 9.90/9.98 c mostinf : 0.00 0 0 0 0 0 0 9.90/9.98 c leastinf : 0.00 0 0 0 0 0 0 9.90/9.98 c fullstrong : 0.00 0 0 0 0 0 0 9.90/9.98 c allfullstrong : 0.00 0 0 0 0 0 0 9.90/9.98 c random : 0.00 0 0 0 0 0 0 9.90/9.98 c Primal Heuristics : Time Calls Found 9.90/9.98 c LP solutions : 0.01 - 2 9.90/9.98 c pseudo solutions : 0.00 - 0 9.90/9.98 c crossover : 0.00 0 0 9.90/9.98 c intshifting : 0.00 0 0 9.90/9.98 c oneopt : 0.00 1 0 9.90/9.98 c linesearchdiving : 0.01 1 0 9.90/9.98 c guideddiving : 0.02 1 0 9.90/9.98 c feaspump : 0.03 1 0 9.90/9.98 c objpscostdiving : 0.00 1 0 9.90/9.98 c rootsoldiving : 0.14 1 0 9.90/9.98 c coefdiving : 0.05 2 0 9.90/9.98 c pscostdiving : 0.06 2 0 9.90/9.98 c fracdiving : 0.01 2 0 9.90/9.98 c veclendiving : 0.01 2 0 9.90/9.98 c simplerounding : 0.00 0 0 9.90/9.98 c rounding : 0.03 991 0 9.90/9.98 c shifting : 0.69 284 0 9.90/9.98 c fixandinfer : 0.00 0 0 9.90/9.98 c intdiving : 0.00 0 0 9.90/9.98 c actconsdiving : 0.00 0 0 9.90/9.98 c octane : 0.00 0 0 9.90/9.98 c rens : 0.02 1 0 9.90/9.98 c rins : 0.00 0 0 9.90/9.98 c localbranching : 0.00 0 0 9.90/9.98 c mutation : 0.00 0 0 9.90/9.98 c dins : 0.00 0 0 9.90/9.98 c LP : Time Calls Iterations Iter/call Iter/sec 9.90/9.98 c primal LP : 0.12 0 0 0.00 0.00 9.90/9.98 c dual LP : 2.20 5232 12600 2.41 5727.27 9.90/9.98 c barrier LP : 0.00 0 0 0.00 - 9.90/9.98 c diving/probing LP: 0.19 441 1905 4.32 10026.32 9.90/9.98 c strong branching : 3.84 3969 25523 6.43 6646.61 9.90/9.98 c (at root node) : - 20 1029 51.45 - 9.90/9.98 c conflict analysis: 0.00 0 0 0.00 - 9.90/9.98 c B&B Tree : 9.90/9.98 c number of runs : 1 9.90/9.98 c nodes : 2757 9.90/9.98 c nodes (total) : 2757 9.90/9.98 c nodes left : 0 9.90/9.98 c max depth : 105 9.90/9.98 c max depth (total): 105 9.90/9.98 c backtracks : 278 (10.1%) 9.90/9.98 c delayed cutoffs : 216 9.90/9.98 c repropagations : 914 (3419 domain reductions, 210 cutoffs) 9.90/9.98 c avg switch length: 3.48 9.90/9.98 c switching time : 0.27 9.90/9.98 c Solution : 9.90/9.98 c Solutions found : 2 (2 improvements) 9.90/9.98 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2757 nodes, 9.56 seconds, depth 102, found by <relaxation>) 9.90/9.98 c Dual Bound : +3.00000000000000e+00 9.90/9.98 c Gap : 0.00 % 9.90/9.98 c Root Dual Bound : +3.00000000000000e+00 9.90/9.99 c Time complete: 9.98.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870018-1245187965/watcher-1870018-1245187965 -o /tmp/evaluation-result-1870018-1245187965/solver-1870018-1245187965 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870018-1245187965.opb 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.00 1.00 1.00 3/64 32164 /proc/meminfo: memFree=1885432/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=4648 CPUtime=0 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 498 0 0 0 0 0 0 0 18 0 1 0 186396279 4759552 482 1992294400 4194304 7823515 548682068736 18446744073709551615 5955600 0 0 4096 0 0 0 0 17 1 0 0 /proc/32164/statm: 1082 484 319 886 0 192 0 [startup+0.0763941 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32164 /proc/meminfo: memFree=1885432/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=13952 CPUtime=0.07 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 2875 0 0 0 3 4 0 0 18 0 1 0 186396279 14286848 2503 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 3488 2503 404 886 0 2598 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13952 [startup+0.102406 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32164 /proc/meminfo: memFree=1885432/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=13952 CPUtime=0.09 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 2875 0 0 0 3 6 0 0 18 0 1 0 186396279 14286848 2503 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 3488 2503 404 886 0 2598 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13952 [startup+0.301413 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32164 /proc/meminfo: memFree=1885432/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=19656 CPUtime=0.29 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 4491 0 0 0 20 9 0 0 19 0 1 0 186396279 20127744 4094 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 4914 4094 562 886 0 4024 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19656 [startup+0.701449 s] /proc/loadavg: 1.00 1.00 1.00 3/64 32164 /proc/meminfo: memFree=1885432/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=24004 CPUtime=0.69 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 7604 0 0 0 57 12 0 0 22 0 1 0 186396279 24580096 5243 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6001 5243 568 886 0 5111 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24004 [startup+1.50152 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32165 /proc/meminfo: memFree=1866416/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=24004 CPUtime=1.49 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 7610 0 0 0 135 14 0 0 25 0 1 0 186396279 24580096 5249 1992294400 4194304 7823515 548682068736 18446744073709551615 5400258 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6001 5249 574 886 0 5111 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24004 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32165 /proc/meminfo: memFree=1866288/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=24248 CPUtime=3.09 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 7665 0 0 0 290 19 0 0 25 0 1 0 186396279 24829952 5304 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6062 5304 574 886 0 5172 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24248 [startup+6.30196 s] /proc/loadavg: 1.08 1.02 1.01 2/65 32165 /proc/meminfo: memFree=1865272/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=25424 CPUtime=6.29 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 7961 0 0 0 601 28 0 0 25 0 1 0 186396279 26034176 5600 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6356 5600 574 886 0 5466 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25424 Solver just ended. Dumping a history of the last processes samples [startup+7.9011 s] /proc/loadavg: 1.07 1.02 1.00 2/65 32165 /proc/meminfo: memFree=1864512/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=26356 CPUtime=7.89 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 8193 0 0 0 756 33 0 0 25 0 1 0 186396279 26988544 5832 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6589 5832 574 886 0 5699 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 26356 [startup+8.70218 s] /proc/loadavg: 1.07 1.02 1.00 2/65 32165 /proc/meminfo: memFree=1863872/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=26804 CPUtime=8.7 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 8273 0 0 0 834 36 0 0 25 0 1 0 186396279 27447296 5912 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6701 5912 574 886 0 5811 0 Current children cumulated CPU time (s) 8.7 Current children cumulated vsize (KiB) 26804 [startup+9.50125 s] /proc/loadavg: 1.07 1.02 1.00 2/65 32165 /proc/meminfo: memFree=1863872/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=27168 CPUtime=9.49 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 8378 0 0 0 911 38 0 0 25 0 1 0 186396279 27820032 6017 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6792 6017 574 886 0 5902 0 Current children cumulated CPU time (s) 9.49 Current children cumulated vsize (KiB) 27168 [startup+9.90528 s] /proc/loadavg: 1.07 1.02 1.00 2/65 32165 /proc/meminfo: memFree=1863232/2055920 swapFree=4181496/4192956 [pid=32164] ppid=32162 vsize=27444 CPUtime=9.9 /proc/32164/stat : 32164 (pbscip.linux.x8) R 32162 32164 31261 0 -1 4194304 8450 0 0 0 951 39 0 0 25 0 1 0 186396279 28102656 6089 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32164/statm: 6861 6089 574 886 0 5971 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (KiB) 27444 Child status: 0 Real time (s): 9.99791 CPU time (s): 9.99548 CPU user time (s): 9.59754 CPU system time (s): 0.397939 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 27444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.59754 system time used= 0.397939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8467 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= 14 runsolver used 0.011998 second user time and 0.034994 second system time The end
Begin job on node25 at 2009-06-16 23:32:45 IDJOB=1870018 IDBENCH=48008 IDSOLVER=683 FILE ID=node25/1870018-1245187965 PBS_JOBID= 9363949 Free space on /tmp= 66312 MiB SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870018-1245187965/watcher-1870018-1245187965 -o /tmp/evaluation-result-1870018-1245187965/solver-1870018-1245187965 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870018-1245187965.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72 RANDOM SEED=896580446 node25.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.238 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.238 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1885912 kB Buffers: 40384 kB Cached: 74428 kB SwapCached: 5888 kB Active: 70320 kB Inactive: 53000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1885912 kB SwapTotal: 4192956 kB SwapFree: 4181496 kB Dirty: 10100 kB Writeback: 0 kB Mapped: 13548 kB Slab: 32732 kB Committed_AS: 205820 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66300 MiB End job on node25 at 2009-06-16 23:32:55