Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 43 | 1800.04 | 1800.52 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m200_500_10_10.r.opb |
| MD5SUM | 9ce5413471f93025df24c6fa43fb2680 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1719.32 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 39 |
| Optimality of the best value was proved | NO |
| Number of variables | 492 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 492 |
| 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 | 492 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 492 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666947-1276595221.opb>
0.00/0.01 c original problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 492
0.00/0.02 c feasible solution found by trivial heuristic, objective value 4.920000e+02
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 0 impls, 0 clqs
0.02/0.04 c (0.0s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.04 c presolving (2 rounds):
0.02/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.04 c 0 implications, 0 cliques
0.02/0.04 c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.02/0.04 c 200 constraints of type <logicor>
0.02/0.04 c transformed objective value is always integral (scale: 1)
0.02/0.04 c Presolving Time: 0.01
0.02/0.04 c - non default parameters ----------------------------------------------------------------------
0.02/0.04 c # SCIP version 1.2.1.2
0.02/0.04 c
0.02/0.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.04 c conflict/interconss = 0
0.02/0.04 c
0.02/0.04 c # should binary conflicts be preferred?
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c conflict/preferbinary = TRUE
0.02/0.04 c
0.02/0.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.04 c constraints/agelimit = 1
0.02/0.04 c
0.02/0.04 c # should enforcement of pseudo solution be disabled?
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/disableenfops = TRUE
0.02/0.04 c
0.02/0.04 c # frequency for displaying node information lines
0.02/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.04 c display/freq = 10000
0.02/0.04 c
0.02/0.04 c # maximal time in seconds to run
0.02/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.04 c limits/time = 1799.99
0.02/0.04 c
0.02/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.04 c limits/memory = 1620
0.02/0.04 c
0.02/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.04 c lp/solvefreq = 0
0.02/0.04 c
0.02/0.04 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.02/0.04 c # [type: char, range: {lafpsqd}, default: l]
0.02/0.04 c lp/pricing = a
0.02/0.04 c
0.02/0.04 c # should presolving try to simplify inequalities
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/linear/simplifyinequalities = TRUE
0.02/0.04 c
0.02/0.04 c # should presolving try to simplify knapsacks
0.02/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.04 c
0.02/0.04 c # priority of node selection rule <dfs> in standard mode
0.02/0.04 c # [type: int, range: [-536870912,536870911], default: 0]
0.02/0.04 c nodeselection/dfs/stdpriority = 1000000
0.02/0.04 c
0.02/0.04 c -----------------------------------------------------------------------------------------------
0.02/0.04 c start solving
0.02/0.04 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c t 0.2s| 1 | 0 | 1315 | - |1397k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 4.920000e+02 |1366.21%
0.19/0.20 o 153
0.19/0.20 c r 0.2s| 1 | 0 | 1315 | - |1410k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.530000e+02 | 355.95%
0.19/0.21 o 152
0.19/0.21 c R 0.2s| 1 | 0 | 1315 | - |1424k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.520000e+02 | 352.97%
0.19/0.21 o 151
0.19/0.21 c s 0.2s| 1 | 0 | 1315 | - |1437k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.510000e+02 | 349.99%
0.29/0.36 c 0.3s| 1 | 0 | 1370 | - |3777k| 0 | 155 | 492 | 200 | 492 | 201 | 1 | 0 | 0 | 3.359618e+01 | 1.510000e+02 | 349.46%
0.29/0.36 o 51
0.29/0.36 c b 0.3s| 1 | 0 | 1370 | - |3790k| 0 | 155 | 492 | 200 | 492 | 201 | 1 | 0 | 0 | 3.359618e+01 | 5.100000e+01 | 51.80%
0.49/0.51 c 0.5s| 1 | 0 | 1419 | - |6130k| 0 | 153 | 492 | 200 | 492 | 202 | 2 | 0 | 0 | 3.361575e+01 | 5.100000e+01 | 51.71%
0.59/0.67 c 0.6s| 1 | 0 | 1491 | - |7867k| 0 | 157 | 492 | 200 | 492 | 203 | 3 | 0 | 0 | 3.363284e+01 | 5.100000e+01 | 51.64%
0.79/0.82 c 0.8s| 1 | 0 | 1541 | - |8563k| 0 | 156 | 492 | 200 | 492 | 204 | 4 | 0 | 0 | 3.363942e+01 | 5.100000e+01 | 51.61%
0.89/0.96 c 0.9s| 1 | 0 | 1574 | - |8704k| 0 | 158 | 492 | 200 | 492 | 205 | 5 | 0 | 0 | 3.364335e+01 | 5.100000e+01 | 51.59%
1.00/1.10 c 1.1s| 1 | 0 | 1611 | - |8776k| 0 | 158 | 492 | 200 | 492 | 206 | 6 | 0 | 0 | 3.364474e+01 | 5.100000e+01 | 51.58%
1.19/1.26 c 1.2s| 1 | 0 | 1639 | - |8793k| 0 | 157 | 492 | 200 | 492 | 207 | 7 | 0 | 0 | 3.364552e+01 | 5.100000e+01 | 51.58%
1.39/1.42 c 1.4s| 1 | 0 | 1681 | - |8810k| 0 | 152 | 492 | 200 | 492 | 208 | 8 | 0 | 0 | 3.364768e+01 | 5.100000e+01 | 51.57%
1.39/1.47 c 1.4s| 1 | 0 | 1711 | - |8826k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 5.100000e+01 | 51.57%
8.69/8.80 o 44
8.69/8.80 c E 8.5s| 1 | 0 | 1711 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.400000e+01 | 30.76%
8.80/8.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.80/8.81 c 8.5s| 1 | 0 | 1711 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.400000e+01 | 30.76%
8.80/8.81 o 43
8.80/8.81 c b 8.5s| 1 | 0 | 1711 | - |8863k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.300000e+01 | 27.79%
10.59/10.66 c 10.3s| 1 | 2 | 1711 | - |8858k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 22 | 3.364868e+01 | 4.300000e+01 | 27.79%
13.99/14.05 c 13.5s| 10000 | 409 | 1711 | 0.0 |9138k| 427 | - | 492 | 200 | 0 | 0 | 9 |5707 | 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
17.28/17.35 c 16.6s| 20000 | 409 | 1711 | 0.0 |9139k| 429 | - | 492 | 200 | 0 | 0 | 9 | 11k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
20.79/20.82 c 19.9s| 30000 | 410 | 1711 | 0.0 |9140k| 429 | - | 492 | 200 | 0 | 0 | 9 | 17k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
24.09/24.13 c 23.0s| 40000 | 409 | 1711 | 0.0 |9147k| 429 | - | 492 | 200 | 0 | 0 | 9 | 23k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
27.28/27.36 c 26.0s| 50000 | 408 | 1711 | 0.0 |9142k| 429 | - | 492 | 200 | 0 | 0 | 9 | 29k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
30.58/30.64 c 29.1s| 60000 | 408 | 1711 | 0.0 |9145k| 429 | - | 492 | 200 | 0 | 0 | 9 | 35k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
33.99/34.01 c 32.2s| 70000 | 406 | 1711 | 0.0 |9148k| 429 | - | 492 | 200 | 0 | 0 | 9 | 41k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
37.18/37.27 c 35.3s| 80000 | 407 | 1711 | 0.0 |9155k| 429 | - | 492 | 200 | 0 | 0 | 9 | 47k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
40.59/40.67 c 38.5s| 90000 | 408 | 1711 | 0.0 |9150k| 429 | - | 492 | 200 | 0 | 0 | 9 | 52k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
44.08/44.11 c 41.7s|100000 | 403 | 1711 | 0.0 |9146k| 429 | - | 492 | 200 | 0 | 0 | 9 | 58k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
47.48/47.58 c 44.9s|110000 | 403 | 1711 | 0.0 |9151k| 429 | - | 492 | 200 | 0 | 0 | 9 | 64k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
50.98/51.06 c 48.2s|120000 | 399 | 1711 | 0.0 |9143k| 429 | - | 492 | 200 | 0 | 0 | 9 | 70k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
54.38/54.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.38/54.49 c 51.5s|130000 | 401 | 1711 | 0.0 |9146k| 429 | - | 492 | 200 | 0 | 0 | 9 | 76k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
57.78/57.87 c 54.6s|140000 | 401 | 1711 | 0.0 |9157k| 429 | - | 492 | 200 | 0 | 0 | 9 | 82k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
61.18/61.25 c 57.8s|150000 | 402 | 1711 | 0.0 |9153k| 429 | - | 492 | 200 | 0 | 0 | 9 | 88k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
64.57/64.65 c 61.0s|160000 | 401 | 1711 | 0.0 |9157k| 429 | - | 492 | 200 | 0 | 0 | 9 | 94k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
67.97/68.09 c 64.2s|170000 | 399 | 1711 | 0.0 |9154k| 429 | - | 492 | 200 | 0 | 0 | 9 | 100k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
71.38/71.43 c 67.4s|180000 | 401 | 1711 | 0.0 |9160k| 429 | - | 492 | 200 | 0 | 0 | 9 | 105k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
74.78/74.90 c 70.6s|190000 | 400 | 1711 | 0.0 |9159k| 429 | - | 492 | 200 | 0 | 0 | 9 | 111k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
78.08/78.18 c 73.7s|200000 | 397 | 1711 | 0.0 |9162k| 429 | - | 492 | 200 | 0 | 0 | 9 | 117k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
81.57/81.65 c 76.9s|210000 | 399 | 1711 | 0.0 |9158k| 431 | - | 492 | 200 | 0 | 0 | 9 | 123k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
84.97/85.00 c 80.0s|220000 | 401 | 1711 | 0.0 |9152k| 431 | - | 492 | 200 | 0 | 0 | 9 | 129k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
88.36/88.46 c 83.3s|230000 | 400 | 1711 | 0.0 |9160k| 431 | - | 492 | 200 | 0 | 0 | 9 | 134k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
91.77/91.86 c 86.4s|240000 | 399 | 1711 | 0.0 |9162k| 431 | - | 492 | 200 | 0 | 0 | 9 | 140k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
95.16/95.27 c 89.6s|250000 | 406 | 1711 | 0.0 |9163k| 431 | - | 492 | 200 | 0 | 0 | 9 | 146k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
98.77/98.83 c 93.0s|260000 | 399 | 1711 | 0.0 |9159k| 431 | - | 492 | 200 | 0 | 0 | 9 | 152k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
102.17/102.25 c 96.2s|270000 | 398 | 1711 | 0.0 |9155k| 431 | - | 492 | 200 | 0 | 0 | 9 | 158k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
106.06/106.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.06/106.12 c 99.8s|280000 | 398 | 1711 | 0.0 |9158k| 431 | - | 492 | 200 | 0 | 0 | 9 | 164k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
109.57/109.66 c 103s|290000 | 397 | 1711 | 0.0 |9157k| 431 | - | 492 | 200 | 0 | 0 | 9 | 170k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
112.96/113.04 c 106s|300000 | 397 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 175k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
116.26/116.35 c 109s|310000 | 398 | 1711 | 0.0 |9152k| 431 | - | 492 | 200 | 0 | 0 | 9 | 181k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
119.46/119.55 c 112s|320000 | 398 | 1711 | 0.0 |9159k| 431 | - | 492 | 200 | 0 | 0 | 9 | 187k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
122.76/122.89 c 116s|330000 | 398 | 1711 | 0.0 |9158k| 431 | - | 492 | 200 | 0 | 0 | 9 | 193k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
126.26/126.31 c 119s|340000 | 397 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 199k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
129.77/129.81 c 122s|350000 | 400 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 205k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
133.06/133.17 c 125s|360000 | 393 | 1711 | 0.0 |9152k| 431 | - | 492 | 200 | 0 | 0 | 9 | 211k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
136.55/136.66 c 129s|370000 | 395 | 1711 | 0.0 |9157k| 431 | - | 492 | 200 | 0 | 0 | 9 | 217k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
139.85/139.95 c 132s|380000 | 397 | 1711 | 0.0 |9160k| 431 | - | 492 | 200 | 0 | 0 | 9 | 223k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
143.46/143.55 c 135s|390000 | 397 | 1711 | 0.0 |9164k| 431 | - | 492 | 200 | 0 | 0 | 9 | 229k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
146.85/146.97 c 138s|400000 | 398 | 1711 | 0.0 |9158k| 431 | - | 492 | 200 | 0 | 0 | 9 | 235k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
150.15/150.29 c 141s|410000 | 396 | 1711 | 0.0 |9158k| 431 | - | 492 | 200 | 0 | 0 | 9 | 241k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
153.45/153.58 c 144s|420000 | 397 | 1711 | 0.0 |9165k| 431 | - | 492 | 200 | 0 | 0 | 9 | 246k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
156.85/156.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.85/156.98 c 148s|430000 | 397 | 1711 | 0.0 |9164k| 431 | - | 492 | 200 | 0 | 0 | 9 | 252k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
160.15/160.28 c 151s|440000 | 399 | 1711 | 0.0 |9162k| 431 | - | 492 | 200 | 0 | 0 | 9 | 258k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
163.54/163.61 c 154s|450000 | 397 | 1711 | 0.0 |9166k| 431 | - | 492 | 200 | 0 | 0 | 9 | 264k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
166.85/166.99 c 157s|460000 | 395 | 1711 | 0.0 |9165k| 431 | - | 492 | 200 | 0 | 0 | 9 | 270k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
170.15/170.22 c 160s|470000 | 397 | 1711 | 0.0 |9165k| 431 | - | 492 | 200 | 0 | 0 | 9 | 276k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
173.75/173.82 c 163s|480000 | 397 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 282k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
177.14/177.28 c 167s|490000 | 396 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 288k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
180.65/180.74 c 170s|500000 | 396 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 293k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
183.85/183.97 c 173s|510000 | 399 | 1711 | 0.0 |9165k| 431 | - | 492 | 200 | 0 | 0 | 9 | 299k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
187.25/187.37 c 176s|520000 | 394 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 305k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
190.55/190.66 c 179s|530000 | 397 | 1711 | 0.0 |9164k| 431 | - | 492 | 200 | 0 | 0 | 9 | 311k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
193.94/194.04 c 182s|540000 | 395 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 317k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
197.34/197.46 c 185s|550000 | 398 | 1711 | 0.0 |9162k| 431 | - | 492 | 200 | 0 | 0 | 9 | 323k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
200.54/200.63 c 188s|560000 | 396 | 1711 | 0.0 |9160k| 431 | - | 492 | 200 | 0 | 0 | 9 | 329k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
203.64/203.75 c 191s|570000 | 394 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 | 334k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
207.24/207.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.24/207.31 c 195s|580000 | 398 | 1711 | 0.0 |9163k| 431 | - | 492 | 200 | 0 | 0 | 9 | 340k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
210.44/210.58 c 198s|590000 | 399 | 1711 | 0.0 |9163k| 431 | - | 492 | 200 | 0 | 0 | 9 | 346k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
213.83/213.93 c 201s|600000 | 394 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 352k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
217.13/217.29 c 204s|610000 | 391 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 358k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
220.73/220.84 c 207s|620000 | 395 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 364k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
224.34/224.46 c 211s|630000 | 397 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 370k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
227.73/227.89 c 214s|640000 | 397 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 376k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
231.43/231.50 c 217s|650000 | 395 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 382k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
235.03/235.17 c 221s|660000 | 396 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 | 388k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
238.54/238.64 c 224s|670000 | 393 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 394k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
241.93/242.06 c 227s|680000 | 396 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 400k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
245.02/245.14 c 230s|690000 | 398 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 405k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
248.44/248.50 c 233s|700000 | 394 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 | 411k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
251.73/251.81 c 236s|710000 | 395 | 1711 | 0.0 |9166k| 431 | - | 492 | 200 | 0 | 0 | 9 | 416k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
254.92/255.01 c 239s|720000 | 397 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 | 422k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
258.23/258.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.23/258.39 c 243s|730000 | 395 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 428k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
261.63/261.75 c 246s|740000 | 394 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 434k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
264.82/264.98 c 249s|750000 | 394 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 | 439k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
268.12/268.24 c 252s|760000 | 397 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 445k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
271.33/271.44 c 255s|770000 | 395 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 | 451k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
274.63/274.74 c 258s|780000 | 394 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 457k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
277.92/278.08 c 261s|790000 | 395 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 462k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
281.62/281.78 c 265s|800000 | 394 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 | 468k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
285.71/285.89 c 268s|810000 | 394 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 | 474k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
289.51/289.69 c 272s|820000 | 395 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 480k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
293.12/293.22 c 275s|830000 | 392 | 1711 | 0.0 |9166k| 431 | - | 492 | 200 | 0 | 0 | 9 | 486k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
296.41/296.56 c 278s|840000 | 394 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 492k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
299.91/300.04 c 282s|850000 | 396 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 498k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
303.31/303.43 c 285s|860000 | 395 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 503k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
306.72/306.81 c 288s|870000 | 395 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 509k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
310.21/310.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.21/310.33 c 291s|880000 | 394 | 1711 | 0.0 |9164k| 431 | - | 492 | 200 | 0 | 0 | 9 | 515k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
313.42/313.55 c 294s|890000 | 395 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 521k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
316.62/316.79 c 297s|900000 | 397 | 1711 | 0.0 |9165k| 431 | - | 492 | 200 | 0 | 0 | 9 | 527k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
320.11/320.25 c 300s|910000 | 397 | 1711 | 0.0 |9163k| 431 | - | 492 | 200 | 0 | 0 | 9 | 533k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
323.41/323.58 c 304s|920000 | 393 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 539k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
326.81/326.97 c 307s|930000 | 394 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 | 545k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
330.31/330.44 c 310s|940000 | 392 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 | 550k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
333.81/333.96 c 313s|950000 | 391 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 | 556k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
337.10/337.21 c 316s|960000 | 390 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 | 562k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
340.40/340.55 c 319s|970000 | 395 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 568k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
344.00/344.17 c 323s|980000 | 398 | 1711 | 0.0 |9164k| 431 | - | 492 | 200 | 0 | 0 | 9 | 574k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
347.51/347.60 c 326s|990000 | 395 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 580k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
350.90/351.03 c 329s| 1000k| 392 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 | 586k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
354.30/354.48 c 333s| 1010k| 393 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 592k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
357.89/358.01 c 336s| 1020k| 394 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 598k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
361.50/361.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.50/361.62 c 339s| 1030k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 604k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
365.10/365.27 c 343s| 1040k| 397 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 610k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
368.69/368.81 c 346s| 1050k| 396 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 615k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
372.09/372.24 c 349s| 1060k| 393 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 621k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
375.39/375.59 c 352s| 1070k| 398 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 | 627k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
378.89/379.05 c 356s| 1080k| 393 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 633k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
382.29/382.48 c 359s| 1090k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 639k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
385.80/385.96 c 362s| 1100k| 392 | 1711 | 0.0 |9162k| 431 | - | 492 | 200 | 0 | 0 | 9 | 645k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
389.19/389.38 c 365s| 1110k| 393 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 651k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
392.60/392.77 c 368s| 1120k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 657k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
396.09/396.24 c 372s| 1130k| 392 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 | 663k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
399.79/399.95 c 375s| 1140k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 | 669k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
403.60/403.72 c 379s| 1150k| 394 | 1711 | 0.0 |9163k| 431 | - | 492 | 200 | 0 | 0 | 9 | 675k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
407.28/407.40 c 382s| 1160k| 396 | 1711 | 0.0 |9166k| 431 | - | 492 | 200 | 0 | 0 | 9 | 681k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
410.98/411.11 c 386s| 1170k| 392 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 | 687k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
414.39/414.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.39/414.54 c 389s| 1180k| 392 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 693k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
418.18/418.31 c 393s| 1190k| 393 | 1711 | 0.0 |9186k| 431 | - | 492 | 200 | 0 | 0 | 9 | 699k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
422.19/422.39 c 396s| 1200k| 394 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 705k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
426.09/426.24 c 400s| 1210k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 711k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
429.68/429.83 c 403s| 1220k| 395 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 717k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
433.38/433.59 c 407s| 1230k| 397 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 723k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
436.97/437.19 c 410s| 1240k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 729k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
440.77/440.98 c 414s| 1250k| 392 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 735k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
444.48/444.65 c 417s| 1260k| 397 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 741k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
448.08/448.21 c 421s| 1270k| 394 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 747k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
451.57/451.74 c 424s| 1280k| 394 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 753k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
455.19/455.32 c 427s| 1290k| 395 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 758k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
458.67/458.89 c 431s| 1300k| 394 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 | 764k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
462.17/462.37 c 434s| 1310k| 393 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 | 770k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
465.58/465.78 c 437s| 1320k| 394 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 776k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
469.17/469.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.17/469.34 c 440s| 1330k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 782k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
472.97/473.15 c 444s| 1340k| 393 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 | 788k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
476.77/476.94 c 448s| 1350k| 391 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 794k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
480.48/480.65 c 451s| 1360k| 393 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 | 799k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
484.07/484.28 c 455s| 1370k| 391 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 805k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
487.76/487.94 c 458s| 1380k| 394 | 1711 | 0.0 |9164k| 431 | - | 492 | 200 | 0 | 0 | 9 | 811k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
491.16/491.32 c 461s| 1390k| 393 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 817k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
494.67/494.89 c 465s| 1400k| 397 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 | 822k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
498.07/498.26 c 468s| 1410k| 395 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 828k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
501.56/501.77 c 471s| 1420k| 393 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 | 834k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
504.96/505.19 c 474s| 1430k| 392 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 840k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
508.66/508.84 c 478s| 1440k| 392 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 | 846k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
512.16/512.32 c 481s| 1450k| 396 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 852k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
515.66/515.90 c 484s| 1460k| 393 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 858k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
519.15/519.38 c 487s| 1470k| 395 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 864k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
522.66/522.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.66/522.86 c 491s| 1480k| 395 | 1711 | 0.0 |9187k| 431 | - | 492 | 200 | 0 | 0 | 9 | 870k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
526.26/526.42 c 494s| 1490k| 396 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 | 875k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
529.66/529.85 c 497s| 1500k| 392 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 881k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
533.26/533.47 c 501s| 1510k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 | 887k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
536.75/536.96 c 504s| 1520k| 395 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 | 893k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
540.15/540.39 c 507s| 1530k| 387 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 898k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
543.75/543.95 c 510s| 1540k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 | 904k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
547.45/547.64 c 514s| 1550k| 391 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 910k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
550.96/551.15 c 517s| 1560k| 391 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 | 916k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
554.45/554.63 c 521s| 1570k| 391 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 | 921k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
557.75/557.99 c 524s| 1580k| 385 | 1711 | 0.0 |9161k| 431 | - | 492 | 200 | 0 | 0 | 9 | 927k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
561.34/561.58 c 527s| 1590k| 393 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 | 933k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
564.94/565.11 c 530s| 1600k| 392 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 | 939k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
568.34/568.53 c 534s| 1610k| 394 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 945k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
571.85/572.03 c 537s| 1620k| 394 | 1711 | 0.0 |9166k| 431 | - | 492 | 200 | 0 | 0 | 9 | 951k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
575.44/575.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.44/575.60 c 540s| 1630k| 392 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 | 957k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
578.95/579.13 c 544s| 1640k| 390 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 | 963k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
582.44/582.64 c 547s| 1650k| 394 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 969k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
585.85/586.07 c 550s| 1660k| 393 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 | 975k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
589.35/589.57 c 553s| 1670k| 392 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 | 981k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
592.84/593.09 c 557s| 1680k| 395 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 | 986k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
596.73/596.98 c 560s| 1690k| 390 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 | 992k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
600.44/600.67 c 564s| 1700k| 392 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 | 998k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
604.24/604.46 c 567s| 1710k| 397 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1004k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
607.93/608.17 c 571s| 1720k| 393 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1010k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
611.54/611.71 c 574s| 1730k| 392 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1015k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
614.93/615.13 c 577s| 1740k| 389 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1021k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
618.23/618.47 c 580s| 1750k| 390 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1026k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
621.73/621.97 c 584s| 1760k| 393 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1032k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
625.03/625.25 c 587s| 1770k| 392 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1038k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
628.73/628.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.73/628.96 c 590s| 1780k| 392 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |1044k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
632.23/632.45 c 594s| 1790k| 395 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1050k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
635.92/636.15 c 597s| 1800k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1055k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
639.73/639.93 c 601s| 1810k| 392 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1061k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
643.34/643.53 c 604s| 1820k| 394 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1067k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
646.82/647.00 c 607s| 1830k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1073k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
650.13/650.39 c 610s| 1840k| 397 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1079k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
653.53/653.72 c 614s| 1850k| 394 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 |1085k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
657.02/657.21 c 617s| 1860k| 393 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 |1090k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
660.62/660.81 c 620s| 1870k| 391 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1096k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
664.52/664.72 c 624s| 1880k| 392 | 1711 | 0.0 |9186k| 431 | - | 492 | 200 | 0 | 0 | 9 |1102k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
668.32/668.53 c 627s| 1890k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1108k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
671.83/672.04 c 631s| 1900k| 389 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 |1114k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
675.52/675.71 c 634s| 1910k| 392 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1120k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
679.02/679.28 c 637s| 1920k| 394 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1126k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
682.62/682.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.62/682.84 c 641s| 1930k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1132k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
686.41/686.67 c 644s| 1940k| 390 | 1711 | 0.0 |9165k| 431 | - | 492 | 200 | 0 | 0 | 9 |1138k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
690.21/690.49 c 648s| 1950k| 389 | 1711 | 0.0 |9188k| 431 | - | 492 | 200 | 0 | 0 | 9 |1144k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
693.82/694.08 c 651s| 1960k| 390 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1150k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
697.61/697.83 c 655s| 1970k| 389 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1156k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
701.22/701.43 c 658s| 1980k| 392 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1162k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
704.72/704.98 c 662s| 1990k| 394 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1168k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
708.41/708.66 c 665s| 2000k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1174k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
712.21/712.40 c 669s| 2010k| 393 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1180k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
716.01/716.24 c 672s| 2020k| 393 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1186k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
719.91/720.10 c 676s| 2030k| 389 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1192k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
723.62/723.89 c 679s| 2040k| 392 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1198k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
727.31/727.52 c 683s| 2050k| 390 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |1204k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
731.21/731.40 c 687s| 2060k| 391 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1210k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
735.11/735.38 c 690s| 2070k| 392 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1216k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
739.01/739.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.01/739.26 c 694s| 2080k| 391 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1222k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
742.70/742.90 c 697s| 2090k| 390 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1227k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
746.30/746.56 c 701s| 2100k| 390 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1233k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
750.01/750.23 c 704s| 2110k| 391 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |1239k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
753.80/754.05 c 708s| 2120k| 388 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1245k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
757.10/757.33 c 711s| 2130k| 392 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1251k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
760.40/760.64 c 714s| 2140k| 392 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1257k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
763.80/764.03 c 717s| 2150k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1263k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
767.10/767.38 c 720s| 2160k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1269k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
770.50/770.72 c 724s| 2170k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1274k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
773.90/774.16 c 727s| 2180k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1280k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
777.40/777.62 c 730s| 2190k| 397 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |1286k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
780.59/780.89 c 733s| 2200k| 392 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 |1292k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
784.10/784.40 c 736s| 2210k| 393 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1298k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
787.60/787.83 c 740s| 2220k| 389 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1304k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
791.39/791.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.39/791.65 c 743s| 2230k| 391 | 1711 | 0.0 |9191k| 431 | - | 492 | 200 | 0 | 0 | 9 |1310k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
795.19/795.43 c 747s| 2240k| 389 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1316k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
798.88/799.14 c 750s| 2250k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1322k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
802.70/803.00 c 754s| 2260k| 390 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1328k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
806.38/806.65 c 757s| 2270k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1334k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
809.99/810.21 c 761s| 2280k| 391 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1340k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
813.49/813.78 c 764s| 2290k| 390 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1346k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
817.79/818.04 c 768s| 2300k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1352k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
821.39/821.67 c 771s| 2310k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1358k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
824.89/825.14 c 775s| 2320k| 394 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1364k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
828.48/828.72 c 778s| 2330k| 392 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1370k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
831.78/832.08 c 781s| 2340k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1375k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
835.58/835.90 c 785s| 2350k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1381k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
839.18/839.47 c 788s| 2360k| 390 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1387k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
842.66/842.93 c 791s| 2370k| 393 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1393k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
846.26/846.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.26/846.51 c 795s| 2380k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1398k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
849.86/850.17 c 798s| 2390k| 389 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |1404k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
853.56/853.82 c 802s| 2400k| 390 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1410k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
857.15/857.44 c 805s| 2410k| 389 | 1711 | 0.0 |9168k| 431 | - | 492 | 200 | 0 | 0 | 9 |1416k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
860.65/860.92 c 808s| 2420k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1422k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
864.15/864.49 c 812s| 2430k| 393 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1427k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
867.75/868.02 c 815s| 2440k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1433k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
871.35/871.61 c 818s| 2450k| 389 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1439k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
875.05/875.30 c 822s| 2460k| 392 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1445k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
878.55/878.81 c 825s| 2470k| 394 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1451k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
881.96/882.25 c 828s| 2480k| 391 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1456k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
885.65/885.93 c 832s| 2490k| 390 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1462k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
889.25/889.50 c 835s| 2500k| 390 | 1711 | 0.0 |9167k| 431 | - | 492 | 200 | 0 | 0 | 9 |1468k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
893.34/893.63 c 839s| 2510k| 392 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |1474k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
897.64/897.92 c 843s| 2520k| 393 | 1711 | 0.0 |9186k| 431 | - | 492 | 200 | 0 | 0 | 9 |1480k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
901.14/901.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.14/901.47 c 846s| 2530k| 393 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1486k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
904.65/904.92 c 850s| 2540k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1492k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
908.25/908.56 c 853s| 2550k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1498k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
911.74/912.09 c 856s| 2560k| 392 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1504k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
915.24/915.53 c 859s| 2570k| 388 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1509k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
918.84/919.19 c 863s| 2580k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1515k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
922.44/922.76 c 866s| 2590k| 389 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1521k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
925.95/926.26 c 870s| 2600k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1527k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
929.24/929.52 c 873s| 2610k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1533k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
933.14/933.43 c 876s| 2620k| 390 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1539k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
936.95/937.24 c 880s| 2630k| 391 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1545k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
940.54/940.82 c 883s| 2640k| 390 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1551k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
944.64/944.93 c 887s| 2650k| 389 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |1557k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
948.23/948.55 c 891s| 2660k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1563k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
951.93/952.22 c 894s| 2670k| 389 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1568k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
955.53/955.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.53/955.87 c 897s| 2680k| 389 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1574k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
959.33/959.63 c 901s| 2690k| 390 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1580k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
962.63/962.93 c 904s| 2700k| 388 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1586k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
965.93/966.22 c 907s| 2710k| 391 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1592k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
969.32/969.67 c 910s| 2720k| 387 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1598k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
972.73/973.00 c 913s| 2730k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1604k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
976.02/976.32 c 917s| 2740k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1610k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
979.42/979.79 c 920s| 2750k| 391 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1616k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
982.83/983.14 c 923s| 2760k| 390 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1621k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
986.22/986.55 c 926s| 2770k| 391 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1627k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
989.82/990.12 c 929s| 2780k| 389 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1633k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
993.22/993.51 c 933s| 2790k| 389 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1638k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
996.82/997.12 c 936s| 2800k| 391 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1644k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1000.52/1000.84 c 940s| 2810k| 390 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1650k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1004.03/1004.34 c 943s| 2820k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1656k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1007.52/1007.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.52/1007.83 c 946s| 2830k| 390 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1662k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1010.92/1011.25 c 949s| 2840k| 391 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1668k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1014.31/1014.69 c 953s| 2850k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1674k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1017.81/1018.10 c 956s| 2860k| 390 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1680k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1021.12/1021.40 c 959s| 2870k| 389 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |1686k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1024.41/1024.75 c 962s| 2880k| 389 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1691k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1028.12/1028.40 c 965s| 2890k| 392 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1697k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1031.61/1031.99 c 969s| 2900k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1703k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1035.11/1035.44 c 972s| 2910k| 387 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1709k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1038.61/1038.91 c 975s| 2920k| 388 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1715k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1042.21/1042.51 c 979s| 2930k| 386 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1721k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1045.61/1045.91 c 982s| 2940k| 391 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1726k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1048.91/1049.25 c 985s| 2950k| 388 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |1732k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1052.50/1052.84 c 988s| 2960k| 394 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |1738k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1056.10/1056.44 c 992s| 2970k| 395 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1744k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1059.60/1059.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.60/1059.97 c 995s| 2980k| 390 | 1711 | 0.0 |9196k| 431 | - | 492 | 200 | 0 | 0 | 9 |1750k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1063.50/1063.81 c 999s| 2990k| 392 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1755k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1067.10/1067.47 c 1002s| 3000k| 389 | 1711 | 0.0 |9190k| 431 | - | 492 | 200 | 0 | 0 | 9 |1761k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1070.70/1071.08 c 1005s| 3010k| 390 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |1767k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1074.31/1074.62 c 1009s| 3020k| 391 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |1773k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1078.00/1078.39 c 1012s| 3030k| 390 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1779k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1081.59/1081.95 c 1016s| 3040k| 390 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1785k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1085.20/1085.52 c 1019s| 3050k| 391 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1791k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1088.71/1089.08 c 1022s| 3060k| 390 | 1711 | 0.0 |9185k| 431 | - | 492 | 200 | 0 | 0 | 9 |1797k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1092.40/1092.70 c 1026s| 3070k| 391 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1803k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1096.00/1096.35 c 1029s| 3080k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1809k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1099.50/1099.83 c 1032s| 3090k| 392 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1815k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1103.00/1103.35 c 1036s| 3100k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1821k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1106.69/1107.04 c 1039s| 3110k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1827k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1110.19/1110.53 c 1042s| 3120k| 394 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |1833k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1114.00/1114.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.00/1114.36 c 1046s| 3130k| 392 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |1838k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1117.69/1118.01 c 1049s| 3140k| 390 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |1844k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1121.29/1121.67 c 1053s| 3150k| 390 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1850k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1124.79/1125.18 c 1056s| 3160k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |1856k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1128.19/1128.56 c 1059s| 3170k| 392 | 1711 | 0.0 |9185k| 431 | - | 492 | 200 | 0 | 0 | 9 |1862k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1131.79/1132.18 c 1063s| 3180k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1868k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1135.48/1135.81 c 1066s| 3190k| 388 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |1874k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1139.08/1139.41 c 1070s| 3200k| 392 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1880k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1142.88/1143.21 c 1073s| 3210k| 391 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1886k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1146.28/1146.63 c 1076s| 3220k| 393 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1892k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1149.58/1149.93 c 1079s| 3230k| 392 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |1898k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1152.88/1153.29 c 1083s| 3240k| 393 | 1711 | 0.0 |9186k| 431 | - | 492 | 200 | 0 | 0 | 9 |1904k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1156.28/1156.64 c 1086s| 3250k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1910k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1159.68/1160.06 c 1089s| 3260k| 388 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1916k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1162.97/1163.39 c 1092s| 3270k| 391 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1922k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1166.48/1166.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.48/1166.88 c 1095s| 3280k| 397 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1928k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1170.08/1170.49 c 1099s| 3290k| 394 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |1933k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1173.58/1173.91 c 1102s| 3300k| 392 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1939k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1176.97/1177.34 c 1105s| 3310k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1945k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1180.67/1181.01 c 1108s| 3320k| 394 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |1952k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1184.17/1184.51 c 1112s| 3330k| 389 | 1711 | 0.0 |9188k| 431 | - | 492 | 200 | 0 | 0 | 9 |1957k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1187.47/1187.81 c 1115s| 3340k| 391 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |1963k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1190.77/1191.11 c 1118s| 3350k| 389 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |1969k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1194.07/1194.44 c 1121s| 3360k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1975k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1197.58/1197.99 c 1124s| 3370k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |1981k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1200.88/1201.29 c 1127s| 3380k| 395 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |1987k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1204.27/1204.68 c 1131s| 3390k| 393 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |1992k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1207.96/1208.38 c 1134s| 3400k| 390 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |1998k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1211.27/1211.69 c 1137s| 3410k| 389 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2004k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1214.47/1214.89 c 1140s| 3420k| 387 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2010k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1217.87/1218.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.87/1218.23 c 1143s| 3430k| 391 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2016k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1221.16/1221.57 c 1146s| 3440k| 389 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2022k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1224.56/1224.96 c 1150s| 3450k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2028k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1227.86/1228.28 c 1153s| 3460k| 389 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |2034k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1231.26/1231.63 c 1156s| 3470k| 393 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2039k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1234.76/1235.11 c 1159s| 3480k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2045k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1238.16/1238.52 c 1162s| 3490k| 394 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2051k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1241.66/1242.03 c 1166s| 3500k| 390 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2057k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1245.06/1245.49 c 1169s| 3510k| 390 | 1711 | 0.0 |9185k| 431 | - | 492 | 200 | 0 | 0 | 9 |2063k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1248.35/1248.79 c 1172s| 3520k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2069k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1251.85/1252.20 c 1175s| 3530k| 390 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2075k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1255.26/1255.63 c 1178s| 3540k| 391 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2081k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1258.35/1258.73 c 1181s| 3550k| 396 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2087k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1261.76/1262.16 c 1185s| 3560k| 391 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2093k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1264.95/1265.36 c 1188s| 3570k| 393 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2099k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1268.15/1268.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.15/1268.55 c 1190s| 3580k| 395 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2105k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1271.35/1271.75 c 1193s| 3590k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2111k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1274.56/1274.91 c 1196s| 3600k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2117k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1277.65/1278.02 c 1199s| 3610k| 393 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2123k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1280.85/1281.22 c 1202s| 3620k| 390 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |2129k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1283.95/1284.35 c 1205s| 3630k| 392 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2135k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1287.05/1287.43 c 1208s| 3640k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2141k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1290.44/1290.87 c 1211s| 3650k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2147k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1293.84/1294.23 c 1215s| 3660k| 390 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2153k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1297.04/1297.44 c 1218s| 3670k| 392 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2159k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1300.14/1300.54 c 1220s| 3680k| 389 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2165k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1303.54/1303.91 c 1224s| 3690k| 391 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2171k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1307.04/1307.42 c 1227s| 3700k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2177k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1310.14/1310.54 c 1230s| 3710k| 389 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2183k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1313.64/1314.08 c 1233s| 3720k| 391 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2188k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1317.44/1317.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.44/1317.86 c 1237s| 3730k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2194k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1320.74/1321.11 c 1240s| 3740k| 388 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2200k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1324.13/1324.55 c 1243s| 3750k| 389 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2206k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1327.34/1327.75 c 1246s| 3760k| 389 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2212k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1330.64/1331.07 c 1249s| 3770k| 389 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2218k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1334.13/1334.51 c 1252s| 3780k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2224k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1337.43/1337.80 c 1255s| 3790k| 390 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2230k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1340.54/1340.94 c 1258s| 3800k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2235k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1343.74/1344.17 c 1261s| 3810k| 394 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2241k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1347.13/1347.56 c 1264s| 3820k| 389 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2247k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1350.44/1350.86 c 1267s| 3830k| 391 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2253k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1353.83/1354.27 c 1271s| 3840k| 389 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |2259k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1357.22/1357.68 c 1274s| 3850k| 388 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2265k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1360.63/1361.06 c 1277s| 3860k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2271k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1364.03/1364.40 c 1280s| 3870k| 388 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |2277k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1367.42/1367.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.42/1367.82 c 1283s| 3880k| 388 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2283k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1370.62/1371.02 c 1286s| 3890k| 398 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2289k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1373.82/1374.27 c 1289s| 3900k| 394 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2294k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1377.03/1377.47 c 1292s| 3910k| 391 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2300k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1380.23/1380.69 c 1295s| 3920k| 397 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2306k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1383.82/1384.21 c 1299s| 3930k| 395 | 1711 | 0.0 |9188k| 431 | - | 492 | 200 | 0 | 0 | 9 |2312k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1387.22/1387.69 c 1302s| 3940k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2318k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1390.62/1391.08 c 1305s| 3950k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2324k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1393.81/1394.29 c 1308s| 3960k| 391 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2330k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1397.52/1397.95 c 1312s| 3970k| 401 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2336k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1401.12/1401.55 c 1315s| 3980k| 395 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2341k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1404.42/1404.89 c 1318s| 3990k| 399 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2347k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1407.81/1408.28 c 1321s| 4000k| 393 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2353k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1411.21/1411.67 c 1324s| 4010k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2359k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1414.61/1415.09 c 1328s| 4020k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2365k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1418.22/1418.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.22/1418.69 c 1331s| 4030k| 393 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2371k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1421.82/1422.27 c 1334s| 4040k| 392 | 1711 | 0.0 |9185k| 431 | - | 492 | 200 | 0 | 0 | 9 |2377k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1425.22/1425.62 c 1337s| 4050k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2383k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1428.61/1429.02 c 1341s| 4060k| 393 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2389k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1432.11/1432.50 c 1344s| 4070k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2395k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1435.41/1435.90 c 1347s| 4080k| 394 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2400k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1439.10/1439.58 c 1350s| 4090k| 393 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2406k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1442.31/1442.79 c 1354s| 4100k| 393 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2412k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1445.81/1446.25 c 1357s| 4110k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2418k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1449.50/1449.93 c 1360s| 4120k| 392 | 1711 | 0.0 |9194k| 431 | - | 492 | 200 | 0 | 0 | 9 |2424k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1453.11/1453.56 c 1364s| 4130k| 394 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2430k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1456.61/1457.00 c 1367s| 4140k| 394 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2436k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1459.90/1460.35 c 1370s| 4150k| 394 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2442k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1463.20/1463.66 c 1373s| 4160k| 391 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2448k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1466.60/1467.02 c 1376s| 4170k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2454k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1470.00/1470.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.00/1470.43 c 1379s| 4180k| 395 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2460k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1473.60/1474.07 c 1383s| 4190k| 389 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2466k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1476.99/1477.40 c 1386s| 4200k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2472k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1480.39/1480.81 c 1389s| 4210k| 391 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2478k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1483.89/1484.32 c 1392s| 4220k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2484k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1487.49/1487.90 c 1396s| 4230k| 388 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2489k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1490.79/1491.23 c 1399s| 4240k| 392 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2495k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1494.59/1495.00 c 1402s| 4250k| 392 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2501k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1497.89/1498.32 c 1406s| 4260k| 391 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2507k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1501.19/1501.68 c 1409s| 4270k| 392 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2513k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1504.49/1504.98 c 1412s| 4280k| 390 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2519k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1508.09/1508.55 c 1415s| 4290k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2525k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1511.59/1512.04 c 1418s| 4300k| 391 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2531k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1515.30/1515.76 c 1422s| 4310k| 390 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |2537k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1518.78/1519.28 c 1425s| 4320k| 389 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2543k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1522.39/1522.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.39/1522.85 c 1429s| 4330k| 395 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2549k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1525.98/1526.40 c 1432s| 4340k| 392 | 1711 | 0.0 |9186k| 431 | - | 492 | 200 | 0 | 0 | 9 |2555k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1529.39/1529.87 c 1435s| 4350k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2561k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1532.99/1533.43 c 1439s| 4360k| 393 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2567k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1536.48/1536.94 c 1442s| 4370k| 395 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2573k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1539.78/1540.27 c 1445s| 4380k| 391 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2578k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1542.98/1543.43 c 1448s| 4390k| 392 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2584k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1546.08/1546.52 c 1451s| 4400k| 392 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2590k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1549.18/1549.68 c 1454s| 4410k| 392 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |2596k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1552.47/1552.96 c 1457s| 4420k| 394 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2602k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1555.78/1556.21 c 1460s| 4430k| 394 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2607k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1558.78/1559.29 c 1463s| 4440k| 391 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2613k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1561.97/1562.50 c 1466s| 4450k| 391 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2619k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1565.47/1565.95 c 1469s| 4460k| 391 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2625k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1568.87/1569.34 c 1472s| 4470k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2631k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1572.28/1572.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.28/1572.73 c 1475s| 4480k| 394 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2637k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1575.68/1576.18 c 1478s| 4490k| 391 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |2643k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1579.08/1579.54 c 1482s| 4500k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2649k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1582.38/1582.87 c 1485s| 4510k| 391 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2655k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1585.97/1586.48 c 1488s| 4520k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2661k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1589.27/1589.76 c 1491s| 4530k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2667k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1592.57/1593.00 c 1494s| 4540k| 389 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |2673k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1595.77/1596.30 c 1497s| 4550k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2679k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1599.07/1599.54 c 1500s| 4560k| 391 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |2685k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1602.36/1602.83 c 1503s| 4570k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2691k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1605.96/1606.46 c 1507s| 4580k| 388 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |2697k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1609.37/1609.88 c 1510s| 4590k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2703k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1612.66/1613.19 c 1513s| 4600k| 390 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2709k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1615.96/1616.49 c 1516s| 4610k| 390 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2715k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1619.06/1619.60 c 1519s| 4620k| 389 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2721k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1622.16/1622.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.16/1622.67 c 1522s| 4630k| 388 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2727k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1625.46/1625.90 c 1525s| 4640k| 393 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |2733k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1628.66/1629.16 c 1528s| 4650k| 390 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2738k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1631.87/1632.40 c 1531s| 4660k| 392 | 1711 | 0.0 |9171k| 431 | - | 492 | 200 | 0 | 0 | 9 |2744k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1635.06/1635.57 c 1534s| 4670k| 394 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2750k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1638.56/1639.07 c 1537s| 4680k| 391 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2756k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1641.95/1642.46 c 1540s| 4690k| 391 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2762k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1645.66/1646.20 c 1544s| 4700k| 392 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2768k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1649.06/1649.58 c 1547s| 4710k| 388 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2773k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1652.65/1653.16 c 1550s| 4720k| 394 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |2779k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1656.06/1656.50 c 1554s| 4730k| 391 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2785k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1659.65/1660.10 c 1557s| 4740k| 389 | 1711 | 0.0 |9186k| 431 | - | 492 | 200 | 0 | 0 | 9 |2791k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1663.35/1663.82 c 1560s| 4750k| 392 | 1711 | 0.0 |9183k| 431 | - | 492 | 200 | 0 | 0 | 9 |2797k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1666.85/1667.39 c 1564s| 4760k| 389 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2803k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1670.65/1671.16 c 1567s| 4770k| 392 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2809k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1674.24/1674.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.24/1674.73 c 1571s| 4780k| 392 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |2815k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1677.84/1678.31 c 1574s| 4790k| 393 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2821k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1681.05/1681.56 c 1577s| 4800k| 393 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2827k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1684.45/1684.90 c 1580s| 4810k| 392 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2833k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1687.84/1688.31 c 1583s| 4820k| 389 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |2839k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1690.84/1691.39 c 1586s| 4830k| 391 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2845k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1694.15/1694.63 c 1589s| 4840k| 391 | 1711 | 0.0 |9181k| 431 | - | 492 | 200 | 0 | 0 | 9 |2850k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1697.44/1697.99 c 1592s| 4850k| 391 | 1711 | 0.0 |9173k| 431 | - | 492 | 200 | 0 | 0 | 9 |2856k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1700.94/1701.47 c 1596s| 4860k| 393 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2863k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1704.24/1704.74 c 1599s| 4870k| 391 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2868k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1707.74/1708.30 c 1602s| 4880k| 388 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2874k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1711.64/1712.18 c 1606s| 4890k| 388 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |2880k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1715.63/1716.11 c 1609s| 4900k| 390 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2886k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1719.74/1720.21 c 1613s| 4910k| 388 | 1711 | 0.0 |9189k| 431 | - | 492 | 200 | 0 | 0 | 9 |2892k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1723.14/1723.68 c 1617s| 4920k| 392 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2898k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1726.33/1726.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1726.33/1726.88 c 1620s| 4930k| 394 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |2904k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1729.64/1730.15 c 1623s| 4940k| 390 | 1711 | 0.0 |9179k| 431 | - | 492 | 200 | 0 | 0 | 9 |2910k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1733.34/1733.84 c 1626s| 4950k| 385 | 1711 | 0.0 |9169k| 431 | - | 492 | 200 | 0 | 0 | 9 |2916k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1737.03/1737.59 c 1630s| 4960k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2922k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1740.53/1741.08 c 1633s| 4970k| 396 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2928k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1743.93/1744.48 c 1636s| 4980k| 392 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2934k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1747.53/1748.02 c 1639s| 4990k| 391 | 1711 | 0.0 |9182k| 431 | - | 492 | 200 | 0 | 0 | 9 |2940k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1750.93/1751.48 c 1643s| 5000k| 390 | 1711 | 0.0 |9170k| 431 | - | 492 | 200 | 0 | 0 | 9 |2945k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1754.53/1755.05 c 1646s| 5010k| 392 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2951k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1758.13/1758.64 c 1649s| 5020k| 390 | 1711 | 0.0 |9180k| 431 | - | 492 | 200 | 0 | 0 | 9 |2957k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1761.82/1762.33 c 1653s| 5030k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2963k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1765.22/1765.79 c 1656s| 5040k| 388 | 1711 | 0.0 |9184k| 431 | - | 492 | 200 | 0 | 0 | 9 |2969k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1768.51/1769.08 c 1659s| 5050k| 388 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2975k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1772.01/1772.59 c 1662s| 5060k| 390 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2980k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1775.52/1776.06 c 1666s| 5070k| 390 | 1711 | 0.0 |9175k| 431 | - | 492 | 200 | 0 | 0 | 9 |2986k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1778.91/1779.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.91/1779.49 c 1669s| 5080k| 392 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |2992k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1782.31/1782.81 c 1672s| 5090k| 393 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |2998k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1785.72/1786.24 c 1675s| 5100k| 390 | 1711 | 0.0 |9178k| 431 | - | 492 | 200 | 0 | 0 | 9 |3004k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1789.22/1789.71 c 1678s| 5110k| 390 | 1711 | 0.0 |9172k| 431 | - | 492 | 200 | 0 | 0 | 9 |3010k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1792.42/1792.97 c 1682s| 5120k| 389 | 1711 | 0.0 |9174k| 431 | - | 492 | 200 | 0 | 0 | 9 |3016k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1795.61/1796.10 c 1684s| 5130k| 392 | 1711 | 0.0 |9177k| 431 | - | 492 | 200 | 0 | 0 | 9 |3021k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1799.02/1799.54 c 1688s| 5140k| 390 | 1711 | 0.0 |9176k| 431 | - | 492 | 200 | 0 | 0 | 9 |3027k| 22 | 3.394390e+01 | 4.300000e+01 | 26.68%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1688.54
1800.02/1800.50 c Solving Nodes : 5142827
1800.02/1800.50 c Primal Bound : +4.30000000000000e+01 (19 solutions)
1800.02/1800.50 c Dual Bound : +3.39438963593136e+01
1800.02/1800.50 c Gap : 26.68 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.02/1800.51 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451
1800.02/1800.51 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1800.02/1800.51 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409
1800.02/1800.51 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.02/1800.51 v -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.02/1800.51 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346
1800.02/1800.51 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325
1800.02/1800.51 v -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 -x304
1800.02/1800.51 v -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.02/1800.51 v -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261
1800.02/1800.51 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240
1800.02/1800.51 v x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.02/1800.51 v -x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
1800.02/1800.51 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176
1800.02/1800.51 v -x175 x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
1800.02/1800.51 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1800.02/1800.51 v -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 x117 -x116 -x115 -x114 -x113
1800.02/1800.51 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 x90
1800.02/1800.51 v -x89 -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
1800.02/1800.51 v -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38
1800.02/1800.51 v x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13
1800.02/1800.51 v -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1688.54
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2666947-1276595221.opb
1800.02/1800.51 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 200 initial, 200 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2666947-1276595221.opb
1800.02/1800.51 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 200 initial, 201 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.51 c logicor : 200+ 10 9151422 0 0 1301899 12913854 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 1.83 0.00 0.00 1.83 0.00
1800.02/1800.51 c logicor : 435.12 0.00 435.12 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 7.85 2 0 0
1800.02/1800.51 c rootredcost : 7.72 1 0 0
1800.02/1800.51 c pseudoobj : 894.23 17159438 1729958 42437853
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 879.47 3028504 3028504 3028504 248.5 5187 235.0 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 0.36 904 904 904 237.6 9 244.4 -
1800.02/1800.51 c applied globally : - - - 8 48.0 - - -
1800.02/1800.51 c applied locally : - - - 3029400 248.5 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.01 9 - - 19 - (maximal pool size: 534)
1800.02/1800.51 c redcost : 0.00 11 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 11 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.45 11 0 0 0 0
1800.02/1800.51 c strongcg : 0.47 11 0 0 534 0
1800.02/1800.51 c cmir : 0.08 10 0 0 0 0
1800.02/1800.51 c flowcover : 0.15 10 0 0 0 0
1800.02/1800.51 c clique : 0.00 1 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 1 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 1.83 1 0 0 0 0 2
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 51.18 3585659 0 0 0 0 7171318
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c oneopt : 3.53 3 2
1800.02/1800.51 c trivial : 0.00 2 3
1800.02/1800.51 c simplerounding : 0.00 10 10
1800.02/1800.51 c zirounding : 0.00 1 1
1800.02/1800.51 c rounding : 0.00 10 1
1800.02/1800.51 c shifting : 0.01 10 1
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 7.04 1 1
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 2.05 0 0
1800.02/1800.51 c trysol : 2.61 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.28 10 1711 171.10 6110.71
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 1.83 22 5990 272.27 3273.22
1800.02/1800.51 c (at root node) : - 22 5990 272.27 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 5142827
1800.02/1800.51 c nodes (total) : 5142827
1800.02/1800.51 c nodes left : 389
1800.02/1800.51 c max depth : 431
1800.02/1800.51 c max depth (total): 431
1800.02/1800.51 c backtracks : 1526379 (29.7%)
1800.02/1800.51 c delayed cutoffs : 2028099
1800.02/1800.51 c repropagations : 4330343 (28449175 domain reductions, 1475594 cutoffs)
1800.02/1800.51 c avg switch length: 2.56
1800.02/1800.51 c switching time : 68.49
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 19 (7 improvements)
1800.02/1800.51 c First Solution : +4.92000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : +4.30000000000000e+01 (in run 1, after 1 nodes, 8.51 seconds, depth 0, found by <oneopt>)
1800.02/1800.51 c Dual Bound : +3.39438963593136e+01
1800.02/1800.51 c Gap : 26.68 %
1800.02/1800.51 c Root Dual Bound : +3.36486819906699e+01
1800.02/1800.51 c Root Iterations : 1711
1800.02/1800.52 c Time complete: 1800.03.
OK 43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666947-1276595221/watcher-2666947-1276595221 -o /tmp/evaluation-result-2666947-1276595221/solver-2666947-1276595221 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666947-1276595221.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.09 1.03 3/106 8918 /proc/meminfo: memFree=1550188/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=6696 CPUtime=0 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 989 0 0 0 0 0 0 0 18 0 1 0 814336 6856704 909 1992294400 4194304 8223781 140734757054896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8918/statm: 1674 917 344 984 0 687 0 [startup+0.0399349 s] /proc/loadavg: 1.11 1.09 1.03 3/106 8918 /proc/meminfo: memFree=1550188/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=12856 CPUtime=0.02 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 3145 0 0 0 2 0 0 0 20 0 1 0 814336 13164544 2186 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 3214 2186 457 984 0 2227 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12856 [startup+0.101941 s] /proc/loadavg: 1.11 1.09 1.03 3/106 8918 /proc/meminfo: memFree=1550188/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=14524 CPUtime=0.09 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 3672 0 0 0 8 1 0 0 20 0 1 0 814336 14872576 2707 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 3631 2707 516 984 0 2644 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14524 [startup+0.300962 s] /proc/loadavg: 1.11 1.09 1.03 3/106 8918 /proc/meminfo: memFree=1550188/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=16476 CPUtime=0.29 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 4149 0 0 0 28 1 0 0 20 0 1 0 814336 16871424 3184 1992294400 4194304 8223781 140734757054896 18446744073709551615 6032227 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 4119 3184 533 984 0 3132 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16476 [startup+0.701004 s] /proc/loadavg: 1.11 1.09 1.03 3/106 8918 /proc/meminfo: memFree=1550188/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=21852 CPUtime=0.69 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 5555 0 0 0 67 2 0 0 21 0 1 0 814336 22376448 4587 1992294400 4194304 8223781 140734757054896 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 5463 4587 554 984 0 4476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21852 [startup+1.50109 s] /proc/loadavg: 1.11 1.09 1.03 2/107 8919 /proc/meminfo: memFree=1531332/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=25356 CPUtime=1.49 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 6389 0 0 0 146 3 0 0 23 0 1 0 814336 25964544 5408 1992294400 4194304 8223781 140734757054896 18446744073709551615 5727842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 6339 5408 554 984 0 5352 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25356 [startup+3.10026 s] /proc/loadavg: 1.10 1.09 1.03 2/107 8919 /proc/meminfo: memFree=1520172/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=36644 CPUtime=3.09 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10264 0 0 0 300 9 0 0 25 0 1 0 814336 37523456 7941 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 9161 7941 575 984 0 8174 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36644 [startup+6.3016 s] /proc/loadavg: 1.10 1.09 1.03 2/107 8919 /proc/meminfo: memFree=1520048/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=36808 CPUtime=6.29 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10428 0 0 0 609 20 0 0 25 0 1 0 814336 37691392 7983 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 9202 7983 576 984 0 8215 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36808 [startup+12.7013 s] /proc/loadavg: 1.16 1.10 1.04 2/107 8919 /proc/meminfo: memFree=1526496/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=28456 CPUtime=12.69 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10523 0 0 0 1227 42 0 0 25 0 1 0 814336 29138944 6226 1992294400 4194304 8223781 140734757054896 18446744073709551615 4434049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7114 6226 587 984 0 6127 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28456 [startup+25.5016 s] /proc/loadavg: 1.13 1.10 1.03 2/107 8919 /proc/meminfo: memFree=1526620/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=28456 CPUtime=25.48 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10523 0 0 0 2427 121 0 0 25 0 1 0 814336 29138944 6226 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7114 6226 587 984 0 6127 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28456 [startup+51.1013 s] /proc/loadavg: 1.09 1.09 1.03 2/107 8919 /proc/meminfo: memFree=1526496/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=28456 CPUtime=51.08 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10523 0 0 0 4828 280 0 0 25 0 1 0 814336 29138944 6226 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7114 6226 587 984 0 6127 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28456 [startup+102.309 s] /proc/loadavg: 1.07 1.08 1.03 2/107 8921 /proc/meminfo: memFree=1526372/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29004 CPUtime=102.27 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10630 0 0 0 9624 603 0 0 25 0 1 0 814336 29700096 6333 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7251 6333 587 984 0 6264 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29004 [startup+162.301 s] /proc/loadavg: 1.06 1.08 1.03 2/107 8923 /proc/meminfo: memFree=1526000/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29420 CPUtime=162.24 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10732 0 0 0 15253 971 0 0 25 0 1 0 814336 30126080 6435 1992294400 4194304 8223781 140734757054896 18446744073709551615 4434049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7355 6435 587 984 0 6368 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29420 [startup+222.301 s] /proc/loadavg: 1.06 1.08 1.03 2/107 8925 /proc/meminfo: memFree=1525876/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29556 CPUtime=222.24 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10767 0 0 0 20878 1346 0 0 25 0 1 0 814336 30265344 6470 1992294400 4194304 8223781 140734757054896 18446744073709551615 4240373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7389 6470 587 984 0 6402 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29556 [startup+282.301 s] /proc/loadavg: 1.12 1.09 1.04 2/107 8925 /proc/meminfo: memFree=1525628/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29556 CPUtime=282.22 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10787 0 0 0 26502 1720 0 0 25 0 1 0 814336 30265344 6490 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7389 6490 587 984 0 6402 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 29556 [startup+342.301 s] /proc/loadavg: 1.07 1.08 1.04 2/107 8927 /proc/meminfo: memFree=1525380/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29688 CPUtime=342.21 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10803 0 0 0 32115 2106 0 0 25 0 1 0 814336 30400512 6506 1992294400 4194304 8223781 140734757054896 18446744073709551615 4240492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7422 6506 587 984 0 6435 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 29688 [startup+402.302 s] /proc/loadavg: 1.03 1.07 1.03 2/107 8929 /proc/meminfo: memFree=1525256/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29688 CPUtime=402.19 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10821 0 0 0 37750 2469 0 0 25 0 1 0 814336 30400512 6524 1992294400 4194304 8223781 140734757054896 18446744073709551615 5918766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7422 6524 587 984 0 6435 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 29688 [startup+462.302 s] /proc/loadavg: 1.01 1.05 1.02 2/107 8931 /proc/meminfo: memFree=1525132/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29688 CPUtime=462.17 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10825 0 0 0 43391 2826 0 0 25 0 1 0 814336 30400512 6528 1992294400 4194304 8223781 140734757054896 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7422 6528 587 984 0 6435 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 29688 [startup+522.302 s] /proc/loadavg: 1.00 1.04 1.02 2/107 8933 /proc/meminfo: memFree=1525008/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29688 CPUtime=522.16 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10829 0 0 0 49020 3196 0 0 25 0 1 0 814336 30400512 6532 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7422 6532 587 984 0 6435 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 29688 [startup+582.302 s] /proc/loadavg: 1.00 1.03 1.01 2/107 8933 /proc/meminfo: memFree=1524884/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=29836 CPUtime=582.15 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10850 0 0 0 54651 3564 0 0 25 0 1 0 814336 30552064 6553 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7459 6553 587 984 0 6472 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 29836 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.01 2/107 8935 /proc/meminfo: memFree=1524388/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30108 CPUtime=642.13 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10918 0 0 0 60282 3931 0 0 25 0 1 0 814336 30830592 6621 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7527 6621 587 984 0 6540 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 30108 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8950 /proc/meminfo: memFree=1523272/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30240 CPUtime=882.06 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10937 0 0 0 82827 5379 0 0 25 0 1 0 814336 30965760 6640 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7560 6640 587 984 0 6573 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 30240 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8952 /proc/meminfo: memFree=1523148/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30372 CPUtime=942.04 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 10995 0 0 0 88466 5738 0 0 25 0 1 0 814336 31100928 6698 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7593 6698 587 984 0 6606 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 30372 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8954 /proc/meminfo: memFree=1523024/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30372 CPUtime=1002.02 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11002 0 0 0 94092 6110 0 0 25 0 1 0 814336 31100928 6705 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7593 6705 587 984 0 6606 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 30372 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8956 /proc/meminfo: memFree=1522900/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30504 CPUtime=1062.01 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11003 0 0 0 99718 6483 0 0 25 0 1 0 814336 31236096 6706 1992294400 4194304 8223781 140734757054896 18446744073709551615 5918772 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7626 6706 587 984 0 6639 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 30504 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8958 /proc/meminfo: memFree=1522776/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30504 CPUtime=1121.99 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11005 0 0 0 105350 6849 0 0 25 0 1 0 814336 31236096 6708 1992294400 4194304 8223781 140734757054896 18446744073709551615 5917924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7626 6708 587 984 0 6639 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 30504 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8958 /proc/meminfo: memFree=1522528/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30504 CPUtime=1181.97 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11005 0 0 0 110967 7230 0 0 25 0 1 0 814336 31236096 6708 1992294400 4194304 8223781 140734757054896 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7626 6708 587 984 0 6639 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 30504 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8960 /proc/meminfo: memFree=1522404/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30504 CPUtime=1241.96 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11016 0 0 0 116592 7604 0 0 25 0 1 0 814336 31236096 6719 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7626 6719 587 984 0 6639 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 30504 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8962 /proc/meminfo: memFree=1522156/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30504 CPUtime=1301.95 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11034 0 0 0 122206 7989 0 0 25 0 1 0 814336 31236096 6737 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7626 6737 587 984 0 6639 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 30504 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8964 /proc/meminfo: memFree=1522156/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1361.92 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11038 0 0 0 127820 8372 0 0 25 0 1 0 814336 31371264 6741 1992294400 4194304 8223781 140734757054896 18446744073709551615 4676347 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6741 587 984 0 6672 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 30636 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8966 /proc/meminfo: memFree=1522032/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1421.92 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11042 0 0 0 133433 8759 0 0 25 0 1 0 814336 31371264 6745 1992294400 4194304 8223781 140734757054896 18446744073709551615 4704233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6745 587 984 0 6672 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 30636 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8966 /proc/meminfo: memFree=1521908/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1481.9 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11042 0 0 0 139056 9134 0 0 25 0 1 0 814336 31371264 6745 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6745 587 984 0 6672 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 30636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8968 /proc/meminfo: memFree=1521660/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1541.89 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11045 0 0 0 144681 9508 0 0 25 0 1 0 814336 31371264 6748 1992294400 4194304 8223781 140734757054896 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6748 587 984 0 6672 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 30636 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8970 /proc/meminfo: memFree=1521660/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1601.87 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11048 0 0 0 150286 9901 0 0 25 0 1 0 814336 31371264 6751 1992294400 4194304 8223781 140734757054896 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6751 587 984 0 6672 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 30636 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8972 /proc/meminfo: memFree=1521536/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1661.85 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11055 0 0 0 155906 10279 0 0 25 0 1 0 814336 31371264 6758 1992294400 4194304 8223781 140734757054896 18446744073709551615 5909165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6758 587 984 0 6672 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 30636 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8974 /proc/meminfo: memFree=1521288/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1721.84 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11060 0 0 0 161528 10656 0 0 25 0 1 0 814336 31371264 6763 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6763 587 984 0 6672 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 30636 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8981 /proc/meminfo: memFree=1520424/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1781.81 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11065 0 0 0 167149 11032 0 0 25 0 1 0 814336 31371264 6768 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6768 587 984 0 6672 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 30636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8983 /proc/meminfo: memFree=1520424/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1800.02 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11065 0 0 0 168855 11147 0 0 25 0 1 0 814336 31371264 6768 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6768 587 984 0 6672 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 30636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8983 /proc/meminfo: memFree=1520424/2059040 swapFree=4192956/4192956 [pid=8918] ppid=8916 vsize=30636 CPUtime=1800.02 /proc/8918/stat : 8918 (pbscip.linux.x8) R 8916 8918 2331 0 -1 4202496 11065 0 0 0 168855 11147 0 0 25 0 1 0 814336 31371264 6768 1992294400 4194304 8223781 140734757054896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8918/statm: 7659 6768 587 984 0 6672 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 30636 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.04 CPU user time (s): 1688.56 CPU system time (s): 111.479 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 36984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1688.56 system time used= 111.479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11073 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= 6546 runsolver used 2.91956 second user time and 8.59969 second system time The end
Begin job on node045 at 2010-06-15 11:47:01 IDJOB=2666947 IDBENCH=2878 IDSOLVER=1169 FILE ID=node045/2666947-1276595221 PBS_JOBID= 11173566 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666947-1276595221/watcher-2666947-1276595221 -o /tmp/evaluation-result-2666947-1276595221/solver-2666947-1276595221 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666947-1276595221.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680 RANDOM SEED=19521757 node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1550592 kB Buffers: 41512 kB Cached: 341140 kB SwapCached: 0 kB Active: 182520 kB Inactive: 259532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1550592 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4508 kB Writeback: 0 kB AnonPages: 59232 kB Mapped: 15316 kB Slab: 44500 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180712 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node045 at 2010-06-15 12:17:04