Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -52 | 1797.9 | 1797.87 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
| MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -52 |
| Best CPU time to get the best result obtained on this benchmark | 1797.67 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2528 |
| Sum of products size (including duplicates) | 5056 |
| Number of different products | 1264 |
| Sum of products size | 2528 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3488607-1307784487.opb>
0.00/0.01 c original problem has 1464 variables (1464 bin, 0 int, 0 impl, 0 cont) and 1664 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 1264 del vars, 400 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5056 impls, 0 clqs
0.00/0.04 c (round 2) 1264 del vars, 400 del conss, 0 add conss, 1264 chg bounds, 0 chg sides, 0 chg coeffs, 1264 upgd conss, 5056 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1264 deleted vars, 400 deleted constraints, 0 added constraints, 1264 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7582 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1264 constraints
0.00/0.05 c 1264 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 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.06 c t 0.1s| 1 | 0 | 227 | - |4637k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.00/0.06 o -1
0.00/0.06 c R 0.1s| 1 | 0 | 227 | - |4639k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.00/0.06 o -2
0.00/0.06 c s 0.1s| 1 | 0 | 227 | - |4641k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 o -33
0.09/0.10 c y 0.1s| 1 | 0 | 227 | - |4885k| 0 | 200 | 200 |1264 | 200 |1264 | 0 | 0 | 0 |-1.000000e+02 |-3.300000e+01 | 67.00%
0.09/0.11 c 0.1s| 1 | 0 | 284 | - |4650k| 0 | 192 | 200 |1264 | 200 |1274 | 10 | 0 | 0 |-9.600000e+01 |-3.300000e+01 | 65.62%
0.09/0.14 c 0.1s| 1 | 0 | 385 | - |4658k| 0 | 189 | 200 |1264 | 200 |1283 | 19 | 0 | 0 |-9.450000e+01 |-3.300000e+01 | 65.08%
0.09/0.16 c 0.2s| 1 | 0 | 419 | - |4665k| 0 | 185 | 200 |1264 | 200 |1290 | 26 | 0 | 0 |-9.250000e+01 |-3.300000e+01 | 64.32%
0.19/0.20 c 0.2s| 1 | 0 | 562 | - |4685k| 0 | 187 | 200 |1264 | 200 |1298 | 34 | 0 | 0 |-9.100000e+01 |-3.300000e+01 | 63.74%
0.19/0.24 c 0.2s| 1 | 0 | 703 | - |4784k| 0 | 179 | 200 |1264 | 200 |1310 | 46 | 0 | 0 |-8.850000e+01 |-3.300000e+01 | 62.71%
0.19/0.29 c 0.3s| 1 | 0 | 917 | - |4916k| 0 | 180 | 200 |1264 | 200 |1319 | 55 | 0 | 0 |-8.725000e+01 |-3.300000e+01 | 62.18%
0.29/0.33 c 0.3s| 1 | 0 | 1053 | - |4958k| 0 | 173 | 200 |1264 | 200 |1327 | 63 | 0 | 0 |-8.650000e+01 |-3.300000e+01 | 61.85%
0.29/0.38 c 0.4s| 1 | 0 | 1218 | - |5020k| 0 | 174 | 200 |1264 | 200 |1335 | 71 | 0 | 0 |-8.475000e+01 |-3.300000e+01 | 61.06%
0.40/0.42 c 0.4s| 1 | 0 | 1331 | - |5150k| 0 | 164 | 200 |1264 | 200 |1348 | 84 | 0 | 0 |-8.200000e+01 |-3.300000e+01 | 59.76%
0.40/0.46 c 0.5s| 1 | 0 | 1438 | - |5177k| 0 | 168 | 200 |1264 | 200 |1358 | 94 | 0 | 0 |-8.100000e+01 |-3.300000e+01 | 59.26%
0.49/0.54 c 0.5s| 1 | 0 | 1758 | - |5801k| 0 | 178 | 200 |1264 | 200 | 428 | 104 | 0 | 0 |-8.056250e+01 |-3.300000e+01 | 59.04%
0.49/0.57 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.57 c 0.6s| 1 | 0 | 1948 | - |5856k| 0 | 193 | 200 |1264 | 200 | 435 | 111 | 0 | 0 |-8.026966e+01 |-3.300000e+01 | 58.89%
0.59/0.64 c 0.6s| 1 | 0 | 2366 | - |6424k| 0 | 189 | 200 |1264 | 200 | 535 | 211 | 0 | 0 |-7.951353e+01 |-3.300000e+01 | 58.50%
0.69/0.71 c 0.7s| 1 | 0 | 2741 | - |6617k| 0 | 195 | 200 |1264 | 200 | 581 | 257 | 0 | 0 |-7.806164e+01 |-3.300000e+01 | 57.73%
0.69/0.78 c 0.8s| 1 | 0 | 3023 | - |7632k| 0 | 195 | 200 |1264 | 200 | 648 | 324 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
0.89/0.91 c 0.9s| 1 | 0 | 3844 | - |8898k| 0 | 192 | 200 |1264 | 200 | 707 | 383 | 0 | 0 |-7.605556e+01 |-3.300000e+01 | 56.61%
0.89/0.96 c 1.0s| 1 | 0 | 4097 | - |9006k| 0 | 196 | 200 |1264 | 200 | 604 | 407 | 0 | 0 |-7.511965e+01 |-3.300000e+01 | 56.07%
1.00/1.06 c 1.1s| 1 | 0 | 4305 | - | 10M| 0 | 194 | 200 |1264 | 200 | 638 | 441 | 0 | 0 |-7.418343e+01 |-3.300000e+01 | 55.52%
1.10/1.15 c 1.2s| 1 | 0 | 4587 | - | 11M| 0 | 192 | 200 |1264 | 200 | 660 | 463 | 0 | 0 |-7.362470e+01 |-3.300000e+01 | 55.18%
1.19/1.23 c 1.2s| 1 | 0 | 4838 | - | 12M| 0 | 196 | 200 |1264 | 200 | 678 | 481 | 0 | 0 |-7.331979e+01 |-3.300000e+01 | 54.99%
1.19/1.28 c 1.3s| 1 | 0 | 5010 | - | 12M| 0 | 197 | 200 |1264 | 200 | 701 | 504 | 0 | 0 |-7.304592e+01 |-3.300000e+01 | 54.82%
1.29/1.33 c 1.3s| 1 | 0 | 5216 | - | 12M| 0 | 197 | 200 |1264 | 200 | 723 | 526 | 0 | 0 |-7.275184e+01 |-3.300000e+01 | 54.64%
1.29/1.39 c 1.4s| 1 | 0 | 5458 | - | 12M| 0 | 198 | 200 |1264 | 200 | 588 | 541 | 0 | 0 |-7.219427e+01 |-3.300000e+01 | 54.29%
1.39/1.44 c 1.4s| 1 | 0 | 5636 | - | 12M| 0 | 198 | 200 |1264 | 200 | 602 | 555 | 0 | 0 |-7.190289e+01 |-3.300000e+01 | 54.10%
1.39/1.48 c 1.5s| 1 | 0 | 5768 | - | 12M| 0 | 200 | 200 |1264 | 200 | 619 | 572 | 0 | 0 |-7.165485e+01 |-3.300000e+01 | 53.95%
1.49/1.53 c 1.5s| 1 | 0 | 6026 | - | 12M| 0 | 198 | 200 |1264 | 200 | 632 | 585 | 0 | 0 |-7.142493e+01 |-3.300000e+01 | 53.80%
1.49/1.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.57 c 1.6s| 1 | 0 | 6101 | - | 12M| 0 | 198 | 200 |1264 | 200 | 642 | 595 | 0 | 0 |-7.137731e+01 |-3.300000e+01 | 53.77%
1.59/1.62 c 1.6s| 1 | 0 | 6247 | - | 12M| 0 | 200 | 200 |1264 | 200 | 655 | 608 | 0 | 0 |-7.103401e+01 |-3.300000e+01 | 53.54%
1.59/1.66 c 1.7s| 1 | 0 | 6347 | - | 12M| 0 | 197 | 200 |1264 | 200 | 441 | 615 | 0 | 0 |-7.083709e+01 |-3.300000e+01 | 53.41%
1.59/1.70 c 1.7s| 1 | 0 | 6421 | - | 13M| 0 | 198 | 200 |1264 | 200 | 450 | 624 | 0 | 0 |-7.074325e+01 |-3.300000e+01 | 53.35%
1.69/1.72 c 1.7s| 1 | 0 | 6464 | - | 13M| 0 | 198 | 200 |1264 | 200 | 462 | 636 | 0 | 0 |-7.070528e+01 |-3.300000e+01 | 53.33%
1.69/1.75 c 1.8s| 1 | 0 | 6506 | - | 13M| 0 | 198 | 200 |1264 | 200 | 470 | 644 | 0 | 0 |-7.068522e+01 |-3.300000e+01 | 53.31%
1.69/1.79 c 1.8s| 1 | 0 | 6525 | - | 13M| 0 | 198 | 200 |1264 | 200 | 476 | 650 | 0 | 0 |-7.068028e+01 |-3.300000e+01 | 53.31%
1.79/1.81 c 1.8s| 1 | 0 | 6527 | - | 13M| 0 | 198 | 200 |1264 | 200 | 478 | 652 | 0 | 0 |-7.068017e+01 |-3.300000e+01 | 53.31%
2.19/2.30 c 2.3s| 1 | 2 | 6527 | - | 13M| 0 | 198 | 200 |1264 | 200 | 478 | 652 | 0 | 15 |-7.068017e+01 |-3.300000e+01 | 53.31%
2.69/2.75 o -46
2.69/2.75 c * 2.7s| 27 | 26 | 7731 | 46.3 | 13M| 16 | - | 200 |1264 | 200 | 278 | 917 | 0 | 438 |-7.036385e+01 |-4.600000e+01 | 34.63%
21.19/21.28 o -47
21.19/21.28 c *21.3s| 9515 | 9165 |457547 | 47.4 | 27M| 37 | - | 200 |1264 | 200 | 267 | 204k| 0 |2714 |-6.700000e+01 |-4.700000e+01 | 29.85%
22.09/22.12 c 22.1s| 10000 | 9612 |477736 | 47.1 | 27M| 37 | 34 | 200 |1264 | 200 | 200 | 214k| 0 |2817 |-6.700000e+01 |-4.700000e+01 | 29.85%
35.39/35.43 c 35.4s| 20000 | 17846 |825836 | 41.0 | 39M| 41 | 38 | 200 |1264 | 200 | 253 | 395k| 0 |3888 |-6.570000e+01 |-4.700000e+01 | 28.46%
47.20/47.25 o -48
47.20/47.25 c *47.3s| 29927 | 23424 | 1136k| 37.8 | 49M| 42 | - | 200 |1264 | 200 | 262 | 560k| 0 |4659 |-6.500000e+01 |-4.800000e+01 | 26.15%
47.20/47.26 o -50
47.20/47.26 c *47.3s| 29932 | 19287 | 1136k| 37.7 | 44M| 42 | - | 200 |1264 | 200 | 255 | 560k| 0 |4659 |-6.500000e+01 |-5.000000e+01 | 23.08%
47.30/47.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.30/47.33 c 47.3s| 30000 | 19319 | 1137k| 37.7 | 44M| 42 | 13 | 200 |1264 | 200 | 225 | 561k| 0 |4674 |-6.500000e+01 |-5.000000e+01 | 23.08%
57.10/57.16 c 57.2s| 40000 | 23959 | 1395k| 34.7 | 52M| 43 | 65 | 200 |1264 | 200 | 246 | 713k| 0 |5302 |-6.457895e+01 |-5.000000e+01 | 22.58%
66.09/66.12 c 66.1s| 50000 | 28211 | 1630k| 32.5 | 59M| 46 | 55 | 200 |1264 | 200 | 263 | 851k| 0 |5772 |-6.420000e+01 |-5.000000e+01 | 22.12%
74.89/74.99 c 75.0s| 60000 | 32001 | 1863k| 31.0 | 65M| 46 | 60 | 200 |1264 | 200 | 273 | 994k| 0 |6283 |-6.400000e+01 |-5.000000e+01 | 21.88%
83.19/83.25 c 83.2s| 70000 | 35331 | 2078k| 29.6 | 71M| 52 | 78 | 200 |1264 | 200 | 270 |1124k| 0 |6706 |-6.388889e+01 |-5.000000e+01 | 21.74%
90.89/90.99 c 91.0s| 80000 | 38357 | 2275k| 28.4 | 77M| 52 | - | 200 |1264 | 200 | 277 |1247k| 0 |7061 |-6.370000e+01 |-5.000000e+01 | 21.51%
98.99/99.01 c 99.0s| 90000 | 41501 | 2481k| 27.5 | 82M| 52 | - | 200 |1264 | 200 | 242 |1373k| 0 |7429 |-6.357143e+01 |-5.000000e+01 | 21.35%
106.69/106.78 c 107s|100000 | 44415 | 2682k| 26.8 | 87M| 52 | 53 | 200 |1264 | 200 | 289 |1499k| 0 |7761 |-6.350000e+01 |-5.000000e+01 | 21.26%
114.39/114.47 c 114s|110000 | 47371 | 2881k| 26.1 | 93M| 52 | - | 200 |1264 | 200 | 272 |1621k| 0 |8078 |-6.333333e+01 |-5.000000e+01 | 21.05%
122.10/122.13 c 122s|120000 | 50153 | 3077k| 25.6 | 98M| 52 | - | 200 |1264 | 200 | 273 |1741k| 0 |8386 |-6.325000e+01 |-5.000000e+01 | 20.95%
129.59/129.61 c 130s|130000 | 52793 | 3269k| 25.1 | 102M| 53 | - | 200 |1264 | 200 | 260 |1859k| 0 |8652 |-6.310000e+01 |-5.000000e+01 | 20.76%
137.29/137.30 c 137s|140000 | 55719 | 3467k| 24.7 | 108M| 53 | - | 200 |1264 | 200 | 257 |1978k| 0 |8906 |-6.300000e+01 |-5.000000e+01 | 20.63%
144.89/144.99 c 145s|150000 | 58455 | 3665k| 24.4 | 113M| 53 | - | 200 |1264 | 200 | 259 |2099k| 0 |9202 |-6.300000e+01 |-5.000000e+01 | 20.63%
152.69/152.73 c 153s|160000 | 61497 | 3867k| 24.1 | 118M| 53 | 11 | 200 |1264 | 200 | 261 |2221k| 0 |9443 |-6.300000e+01 |-5.000000e+01 | 20.63%
160.08/160.16 c 160s|170000 | 64097 | 4057k| 23.8 | 123M| 57 | 73 | 200 |1264 | 200 | 272 |2339k| 0 |9711 |-6.285714e+01 |-5.000000e+01 | 20.45%
167.69/167.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.69/167.75 c 168s|180000 | 66877 | 4253k| 23.6 | 128M| 57 | 10 | 200 |1264 | 200 | 283 |2460k| 0 |9956 |-6.275000e+01 |-5.000000e+01 | 20.32%
175.19/175.21 c 175s|190000 | 69603 | 4445k| 23.4 | 133M| 57 | - | 200 |1264 | 200 | 250 |2578k| 0 | 10k|-6.266667e+01 |-5.000000e+01 | 20.21%
182.59/182.65 c 183s|200000 | 72283 | 4636k| 23.2 | 137M| 57 | - | 200 |1264 | 200 | 285 |2696k| 0 | 10k|-6.257143e+01 |-5.000000e+01 | 20.09%
189.99/190.09 c 190s|210000 | 74837 | 4828k| 23.0 | 142M| 57 | - | 200 |1264 | 200 | 265 |2816k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
197.39/197.44 c 197s|220000 | 77335 | 5018k| 22.8 | 147M| 57 | - | 200 |1264 | 200 | 265 |2936k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
204.89/204.91 c 205s|230000 | 79849 | 5213k| 22.6 | 151M| 57 | - | 200 |1264 | 200 | 272 |3057k| 0 | 11k|-6.240000e+01 |-5.000000e+01 | 19.87%
212.09/212.18 c 212s|240000 | 82227 | 5398k| 22.5 | 156M| 57 | 51 | 200 |1264 | 200 | 251 |3175k| 0 | 11k|-6.233333e+01 |-5.000000e+01 | 19.79%
219.39/219.42 c 219s|250000 | 84383 | 5583k| 22.3 | 160M| 57 | 68 | 200 |1264 | 200 | 281 |3293k| 0 | 11k|-6.225000e+01 |-5.000000e+01 | 19.68%
226.49/226.52 c 227s|260000 | 86653 | 5766k| 22.2 | 164M| 62 | 14 | 200 |1264 | 200 | 218 |3408k| 0 | 11k|-6.222222e+01 |-5.000000e+01 | 19.64%
233.29/233.35 c 233s|270000 | 88531 | 5938k| 22.0 | 168M| 62 | - | 200 |1264 | 200 | 270 |3518k| 0 | 11k|-6.215000e+01 |-5.000000e+01 | 19.55%
240.09/240.10 c 240s|280000 | 90231 | 6105k| 21.8 | 171M| 62 | 78 | 200 |1264 | 200 | 255 |3630k| 0 | 11k|-6.200000e+01 |-5.000000e+01 | 19.35%
246.79/246.89 c 247s|290000 | 92153 | 6279k| 21.6 | 175M| 62 | 50 | 200 |1264 | 200 | 257 |3743k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
253.69/253.71 c 254s|300000 | 93953 | 6453k| 21.5 | 178M| 62 | 7 | 200 |1264 | 200 | 259 |3858k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
260.49/260.50 c 261s|310000 | 95739 | 6623k| 21.3 | 182M| 62 | 76 | 200 |1264 | 200 | 268 |3970k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
267.20/267.23 c 267s|320000 | 97407 | 6793k| 21.2 | 185M| 62 | - | 200 |1264 | 200 | 273 |4082k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
274.00/274.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.00/274.09 c 274s|330000 | 99329 | 6966k| 21.1 | 189M| 62 | 62 | 200 |1264 | 200 | 245 |4195k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
280.90/280.94 c 281s|340000 |101159 | 7138k| 21.0 | 193M| 62 | 68 | 200 |1264 | 200 | 268 |4307k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
287.59/287.68 c 288s|350000 |102889 | 7308k| 20.9 | 196M| 62 | - | 200 |1264 | 200 | 243 |4420k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
294.39/294.47 c 294s|360000 |104669 | 7478k| 20.8 | 199M| 62 | 38 | 200 |1264 | 200 | 244 |4530k| 0 | 13k|-6.187500e+01 |-5.000000e+01 | 19.19%
300.79/300.86 o -51
300.79/300.86 c * 301s|369334 | 81889 | 7640k| 20.7 | 164M| 62 | - | 200 |1264 | 200 | 265 |4632k| 0 | 13k|-6.183333e+01 |-5.100000e+01 | 17.52%
301.00/301.07 o -52
301.00/301.07 c C 301s|369534 | 63812 | 7643k| 20.7 | 135M| 62 | 94 | 200 |1264 | 200 | 266 |4635k| 0 | 13k|-6.183333e+01 |-5.200000e+01 | 15.90%
301.29/301.40 c 301s|370000 | 63844 | 7651k| 20.7 | 135M| 62 | - | 200 |1264 | 200 | 269 |4640k| 0 | 13k|-6.183333e+01 |-5.200000e+01 | 15.90%
307.90/307.91 c 308s|380000 | 64798 | 7811k| 20.5 | 137M| 62 | 42 | 200 |1264 | 200 | 223 |4758k| 0 | 13k|-6.175000e+01 |-5.200000e+01 | 15.79%
314.39/314.43 c 314s|390000 | 65750 | 7970k| 20.4 | 139M| 62 | - | 200 |1264 | 200 | 277 |4874k| 0 | 13k|-6.175000e+01 |-5.200000e+01 | 15.79%
320.90/320.95 c 321s|400000 | 66822 | 8132k| 20.3 | 142M| 62 | - | 200 |1264 | 200 | 243 |4989k| 0 | 13k|-6.166667e+01 |-5.200000e+01 | 15.68%
327.40/327.40 c 327s|410000 | 67778 | 8291k| 20.2 | 144M| 62 | 26 | 200 |1264 | 200 | 220 |5102k| 0 | 13k|-6.166667e+01 |-5.200000e+01 | 15.68%
333.79/333.81 c 334s|420000 | 68806 | 8451k| 20.1 | 146M| 62 | - | 200 |1264 | 200 | 239 |5219k| 0 | 14k|-6.160000e+01 |-5.200000e+01 | 15.58%
340.19/340.20 c 340s|430000 | 69724 | 8608k| 20.0 | 148M| 62 | - | 200 |1264 | 200 | 278 |5333k| 0 | 14k|-6.155556e+01 |-5.200000e+01 | 15.52%
346.60/346.60 c 347s|440000 | 70784 | 8767k| 19.9 | 151M| 62 | 30 | 200 |1264 | 200 | 227 |5448k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
353.00/353.00 c 353s|450000 | 71782 | 8923k| 19.8 | 153M| 62 | 79 | 200 |1264 | 200 | 297 |5562k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
359.39/359.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.39/359.40 c 359s|460000 | 72812 | 9082k| 19.7 | 155M| 62 | 7 | 200 |1264 | 200 | 245 |5679k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
365.70/365.73 c 366s|470000 | 73728 | 9237k| 19.6 | 157M| 62 | 22 | 200 |1264 | 200 | 220 |5794k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
371.90/371.98 c 372s|480000 | 74558 | 9391k| 19.6 | 159M| 62 | - | 200 |1264 | 200 | 262 |5910k| 0 | 14k|-6.150000e+01 |-5.200000e+01 | 15.45%
378.30/378.39 c 378s|490000 | 75590 | 9549k| 19.5 | 162M| 62 | 62 | 200 |1264 | 200 | 229 |6023k| 0 | 15k|-6.150000e+01 |-5.200000e+01 | 15.45%
384.79/384.89 c 385s|500000 | 76484 | 9709k| 19.4 | 164M| 62 | - | 200 |1264 | 200 | 248 |6140k| 0 | 15k|-6.140000e+01 |-5.200000e+01 | 15.31%
391.19/391.22 c 391s|510000 | 77320 | 9866k| 19.3 | 166M| 62 | 34 | 200 |1264 | 200 | 252 |6254k| 0 | 15k|-6.133333e+01 |-5.200000e+01 | 15.22%
397.39/397.48 c 397s|520000 | 78228 | 10019k| 19.3 | 168M| 62 | - | 200 |1264 | 200 | 268 |6366k| 0 | 15k|-6.133333e+01 |-5.200000e+01 | 15.22%
403.80/403.82 c 404s|530000 | 79206 | 10175k| 19.2 | 170M| 62 | - | 200 |1264 | 200 | 274 |6480k| 0 | 15k|-6.125714e+01 |-5.200000e+01 | 15.11%
410.10/410.12 c 410s|540000 | 80212 | 10328k| 19.1 | 172M| 62 | 108 | 200 |1264 | 200 | 295 |6589k| 0 | 15k|-6.125000e+01 |-5.200000e+01 | 15.10%
416.40/416.42 c 416s|550000 | 81034 | 10483k| 19.0 | 174M| 62 | 80 | 200 |1264 | 200 | 269 |6705k| 0 | 15k|-6.122222e+01 |-5.200000e+01 | 15.06%
422.59/422.67 c 423s|560000 | 81964 | 10636k| 19.0 | 176M| 62 | 18 | 200 |1264 | 200 | 225 |6814k| 0 | 15k|-6.116667e+01 |-5.200000e+01 | 14.99%
429.00/429.01 c 429s|570000 | 82924 | 10790k| 18.9 | 178M| 62 | 9 | 200 |1264 | 200 | 230 |6925k| 0 | 16k|-6.110000e+01 |-5.200000e+01 | 14.89%
435.40/435.46 c 435s|580000 | 83810 | 10948k| 18.9 | 180M| 62 | 22 | 200 |1264 | 200 | 264 |7038k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
441.59/441.68 c 442s|590000 | 84640 | 11099k| 18.8 | 182M| 62 | - | 200 |1264 | 200 | 250 |7150k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
447.99/448.04 c 448s|600000 | 85576 | 11256k| 18.7 | 184M| 62 | - | 200 |1264 | 200 | 255 |7262k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
454.30/454.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.30/454.39 c 454s|610000 | 86472 | 11412k| 18.7 | 186M| 62 | 44 | 200 |1264 | 200 | 255 |7381k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
460.59/460.62 c 461s|620000 | 87262 | 11562k| 18.6 | 188M| 62 | - | 200 |1264 | 200 | 283 |7491k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
466.80/466.87 c 467s|630000 | 88184 | 11714k| 18.6 | 190M| 62 | 10 | 200 |1264 | 200 | 266 |7598k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
473.19/473.21 c 473s|640000 | 89032 | 11869k| 18.5 | 192M| 62 | - | 200 |1264 | 200 | 274 |7710k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
479.50/479.52 c 480s|650000 | 89954 | 12025k| 18.5 | 194M| 62 | - | 200 |1264 | 200 | 268 |7823k| 0 | 16k|-6.100000e+01 |-5.200000e+01 | 14.75%
485.70/485.75 c 486s|660000 | 90682 | 12176k| 18.4 | 196M| 62 | 37 | 200 |1264 | 200 | 223 |7935k| 0 | 17k|-6.100000e+01 |-5.200000e+01 | 14.75%
491.90/491.98 c 492s|670000 | 91668 | 12327k| 18.4 | 198M| 62 | 9 | 200 |1264 | 200 | 219 |8042k| 0 | 17k|-6.100000e+01 |-5.200000e+01 | 14.75%
498.10/498.15 c 498s|680000 | 92534 | 12477k| 18.3 | 200M| 62 | - | 200 |1264 | 200 | 286 |8152k| 0 | 17k|-6.100000e+01 |-5.200000e+01 | 14.75%
504.20/504.27 c 504s|690000 | 93216 | 12625k| 18.3 | 202M| 62 | - | 200 |1264 | 200 | 250 |8264k| 0 | 17k|-6.091667e+01 |-5.200000e+01 | 14.64%
510.30/510.37 c 510s|700000 | 93874 | 12772k| 18.2 | 203M| 62 | - | 200 |1264 | 200 | 300 |8374k| 0 | 17k|-6.085714e+01 |-5.200000e+01 | 14.55%
516.39/516.49 c 516s|710000 | 94738 | 12921k| 18.2 | 205M| 62 | - | 200 |1264 | 200 | 244 |8482k| 0 | 17k|-6.083333e+01 |-5.200000e+01 | 14.52%
522.70/522.72 c 523s|720000 | 95586 | 13073k| 18.1 | 207M| 62 | - | 200 |1264 | 200 | 256 |8592k| 0 | 17k|-6.076923e+01 |-5.200000e+01 | 14.43%
528.79/528.85 c 529s|730000 | 96378 | 13225k| 18.1 | 209M| 62 | 12 | 200 |1264 | 200 | 267 |8705k| 0 | 17k|-6.075000e+01 |-5.200000e+01 | 14.40%
535.00/535.03 c 535s|740000 | 97220 | 13375k| 18.1 | 211M| 62 | 24 | 200 |1264 | 200 | 252 |8812k| 0 | 17k|-6.075000e+01 |-5.200000e+01 | 14.40%
541.00/541.03 c 541s|750000 | 97922 | 13518k| 18.0 | 213M| 62 | 17 | 200 |1264 | 200 | 232 |8922k| 0 | 18k|-6.068750e+01 |-5.200000e+01 | 14.32%
547.20/547.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.20/547.24 c 547s|760000 | 98712 | 13669k| 18.0 | 215M| 62 | 20 | 200 |1264 | 200 | 232 |9032k| 0 | 18k|-6.066667e+01 |-5.200000e+01 | 14.29%
553.20/553.24 c 553s|770000 | 99486 | 13813k| 17.9 | 216M| 62 | 66 | 200 |1264 | 200 | 265 |9139k| 0 | 18k|-6.066667e+01 |-5.200000e+01 | 14.29%
559.10/559.19 c 559s|780000 |100120 | 13955k| 17.9 | 218M| 62 | - | 200 |1264 | 200 | 249 |9246k| 0 | 18k|-6.066667e+01 |-5.200000e+01 | 14.29%
565.40/565.43 c 565s|790000 |101006 | 14106k| 17.8 | 220M| 62 | - | 200 |1264 | 200 | 260 |9355k| 0 | 18k|-6.062500e+01 |-5.200000e+01 | 14.23%
571.40/571.48 c 571s|800000 |101800 | 14252k| 17.8 | 222M| 62 | 32 | 200 |1264 | 200 | 238 |9463k| 0 | 18k|-6.057143e+01 |-5.200000e+01 | 14.15%
577.40/577.48 c 577s|810000 |102492 | 14396k| 17.8 | 223M| 62 | - | 200 |1264 | 200 | 258 |9570k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
583.50/583.59 c 584s|820000 |103282 | 14543k| 17.7 | 225M| 62 | - | 200 |1264 | 200 | 272 |9677k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
589.60/589.65 c 590s|830000 |103996 | 14690k| 17.7 | 227M| 62 | 18 | 200 |1264 | 200 | 222 |9789k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
595.69/595.79 c 596s|840000 |104814 | 14840k| 17.7 | 229M| 62 | - | 200 |1264 | 200 | 254 |9899k| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
601.70/601.77 c 602s|850000 |105526 | 14981k| 17.6 | 230M| 62 | - | 200 |1264 | 200 | 268 | 10M| 0 | 18k|-6.050000e+01 |-5.200000e+01 | 14.05%
607.70/607.78 c 608s|860000 |106170 | 15126k| 17.6 | 232M| 62 | 24 | 200 |1264 | 200 | 230 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
613.80/613.84 c 614s|870000 |106826 | 15272k| 17.5 | 233M| 62 | - | 200 |1264 | 200 | 244 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
619.69/619.77 c 620s|880000 |107546 | 15414k| 17.5 | 235M| 62 | 44 | 200 |1264 | 200 | 219 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
625.80/625.83 c 626s|890000 |108180 | 15559k| 17.5 | 237M| 62 | 109 | 200 |1264 | 200 | 273 | 10M| 0 | 19k|-6.050000e+01 |-5.200000e+01 | 14.05%
631.80/631.89 c 632s|900000 |108880 | 15703k| 17.4 | 238M| 62 | 27 | 200 |1264 | 200 | 241 | 10M| 0 | 19k|-6.044444e+01 |-5.200000e+01 | 13.97%
637.79/637.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.79/637.90 c 638s|910000 |109542 | 15845k| 17.4 | 240M| 62 | - | 200 |1264 | 200 | 269 | 10M| 0 | 19k|-6.040000e+01 |-5.200000e+01 | 13.91%
643.99/644.00 c 644s|920000 |110252 | 15992k| 17.4 | 241M| 62 | 87 | 200 |1264 | 200 | 258 | 10M| 0 | 19k|-6.035526e+01 |-5.200000e+01 | 13.84%
649.90/649.99 c 650s|930000 |110918 | 16134k| 17.3 | 243M| 62 | 86 | 200 |1264 | 200 | 270 | 10M| 0 | 19k|-6.033333e+01 |-5.200000e+01 | 13.81%
655.99/656.02 c 656s|940000 |111528 | 16279k| 17.3 | 245M| 62 | - | 200 |1264 | 200 | 262 | 10M| 0 | 19k|-6.033333e+01 |-5.200000e+01 | 13.81%
661.89/661.97 c 662s|950000 |112198 | 16421k| 17.3 | 246M| 62 | - | 200 |1264 | 200 | 261 | 11M| 0 | 19k|-6.033333e+01 |-5.200000e+01 | 13.81%
667.90/667.91 c 668s|960000 |112810 | 16562k| 17.2 | 248M| 62 | - | 200 |1264 | 200 | 261 | 11M| 0 | 19k|-6.025000e+01 |-5.200000e+01 | 13.69%
673.89/673.91 c 674s|970000 |113484 | 16706k| 17.2 | 249M| 62 | - | 200 |1264 | 200 | 267 | 11M| 0 | 20k|-6.025000e+01 |-5.200000e+01 | 13.69%
679.80/679.84 c 680s|980000 |114150 | 16847k| 17.2 | 251M| 62 | - | 200 |1264 | 200 | 280 | 11M| 0 | 20k|-6.025000e+01 |-5.200000e+01 | 13.69%
685.80/685.81 c 686s|990000 |114822 | 16990k| 17.2 | 252M| 62 | - | 200 |1264 | 200 | 268 | 11M| 0 | 20k|-6.020000e+01 |-5.200000e+01 | 13.62%
691.70/691.70 c 692s| 1000k|115518 | 17129k| 17.1 | 254M| 62 | 39 | 200 |1264 | 200 | 253 | 11M| 0 | 20k|-6.018182e+01 |-5.200000e+01 | 13.60%
697.50/697.53 c 698s| 1010k|116064 | 17268k| 17.1 | 255M| 62 | 16 | 200 |1264 | 200 | 248 | 11M| 0 | 20k|-6.016667e+01 |-5.200000e+01 | 13.57%
703.40/703.45 c 703s| 1020k|116684 | 17408k| 17.1 | 257M| 62 | - | 200 |1264 | 200 | 297 | 11M| 0 | 20k|-6.012500e+01 |-5.200000e+01 | 13.51%
709.30/709.32 c 709s| 1030k|117276 | 17546k| 17.0 | 258M| 62 | - | 200 |1264 | 200 | 265 | 11M| 0 | 20k|-6.005882e+01 |-5.200000e+01 | 13.42%
715.30/715.33 c 715s| 1040k|117924 | 17690k| 17.0 | 260M| 62 | 10 | 200 |1264 | 200 | 219 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
721.19/721.29 c 721s| 1050k|118490 | 17832k| 17.0 | 261M| 63 | 79 | 200 |1264 | 200 | 260 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
727.30/727.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.30/727.35 c 727s| 1060k|119208 | 17978k| 17.0 | 263M| 63 | 18 | 200 |1264 | 200 | 263 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
733.19/733.27 c 733s| 1070k|119774 | 18119k| 16.9 | 264M| 63 | 39 | 200 |1264 | 200 | 285 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
739.10/739.18 c 739s| 1080k|120376 | 18258k| 16.9 | 266M| 63 | - | 200 |1264 | 200 | 274 | 12M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
745.00/745.00 c 745s| 1090k|120908 | 18397k| 16.9 | 267M| 63 | 38 | 200 |1264 | 200 | 248 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
750.80/750.87 c 751s| 1100k|121586 | 18538k| 16.8 | 269M| 63 | 9 | 200 |1264 | 200 | 253 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
756.70/756.80 c 757s| 1110k|122330 | 18679k| 16.8 | 270M| 63 | - | 200 |1264 | 200 | 243 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
762.70/762.72 c 763s| 1120k|123076 | 18819k| 16.8 | 272M| 63 | - | 200 |1264 | 200 | 254 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
768.60/768.63 c 769s| 1130k|123716 | 18959k| 16.8 | 273M| 66 | - | 200 |1264 | 200 | 251 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
774.50/774.53 c 775s| 1140k|124292 | 19101k| 16.7 | 275M| 66 | - | 200 |1264 | 200 | 248 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
780.30/780.36 c 780s| 1150k|125078 | 19240k| 16.7 | 277M| 66 | 64 | 200 |1264 | 200 | 268 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
786.19/786.21 c 786s| 1160k|125702 | 19378k| 16.7 | 278M| 66 | - | 200 |1264 | 200 | 272 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
792.00/792.06 c 792s| 1170k|126374 | 19517k| 16.7 | 280M| 66 | - | 200 |1264 | 200 | 227 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
797.90/797.92 c 798s| 1180k|127096 | 19656k| 16.7 | 281M| 66 | 43 | 200 |1264 | 200 | 246 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
803.80/803.88 c 804s| 1190k|127680 | 19798k| 16.6 | 283M| 66 | 103 | 200 |1264 | 200 | 278 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
809.90/809.97 c 810s| 1200k|128500 | 19946k| 16.6 | 284M| 66 | - | 200 |1264 | 200 | 282 | 13M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
815.90/815.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.90/815.94 c 816s| 1210k|129142 | 20087k| 16.6 | 286M| 66 | - | 200 |1264 | 200 | 273 | 13M| 0 | 22k|-6.000000e+01 |-5.200000e+01 | 13.33%
822.00/822.07 c 822s| 1220k|129936 | 20233k| 16.6 | 288M| 66 | 46 | 200 |1264 | 200 | 233 | 13M| 0 | 22k|-5.994667e+01 |-5.200000e+01 | 13.26%
827.80/827.81 c 828s| 1230k|130470 | 20368k| 16.6 | 289M| 66 | 14 | 200 |1264 | 200 | 259 | 14M| 0 | 22k|-5.988889e+01 |-5.200000e+01 | 13.17%
833.70/833.74 c 834s| 1240k|131162 | 20509k| 16.5 | 291M| 66 | 43 | 200 |1264 | 200 | 241 | 14M| 0 | 22k|-5.985714e+01 |-5.200000e+01 | 13.13%
839.50/839.51 c 840s| 1250k|131646 | 20643k| 16.5 | 292M| 66 | 14 | 200 |1264 | 200 | 229 | 14M| 0 | 22k|-5.983333e+01 |-5.200000e+01 | 13.09%
845.30/845.32 c 845s| 1260k|132278 | 20780k| 16.5 | 293M| 66 | - | 200 |1264 | 200 | 241 | 14M| 0 | 22k|-5.980000e+01 |-5.200000e+01 | 13.04%
851.10/851.14 c 851s| 1270k|132856 | 20916k| 16.5 | 295M| 66 | - | 200 |1264 | 200 | 261 | 14M| 0 | 22k|-5.980000e+01 |-5.200000e+01 | 13.04%
856.91/856.99 c 857s| 1280k|133554 | 21053k| 16.4 | 296M| 66 | - | 200 |1264 | 200 | 247 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
862.80/862.84 c 863s| 1290k|134140 | 21192k| 16.4 | 298M| 66 | - | 200 |1264 | 200 | 249 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
868.50/868.56 c 869s| 1300k|134678 | 21326k| 16.4 | 299M| 66 | - | 200 |1264 | 200 | 265 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
874.30/874.35 c 874s| 1310k|135280 | 21462k| 16.4 | 301M| 66 | 14 | 200 |1264 | 200 | 237 | 14M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
880.30/880.34 c 880s| 1320k|135974 | 21604k| 16.4 | 302M| 66 | - | 200 |1264 | 200 | 259 | 15M| 0 | 22k|-5.971429e+01 |-5.200000e+01 | 12.92%
886.20/886.20 c 886s| 1330k|136452 | 21742k| 16.3 | 303M| 66 | - | 200 |1264 | 200 | 265 | 15M| 0 | 22k|-5.966667e+01 |-5.200000e+01 | 12.85%
891.90/891.98 c 892s| 1340k|136986 | 21875k| 16.3 | 305M| 66 | 11 | 200 |1264 | 200 | 223 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
897.70/897.73 c 898s| 1350k|137586 | 22010k| 16.3 | 306M| 66 | 51 | 200 |1264 | 200 | 256 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
903.51/903.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.51/903.56 c 904s| 1360k|138098 | 22147k| 16.3 | 307M| 66 | - | 200 |1264 | 200 | 264 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
909.30/909.31 c 909s| 1370k|138674 | 22282k| 16.3 | 309M| 66 | - | 200 |1264 | 200 | 266 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
915.00/915.07 c 915s| 1380k|139196 | 22416k| 16.2 | 310M| 66 | 62 | 200 |1264 | 200 | 275 | 15M| 0 | 23k|-5.966667e+01 |-5.200000e+01 | 12.85%
920.80/920.89 c 921s| 1390k|139682 | 22552k| 16.2 | 311M| 66 | - | 200 |1264 | 200 | 292 | 15M| 0 | 23k|-5.962500e+01 |-5.200000e+01 | 12.79%
926.61/926.68 c 927s| 1400k|140190 | 22687k| 16.2 | 312M| 66 | - | 200 |1264 | 200 | 253 | 15M| 0 | 23k|-5.960000e+01 |-5.200000e+01 | 12.75%
932.30/932.38 c 932s| 1410k|140696 | 22820k| 16.2 | 314M| 66 | 35 | 200 |1264 | 200 | 250 | 15M| 0 | 23k|-5.957143e+01 |-5.200000e+01 | 12.71%
938.10/938.12 c 938s| 1420k|141236 | 22954k| 16.2 | 315M| 66 | - | 200 |1264 | 200 | 281 | 16M| 0 | 23k|-5.954545e+01 |-5.200000e+01 | 12.67%
943.90/943.98 c 944s| 1430k|141854 | 23091k| 16.1 | 316M| 66 | - | 200 |1264 | 200 | 273 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
949.70/949.78 c 950s| 1440k|142416 | 23228k| 16.1 | 318M| 66 | 26 | 200 |1264 | 200 | 226 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
955.50/955.55 c 956s| 1450k|142960 | 23365k| 16.1 | 319M| 66 | - | 200 |1264 | 200 | 262 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
961.31/961.35 c 961s| 1460k|143506 | 23502k| 16.1 | 320M| 66 | 14 | 200 |1264 | 200 | 249 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
967.10/967.10 c 967s| 1470k|144042 | 23635k| 16.1 | 322M| 66 | - | 200 |1264 | 200 | 269 | 16M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
972.70/972.79 c 973s| 1480k|144494 | 23768k| 16.1 | 323M| 66 | - | 200 |1264 | 200 | 240 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
978.41/978.40 c 978s| 1490k|144962 | 23900k| 16.0 | 324M| 66 | - | 200 |1264 | 200 | 275 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
984.00/984.10 c 984s| 1500k|145378 | 24031k| 16.0 | 325M| 66 | 29 | 200 |1264 | 200 | 257 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
989.70/989.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.70/989.76 c 990s| 1510k|145814 | 24162k| 16.0 | 326M| 66 | 30 | 200 |1264 | 200 | 236 | 16M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
995.41/995.45 c 995s| 1520k|146316 | 24294k| 16.0 | 327M| 66 | 74 | 200 |1264 | 200 | 265 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1001.01/1001.01 c 1001s| 1530k|146722 | 24423k| 16.0 | 328M| 66 | 33 | 200 |1264 | 200 | 226 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1006.51/1006.53 c 1007s| 1540k|147148 | 24549k| 15.9 | 329M| 66 | - | 200 |1264 | 200 | 280 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1012.10/1012.13 c 1012s| 1550k|147664 | 24679k| 15.9 | 331M| 66 | - | 200 |1264 | 200 | 266 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1017.81/1017.88 c 1018s| 1560k|148228 | 24814k| 15.9 | 332M| 66 | - | 200 |1264 | 200 | 272 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1023.40/1023.42 c 1023s| 1570k|148700 | 24942k| 15.9 | 333M| 66 | 66 | 200 |1264 | 200 | 299 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1029.11/1029.12 c 1029s| 1580k|149220 | 25074k| 15.9 | 334M| 66 | 18 | 200 |1264 | 200 | 218 | 17M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
1034.91/1034.91 c 1035s| 1590k|149640 | 25208k| 15.9 | 336M| 66 | 64 | 200 |1264 | 200 | 276 | 17M| 0 | 24k|-5.942857e+01 |-5.200000e+01 | 12.50%
1040.61/1040.63 c 1041s| 1600k|150098 | 25339k| 15.8 | 337M| 66 | 35 | 200 |1264 | 200 | 239 | 17M| 0 | 24k|-5.940000e+01 |-5.200000e+01 | 12.46%
1046.31/1046.35 c 1046s| 1610k|150682 | 25473k| 15.8 | 338M| 66 | - | 200 |1264 | 200 | 265 | 17M| 0 | 24k|-5.937500e+01 |-5.200000e+01 | 12.42%
1052.00/1052.01 c 1052s| 1620k|151142 | 25604k| 15.8 | 339M| 66 | - | 200 |1264 | 200 | 253 | 18M| 0 | 24k|-5.933333e+01 |-5.200000e+01 | 12.36%
1057.71/1057.71 c 1058s| 1630k|151572 | 25735k| 15.8 | 340M| 66 | 49 | 200 |1264 | 200 | 253 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1063.31/1063.40 c 1063s| 1640k|151942 | 25865k| 15.8 | 341M| 66 | - | 200 |1264 | 200 | 239 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1069.01/1069.05 c 1069s| 1650k|152336 | 25995k| 15.8 | 342M| 66 | - | 200 |1264 | 200 | 242 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1074.61/1074.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.61/1074.67 c 1075s| 1660k|152848 | 26124k| 15.7 | 343M| 66 | - | 200 |1264 | 200 | 257 | 18M| 0 | 25k|-5.933333e+01 |-5.200000e+01 | 12.36%
1080.31/1080.37 c 1080s| 1670k|153362 | 26255k| 15.7 | 345M| 66 | - | 200 |1264 | 200 | 251 | 18M| 0 | 25k|-5.928571e+01 |-5.200000e+01 | 12.29%
1086.00/1086.02 c 1086s| 1680k|153846 | 26385k| 15.7 | 346M| 66 | 65 | 200 |1264 | 200 | 258 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1091.70/1091.73 c 1092s| 1690k|154302 | 26517k| 15.7 | 347M| 66 | - | 200 |1264 | 200 | 247 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1097.31/1097.30 c 1097s| 1700k|154686 | 26644k| 15.7 | 348M| 66 | - | 200 |1264 | 200 | 257 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1102.90/1102.96 c 1103s| 1710k|155214 | 26776k| 15.7 | 349M| 66 | - | 200 |1264 | 200 | 274 | 18M| 0 | 25k|-5.925000e+01 |-5.200000e+01 | 12.24%
1108.50/1108.56 c 1109s| 1720k|155566 | 26904k| 15.6 | 350M| 66 | - | 200 |1264 | 200 | 272 | 19M| 0 | 25k|-5.923077e+01 |-5.200000e+01 | 12.21%
1114.10/1114.19 c 1114s| 1730k|156006 | 27033k| 15.6 | 351M| 66 | 74 | 200 |1264 | 200 | 304 | 19M| 0 | 25k|-5.920000e+01 |-5.200000e+01 | 12.16%
1119.81/1119.81 c 1120s| 1740k|156380 | 27162k| 15.6 | 352M| 66 | - | 200 |1264 | 200 | 269 | 19M| 0 | 25k|-5.916667e+01 |-5.200000e+01 | 12.11%
1125.31/1125.37 c 1125s| 1750k|156770 | 27289k| 15.6 | 353M| 66 | 22 | 200 |1264 | 200 | 243 | 19M| 0 | 25k|-5.916667e+01 |-5.200000e+01 | 12.11%
1130.91/1130.96 c 1131s| 1760k|157198 | 27419k| 15.6 | 354M| 66 | - | 200 |1264 | 200 | 279 | 19M| 0 | 25k|-5.915000e+01 |-5.200000e+01 | 12.09%
1136.51/1136.59 c 1137s| 1770k|157642 | 27545k| 15.6 | 356M| 66 | 22 | 200 |1264 | 200 | 240 | 19M| 0 | 25k|-5.912500e+01 |-5.200000e+01 | 12.05%
1142.20/1142.22 c 1142s| 1780k|158042 | 27674k| 15.5 | 357M| 66 | 42 | 200 |1264 | 200 | 239 | 19M| 0 | 25k|-5.909091e+01 |-5.200000e+01 | 12.00%
1147.80/1147.81 c 1148s| 1790k|158346 | 27801k| 15.5 | 357M| 69 | 78 | 200 |1264 | 200 | 277 | 19M| 0 | 26k|-5.903125e+01 |-5.200000e+01 | 11.91%
1153.41/1153.41 c 1153s| 1800k|158692 | 27928k| 15.5 | 358M| 69 | 37 | 200 |1264 | 200 | 222 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1159.01/1159.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.01/1159.01 c 1159s| 1810k|159054 | 28053k| 15.5 | 359M| 69 | - | 200 |1264 | 200 | 260 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1164.61/1164.68 c 1165s| 1820k|159554 | 28185k| 15.5 | 361M| 69 | - | 200 |1264 | 200 | 257 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1170.31/1170.30 c 1170s| 1830k|159966 | 28313k| 15.5 | 362M| 69 | 25 | 200 |1264 | 200 | 224 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1175.82/1175.89 c 1176s| 1840k|160364 | 28441k| 15.5 | 363M| 69 | 28 | 200 |1264 | 200 | 250 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1181.50/1181.55 c 1182s| 1850k|160806 | 28570k| 15.4 | 364M| 69 | 5 | 200 |1264 | 200 | 239 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1187.21/1187.24 c 1187s| 1860k|161256 | 28701k| 15.4 | 365M| 69 | 64 | 200 |1264 | 200 | 248 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1192.81/1192.82 c 1193s| 1870k|161678 | 28829k| 15.4 | 366M| 69 | - | 200 |1264 | 200 | 272 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1198.40/1198.43 c 1198s| 1880k|162300 | 28959k| 15.4 | 367M| 69 | - | 200 |1264 | 200 | 264 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1204.01/1204.03 c 1204s| 1890k|162698 | 29088k| 15.4 | 368M| 69 | - | 200 |1264 | 200 | 270 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1209.70/1209.72 c 1210s| 1900k|163102 | 29218k| 15.4 | 369M| 69 | 74 | 200 |1264 | 200 | 267 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1215.21/1215.27 c 1215s| 1910k|163576 | 29346k| 15.4 | 371M| 69 | 10 | 200 |1264 | 200 | 257 | 20M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1220.81/1220.86 c 1221s| 1920k|163968 | 29473k| 15.3 | 372M| 69 | - | 200 |1264 | 200 | 281 | 21M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1226.30/1226.39 c 1226s| 1930k|164302 | 29599k| 15.3 | 372M| 69 | 14 | 200 |1264 | 200 | 221 | 21M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1232.02/1232.07 c 1232s| 1940k|164658 | 29729k| 15.3 | 373M| 69 | - | 200 |1264 | 200 | 260 | 21M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1237.61/1237.62 c 1238s| 1950k|165120 | 29857k| 15.3 | 375M| 69 | - | 200 |1264 | 200 | 258 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1243.21/1243.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.21/1243.23 c 1243s| 1960k|165576 | 29985k| 15.3 | 376M| 69 | - | 200 |1264 | 200 | 267 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1248.71/1248.76 c 1249s| 1970k|165962 | 30110k| 15.3 | 377M| 71 | - | 200 |1264 | 200 | 282 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1254.21/1254.21 c 1254s| 1980k|166172 | 30231k| 15.3 | 377M| 71 | - | 200 |1264 | 200 | 248 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1259.71/1259.70 c 1260s| 1990k|166502 | 30357k| 15.3 | 378M| 71 | 27 | 200 |1264 | 200 | 249 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1265.11/1265.17 c 1265s| 2000k|166750 | 30480k| 15.2 | 379M| 71 | 58 | 200 |1264 | 200 | 230 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1270.61/1270.67 c 1271s| 2010k|167108 | 30606k| 15.2 | 380M| 71 | - | 200 |1264 | 200 | 244 | 21M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1276.11/1276.19 c 1276s| 2020k|167456 | 30733k| 15.2 | 381M| 71 | 84 | 200 |1264 | 200 | 291 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1281.71/1281.72 c 1282s| 2030k|167742 | 30859k| 15.2 | 382M| 71 | - | 200 |1264 | 200 | 268 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1287.21/1287.26 c 1287s| 2040k|168014 | 30985k| 15.2 | 382M| 71 | 46 | 200 |1264 | 200 | 240 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1292.61/1292.60 c 1293s| 2050k|168280 | 31104k| 15.2 | 383M| 71 | - | 200 |1264 | 200 | 266 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1298.11/1298.16 c 1298s| 2060k|168654 | 31232k| 15.2 | 384M| 71 | 63 | 200 |1264 | 200 | 255 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1303.81/1303.81 c 1304s| 2070k|169052 | 31359k| 15.1 | 385M| 71 | 98 | 200 |1264 | 200 | 267 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1309.31/1309.33 c 1309s| 2080k|169352 | 31485k| 15.1 | 386M| 71 | - | 200 |1264 | 200 | 243 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1314.81/1314.88 c 1315s| 2090k|169702 | 31614k| 15.1 | 387M| 71 | - | 200 |1264 | 200 | 252 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1320.31/1320.36 c 1320s| 2100k|170074 | 31737k| 15.1 | 388M| 71 | 93 | 200 |1264 | 200 | 271 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1325.91/1325.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1325.91/1325.90 c 1326s| 2110k|170460 | 31864k| 15.1 | 389M| 71 | - | 200 |1264 | 200 | 244 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1331.31/1331.36 c 1331s| 2120k|170768 | 31987k| 15.1 | 389M| 71 | - | 200 |1264 | 200 | 254 | 23M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1336.81/1336.84 c 1337s| 2130k|171038 | 32109k| 15.1 | 390M| 71 | - | 200 |1264 | 200 | 258 | 23M| 0 | 28k|-5.893750e+01 |-5.200000e+01 | 11.77%
1342.31/1342.34 c 1342s| 2140k|171308 | 32234k| 15.1 | 391M| 71 | - | 200 |1264 | 200 | 264 | 23M| 0 | 28k|-5.890000e+01 |-5.200000e+01 | 11.71%
1347.91/1347.91 c 1348s| 2150k|171622 | 32358k| 15.0 | 392M| 71 | - | 200 |1264 | 200 | 252 | 23M| 0 | 28k|-5.887500e+01 |-5.200000e+01 | 11.68%
1353.31/1353.38 c 1353s| 2160k|171916 | 32481k| 15.0 | 393M| 71 | - | 200 |1264 | 200 | 284 | 23M| 0 | 28k|-5.885714e+01 |-5.200000e+01 | 11.65%
1358.81/1358.89 c 1359s| 2170k|172268 | 32607k| 15.0 | 394M| 71 | - | 200 |1264 | 200 | 269 | 23M| 0 | 28k|-5.883333e+01 |-5.200000e+01 | 11.61%
1364.31/1364.34 c 1364s| 2180k|172544 | 32729k| 15.0 | 394M| 71 | - | 200 |1264 | 200 | 265 | 23M| 0 | 28k|-5.883333e+01 |-5.200000e+01 | 11.61%
1369.81/1369.82 c 1370s| 2190k|172794 | 32852k| 15.0 | 395M| 71 | 92 | 200 |1264 | 200 | 273 | 23M| 0 | 28k|-5.882353e+01 |-5.200000e+01 | 11.60%
1375.21/1375.22 c 1375s| 2200k|173082 | 32974k| 15.0 | 396M| 71 | 16 | 200 |1264 | 200 | 240 | 23M| 0 | 28k|-5.880000e+01 |-5.200000e+01 | 11.56%
1380.61/1380.64 c 1381s| 2210k|173418 | 33096k| 15.0 | 397M| 71 | 14 | 200 |1264 | 200 | 245 | 23M| 0 | 28k|-5.880000e+01 |-5.200000e+01 | 11.56%
1386.12/1386.14 c 1386s| 2220k|173664 | 33220k| 15.0 | 397M| 71 | - | 200 |1264 | 200 | 248 | 23M| 0 | 28k|-5.877778e+01 |-5.200000e+01 | 11.53%
1391.52/1391.53 c 1392s| 2230k|173984 | 33342k| 14.9 | 398M| 71 | - | 200 |1264 | 200 | 279 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1396.82/1396.85 c 1397s| 2240k|174216 | 33460k| 14.9 | 399M| 71 | - | 200 |1264 | 200 | 264 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1402.21/1402.20 c 1402s| 2250k|174464 | 33580k| 14.9 | 400M| 71 | - | 200 |1264 | 200 | 235 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1407.42/1407.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.42/1407.49 c 1407s| 2260k|174722 | 33697k| 14.9 | 400M| 71 | - | 200 |1264 | 200 | 289 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1412.81/1412.80 c 1413s| 2270k|174976 | 33814k| 14.9 | 401M| 71 | 30 | 200 |1264 | 200 | 259 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1418.11/1418.19 c 1418s| 2280k|175210 | 33934k| 14.9 | 402M| 71 | - | 200 |1264 | 200 | 267 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1423.62/1423.61 c 1424s| 2290k|175406 | 34056k| 14.9 | 402M| 71 | - | 200 |1264 | 200 | 263 | 24M| 0 | 28k|-5.875000e+01 |-5.200000e+01 | 11.49%
1429.11/1429.12 c 1429s| 2300k|175692 | 34181k| 14.9 | 403M| 71 | 9 | 200 |1264 | 200 | 240 | 24M| 0 | 28k|-5.871429e+01 |-5.200000e+01 | 11.44%
1434.41/1434.48 c 1434s| 2310k|175988 | 34301k| 14.8 | 404M| 71 | 30 | 200 |1264 | 200 | 239 | 24M| 0 | 28k|-5.870000e+01 |-5.200000e+01 | 11.41%
1439.91/1439.91 c 1440s| 2320k|176270 | 34422k| 14.8 | 405M| 71 | - | 200 |1264 | 200 | 250 | 24M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1445.21/1445.28 c 1445s| 2330k|176450 | 34541k| 14.8 | 405M| 71 | - | 200 |1264 | 200 | 257 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1450.62/1450.65 c 1451s| 2340k|176670 | 34661k| 14.8 | 406M| 71 | - | 200 |1264 | 200 | 242 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1456.01/1456.09 c 1456s| 2350k|176960 | 34784k| 14.8 | 407M| 71 | - | 200 |1264 | 200 | 259 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1461.41/1461.46 c 1461s| 2360k|177274 | 34904k| 14.8 | 408M| 71 | - | 200 |1264 | 200 | 264 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1466.82/1466.82 c 1467s| 2370k|177566 | 35024k| 14.8 | 408M| 71 | - | 200 |1264 | 200 | 275 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1472.22/1472.26 c 1472s| 2380k|177890 | 35147k| 14.8 | 409M| 71 | - | 200 |1264 | 200 | 273 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1477.61/1477.67 c 1478s| 2390k|178270 | 35269k| 14.8 | 410M| 71 | 88 | 200 |1264 | 200 | 256 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1483.02/1483.07 c 1483s| 2400k|178622 | 35391k| 14.7 | 411M| 71 | 47 | 200 |1264 | 200 | 267 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1488.52/1488.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.52/1488.56 c 1489s| 2410k|178958 | 35513k| 14.7 | 412M| 71 | 37 | 200 |1264 | 200 | 246 | 25M| 0 | 29k|-5.866667e+01 |-5.200000e+01 | 11.36%
1493.92/1493.98 c 1494s| 2420k|179198 | 35635k| 14.7 | 412M| 71 | 34 | 200 |1264 | 200 | 270 | 25M| 0 | 29k|-5.862500e+01 |-5.200000e+01 | 11.30%
1499.22/1499.25 c 1499s| 2430k|179432 | 35749k| 14.7 | 413M| 71 | 36 | 200 |1264 | 200 | 254 | 25M| 0 | 29k|-5.860000e+01 |-5.200000e+01 | 11.26%
1504.61/1504.62 c 1505s| 2440k|179624 | 35868k| 14.7 | 414M| 71 | - | 200 |1264 | 200 | 265 | 26M| 0 | 29k|-5.860000e+01 |-5.200000e+01 | 11.26%
1509.81/1509.86 c 1510s| 2450k|179810 | 35983k| 14.7 | 414M| 71 | - | 200 |1264 | 200 | 266 | 26M| 0 | 29k|-5.860000e+01 |-5.200000e+01 | 11.26%
1515.11/1515.18 c 1515s| 2460k|179958 | 36099k| 14.7 | 415M| 71 | - | 200 |1264 | 200 | 285 | 26M| 0 | 29k|-5.857143e+01 |-5.200000e+01 | 11.22%
1520.42/1520.49 c 1520s| 2470k|180194 | 36216k| 14.7 | 416M| 71 | 18 | 200 |1264 | 200 | 253 | 26M| 0 | 29k|-5.855000e+01 |-5.200000e+01 | 11.19%
1525.81/1525.80 c 1526s| 2480k|180426 | 36333k| 14.6 | 416M| 71 | 19 | 200 |1264 | 200 | 260 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1531.12/1531.14 c 1531s| 2490k|180714 | 36452k| 14.6 | 417M| 71 | - | 200 |1264 | 200 | 271 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1536.32/1536.39 c 1536s| 2500k|180920 | 36569k| 14.6 | 418M| 71 | 8 | 200 |1264 | 200 | 258 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1541.82/1541.83 c 1542s| 2510k|181160 | 36690k| 14.6 | 418M| 71 | 14 | 200 |1264 | 200 | 244 | 26M| 0 | 29k|-5.850000e+01 |-5.200000e+01 | 11.11%
1547.21/1547.20 c 1547s| 2520k|181406 | 36811k| 14.6 | 419M| 71 | 14 | 200 |1264 | 200 | 264 | 26M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1552.42/1552.49 c 1552s| 2530k|181610 | 36928k| 14.6 | 420M| 71 | - | 200 |1264 | 200 | 264 | 26M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1557.72/1557.72 c 1558s| 2540k|181802 | 37043k| 14.6 | 420M| 71 | 41 | 200 |1264 | 200 | 253 | 26M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1563.03/1563.03 c 1563s| 2550k|182070 | 37161k| 14.6 | 421M| 71 | 16 | 200 |1264 | 200 | 260 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1568.31/1568.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.31/1568.38 c 1568s| 2560k|182308 | 37282k| 14.6 | 421M| 71 | 21 | 200 |1264 | 200 | 244 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1573.72/1573.71 c 1574s| 2570k|182516 | 37400k| 14.6 | 422M| 71 | 67 | 200 |1264 | 200 | 259 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1579.02/1579.02 c 1579s| 2580k|182788 | 37517k| 14.5 | 423M| 71 | - | 200 |1264 | 200 | 266 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1584.42/1584.44 c 1584s| 2590k|183090 | 37637k| 14.5 | 424M| 71 | - | 200 |1264 | 200 | 256 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1589.62/1589.64 c 1590s| 2600k|183296 | 37751k| 14.5 | 424M| 71 | 11 | 200 |1264 | 200 | 268 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1594.82/1594.83 c 1595s| 2610k|183510 | 37865k| 14.5 | 425M| 71 | 36 | 200 |1264 | 200 | 225 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1600.12/1600.17 c 1600s| 2620k|183736 | 37982k| 14.5 | 426M| 71 | 22 | 200 |1264 | 200 | 242 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1605.42/1605.42 c 1605s| 2630k|183938 | 38097k| 14.5 | 426M| 71 | - | 200 |1264 | 200 | 284 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1610.72/1610.73 c 1611s| 2640k|184124 | 38215k| 14.5 | 427M| 71 | - | 200 |1264 | 200 | 271 | 27M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1616.01/1616.05 c 1616s| 2650k|184380 | 38334k| 14.5 | 427M| 71 | 25 | 200 |1264 | 200 | 240 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1621.22/1621.23 c 1621s| 2660k|184582 | 38446k| 14.5 | 428M| 73 | 17 | 200 |1264 | 200 | 236 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1626.51/1626.54 c 1627s| 2670k|184800 | 38564k| 14.4 | 429M| 73 | 19 | 200 |1264 | 200 | 242 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1631.71/1631.78 c 1632s| 2680k|185030 | 38679k| 14.4 | 429M| 73 | 28 | 200 |1264 | 200 | 252 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1637.02/1637.03 c 1637s| 2690k|185190 | 38794k| 14.4 | 430M| 73 | 33 | 200 |1264 | 200 | 253 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1642.22/1642.22 c 1642s| 2700k|185332 | 38907k| 14.4 | 430M| 73 | - | 200 |1264 | 200 | 264 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1647.61/1647.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.61/1647.63 c 1648s| 2710k|185598 | 39028k| 14.4 | 431M| 73 | - | 200 |1264 | 200 | 269 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1652.82/1652.87 c 1653s| 2720k|185776 | 39144k| 14.4 | 432M| 73 | 34 | 200 |1264 | 200 | 254 | 28M| 0 | 30k|-5.850000e+01 |-5.200000e+01 | 11.11%
1658.02/1658.07 c 1658s| 2730k|185946 | 39257k| 14.4 | 432M| 73 | - | 200 |1264 | 200 | 259 | 28M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1663.32/1663.30 c 1663s| 2740k|186146 | 39372k| 14.4 | 433M| 73 | - | 200 |1264 | 200 | 290 | 28M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1668.62/1668.61 c 1669s| 2750k|186394 | 39488k| 14.4 | 434M| 73 | 39 | 200 |1264 | 200 | 263 | 28M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1673.82/1673.82 c 1674s| 2760k|186626 | 39602k| 14.3 | 434M| 73 | 49 | 200 |1264 | 200 | 269 | 29M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1679.12/1679.10 c 1679s| 2770k|186844 | 39720k| 14.3 | 435M| 73 | - | 200 |1264 | 200 | 278 | 29M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1684.41/1684.49 c 1684s| 2780k|187092 | 39839k| 14.3 | 436M| 73 | 16 | 200 |1264 | 200 | 250 | 29M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1689.82/1689.84 c 1690s| 2790k|187328 | 39960k| 14.3 | 436M| 73 | - | 200 |1264 | 200 | 256 | 29M| 0 | 31k|-5.847368e+01 |-5.200000e+01 | 11.07%
1695.03/1695.07 c 1695s| 2800k|187544 | 40074k| 14.3 | 437M| 73 | - | 200 |1264 | 200 | 306 | 29M| 0 | 31k|-5.842857e+01 |-5.200000e+01 | 11.00%
1700.32/1700.30 c 1700s| 2810k|187724 | 40189k| 14.3 | 437M| 73 | 45 | 200 |1264 | 200 | 233 | 29M| 0 | 31k|-5.841667e+01 |-5.200000e+01 | 10.98%
1705.62/1705.66 c 1706s| 2820k|187948 | 40309k| 14.3 | 438M| 73 | 12 | 200 |1264 | 200 | 244 | 29M| 0 | 31k|-5.840000e+01 |-5.200000e+01 | 10.96%
1710.92/1710.99 c 1711s| 2830k|188146 | 40425k| 14.3 | 439M| 73 | - | 200 |1264 | 200 | 251 | 29M| 0 | 31k|-5.840000e+01 |-5.200000e+01 | 10.96%
1716.21/1716.25 c 1716s| 2840k|188312 | 40539k| 14.3 | 439M| 73 | 20 | 200 |1264 | 200 | 259 | 29M| 0 | 31k|-5.837500e+01 |-5.200000e+01 | 10.92%
1721.52/1721.57 c 1722s| 2850k|188454 | 40655k| 14.3 | 440M| 73 | - | 200 |1264 | 200 | 268 | 29M| 0 | 31k|-5.834884e+01 |-5.200000e+01 | 10.88%
1726.82/1726.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.82/1726.85 c 1727s| 2860k|188714 | 40772k| 14.3 | 440M| 73 | - | 200 |1264 | 200 | 273 | 29M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1732.22/1732.27 c 1732s| 2870k|188894 | 40890k| 14.2 | 441M| 73 | - | 200 |1264 | 200 | 297 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1737.52/1737.58 c 1738s| 2880k|189032 | 41008k| 14.2 | 441M| 73 | - | 200 |1264 | 200 | 242 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1742.82/1742.83 c 1743s| 2890k|189186 | 41123k| 14.2 | 442M| 73 | - | 200 |1264 | 200 | 266 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1748.12/1748.11 c 1748s| 2900k|189330 | 41238k| 14.2 | 442M| 73 | - | 200 |1264 | 200 | 286 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1753.32/1753.38 c 1753s| 2910k|189520 | 41354k| 14.2 | 443M| 73 | - | 200 |1264 | 200 | 260 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1758.62/1758.64 c 1759s| 2920k|189620 | 41467k| 14.2 | 443M| 73 | 65 | 200 |1264 | 200 | 250 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1763.92/1763.94 c 1764s| 2930k|189816 | 41585k| 14.2 | 444M| 73 | 60 | 200 |1264 | 200 | 267 | 30M| 0 | 31k|-5.833333e+01 |-5.200000e+01 | 10.86%
1769.11/1769.18 c 1769s| 2940k|189954 | 41697k| 14.2 | 445M| 73 | - | 200 |1264 | 200 | 302 | 30M| 0 | 32k|-5.833333e+01 |-5.200000e+01 | 10.86%
1774.52/1774.53 c 1775s| 2950k|190128 | 41816k| 14.2 | 445M| 73 | 18 | 200 |1264 | 200 | 266 | 30M| 0 | 32k|-5.832143e+01 |-5.200000e+01 | 10.84%
1779.82/1779.82 c 1780s| 2960k|190304 | 41930k| 14.2 | 446M| 73 | 46 | 200 |1264 | 200 | 244 | 30M| 0 | 32k|-5.830000e+01 |-5.200000e+01 | 10.81%
1785.02/1785.09 c 1785s| 2970k|190480 | 42046k| 14.2 | 446M| 73 | - | 200 |1264 | 200 | 284 | 30M| 0 | 32k|-5.826667e+01 |-5.200000e+01 | 10.76%
1790.22/1790.26 c 1790s| 2980k|190646 | 42158k| 14.1 | 447M| 73 | - | 200 |1264 | 200 | 274 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1795.42/1795.42 c 1795s| 2990k|190794 | 42269k| 14.1 | 447M| 73 | - | 200 |1264 | 200 | 273 | 31M| 0 | 32k|-5.825000e+01 |-5.200000e+01 | 10.73%
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 2993056
1797.02/1797.00 c Primal Bound : -5.20000000000000e+01 (723 solutions)
1797.02/1797.00 c Dual Bound : -5.82500000000000e+01
1797.02/1797.00 c Gap : 10.73 %
1797.02/1797.00 s SATISFIABLE
1797.02/1797.00 v x200 x199 -x198 -x197 x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 x188 x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 -x178
1797.02/1797.00 v x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 -x163 x162 x161 x160 -x159 x158 -x157 -x156 x155
1797.02/1797.00 v x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 x134
1797.02/1797.00 v -x133 -x132 -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122 -x121 -x120 x119 -x118 -x117 -x116 x115 -x114 -x113 -x112
1797.02/1797.00 v -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89
1797.02/1797.00 v -x88 x87 -x86 x85 -x84 -x83 -x82 -x81 x80 x79 x78 x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62
1797.02/1797.00 v -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 x42 -x41 -x40 -x39 -x38 -x37 -x36
1797.02/1797.00 v x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10
1797.02/1797.00 v -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 0.04 (included in solving)
1797.02/1797.00 c reading : 0.01 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3488607-1307784487.opb
1797.02/1797.00 c Variables : 1464 (1464 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 1664 initial, 1664 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3488607-1307784487.opb
1797.02/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 1264 initial, 1264 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c linear : 0.00 1264 0 0 1264 0 200 0 0 0
1797.02/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.02/1797.00 c root node : - 0 - - 0 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 2595740 0 912277 0 249 1608 0 0 3232894
1797.02/1797.00 c setppc : 1264 35 4969161 978395 2 912273 0 39 13073001 31192717 0 0
1797.02/1797.00 c countsols : 0 0 0 5 2 720 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 42.58 0.00 0.00 42.38 0.00 0.21 0.00
1797.02/1797.00 c setppc : 79.86 0.01 39.40 28.15 0.00 12.30 0.00
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 6 0 0 0
1797.02/1797.00 c pseudoobj : 4970858 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.89 0.89 0.00
1797.02/1797.00 c rootredcost : 0.90 0.90 0.00
1797.02/1797.00 c pseudoobj : 22.98 22.98 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 0.00 39 0 0 0.0 0 0.0 -
1797.02/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 0 0.0 - - -
1797.02/1797.00 c applied locally : - - - 0 0.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.03 34 - - 54 - (maximal pool size: 2629)
1797.02/1797.00 c redcost : 11.81 2821927 0 436944 0 0
1797.02/1797.00 c impliedbounds : 0.00 35 0 0 738 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 0.74 35 0 0 7852 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 0.32 20 0 0 8322 0
1797.02/1797.00 c cmir : 0.03 10 0 0 0 0
1797.02/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.02/1797.00 c clique : 0.04 35 0 0 241 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 41.30 1617345 249 1608 0 0 3232894
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.07 - 5
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c feaspump : 0.07 0 0
1797.02/1797.00 c oneopt : 0.69 7 0
1797.02/1797.00 c crossover : 1.11 17 7
1797.02/1797.00 c fracdiving : 1.93 1741 24
1797.02/1797.00 c veclendiving : 1.84 1741 54
1797.02/1797.00 c pscostdiving : 1.77 1741 52
1797.02/1797.00 c linesearchdiving : 1.86 1741 32
1797.02/1797.00 c guideddiving : 1.98 1741 24
1797.02/1797.00 c objpscostdiving : 0.90 871 22
1797.02/1797.00 c rootsoldiving : 0.90 871 1
1797.02/1797.00 c coefdiving : 1.83 1742 52
1797.02/1797.00 c trivial : 0.00 2 1
1797.02/1797.00 c shiftandpropagate: 0.00 0 0
1797.02/1797.00 c simplerounding : 22.32 1629348 446
1797.02/1797.00 c zirounding : 0.54 1000 0
1797.02/1797.00 c rounding : 5.71 61659 1
1797.02/1797.00 c shifting : 1.83 19260 1
1797.02/1797.00 c intshifting : 0.03 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.01 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.01 1 0
1797.02/1797.00 c subnlp : 0.47 0 0
1797.02/1797.00 c trysol : 0.68 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 34.76 0 0 0.00 0.00
1797.02/1797.00 c dual LP : 1235.84 3992744 42093566 10.54 34060.81
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 8.72 35048 210649 6.01 24169.75
1797.02/1797.00 c strong branching : 19.88 32251 427080 13.24 21484.06
1797.02/1797.00 c (at root node) : - 15 7543 502.87 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 2993056
1797.02/1797.00 c nodes (total) : 2993056
1797.02/1797.00 c nodes left : 190830
1797.02/1797.00 c max depth : 73
1797.02/1797.00 c max depth (total): 73
1797.02/1797.00 c backtracks : 436615 (14.6%)
1797.02/1797.00 c delayed cutoffs : 0
1797.02/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.00 c avg switch length: 5.09
1797.02/1797.00 c switching time : 107.56
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 723 (10 improvements)
1797.02/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.02/1797.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 369534 nodes, 301.01 seconds, depth 32, found by <crossover>)
1797.02/1797.00 c Dual Bound : -5.82500000000000e+01
1797.02/1797.00 c Gap : 10.73 %
1797.02/1797.00 c Root Dual Bound : -7.06801690960276e+01
1797.02/1797.00 c Root Iterations : 6527
1797.82/1797.87 c Time complete: 1797.89.
OK -52
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488607-1307784487/watcher-3488607-1307784487 -o /tmp/evaluation-result-3488607-1307784487/solver-3488607-1307784487 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488607-1307784487.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28091 /proc/meminfo: memFree=30429148/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=11972 CPUtime=0 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 2096 0 0 0 0 0 0 0 24 0 1 0 890048344 12259328 2050 33554432000 4194304 9016284 140733197932144 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/28091/statm: 3007 2059 341 1178 0 1825 0 [startup+0.0911221 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28091 /proc/meminfo: memFree=30429148/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=29884 CPUtime=0.08 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 8789 0 0 0 7 1 0 0 18 0 1 0 890048344 30601216 6289 33554432000 4194304 9016284 140733197932144 18446744073709551615 4447263 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 7471 6328 672 1178 0 6289 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 29884 [startup+0.101117 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28091 /proc/meminfo: memFree=30429148/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=38752 CPUtime=0.09 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 10794 0 0 0 8 1 0 0 18 0 1 0 890048344 39682048 8293 33554432000 4194304 9016284 140733197932144 18446744073709551615 4445284 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 9688 8293 683 1178 0 8506 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38752 [startup+0.301081 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28091 /proc/meminfo: memFree=30429148/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=29564 CPUtime=0.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 11779 0 0 0 28 1 0 0 18 0 1 0 890048344 30273536 6284 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 7391 6284 692 1178 0 6209 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29564 [startup+0.701012 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28091 /proc/meminfo: memFree=30429148/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=37248 CPUtime=0.69 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 13720 0 0 0 66 3 0 0 18 0 1 0 890048344 38141952 8223 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 9312 8223 691 1178 0 8130 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37248 [startup+1.50088 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28092 /proc/meminfo: memFree=30392212/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=46476 CPUtime=1.49 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 16023 0 0 0 143 6 0 0 19 0 1 0 890048344 47591424 10526 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 11619 10526 691 1178 0 10437 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46476 [startup+3.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28092 /proc/meminfo: memFree=30387248/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=46704 CPUtime=3.09 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 17855 0 0 0 292 17 0 0 25 0 1 0 890048344 47824896 10690 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 11676 10690 699 1178 0 10494 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46704 [startup+6.30104 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28092 /proc/meminfo: memFree=30385536/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=48204 CPUtime=6.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 19913 0 0 0 584 45 0 0 25 0 1 0 890048344 49360896 10996 33554432000 4194304 9016284 140733197932144 18446744073709551615 5515040 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 12051 10996 699 1178 0 10869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48204 [startup+12.7009 s] /proc/loadavg: 2.24 2.05 2.02 3/176 28093 /proc/meminfo: memFree=30380876/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=51140 CPUtime=12.69 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 25268 0 0 0 1171 98 0 0 25 0 1 0 890048344 52367360 11777 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 12785 11777 703 1178 0 11603 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51140 [startup+25.5007 s] /proc/loadavg: 2.19 2.05 2.01 3/176 28094 /proc/meminfo: memFree=30369208/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=62384 CPUtime=25.49 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 46576 0 0 0 2333 216 0 0 25 0 1 0 890048344 63881216 14642 33554432000 4194304 9016284 140733197932144 18446744073709551615 4851372 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 15596 14642 703 1178 0 14414 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62384 [startup+51.1003 s] /proc/loadavg: 2.12 2.04 2.01 3/176 28094 /proc/meminfo: memFree=30338812/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=83020 CPUtime=51.09 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 64398 0 0 0 4658 451 0 0 25 0 1 0 890048344 85012480 19845 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 20755 19845 703 1178 0 19573 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 83020 [startup+102.306 s] /proc/loadavg: 2.05 2.03 2.01 3/176 28096 /proc/meminfo: memFree=30294512/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=118408 CPUtime=102.3 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 80413 0 0 0 9302 928 0 0 25 0 1 0 890048344 121249792 28729 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/28091/statm: 29602 28729 703 1178 0 28420 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 118408 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/176 28097 /proc/meminfo: memFree=30245512/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=158204 CPUtime=162.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 93188 0 0 0 14760 1469 0 0 25 0 1 0 890048344 162000896 38720 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 39551 38720 703 1178 0 38369 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 158204 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/176 28098 /proc/meminfo: memFree=30192176/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=199392 CPUtime=222.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 104800 0 0 0 20218 2011 0 0 25 0 1 0 890048344 204177408 48573 33554432000 4194304 9016284 140733197932144 18446744073709551615 4348029 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 49848 48573 703 1178 0 48666 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 199392 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/176 28100 /proc/meminfo: memFree=30151988/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=227912 CPUtime=282.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 112031 0 0 0 25673 2556 0 0 25 0 1 0 890048344 233381888 55804 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 56978 55804 703 1178 0 55796 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 227912 [startup+342.301 s] /proc/loadavg: 2.04 2.02 2.00 3/176 28102 /proc/meminfo: memFree=30129768/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=238536 CPUtime=342.3 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 134575 0 0 0 31148 3082 0 0 25 0 1 0 890048344 244260864 58542 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 59634 58542 703 1178 0 58452 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 238536 [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.00 3/176 28104 /proc/meminfo: memFree=30115872/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=240624 CPUtime=402.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 137842 0 0 0 36611 3618 0 0 25 0 1 0 890048344 246398976 59052 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 60156 59052 703 1178 0 58974 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 240624 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/176 28105 /proc/meminfo: memFree=30101324/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=243980 CPUtime=462.29 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 141424 0 0 0 42079 4150 0 0 25 0 1 0 890048344 249835520 59890 33554432000 4194304 9016284 140733197932144 18446744073709551615 4978137 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 60995 59890 703 1178 0 59813 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 243980 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/176 28106 /proc/meminfo: memFree=30083440/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=250116 CPUtime=522.3 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 142863 0 0 0 47568 4662 0 0 25 0 1 0 890048344 256118784 61329 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 62529 61329 703 1178 0 61347 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 250116 [startup+582.3 s] /proc/loadavg: 2.17 2.05 2.01 3/176 28146 /proc/meminfo: memFree=30257812/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=264772 CPUtime=582.3 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 149294 0 0 0 52938 5292 0 0 25 0 1 0 890048344 271126528 64992 33554432000 4194304 9016284 140733197932144 18446744073709551615 7260849 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 66193 64992 703 1178 0 65011 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 264772 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30103356/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=390684 CPUtime=1122.3 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 182729 0 0 0 100423 11807 0 0 25 0 1 0 890048344 400060416 96674 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 97671 96674 703 1178 0 96489 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 390684 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28162 /proc/meminfo: memFree=30081252/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=401872 CPUtime=1182.31 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 185548 0 0 0 105713 12518 0 0 25 0 1 0 890048344 411516928 99493 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 100468 99493 703 1178 0 99286 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 401872 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28164 /proc/meminfo: memFree=30069444/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=412112 CPUtime=1242.31 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 188121 0 0 0 110989 13242 0 0 25 0 1 0 890048344 422002688 102066 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 103028 102066 703 1178 0 101846 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 412112 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28166 /proc/meminfo: memFree=30067276/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=422608 CPUtime=1302.32 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 192479 0 0 0 116268 13964 0 0 25 0 1 0 890048344 432750592 104702 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 105652 104702 703 1178 0 104470 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 422608 [startup+1362.3 s] /proc/loadavg: 2.06 2.01 2.00 3/176 28167 /proc/meminfo: memFree=30057704/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=429840 CPUtime=1362.31 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 194313 0 0 0 121576 14655 0 0 25 0 1 0 890048344 440156160 106536 33554432000 4194304 9016284 140733197932144 18446744073709551615 6523973 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 107460 106536 703 1178 0 106278 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 429840 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/176 28168 /proc/meminfo: memFree=30048744/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=438480 CPUtime=1422.32 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 196481 0 0 0 126859 15373 0 0 25 0 1 0 890048344 449003520 108704 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 109620 108704 703 1178 0 108438 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 438480 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28170 /proc/meminfo: memFree=30041404/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=445712 CPUtime=1482.32 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 198294 0 0 0 132145 16087 0 0 25 0 1 0 890048344 456409088 110517 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 111428 110517 703 1178 0 110246 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 445712 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28172 /proc/meminfo: memFree=30031424/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=455504 CPUtime=1542.31 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 200752 0 0 0 137442 16789 0 0 25 0 1 0 890048344 466436096 112975 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 113876 112975 703 1178 0 112694 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 455504 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28174 /proc/meminfo: memFree=30026576/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=460240 CPUtime=1602.31 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 201963 0 0 0 142754 17477 0 0 25 0 1 0 890048344 471285760 114186 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 115060 114186 703 1178 0 113878 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 460240 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/176 28175 /proc/meminfo: memFree=30006348/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=467024 CPUtime=1662.31 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 203660 0 0 0 148050 18181 0 0 25 0 1 0 890048344 478232576 115883 33554432000 4194304 9016284 140733197932144 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 116756 115883 703 1178 0 115574 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 467024 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/176 28176 /proc/meminfo: memFree=30012120/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=475152 CPUtime=1722.32 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 205698 0 0 0 153354 18878 0 0 25 0 1 0 890048344 486555648 117921 33554432000 4194304 9016284 140733197932144 18446744073709551615 6816825 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 118788 117921 703 1178 0 117606 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 475152 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30007004/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=479696 CPUtime=1782.32 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 206836 0 0 0 158653 19579 0 0 25 0 1 0 890048344 491208704 119059 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 119924 119059 703 1178 0 118742 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 479696 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006136/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480372 CPUtime=1785.52 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207012 0 0 0 158939 19613 0 0 25 0 1 0 890048344 491900928 119235 33554432000 4194304 9016284 140733197932144 18446744073709551615 7091829 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 120093 119235 703 1178 0 118911 0 Current children cumulated CPU time (s) 1785.52 Current children cumulated vsize (KiB) 480372 [startup+1791.91 s] /proc/loadavg: 2.01 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006132/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480372 CPUtime=1791.92 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207012 0 0 0 159509 19683 0 0 25 0 1 0 890048344 491900928 119235 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 120093 119235 703 1178 0 118911 0 Current children cumulated CPU time (s) 1791.92 Current children cumulated vsize (KiB) 480372 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006004/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480592 CPUtime=1795.12 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207076 0 0 0 159790 19722 0 0 25 0 1 0 890048344 492126208 119299 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 120148 119299 703 1178 0 118966 0 Current children cumulated CPU time (s) 1795.12 Current children cumulated vsize (KiB) 480592 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006004/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480592 CPUtime=1796.72 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207076 0 0 0 159933 19739 0 0 25 0 1 0 890048344 492126208 119299 33554432000 4194304 9016284 140733197932144 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28091/statm: 120148 119299 703 1178 0 118966 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (KiB) 480592 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006004/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480592 CPUtime=1797.52 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207078 0 0 0 160010 19742 0 0 18 0 1 0 890048344 492126208 119301 33554432000 4194304 9016284 140733197932144 18446744073709551615 6817504 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/28091/statm: 120148 119301 705 1178 0 118966 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 480592 [startup+1797.7 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006004/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480592 CPUtime=1797.72 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207078 0 0 0 160030 19742 0 0 18 0 1 0 890048344 492126208 119301 33554432000 4194304 9016284 140733197932144 18446744073709551615 4897739 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/28091/statm: 120148 119301 705 1178 0 118966 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 480592 [startup+1797.8 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28178 /proc/meminfo: memFree=30006004/32951132 swapFree=67054616/67111528 [pid=28091] ppid=28089 vsize=480592 CPUtime=1797.82 cores=1,3,5,7 /proc/28091/stat : 28091 (scip-2.0.1.4b_2) R 28089 28091 24772 0 -1 4202496 207078 0 0 0 160040 19742 0 0 18 0 1 0 890048344 492126208 119301 33554432000 4194304 9016284 140733197932144 18446744073709551615 4329922 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/28091/statm: 120148 119301 705 1178 0 118966 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (KiB) 480592 Child status: 0 Real time (s): 1797.87 CPU time (s): 1797.9 CPU user time (s): 1600.46 CPU system time (s): 197.442 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 480592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1600.46 system time used= 197.442 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 207083 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= 8 involuntary context switches= 3754 runsolver used 2.36364 second user time and 5.81912 second system time The end
Begin job on node131 at 2011-06-11 11:28:07 IDJOB=3488607 IDBENCH=48211 IDSOLVER=1979 FILE ID=node131/3488607-1307784487 RUNJOBID= node131-1307777345-27394 PBS_JOBID= 13550872 Free space on /tmp= 74056 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488607-1307784487/watcher-3488607-1307784487 -o /tmp/evaluation-result-3488607-1307784487/solver-3488607-1307784487 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488607-1307784487.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED=1435775952 node131.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.830 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.830 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 : 5332.75 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.830 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.83 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.830 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.830 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.77 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.830 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.75 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.830 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.75 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.830 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30429824 kB Buffers: 282872 kB Cached: 1692284 kB SwapCached: 9824 kB Active: 798320 kB Inactive: 1474408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30429824 kB SwapTotal: 67111528 kB SwapFree: 67054616 kB Dirty: 16732 kB Writeback: 0 kB AnonPages: 295396 kB Mapped: 15964 kB Slab: 185324 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 490128 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74036 MiB End job on node131 at 2011-06-11 11:58:05