Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 2 | 472.483 | 472.608 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
| MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 182.966 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| 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 | 8 |
| Minimum length of a constraint | 45 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| 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 | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 851 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3063 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2703903-1278562858.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
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 = 1620
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 | 16 | - | 351k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.09 o 411
0.04/0.09 c y 0.1s| 1 | 0 | 36 | - | 376k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 42 | - | 531k| 0 | 8 | 94 | 126 | 94 | 9 | 5 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 47 | - | 555k| 0 | 9 | 94 | 126 | 94 | 13 | 9 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 51 | - | 581k| 0 | 10 | 94 | 126 | 94 | 17 | 13 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 56 | - | 602k| 0 | 11 | 94 | 126 | 94 | 21 | 17 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 63 | - | 621k| 0 | 15 | 94 | 126 | 94 | 26 | 22 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 73 | - | 634k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.19 c 0.2s| 1 | 2 | 73 | - | 634k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 9 | 0.000000e+00 | 4.110000e+02 | Inf
0.20/0.23 o 275
0.20/0.23 c c 0.2s| 18 | 19 | 174 | 5.9 | 657k| 17 | - | 94 | 126 | 94 | 15 | 25 | 0 | 90 | 0.000000e+00 | 2.750000e+02 | Inf
0.20/0.24 o 214
0.20/0.24 c p 0.2s| 31 | 32 | 251 | 5.9 | 668k| 17 | - | 94 | 126 | 94 | 15 | 25 | 0 | 114 | 0.000000e+00 | 2.140000e+02 | Inf
0.30/0.30 o 213
0.30/0.30 c * 0.3s| 91 | 90 | 512 | 4.9 | 698k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 245 | 0.000000e+00 | 2.130000e+02 | Inf
0.30/0.30 o 211
0.30/0.30 c * 0.3s| 92 | 89 | 512 | 4.8 | 699k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 245 | 0.000000e+00 | 2.110000e+02 | Inf
0.30/0.31 o 210
0.30/0.31 c * 0.3s| 110 | 105 | 572 | 4.6 | 709k| 29 | - | 94 | 126 | 94 | 15 | 25 | 2 | 263 | 0.000000e+00 | 2.100000e+02 | Inf
0.30/0.32 o 209
0.30/0.32 c l 0.3s| 137 | 130 | 654 | 4.3 | 747k| 29 | - | 94 | 127 | 94 | 15 | 25 | 6 | 299 | 0.000000e+00 | 2.090000e+02 | Inf
0.30/0.34 o 199
0.30/0.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.30/0.34 c g 0.3s| 151 | 130 | 706 | 4.2 | 747k| 29 | - | 94 | 127 | 94 | 15 | 25 | 6 | 324 | 0.000000e+00 | 1.990000e+02 | Inf
0.30/0.36 o 193
0.30/0.36 c p 0.3s| 189 | 157 | 844 | 4.1 | 762k| 29 | - | 94 | 127 | 94 | 15 | 25 | 7 | 345 | 0.000000e+00 | 1.930000e+02 | Inf
0.30/0.36 o 192
0.30/0.36 c * 0.4s| 204 | 166 | 879 | 4.0 | 769k| 30 | - | 94 | 127 | 94 | 15 | 25 | 7 | 359 | 0.000000e+00 | 1.920000e+02 | Inf
0.30/0.36 o 190
0.30/0.36 c * 0.4s| 205 | 165 | 879 | 4.0 | 769k| 30 | - | 94 | 127 | 94 | 15 | 25 | 7 | 359 | 0.000000e+00 | 1.900000e+02 | Inf
0.30/0.37 o 186
0.30/0.37 c f 0.4s| 220 | 176 | 923 | 3.9 | 783k| 30 | - | 94 | 127 | 94 | 15 | 25 | 8 | 372 | 0.000000e+00 | 1.860000e+02 | Inf
0.39/0.40 o 182
0.39/0.40 c l 0.4s| 269 | 216 | 1086 | 3.8 | 813k| 30 | - | 94 | 132 | 94 | 15 | 25 | 16 | 403 | 0.000000e+00 | 1.820000e+02 | Inf
0.39/0.41 o 181
0.39/0.41 c * 0.4s| 283 | 225 | 1116 | 3.7 | 819k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 416 | 0.000000e+00 | 1.810000e+02 | Inf
0.39/0.41 o 179
0.39/0.41 c * 0.4s| 284 | 222 | 1116 | 3.7 | 819k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 416 | 0.000000e+00 | 1.790000e+02 | Inf
0.39/0.41 o 177
0.39/0.41 c * 0.4s| 297 | 233 | 1149 | 3.6 | 826k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 422 | 0.000000e+00 | 1.770000e+02 | Inf
0.39/0.42 o 175
0.39/0.42 c * 0.4s| 298 | 231 | 1149 | 3.6 | 827k| 30 | - | 94 | 133 | 94 | 15 | 25 | 17 | 422 | 0.000000e+00 | 1.750000e+02 | Inf
0.39/0.42 o 173
0.39/0.42 c g 0.4s| 313 | 243 | 1181 | 3.6 | 840k| 30 | - | 94 | 134 | 94 | 15 | 25 | 18 | 427 | 0.000000e+00 | 1.730000e+02 | Inf
0.39/0.44 o 172
0.39/0.44 c * 0.4s| 351 | 277 | 1341 | 3.6 | 863k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 437 | 0.000000e+00 | 1.720000e+02 | Inf
0.39/0.44 o 168
0.39/0.44 c * 0.4s| 353 | 275 | 1341 | 3.6 | 862k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 439 | 0.000000e+00 | 1.680000e+02 | Inf
0.39/0.44 o 164
0.39/0.44 c * 0.4s| 354 | 270 | 1341 | 3.6 | 861k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 439 | 0.000000e+00 | 1.640000e+02 | Inf
0.39/0.45 o 163
0.39/0.45 c * 0.4s| 366 | 278 | 1364 | 3.5 | 868k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 442 | 0.000000e+00 | 1.630000e+02 | Inf
0.39/0.45 o 159
0.39/0.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.45 c c 0.4s| 370 | 273 | 1368 | 3.5 | 868k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 444 | 0.000000e+00 | 1.590000e+02 | Inf
0.39/0.46 o 158
0.39/0.46 c * 0.4s| 385 | 283 | 1416 | 3.5 | 875k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 450 | 0.000000e+00 | 1.580000e+02 | Inf
0.39/0.46 o 157
0.39/0.46 c * 0.5s| 397 | 290 | 1449 | 3.5 | 883k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 463 | 0.000000e+00 | 1.570000e+02 | Inf
0.39/0.46 o 155
0.39/0.46 c * 0.5s| 399 | 285 | 1449 | 3.5 | 881k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 465 | 0.000000e+00 | 1.550000e+02 | Inf
0.39/0.47 o 153
0.39/0.47 c * 0.5s| 400 | 283 | 1449 | 3.4 | 882k| 30 | - | 94 | 140 | 94 | 15 | 25 | 24 | 465 | 0.000000e+00 | 1.530000e+02 | Inf
0.39/0.47 o 151
0.39/0.47 c p 0.5s| 416 | 292 | 1482 | 3.4 | 893k| 30 | - | 94 | 140 | 94 | 15 | 25 | 26 | 474 | 0.000000e+00 | 1.510000e+02 | Inf
0.39/0.47 o 149
0.39/0.47 c f 0.5s| 416 | 283 | 1482 | 3.4 | 887k| 30 | - | 94 | 140 | 94 | 15 | 25 | 29 | 474 | 0.000000e+00 | 1.490000e+02 | Inf
0.39/0.49 o 147
0.39/0.49 c v 0.5s| 456 | 312 | 1585 | 3.3 | 907k| 30 | - | 94 | 142 | 94 | 15 | 25 | 32 | 479 | 0.000000e+00 | 1.470000e+02 | Inf
0.49/0.50 o 145
0.49/0.50 c * 0.5s| 483 | 330 | 1678 | 3.3 | 915k| 30 | - | 94 | 142 | 94 | 15 | 25 | 32 | 489 | 0.000000e+00 | 1.450000e+02 | Inf
0.49/0.51 o 143
0.49/0.51 c * 0.5s| 488 | 332 | 1681 | 3.3 | 917k| 31 | - | 94 | 142 | 94 | 15 | 25 | 32 | 491 | 0.000000e+00 | 1.430000e+02 | Inf
0.49/0.52 o 142
0.49/0.52 c l 0.5s| 503 | 345 | 1734 | 3.3 | 927k| 31 | - | 94 | 142 | 94 | 15 | 25 | 32 | 494 | 0.000000e+00 | 1.420000e+02 | Inf
0.49/0.52 o 140
0.49/0.52 c g 0.5s| 503 | 340 | 1734 | 3.3 | 927k| 31 | - | 94 | 142 | 94 | 15 | 25 | 33 | 494 | 0.000000e+00 | 1.400000e+02 | Inf
0.49/0.54 o 62
0.49/0.54 c f 0.5s| 544 | 320 | 1877 | 3.3 | 911k| 31 | - | 94 | 143 | 94 | 15 | 25 | 34 | 498 | 0.000000e+00 | 6.200000e+01 | Inf
0.49/0.54 o 30
0.49/0.54 c s 0.5s| 549 | 269 | 1889 | 3.3 | 879k| 31 | 4 | 94 | 107 | 94 | 15 | 25 | 34 | 498 | 0.000000e+00 | 3.000000e+01 | Inf
0.49/0.54 o 28
0.49/0.54 c v 0.5s| 549 | 263 | 1898 | 3.3 | 882k| 31 | - | 94 | 108 | 94 | 15 | 25 | 37 | 499 | 0.000000e+00 | 2.800000e+01 | Inf
0.49/0.59 o 26
0.49/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.59 c v 0.6s| 655 | 340 | 2315 | 3.4 | 865k| 31 | - | 94 | 27 | 94 | 15 | 25 | 45 | 502 | 0.000000e+00 | 2.600000e+01 | Inf
0.49/0.59 o 24
0.49/0.59 c f 0.6s| 655 | 334 | 2315 | 3.4 | 864k| 31 | - | 94 | 30 | 94 | 15 | 25 | 48 | 502 | 0.000000e+00 | 2.400000e+01 | Inf
0.59/0.61 o 9
0.59/0.61 c s 0.6s| 724 | 314 | 2477 | 3.3 | 850k| 31 | 4 | 94 | 30 | 94 | 15 | 25 | 48 | 511 | 0.000000e+00 | 9.000000e+00 | Inf
0.59/0.61 o 5
0.59/0.61 c g 0.6s| 724 | 291 | 2480 | 3.3 | 840k| 31 | - | 94 | 30 | 94 | 15 | 25 | 48 | 513 | 0.000000e+00 | 5.000000e+00 | Inf
1.79/1.83 o 3
1.79/1.83 c * 1.8s| 3987 | 2218 | 13822 | 3.4 |1802k| 31 | - | 94 | 472 | 94 | 15 | 25 | 510 | 521 | 0.000000e+00 | 3.000000e+00 | Inf
3.69/3.73 c 3.7s| 10000 | 3800 | 27054 | 2.7 |2904k| 31 | - | 94 |1124 | 94 | 15 | 25 |1183 | 553 | 0.000000e+00 | 3.000000e+00 | Inf
4.99/5.07 o 2
4.99/5.07 c * 5.1s| 14435 | 4446 | 35844 | 2.5 |3445k| 31 | - | 94 |1535 | 94 | 15 | 25 |1604 | 564 | 0.000000e+00 | 2.000000e+00 | Inf
6.69/6.72 c 6.7s| 20000 | 4654 | 45672 | 2.3 |3819k| 31 | 4 | 94 |1962 | 94 | 15 | 25 |2055 | 564 | 0.000000e+00 | 2.000000e+00 | Inf
10.09/10.13 c 10.1s| 30000 | 5100 | 63763 | 2.1 |4678k| 31 | - | 94 |3001 | 94 | 15 | 25 |3256 | 623 | 0.000000e+00 | 2.000000e+00 | Inf
13.99/14.00 c 14.0s| 40000 | 5637 | 80943 | 2.0 |5557k| 31 | - | 94 |4166 | 0 | 0 | 25 |4483 | 658 | 0.000000e+00 | 2.000000e+00 | Inf
18.38/18.46 c 18.5s| 50000 | 5871 | 98256 | 2.0 |6089k| 31 | - | 94 |4724 | 0 | 0 | 25 |5674 | 692 | 0.000000e+00 | 2.000000e+00 | Inf
23.09/23.17 c 23.2s| 60000 | 5773 |113896 | 1.9 |6334k| 31 | 4 | 94 |5357 | 94 | 15 | 25 |7013 | 729 | 0.000000e+00 | 2.000000e+00 | Inf
27.68/27.75 c 27.7s| 70000 | 5674 |130837 | 1.9 |5400k| 31 | 4 | 94 |2777 | 94 | 15 | 25 |8180 | 776 | 0.000000e+00 | 2.000000e+00 | Inf
30.99/31.09 c 31.1s| 80000 | 5955 |147128 | 1.8 |5776k| 31 | - | 94 |3140 | 94 | 15 | 25 |9155 | 809 | 0.000000e+00 | 2.000000e+00 | Inf
34.59/34.62 c 34.6s| 90000 | 5686 |162744 | 1.8 |5579k| 31 | 4 | 94 |3117 | 94 | 15 | 25 | 10k| 851 | 0.000000e+00 | 2.000000e+00 | Inf
37.78/37.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.78/37.87 c 37.9s|100000 | 5568 |178825 | 1.8 |5277k| 31 | - | 94 |2476 | 94 | 15 | 25 | 11k| 888 | 0.000000e+00 | 2.000000e+00 | Inf
40.88/40.95 c 40.9s|110000 | 5846 |194048 | 1.8 |5548k| 31 | 4 | 94 |2576 | 94 | 15 | 25 | 12k| 907 | 0.000000e+00 | 2.000000e+00 | Inf
44.08/44.14 c 44.1s|120000 | 5669 |209144 | 1.7 |5504k| 31 | 4 | 94 |2844 | 94 | 15 | 25 | 13k| 930 | 0.000000e+00 | 2.000000e+00 | Inf
47.19/47.25 c 47.2s|130000 | 5876 |225678 | 1.7 |5607k| 31 | 4 | 94 |2786 | 94 | 15 | 25 | 14k| 958 | 0.000000e+00 | 2.000000e+00 | Inf
50.38/50.41 c 50.4s|140000 | 5842 |241957 | 1.7 |5647k| 31 | - | 94 |2738 | 94 | 15 | 25 | 15k| 987 | 0.000000e+00 | 2.000000e+00 | Inf
53.58/53.60 c 53.6s|150000 | 6057 |257642 | 1.7 |5965k| 31 | 4 | 94 |3059 | 94 | 15 | 25 | 16k|1013 | 0.000000e+00 | 2.000000e+00 | Inf
56.77/56.87 c 56.9s|160000 | 5736 |273453 | 1.7 |5650k| 31 | 4 | 94 |2829 | 94 | 15 | 25 | 17k|1036 | 0.000000e+00 | 2.000000e+00 | Inf
59.98/60.02 c 60.0s|170000 | 5663 |290159 | 1.7 |5501k| 31 | 4 | 94 |2599 | 94 | 15 | 25 | 18k|1058 | 0.000000e+00 | 2.000000e+00 | Inf
62.88/62.99 c 63.0s|180000 | 5424 |306655 | 1.7 |5169k| 31 | - | 94 |2432 | 0 | 0 | 25 | 19k|1113 | 0.000000e+00 | 2.000000e+00 | Inf
65.88/65.92 c 65.9s|190000 | 5355 |322436 | 1.7 |5082k| 31 | - | 94 |2289 | 94 | 15 | 25 | 20k|1125 | 0.000000e+00 | 2.000000e+00 | Inf
68.78/68.82 c 68.8s|200000 | 5831 |339079 | 1.7 |5441k| 31 | 4 | 94 |2331 | 94 | 15 | 25 | 21k|1154 | 0.000000e+00 | 2.000000e+00 | Inf
71.67/71.73 c 71.7s|210000 | 5857 |355728 | 1.7 |5586k| 31 | 4 | 94 |2517 | 94 | 15 | 25 | 22k|1176 | 0.000000e+00 | 2.000000e+00 | Inf
74.67/74.71 c 74.7s|220000 | 5289 |371836 | 1.7 |4936k| 31 | 4 | 94 |2008 | 94 | 15 | 25 | 23k|1205 | 0.000000e+00 | 2.000000e+00 | Inf
77.27/77.34 c 77.3s|230000 | 5356 |387642 | 1.7 |5001k| 31 | 4 | 94 |2056 | 94 | 15 | 25 | 23k|1226 | 0.000000e+00 | 2.000000e+00 | Inf
80.07/80.10 c 80.1s|240000 | 5019 |404432 | 1.7 |4639k| 31 | - | 94 |1778 | 0 | 0 | 25 | 24k|1248 | 0.000000e+00 | 2.000000e+00 | Inf
82.66/82.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.66/82.72 c 82.7s|250000 | 5126 |421334 | 1.7 |4890k| 31 | - | 94 |2060 | 0 | 0 | 25 | 25k|1263 | 0.000000e+00 | 2.000000e+00 | Inf
85.37/85.45 c 85.4s|260000 | 5088 |438278 | 1.7 |4839k| 31 | 4 | 94 |2099 | 94 | 15 | 25 | 26k|1285 | 0.000000e+00 | 2.000000e+00 | Inf
88.17/88.29 c 88.3s|270000 | 5010 |454356 | 1.7 |4852k| 31 | 4 | 94 |2275 | 94 | 15 | 25 | 27k|1317 | 0.000000e+00 | 2.000000e+00 | Inf
91.06/91.15 c 91.1s|280000 | 4944 |470173 | 1.7 |4637k| 31 | - | 94 |2078 | 94 | 15 | 25 | 27k|1336 | 0.000000e+00 | 2.000000e+00 | Inf
93.87/93.96 c 93.9s|290000 | 4736 |485804 | 1.7 |4586k| 31 | - | 94 |2154 | 94 | 15 | 25 | 28k|1357 | 0.000000e+00 | 2.000000e+00 | Inf
96.46/96.53 c 96.5s|300000 | 4836 |502740 | 1.7 |4497k| 31 | - | 94 |1806 | 0 | 0 | 25 | 29k|1390 | 0.000000e+00 | 2.000000e+00 | Inf
99.07/99.19 c 99.2s|310000 | 4607 |519699 | 1.7 |4173k| 31 | - | 94 |1263 | 0 | 0 | 25 | 30k|1655 | 0.000000e+00 | 2.000000e+00 | Inf
101.56/101.61 c 102s|320000 | 4379 |536649 | 1.7 |4048k| 31 | - | 94 |1166 | 0 | 0 | 25 | 31k|1667 | 0.000000e+00 | 2.000000e+00 | Inf
103.96/104.05 c 104s|330000 | 4283 |553543 | 1.7 |4080k| 31 | 4 | 94 |1386 | 94 | 15 | 25 | 32k|1667 | 0.000000e+00 | 2.000000e+00 | Inf
106.46/106.51 c 107s|340000 | 4185 |569584 | 1.7 |3890k| 31 | 4 | 94 | 971 | 94 | 15 | 25 | 33k|1668 | 0.000000e+00 | 2.000000e+00 | Inf
108.77/108.81 c 109s|350000 | 4186 |586030 | 1.7 |3988k| 31 | - | 94 |1071 | 0 | 0 | 25 | 33k|1677 | 0.000000e+00 | 2.000000e+00 | Inf
111.07/111.14 c 111s|360000 | 4352 |602466 | 1.7 |4138k| 31 | 4 | 94 |1243 | 94 | 15 | 25 | 34k|1688 | 0.000000e+00 | 2.000000e+00 | Inf
113.47/113.54 c 114s|370000 | 3890 |618698 | 1.7 |3724k| 31 | - | 94 | 826 | 94 | 15 | 25 | 35k|1709 | 0.000000e+00 | 2.000000e+00 | Inf
115.76/115.81 c 116s|380000 | 3932 |635595 | 1.7 |3806k| 31 | - | 94 | 897 | 94 | 15 | 25 | 36k|1724 | 0.000000e+00 | 2.000000e+00 | Inf
117.96/118.05 c 118s|390000 | 3854 |651204 | 1.7 |3865k| 31 | - | 94 |1102 | 94 | 15 | 25 | 37k|1724 | 0.000000e+00 | 2.000000e+00 | Inf
120.26/120.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.26/120.33 c 120s|400000 | 3668 |667987 | 1.7 |3636k| 31 | - | 94 | 761 | 0 | 0 | 25 | 37k|1744 | 0.000000e+00 | 2.000000e+00 | Inf
122.46/122.59 c 123s|410000 | 3548 |684259 | 1.7 |3637k| 31 | 4 | 94 | 948 | 94 | 15 | 25 | 38k|1763 | 0.000000e+00 | 2.000000e+00 | Inf
124.76/124.89 c 125s|420000 | 3588 |699770 | 1.7 |3842k| 31 | 4 | 94 |1297 | 94 | 15 | 25 | 39k|1778 | 0.000000e+00 | 2.000000e+00 | Inf
127.26/127.38 c 127s|430000 | 3549 |714548 | 1.7 |3748k| 31 | 4 | 94 |1161 | 94 | 15 | 25 | 40k|1784 | 0.000000e+00 | 2.000000e+00 | Inf
129.77/129.82 c 130s|440000 | 3436 |731247 | 1.7 |3665k| 31 | - | 94 |1121 | 94 | 15 | 25 | 41k|1801 | 0.000000e+00 | 2.000000e+00 | Inf
132.16/132.22 c 132s|450000 | 3517 |747235 | 1.7 |3923k| 31 | - | 94 |1555 | 0 | 0 | 25 | 42k|1806 | 0.000000e+00 | 2.000000e+00 | Inf
134.56/134.65 c 135s|460000 | 3371 |762697 | 1.7 |3769k| 31 | - | 94 |1504 | 94 | 15 | 25 | 43k|1810 | 0.000000e+00 | 2.000000e+00 | Inf
136.96/137.09 c 137s|470000 | 3224 |779540 | 1.7 |3607k| 31 | - | 94 |1190 | 94 | 15 | 25 | 44k|1844 | 0.000000e+00 | 2.000000e+00 | Inf
139.26/139.34 c 139s|480000 | 3309 |796007 | 1.7 |3693k| 31 | 4 | 94 |1175 | 94 | 15 | 25 | 44k|1855 | 0.000000e+00 | 2.000000e+00 | Inf
141.55/141.66 c 142s|490000 | 3143 |812205 | 1.7 |3592k| 31 | 4 | 94 |1236 | 94 | 15 | 25 | 45k|1872 | 0.000000e+00 | 2.000000e+00 | Inf
143.96/144.02 c 144s|500000 | 3328 |828240 | 1.7 |3908k| 31 | - | 94 |1687 | 0 | 0 | 25 | 46k|1881 | 0.000000e+00 | 2.000000e+00 | Inf
146.45/146.55 c 147s|510000 | 3060 |844877 | 1.7 |3490k| 31 | - | 94 | 944 | 94 | 15 | 25 | 47k|1898 | 0.000000e+00 | 2.000000e+00 | Inf
148.75/148.85 c 149s|520000 | 2884 |861800 | 1.7 |3391k| 31 | 4 | 94 | 888 | 94 | 15 | 25 | 47k|1926 | 0.000000e+00 | 2.000000e+00 | Inf
151.05/151.11 c 151s|530000 | 2814 |879366 | 1.7 |3387k| 31 | 4 | 94 | 938 | 94 | 15 | 25 | 48k|1945 | 0.000000e+00 | 2.000000e+00 | Inf
153.25/153.36 c 153s|540000 | 2628 |896411 | 1.7 |3301k| 31 | - | 94 | 937 | 94 | 15 | 25 | 49k|1953 | 0.000000e+00 | 2.000000e+00 | Inf
155.56/155.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.56/155.63 c 156s|550000 | 2512 |913923 | 1.7 |3247k| 31 | 4 | 94 | 923 | 94 | 15 | 25 | 50k|1973 | 0.000000e+00 | 2.000000e+00 | Inf
157.75/157.87 c 158s|560000 | 2768 |931372 | 1.7 |3451k| 31 | - | 94 | 961 | 94 | 15 | 25 | 50k|1991 | 0.000000e+00 | 2.000000e+00 | Inf
160.05/160.15 c 160s|570000 | 2737 |947404 | 1.7 |3552k| 31 | 4 | 94 |1035 | 94 | 15 | 25 | 51k|1992 | 0.000000e+00 | 2.000000e+00 | Inf
162.35/162.48 c 162s|580000 | 2620 |963440 | 1.7 |3441k| 31 | 4 | 94 |1178 | 94 | 15 | 25 | 52k|1993 | 0.000000e+00 | 2.000000e+00 | Inf
164.95/165.01 c 165s|590000 | 2405 |980756 | 1.7 |3419k| 31 | 4 | 94 |1466 | 94 | 15 | 25 | 53k|2029 | 0.000000e+00 | 2.000000e+00 | Inf
167.25/167.39 c 167s|600000 | 2291 |998162 | 1.7 |3261k| 31 | - | 94 |1170 | 94 | 15 | 25 | 54k|2053 | 0.000000e+00 | 2.000000e+00 | Inf
169.75/169.81 c 170s|610000 | 2352 | 1015k| 1.7 |3404k| 31 | 4 | 94 |1317 | 94 | 15 | 25 | 55k|2070 | 0.000000e+00 | 2.000000e+00 | Inf
171.95/172.09 c 172s|620000 | 2760 | 1032k| 1.7 |3439k| 31 | - | 94 |1076 | 0 | 0 | 25 | 55k|2077 | 0.000000e+00 | 2.000000e+00 | Inf
174.35/174.41 c 174s|630000 | 3470 | 1048k| 1.7 |3969k| 31 | 4 | 94 |1117 | 94 | 15 | 25 | 56k|2094 | 0.000000e+00 | 2.000000e+00 | Inf
176.64/176.74 c 177s|640000 | 3685 | 1065k| 1.7 |4255k| 31 | - | 94 |1164 | 94 | 15 | 25 | 57k|2104 | 0.000000e+00 | 2.000000e+00 | Inf
179.04/179.11 c 179s|650000 | 3830 | 1082k| 1.7 |4416k| 31 | 4 | 94 |1124 | 94 | 15 | 25 | 58k|2120 | 0.000000e+00 | 2.000000e+00 | Inf
181.35/181.49 c 181s|660000 | 4165 | 1098k| 1.7 |4793k| 31 | - | 94 |1306 | 94 | 15 | 25 | 58k|2129 | 0.000000e+00 | 2.000000e+00 | Inf
183.84/183.92 c 184s|670000 | 3774 | 1114k| 1.7 |4541k| 31 | 4 | 94 |1118 | 94 | 15 | 25 | 59k|2142 | 0.000000e+00 | 2.000000e+00 | Inf
186.14/186.29 c 186s|680000 | 3874 | 1131k| 1.7 |4752k| 31 | - | 94 |1310 | 94 | 15 | 25 | 60k|2165 | 0.000000e+00 | 2.000000e+00 | Inf
188.65/188.79 c 189s|690000 | 2875 | 1147k| 1.7 |3924k| 31 | 4 | 94 |1004 | 94 | 15 | 25 | 61k|2185 | 0.000000e+00 | 2.000000e+00 | Inf
191.04/191.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.04/191.16 c 191s|700000 | 2215 | 1165k| 1.7 |3161k| 31 | 4 | 94 |1026 | 94 | 15 | 25 | 62k|2213 | 0.000000e+00 | 2.000000e+00 | Inf
193.34/193.43 c 193s|710000 | 3300 | 1182k| 1.7 |3891k| 31 | 4 | 94 |1224 | 94 | 15 | 25 | 62k|2219 | 0.000000e+00 | 2.000000e+00 | Inf
195.65/195.79 c 196s|720000 | 3446 | 1198k| 1.7 |4127k| 31 | - | 94 |1286 | 94 | 15 | 25 | 63k|2221 | 0.000000e+00 | 2.000000e+00 | Inf
198.14/198.22 c 198s|730000 | 3225 | 1215k| 1.7 |4094k| 31 | 4 | 94 |1283 | 94 | 15 | 25 | 64k|2232 | 0.000000e+00 | 2.000000e+00 | Inf
200.63/200.74 c 201s|740000 | 2260 | 1231k| 1.7 |3255k| 31 | - | 94 |1222 | 94 | 15 | 25 | 65k|2242 | 0.000000e+00 | 2.000000e+00 | Inf
202.94/203.08 c 203s|750000 | 3207 | 1248k| 1.7 |3877k| 31 | - | 94 |1472 | 94 | 15 | 25 | 66k|2248 | 0.000000e+00 | 2.000000e+00 | Inf
205.43/205.51 c 205s|760000 | 3433 | 1264k| 1.7 |4145k| 31 | 4 | 94 |1443 | 94 | 15 | 25 | 66k|2251 | 0.000000e+00 | 2.000000e+00 | Inf
207.75/207.86 c 208s|770000 | 3903 | 1280k| 1.7 |4571k| 31 | - | 94 |1622 | 94 | 15 | 25 | 67k|2251 | 0.000000e+00 | 2.000000e+00 | Inf
210.24/210.30 c 210s|780000 | 4125 | 1295k| 1.7 |4807k| 31 | - | 94 |1629 | 0 | 0 | 25 | 68k|2254 | 0.000000e+00 | 2.000000e+00 | Inf
212.73/212.87 c 213s|790000 | 3889 | 1312k| 1.7 |4789k| 31 | - | 94 |1612 | 94 | 15 | 25 | 69k|2254 | 0.000000e+00 | 2.000000e+00 | Inf
215.33/215.45 c 215s|800000 | 3062 | 1328k| 1.7 |4249k| 31 | - | 94 |1542 | 0 | 0 | 25 | 69k|2258 | 0.000000e+00 | 2.000000e+00 | Inf
217.83/217.94 c 218s|810000 | 2401 | 1344k| 1.7 |3655k| 31 | - | 94 |1561 | 0 | 0 | 25 | 70k|2258 | 0.000000e+00 | 2.000000e+00 | Inf
220.33/220.42 c 220s|820000 | 2077 | 1360k| 1.7 |3288k| 31 | - | 94 |1539 | 94 | 15 | 25 | 71k|2327 | 0.000000e+00 | 2.000000e+00 | Inf
222.64/222.79 c 223s|830000 | 2071 | 1377k| 1.7 |3097k| 31 | 4 | 94 |1139 | 94 | 15 | 25 | 72k|2360 | 0.000000e+00 | 2.000000e+00 | Inf
224.93/225.09 c 225s|840000 | 2552 | 1394k| 1.7 |3459k| 31 | 4 | 94 |1200 | 94 | 15 | 25 | 72k|2360 | 0.000000e+00 | 2.000000e+00 | Inf
227.23/227.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.23/227.34 c 227s|850000 | 3426 | 1410k| 1.7 |4098k| 31 | - | 94 |1416 | 0 | 0 | 25 | 73k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
229.53/229.68 c 230s|860000 | 3797 | 1426k| 1.7 |4444k| 31 | - | 94 |1483 | 0 | 0 | 25 | 74k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
231.94/232.05 c 232s|870000 | 3844 | 1442k| 1.7 |4510k| 31 | 4 | 94 |1231 | 94 | 15 | 25 | 74k|2364 | 0.000000e+00 | 2.000000e+00 | Inf
234.33/234.46 c 234s|880000 | 3105 | 1458k| 1.7 |4148k| 31 | 4 | 94 |1222 | 94 | 15 | 25 | 75k|2367 | 0.000000e+00 | 2.000000e+00 | Inf
236.73/236.83 c 237s|890000 | 2932 | 1474k| 1.7 |4019k| 31 | 4 | 94 |1413 | 94 | 15 | 25 | 76k|2370 | 0.000000e+00 | 2.000000e+00 | Inf
239.13/239.22 c 239s|900000 | 2553 | 1491k| 1.7 |3843k| 31 | 4 | 94 |1350 | 94 | 15 | 25 | 76k|2372 | 0.000000e+00 | 2.000000e+00 | Inf
241.53/241.66 c 242s|910000 | 1861 | 1507k| 1.7 |2995k| 31 | 4 | 94 |1148 | 94 | 15 | 25 | 77k|2376 | 0.000000e+00 | 2.000000e+00 | Inf
243.93/244.07 c 244s|920000 | 1804 | 1526k| 1.7 |3076k| 31 | - | 94 |1431 | 94 | 15 | 25 | 78k|2420 | 0.000000e+00 | 2.000000e+00 | Inf
246.33/246.45 c 246s|930000 | 1706 | 1543k| 1.7 |2859k| 31 | - | 94 | 972 | 94 | 15 | 25 | 79k|2427 | 0.000000e+00 | 2.000000e+00 | Inf
248.63/248.76 c 249s|940000 | 1668 | 1560k| 1.7 |2863k| 31 | 4 | 94 |1037 | 94 | 15 | 25 | 80k|2431 | 0.000000e+00 | 2.000000e+00 | Inf
250.93/251.06 c 251s|950000 | 1675 | 1577k| 1.7 |2839k| 31 | 4 | 94 | 930 | 94 | 15 | 25 | 81k|2436 | 0.000000e+00 | 2.000000e+00 | Inf
253.23/253.33 c 253s|960000 | 1971 | 1594k| 1.7 |3109k| 31 | - | 94 |1057 | 0 | 0 | 25 | 81k|2441 | 0.000000e+00 | 2.000000e+00 | Inf
255.52/255.68 c 256s|970000 | 1621 | 1611k| 1.7 |2902k| 31 | - | 94 |1129 | 94 | 15 | 25 | 82k|2447 | 0.000000e+00 | 2.000000e+00 | Inf
257.83/257.90 c 258s|980000 | 2045 | 1627k| 1.7 |3028k| 31 | - | 94 | 915 | 94 | 15 | 25 | 83k|2450 | 0.000000e+00 | 2.000000e+00 | Inf
260.03/260.18 c 260s|990000 | 2233 | 1644k| 1.7 |3328k| 31 | - | 94 |1012 | 94 | 15 | 25 | 84k|2455 | 0.000000e+00 | 2.000000e+00 | Inf
262.42/262.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.42/262.52 c 263s| 1000k| 1747 | 1660k| 1.7 |3064k| 31 | 4 | 94 |1003 | 94 | 15 | 25 | 85k|2460 | 0.000000e+00 | 2.000000e+00 | Inf
264.72/264.85 c 265s| 1010k| 1595 | 1677k| 1.7 |2893k| 31 | - | 94 |1146 | 94 | 15 | 25 | 85k|2466 | 0.000000e+00 | 2.000000e+00 | Inf
267.13/267.20 c 267s| 1020k| 1446 | 1694k| 1.7 |2781k| 31 | - | 94 |1113 | 0 | 0 | 25 | 86k|2466 | 0.000000e+00 | 2.000000e+00 | Inf
269.33/269.45 c 269s| 1030k| 2001 | 1711k| 1.7 |3179k| 31 | - | 94 |1388 | 0 | 0 | 25 | 87k|2479 | 0.000000e+00 | 2.000000e+00 | Inf
271.82/271.96 c 272s| 1040k| 2121 | 1726k| 1.7 |3428k| 31 | - | 94 |1482 | 94 | 15 | 25 | 88k|2479 | 0.000000e+00 | 2.000000e+00 | Inf
274.41/274.51 c 275s| 1050k| 1765 | 1742k| 1.7 |3288k| 31 | - | 94 |1579 | 94 | 15 | 25 | 89k|2480 | 0.000000e+00 | 2.000000e+00 | Inf
276.92/277.00 c 277s| 1060k| 1736 | 1757k| 1.7 |2884k| 31 | 4 | 94 |1080 | 94 | 15 | 25 | 90k|2487 | 0.000000e+00 | 2.000000e+00 | Inf
279.22/279.35 c 279s| 1070k| 2312 | 1775k| 1.7 |3402k| 31 | 4 | 94 |1254 | 94 | 15 | 25 | 91k|2488 | 0.000000e+00 | 2.000000e+00 | Inf
281.62/281.75 c 282s| 1080k| 2376 | 1792k| 1.7 |3584k| 31 | - | 94 |1343 | 0 | 0 | 25 | 92k|2492 | 0.000000e+00 | 2.000000e+00 | Inf
284.02/284.13 c 284s| 1090k| 1987 | 1809k| 1.7 |3406k| 31 | 4 | 94 |1318 | 94 | 15 | 25 | 93k|2494 | 0.000000e+00 | 2.000000e+00 | Inf
286.42/286.56 c 287s| 1100k| 1447 | 1825k| 1.7 |2925k| 31 | 4 | 94 |1234 | 94 | 15 | 25 | 94k|2504 | 0.000000e+00 | 2.000000e+00 | Inf
288.81/288.90 c 289s| 1110k| 1351 | 1842k| 1.7 |2872k| 31 | - | 94 |1448 | 0 | 0 | 25 | 95k|2509 | 0.000000e+00 | 2.000000e+00 | Inf
291.12/291.27 c 291s| 1120k| 1514 | 1858k| 1.7 |3049k| 31 | 4 | 94 |1601 | 94 | 15 | 25 | 95k|2510 | 0.000000e+00 | 2.000000e+00 | Inf
293.52/293.69 c 294s| 1130k| 1207 | 1875k| 1.7 |2667k| 31 | - | 94 |1177 | 94 | 15 | 25 | 96k|2510 | 0.000000e+00 | 2.000000e+00 | Inf
295.82/295.97 c 296s| 1140k| 1569 | 1892k| 1.7 |2850k| 31 | 4 | 94 |1191 | 94 | 15 | 25 | 97k|2514 | 0.000000e+00 | 2.000000e+00 | Inf
298.22/298.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.22/298.30 c 298s| 1150k| 1883 | 1910k| 1.7 |3176k| 31 | 4 | 94 |1249 | 94 | 15 | 25 | 98k|2523 | 0.000000e+00 | 2.000000e+00 | Inf
300.61/300.70 c 301s| 1160k| 1137 | 1927k| 1.7 |2706k| 31 | - | 94 |1274 | 0 | 0 | 25 | 99k|2524 | 0.000000e+00 | 2.000000e+00 | Inf
303.01/303.11 c 303s| 1170k| 1782 | 1943k| 1.7 |3186k| 31 | 4 | 94 |1529 | 94 | 15 | 25 | 100k|2525 | 0.000000e+00 | 2.000000e+00 | Inf
305.41/305.59 c 306s| 1180k| 1698 | 1959k| 1.7 |3215k| 31 | - | 94 |1495 | 94 | 15 | 25 | 100k|2529 | 0.000000e+00 | 2.000000e+00 | Inf
307.91/308.04 c 308s| 1190k| 1216 | 1975k| 1.7 |2725k| 31 | - | 94 |1269 | 94 | 15 | 25 | 101k|2531 | 0.000000e+00 | 2.000000e+00 | Inf
310.21/310.31 c 310s| 1200k| 1216 | 1993k| 1.7 |2584k| 31 | 4 | 94 | 947 | 94 | 15 | 25 | 102k|2531 | 0.000000e+00 | 2.000000e+00 | Inf
312.41/312.53 c 313s| 1210k| 1919 | 2011k| 1.7 |3206k| 31 | 4 | 94 |1249 | 94 | 15 | 25 | 102k|2534 | 0.000000e+00 | 2.000000e+00 | Inf
314.80/314.91 c 315s| 1220k| 1592 | 2028k| 1.7 |3105k| 31 | 4 | 94 |1172 | 94 | 15 | 25 | 103k|2535 | 0.000000e+00 | 2.000000e+00 | Inf
317.10/317.23 c 317s| 1230k| 983 | 2045k| 1.7 |2546k| 31 | 4 | 94 |1184 | 94 | 15 | 25 | 104k|2536 | 0.000000e+00 | 2.000000e+00 | Inf
319.50/319.60 c 320s| 1240k| 928 | 2061k| 1.7 |2533k| 31 | - | 94 |1247 | 94 | 15 | 25 | 105k|2543 | 0.000000e+00 | 2.000000e+00 | Inf
321.80/321.93 c 322s| 1250k| 789 | 2078k| 1.7 |2344k| 31 | 4 | 94 | 950 | 94 | 15 | 25 | 106k|2554 | 0.000000e+00 | 2.000000e+00 | Inf
324.21/324.34 c 324s| 1260k| 782 | 2095k| 1.7 |2693k| 31 | - | 94 |1895 | 94 | 15 | 25 | 107k|2560 | 0.000000e+00 | 2.000000e+00 | Inf
326.81/326.94 c 327s| 1270k| 737 | 2112k| 1.7 |2570k| 31 | - | 94 |1566 | 94 | 15 | 25 | 108k|2568 | 0.000000e+00 | 2.000000e+00 | Inf
329.11/329.23 c 329s| 1280k| 1350 | 2129k| 1.7 |2879k| 31 | 4 | 94 |1357 | 94 | 15 | 25 | 108k|2569 | 0.000000e+00 | 2.000000e+00 | Inf
331.40/331.59 c 332s| 1290k| 1151 | 2146k| 1.7 |2883k| 31 | - | 94 |1381 | 0 | 0 | 25 | 109k|2571 | 0.000000e+00 | 2.000000e+00 | Inf
333.81/333.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.81/333.93 c 334s| 1300k| 1081 | 2162k| 1.7 |2664k| 31 | - | 94 |1277 | 94 | 15 | 25 | 110k|2575 | 0.000000e+00 | 2.000000e+00 | Inf
336.00/336.19 c 336s| 1310k| 865 | 2179k| 1.7 |2528k| 31 | 4 | 94 |1272 | 94 | 15 | 25 | 111k|2582 | 0.000000e+00 | 2.000000e+00 | Inf
338.40/338.53 c 339s| 1320k| 785 | 2195k| 1.7 |2568k| 31 | 4 | 94 |1453 | 94 | 15 | 25 | 111k|2586 | 0.000000e+00 | 2.000000e+00 | Inf
340.91/341.05 c 341s| 1330k| 980 | 2211k| 1.7 |2799k| 31 | - | 94 |1802 | 94 | 15 | 25 | 113k|2609 | 0.000000e+00 | 2.000000e+00 | Inf
343.61/343.70 c 344s| 1340k| 750 | 2228k| 1.7 |2554k| 31 | - | 94 |1487 | 94 | 15 | 25 | 114k|2613 | 0.000000e+00 | 2.000000e+00 | Inf
346.00/346.11 c 346s| 1350k| 1067 | 2244k| 1.7 |2695k| 31 | 4 | 94 |1416 | 94 | 15 | 25 | 115k|2615 | 0.000000e+00 | 2.000000e+00 | Inf
348.40/348.53 c 349s| 1360k| 1381 | 2262k| 1.7 |3024k| 31 | 4 | 94 |1459 | 94 | 15 | 25 | 115k|2617 | 0.000000e+00 | 2.000000e+00 | Inf
350.90/351.06 c 351s| 1370k| 802 | 2278k| 1.7 |2612k| 31 | 4 | 94 |1487 | 94 | 15 | 25 | 116k|2618 | 0.000000e+00 | 2.000000e+00 | Inf
353.40/353.51 c 353s| 1380k| 1035 | 2296k| 1.7 |2615k| 31 | 4 | 94 |1309 | 94 | 15 | 25 | 116k|2635 | 0.000000e+00 | 2.000000e+00 | Inf
355.70/355.83 c 356s| 1390k| 1504 | 2314k| 1.7 |3060k| 31 | 4 | 94 |1417 | 94 | 15 | 25 | 117k|2642 | 0.000000e+00 | 2.000000e+00 | Inf
358.09/358.21 c 358s| 1400k| 878 | 2331k| 1.7 |2733k| 31 | - | 94 |1385 | 0 | 0 | 25 | 117k|2645 | 0.000000e+00 | 2.000000e+00 | Inf
360.40/360.58 c 361s| 1410k| 667 | 2347k| 1.7 |2426k| 31 | - | 94 |1248 | 0 | 0 | 25 | 118k|2649 | 0.000000e+00 | 2.000000e+00 | Inf
362.70/362.84 c 363s| 1420k| 2005 | 2366k| 1.7 |3072k| 31 | - | 94 |1195 | 94 | 15 | 25 | 118k|2650 | 0.000000e+00 | 2.000000e+00 | Inf
365.00/365.14 c 365s| 1430k| 3023 | 2384k| 1.7 |3697k| 31 | 4 | 94 |1139 | 94 | 15 | 25 | 119k|2653 | 0.000000e+00 | 2.000000e+00 | Inf
367.30/367.46 c 367s| 1440k| 3468 | 2402k| 1.7 |4098k| 31 | - | 94 |1121 | 94 | 15 | 25 | 120k|2657 | 0.000000e+00 | 2.000000e+00 | Inf
369.69/369.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.69/369.82 c 370s| 1450k| 3403 | 2419k| 1.7 |4244k| 31 | - | 94 |1071 | 0 | 0 | 25 | 120k|2666 | 0.000000e+00 | 2.000000e+00 | Inf
371.99/372.16 c 372s| 1460k| 3074 | 2435k| 1.7 |4263k| 31 | 4 | 94 |1236 | 94 | 15 | 25 | 121k|2682 | 0.000000e+00 | 2.000000e+00 | Inf
374.39/374.56 c 375s| 1470k| 2358 | 2452k| 1.7 |3895k| 31 | - | 94 |1114 | 94 | 15 | 25 | 122k|2693 | 0.000000e+00 | 2.000000e+00 | Inf
376.79/376.95 c 377s| 1480k| 1327 | 2469k| 1.7 |3155k| 31 | - | 94 |1066 | 0 | 0 | 25 | 123k|2709 | 0.000000e+00 | 2.000000e+00 | Inf
379.09/379.26 c 379s| 1490k| 672 | 2485k| 1.7 |2274k| 31 | 4 | 94 | 910 | 94 | 15 | 25 | 123k|2723 | 0.000000e+00 | 2.000000e+00 | Inf
381.39/381.52 c 382s| 1500k| 703 | 2502k| 1.7 |2332k| 31 | 4 | 94 | 869 | 94 | 15 | 25 | 124k|2732 | 0.000000e+00 | 2.000000e+00 | Inf
383.59/383.77 c 384s| 1510k| 664 | 2520k| 1.7 |2377k| 31 | 4 | 94 |1196 | 94 | 15 | 25 | 125k|2743 | 0.000000e+00 | 2.000000e+00 | Inf
385.89/386.04 c 386s| 1520k| 880 | 2538k| 1.7 |2441k| 31 | 4 | 94 | 901 | 94 | 15 | 25 | 126k|2748 | 0.000000e+00 | 2.000000e+00 | Inf
388.10/388.23 c 388s| 1530k| 594 | 2555k| 1.7 |2181k| 31 | 4 | 94 | 774 | 94 | 15 | 25 | 126k|2759 | 0.000000e+00 | 2.000000e+00 | Inf
390.18/390.38 c 390s| 1540k| 1035 | 2573k| 1.7 |2589k| 31 | - | 94 | 926 | 94 | 15 | 25 | 127k|2765 | 0.000000e+00 | 2.000000e+00 | Inf
392.49/392.61 c 393s| 1550k| 1242 | 2590k| 1.7 |2780k| 31 | 4 | 94 | 902 | 94 | 15 | 25 | 127k|2765 | 0.000000e+00 | 2.000000e+00 | Inf
394.70/394.85 c 395s| 1560k| 666 | 2608k| 1.7 |2221k| 31 | - | 94 | 740 | 94 | 15 | 25 | 128k|2773 | 0.000000e+00 | 2.000000e+00 | Inf
396.89/397.06 c 397s| 1570k| 581 | 2626k| 1.7 |2258k| 31 | - | 94 | 896 | 0 | 0 | 25 | 129k|2781 | 0.000000e+00 | 2.000000e+00 | Inf
399.09/399.25 c 399s| 1580k| 530 | 2644k| 1.7 |2170k| 31 | - | 94 | 825 | 94 | 15 | 25 | 129k|2787 | 0.000000e+00 | 2.000000e+00 | Inf
401.19/401.39 c 401s| 1590k| 439 | 2661k| 1.7 |2129k| 31 | 4 | 94 | 838 | 94 | 15 | 25 | 130k|2816 | 0.000000e+00 | 2.000000e+00 | Inf
403.29/403.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.29/403.46 c 403s| 1600k| 480 | 2678k| 1.7 |2177k| 31 | - | 94 | 879 | 94 | 15 | 25 | 130k|2819 | 0.000000e+00 | 2.000000e+00 | Inf
405.48/405.63 c 406s| 1610k| 467 | 2694k| 1.7 |2135k| 31 | - | 94 | 833 | 94 | 15 | 25 | 131k|2838 | 0.000000e+00 | 2.000000e+00 | Inf
407.59/407.77 c 408s| 1620k| 618 | 2711k| 1.7 |2291k| 31 | - | 94 | 915 | 94 | 15 | 25 | 131k|2846 | 0.000000e+00 | 2.000000e+00 | Inf
409.78/409.93 c 410s| 1630k| 606 | 2728k| 1.7 |2331k| 31 | - | 94 | 949 | 94 | 15 | 25 | 132k|2872 | 0.000000e+00 | 2.000000e+00 | Inf
411.98/412.19 c 412s| 1640k| 744 | 2744k| 1.7 |2473k| 31 | 4 | 94 |1255 | 94 | 15 | 25 | 133k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
414.39/414.58 c 415s| 1650k| 676 | 2759k| 1.7 |2375k| 31 | - | 94 |1154 | 94 | 15 | 25 | 134k|2888 | 0.000000e+00 | 2.000000e+00 | Inf
416.69/416.85 c 417s| 1660k| 717 | 2777k| 1.7 |2385k| 31 | 4 | 94 |1074 | 94 | 15 | 25 | 134k|2892 | 0.000000e+00 | 2.000000e+00 | Inf
418.99/419.14 c 419s| 1670k| 417 | 2794k| 1.7 |2168k| 31 | - | 94 | 860 | 94 | 15 | 25 | 135k|2892 | 0.000000e+00 | 2.000000e+00 | Inf
421.18/421.32 c 421s| 1680k| 447 | 2811k| 1.7 |2239k| 31 | 4 | 94 |1065 | 94 | 15 | 25 | 136k|2893 | 0.000000e+00 | 2.000000e+00 | Inf
423.38/423.55 c 424s| 1690k| 262 | 2827k| 1.7 |2071k| 31 | - | 94 | 996 | 0 | 0 | 25 | 136k|2896 | 0.000000e+00 | 2.000000e+00 | Inf
425.78/425.90 c 426s| 1700k| 250 | 2844k| 1.7 |2005k| 31 | 4 | 94 | 830 | 94 | 15 | 25 | 137k|2899 | 0.000000e+00 | 2.000000e+00 | Inf
427.98/428.14 c 428s| 1710k| 650 | 2862k| 1.7 |2399k| 31 | - | 94 |1154 | 94 | 15 | 25 | 138k|2905 | 0.000000e+00 | 2.000000e+00 | Inf
430.28/430.49 c 430s| 1720k| 242 | 2880k| 1.7 |2080k| 31 | - | 94 |1058 | 94 | 15 | 25 | 139k|2910 | 0.000000e+00 | 2.000000e+00 | Inf
432.58/432.72 c 433s| 1730k| 489 | 2896k| 1.7 |2247k| 31 | - | 94 |1142 | 94 | 15 | 25 | 140k|2918 | 0.000000e+00 | 2.000000e+00 | Inf
434.87/435.09 c 435s| 1740k| 651 | 2914k| 1.7 |2458k| 31 | - | 94 |1208 | 94 | 15 | 25 | 141k|2931 | 0.000000e+00 | 2.000000e+00 | Inf
437.18/437.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.18/437.37 c 437s| 1750k| 1216 | 2932k| 1.7 |2811k| 31 | 4 | 94 |1190 | 94 | 15 | 25 | 142k|2934 | 0.000000e+00 | 2.000000e+00 | Inf
439.57/439.72 c 440s| 1760k| 703 | 2950k| 1.7 |2559k| 31 | 4 | 94 |1182 | 94 | 15 | 25 | 143k|2934 | 0.000000e+00 | 2.000000e+00 | Inf
441.87/442.05 c 442s| 1770k| 619 | 2969k| 1.7 |2543k| 31 | 4 | 94 |1395 | 94 | 15 | 25 | 144k|2938 | 0.000000e+00 | 2.000000e+00 | Inf
444.28/444.43 c 444s| 1780k| 616 | 2986k| 1.7 |2611k| 31 | - | 94 |1479 | 0 | 0 | 25 | 144k|2938 | 0.000000e+00 | 2.000000e+00 | Inf
446.68/446.86 c 447s| 1790k| 276 | 3004k| 1.7 |2127k| 31 | - | 94 |1213 | 0 | 0 | 25 | 145k|2940 | 0.000000e+00 | 2.000000e+00 | Inf
449.07/449.23 c 449s| 1800k| 231 | 3022k| 1.7 |2196k| 31 | - | 94 |1406 | 0 | 0 | 25 | 146k|2941 | 0.000000e+00 | 2.000000e+00 | Inf
451.48/451.60 c 452s| 1810k| 798 | 3039k| 1.7 |2637k| 31 | - | 94 |1616 | 94 | 15 | 25 | 147k|2947 | 0.000000e+00 | 2.000000e+00 | Inf
453.97/454.10 c 454s| 1820k| 640 | 3056k| 1.7 |2585k| 31 | - | 94 |1484 | 94 | 15 | 25 | 148k|2959 | 0.000000e+00 | 2.000000e+00 | Inf
456.28/456.50 c 456s| 1830k| 162 | 3073k| 1.7 |2193k| 31 | 4 | 94 |1506 | 94 | 15 | 25 | 149k|2966 | 0.000000e+00 | 2.000000e+00 | Inf
458.67/458.87 c 459s| 1840k| 178 | 3091k| 1.7 |2027k| 31 | 4 | 94 |1103 | 94 | 15 | 25 | 149k|3023 | 0.000000e+00 | 2.000000e+00 | Inf
460.87/461.07 c 461s| 1850k| 243 | 3108k| 1.7 |2006k| 31 | 4 | 94 |1035 | 94 | 15 | 25 | 150k|3023 | 0.000000e+00 | 2.000000e+00 | Inf
463.17/463.30 c 463s| 1860k| 951 | 3125k| 1.7 |2580k| 31 | - | 94 |1185 | 94 | 15 | 25 | 150k|3025 | 0.000000e+00 | 2.000000e+00 | Inf
465.46/465.64 c 466s| 1870k| 343 | 3142k| 1.7 |2245k| 31 | 4 | 94 |1095 | 94 | 15 | 25 | 151k|3036 | 0.000000e+00 | 2.000000e+00 | Inf
467.67/467.85 c 468s| 1880k| 195 | 3161k| 1.7 |2088k| 31 | - | 94 |1119 | 94 | 15 | 25 | 151k|3045 | 0.000000e+00 | 2.000000e+00 | Inf
469.87/470.07 c 470s| 1890k| 257 | 3179k| 1.7 |1979k| 31 | - | 94 | 724 | 0 | 0 | 25 | 152k|3059 | 0.000000e+00 | 2.000000e+00 | Inf
472.17/472.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.17/472.37 c 472s| 1900k| 30 | 3197k| 1.7 |1973k| 31 | - | 94 |1311 | 94 | 15 | 25 | 153k|3068 | 0.000000e+00 | 2.000000e+00 | Inf
472.36/472.59 c
472.36/472.59 c SCIP Status : problem is solved [optimal solution found]
472.36/472.59 c Solving Time (sec) : 472.58
472.36/472.59 c Solving Nodes : 1900975
472.36/472.59 c Primal Bound : +2.00000000000000e+00 (45 solutions)
472.36/472.59 c Dual Bound : +2.00000000000000e+00
472.36/472.59 c Gap : 0.00 %
472.36/472.59 s OPTIMUM FOUND
472.36/472.59 v x94 x93 x92 -x91 -x90 -x89 x88 -x87 -x86 x85 x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 x71 x70 x69 x68 x67 -x66
472.36/472.59 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
472.36/472.59 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
472.36/472.59 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
472.36/472.59 c SCIP Status : problem is solved [optimal solution found]
472.36/472.59 c Solving Time : 472.58
472.36/472.59 c Original Problem :
472.36/472.59 c Problem name : HOME/instance-2703903-1278562858.opb
472.36/472.59 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
472.36/472.59 c Constraints : 8 initial, 8 maximal
472.36/472.59 c Presolved Problem :
472.36/472.59 c Problem name : t_HOME/instance-2703903-1278562858.opb
472.36/472.59 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
472.36/472.59 c Constraints : 4 initial, 5472 maximal
472.36/472.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
472.36/472.59 c trivial : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c dualfix : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c implics : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c probing : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c linear : 0.00 0 0 0 0 0 4 0 0
472.36/472.59 c logicor : 0.00 0 0 0 0 0 0 0 0
472.36/472.59 c root node : - 58 - - 58 - - - -
472.36/472.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
472.36/472.59 c integral : 0 0 0 971431 0 377 1344 0 0 1939388
472.36/472.59 c linear : 4+ 7 2463579 2 0 499958 3202391 0 0 0
472.36/472.59 c logicor : 0+ 0 1230804 0 0 847 79954 0 0 0
472.36/472.59 c countsols : 0 0 0 21 0 0 0 0 0 0
472.36/472.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
472.36/472.59 c integral : 8.76 0.00 0.00 8.76 0.00
472.36/472.59 c linear : 93.88 0.00 93.88 0.00 0.00
472.36/472.59 c logicor : 39.11 0.00 39.11 0.00 0.00
472.36/472.59 c countsols : 0.00 0.00 0.00 0.00 0.00
472.36/472.59 c Propagators : Time Calls Cutoffs DomReds
472.36/472.59 c vbounds : 0.89 2 0 0
472.36/472.59 c rootredcost : 0.87 43 0 56
472.36/472.59 c pseudoobj : 9.77 2463917 505 132983
472.36/472.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
472.36/472.59 c propagation : 18.20 501310 148168 222543 23.0 0 0.0 -
472.36/472.59 c infeasible LP : 0.03 722 721 854 15.5 3 22.7 0
472.36/472.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
472.36/472.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
472.36/472.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
472.36/472.59 c applied globally : - - - 153972 22.8 - - -
472.36/472.59 c applied locally : - - - 41 34.8 - - -
472.36/472.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
472.36/472.59 c cut pool : 0.00 5 - - 15 - (maximal pool size: 79)
472.36/472.59 c redcost : 6.13 1010428 0 433856 0 0
472.36/472.59 c impliedbounds : 0.00 6 0 0 0 0
472.36/472.59 c intobj : 0.00 0 0 0 0 0
472.36/472.59 c cgmip : 0.00 0 0 0 0 0
472.36/472.59 c gomory : 0.00 6 0 0 0 0
472.36/472.59 c strongcg : 0.00 6 0 0 6 0
472.36/472.59 c cmir : 0.02 6 0 0 38 0
472.36/472.59 c flowcover : 0.02 6 0 0 45 0
472.36/472.59 c clique : 0.00 1 0 0 0 0
472.36/472.59 c zerohalf : 0.00 0 0 0 0 0
472.36/472.59 c mcf : 0.00 1 0 0 0 0
472.36/472.59 c rapidlearning : 0.08 1 0 0 0 122
472.36/472.59 c Pricers : Time Calls Vars
472.36/472.59 c problem variables: 0.00 0 0
472.36/472.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
472.36/472.59 c relpscost : 7.90 971410 377 1344 0 0 1939388
472.36/472.59 c pscost : 0.00 0 0 0 0 0 0
472.36/472.59 c inference : 0.00 0 0 0 0 0 0
472.36/472.59 c mostinf : 0.00 0 0 0 0 0 0
472.36/472.59 c leastinf : 0.00 0 0 0 0 0 0
472.36/472.59 c fullstrong : 0.00 0 0 0 0 0 0
472.36/472.59 c allfullstrong : 0.00 0 0 0 0 0 0
472.36/472.59 c random : 0.00 0 0 0 0 0 0
472.36/472.59 c Primal Heuristics : Time Calls Found
472.36/472.59 c LP solutions : 0.00 - 21
472.36/472.59 c pseudo solutions : 0.00 - 0
472.36/472.59 c intshifting : 0.08 0 0
472.36/472.59 c feaspump : 0.16 1 0
472.36/472.59 c oneopt : 0.66 39 0
472.36/472.59 c veclendiving : 0.30 306 3
472.36/472.59 c guideddiving : 0.30 306 4
472.36/472.59 c pscostdiving : 0.31 307 3
472.36/472.59 c coefdiving : 0.31 307 2
472.36/472.59 c fracdiving : 0.31 307 4
472.36/472.59 c linesearchdiving : 0.31 307 3
472.36/472.59 c objpscostdiving : 0.24 192 0
472.36/472.59 c rootsoldiving : 0.39 192 2
472.36/472.59 c trivial : 0.00 2 0
472.36/472.59 c simplerounding : 0.40 0 0
472.36/472.59 c zirounding : 0.64 1000 0
472.36/472.59 c rounding : 0.86 14229 0
472.36/472.59 c shifting : 14.98 26252 2
472.36/472.59 c twoopt : 0.00 0 0
472.36/472.59 c fixandinfer : 0.00 0 0
472.36/472.59 c intdiving : 0.00 0 0
472.36/472.59 c actconsdiving : 0.00 0 0
472.36/472.59 c octane : 0.00 0 0
472.36/472.59 c rens : 0.03 1 0
472.36/472.59 c rins : 0.00 0 0
472.36/472.59 c localbranching : 0.00 0 0
472.36/472.59 c mutation : 0.00 0 0
472.36/472.59 c crossover : 0.01 0 0
472.36/472.59 c dins : 0.00 0 0
472.36/472.59 c undercover : 0.00 0 0
472.36/472.59 c nlp : 0.52 0 0
472.36/472.59 c trysol : 0.82 0 0
472.36/472.59 c LP : Time Calls Iterations Iter/call Iter/sec
472.36/472.59 c primal LP : 0.00 0 0 0.00 -
472.36/472.59 c dual LP : 122.90 1480321 3185862 2.15 25921.80
472.36/472.59 c lex dual LP : 0.00 0 0 0.00 -
472.36/472.59 c barrier LP : 0.00 0 0 0.00 -
472.36/472.59 c diving/probing LP: 0.58 5480 13371 2.44 23145.03
472.36/472.59 c strong branching : 0.53 3070 11838 3.86 22374.27
472.36/472.59 c (at root node) : - 9 309 34.33 -
472.36/472.59 c conflict analysis: 0.00 0 0 0.00 -
472.36/472.59 c B&B Tree :
472.36/472.59 c number of runs : 1
472.36/472.59 c nodes : 1900975
472.36/472.59 c nodes (total) : 1900975
472.36/472.59 c nodes left : 0
472.36/472.59 c max depth : 31
472.36/472.59 c max depth (total): 31
472.36/472.59 c backtracks : 515280 (27.1%)
472.36/472.59 c delayed cutoffs : 38091
472.36/472.59 c repropagations : 99301 (264792 domain reductions, 37792 cutoffs)
472.36/472.59 c avg switch length: 4.50
472.36/472.59 c switching time : 72.71
472.36/472.59 c Solution :
472.36/472.59 c Solutions found : 45 (43 improvements)
472.36/472.59 c First Solution : +4.11000000000000e+02 (in run 1, after 1 nodes, 0.08 seconds, depth 0, found by <trysol>)
472.36/472.59 c Primal Bound : +2.00000000000000e+00 (in run 1, after 14435 nodes, 5.06 seconds, depth 23, found by <relaxation>)
472.36/472.59 c Dual Bound : +2.00000000000000e+00
472.36/472.59 c Gap : 0.00 %
472.36/472.59 c Root Dual Bound : +0.00000000000000e+00
472.36/472.59 c Root Iterations : 73
472.47/472.60 c Time complete: 472.47.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703903-1278562858/watcher-2703903-1278562858 -o /tmp/evaluation-result-2703903-1278562858/solver-2703903-1278562858 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703903-1278562858.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.02 1.01 1.00 3/105 31323 /proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=8936 CPUtime=0 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 1319 0 0 0 0 0 0 0 25 0 1 0 24494140 9150464 1230 1992294400 4194304 8395647 140737421674016 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31323/statm: 2234 1239 374 1026 0 1204 0 [startup+0.047183 s] /proc/loadavg: 1.02 1.01 1.00 3/105 31323 /proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=22112 CPUtime=0.04 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 4789 0 0 0 3 1 0 0 25 0 1 0 24494140 22642688 4347 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5528 4347 597 1026 0 4498 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 22112 [startup+0.101188 s] /proc/loadavg: 1.02 1.01 1.00 3/105 31323 /proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=22528 CPUtime=0.09 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 4915 0 0 0 7 2 0 0 25 0 1 0 24494140 23068672 4473 1992294400 4194304 8395647 140737421674016 18446744073709551615 4288140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5632 4473 601 1026 0 4602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22528 [startup+0.301211 s] /proc/loadavg: 1.02 1.01 1.00 3/105 31323 /proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=0.3 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5463 0 0 0 26 4 0 0 25 0 1 0 24494140 24182784 5021 1992294400 4194304 8395647 140737421674016 18446744073709551615 6335350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5021 622 1026 0 4874 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 23616 [startup+0.701255 s] /proc/loadavg: 1.02 1.01 1.00 3/105 31323 /proc/meminfo: memFree=1859520/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=0.69 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5464 0 0 0 63 6 0 0 25 0 1 0 24494140 24182784 5022 1992294400 4194304 8395647 140737421674016 18446744073709551615 6311197 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5022 622 1026 0 4874 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23616 [startup+1.50135 s] /proc/loadavg: 1.02 1.01 1.00 2/106 31324 /proc/meminfo: memFree=1841780/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=1.49 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5469 0 0 0 140 9 0 0 25 0 1 0 24494140 24182784 5027 1992294400 4194304 8395647 140737421674016 18446744073709551615 5540795 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5027 623 1026 0 4874 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23616 [startup+3.10153 s] /proc/loadavg: 1.02 1.01 1.00 2/106 31324 /proc/meminfo: memFree=1841408/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=3.09 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5477 0 0 0 295 14 0 0 25 0 1 0 24494140 24182784 5035 1992294400 4194304 8395647 140737421674016 18446744073709551615 5005934 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5035 623 1026 0 4874 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23616 [startup+6.30089 s] /proc/loadavg: 1.02 1.01 1.00 2/106 31324 /proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=6.29 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5481 0 0 0 606 23 0 0 25 0 1 0 24494140 24182784 5039 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5039 623 1026 0 4874 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23616 [startup+12.7006 s] /proc/loadavg: 1.02 1.01 1.00 2/106 31324 /proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=12.68 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5485 0 0 0 1229 39 0 0 25 0 1 0 24494140 24182784 5043 1992294400 4194304 8395647 140737421674016 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5043 623 1026 0 4874 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23616 [startup+25.5011 s] /proc/loadavg: 1.02 1.01 1.00 2/106 31325 /proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=25.49 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5485 0 0 0 2484 65 0 0 25 0 1 0 24494140 24182784 5043 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5043 623 1026 0 4874 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23616 [startup+51.101 s] /proc/loadavg: 1.01 1.01 1.00 2/106 31326 /proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=51.08 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5487 0 0 0 4983 125 0 0 25 0 1 0 24494140 24182784 5045 1992294400 4194304 8395647 140737421674016 18446744073709551615 4601515 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5045 623 1026 0 4874 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23616 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31327 /proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=102.27 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 9953 274 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23616 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31328 /proc/meminfo: memFree=1841036/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=162.25 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 15749 476 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4243512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23616 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31330 /proc/meminfo: memFree=1840912/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=222.24 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 21552 672 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 23616 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31332 /proc/meminfo: memFree=1840788/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=282.22 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 27348 874 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4216639 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23616 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31334 /proc/meminfo: memFree=1840664/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=342.2 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 33134 1086 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23616 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31335 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=402.18 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 38914 1304 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 6345893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 23616 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=462.17 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 44697 1520 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4471727 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 23616 Solver just ended. Dumping a history of the last processes samples [startup+467.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=466.96 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45159 1537 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 466.96 Current children cumulated vsize (KiB) 23616 [startup+470.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=470.17 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45467 1550 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 4631817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 470.17 Current children cumulated vsize (KiB) 23616 [startup+471.909 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=471.78 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45622 1556 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 471.78 Current children cumulated vsize (KiB) 23616 [startup+472.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=472.17 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45660 1557 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 472.17 Current children cumulated vsize (KiB) 23616 [startup+472.502 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=472.36 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5488 0 0 0 45678 1558 0 0 25 0 1 0 24494140 24182784 5046 1992294400 4194304 8395647 140737421674016 18446744073709551615 5027356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5046 623 1026 0 4874 0 Current children cumulated CPU time (s) 472.36 Current children cumulated vsize (KiB) 23616 [startup+472.602 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31336 /proc/meminfo: memFree=1840540/2059040 swapFree=4135728/4192956 [pid=31323] ppid=31321 vsize=23616 CPUtime=472.47 /proc/31323/stat : 31323 (pbscip.linux.x8) R 31321 31323 30914 0 -1 4202496 5490 0 0 0 45688 1559 0 0 18 0 1 0 24494140 24182784 5048 1992294400 4194304 8395647 140737421674016 18446744073709551615 4288144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31323/statm: 5904 5048 625 1026 0 4874 0 Current children cumulated CPU time (s) 472.47 Current children cumulated vsize (KiB) 23616 Child status: 0 Real time (s): 472.608 CPU time (s): 472.483 CPU user time (s): 456.888 CPU system time (s): 15.5956 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 23616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 456.888 system time used= 15.5956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5493 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= 6007 runsolver used 0.750885 second user time and 2.28165 second system time The end
Begin job on node088 at 2010-07-08 06:20:58 IDJOB=2703903 IDBENCH=2927 IDSOLVER=1213 FILE ID=node088/2703903-1278562858 PBS_JOBID= 11239544 Free space on /tmp= 62520 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.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-2703903-1278562858/watcher-2703903-1278562858 -o /tmp/evaluation-result-2703903-1278562858/solver-2703903-1278562858 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703903-1278562858.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED=523588919 node088.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.245 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.49 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.245 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1860048 kB Buffers: 12456 kB Cached: 96868 kB SwapCached: 10100 kB Active: 85936 kB Inactive: 36268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1860048 kB SwapTotal: 4192956 kB SwapFree: 4135728 kB Dirty: 10332 kB Writeback: 0 kB AnonPages: 11220 kB Mapped: 8280 kB Slab: 55064 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178156 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= 62508 MiB End job on node088 at 2010-07-08 06:28:51