Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | OPT | 3 | 390.983 | 391.086 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb |
MD5SUM | bf07e05475dbb8a26e29c8119be0dea3 |
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 | 12.2681 |
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 | 243 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
0.00/0.01 c SCIP version 1.1.0.7 0.00/0.01 c LP-Solver Clp 1.8.2 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c read problem <HOME/instance-1869825-1245186478.opb> 0.00/0.01 c original problem has 972 variables (972 bin, 0 int, 0 impl, 0 cont) and 748 constraints 0.00/0.02 c start presolving problem 0.00/0.02 c presolving: 0.09/0.15 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 70 chg coeffs, 0 upgd conss, 4356 impls, 0 clqs 0.09/0.16 c (round 2) 27 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 86 chg coeffs, 10 upgd conss, 6660 impls, 0 clqs 0.09/0.16 c (round 3) 45 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8676 impls, 0 clqs 0.09/0.17 c (round 4) 63 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 118 chg coeffs, 10 upgd conss, 10404 impls, 0 clqs 0.09/0.17 c (round 5) 81 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 134 chg coeffs, 10 upgd conss, 11844 impls, 0 clqs 0.09/0.18 c (round 6) 99 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 150 chg coeffs, 10 upgd conss, 12996 impls, 0 clqs 0.09/0.18 c (round 7) 117 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 166 chg coeffs, 10 upgd conss, 13860 impls, 0 clqs 0.09/0.18 c (round 8) 135 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 182 chg coeffs, 10 upgd conss, 14436 impls, 0 clqs 0.09/0.19 c (round 9) 153 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 198 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs 0.09/0.19 c (round 10) 171 del vars, 144 del conss, 0 chg bounds, 0 chg sides, 214 chg coeffs, 10 upgd conss, 14724 impls, 0 clqs 0.29/0.32 c (0.2s) probing: 238/801 (29.7%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes 0.29/0.32 c (0.2s) probing aborted: 100/100 successive totally useless probings 0.29/0.33 c presolving (11 rounds): 0.29/0.33 c 171 deleted vars, 144 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 214 changed coefficients 0.29/0.33 c 14760 implications, 0 cliques 0.29/0.33 c presolved problem has 801 variables (801 bin, 0 int, 0 impl, 0 cont) and 595 constraints 0.29/0.33 c 576 constraints of type <and> 0.29/0.33 c 9 constraints of type <linear> 0.29/0.33 c 10 constraints of type <logicor> 0.29/0.33 c transformed objective value is always integral (scale: 2) 0.29/0.33 c Presolving Time: 0.15 0.29/0.33 c OPT-NLC 0.29/0.33 c ----------------------------------------------------------------------------------------------- 0.29/0.33 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.33 c limits/memory = c 1620 0.29/0.33 c # maximal time in seconds to run 0.29/0.33 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.29/0.33 c limits/time = c 1791 0.29/0.33 c # frequency for displaying node information lines 0.29/0.33 c # [type: int, range: [-1,2147483647], default: 100] 0.29/0.33 c display/freq = c 10000 0.29/0.33 c ----------------------------------------------------------------------------------------------- 0.29/0.33 c start solving problem 0.29/0.33 c 0.29/0.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.29/0.34 c 0.2s| 1 | 0 | 21 |3658k| 0 | 11 | 801 | 595 | 595 | 801 |1171 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf 0.39/0.44 c 0.3s| 1 | 0 | 597 |3699k| 0 | 16 | 801 | 595 | 595 | 801 |1174 | 3 | 0 | 0 | 3.000000e+00 | -- | Inf 0.39/0.49 c 0.3s| 1 | 0 | 607 |3711k| 0 | 17 | 801 | 595 | 595 | 801 |1180 | 9 | 0 | 0 | 3.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 634 |3747k| 0 | 25 | 801 | 595 | 595 | 801 |1183 | 12 | 0 | 0 | 3.000000e+00 | -- | Inf 0.59/0.60 c 0.4s| 1 | 0 | 654 |3766k| 0 | 23 | 801 | 595 | 595 | 801 |1193 | 22 | 0 | 0 | 3.000000e+00 | -- | Inf 0.59/0.66 c 0.5s| 1 | 0 | 688 |3778k| 0 | 32 | 801 | 595 | 595 | 801 |1202 | 31 | 0 | 0 | 3.000000e+00 | -- | Inf 0.69/0.73 c 0.6s| 1 | 0 | 707 |3782k| 0 | 35 | 801 | 595 | 595 | 801 |1207 | 36 | 0 | 0 | 3.000000e+00 | -- | Inf 0.79/0.89 c 0.7s| 1 | 2 | 707 |3783k| 0 | 35 | 801 | 595 | 595 | 801 |1207 | 36 | 0 | 22 | 3.000000e+00 | -- | Inf 78.56/78.60 c 77.8s| 10000 | 5987 |190996 | 12M| 107 | 20 | 801 |3560 |2519 | 801 | 301 | 77k|4922 |6323 | 3.000000e+00 | -- | Inf 159.84/159.94 c 159s| 20000 | 12672 |411633 | 20M| 108 | 7 | 801 |1739 | 622 | 801 | 493 | 170k|8791 |8517 | 3.000000e+00 | -- | Inf 232.22/232.33 c 230s| 30000 | 18754 |594125 | 27M| 113 | 16 | 801 |2142 |1190 | 801 | 206 | 245k| 13k| 10k| 3.000000e+00 | -- | Inf 300.31/300.44 c 298s| 40000 | 24479 |764695 | 34M| 113 | 5 | 801 |2412 | 261 | 801 | 434 | 312k| 19k| 12k| 3.000000e+00 | -- | Inf 369.79/369.96 c 367s| 50000 | 30445 |943243 | 41M| 113 | 19 | 801 |2398 | 681 | 801 | 385 | 382k| 25k| 13k| 3.000000e+00 | -- | Inf 390.89/391.04 o 3 390.89/391.04 c * 388s| 53100 | 0 |991211 |6746k| 113 | - | 801 |2537 | 151 | 801 | 556 | 400k| 27k| 13k| 3.000000e+00 | 3.000000e+00 | 0.00% 390.89/391.05 c 390.89/391.05 c SCIP Status : problem is solved [optimal solution found] 390.89/391.05 c Solving Time (sec) : 387.73 390.89/391.05 c Solving Nodes : 53100 390.89/391.05 c Primal Bound : +3.00000000000000e+00 (1 solutions) 390.89/391.05 c Dual Bound : +3.00000000000000e+00 390.89/391.05 c Gap : 0.00 % 390.89/391.05 c NODE 53100 390.89/391.05 c DUAL BOUND 3 390.89/391.05 c PRIMAL BOUND 3 390.89/391.05 c GAP 0 390.89/391.05 s OPTIMUM FOUND 390.89/391.05 v -x243 -x242 x241 x240 x239 x238 x237 x236 x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 x226 x162 -x161 x160 -x159 x158 -x157 390.89/391.05 v x156 x155 x154 x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x153 x152 x151 x150 -x149 x148 x147 x146 x145 -x216 x215 390.89/391.05 v -x214 -x213 -x212 x211 -x210 x209 x208 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 x136 x207 x206 -x205 -x204 -x203 x202 390.89/391.05 v x201 -x200 x199 -x135 x134 x133 -x132 -x131 -x130 x129 x128 x127 -x198 -x197 x196 x195 x194 -x193 x192 x191 -x190 x126 x125 390.89/391.05 v x124 x123 -x122 -x121 -x120 -x119 x118 x189 -x188 -x187 x186 -x185 x184 x183 x182 x181 -x117 x116 -x115 -x114 x113 x112 x111 390.89/391.05 v x110 x109 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 x108 -x107 -x106 x105 x104 x103 -x102 x101 x100 -x171 -x170 390.89/391.05 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 x91 -x90 x89 -x88 x87 x86 x85 x84 x83 x82 -x81 390.89/391.05 v -x80 -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 390.89/391.05 v x51 -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 -x23 390.89/391.05 v -x22 -x21 x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1 390.89/391.05 c SCIP Status : problem is solved [optimal solution found] 390.89/391.05 c Solving Time : 387.73 390.89/391.05 c Original Problem : 390.89/391.05 c Problem name : HOME/instance-1869825-1245186478.opb 390.89/391.05 c Variables : 972 (972 binary, 0 integer, 0 implicit integer, 0 continuous) 390.89/391.05 c Constraints : 748 initial, 748 maximal 390.89/391.05 c Presolved Problem : 390.89/391.05 c Problem name : t_HOME/instance-1869825-1245186478.opb 390.89/391.05 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous) 390.89/391.05 c Constraints : 595 initial, 3957 maximal 390.89/391.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 390.89/391.05 c trivial : 0.00 0 0 0 0 0 0 0 0 390.89/391.05 c dualfix : 0.00 0 0 0 0 0 0 0 0 390.89/391.05 c boundshift : 0.00 0 0 0 0 0 0 0 0 390.89/391.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0 390.89/391.05 c implics : 0.00 0 0 0 0 0 0 0 0 390.89/391.05 c probing : 0.03 0 0 0 0 0 0 0 0 390.89/391.05 c and : 0.11 18 144 0 0 0 144 0 144 390.89/391.05 c linear : 0.00 1 8 0 0 0 0 0 70 390.89/391.05 c logicor : 0.00 0 0 0 0 0 0 0 0 390.89/391.05 c root node : - 0 - - 0 - - - - 390.89/391.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 390.89/391.05 c integral : 0 0 0 45436 0 36 876 0 0 89858 390.89/391.05 c and : 576 132158 139158 1 0 1916 287019 400523 0 0 390.89/391.05 c linear : 9 6 137242 1 0 10517 78645 0 0 0 390.89/391.05 c logicor : 10+ 6 67507 1 0 154 13680 0 0 0 390.89/391.05 c countsols : 0 0 0 1 0 0 0 0 0 0 390.89/391.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 390.89/391.05 c integral : 14.73 0.00 0.00 14.73 0.00 390.89/391.05 c and : 25.78 21.62 4.16 0.00 0.00 390.89/391.05 c linear : 8.89 0.00 8.89 0.00 0.00 390.89/391.05 c logicor : 2.46 0.00 2.46 0.00 0.00 390.89/391.05 c countsols : 0.00 0.00 0.00 0.00 0.00 390.89/391.05 c Propagators : Time Calls Cutoffs DomReds 390.89/391.05 c rootredcost : 0.06 0 0 0 390.89/391.05 c pseudoobj : 0.22 138667 0 0 390.89/391.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 390.89/391.05 c propagation : 6.19 12587 12558 173459 65.8 3572 36.3 - 390.89/391.05 c infeasible LP : 0.01 60 0 0 0.0 0 0.0 0 390.89/391.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 390.89/391.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 390.89/391.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 390.89/391.05 c applied globally : - - - 27000 34.9 - - - 390.89/391.05 c applied locally : - - - 1 81.0 - - - 390.89/391.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss 390.89/391.05 c cut pool : 0.00 5 - - 3 - (maximal pool size: 50) 390.89/391.05 c redcost : 2.74 132158 0 0 0 0 390.89/391.05 c impliedbounds : 0.00 6 0 0 22 0 390.89/391.05 c intobj : 0.00 0 0 0 0 0 390.89/391.05 c gomory : 0.02 6 0 0 25 0 390.89/391.05 c strongcg : 0.03 6 0 0 30 0 390.89/391.05 c cmir : 0.05 6 0 0 29 0 390.89/391.05 c flowcover : 0.15 6 0 0 50 0 390.89/391.05 c clique : 0.00 1 0 0 0 0 390.89/391.05 c zerohalf : 0.00 0 0 0 0 0 390.89/391.05 c mcf : 0.00 1 0 0 0 0 390.89/391.05 c Pricers : Time Calls Vars 390.89/391.05 c problem variables: 0.00 0 0 390.89/391.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 390.89/391.05 c relpscost : 14.66 45435 36 876 0 0 89858 390.89/391.05 c pscost : 0.00 0 0 0 0 0 0 390.89/391.05 c inference : 0.00 0 0 0 0 0 0 390.89/391.05 c mostinf : 0.00 0 0 0 0 0 0 390.89/391.05 c leastinf : 0.00 0 0 0 0 0 0 390.89/391.05 c fullstrong : 0.00 0 0 0 0 0 0 390.89/391.05 c allfullstrong : 0.00 0 0 0 0 0 0 390.89/391.05 c random : 0.00 0 0 0 0 0 0 390.89/391.05 c Primal Heuristics : Time Calls Found 390.89/391.05 c LP solutions : 0.13 - 1 390.89/391.05 c pseudo solutions : 0.00 - 0 390.89/391.05 c oneopt : 0.04 0 0 390.89/391.05 c crossover : 0.01 0 0 390.89/391.05 c intshifting : 0.00 0 0 390.89/391.05 c veclendiving : 0.27 25 0 390.89/391.05 c linesearchdiving : 0.35 25 0 390.89/391.05 c feaspump : 0.43 13 0 390.89/391.05 c objpscostdiving : 0.38 13 0 390.89/391.05 c rootsoldiving : 0.46 13 0 390.89/391.05 c coefdiving : 0.41 26 0 390.89/391.05 c pscostdiving : 0.63 26 0 390.89/391.05 c simplerounding : 0.19 0 0 390.89/391.05 c rounding : 0.27 5239 0 390.89/391.05 c shifting : 6.39 1614 0 390.89/391.05 c fixandinfer : 0.00 0 0 390.89/391.05 c fracdiving : 0.48 26 0 390.89/391.05 c intdiving : 0.00 0 0 390.89/391.05 c actconsdiving : 0.00 0 0 390.89/391.05 c guideddiving : 0.00 0 0 390.89/391.05 c octane : 0.00 0 0 390.89/391.05 c rens : 0.03 1 0 390.89/391.05 c rins : 0.00 0 0 390.89/391.05 c localbranching : 0.00 0 0 390.89/391.05 c mutation : 0.00 0 0 390.89/391.05 c dins : 0.00 0 0 390.89/391.05 c LP : Time Calls Iterations Iter/call Iter/sec 390.89/391.05 c primal LP : 44.45 0 0 0.00 0.00 390.89/391.05 c dual LP : 228.98 141625 975524 6.89 4260.30 390.89/391.05 c barrier LP : 0.00 0 0 0.00 - 390.89/391.05 c diving/probing LP: 2.79 1773 15687 8.85 5622.58 390.89/391.05 c strong branching : 13.52 13918 126313 9.08 9342.68 390.89/391.05 c (at root node) : - 22 1290 58.64 - 390.89/391.05 c conflict analysis: 0.00 0 0 0.00 - 390.89/391.05 c B&B Tree : 390.89/391.05 c number of runs : 1 390.89/391.05 c nodes : 53100 390.89/391.05 c nodes (total) : 53100 390.89/391.05 c nodes left : 0 390.89/391.05 c max depth : 113 390.89/391.05 c max depth (total): 113 390.89/391.05 c backtracks : 4877 (9.2%) 390.89/391.05 c delayed cutoffs : 4545 390.89/391.05 c repropagations : 16698 (77732 domain reductions, 4270 cutoffs) 390.89/391.05 c avg switch length: 5.15 390.89/391.05 c switching time : 51.24 390.89/391.05 c Solution : 390.89/391.05 c Solutions found : 1 (1 improvements) 390.89/391.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 53100 nodes, 387.60 seconds, depth 92, found by <relaxation>) 390.89/391.05 c Dual Bound : +3.00000000000000e+00 390.89/391.05 c Gap : 0.00 % 390.89/391.05 c Root Dual Bound : +3.00000000000000e+00 390.89/391.08 c Time complete: 390.97.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869825-1245186478/watcher-1869825-1245186478 -o /tmp/evaluation-result-1869825-1245186478/solver-1869825-1245186478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869825-1245186478.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 6365 /proc/meminfo: memFree=1880760/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=5812 CPUtime=0 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 515 0 0 0 0 0 0 0 18 0 1 0 186248715 5951488 499 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/6365/statm: 1453 500 332 1256 0 192 0 [startup+0.0538381 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6365 /proc/meminfo: memFree=1880760/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=15800 CPUtime=0.04 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 3082 0 0 0 2 2 0 0 18 0 1 0 186248715 16179200 2712 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 3950 2712 446 1256 0 2689 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15800 [startup+0.101842 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6365 /proc/meminfo: memFree=1880760/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=15800 CPUtime=0.09 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 3082 0 0 0 4 5 0 0 18 0 1 0 186248715 16179200 2712 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 3950 2712 446 1256 0 2689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15800 [startup+0.30186 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6365 /proc/meminfo: memFree=1880760/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=16984 CPUtime=0.29 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 3432 0 0 0 14 15 0 0 19 0 1 0 186248715 17391616 3062 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 4246 3062 493 1256 0 2985 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16984 [startup+0.701898 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6365 /proc/meminfo: memFree=1880760/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=29764 CPUtime=0.69 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 6143 0 0 0 52 17 0 0 22 0 1 0 186248715 30478336 5769 1992294400 4194304 9342243 548682068736 18446744073709551615 4342594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 7441 5769 678 1256 0 6180 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1859824/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=30936 CPUtime=1.49 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 8460 0 0 0 129 20 0 0 25 0 1 0 186248715 31678464 5950 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 7734 5950 694 1256 0 6473 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30936 [startup+3.10112 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1859312/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=30936 CPUtime=3.09 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 8618 0 0 0 288 21 0 0 25 0 1 0 186248715 31678464 6108 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 7734 6108 698 1256 0 6473 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30936 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1858416/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=30936 CPUtime=6.29 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 8747 0 0 0 606 23 0 0 25 0 1 0 186248715 31678464 6237 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 7734 6237 698 1256 0 6473 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30936 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1857528/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=31180 CPUtime=12.68 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 8968 0 0 0 1239 29 0 0 25 0 1 0 186248715 31928320 6458 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 7795 6458 698 1256 0 6534 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31180 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1855096/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=33460 CPUtime=25.48 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 9568 0 0 0 2511 37 0 0 25 0 1 0 186248715 34263040 7058 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 8365 7058 698 1256 0 7104 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33460 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1851128/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=38068 CPUtime=51.07 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 10560 0 0 0 5049 58 0 0 25 0 1 0 186248715 38981632 8050 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 9517 8050 698 1256 0 8256 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38068 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1843960/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=45708 CPUtime=102.27 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 12380 0 0 0 10133 94 0 0 25 0 1 0 186248715 46804992 9870 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 11427 9870 698 1256 0 10166 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45708 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1837432/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=51560 CPUtime=162.24 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 13999 0 0 0 16086 138 0 0 25 0 1 0 186248715 52797440 11489 1992294400 4194304 9342243 548682068736 18446744073709551615 7982023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 12890 11489 698 1256 0 11629 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51560 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1829624/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=59256 CPUtime=222.23 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 15944 0 0 0 22036 187 0 0 25 0 1 0 186248715 60678144 13434 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 14814 13434 698 1256 0 13553 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 59256 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1823224/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=65840 CPUtime=282.22 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 17544 0 0 0 27985 237 0 0 25 0 1 0 186248715 67420160 15034 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 16460 15034 698 1256 0 15199 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 65840 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1816248/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=72576 CPUtime=342.2 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 19263 0 0 0 33940 280 0 0 25 0 1 0 186248715 74317824 16753 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 18144 16753 698 1256 0 16883 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 72576 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1812792/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=76296 CPUtime=358.19 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 20155 0 0 0 35526 293 0 0 25 0 1 0 186248715 78127104 17645 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 19074 17645 698 1256 0 17813 0 Current children cumulated CPU time (s) 358.19 Current children cumulated vsize (KiB) 76296 [startup+371.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1811960/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=77088 CPUtime=371 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 20391 0 0 0 36796 304 0 0 25 0 1 0 186248715 78938112 17881 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 19272 17881 698 1256 0 18011 0 Current children cumulated CPU time (s) 371 Current children cumulated vsize (KiB) 77088 [startup+383.905 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1810040/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=79276 CPUtime=383.79 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 20843 0 0 0 38064 315 0 0 25 0 1 0 186248715 81178624 18333 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 19819 18333 698 1256 0 18558 0 Current children cumulated CPU time (s) 383.79 Current children cumulated vsize (KiB) 79276 [startup+387.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1809464/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=80036 CPUtime=386.99 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 20962 0 0 0 38382 317 0 0 25 0 1 0 186248715 81956864 18452 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 20009 18452 698 1256 0 18748 0 Current children cumulated CPU time (s) 386.99 Current children cumulated vsize (KiB) 80036 [startup+388.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1809016/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=80288 CPUtime=388.59 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 21104 0 0 0 38540 319 0 0 25 0 1 0 186248715 82214912 18594 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 20072 18594 698 1256 0 18811 0 Current children cumulated CPU time (s) 388.59 Current children cumulated vsize (KiB) 80288 [startup+390.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1808760/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=80480 CPUtime=390.18 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 21187 0 0 0 38698 320 0 0 25 0 1 0 186248715 82411520 18677 1992294400 4194304 9342243 548682068736 18446744073709551615 7289224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 20120 18677 698 1256 0 18859 0 Current children cumulated CPU time (s) 390.18 Current children cumulated vsize (KiB) 80480 [startup+390.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1808504/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=80480 CPUtime=390.59 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 21200 0 0 0 38738 321 0 0 25 0 1 0 186248715 82411520 18690 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 20120 18690 698 1256 0 18859 0 Current children cumulated CPU time (s) 390.59 Current children cumulated vsize (KiB) 80480 [startup+390.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1808504/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=80480 CPUtime=390.79 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 21205 0 0 0 38758 321 0 0 25 0 1 0 186248715 82411520 18695 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 20120 18695 698 1256 0 18859 0 Current children cumulated CPU time (s) 390.79 Current children cumulated vsize (KiB) 80480 [startup+391.001 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6366 /proc/meminfo: memFree=1808504/2055920 swapFree=4191900/4192956 [pid=6365] ppid=6363 vsize=80480 CPUtime=390.89 /proc/6365/stat : 6365 (pbscip.linux.x8) R 6363 6365 5132 0 -1 4194304 21205 0 0 0 38768 321 0 0 25 0 1 0 186248715 82411520 18695 1992294400 4194304 9342243 548682068736 18446744073709551615 5855037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6365/statm: 20120 18695 698 1256 0 18859 0 Current children cumulated CPU time (s) 390.89 Current children cumulated vsize (KiB) 80480 Child status: 0 Real time (s): 391.086 CPU time (s): 390.983 CPU user time (s): 387.757 CPU system time (s): 3.22551 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 80480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 387.757 system time used= 3.22551 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21210 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= 303 runsolver used 0.290955 second user time and 0.862868 second system time The end
Begin job on node14 at 2009-06-16 23:07:58 IDJOB=1869825 IDBENCH=47911 IDSOLVER=684 FILE ID=node14/1869825-1245186478 PBS_JOBID= 9363914 Free space on /tmp= 66376 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869825-1245186478/watcher-1869825-1245186478 -o /tmp/evaluation-result-1869825-1245186478/solver-1869825-1245186478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869825-1245186478.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3 RANDOM SEED=1158741599 node14.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.234 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.234 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: 1881176 kB Buffers: 44880 kB Cached: 74752 kB SwapCached: 388 kB Active: 65664 kB Inactive: 67388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1881176 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 11912 kB Writeback: 0 kB Mapped: 21800 kB Slab: 27632 kB Committed_AS: 186404 kB PageTables: 1452 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= 66364 MiB End job on node14 at 2009-06-16 23:14:29