Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPT | 378 | 267.587 | 267.629 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-1109824.opb |
| MD5SUM | 6b78caa911ec8d23c05ac6a0b1089c62 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 378 |
| Best CPU time to get the best result obtained on this benchmark | 84.4462 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1520 |
| Total number of constraints | 28979 |
| Number of constraints which are clauses | 28880 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 76 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 1512 |
| Biggest coefficient in the objective function | 83 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 54080 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 83 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 54080 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691316-1338024365.opb>
0.00/0.07 c original problem has 1520 variables (1520 bin, 0 int, 0 impl, 0 cont) and 28979 constraints
0.00/0.07 c problem read in 0.07
0.09/0.15 c presolving:
0.29/0.36 c (round 1) 0 del vars, 19000 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9903 upgd conss, 1520 impls, 23 clqs
1.28/1.34 c (1.3s) probing: 1000/1520 (65.8%) - 0 fixings, 0 aggregations, 62809 implications, 0 bound changes
1.28/1.34 c (1.3s) probing: 1001/1520 (65.9%) - 0 fixings, 0 aggregations, 62900 implications, 0 bound changes
1.28/1.34 c (1.3s) probing aborted: 1000/1000 successive useless probings
1.28/1.35 c presolving (2 rounds):
1.28/1.35 c 0 deleted vars, 19000 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.28/1.35 c 127320 implications, 23 cliques
1.28/1.35 c presolved problem has 1520 variables (1520 bin, 0 int, 0 impl, 0 cont) and 9979 constraints
1.28/1.35 c 783 constraints of type <setppc>
1.28/1.35 c 76 constraints of type <linear>
1.28/1.35 c 9120 constraints of type <logicor>
1.28/1.35 c transformed objective value is always integral (scale: 1)
1.28/1.35 c Presolving Time: 1.26
1.28/1.35 c - non default parameters ----------------------------------------------------------------------
1.28/1.35 c # SCIP version 2.1.1.4
1.28/1.35 c
1.28/1.35 c # maximal time in seconds to run
1.28/1.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.28/1.35 c limits/time = 1797
1.28/1.35 c
1.28/1.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.28/1.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.28/1.35 c limits/memory = 13950
1.28/1.35 c
1.28/1.35 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.28/1.35 c # [type: int, range: [1,2], default: 1]
1.28/1.35 c timing/clocktype = 2
1.28/1.35 c
1.28/1.35 c # belongs reading time to solving time?
1.28/1.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.28/1.35 c timing/reading = TRUE
1.28/1.35 c
1.28/1.35 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.28/1.35 c # [type: int, range: [-1,2147483647], default: -1]
1.28/1.35 c separating/rapidlearning/freq = 0
1.28/1.35 c
1.28/1.35 c -----------------------------------------------------------------------------------------------
1.28/1.35 c start solving
1.28/1.35 c
1.38/1.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.38/1.41 c 1.4s| 1 | 0 | 122 | - | 29M| 0 | 46 |1520 |9994 |1520 |9979 | 0 | 15 | 0 | 2.780000e+02 | -- | Inf
2.10/2.16 c 2.2s| 1 | 0 | 844 | - | 30M| 0 | 46 |1520 | 11k|1520 | 10k| 23 | 15 | 0 | 2.780000e+02 | -- | Inf
2.19/2.28 c 2.3s| 1 | 0 | 904 | - | 30M| 0 | 75 |1520 | 11k|1520 | 10k| 48 | 15 | 0 | 2.927500e+02 | -- | Inf
2.38/2.47 c 2.5s| 1 | 0 | 961 | - | 31M| 0 | 69 |1520 | 11k|1520 | 10k| 74 | 15 | 0 | 3.097500e+02 | -- | Inf
2.59/2.64 c 2.6s| 1 | 0 | 1010 | - | 32M| 0 | 70 |1520 | 11k|1520 | 10k| 101 | 15 | 0 | 3.245000e+02 | -- | Inf
2.89/2.92 c 2.9s| 1 | 0 | 1056 | - | 33M| 0 | 86 |1520 | 11k|1520 | 10k| 119 | 15 | 0 | 3.340000e+02 | -- | Inf
3.19/3.28 c 3.3s| 1 | 0 | 1150 | - | 36M| 0 | 83 |1520 | 11k|1520 | 10k| 134 | 15 | 0 | 3.441000e+02 | -- | Inf
3.49/3.54 c 3.5s| 1 | 0 | 1178 | - | 38M| 0 | 96 |1520 | 11k|1520 | 10k| 148 | 15 | 0 | 3.460000e+02 | -- | Inf
3.78/3.88 c 3.9s| 1 | 0 | 1221 | - | 41M| 0 | 89 |1520 | 11k|1520 | 10k| 160 | 15 | 0 | 3.460000e+02 | -- | Inf
4.09/4.16 c 4.2s| 1 | 0 | 1281 | - | 41M| 0 | 94 |1520 | 11k|1520 | 10k| 174 | 15 | 0 | 3.460000e+02 | -- | Inf
4.49/4.50 c 4.5s| 1 | 0 | 1314 | - | 43M| 0 | 81 |1520 | 11k|1520 | 10k| 186 | 15 | 0 | 3.460000e+02 | -- | Inf
4.59/4.65 c 4.6s| 1 | 0 | 1358 | - | 43M| 0 | 93 |1520 | 11k|1520 | 10k| 196 | 15 | 0 | 3.460000e+02 | -- | Inf
4.69/4.79 c 4.8s| 1 | 0 | 1369 | - | 43M| 0 | 106 |1520 | 11k|1520 | 10k| 204 | 15 | 0 | 3.460000e+02 | -- | Inf
5.40/5.48 c 5.5s| 1 | 2 | 1369 | - | 43M| 0 | 106 |1520 | 11k|1520 | 10k| 204 | 15 | 10 | 3.460000e+02 | -- | Inf
6.99/7.07 o 508
6.99/7.07 c * 7.1s| 12 | 11 | 1696 | 29.7 | 44M| 11 | - |1520 | 11k|1520 | 10k| 204 | 15 | 124 | 3.460000e+02 | 5.080000e+02 | 46.82%
7.08/7.11 o 496
7.08/7.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.08/7.11 c * 7.1s| 13 | 9 | 1699 | 27.5 | 44M| 11 | - |1520 | 11k|1520 | 10k| 204 | 15 | 130 | 3.460000e+02 | 4.960000e+02 | 43.35%
9.59/9.60 o 400
9.59/9.60 c * 9.6s| 21 | 11 | 2081 | 35.6 | 44M| 11 | - |1520 | 11k|1520 | 10k| 204 | 15 | 246 | 3.460000e+02 | 4.000000e+02 | 15.61%
9.59/9.62 o 394
9.59/9.62 c R 9.6s| 22 | 10 | 2087 | 34.2 | 44M| 11 | 12 |1520 | 11k|1520 | 10k| 204 | 15 | 246 | 3.460000e+02 | 3.940000e+02 | 13.87%
10.78/10.90 o 392
10.78/10.90 c *10.9s| 29 | 12 | 2439 | 38.2 | 43M| 11 | - |1520 | 10k|1520 | 10k| 204 | 15 | 343 | 3.460000e+02 | 3.920000e+02 | 13.29%
17.68/17.79 o 380
17.68/17.79 c *17.8s| 51 | 16 | 3738 | 47.4 | 43M| 14 | - |1520 | 10k|1520 | 10k| 204 | 16 | 741 | 3.460000e+02 | 3.800000e+02 | 9.83%
28.49/28.59 c 28.6s| 100 | 23 | 7012 | 57.0 | 43M| 14 | - |1520 |7603 |1520 | 10k| 204 | 21 |1427 | 3.460000e+02 | 3.800000e+02 | 9.83%
30.28/30.32 o 378
30.28/30.32 c *30.3s| 126 | 30 | 7975 | 52.8 | 43M| 19 | - |1520 |7610 |1520 | 10k| 204 | 28 |1553 | 3.460000e+02 | 3.780000e+02 | 9.25%
33.78/33.81 c 33.8s| 200 | 40 | 10135 | 44.1 | 43M| 24 | 65 |1520 |7194 |1520 | 10k| 204 | 38 |1773 | 3.460000e+02 | 3.780000e+02 | 9.25%
36.88/36.93 c 36.9s| 300 | 60 | 12965 | 38.8 | 43M| 24 | 22 |1520 |7205 |1520 | 10k| 204 | 53 |1932 | 3.480000e+02 | 3.780000e+02 | 8.62%
39.18/39.23 c 39.2s| 400 | 76 | 15318 | 35.0 | 44M| 24 | 30 |1520 |7208 |1520 | 10k| 204 | 66 |2022 | 3.480000e+02 | 3.780000e+02 | 8.62%
40.89/40.96 c 41.0s| 500 | 91 | 17555 | 32.4 | 44M| 24 | 23 |1520 |7217 |1520 | 10k| 204 | 81 |2085 | 3.494000e+02 | 3.780000e+02 | 8.19%
42.38/42.40 c 42.4s| 600 | 107 | 19438 | 30.2 | 44M| 27 | - |1520 |7232 |1520 | 10k| 204 | 113 |2137 | 3.523333e+02 | 3.780000e+02 | 7.28%
43.48/43.59 c 43.6s| 700 | 121 | 21016 | 28.1 | 44M| 27 | - |1520 |7233 |1520 | 10k| 204 | 118 |2175 | 3.523333e+02 | 3.780000e+02 | 7.28%
44.99/45.06 c 45.1s| 800 | 135 | 22847 | 26.9 | 45M| 27 | 21 |1520 |7236 |1520 | 10k| 204 | 135 |2227 | 3.530000e+02 | 3.780000e+02 | 7.08%
46.38/46.48 c 46.5s| 900 | 161 | 24826 | 26.1 | 45M| 27 | 4 |1520 |7246 |1520 | 10k| 204 | 156 |2269 | 3.530000e+02 | 3.780000e+02 | 7.08%
47.98/48.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.98/48.08 c 48.1s| 1000 | 166 | 26935 | 25.6 | 45M| 35 | - |1520 |7256 |1520 | 10k| 204 | 169 |2324 | 3.560345e+02 | 3.780000e+02 | 6.17%
49.49/49.54 c 49.5s| 1100 | 182 | 28920 | 25.1 | 45M| 35 | - |1520 |7281 |1520 | 10k| 204 | 203 |2370 | 3.560345e+02 | 3.780000e+02 | 6.17%
50.78/50.85 c 50.8s| 1200 | 194 | 30930 | 24.7 | 45M| 35 | 27 |1520 |7281 |1520 | 10k| 204 | 218 |2407 | 3.562337e+02 | 3.780000e+02 | 6.11%
52.08/52.14 c 52.1s| 1300 | 208 | 32876 | 24.3 | 46M| 39 | - |1520 |7285 |1520 | 10k| 204 | 235 |2443 | 3.562337e+02 | 3.780000e+02 | 6.11%
53.28/53.31 c 53.3s| 1400 | 224 | 34826 | 23.9 | 46M| 45 | 24 |1520 |7283 |1520 | 10k| 204 | 247 |2474 | 3.562337e+02 | 3.780000e+02 | 6.11%
54.28/54.35 c 54.4s| 1500 | 231 | 36436 | 23.4 | 46M| 45 | - |1520 |7295 |1520 | 10k| 204 | 278 |2504 | 3.562632e+02 | 3.780000e+02 | 6.10%
55.38/55.43 c 55.4s| 1600 | 247 | 38179 | 23.0 | 46M| 45 | 46 |1520 |7297 |1520 | 10k| 204 | 299 |2530 | 3.569263e+02 | 3.780000e+02 | 5.90%
56.58/56.65 c 56.6s| 1700 | 259 | 40053 | 22.8 | 46M| 45 | 10 |1520 |7295 |1520 | 10k| 204 | 307 |2567 | 3.569263e+02 | 3.780000e+02 | 5.90%
57.48/57.59 c 57.6s| 1800 | 269 | 41603 | 22.4 | 46M| 45 | 4 |1520 |7304 |1520 | 10k| 204 | 322 |2583 | 3.569263e+02 | 3.780000e+02 | 5.90%
58.68/58.76 c 58.8s| 1900 | 281 | 43230 | 22.0 | 46M| 45 | 18 |1520 |7311 |1520 | 10k| 204 | 337 |2619 | 3.570000e+02 | 3.780000e+02 | 5.88%
59.78/59.80 c 59.8s| 2000 | 291 | 45222 | 21.9 | 47M| 45 | 54 |1520 |7327 |1520 | 10k| 204 | 370 |2635 | 3.571667e+02 | 3.780000e+02 | 5.83%
60.98/61.08 c 61.1s| 2100 | 305 | 46994 | 21.7 | 47M| 45 | 24 |1520 |7330 |1520 | 10k| 204 | 383 |2677 | 3.575000e+02 | 3.780000e+02 | 5.73%
62.08/62.14 c 62.1s| 2200 | 309 | 48583 | 21.5 | 47M| 45 | - |1520 |7327 |1520 | 10k| 204 | 395 |2712 | 3.575000e+02 | 3.780000e+02 | 5.73%
62.98/63.01 c 63.0s| 2300 | 317 | 50295 | 21.3 | 47M| 45 | 20 |1520 |7319 |1520 | 10k| 204 | 419 |2723 | 3.575000e+02 | 3.780000e+02 | 5.73%
63.78/63.85 c 63.9s| 2400 | 325 | 51766 | 21.0 | 47M| 45 | - |1520 |7313 |1520 | 10k| 204 | 424 |2737 | 3.575000e+02 | 3.780000e+02 | 5.73%
64.58/64.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.58/64.60 c 64.6s| 2500 | 334 | 53280 | 20.8 | 47M| 45 | 25 |1520 |7317 |1520 | 10k| 204 | 445 |2741 | 3.575000e+02 | 3.780000e+02 | 5.73%
65.77/65.90 c 65.9s| 2600 | 352 | 55683 | 20.9 | 47M| 45 | - |1520 |7307 |1520 | 10k| 204 | 455 |2769 | 3.590000e+02 | 3.780000e+02 | 5.29%
67.38/67.42 c 67.4s| 2700 | 380 | 58335 | 21.1 | 48M| 45 | 27 |1520 |7314 |1520 | 10k| 204 | 473 |2803 | 3.590000e+02 | 3.780000e+02 | 5.29%
68.68/68.77 c 68.8s| 2800 | 408 | 61054 | 21.3 | 48M| 45 | - |1520 |7338 |1520 | 10k| 204 | 519 |2815 | 3.596522e+02 | 3.780000e+02 | 5.10%
69.78/69.81 c 69.8s| 2900 | 432 | 63281 | 21.4 | 48M| 45 | - |1520 |7320 |1520 | 10k| 204 | 533 |2823 | 3.602500e+02 | 3.780000e+02 | 4.93%
70.88/70.95 c 71.0s| 3000 | 452 | 65455 | 21.4 | 48M| 45 | 37 |1520 |7320 |1520 | 10k| 204 | 553 |2840 | 3.602500e+02 | 3.780000e+02 | 4.93%
71.98/72.01 c 72.0s| 3100 | 474 | 67549 | 21.4 | 49M| 45 | - |1520 |7320 | 0 | 0 | 204 | 567 |2845 | 3.602500e+02 | 3.780000e+02 | 4.93%
73.18/73.20 c 73.2s| 3200 | 491 | 69883 | 21.4 | 49M| 45 | - |1520 |7346 |1520 | 10k| 204 | 610 |2862 | 3.602500e+02 | 3.780000e+02 | 4.93%
74.58/74.63 c 74.6s| 3300 | 523 | 72037 | 21.4 | 49M| 45 | - |1520 |7336 |1520 | 10k| 204 | 632 |2897 | 3.606667e+02 | 3.780000e+02 | 4.81%
75.89/75.92 c 75.9s| 3400 | 539 | 74025 | 21.4 | 49M| 45 | 35 |1520 |7337 |1520 | 10k| 204 | 654 |2925 | 3.606667e+02 | 3.780000e+02 | 4.81%
77.08/77.19 c 77.2s| 3500 | 559 | 75730 | 21.3 | 50M| 45 | - |1520 |7345 | 0 | 0 | 204 | 676 |2967 | 3.608152e+02 | 3.780000e+02 | 4.76%
78.28/78.33 c 78.3s| 3600 | 577 | 78097 | 21.3 | 50M| 45 | 19 |1520 |7338 |1520 | 10k| 204 | 689 |2979 | 3.610000e+02 | 3.780000e+02 | 4.71%
79.68/79.79 c 79.8s| 3700 | 593 | 81453 | 21.7 | 50M| 45 | 31 |1520 |7328 |1520 | 10k| 204 | 695 |2996 | 3.611667e+02 | 3.780000e+02 | 4.66%
81.28/81.36 c 81.4s| 3800 | 618 | 84282 | 21.8 | 50M| 45 | 23 |1520 |7323 |1520 | 10k| 204 | 708 |3031 | 3.613333e+02 | 3.780000e+02 | 4.61%
82.48/82.58 c 82.6s| 3900 | 640 | 86394 | 21.8 | 51M| 45 | - |1520 |7320 |1520 | 10k| 204 | 718 |3056 | 3.615000e+02 | 3.780000e+02 | 4.56%
83.98/84.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.98/84.02 c 84.0s| 4000 | 658 | 88659 | 21.8 | 51M| 47 | - |1520 |7324 |1520 | 10k| 204 | 736 |3092 | 3.615833e+02 | 3.780000e+02 | 4.54%
85.27/85.36 c 85.4s| 4100 | 672 | 90811 | 21.8 | 51M| 47 | - |1520 |7301 |1520 | 10k| 204 | 749 |3122 | 3.616667e+02 | 3.780000e+02 | 4.52%
86.78/86.88 c 86.9s| 4200 | 697 | 93148 | 21.9 | 51M| 47 | 4 |1520 |7318 |1520 | 10k| 204 | 773 |3160 | 3.619963e+02 | 3.780000e+02 | 4.42%
88.27/88.31 c 88.3s| 4300 | 719 | 95461 | 21.9 | 52M| 47 | 41 |1520 |7311 |1520 | 10k| 204 | 776 |3193 | 3.620000e+02 | 3.780000e+02 | 4.42%
89.57/89.65 c 89.7s| 4400 | 737 | 97806 | 21.9 | 52M| 47 | 4 |1520 |7329 |1520 | 10k| 204 | 804 |3216 | 3.620000e+02 | 3.780000e+02 | 4.42%
90.98/91.00 c 91.0s| 4500 | 747 | 99919 | 21.9 | 52M| 47 | - |1520 |7344 | 0 | 0 | 204 | 832 |3257 | 3.624000e+02 | 3.780000e+02 | 4.30%
92.18/92.29 c 92.3s| 4600 | 759 |102190 | 21.9 | 52M| 47 | - |1520 |7341 |1520 | 10k| 204 | 845 |3283 | 3.625000e+02 | 3.780000e+02 | 4.28%
93.48/93.57 c 93.6s| 4700 | 767 |104324 | 21.9 | 52M| 47 | 23 |1520 |7335 |1520 | 10k| 204 | 860 |3318 | 3.625000e+02 | 3.780000e+02 | 4.28%
94.67/94.71 c 94.7s| 4800 | 795 |106494 | 21.9 | 53M| 47 | 42 |1520 |7342 |1520 | 10k| 204 | 877 |3333 | 3.626667e+02 | 3.780000e+02 | 4.23%
95.88/95.91 c 95.9s| 4900 | 809 |108482 | 21.9 | 53M| 47 | 51 |1520 |7336 |1520 | 10k| 204 | 884 |3364 | 3.626667e+02 | 3.780000e+02 | 4.23%
97.18/97.27 c 97.3s| 5000 | 821 |110575 | 21.8 | 53M| 47 | - |1520 |7341 |1520 | 10k| 204 | 902 |3392 | 3.626667e+02 | 3.780000e+02 | 4.23%
98.47/98.58 c 98.6s| 5100 | 841 |112954 | 21.9 | 53M| 47 | 6 |1520 |7336 |1520 | 10k| 204 | 918 |3416 | 3.626667e+02 | 3.780000e+02 | 4.23%
99.77/99.81 c 99.8s| 5200 | 871 |115318 | 21.9 | 54M| 47 | - |1520 |7328 |1520 | 10k| 204 | 923 |3434 | 3.627241e+02 | 3.780000e+02 | 4.21%
100.77/100.86 c 101s| 5300 | 891 |117333 | 21.9 | 54M| 47 | - |1520 |7335 |1520 | 10k| 204 | 940 |3445 | 3.628571e+02 | 3.780000e+02 | 4.17%
102.18/102.26 c 102s| 5400 | 911 |119882 | 22.0 | 54M| 47 | - |1520 |7329 |1520 | 10k| 204 | 955 |3475 | 3.630000e+02 | 3.780000e+02 | 4.13%
103.67/103.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.67/103.75 c 104s| 5500 | 933 |122689 | 22.1 | 54M| 47 | - |1520 |7335 |1520 | 10k| 204 | 965 |3504 | 3.630000e+02 | 3.780000e+02 | 4.13%
104.97/105.01 c 105s| 5600 | 951 |125146 | 22.1 | 55M| 47 | - |1520 |7335 |1520 | 10k| 204 | 976 |3524 | 3.632143e+02 | 3.780000e+02 | 4.07%
105.97/106.02 c 106s| 5700 | 964 |126867 | 22.0 | 55M| 47 | 6 |1520 |7344 |1520 | 10k| 204 | 993 |3547 | 3.632500e+02 | 3.780000e+02 | 4.06%
106.98/107.00 c 107s| 5800 | 978 |128678 | 22.0 | 55M| 47 | - |1520 |7332 |1520 | 10k| 204 |1002 |3559 | 3.633333e+02 | 3.780000e+02 | 4.04%
107.87/107.95 c 108s| 5900 | 990 |130503 | 21.9 | 55M| 47 | - |1520 |7341 | 0 | 0 | 204 |1016 |3572 | 3.633333e+02 | 3.780000e+02 | 4.04%
109.07/109.14 c 109s| 6000 | 996 |132524 | 21.9 | 55M| 47 | - |1520 |7343 |1520 | 10k| 204 |1026 |3602 | 3.635000e+02 | 3.780000e+02 | 3.99%
110.07/110.18 c 110s| 6100 | 998 |134018 | 21.7 | 55M| 47 | 65 |1520 |7347 |1520 | 10k| 204 |1049 |3628 | 3.635000e+02 | 3.780000e+02 | 3.99%
111.08/111.15 c 111s| 6200 | 1002 |135470 | 21.6 | 55M| 52 | - |1520 |7356 |1520 | 10k| 204 |1074 |3656 | 3.635000e+02 | 3.780000e+02 | 3.99%
111.97/112.02 c 112s| 6300 | 1010 |137169 | 21.6 | 56M| 52 | 40 |1520 |7362 |1520 | 10k| 204 |1092 |3667 | 3.636667e+02 | 3.780000e+02 | 3.94%
112.78/112.89 c 113s| 6400 | 1020 |138845 | 21.5 | 56M| 52 | 25 |1520 |7356 |1520 | 10k| 204 |1107 |3680 | 3.637778e+02 | 3.780000e+02 | 3.91%
113.67/113.74 c 114s| 6500 | 1032 |140507 | 21.4 | 56M| 52 | 56 |1520 |7352 |1520 | 10k| 204 |1118 |3688 | 3.638333e+02 | 3.780000e+02 | 3.89%
114.67/114.77 c 115s| 6600 | 1042 |142116 | 21.3 | 56M| 52 | - |1520 |7361 |1520 | 10k| 204 |1139 |3706 | 3.638333e+02 | 3.780000e+02 | 3.89%
115.77/115.86 c 116s| 6700 | 1042 |143714 | 21.2 | 56M| 52 | 60 |1520 |7345 |1520 | 10k| 204 |1149 |3732 | 3.638333e+02 | 3.780000e+02 | 3.89%
116.88/116.96 c 117s| 6800 | 1060 |145567 | 21.2 | 56M| 52 | - |1520 |7340 |1520 | 10k| 204 |1154 |3758 | 3.638333e+02 | 3.780000e+02 | 3.89%
117.77/117.80 c 118s| 6900 | 1068 |147166 | 21.1 | 56M| 52 | 25 |1520 |7329 |1520 | 10k| 204 |1164 |3766 | 3.638333e+02 | 3.780000e+02 | 3.89%
118.47/118.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.47/118.51 c 119s| 7000 | 1072 |148667 | 21.0 | 56M| 52 | - |1520 |7329 |1520 | 10k| 204 |1174 |3770 | 3.638333e+02 | 3.780000e+02 | 3.89%
119.37/119.42 c 119s| 7100 | 1071 |150353 | 21.0 | 56M| 52 | - |1520 |7342 |1520 | 10k| 204 |1196 |3782 | 3.638750e+02 | 3.780000e+02 | 3.88%
120.17/120.21 c 120s| 7200 | 1075 |151681 | 20.9 | 57M| 52 | - |1520 |7352 |1520 | 10k| 204 |1216 |3797 | 3.638750e+02 | 3.780000e+02 | 3.88%
120.88/121.00 c 121s| 7300 | 1083 |153237 | 20.8 | 57M| 52 | - |1520 |7362 |1520 | 10k| 204 |1241 |3803 | 3.639643e+02 | 3.780000e+02 | 3.86%
121.97/122.10 c 122s| 7400 | 1089 |155559 | 20.8 | 57M| 54 | - |1520 |7358 |1520 | 10k| 204 |1255 |3817 | 3.640000e+02 | 3.780000e+02 | 3.85%
122.97/123.07 c 123s| 7500 | 1098 |156987 | 20.8 | 57M| 59 | 18 |1520 |7358 |1520 | 10k| 204 |1273 |3845 | 3.640000e+02 | 3.780000e+02 | 3.85%
123.87/123.99 c 124s| 7600 | 1110 |159018 | 20.7 | 57M| 59 | 28 |1520 |7362 |1520 | 10k| 204 |1285 |3851 | 3.640000e+02 | 3.780000e+02 | 3.85%
124.87/124.95 c 125s| 7700 | 1118 |160719 | 20.7 | 57M| 59 | - |1520 |7362 |1520 | 10k| 204 |1295 |3868 | 3.640000e+02 | 3.780000e+02 | 3.85%
125.97/126.07 c 126s| 7800 | 1130 |162998 | 20.7 | 57M| 59 | 25 |1520 |7377 |1520 | 10k| 204 |1323 |3879 | 3.640833e+02 | 3.780000e+02 | 3.82%
126.97/127.08 c 127s| 7900 | 1141 |164622 | 20.7 | 57M| 59 | 35 |1520 |7364 |1520 | 10k| 204 |1340 |3896 | 3.640833e+02 | 3.780000e+02 | 3.82%
127.77/127.86 c 128s| 8000 | 1143 |165955 | 20.6 | 57M| 59 | - |1520 |7379 |1520 | 10k| 204 |1374 |3902 | 3.641667e+02 | 3.780000e+02 | 3.80%
128.47/128.54 c 129s| 8100 | 1139 |167350 | 20.5 | 57M| 59 | - |1520 |7368 |1520 | 10k| 204 |1383 |3904 | 3.642500e+02 | 3.780000e+02 | 3.77%
128.96/129.08 c 129s| 8200 | 1133 |168402 | 20.4 | 57M| 59 | 4 |1520 |7373 |1520 | 10k| 204 |1391 |3905 | 3.642500e+02 | 3.780000e+02 | 3.77%
129.78/129.81 c 130s| 8300 | 1127 |169737 | 20.3 | 57M| 59 | 46 |1520 |7373 |1520 | 10k| 204 |1396 |3916 | 3.642500e+02 | 3.780000e+02 | 3.77%
130.47/130.53 c 131s| 8400 | 1121 |171054 | 20.2 | 57M| 59 | 7 |1520 |7377 |1520 | 10k| 204 |1413 |3923 | 3.643000e+02 | 3.780000e+02 | 3.76%
131.07/131.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.07/131.12 c 131s| 8500 | 1109 |172129 | 20.1 | 57M| 59 | - |1520 |7382 |1520 | 10k| 204 |1426 |3925 | 3.643000e+02 | 3.780000e+02 | 3.76%
131.67/131.72 c 132s| 8600 | 1099 |173147 | 20.0 | 57M| 59 | 25 |1520 |7384 |1520 | 10k| 204 |1436 |3929 | 3.643125e+02 | 3.780000e+02 | 3.76%
132.37/132.40 c 132s| 8700 | 1099 |174432 | 19.9 | 57M| 59 | - |1520 |7393 | 0 | 0 | 204 |1462 |3936 | 3.644688e+02 | 3.780000e+02 | 3.71%
132.97/133.03 c 133s| 8800 | 1093 |175425 | 19.8 | 57M| 59 | - |1520 |7410 | 0 | 0 | 204 |1493 |3941 | 3.646364e+02 | 3.780000e+02 | 3.66%
133.87/133.97 c 134s| 8900 | 1103 |177045 | 19.7 | 57M| 59 | 38 |1520 |7424 |1520 | 10k| 204 |1523 |3957 | 3.646364e+02 | 3.780000e+02 | 3.66%
135.07/135.16 c 135s| 9000 | 1104 |178727 | 19.7 | 57M| 59 | 6 |1520 |7419 |1520 | 10k| 204 |1536 |3999 | 3.646875e+02 | 3.780000e+02 | 3.65%
135.77/135.88 c 136s| 9100 | 1089 |179821 | 19.6 | 57M| 59 | 13 |1520 |7394 |1520 | 10k| 204 |1550 |4011 | 3.647955e+02 | 3.780000e+02 | 3.62%
136.47/136.59 c 137s| 9200 | 1085 |181152 | 19.5 | 57M| 59 | - |1520 |7398 |1520 | 10k| 204 |1565 |4013 | 3.648889e+02 | 3.780000e+02 | 3.59%
137.17/137.21 c 137s| 9300 | 1077 |182332 | 19.5 | 57M| 59 | - |1520 |7389 |1520 | 10k| 204 |1576 |4015 | 3.648889e+02 | 3.780000e+02 | 3.59%
137.67/137.75 c 138s| 9400 | 1061 |183276 | 19.4 | 57M| 59 | 32 |1520 |7394 |1520 | 10k| 204 |1590 |4016 | 3.650000e+02 | 3.780000e+02 | 3.56%
138.36/138.43 c 138s| 9500 | 1056 |184535 | 19.3 | 57M| 59 | - |1520 |7394 |1520 | 10k| 204 |1605 |4021 | 3.650000e+02 | 3.780000e+02 | 3.56%
139.07/139.19 c 139s| 9600 | 1050 |185846 | 19.2 | 57M| 59 | - |1520 |7399 |1520 | 10k| 204 |1616 |4036 | 3.652000e+02 | 3.780000e+02 | 3.50%
139.87/139.95 c 140s| 9700 | 1044 |187242 | 19.2 | 57M| 59 | 29 |1520 |7398 |1520 | 10k| 204 |1631 |4043 | 3.652500e+02 | 3.780000e+02 | 3.49%
140.87/140.93 c 141s| 9800 | 1046 |188536 | 19.1 | 57M| 59 | - |1520 |7413 |1520 | 10k| 204 |1654 |4073 | 3.653214e+02 | 3.780000e+02 | 3.47%
141.56/141.68 c 142s| 9900 | 1054 |189854 | 19.0 | 57M| 59 | 10 |1520 |7415 |1520 | 10k| 204 |1677 |4078 | 3.653333e+02 | 3.780000e+02 | 3.47%
142.47/142.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.47/142.53 c 143s| 10000 | 1060 |191340 | 19.0 | 57M| 59 | 4 |1520 |7407 |1520 | 10k| 204 |1683 |4095 | 3.655000e+02 | 3.780000e+02 | 3.42%
143.36/143.46 c 143s| 10100 | 1068 |192899 | 19.0 | 57M| 59 | 4 |1520 |7396 |1520 | 10k| 204 |1693 |4110 | 3.655000e+02 | 3.780000e+02 | 3.42%
144.37/144.45 c 144s| 10200 | 1060 |194292 | 18.9 | 57M| 59 | 52 |1520 |7413 |1520 | 10k| 204 |1718 |4140 | 3.655000e+02 | 3.780000e+02 | 3.42%
145.17/145.26 c 145s| 10300 | 1064 |195879 | 18.9 | 57M| 59 | - |1520 |7410 |1520 | 10k| 204 |1733 |4148 | 3.655000e+02 | 3.780000e+02 | 3.42%
146.07/146.11 c 146s| 10400 | 1061 |197268 | 18.8 | 57M| 59 | - |1520 |7415 |1520 | 10k| 204 |1748 |4171 | 3.656111e+02 | 3.780000e+02 | 3.39%
147.06/147.14 c 147s| 10500 | 1061 |198769 | 18.8 | 57M| 59 | 6 |1520 |7424 |1520 | 10k| 204 |1771 |4202 | 3.656111e+02 | 3.780000e+02 | 3.39%
147.87/147.95 c 148s| 10600 | 1067 |200173 | 18.8 | 57M| 59 | 31 |1520 |7431 |1520 | 10k| 204 |1802 |4215 | 3.656250e+02 | 3.780000e+02 | 3.38%
148.86/148.93 c 149s| 10700 | 1067 |201690 | 18.7 | 57M| 59 | 4 |1520 |7424 |1520 | 10k| 204 |1827 |4242 | 3.656429e+02 | 3.780000e+02 | 3.38%
149.76/149.81 c 150s| 10800 | 1073 |202946 | 18.7 | 57M| 59 | - |1520 |7414 |1520 | 10k| 204 |1836 |4267 | 3.656667e+02 | 3.780000e+02 | 3.37%
150.47/150.60 c 151s| 10900 | 1071 |204191 | 18.6 | 57M| 60 | 6 |1520 |7413 |1520 | 10k| 204 |1856 |4286 | 3.656667e+02 | 3.780000e+02 | 3.37%
151.46/151.52 c 152s| 11000 | 1066 |205344 | 18.5 | 57M| 60 | - |1520 |7420 |1520 | 10k| 204 |1878 |4318 | 3.656800e+02 | 3.780000e+02 | 3.37%
152.37/152.44 c 152s| 11100 | 1070 |206896 | 18.5 | 57M| 60 | - |1520 |7405 |1520 | 10k| 204 |1895 |4335 | 3.657500e+02 | 3.780000e+02 | 3.35%
153.46/153.53 c 154s| 11200 | 1080 |208728 | 18.5 | 57M| 60 | 38 |1520 |7395 |1520 | 10k| 204 |1907 |4361 | 3.657778e+02 | 3.780000e+02 | 3.34%
154.47/154.53 c 155s| 11300 | 1076 |210176 | 18.5 | 57M| 60 | - |1520 |7395 |1520 | 10k| 204 |1919 |4383 | 3.659048e+02 | 3.780000e+02 | 3.31%
155.26/155.34 c 155s| 11400 | 1076 |211367 | 18.4 | 57M| 60 | - |1520 |7393 |1520 | 10k| 204 |1932 |4396 | 3.660000e+02 | 3.780000e+02 | 3.28%
155.97/156.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.97/156.10 c 156s| 11500 | 1070 |212515 | 18.4 | 57M| 60 | 18 |1520 |7386 |1520 | 10k| 204 |1935 |4412 | 3.660000e+02 | 3.780000e+02 | 3.28%
157.07/157.16 c 157s| 11600 | 1072 |214357 | 18.4 | 57M| 60 | - |1520 |7388 |1520 | 10k| 204 |1947 |4433 | 3.660000e+02 | 3.780000e+02 | 3.28%
157.86/157.96 c 158s| 11700 | 1066 |215427 | 18.3 | 57M| 60 | - |1520 |7401 | 0 | 0 | 204 |1963 |4454 | 3.660000e+02 | 3.780000e+02 | 3.28%
158.57/158.67 c 159s| 11800 | 1058 |216374 | 18.2 | 57M| 60 | 6 |1520 |7415 |1520 | 10k| 204 |1984 |4471 | 3.661111e+02 | 3.780000e+02 | 3.25%
159.37/159.48 c 159s| 11900 | 1050 |217651 | 18.2 | 57M| 60 | 44 |1520 |7438 |1520 | 10k| 204 |2020 |4491 | 3.661250e+02 | 3.780000e+02 | 3.24%
160.47/160.57 c 161s| 12000 | 1048 |219375 | 18.2 | 57M| 60 | 4 |1520 |7419 |1520 | 10k| 204 |2032 |4512 | 3.662444e+02 | 3.780000e+02 | 3.21%
161.17/161.30 c 161s| 12100 | 1042 |220516 | 18.1 | 57M| 60 | 19 |1520 |7439 |1520 | 10k| 204 |2066 |4525 | 3.662444e+02 | 3.780000e+02 | 3.21%
161.86/161.97 c 162s| 12200 | 1036 |221477 | 18.0 | 57M| 60 | 6 |1520 |7450 |1520 | 10k| 204 |2091 |4540 | 3.662444e+02 | 3.780000e+02 | 3.21%
162.87/162.91 c 163s| 12300 | 1027 |222835 | 18.0 | 57M| 60 | 33 |1520 |7452 |1520 | 10k| 204 |2121 |4569 | 3.662500e+02 | 3.780000e+02 | 3.21%
163.66/163.74 c 164s| 12400 | 1021 |224062 | 18.0 | 57M| 60 | - |1520 |7456 |1520 | 10k| 204 |2149 |4588 | 3.663333e+02 | 3.780000e+02 | 3.18%
164.76/164.80 c 165s| 12500 | 1026 |225551 | 17.9 | 57M| 60 | - |1520 |7454 |1520 | 10k| 204 |2165 |4617 | 3.663333e+02 | 3.780000e+02 | 3.18%
165.56/165.60 c 166s| 12600 | 1033 |227012 | 17.9 | 57M| 60 | 4 |1520 |7455 |1520 | 10k| 204 |2190 |4627 | 3.665000e+02 | 3.780000e+02 | 3.14%
166.16/166.20 c 166s| 12700 | 1027 |228070 | 17.9 | 57M| 60 | - |1520 |7470 | 0 | 0 | 204 |2212 |4633 | 3.665000e+02 | 3.780000e+02 | 3.14%
166.86/166.92 c 167s| 12800 | 1024 |229307 | 17.8 | 57M| 60 | 45 |1520 |7475 |1520 | 10k| 204 |2236 |4642 | 3.665000e+02 | 3.780000e+02 | 3.14%
167.76/167.80 c 168s| 12900 | 1018 |230676 | 17.8 | 57M| 60 | - |1520 |7462 | 0 | 0 | 204 |2249 |4661 | 3.665000e+02 | 3.780000e+02 | 3.14%
168.56/168.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.56/168.66 c 169s| 13000 | 1016 |231959 | 17.7 | 57M| 60 | 30 |1520 |7475 |1520 | 10k| 204 |2275 |4675 | 3.665000e+02 | 3.780000e+02 | 3.14%
169.46/169.57 c 170s| 13100 | 1022 |233205 | 17.7 | 57M| 60 | - |1520 |7486 | 0 | 0 | 204 |2307 |4698 | 3.665556e+02 | 3.780000e+02 | 3.12%
170.47/170.51 c 171s| 13200 | 1005 |234686 | 17.7 | 57M| 61 | - |1520 |7497 |1520 | 10k| 204 |2341 |4722 | 3.665833e+02 | 3.780000e+02 | 3.11%
171.27/171.37 c 171s| 13300 | 1002 |236368 | 17.7 | 57M| 61 | 42 |1520 |7472 |1520 | 10k| 204 |2357 |4731 | 3.666667e+02 | 3.780000e+02 | 3.09%
172.16/172.21 c 172s| 13400 | 996 |237643 | 17.6 | 57M| 61 | - |1520 |7469 |1520 | 10k| 204 |2377 |4751 | 3.666667e+02 | 3.780000e+02 | 3.09%
173.06/173.12 c 173s| 13500 | 995 |239096 | 17.6 | 57M| 61 | 34 |1520 |7479 |1520 | 10k| 204 |2408 |4769 | 3.666667e+02 | 3.780000e+02 | 3.09%
173.96/174.01 c 174s| 13600 | 997 |240616 | 17.6 | 57M| 61 | - |1520 |7479 | 0 | 0 | 204 |2431 |4784 | 3.666667e+02 | 3.780000e+02 | 3.09%
174.77/174.84 c 175s| 13700 | 993 |242038 | 17.6 | 57M| 61 | - |1520 |7509 |1520 | 10k| 204 |2478 |4796 | 3.667500e+02 | 3.780000e+02 | 3.07%
175.46/175.54 c 176s| 13800 | 990 |243479 | 17.5 | 57M| 61 | - |1520 |7513 |1520 | 10k| 204 |2520 |4798 | 3.668333e+02 | 3.780000e+02 | 3.04%
176.16/176.21 c 176s| 13900 | 992 |244645 | 17.5 | 57M| 61 | 30 |1520 |7510 |1520 | 10k| 204 |2538 |4803 | 3.669000e+02 | 3.780000e+02 | 3.03%
176.97/177.02 c 177s| 14000 | 995 |246070 | 17.5 | 57M| 61 | - |1520 |7523 |1520 | 10k| 204 |2567 |4816 | 3.669000e+02 | 3.780000e+02 | 3.03%
177.56/177.60 c 178s| 14100 | 993 |247116 | 17.4 | 57M| 61 | - |1520 |7526 |1520 | 10k| 204 |2587 |4818 | 3.669167e+02 | 3.780000e+02 | 3.02%
178.26/178.31 c 178s| 14200 | 1004 |248420 | 17.4 | 57M| 61 | - |1520 |7516 |1520 | 10k| 204 |2602 |4824 | 3.669167e+02 | 3.780000e+02 | 3.02%
178.86/178.98 c 179s| 14300 | 1005 |249371 | 17.3 | 57M| 61 | 13 |1520 |7526 |1520 | 10k| 204 |2627 |4836 | 3.669167e+02 | 3.780000e+02 | 3.02%
179.56/179.66 c 180s| 14400 | 1003 |250481 | 17.3 | 57M| 61 | - |1520 |7522 |1520 | 10k| 204 |2648 |4846 | 3.669167e+02 | 3.780000e+02 | 3.02%
180.27/180.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.27/180.38 c 180s| 14500 | 1003 |251958 | 17.3 | 57M| 61 | - |1520 |7512 | 0 | 0 | 204 |2662 |4851 | 3.669487e+02 | 3.780000e+02 | 3.01%
181.06/181.10 c 181s| 14600 | 1007 |253099 | 17.2 | 57M| 61 | 20 |1520 |7503 |1520 | 10k| 204 |2675 |4860 | 3.670000e+02 | 3.780000e+02 | 3.00%
181.76/181.86 c 182s| 14700 | 1007 |254407 | 17.2 | 58M| 61 | 36 |1520 |7506 |1520 | 10k| 204 |2700 |4867 | 3.670000e+02 | 3.780000e+02 | 3.00%
182.36/182.48 c 182s| 14800 | 1002 |255567 | 17.2 | 58M| 61 | - |1520 |7505 |1520 | 10k| 204 |2719 |4868 | 3.670000e+02 | 3.780000e+02 | 3.00%
182.96/183.07 c 183s| 14900 | 1009 |256786 | 17.1 | 58M| 61 | 24 |1520 |7504 |1520 | 10k| 204 |2736 |4869 | 3.670556e+02 | 3.780000e+02 | 2.98%
183.67/183.75 c 184s| 15000 | 1005 |258050 | 17.1 | 58M| 61 | 59 |1520 |7499 |1520 | 10k| 204 |2745 |4873 | 3.670833e+02 | 3.780000e+02 | 2.97%
184.36/184.48 c 184s| 15100 | 999 |259289 | 17.1 | 58M| 61 | - |1520 |7496 |1520 | 10k| 204 |2769 |4883 | 3.670833e+02 | 3.780000e+02 | 2.97%
185.06/185.13 c 185s| 15200 | 998 |260489 | 17.0 | 58M| 61 | 48 |1520 |7497 |1520 | 10k| 204 |2795 |4890 | 3.670833e+02 | 3.780000e+02 | 2.97%
185.77/185.83 c 186s| 15300 | 996 |261538 | 17.0 | 57M| 61 | 45 |1520 |7507 |1520 | 10k| 204 |2822 |4904 | 3.670833e+02 | 3.780000e+02 | 2.97%
186.66/186.75 c 187s| 15400 | 995 |263116 | 17.0 | 58M| 61 | - |1520 |7505 |1520 | 10k| 204 |2851 |4921 | 3.672292e+02 | 3.780000e+02 | 2.93%
187.36/187.44 c 187s| 15500 | 1003 |264327 | 17.0 | 58M| 61 | 37 |1520 |7533 |1520 | 10k| 204 |2895 |4928 | 3.672292e+02 | 3.780000e+02 | 2.93%
188.26/188.30 c 188s| 15600 | 1009 |265811 | 17.0 | 58M| 61 | 67 |1520 |7520 |1520 | 10k| 204 |2916 |4945 | 3.672857e+02 | 3.780000e+02 | 2.92%
189.07/189.12 c 189s| 15700 | 1013 |266991 | 16.9 | 58M| 61 | 4 |1520 |7540 |1520 | 10k| 204 |2960 |4957 | 3.673333e+02 | 3.780000e+02 | 2.90%
189.56/189.66 c 190s| 15800 | 1013 |267843 | 16.9 | 58M| 61 | - |1520 |7556 |1520 | 10k| 204 |2991 |4962 | 3.673333e+02 | 3.780000e+02 | 2.90%
190.27/190.39 c 190s| 15900 | 1003 |269287 | 16.9 | 58M| 61 | - |1520 |7545 |1520 | 10k| 204 |3003 |4967 | 3.673333e+02 | 3.780000e+02 | 2.90%
190.96/191.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.96/191.08 c 191s| 16000 | 999 |270747 | 16.8 | 58M| 61 | - |1520 |7551 |1520 | 10k| 204 |3044 |4971 | 3.673571e+02 | 3.780000e+02 | 2.90%
191.66/191.72 c 192s| 16100 | 991 |271927 | 16.8 | 58M| 61 | - |1520 |7533 |1520 | 10k| 204 |3061 |4977 | 3.675000e+02 | 3.780000e+02 | 2.86%
192.56/192.63 c 193s| 16200 | 991 |273377 | 16.8 | 58M| 61 | 10 |1520 |7518 |1520 | 10k| 204 |3069 |4997 | 3.675000e+02 | 3.780000e+02 | 2.86%
193.25/193.38 c 193s| 16300 | 995 |274737 | 16.8 | 58M| 61 | - |1520 |7527 |1520 | 10k| 204 |3097 |5006 | 3.676667e+02 | 3.780000e+02 | 2.81%
193.96/194.03 c 194s| 16400 | 991 |275744 | 16.7 | 58M| 61 | 56 |1520 |7514 |1520 | 10k| 204 |3104 |5014 | 3.676667e+02 | 3.780000e+02 | 2.81%
194.46/194.60 c 195s| 16500 | 983 |276816 | 16.7 | 58M| 61 | - |1520 |7514 |1520 | 10k| 204 |3126 |5017 | 3.676667e+02 | 3.780000e+02 | 2.81%
195.25/195.40 c 195s| 16600 | 992 |278492 | 16.7 | 58M| 61 | - |1520 |7525 |1520 | 10k| 204 |3148 |5023 | 3.676667e+02 | 3.780000e+02 | 2.81%
195.95/196.03 c 196s| 16700 | 992 |279804 | 16.7 | 58M| 61 | - |1520 |7525 | 0 | 0 | 204 |3171 |5027 | 3.676667e+02 | 3.780000e+02 | 2.81%
196.76/196.81 c 197s| 16800 | 979 |281053 | 16.6 | 58M| 61 | 39 |1520 |7535 |1520 | 10k| 204 |3206 |5045 | 3.676842e+02 | 3.780000e+02 | 2.81%
197.46/197.55 c 198s| 16900 | 981 |282387 | 16.6 | 58M| 61 | 40 |1520 |7527 |1520 | 10k| 204 |3217 |5054 | 3.676875e+02 | 3.780000e+02 | 2.80%
198.16/198.26 c 198s| 17000 | 975 |283687 | 16.6 | 58M| 61 | - |1520 |7519 |1520 | 10k| 204 |3223 |5061 | 3.676923e+02 | 3.780000e+02 | 2.80%
198.85/198.92 c 199s| 17100 | 970 |284769 | 16.6 | 58M| 61 | 53 |1520 |7538 |1520 | 10k| 204 |3259 |5067 | 3.677000e+02 | 3.780000e+02 | 2.80%
199.46/199.53 c 200s| 17200 | 970 |285859 | 16.5 | 58M| 61 | - |1520 |7528 |1520 | 10k| 204 |3263 |5071 | 3.678000e+02 | 3.780000e+02 | 2.77%
200.07/200.18 c 200s| 17300 | 983 |287050 | 16.5 | 58M| 61 | - |1520 |7532 |1520 | 10k| 204 |3284 |5072 | 3.678462e+02 | 3.780000e+02 | 2.76%
200.86/200.91 c 201s| 17400 | 983 |288473 | 16.5 | 58M| 61 | - |1520 |7535 |1520 | 10k| 204 |3302 |5080 | 3.678500e+02 | 3.780000e+02 | 2.76%
201.45/201.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
201.45/201.54 c 202s| 17500 | 989 |289508 | 16.5 | 58M| 61 | - |1520 |7534 |1520 | 10k| 204 |3320 |5085 | 3.679000e+02 | 3.780000e+02 | 2.75%
202.15/202.28 c 202s| 17600 | 991 |290846 | 16.4 | 58M| 61 | 65 |1520 |7547 |1520 | 10k| 204 |3349 |5095 | 3.680000e+02 | 3.780000e+02 | 2.72%
202.95/203.00 c 203s| 17700 | 976 |292032 | 16.4 | 58M| 61 | - |1520 |7560 |1520 | 10k| 204 |3379 |5104 | 3.680000e+02 | 3.780000e+02 | 2.72%
203.46/203.59 c 204s| 17800 | 970 |293237 | 16.4 | 58M| 61 | 48 |1520 |7554 |1520 | 10k| 204 |3396 |5104 | 3.680000e+02 | 3.780000e+02 | 2.72%
204.15/204.20 c 204s| 17900 | 965 |294280 | 16.4 | 58M| 61 | - |1520 |7557 | 0 | 0 | 204 |3414 |5109 | 3.680000e+02 | 3.780000e+02 | 2.72%
204.75/204.89 c 205s| 18000 | 964 |295577 | 16.3 | 58M| 61 | 14 |1520 |7570 |1520 | 10k| 204 |3447 |5113 | 3.680000e+02 | 3.780000e+02 | 2.72%
205.56/205.66 c 206s| 18100 | 952 |296754 | 16.3 | 58M| 61 | 14 |1520 |7586 |1520 | 10k| 204 |3485 |5131 | 3.680769e+02 | 3.780000e+02 | 2.70%
206.36/206.45 c 206s| 18200 | 944 |297863 | 16.3 | 58M| 61 | 20 |1520 |7579 |1520 | 10k| 204 |3501 |5150 | 3.682500e+02 | 3.780000e+02 | 2.65%
206.95/207.07 c 207s| 18300 | 935 |298827 | 16.3 | 58M| 61 | 76 |1520 |7566 |1520 | 10k| 204 |3510 |5158 | 3.682500e+02 | 3.780000e+02 | 2.65%
207.96/208.04 c 208s| 18400 | 926 |300197 | 16.2 | 58M| 61 | 25 |1520 |7554 |1520 | 10k| 204 |3528 |5180 | 3.683125e+02 | 3.780000e+02 | 2.63%
208.56/208.63 c 209s| 18500 | 915 |301059 | 16.2 | 57M| 61 | - |1520 |7559 | 0 | 0 | 204 |3544 |5191 | 3.683333e+02 | 3.780000e+02 | 2.62%
209.46/209.52 c 210s| 18600 | 914 |302601 | 16.2 | 57M| 61 | 16 |1520 |7567 |1520 | 10k| 204 |3581 |5210 | 3.683333e+02 | 3.780000e+02 | 2.62%
210.26/210.39 c 210s| 18700 | 906 |303842 | 16.2 | 57M| 61 | 26 |1520 |7550 |1520 | 10k| 204 |3589 |5236 | 3.684286e+02 | 3.780000e+02 | 2.60%
210.96/211.09 c 211s| 18800 | 904 |305021 | 16.2 | 57M| 61 | 18 |1520 |7545 |1520 | 10k| 204 |3603 |5246 | 3.684789e+02 | 3.780000e+02 | 2.58%
211.76/211.89 c 212s| 18900 | 898 |306092 | 16.1 | 57M| 62 | - |1520 |7550 |1520 | 10k| 204 |3622 |5267 | 3.685000e+02 | 3.780000e+02 | 2.58%
212.56/212.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.56/212.65 c 213s| 19000 | 880 |307183 | 16.1 | 57M| 62 | - |1520 |7549 |1520 | 10k| 204 |3643 |5283 | 3.685000e+02 | 3.780000e+02 | 2.58%
213.26/213.38 c 213s| 19100 | 874 |308304 | 16.1 | 57M| 62 | - |1520 |7558 |1520 | 10k| 204 |3671 |5295 | 3.685000e+02 | 3.780000e+02 | 2.58%
214.25/214.35 c 214s| 19200 | 865 |309752 | 16.1 | 57M| 62 | - |1520 |7570 |1520 | 10k| 204 |3705 |5328 | 3.685000e+02 | 3.780000e+02 | 2.58%
214.95/215.09 c 215s| 19300 | 857 |310976 | 16.0 | 57M| 62 | 43 |1520 |7567 |1520 | 10k| 204 |3722 |5342 | 3.685000e+02 | 3.780000e+02 | 2.58%
215.76/215.81 c 216s| 19400 | 849 |311997 | 16.0 | 57M| 62 | - |1520 |7597 |1520 | 10k| 204 |3766 |5361 | 3.685000e+02 | 3.780000e+02 | 2.58%
216.67/216.70 c 217s| 19500 | 847 |313584 | 16.0 | 57M| 62 | - |1520 |7588 |1520 | 10k| 204 |3793 |5384 | 3.685000e+02 | 3.780000e+02 | 2.58%
217.36/217.46 c 217s| 19600 | 838 |314668 | 16.0 | 57M| 62 | 43 |1520 |7580 |1520 | 10k| 204 |3827 |5398 | 3.685833e+02 | 3.780000e+02 | 2.55%
218.15/218.20 c 218s| 19700 | 826 |315758 | 16.0 | 57M| 62 | - |1520 |7597 | 0 | 0 | 204 |3866 |5417 | 3.685833e+02 | 3.780000e+02 | 2.55%
218.86/218.95 c 219s| 19800 | 825 |317014 | 15.9 | 57M| 62 | 6 |1520 |7580 |1520 | 10k| 204 |3883 |5433 | 3.686667e+02 | 3.780000e+02 | 2.53%
219.66/219.74 c 220s| 19900 | 817 |318095 | 15.9 | 56M| 62 | 32 |1520 |7589 |1520 | 10k| 204 |3907 |5455 | 3.686667e+02 | 3.780000e+02 | 2.53%
220.46/220.55 c 221s| 20000 | 806 |319217 | 15.9 | 56M| 62 | 25 |1520 |7592 |1520 | 10k| 204 |3942 |5476 | 3.687000e+02 | 3.780000e+02 | 2.52%
221.16/221.27 c 221s| 20100 | 796 |320356 | 15.9 | 56M| 62 | - |1520 |7588 |1520 | 10k| 204 |3956 |5489 | 3.687143e+02 | 3.780000e+02 | 2.52%
221.75/221.87 c 222s| 20200 | 786 |321305 | 15.8 | 56M| 62 | - |1520 |7572 |1520 | 10k| 204 |3961 |5498 | 3.687500e+02 | 3.780000e+02 | 2.51%
222.66/222.71 c 223s| 20300 | 777 |322496 | 15.8 | 56M| 62 | 40 |1520 |7570 |1520 | 10k| 204 |3977 |5518 | 3.688333e+02 | 3.780000e+02 | 2.49%
223.46/223.50 c 223s| 20400 | 770 |323727 | 15.8 | 56M| 62 | - |1520 |7582 |1520 | 10k| 204 |4007 |5533 | 3.688387e+02 | 3.780000e+02 | 2.48%
224.15/224.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.15/224.28 c 224s| 20500 | 764 |324796 | 15.8 | 56M| 62 | 33 |1520 |7590 |1520 | 10k| 204 |4027 |5553 | 3.688824e+02 | 3.780000e+02 | 2.47%
224.96/225.09 c 225s| 20600 | 763 |325918 | 15.8 | 56M| 62 | 6 |1520 |7593 |1520 | 10k| 204 |4052 |5573 | 3.690000e+02 | 3.780000e+02 | 2.44%
225.85/225.91 c 226s| 20700 | 746 |327133 | 15.7 | 56M| 62 | - |1520 |7604 |1520 | 10k| 204 |4081 |5590 | 3.690000e+02 | 3.780000e+02 | 2.44%
226.56/226.69 c 227s| 20800 | 742 |328181 | 15.7 | 56M| 62 | 4 |1520 |7607 |1520 | 10k| 204 |4101 |5613 | 3.690000e+02 | 3.780000e+02 | 2.44%
227.25/227.36 c 227s| 20900 | 732 |329164 | 15.7 | 56M| 62 | 39 |1520 |7607 |1520 | 10k| 204 |4122 |5626 | 3.690465e+02 | 3.780000e+02 | 2.43%
227.85/227.90 c 228s| 21000 | 731 |330087 | 15.7 | 56M| 63 | 6 |1520 |7610 |1520 | 10k| 204 |4141 |5630 | 3.691667e+02 | 3.780000e+02 | 2.39%
228.66/228.79 c 229s| 21100 | 715 |331200 | 15.6 | 55M| 63 | - |1520 |7600 |1520 | 10k| 204 |4154 |5656 | 3.691667e+02 | 3.780000e+02 | 2.39%
229.66/229.74 c 230s| 21200 | 702 |332658 | 15.6 | 55M| 63 | 18 |1520 |7604 |1520 | 10k| 204 |4186 |5678 | 3.692115e+02 | 3.780000e+02 | 2.38%
230.46/230.58 c 231s| 21300 | 696 |334086 | 15.6 | 55M| 63 | - |1520 |7597 |1520 | 10k| 204 |4205 |5698 | 3.692500e+02 | 3.780000e+02 | 2.37%
231.26/231.39 c 231s| 21400 | 689 |335366 | 15.6 | 55M| 63 | 15 |1520 |7607 |1520 | 10k| 204 |4233 |5712 | 3.692500e+02 | 3.780000e+02 | 2.37%
231.96/232.05 c 232s| 21500 | 680 |336289 | 15.6 | 55M| 63 | 10 |1520 |7634 |1520 | 10k| 204 |4282 |5725 | 3.692778e+02 | 3.780000e+02 | 2.36%
232.76/232.81 c 233s| 21600 | 668 |337426 | 15.6 | 55M| 63 | 36 |1520 |7624 |1520 | 10k| 204 |4308 |5740 | 3.693333e+02 | 3.780000e+02 | 2.35%
233.66/233.71 c 234s| 21700 | 664 |338922 | 15.6 | 55M| 63 | 20 |1520 |7651 |1520 | 10k| 204 |4358 |5753 | 3.693750e+02 | 3.780000e+02 | 2.34%
234.36/234.42 c 234s| 21800 | 656 |339961 | 15.5 | 55M| 63 | 37 |1520 |7636 |1520 | 10k| 204 |4367 |5773 | 3.693750e+02 | 3.780000e+02 | 2.34%
234.85/234.93 c 235s| 21900 | 652 |340941 | 15.5 | 54M| 63 | 26 |1520 |7630 |1520 | 10k| 204 |4378 |5773 | 3.693750e+02 | 3.780000e+02 | 2.34%
235.55/235.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.55/235.64 c 236s| 22000 | 641 |341877 | 15.5 | 54M| 63 | - |1520 |7641 |1520 | 10k| 204 |4422 |5790 | 3.694510e+02 | 3.780000e+02 | 2.31%
236.15/236.28 c 236s| 22100 | 632 |342893 | 15.5 | 54M| 63 | 21 |1520 |7625 |1520 | 10k| 204 |4445 |5795 | 3.695000e+02 | 3.780000e+02 | 2.30%
236.95/237.02 c 237s| 22200 | 627 |344034 | 15.4 | 54M| 63 | 21 |1520 |7626 |1520 | 10k| 204 |4463 |5804 | 3.695000e+02 | 3.780000e+02 | 2.30%
237.56/237.63 c 238s| 22300 | 617 |345042 | 15.4 | 54M| 63 | - |1520 |7619 |1520 | 10k| 204 |4490 |5811 | 3.695000e+02 | 3.780000e+02 | 2.30%
238.15/238.27 c 238s| 22400 | 615 |346273 | 15.4 | 54M| 63 | 18 |1520 |7617 |1520 | 10k| 204 |4520 |5818 | 3.695833e+02 | 3.780000e+02 | 2.28%
238.85/238.95 c 239s| 22500 | 603 |347294 | 15.4 | 54M| 63 | - |1520 |7622 |1520 | 10k| 204 |4546 |5829 | 3.696667e+02 | 3.780000e+02 | 2.25%
239.45/239.55 c 240s| 22600 | 584 |348241 | 15.3 | 54M| 63 | - |1520 |7606 |1520 | 10k| 204 |4557 |5835 | 3.697500e+02 | 3.780000e+02 | 2.23%
240.15/240.20 c 240s| 22700 | 572 |349299 | 15.3 | 53M| 63 | 41 |1520 |7620 |1520 | 10k| 204 |4589 |5844 | 3.698000e+02 | 3.780000e+02 | 2.22%
240.76/240.82 c 241s| 22800 | 565 |350237 | 15.3 | 53M| 63 | - |1520 |7631 |1520 | 10k| 204 |4610 |5852 | 3.698333e+02 | 3.780000e+02 | 2.21%
241.45/241.51 c 242s| 22900 | 562 |351508 | 15.3 | 53M| 63 | - |1520 |7623 |1520 | 10k| 204 |4619 |5862 | 3.700000e+02 | 3.780000e+02 | 2.16%
242.36/242.44 c 242s| 23000 | 548 |352643 | 15.3 | 53M| 63 | 26 |1520 |7644 |1520 | 10k| 204 |4660 |5891 | 3.700000e+02 | 3.780000e+02 | 2.16%
243.06/243.12 c 243s| 23100 | 536 |353733 | 15.3 | 53M| 63 | - |1520 |7648 |1520 | 10k| 204 |4681 |5901 | 3.700000e+02 | 3.780000e+02 | 2.16%
243.65/243.74 c 244s| 23200 | 530 |354832 | 15.2 | 53M| 63 | 29 |1520 |7655 |1520 | 10k| 204 |4713 |5906 | 3.700577e+02 | 3.780000e+02 | 2.15%
244.26/244.34 c 244s| 23300 | 506 |355613 | 15.2 | 53M| 63 | 6 |1520 |7656 |1520 | 10k| 204 |4738 |5914 | 3.700588e+02 | 3.780000e+02 | 2.15%
245.05/245.12 c 245s| 23400 | 495 |356718 | 15.2 | 52M| 63 | - |1520 |7661 |1520 | 10k| 204 |4780 |5931 | 3.701429e+02 | 3.780000e+02 | 2.12%
245.75/245.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.75/245.83 c 246s| 23500 | 486 |357773 | 15.2 | 52M| 63 | - |1520 |7660 |1520 | 10k| 204 |4805 |5947 | 3.701667e+02 | 3.780000e+02 | 2.12%
246.75/246.81 c 247s| 23600 | 476 |359132 | 15.2 | 52M| 63 | 38 |1520 |7648 |1520 | 10k| 204 |4816 |5971 | 3.702000e+02 | 3.780000e+02 | 2.11%
247.25/247.33 c 247s| 23700 | 469 |360000 | 15.1 | 52M| 63 | - |1520 |7660 |1520 | 10k| 204 |4846 |5974 | 3.702500e+02 | 3.780000e+02 | 2.09%
247.85/247.97 c 248s| 23800 | 457 |360979 | 15.1 | 52M| 63 | 28 |1520 |7652 |1520 | 10k| 204 |4863 |5985 | 3.703362e+02 | 3.780000e+02 | 2.07%
248.45/248.56 c 249s| 23900 | 445 |362024 | 15.1 | 52M| 63 | - |1520 |7659 |1520 | 10k| 204 |4887 |5987 | 3.704200e+02 | 3.780000e+02 | 2.05%
249.25/249.32 c 249s| 24000 | 435 |363227 | 15.1 | 52M| 63 | - |1520 |7667 |1520 | 10k| 204 |4909 |5999 | 3.704900e+02 | 3.780000e+02 | 2.03%
249.75/249.83 c 250s| 24100 | 437 |364216 | 15.1 | 52M| 63 | 12 |1520 |7666 |1520 | 10k| 204 |4921 |6000 | 3.705000e+02 | 3.780000e+02 | 2.02%
250.25/250.32 c 250s| 24200 | 424 |365080 | 15.0 | 51M| 63 | - |1520 |7661 |1520 | 10k| 204 |4942 |6001 | 3.705000e+02 | 3.780000e+02 | 2.02%
250.95/251.05 c 251s| 24300 | 406 |366139 | 15.0 | 51M| 63 | - |1520 |7657 |1520 | 10k| 204 |4960 |6015 | 3.705000e+02 | 3.780000e+02 | 2.02%
251.65/251.79 c 252s| 24400 | 392 |367435 | 15.0 | 51M| 63 | - |1520 |7645 | 0 | 0 | 204 |4971 |6020 | 3.705139e+02 | 3.780000e+02 | 2.02%
252.25/252.39 c 252s| 24500 | 382 |368320 | 15.0 | 51M| 63 | - |1520 |7680 |1520 | 10k| 204 |5014 |6031 | 3.707500e+02 | 3.780000e+02 | 1.96%
252.86/252.99 c 253s| 24600 | 358 |369239 | 15.0 | 51M| 63 | 47 |1520 |7677 |1520 | 10k| 204 |5029 |6037 | 3.708333e+02 | 3.780000e+02 | 1.93%
253.55/253.64 c 254s| 24700 | 350 |370162 | 14.9 | 50M| 63 | - |1520 |7690 | 0 | 0 | 204 |5079 |6045 | 3.708750e+02 | 3.780000e+02 | 1.92%
254.06/254.15 c 254s| 24800 | 338 |370814 | 14.9 | 50M| 63 | 38 |1520 |7689 |1520 | 10k| 204 |5099 |6053 | 3.708750e+02 | 3.780000e+02 | 1.92%
254.65/254.74 c 255s| 24900 | 332 |371714 | 14.9 | 50M| 63 | 16 |1520 |7682 |1520 | 10k| 204 |5109 |6063 | 3.710000e+02 | 3.780000e+02 | 1.89%
255.35/255.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.35/255.44 c 255s| 25000 | 318 |372836 | 14.9 | 50M| 63 | - |1520 |7705 |1520 | 10k| 204 |5152 |6072 | 3.710000e+02 | 3.780000e+02 | 1.89%
256.05/256.10 c 256s| 25100 | 304 |373818 | 14.8 | 50M| 63 | 6 |1520 |7696 |1520 | 10k| 204 |5192 |6080 | 3.710000e+02 | 3.780000e+02 | 1.89%
256.45/256.59 c 257s| 25200 | 291 |374692 | 14.8 | 49M| 63 | - |1520 |7691 |1520 | 10k| 204 |5197 |6083 | 3.710000e+02 | 3.780000e+02 | 1.89%
257.05/257.14 c 257s| 25300 | 286 |375655 | 14.8 | 49M| 63 | 26 |1520 |7683 |1520 | 10k| 204 |5215 |6086 | 3.710000e+02 | 3.780000e+02 | 1.89%
257.55/257.69 c 258s| 25400 | 276 |376484 | 14.8 | 49M| 63 | 43 |1520 |7681 |1520 | 10k| 204 |5236 |6094 | 3.710000e+02 | 3.780000e+02 | 1.89%
258.15/258.21 c 258s| 25500 | 260 |377289 | 14.7 | 49M| 63 | - |1520 |7683 |1520 | 10k| 204 |5255 |6098 | 3.711250e+02 | 3.780000e+02 | 1.85%
258.65/258.72 c 259s| 25600 | 244 |378019 | 14.7 | 49M| 63 | - |1520 |7690 |1520 | 10k| 204 |5278 |6100 | 3.712500e+02 | 3.780000e+02 | 1.82%
259.25/259.33 c 259s| 25700 | 233 |378964 | 14.7 | 48M| 63 | - |1520 |7693 |1520 | 10k| 204 |5309 |6106 | 3.712500e+02 | 3.780000e+02 | 1.82%
259.85/259.98 c 260s| 25800 | 223 |379667 | 14.7 | 48M| 63 | 6 |1520 |7699 |1520 | 10k| 204 |5322 |6113 | 3.712500e+02 | 3.780000e+02 | 1.82%
260.45/260.59 c 261s| 25900 | 210 |380519 | 14.6 | 48M| 63 | 28 |1520 |7700 |1520 | 10k| 204 |5346 |6125 | 3.715000e+02 | 3.780000e+02 | 1.75%
261.05/261.14 c 261s| 26000 | 205 |381318 | 14.6 | 48M| 63 | 48 |1520 |7697 |1520 | 10k| 204 |5369 |6130 | 3.715000e+02 | 3.780000e+02 | 1.75%
261.66/261.75 c 262s| 26100 | 178 |382204 | 14.6 | 47M| 63 | - |1520 |7688 |1520 | 10k| 204 |5388 |6138 | 3.715000e+02 | 3.780000e+02 | 1.75%
262.25/262.35 c 262s| 26200 | 169 |383148 | 14.6 | 47M| 63 | - |1520 |7688 |1520 | 10k| 204 |5407 |6143 | 3.716000e+02 | 3.780000e+02 | 1.72%
262.86/262.94 c 263s| 26300 | 161 |384224 | 14.6 | 47M| 63 | - |1520 |7704 |1520 | 10k| 204 |5448 |6146 | 3.716667e+02 | 3.780000e+02 | 1.70%
263.45/263.50 c 264s| 26400 | 147 |385033 | 14.5 | 47M| 63 | - |1520 |7696 |1520 | 10k| 204 |5467 |6153 | 3.717500e+02 | 3.780000e+02 | 1.68%
263.96/264.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.96/264.04 c 264s| 26500 | 131 |385708 | 14.5 | 46M| 63 | 39 |1520 |7707 |1520 | 10k| 204 |5490 |6158 | 3.720000e+02 | 3.780000e+02 | 1.61%
264.64/264.70 c 265s| 26600 | 119 |386636 | 14.5 | 46M| 63 | - |1520 |7712 |1520 | 10k| 204 |5513 |6168 | 3.721500e+02 | 3.780000e+02 | 1.57%
265.15/265.23 c 265s| 26700 | 106 |387376 | 14.5 | 46M| 63 | - |1520 |7708 |1520 | 10k| 204 |5544 |6171 | 3.723125e+02 | 3.780000e+02 | 1.53%
265.75/265.82 c 266s| 26800 | 78 |388317 | 14.4 | 45M| 63 | 12 |1520 |7711 |1520 | 10k| 204 |5579 |6176 | 3.725000e+02 | 3.780000e+02 | 1.48%
266.25/266.35 c 266s| 26900 | 59 |389013 | 14.4 | 45M| 63 | - |1520 |7724 |1520 | 10k| 204 |5617 |6182 | 3.725000e+02 | 3.780000e+02 | 1.48%
266.75/266.83 c 267s| 27000 | 44 |389795 | 14.4 | 45M| 63 | 33 |1520 |7740 |1520 | 10k| 204 |5663 |6182 | 3.733333e+02 | 3.780000e+02 | 1.25%
267.26/267.36 c 267s| 27100 | 15 |390575 | 14.4 | 43M| 63 | - |1520 |7741 | 0 | 0 | 204 |5693 |6186 | 3.741250e+02 | 3.780000e+02 | 1.04%
267.45/267.57 c
267.45/267.57 c SCIP Status : problem is solved [optimal solution found]
267.45/267.57 c Solving Time (sec) : 267.57
267.45/267.57 c Solving Nodes : 27151
267.45/267.57 c Primal Bound : +3.78000000000000e+02 (37 solutions)
267.45/267.57 c Dual Bound : +3.78000000000000e+02
267.45/267.57 c Gap : 0.00 %
267.45/267.58 s OPTIMUM FOUND
267.45/267.58 v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
267.45/267.58 v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
267.45/267.58 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466
267.45/267.58 v x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448
267.45/267.58 v -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430
267.45/267.58 v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412
267.45/267.58 v -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 x1395 -x1394
267.45/267.58 v -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377
267.45/267.58 v -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359
267.45/267.58 v -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341
267.45/267.58 v -x1340 -x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 x1324 -x1323
267.45/267.58 v -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305
267.45/267.58 v -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287
267.45/267.58 v -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269
267.45/267.58 v -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251
267.45/267.58 v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233
267.45/267.58 v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215
267.45/267.58 v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197
267.45/267.58 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179
267.45/267.58 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162
267.45/267.58 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144
267.45/267.58 v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126
267.45/267.58 v -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108
267.45/267.58 v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090
267.45/267.58 v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
267.45/267.58 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
267.45/267.58 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036
267.45/267.58 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
267.45/267.58 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
267.45/267.58 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
267.45/267.58 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
267.45/267.58 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
267.45/267.58 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
267.45/267.58 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
267.45/267.58 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876
267.45/267.58 v -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855
267.45/267.58 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834
267.45/267.58 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
267.45/267.58 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
267.45/267.58 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
267.45/267.58 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750
267.45/267.58 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
267.45/267.58 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709
267.45/267.58 v -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688
267.45/267.58 v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667
267.45/267.58 v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646
267.45/267.58 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
267.45/267.58 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
267.45/267.58 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
267.45/267.58 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563
267.45/267.58 v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542
267.45/267.58 v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521
267.45/267.58 v -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500
267.45/267.58 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
267.45/267.58 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
267.45/267.58 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437
267.45/267.58 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
267.45/267.58 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
267.45/267.58 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
267.45/267.58 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
267.45/267.58 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
267.45/267.58 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
267.45/267.58 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
267.45/267.58 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
267.45/267.58 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
267.45/267.58 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
267.45/267.58 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
267.45/267.58 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
267.45/267.58 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
267.45/267.58 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
267.45/267.58 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
267.45/267.58 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
267.45/267.58 v -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
267.45/267.58 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
267.45/267.58 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
267.45/267.58 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
267.45/267.58 v -x2 -x1
267.45/267.58 c SCIP Status : problem is solved [optimal solution found]
267.45/267.58 c Total Time : 267.57
267.45/267.58 c solving : 267.57
267.45/267.58 c presolving : 1.26 (included in solving)
267.45/267.58 c reading : 0.07 (included in solving)
267.45/267.58 c copying : 0.18 (9 #copies) (minimal 0.02, maximal 0.03, average 0.02)
267.45/267.58 c Original Problem :
267.45/267.58 c Problem name : HOME/instance-3691316-1338024365.opb
267.45/267.58 c Variables : 1520 (1520 binary, 0 integer, 0 implicit integer, 0 continuous)
267.45/267.58 c Constraints : 28979 initial, 28979 maximal
267.45/267.58 c Objective sense : minimize
267.45/267.58 c Presolved Problem :
267.45/267.58 c Problem name : t_HOME/instance-3691316-1338024365.opb
267.45/267.58 c Variables : 1520 (1520 binary, 0 integer, 0 implicit integer, 0 continuous)
267.45/267.58 c Constraints : 9979 initial, 11230 maximal
267.45/267.58 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
267.45/267.58 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c probing : 0.95 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c linear : 0.17 0.00 0 0 0 0 0 19000 0 0 0
267.45/267.58 c logicor : 0.05 0.00 0 0 0 0 0 0 0 0 0
267.45/267.58 c root node : - - 347 - - 347 - - - - -
267.45/267.58 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
267.45/267.58 c integral : 0 0 0 0 16334 0 37 0 469 3089 0 0 27286
267.45/267.58 c setppc : 783 783 12 81895 6 0 34 80258 320 256277 0 0 0
267.45/267.58 c linear : 76+ 1312 13 81575 6 0 31 29729 1172 283791 1 0 0
267.45/267.58 c logicor : 9120+ 9135 12 46252 6 0 31 4360 1000 54557 0 0 0
267.45/267.58 c countsols : 0 0 0 0 6 0 33 0 0 0 0 0 0
267.45/267.58 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
267.45/267.58 c integral : 62.57 0.00 0.00 0.00 62.57 0.00 0.00 0.00
267.45/267.58 c setppc : 1.35 0.00 0.00 1.24 0.00 0.00 0.00 0.11
267.45/267.58 c linear : 2.96 0.00 0.04 2.81 0.00 0.00 0.00 0.11
267.45/267.58 c logicor : 2.59 0.00 0.00 2.53 0.00 0.00 0.03 0.02
267.45/267.58 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
267.45/267.58 c Propagators : #Propagate #ResProp Cutoffs DomReds
267.45/267.58 c rootredcost : 7 0 0 295
267.45/267.58 c pseudoobj : 95307 38 2 93
267.45/267.58 c vbounds : 0 0 0 0
267.45/267.58 c redcost : 27303 0 0 489880
267.45/267.58 c probing : 0 0 0 0
267.45/267.58 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
267.45/267.58 c rootredcost : 0.09 0.00 0.00 0.09 0.00
267.45/267.58 c pseudoobj : 0.23 0.00 0.00 0.23 0.00
267.45/267.58 c vbounds : 0.07 0.00 0.00 0.07 0.00
267.45/267.58 c redcost : 2.27 0.00 0.00 2.27 0.00
267.45/267.58 c probing : 0.95 0.00 0.95 0.00 0.00
267.45/267.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
267.45/267.58 c propagation : 0.52 2483 2396 7140 131.5 751 30.4 -
267.45/267.58 c infeasible LP : 0.21 256 213 998 195.1 31 34.2 0
267.45/267.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
267.45/267.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
267.45/267.58 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
267.45/267.58 c applied globally : - - - 5349 53.3 - - -
267.45/267.58 c applied locally : - - - 365 235.4 - - -
267.45/267.58 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
267.45/267.58 c cut pool : 0.01 11 - - 54 - (maximal pool size: 945)
267.45/267.58 c closecuts : 0.00 0.00 0 0 0 0 0
267.45/267.58 c impliedbounds : 0.00 0.00 12 0 0 0 0
267.45/267.58 c intobj : 0.00 0.00 0 0 0 0 0
267.45/267.58 c gomory : 0.17 0.00 10 0 0 500 0
267.45/267.58 c cgmip : 0.00 0.00 0 0 0 0 0
267.45/267.58 c strongcg : 1.76 0.00 12 0 0 4954 0
267.45/267.58 c cmir : 0.15 0.00 10 0 0 0 0
267.45/267.58 c flowcover : 0.29 0.00 10 0 0 2 0
267.45/267.58 c clique : 0.08 0.00 12 0 0 76 0
267.45/267.58 c zerohalf : 0.00 0.00 0 0 0 0 0
267.45/267.58 c mcf : 0.00 0.00 1 0 0 0 0
267.45/267.58 c oddcycle : 0.00 0.00 0 0 0 0 0
267.45/267.58 c rapidlearning : 0.43 0.00 1 0 0 0 1236
267.45/267.58 c Pricers : ExecTime SetupTime Calls Vars
267.45/267.58 c problem variables: 0.00 - 0 0
267.45/267.58 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
267.45/267.58 c relpscost : 62.50 0.00 16328 469 3089 0 0 27286
267.45/267.58 c pscost : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c inference : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c mostinf : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c leastinf : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c fullstrong : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c random : 0.00 0.00 0 0 0 0 0 0
267.45/267.58 c Primal Heuristics : ExecTime SetupTime Calls Found
267.45/267.58 c LP solutions : 0.00 - - 6
267.45/267.58 c pseudo solutions : 0.00 - - 0
267.45/267.58 c oneopt : 0.04 0.00 7 0
267.45/267.58 c feaspump : 0.14 0.00 1 0
267.45/267.58 c crossover : 0.58 0.00 6 0
267.45/267.58 c pscostdiving : 1.45 0.00 61 0
267.45/267.58 c fracdiving : 1.75 0.00 61 0
267.45/267.58 c veclendiving : 1.11 0.00 61 0
267.45/267.58 c linesearchdiving : 0.97 0.00 61 0
267.45/267.58 c guideddiving : 2.00 0.00 61 0
267.45/267.58 c objpscostdiving : 1.57 0.00 31 5
267.45/267.58 c rootsoldiving : 1.99 0.00 31 1
267.45/267.58 c coefdiving : 1.05 0.00 62 0
267.45/267.58 c smallcard : 0.00 0.00 0 0
267.45/267.58 c trivial : 0.00 0.00 2 0
267.45/267.58 c shiftandpropagate: 0.03 0.00 1 0
267.45/267.58 c simplerounding : 0.05 0.00 0 0
267.45/267.58 c zirounding : 0.62 0.00 0 0
267.45/267.58 c rounding : 2.03 0.00 5603 1
267.45/267.58 c shifting : 1.57 0.00 1604 24
267.45/267.58 c intshifting : 0.00 0.00 0 0
267.45/267.58 c twoopt : 0.00 0.00 0 0
267.45/267.58 c indtwoopt : 0.00 0.00 0 0
267.45/267.58 c indoneopt : 0.07 0.00 0 0
267.45/267.58 c fixandinfer : 0.00 0.00 0 0
267.45/267.58 c clique : 0.00 0.00 0 0
267.45/267.58 c indcoefdiving : 0.00 0.00 0 0
267.45/267.58 c indrounding : 0.00 0.00 0 0
267.45/267.58 c nlpdiving : 0.00 0.00 0 0
267.45/267.58 c intdiving : 0.00 0.00 0 0
267.45/267.58 c actconsdiving : 0.00 0.00 0 0
267.45/267.58 c octane : 0.00 0.00 0 0
267.45/267.58 c rens : 0.12 0.00 1 0
267.45/267.58 c rins : 0.00 0.00 0 0
267.45/267.58 c localbranching : 0.00 0.00 0 0
267.45/267.58 c mutation : 0.00 0.00 0 0
267.45/267.58 c dins : 0.00 0.00 0 0
267.45/267.58 c vbounds : 0.00 0.00 0 0
267.45/267.58 c undercover : 0.00 0.00 0 0
267.45/267.58 c subnlp : 0.03 0.00 0 0
267.45/267.58 c trysol : 0.05 0.00 0 0
267.45/267.58 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
267.45/267.58 c primal LP : 0.00 2 0 0.00 - 0.00 2
267.45/267.58 c dual LP : 137.09 38223 367931 13.58 2683.93 15.11 11125
267.45/267.58 c lex dual LP : 0.00 0 0 0.00 -
267.45/267.58 c barrier LP : 0.00 0 0 0.00 - 0.00 0
267.45/267.58 c diving/probing LP: 8.94 2707 22925 8.47 2563.11
267.45/267.58 c strong branching : 61.06 6186 172847 27.94 2830.62
267.45/267.58 c (at root node) : - 10 1790 179.00 -
267.45/267.58 c conflict analysis: 0.00 0 0 0.00 -
267.45/267.58 c B&B Tree :
267.45/267.58 c number of runs : 1
267.45/267.58 c nodes : 27151
267.45/267.58 c nodes (total) : 27151
267.45/267.58 c nodes left : 0
267.45/267.58 c max depth : 63
267.45/267.58 c max depth (total): 63
267.45/267.58 c backtracks : 4339 (16.0%)
267.45/267.58 c delayed cutoffs : 125
267.45/267.58 c repropagations : 4094 (37346 domain reductions, 115 cutoffs)
267.45/267.58 c avg switch length: 7.20
267.45/267.58 c switching time : 9.44
267.45/267.58 c Solution :
267.45/267.58 c Solutions found : 37 (7 improvements)
267.45/267.58 c First Solution : +5.08000000000000e+02 (in run 1, after 12 nodes, 7.07 seconds, depth 11, found by <relaxation>)
267.45/267.58 c Primal Bound : +3.78000000000000e+02 (in run 1, after 126 nodes, 30.32 seconds, depth 13, found by <relaxation>)
267.45/267.58 c Dual Bound : +3.78000000000000e+02
267.45/267.58 c Gap : 0.00 %
267.45/267.58 c Root Dual Bound : +3.46000000000000e+02
267.45/267.58 c Root Iterations : 1369
267.54/267.62 c Time complete: 267.57.
OK 378
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3691316-1338024365/watcher-3691316-1338024365 -o /tmp/evaluation-result-3691316-1338024365/solver-3691316-1338024365 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691316-1338024365.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.03 2.01 2.00 3/176 6801 /proc/meminfo: memFree=27957932/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=11136 CPUtime=0 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 1542 0 0 0 0 0 0 0 20 0 1 0 268560891 11403264 1497 33554432000 4194304 10173063 140736008195968 140733941552024 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 2784 1497 416 1460 0 1315 0 [startup+0.084712 s] /proc/loadavg: 2.03 2.01 2.00 3/176 6801 /proc/meminfo: memFree=27957932/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=28412 CPUtime=0.07 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 5838 0 0 0 7 0 0 0 20 0 1 0 268560891 29093888 5790 33554432000 4194304 10173063 140736008195968 140733941552024 4900959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 7103 5790 469 1460 0 5634 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 28412 [startup+0.10035 s] /proc/loadavg: 2.03 2.01 2.00 3/176 6801 /proc/meminfo: memFree=27957932/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=38752 CPUtime=0.09 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 8195 0 0 0 9 0 0 0 20 0 1 0 268560891 39682048 8126 33554432000 4194304 10173063 140736008195968 140733941552024 7545739 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 9688 8126 512 1460 0 8219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38752 [startup+0.300301 s] /proc/loadavg: 2.03 2.01 2.00 3/176 6801 /proc/meminfo: memFree=27957932/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=61900 CPUtime=0.29 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 15015 0 0 0 21 8 0 0 20 0 1 0 268560891 63385600 13898 33554432000 4194304 10173063 140736008195968 140733941552024 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 15475 13898 566 1460 0 14006 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61900 [startup+0.700258 s] /proc/loadavg: 2.03 2.01 2.00 3/176 6801 /proc/meminfo: memFree=27957932/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=63556 CPUtime=0.69 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 17131 0 0 0 56 13 0 0 20 0 1 0 268560891 65081344 14349 33554432000 4194304 10173063 140736008195968 140733941552024 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 15889 14349 597 1460 0 14420 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 63556 [startup+1.5003 s] /proc/loadavg: 2.03 2.01 2.00 3/177 6802 /proc/meminfo: memFree=27900892/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=86540 CPUtime=1.49 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 23326 0 0 0 133 16 0 0 20 0 1 0 268560891 88616960 20061 33554432000 4194304 10173063 140736008195968 140736008192328 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 21635 20061 780 1460 0 20166 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86540 [startup+3.10029 s] /proc/loadavg: 2.03 2.01 2.00 3/177 6802 /proc/meminfo: memFree=27847696/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=119892 CPUtime=3.08 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 32170 0 0 0 271 37 0 0 20 0 1 0 268560891 122769408 28845 33554432000 4194304 10173063 140736008195968 140736008190856 5038165 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 29973 28845 847 1460 0 28504 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 119892 [startup+6.30029 s] /proc/loadavg: 2.02 2.01 2.00 3/176 6802 /proc/meminfo: memFree=27829952/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=134772 CPUtime=6.29 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 41442 0 0 0 584 45 0 0 20 0 1 0 268560891 138006528 32403 33554432000 4194304 10173063 140736008195968 140736008189416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 33693 32403 854 1460 0 32224 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 134772 [startup+12.7003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 6803 /proc/meminfo: memFree=27798884/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=134772 CPUtime=12.69 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 41443 0 0 0 1221 48 0 0 20 0 1 0 268560891 138006528 32404 33554432000 4194304 10173063 140736008195968 140736008189416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 33693 32404 855 1460 0 32224 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 134772 [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 6803 /proc/meminfo: memFree=27797512/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=134772 CPUtime=25.49 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 41443 0 0 0 2494 55 0 0 20 0 1 0 268560891 138006528 32404 33554432000 4194304 10173063 140736008195968 140736008189512 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 33693 32404 855 1460 0 32224 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134772 [startup+51.1003 s] /proc/loadavg: 2.01 2.01 2.00 3/177 6803 /proc/meminfo: memFree=27808788/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=138040 CPUtime=51.08 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 53667 0 0 0 5032 76 0 0 20 0 1 0 268560891 141352960 33173 33554432000 4194304 10173063 140736008195968 140736008189688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 34510 33173 869 1460 0 33041 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 138040 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6803 /proc/meminfo: memFree=27854368/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=150796 CPUtime=102.28 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 64311 0 0 0 10098 130 0 0 20 0 1 0 268560891 154415104 36384 33554432000 4194304 10173063 140736008195968 140736008192488 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 37699 36384 869 1460 0 36230 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 150796 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6803 /proc/meminfo: memFree=27845628/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=159208 CPUtime=162.27 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 72543 0 0 0 16027 200 0 0 20 0 1 0 268560891 163028992 38515 33554432000 4194304 10173063 140736008195968 140736008189224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 39802 38515 869 1460 0 38333 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 159208 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6803 /proc/meminfo: memFree=27795804/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=163156 CPUtime=222.25 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 79672 0 0 0 21946 279 0 0 20 0 1 0 268560891 167071744 39470 33554432000 4194304 10173063 140736008195968 140736008189688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 40789 39470 869 1460 0 39320 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 163156 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6803 /proc/meminfo: memFree=27841628/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=163292 CPUtime=230.25 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 79705 0 0 0 22735 290 0 0 20 0 1 0 268560891 167211008 39503 33554432000 4194304 10173063 140736008195968 140736008189800 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 40823 39503 869 1460 0 39354 0 Current children cumulated CPU time (s) 230.25 Current children cumulated vsize (KiB) 163292 [startup+243.106 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27795212/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=163960 CPUtime=243.06 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 79875 0 0 0 23998 308 0 0 20 0 1 0 268560891 167895040 39673 33554432000 4194304 10173063 140736008195968 140736008191336 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 40990 39673 869 1460 0 39521 0 Current children cumulated CPU time (s) 243.06 Current children cumulated vsize (KiB) 163960 [startup+255.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27840636/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=164164 CPUtime=255.85 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 79945 0 0 0 25260 325 0 0 20 0 1 0 268560891 168103936 39743 33554432000 4194304 10173063 140736008195968 140736008189224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41041 39743 869 1460 0 39572 0 Current children cumulated CPU time (s) 255.85 Current children cumulated vsize (KiB) 164164 [startup+262.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27793212/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=165436 CPUtime=262.25 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 85336 0 0 0 25887 338 0 0 20 0 1 0 268560891 169406464 40098 33554432000 4194304 10173063 140736008195968 140736008191336 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41359 40098 869 1460 0 39890 0 Current children cumulated CPU time (s) 262.25 Current children cumulated vsize (KiB) 165436 [startup+265.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27838688/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=165436 CPUtime=265.45 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 85336 0 0 0 26202 343 0 0 20 0 1 0 268560891 169406464 40098 33554432000 4194304 10173063 140736008195968 140736008189608 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41359 40098 869 1460 0 39890 0 Current children cumulated CPU time (s) 265.45 Current children cumulated vsize (KiB) 165436 [startup+266.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27792812/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=165436 CPUtime=266.25 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 85336 0 0 0 26281 344 0 0 20 0 1 0 268560891 169406464 40098 33554432000 4194304 10173063 140736008195968 140736008189224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41359 40098 869 1460 0 39890 0 Current children cumulated CPU time (s) 266.25 Current children cumulated vsize (KiB) 165436 [startup+267.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27792812/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=165436 CPUtime=267.04 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 85336 0 0 0 26358 346 0 0 20 0 1 0 268560891 169406464 40098 33554432000 4194304 10173063 140736008195968 140736008188904 7934860 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41359 40098 869 1460 0 39890 0 Current children cumulated CPU time (s) 267.04 Current children cumulated vsize (KiB) 165436 [startup+267.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27745900/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=165436 CPUtime=267.45 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 85336 0 0 0 26398 347 0 0 20 0 1 0 268560891 169406464 40098 33554432000 4194304 10173063 140736008195968 140736008189192 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41359 40098 869 1460 0 39890 0 Current children cumulated CPU time (s) 267.45 Current children cumulated vsize (KiB) 165436 [startup+267.6 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6806 /proc/meminfo: memFree=27745900/32873844 swapFree=7388/7388 [pid=6801] ppid=6799 vsize=164024 CPUtime=267.54 cores=0,2,4,6 /proc/6801/stat : 6801 (scip-2.1.1.4fix) R 6799 6801 6041 0 -1 4202496 85338 0 0 0 26407 347 0 0 20 0 1 0 268560891 167960576 39747 33554432000 4194304 10173063 140736008195968 140736008189192 8831469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6801/statm: 41006 39747 871 1460 0 39537 0 Current children cumulated CPU time (s) 267.54 Current children cumulated vsize (KiB) 164024 Child status: 0 Real time (s): 267.629 CPU time (s): 267.587 CPU user time (s): 264.1 CPU system time (s): 3.48747 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 185892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 264.1 system time used= 3.48747 maximum resident set size= 180536 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85340 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 395 runsolver used 0.472928 second user time and 1.12683 second system time The end
Begin job on node147 at 2012-05-26 11:26:05 IDJOB=3691316 IDBENCH=89828 IDSOLVER=2270 FILE ID=node147/3691316-1338024365 RUNJOBID= node147-1338016919-6057 PBS_JOBID= 14624328 Free space on /tmp= 71636 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691316-1338024365/watcher-3691316-1338024365 -o /tmp/evaluation-result-3691316-1338024365/solver-3691316-1338024365 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691316-1338024365.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62 RANDOM SEED=2057387922 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27958840 kB Buffers: 257976 kB Cached: 1821384 kB SwapCached: 6180 kB Active: 2523684 kB Inactive: 1614392 kB Active(anon): 2054304 kB Inactive(anon): 6780 kB Active(file): 469380 kB Inactive(file): 1607612 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67097572 kB Dirty: 14404 kB Writeback: 0 kB AnonPages: 2060820 kB Mapped: 12820 kB Shmem: 0 kB Slab: 633128 kB SReclaimable: 74516 kB SUnreclaim: 558612 kB KernelStack: 1472 kB PageTables: 8208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2347300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 530432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71620 MiB End job on node147 at 2012-05-26 11:30:33