Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 15.9626 | 15.963 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo |
MD5SUM | fefb0803ef3749855e286a972cf1f155 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.271958 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1246 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] 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-2705382-1278572940.wbo> 0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 64 impl, 0 cont) and 166 constraints 0.00/0.00 c problem read 0.00/0.00 c presolving settings loaded 0.00/0.00 c presolving: 0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs 0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs 0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 23 clqs 0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 2 impls, 23 clqs 0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings 0.00/0.02 c presolving (5 rounds): 0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients 0.00/0.02 c 83 implications, 23 cliques 0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 63 impl, 0 cont) and 159 constraints 0.00/0.02 c 1 constraints of type <knapsack> 0.00/0.02 c 24 constraints of type <setppc> 0.00/0.02 c 63 constraints of type <linear> 0.00/0.02 c 63 constraints of type <indicator> 0.00/0.02 c 8 constraints of type <logicor> 0.00/0.02 c transformed objective value is always integral (scale: 1) 0.00/0.02 c Presolving Time: 0.01 0.00/0.02 c - non default parameters ---------------------------------------------------------------------- 0.00/0.02 c # SCIP version 1.2.1.3 0.00/0.02 c 0.00/0.02 c # frequency for displaying node information lines 0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100] 0.00/0.02 c display/freq = 10000 0.00/0.02 c 0.00/0.02 c # maximal time in seconds to run 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/time = 1790 0.00/0.02 c 0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.00/0.02 c limits/memory = 3420 0.00/0.02 c 0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.00/0.02 c # [type: int, range: [1,2], default: 1] 0.00/0.02 c timing/clocktype = 2 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify inequalities 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/linear/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/indicator/addCouplingCons = TRUE 0.00/0.02 c 0.00/0.02 c # should presolving try to simplify knapsacks 0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE 0.00/0.02 c 0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1] 0.00/0.02 c separating/rapidlearning/freq = 0 0.00/0.02 c 0.00/0.02 c ----------------------------------------------------------------------------------------------- 0.00/0.02 c start solving 0.00/0.02 c 0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.00/0.02 c 0.0s| 1 | 0 | 15 | - |1176k| 0 | 0 | 295 | 159 | 295 | 33 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.03 c 0.0s| 1 | 0 | 32 | - |1187k| 0 | 16 | 295 | 159 | 295 | 44 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 45 | - |1291k| 0 | 26 | 295 | 159 | 295 | 53 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.04 c 0.0s| 1 | 0 | 59 | - |1468k| 0 | 31 | 295 | 159 | 295 | 59 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.05 c 0.0s| 1 | 0 | 85 | - |1711k| 0 | 36 | 295 | 159 | 295 | 68 | 35 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.06 c 0.1s| 1 | 0 | 100 | - |1817k| 0 | 38 | 295 | 159 | 295 | 70 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf 0.00/0.07 c 0.1s| 1 | 0 | 147 | - |1959k| 0 | 41 | 295 | 159 | 295 | 72 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf 0.09/0.12 c 0.1s| 1 | 2 | 147 | - |1962k| 0 | 41 | 295 | 159 | 295 | 72 | 39 | 0 | 16 | 0.000000e+00 | -- | Inf 0.19/0.26 o 2855 0.19/0.26 c y 0.3s| 18 | 15 | 458 | 18.3 |1995k| 15 | - | 295 | 159 | 0 | 0 | 41 | 0 | 128 | 0.000000e+00 | 2.855000e+03 | Inf 0.49/0.56 o 544 0.49/0.56 c * 0.6s| 260 | 221 | 1764 | 6.2 |2253k| 39 | - | 295 | 185 | 295 | 72 | 64 | 26 | 418 | 0.000000e+00 | 5.440000e+02 | Inf 0.49/0.58 o 513 0.49/0.58 c * 0.6s| 333 | 271 | 1899 | 5.3 |2338k| 42 | - | 295 | 198 | 295 | 75 | 71 | 39 | 431 | 0.000000e+00 | 5.130000e+02 | Inf 0.59/0.60 o 451 0.59/0.60 c * 0.6s| 383 | 285 | 1999 | 4.8 |2379k| 42 | - | 295 | 211 | 295 | 73 | 73 | 52 | 446 | 0.000000e+00 | 4.510000e+02 | Inf 0.59/0.61 o 438 0.59/0.61 c * 0.6s| 397 | 291 | 2013 | 4.7 |2399k| 42 | - | 295 | 215 | 295 | 74 | 75 | 56 | 446 | 0.000000e+00 | 4.380000e+02 | Inf 0.59/0.64 o 408 0.59/0.64 c * 0.6s| 445 | 312 | 2230 | 4.7 |2444k| 42 | - | 295 | 234 | 295 | 73 | 79 | 75 | 462 | 0.000000e+00 | 4.080000e+02 | Inf 0.59/0.64 o 252 0.59/0.64 c * 0.6s| 452 | 253 | 2263 | 4.7 |2398k| 42 | - | 295 | 235 | 295 | 71 | 79 | 76 | 462 | 0.000000e+00 | 2.520000e+02 | Inf 0.89/0.90 o 235 0.89/0.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.89/0.90 c * 0.9s| 1089 | 563 | 3836 | 3.4 |2874k| 44 | - | 295 | 457 | 295 | 72 | 126 | 298 | 606 | 0.000000e+00 | 2.350000e+02 | Inf 0.99/1.01 o 202 0.99/1.01 c * 1.0s| 1295 | 607 | 4531 | 3.4 |3007k| 62 | - | 295 | 575 | 295 | 73 | 134 | 417 | 712 | 0.000000e+00 | 2.020000e+02 | Inf 0.99/1.03 o 178 0.99/1.03 c * 1.0s| 1353 | 613 | 4665 | 3.3 |3033k| 62 | - | 295 | 584 | 295 | 73 | 136 | 426 | 726 | 0.000000e+00 | 1.780000e+02 | Inf 1.10/1.15 o 154 1.10/1.15 c * 1.1s| 1663 | 615 | 5232 | 3.1 |3161k| 62 | - | 295 | 793 | 295 | 73 | 149 | 636 | 760 | 0.000000e+00 | 1.540000e+02 | Inf 1.10/1.19 o 150 1.10/1.19 c * 1.2s| 1772 | 624 | 5417 | 3.0 |3218k| 62 | - | 295 | 877 | 295 | 73 | 152 | 720 | 777 | 0.000000e+00 | 1.500000e+02 | Inf 1.29/1.33 o 122 1.29/1.33 c * 1.3s| 2109 | 576 | 6395 | 3.0 |3346k| 62 | - | 295 |1117 | 295 | 75 | 183 | 960 | 836 | 0.000000e+00 | 1.220000e+02 | Inf 1.49/1.54 o 98 1.49/1.54 c * 1.5s| 2630 | 628 | 7884 | 2.9 |3681k| 62 | - | 295 |1445 | 295 | 71 | 225 |1290 | 922 | 0.000000e+00 | 9.800000e+01 | Inf 4.59/4.66 c 4.7s| 10000 | 2065 | 36948 | 3.7 |7249k| 71 | - | 295 |3086 | 0 | 0 | 695 |6581 |1341 | 0.000000e+00 | 9.800000e+01 | Inf 8.79/8.81 c 8.8s| 20000 | 3608 | 72555 | 3.6 | 11M| 71 | - | 295 |4688 | 295 | 78 |1173 | 14k|1426 | 0.000000e+00 | 9.800000e+01 | Inf 11.29/11.33 o 95 11.29/11.33 c *11.3s| 25647 | 4281 | 94797 | 3.7 | 12M| 72 | - | 295 |4376 | 295 | 72 |1504 | 18k|1436 | 0.000000e+00 | 9.500000e+01 | Inf 11.80/11.85 o 83 11.80/11.85 c *11.8s| 26879 | 3923 | 98707 | 3.7 | 12M| 72 | - | 295 |4597 | 295 | 76 |1593 | 19k|1436 | 0.000000e+00 | 8.300000e+01 | Inf 13.19/13.27 c 13.3s| 30000 | 4425 |114099 | 3.8 | 13M| 72 | - | 295 |4043 | 0 | 0 |1813 | 22k|1437 | 0.000000e+00 | 8.300000e+01 | Inf 13.49/13.53 o 82 13.49/13.53 c *13.5s| 30555 | 4523 |117186 | 3.8 | 13M| 72 | - | 295 |3632 | 295 | 71 |1861 | 22k|1437 | 0.000000e+00 | 8.200000e+01 | Inf 13.79/13.81 o 69 13.79/13.81 c *13.8s| 31196 | 4496 |119633 | 3.8 | 13M| 72 | - | 295 |3795 | 295 | 71 |1898 | 22k|1437 | 0.000000e+00 | 6.900000e+01 | Inf 14.99/15.04 o 54 14.99/15.04 c *15.0s| 33480 | 4569 |136707 | 4.1 | 13M| 72 | - | 295 |2798 | 295 | 73 |2057 | 24k|1503 | 0.000000e+00 | 5.400000e+01 | Inf 15.19/15.26 o 49 15.19/15.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 15.19/15.26 c *15.3s| 33781 | 4425 |139302 | 4.1 | 13M| 72 | - | 295 |2235 | 295 | 69 |2094 | 25k|1517 | 0.000000e+00 | 4.900000e+01 | Inf 15.29/15.31 o 24 15.29/15.31 c *15.3s| 33825 | 4095 |139927 | 4.1 | 13M| 72 | - | 295 |1892 | 295 | 70 |2094 | 25k|1520 | 0.000000e+00 | 2.400000e+01 | Inf 15.29/15.32 o 23 15.29/15.32 c *15.3s| 33835 | 4094 |140006 | 4.1 | 13M| 72 | - | 295 |1813 | 295 | 70 |2094 | 25k|1521 | 0.000000e+00 | 2.300000e+01 | Inf 15.29/15.32 o 4 15.29/15.32 c *15.3s| 33836 | 3529 |140007 | 4.1 | 12M| 72 | - | 295 |1813 | 295 | 70 |2094 | 25k|1521 | 0.000000e+00 | 4.000000e+00 | Inf 15.69/15.79 o 2 15.69/15.79 c *15.8s| 34209 | 2786 |149170 | 4.4 | 11M| 72 | - | 295 |1259 | 295 | 73 |2143 | 26k|1562 | 0.000000e+00 | 2.000000e+00 | Inf 15.89/15.95 c 15.89/15.95 c SCIP Status : problem is solved [optimal solution found] 15.89/15.95 c Solving Time (sec) : 15.95 15.89/15.95 c Solving Nodes : 34308 15.89/15.95 c Primal Bound : +2.00000000000000e+00 (143 solutions) 15.89/15.95 c Dual Bound : +2.00000000000000e+00 15.89/15.95 c Gap : 0.00 % 15.89/15.95 s OPTIMUM FOUND 15.89/15.95 v -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 15.89/15.95 v -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 15.89/15.95 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 15.89/15.95 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 15.89/15.95 v -x81 -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 15.89/15.95 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 15.89/15.95 v x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 15.89/15.95 v -x4 -x3 -x2 -x1 15.89/15.95 c SCIP Status : problem is solved [optimal solution found] 15.89/15.95 c Solving Time : 15.95 15.89/15.95 c Original Problem : 15.89/15.95 c Problem name : HOME/instance-2705382-1278572940.wbo 15.89/15.95 c Variables : 297 (233 binary, 0 integer, 64 implicit integer, 0 continuous) 15.89/15.95 c Constraints : 166 initial, 166 maximal 15.89/15.95 c Presolved Problem : 15.89/15.95 c Problem name : t_HOME/instance-2705382-1278572940.wbo 15.89/15.95 c Variables : 295 (232 binary, 0 integer, 63 implicit integer, 0 continuous) 15.89/15.95 c Constraints : 159 initial, 4962 maximal 15.89/15.95 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 15.89/15.95 c trivial : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c dualfix : 0.00 2 0 0 0 0 0 0 0 15.89/15.95 c boundshift : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c inttobinary : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c implics : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c probing : 0.01 0 0 0 0 0 0 0 0 15.89/15.95 c knapsack : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c setppc : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c linear : 0.00 0 0 0 63 0 6 1 0 15.89/15.95 c indicator : 0.00 0 0 0 0 0 1 0 0 15.89/15.95 c logicor : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0 15.89/15.95 c root node : - 118 - - 118 - - - - 15.89/15.95 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 15.89/15.95 c integral : 0 0 0 22625 0 1 261 0 0 23890 15.89/15.95 c knapsack : 1 6 135759 10451 0 612 312709 0 0 0 15.89/15.95 c setppc : 24 6 134978 10388 0 2264 74880 0 0 0 15.89/15.95 c linear : 63 6 132844 10435 0 1896 150279 2148 0 0 15.89/15.95 c indicator : 63 0 130986 10462 0 743 173851 0 0 0 15.89/15.95 c logicor : 8+ 6 48491 8883 0 3035 26338 0 0 0 15.89/15.95 c bounddisjunction : 0+ 0 36387 0 0 235 2318 0 0 0 15.89/15.95 c countsols : 0 0 0 9117 0 0 0 0 0 0 15.89/15.95 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 15.89/15.95 c integral : 0.81 0.00 0.00 0.81 0.00 15.89/15.95 c knapsack : 2.01 0.00 2.00 0.00 0.00 15.89/15.95 c setppc : 0.20 0.00 0.19 0.00 0.00 15.89/15.95 c linear : 0.89 0.00 0.84 0.04 0.00 15.89/15.95 c indicator : 0.32 0.00 0.28 0.04 0.00 15.89/15.95 c logicor : 0.96 0.00 0.96 0.00 0.00 15.89/15.95 c bounddisjunction : 0.49 0.00 0.49 0.00 0.00 15.89/15.95 c countsols : 0.00 0.00 0.00 0.00 0.00 15.89/15.95 c Propagators : Time Calls Cutoffs DomReds 15.89/15.95 c vbounds : 0.14 24447 1 5048 15.89/15.95 c rootredcost : 0.02 24 0 59 15.89/15.95 c pseudoobj : 0.43 137720 2137 170849 15.89/15.95 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 15.89/15.95 c propagation : 0.33 10179 10166 64701 22.3 149 26.5 - 15.89/15.95 c infeasible LP : 0.21 3875 3868 23256 21.7 32 19.4 0 15.89/15.95 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 15.89/15.95 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 15.89/15.95 c pseudo solution : 0.00 1 1 5 11.2 0 0.0 - 15.89/15.95 c applied globally : - - - 26299 17.4 - - - 15.89/15.95 c applied locally : - - - 65 32.5 - - - 15.89/15.95 c Separators : Time Calls Cutoffs DomReds Cuts Conss 15.89/15.95 c cut pool : 0.00 4 - - 21 - (maximal pool size: 177) 15.89/15.95 c redcost : 0.14 23112 0 3653 0 0 15.89/15.95 c impliedbounds : 0.00 5 0 0 0 0 15.89/15.95 c intobj : 0.00 0 0 0 0 0 15.89/15.95 c cgmip : 0.00 0 0 0 0 0 15.89/15.95 c gomory : 0.01 5 0 0 84 0 15.89/15.95 c strongcg : 0.01 5 0 0 158 0 15.89/15.95 c cmir : 0.00 5 0 0 0 0 15.89/15.95 c flowcover : 0.01 5 0 0 0 0 15.89/15.95 c clique : 0.00 5 0 0 1 0 15.89/15.95 c zerohalf : 0.00 0 0 0 0 0 15.89/15.95 c mcf : 0.00 1 0 0 0 0 15.89/15.95 c rapidlearning : 0.01 1 0 0 0 0 15.89/15.95 c Pricers : Time Calls Vars 15.89/15.95 c problem variables: 0.00 0 0 15.89/15.95 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 15.89/15.95 c relpscost : 0.80 12161 1 261 0 0 23890 15.89/15.95 c pscost : 0.00 0 0 0 0 0 0 15.89/15.95 c inference : 0.15 9094 0 0 0 0 18193 15.89/15.95 c mostinf : 0.00 0 0 0 0 0 0 15.89/15.95 c leastinf : 0.00 0 0 0 0 0 0 15.89/15.95 c fullstrong : 0.00 0 0 0 0 0 0 15.89/15.95 c allfullstrong : 0.00 0 0 0 0 0 0 15.89/15.95 c random : 0.00 0 0 0 0 0 0 15.89/15.95 c Primal Heuristics : Time Calls Found 15.89/15.95 c LP solutions : 0.01 - 23 15.89/15.95 c pseudo solutions : 0.00 - 0 15.89/15.95 c feaspump : 0.00 1 0 15.89/15.95 c oneopt : 0.02 23 0 15.89/15.95 c pscostdiving : 0.00 45 0 15.89/15.95 c guideddiving : 0.01 45 0 15.89/15.95 c fracdiving : 0.00 45 0 15.89/15.95 c veclendiving : 0.00 45 0 15.89/15.95 c coefdiving : 0.01 46 0 15.89/15.95 c linesearchdiving : 0.00 46 0 15.89/15.95 c crossover : 0.17 16 0 15.89/15.95 c objpscostdiving : 0.00 42 0 15.89/15.95 c rootsoldiving : 0.00 42 0 15.89/15.95 c trivial : 0.00 2 0 15.89/15.95 c simplerounding : 0.01 12299 0 15.89/15.95 c zirounding : 0.02 1000 0 15.89/15.95 c rounding : 0.03 1523 0 15.89/15.95 c shifting : 0.04 471 0 15.89/15.95 c intshifting : 0.00 0 0 15.89/15.95 c twoopt : 0.00 0 0 15.89/15.95 c fixandinfer : 0.00 0 0 15.89/15.95 c intdiving : 0.00 0 0 15.89/15.95 c actconsdiving : 0.00 0 0 15.89/15.95 c octane : 0.00 0 0 15.89/15.95 c rens : 0.01 1 0 15.89/15.95 c rins : 0.00 0 0 15.89/15.95 c localbranching : 0.00 0 0 15.89/15.95 c mutation : 0.00 0 0 15.89/15.95 c dins : 0.00 0 0 15.89/15.95 c undercover : 0.00 0 0 15.89/15.95 c nlp : 0.00 0 0 15.89/15.95 c trysol : 0.02 435 120 15.89/15.95 c LP : Time Calls Iterations Iter/call Iter/sec 15.89/15.95 c primal LP : 0.00 0 0 0.00 - 15.89/15.95 c dual LP : 5.08 19288 151895 7.88 29906.07 15.89/15.95 c lex dual LP : 0.00 0 0 0.00 - 15.89/15.95 c barrier LP : 0.00 0 0 0.00 - 15.89/15.95 c diving/probing LP: 0.02 80 282 3.52 17589.82 15.89/15.95 c strong branching : 0.75 1582 32711 20.68 43675.35 15.89/15.95 c (at root node) : - 16 1339 83.69 - 15.89/15.95 c conflict analysis: 0.00 0 0 0.00 - 15.89/15.95 c B&B Tree : 15.89/15.95 c number of runs : 1 15.89/15.95 c nodes : 34308 15.89/15.95 c nodes (total) : 34308 15.89/15.95 c nodes left : 0 15.89/15.95 c max depth : 72 15.89/15.95 c max depth (total): 72 15.89/15.95 c backtracks : 4260 (12.4%) 15.89/15.95 c delayed cutoffs : 5483 15.89/15.95 c repropagations : 65985 (162250 domain reductions, 1551 cutoffs) 15.89/15.95 c avg switch length: 6.24 15.89/15.95 c switching time : 1.81 15.89/15.95 c Solution : 15.89/15.95 c Solutions found : 143 (24 improvements) 15.89/15.95 c First Solution : +2.85500000000000e+03 (in run 1, after 17 nodes, 0.26 seconds, depth 16, found by <trysol>) 15.89/15.95 c Primal Bound : +2.00000000000000e+00 (in run 1, after 34209 nodes, 15.79 seconds, depth 27, found by <relaxation>) 15.89/15.95 c Dual Bound : +2.00000000000000e+00 15.89/15.95 c Gap : 0.00 % 15.89/15.95 c Root Dual Bound : +0.00000000000000e+00 15.89/15.95 c Root Iterations : 147 15.89/15.96 c Time complete: 15.95.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705382-1278572940/watcher-2705382-1278572940 -o /tmp/evaluation-result-2705382-1278572940/solver-2705382-1278572940 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705382-1278572940.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.07 0.02 0.00 2/173 21628 /proc/meminfo: memFree=29881632/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=12340 CPUtime=0 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 1934 0 0 0 0 0 0 0 21 0 1 0 25507240 12636160 1853 4089446400 4194304 10345943 140736860902640 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/21628/statm: 3085 1853 429 1502 0 1578 0 [startup+0.102992 s] /proc/loadavg: 0.07 0.02 0.00 2/173 21628 /proc/meminfo: memFree=29881632/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=24500 CPUtime=0.09 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 6796 0 0 0 8 1 0 0 21 0 1 0 25507240 25088000 4948 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 6125 4948 780 1502 0 4618 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24500 [startup+0.200956 s] /proc/loadavg: 0.07 0.02 0.00 2/173 21628 /proc/meminfo: memFree=29881632/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=24500 CPUtime=0.19 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 6798 0 0 0 18 1 0 0 21 0 1 0 25507240 25088000 4950 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 6125 4950 781 1502 0 4618 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 24500 [startup+0.300947 s] /proc/loadavg: 0.07 0.02 0.00 2/173 21628 /proc/meminfo: memFree=29881632/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=24500 CPUtime=0.29 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 6803 0 0 0 27 2 0 0 21 0 1 0 25507240 25088000 4955 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 6125 4955 786 1502 0 4618 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24500 [startup+0.700885 s] /proc/loadavg: 0.07 0.02 0.00 2/173 21628 /proc/meminfo: memFree=29881632/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=24500 CPUtime=0.69 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 7584 0 0 0 65 4 0 0 22 0 1 0 25507240 25088000 4996 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 6125 4996 791 1502 0 4618 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24500 [startup+1.50074 s] /proc/loadavg: 0.07 0.02 0.00 2/174 21629 /proc/meminfo: memFree=29863768/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=25524 CPUtime=1.49 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 9798 0 0 0 144 5 0 0 25 0 1 0 25507240 26136576 5254 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 6381 5254 791 1502 0 4874 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25524 [startup+3.10047 s] /proc/loadavg: 0.07 0.02 0.00 2/174 21629 /proc/meminfo: memFree=29861660/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=26972 CPUtime=3.09 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 13194 0 0 0 302 7 0 0 25 0 1 0 25507240 27619328 5215 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 6743 5215 791 1502 0 5236 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26972 [startup+6.30093 s] /proc/loadavg: 0.15 0.03 0.01 2/174 21629 /proc/meminfo: memFree=29860532/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=31412 CPUtime=6.29 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 16104 0 0 0 618 11 0 0 25 0 1 0 25507240 32165888 6286 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 7853 6286 791 1502 0 6346 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31412 [startup+12.7008 s] /proc/loadavg: 0.21 0.05 0.01 2/174 21629 /proc/meminfo: memFree=29852596/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=37488 CPUtime=12.69 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 26376 0 0 0 1249 20 0 0 25 0 1 0 25507240 38387712 7960 4089446400 4194304 10345943 140736860902640 18446744073709551615 4844667 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 9372 7960 791 1502 0 7865 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37488 Solver just ended. Dumping a history of the last processes samples [startup+12.8008 s] /proc/loadavg: 0.21 0.05 0.01 2/174 21629 /proc/meminfo: memFree=29852596/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=37692 CPUtime=12.79 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 26399 0 0 0 1258 21 0 0 25 0 1 0 25507240 38596608 7983 4089446400 4194304 10345943 140736860902640 18446744073709551615 4706226 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 9423 7983 791 1502 0 7916 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 37692 [startup+14.4065 s] /proc/loadavg: 0.21 0.05 0.01 3/179 21639 /proc/meminfo: memFree=29799724/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=40048 CPUtime=14.4 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 34643 0 0 0 1416 24 0 0 25 0 1 0 25507240 41009152 8465 4089446400 4194304 10345943 140736860902640 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 10012 8465 791 1502 0 8505 0 Current children cumulated CPU time (s) 14.4 Current children cumulated vsize (KiB) 40048 [startup+15.2004 s] /proc/loadavg: 0.21 0.05 0.01 3/179 21639 /proc/meminfo: memFree=29799724/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=38980 CPUtime=15.19 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 38176 0 0 0 1494 25 0 0 25 0 1 0 25507240 39915520 8489 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 9745 8489 791 1502 0 8238 0 Current children cumulated CPU time (s) 15.19 Current children cumulated vsize (KiB) 38980 [startup+15.6003 s] /proc/loadavg: 0.36 0.08 0.02 3/179 21639 /proc/meminfo: memFree=29799976/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=40304 CPUtime=15.59 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 38251 0 0 0 1534 25 0 0 25 0 1 0 25507240 41271296 8564 4089446400 4194304 10345943 140736860902640 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 10076 8564 791 1502 0 8569 0 Current children cumulated CPU time (s) 15.59 Current children cumulated vsize (KiB) 40304 [startup+15.8003 s] /proc/loadavg: 0.36 0.08 0.02 3/179 21639 /proc/meminfo: memFree=29799976/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=40412 CPUtime=15.79 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 39086 0 0 0 1553 26 0 0 25 0 1 0 25507240 41381888 8611 4089446400 4194304 10345943 140736860902640 18446744073709551615 4216926 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 10103 8611 791 1502 0 8596 0 Current children cumulated CPU time (s) 15.79 Current children cumulated vsize (KiB) 40412 [startup+15.9003 s] /proc/loadavg: 0.36 0.08 0.02 3/179 21639 /proc/meminfo: memFree=29799976/32951124 swapFree=67111528/67111528 [pid=21628] ppid=21626 vsize=40412 CPUtime=15.89 /proc/21628/stat : 21628 (pbscip.linux.x8) R 21626 21628 21517 0 -1 4202496 39094 0 0 0 1562 27 0 0 25 0 1 0 25507240 41381888 8619 4089446400 4194304 10345943 140736860902640 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/21628/statm: 10103 8619 791 1502 0 8596 0 Current children cumulated CPU time (s) 15.89 Current children cumulated vsize (KiB) 40412 Child status: 0 Real time (s): 15.963 CPU time (s): 15.9626 CPU user time (s): 15.6866 CPU system time (s): 0.275958 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 40412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.6866 system time used= 0.275958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39098 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= 9 runsolver used 0.028995 second user time and 0.052991 second system time The end
Begin job on node130 at 2010-07-08 09:09:01 IDJOB=2705382 IDBENCH=78817 IDSOLVER=1214 FILE ID=node130/2705382-1278572940 PBS_JOBID= 11240194 Free space on /tmp= 73400 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705382-1278572940/watcher-2705382-1278572940 -o /tmp/evaluation-result-2705382-1278572940/solver-2705382-1278572940 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705382-1278572940.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fefb0803ef3749855e286a972cf1f155 RANDOM SEED=2591391 node130.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.22 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29882036 kB Buffers: 157396 kB Cached: 2677684 kB SwapCached: 0 kB Active: 1329504 kB Inactive: 1567996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29882036 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13080 kB Writeback: 0 kB AnonPages: 62436 kB Mapped: 14632 kB Slab: 108052 kB PageTables: 4504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183700 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73376 MiB End job on node130 at 2010-07-08 09:09:17