Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 364 | 1800.09 | 1800.55 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e4.opb |
| MD5SUM | 898f4661a42594ef028c1f962398614b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 364 |
| Best CPU time to get the best result obtained on this benchmark | 104.297 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 364 |
| Optimality of the best value was proved | YES |
| Number of variables | 774 |
| Total number of constraints | 7493 |
| Number of constraints which are clauses | 7493 |
| 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 | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 774 |
| 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 | 774 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 774 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: NONE] [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-2664680-1276452178.opb>
0.09/0.16 c original problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.09/0.16 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.20 c presolving:
0.29/0.34 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7298 upgd conss, 51462 impls, 0 clqs
0.29/0.37 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7493 upgd conss, 51462 impls, 0 clqs
0.39/0.47 c (0.3s) probing: 101/774 (13.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.47 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.47 c presolving (3 rounds):
0.39/0.47 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 51462 implications, 0 cliques
0.39/0.47 c presolved problem has 774 variables (774 bin, 0 int, 0 impl, 0 cont) and 7493 constraints
0.39/0.47 c 7493 constraints of type <logicor>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.25
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 1.2.1.2
0.39/0.47 c
0.39/0.47 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c conflict/interconss = 0
0.39/0.47 c
0.39/0.47 c # should binary conflicts be preferred?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c conflict/preferbinary = TRUE
0.39/0.47 c
0.39/0.47 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.47 c constraints/agelimit = 1
0.39/0.47 c
0.39/0.47 c # should enforcement of pseudo solution be disabled?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/disableenfops = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for displaying node information lines
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.47 c display/freq = 10000
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1799.85
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 1620
0.39/0.47 c
0.39/0.47 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.47 c lp/solvefreq = -1
0.39/0.47 c
0.39/0.47 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.39/0.47 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.47 c lp/pricing = a
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify inequalities
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/linear/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # should presolving try to simplify knapsacks
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.47 c
0.39/0.47 c # priority of node selection rule <dfs> in standard mode
0.39/0.47 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.47 c nodeselection/dfs/stdpriority = 1000000
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.39/0.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.47 c 0.3s| 1 | 2 | 0 | - |8935k| 0 | - | 774 |7493 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.26 o 377
1.19/1.26 c * 1.0s| 422 | 17 | 0 | 0.0 |9118k| 35 | - | 774 |7503 | 0 | 0 | 0 | 245 | 0 | 1.000000e+00 | 3.770000e+02 | Large
1.49/1.56 o 374
1.49/1.56 c * 1.3s| 1414 | 29 | 0 | 0.0 |9135k| 38 | - | 774 |7503 | 0 | 0 | 0 | 417 | 0 | 1.000000e+00 | 3.740000e+02 | Large
4.59/4.65 c 4.2s| 10000 | 8 | 0 | 0.0 |9137k| 38 | - | 774 |7520 | 0 | 0 | 0 |2304 | 0 | 1.000000e+00 | 3.740000e+02 | Large
7.49/7.59 o 366
7.49/7.59 c * 7.0s| 17636 | 35 | 0 | 0.0 |9152k| 55 | - | 774 |7509 | 0 | 0 | 0 |4269 | 0 | 1.000000e+00 | 3.660000e+02 | Large
7.60/7.61 o 365
7.60/7.61 c * 7.0s| 17670 | 27 | 0 | 0.0 |9162k| 55 | - | 774 |7514 | 0 | 0 | 0 |4284 | 0 | 1.000000e+00 | 3.650000e+02 | Large
8.19/8.20 o 364
8.19/8.20 c * 7.6s| 19104 | 24 | 0 | 0.0 |9171k| 55 | - | 774 |7512 | 0 | 0 | 0 |4684 | 0 | 1.000000e+00 | 3.640000e+02 | Large
8.49/8.57 c 8.0s| 20000 | 21 | 0 | 0.0 |9170k| 55 | - | 774 |7517 | 0 | 0 | 0 |4940 | 0 | 1.000000e+00 | 3.640000e+02 | Large
12.69/12.71 c 11.9s| 30000 | 23 | 0 | 0.0 |9171k| 55 | - | 774 |7511 | 0 | 0 | 0 |7896 | 0 | 1.000000e+00 | 3.640000e+02 | Large
16.18/16.26 c 15.3s| 40000 | 20 | 0 | 0.0 |9170k| 55 | - | 774 |7513 | 0 | 0 | 0 |9953 | 0 | 1.000000e+00 | 3.640000e+02 | Large
19.89/19.91 c 18.8s| 50000 | 18 | 0 | 0.0 |9169k| 55 | - | 774 |7509 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 3.640000e+02 | Large
23.28/23.38 c 22.1s| 60000 | 23 | 0 | 0.0 |9170k| 55 | - | 774 |7510 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 3.640000e+02 | Large
27.39/27.48 c 26.0s| 70000 | 20 | 0 | 0.0 |9172k| 55 | - | 774 |7513 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 3.640000e+02 | Large
31.08/31.11 c 29.5s| 80000 | 20 | 0 | 0.0 |9174k| 55 | - | 774 |7517 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 3.640000e+02 | Large
34.48/34.59 c 32.8s| 90000 | 18 | 0 | 0.0 |9171k| 55 | - | 774 |7514 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 3.640000e+02 | Large
38.09/38.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.09/38.14 c 36.2s|100000 | 19 | 0 | 0.0 |9172k| 55 | - | 774 |7511 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 3.640000e+02 | Large
41.48/41.50 c 39.3s|110000 | 18 | 0 | 0.0 |9173k| 55 | - | 774 |7517 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 3.640000e+02 | Large
44.68/44.72 c 42.4s|120000 | 21 | 0 | 0.0 |9171k| 55 | - | 774 |7508 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 3.640000e+02 | Large
48.48/48.57 c 46.1s|130000 | 16 | 0 | 0.0 |9173k| 55 | - | 774 |7517 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 3.640000e+02 | Large
52.08/52.18 c 49.5s|140000 | 18 | 0 | 0.0 |9174k| 55 | - | 774 |7513 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 3.640000e+02 | Large
55.77/55.87 c 53.0s|150000 | 22 | 0 | 0.0 |9172k| 55 | - | 774 |7508 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 3.640000e+02 | Large
59.58/59.60 c 56.6s|160000 | 19 | 0 | 0.0 |9172k| 55 | - | 774 |7511 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 3.640000e+02 | Large
63.38/63.42 c 60.2s|170000 | 28 | 0 | 0.0 |9177k| 55 | - | 774 |7513 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 3.640000e+02 | Large
67.38/67.41 c 64.0s|180000 | 23 | 0 | 0.0 |9176k| 55 | - | 774 |7513 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 3.640000e+02 | Large
71.38/71.41 c 67.9s|190000 | 20 | 0 | 0.0 |9178k| 55 | - | 774 |7520 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 3.640000e+02 | Large
75.78/75.89 c 72.2s|200000 | 14 | 0 | 0.0 |9175k| 55 | - | 774 |7514 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 3.640000e+02 | Large
79.97/80.07 c 76.2s|210000 | 14 | 0 | 0.0 |9176k| 55 | - | 774 |7518 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 3.640000e+02 | Large
84.17/84.25 c 80.2s|220000 | 23 | 0 | 0.0 |9173k| 55 | - | 774 |7506 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 3.640000e+02 | Large
87.88/87.92 c 83.7s|230000 | 22 | 0 | 0.0 |9174k| 55 | - | 774 |7507 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 3.640000e+02 | Large
91.27/91.32 c 86.9s|240000 | 19 | 0 | 0.0 |9174k| 55 | - | 774 |7508 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 3.640000e+02 | Large
94.57/94.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.57/94.60 c 90.1s|250000 | 21 | 0 | 0.0 |9175k| 55 | - | 774 |7511 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 3.640000e+02 | Large
97.88/97.97 c 93.2s|260000 | 14 | 0 | 0.0 |9174k| 55 | - | 774 |7510 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 3.640000e+02 | Large
101.26/101.39 c 96.5s|270000 | 16 | 0 | 0.0 |9172k| 55 | - | 774 |7509 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 3.640000e+02 | Large
104.67/104.77 c 99.7s|280000 | 19 | 0 | 0.0 |9177k| 55 | - | 774 |7512 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 3.640000e+02 | Large
108.07/108.17 c 103s|290000 | 15 | 0 | 0.0 |9173k| 55 | - | 774 |7507 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 3.640000e+02 | Large
111.56/111.68 c 106s|300000 | 13 | 0 | 0.0 |9172k| 55 | - | 774 |7510 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 3.640000e+02 | Large
114.97/115.00 c 109s|310000 | 15 | 0 | 0.0 |9173k| 55 | - | 774 |7509 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 3.640000e+02 | Large
118.46/118.56 c 113s|320000 | 17 | 0 | 0.0 |9173k| 55 | - | 774 |7508 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 3.640000e+02 | Large
122.07/122.14 c 116s|330000 | 18 | 0 | 0.0 |9173k| 55 | - | 774 |7509 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 3.640000e+02 | Large
125.76/125.86 c 120s|340000 | 20 | 0 | 0.0 |9177k| 55 | - | 774 |7518 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 3.640000e+02 | Large
130.06/130.17 c 124s|350000 | 14 | 0 | 0.0 |9177k| 55 | - | 774 |7521 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 3.640000e+02 | Large
134.07/134.17 c 128s|360000 | 17 | 0 | 0.0 |9174k| 55 | - | 774 |7511 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 3.640000e+02 | Large
138.26/138.31 c 132s|370000 | 18 | 0 | 0.0 |9175k| 55 | - | 774 |7510 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 3.640000e+02 | Large
142.46/142.59 c 136s|380000 | 21 | 0 | 0.0 |9177k| 55 | - | 774 |7515 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 3.640000e+02 | Large
146.75/146.88 c 140s|390000 | 15 | 0 | 0.0 |9174k| 55 | - | 774 |7510 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 3.640000e+02 | Large
150.85/150.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.85/150.93 c 144s|400000 | 14 | 0 | 0.0 |9177k| 55 | - | 774 |7519 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 3.640000e+02 | Large
154.75/154.86 c 148s|410000 | 20 | 0 | 0.0 |9177k| 55 | - | 774 |7511 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 3.640000e+02 | Large
158.65/158.76 c 151s|420000 | 16 | 0 | 0.0 |9177k| 55 | - | 774 |7511 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 3.640000e+02 | Large
162.25/162.35 c 155s|430000 | 13 | 0 | 0.0 |9174k| 55 | - | 774 |7511 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 3.640000e+02 | Large
165.74/165.89 c 158s|440000 | 16 | 0 | 0.0 |9176k| 55 | - | 774 |7510 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 3.640000e+02 | Large
169.44/169.51 c 161s|450000 | 15 | 0 | 0.0 |9175k| 55 | - | 774 |7512 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 3.640000e+02 | Large
173.34/173.48 c 165s|460000 | 24 | 0 | 0.0 |9178k| 55 | - | 774 |7512 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 3.640000e+02 | Large
177.24/177.38 c 169s|470000 | 20 | 0 | 0.0 |9177k| 55 | - | 774 |7510 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 3.640000e+02 | Large
180.75/180.83 c 172s|480000 | 16 | 0 | 0.0 |9175k| 55 | - | 774 |7510 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 3.640000e+02 | Large
184.44/184.51 c 176s|490000 | 13 | 0 | 0.0 |9175k| 55 | - | 774 |7512 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 3.640000e+02 | Large
188.05/188.17 c 179s|500000 | 12 | 0 | 0.0 |9175k| 55 | - | 774 |7513 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 3.640000e+02 | Large
191.84/191.95 c 183s|510000 | 7 | 0 | 0.0 |9171k| 55 | - | 774 |7505 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 3.640000e+02 | Large
196.14/196.23 c 187s|520000 | 23 | 0 | 0.0 |9183k| 55 | - | 774 |7512 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 3.640000e+02 | Large
200.44/200.54 c 191s|530000 | 21 | 0 | 0.0 |9180k| 55 | - | 774 |7505 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 3.640000e+02 | Large
204.04/204.12 c 194s|540000 | 20 | 0 | 0.0 |9180k| 55 | - | 774 |7506 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 3.640000e+02 | Large
207.44/207.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.44/207.58 c 198s|550000 | 17 | 0 | 0.0 |9180k| 55 | - | 774 |7504 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 3.640000e+02 | Large
211.05/211.14 c 201s|560000 | 14 | 0 | 0.0 |9178k| 55 | - | 774 |7504 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 3.640000e+02 | Large
214.44/214.56 c 204s|570000 | 16 | 0 | 0.0 |9181k| 55 | - | 774 |7508 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 3.640000e+02 | Large
218.14/218.23 c 208s|580000 | 19 | 0 | 0.0 |9179k| 55 | - | 774 |7505 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 3.640000e+02 | Large
221.73/221.89 c 211s|590000 | 17 | 0 | 0.0 |9180k| 55 | - | 774 |7508 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 3.640000e+02 | Large
225.44/225.51 c 215s|600000 | 19 | 0 | 0.0 |9181k| 55 | - | 774 |7508 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 3.640000e+02 | Large
228.94/229.00 c 218s|610000 | 16 | 0 | 0.0 |9178k| 55 | - | 774 |7504 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 3.640000e+02 | Large
232.23/232.36 c 221s|620000 | 18 | 0 | 0.0 |9179k| 55 | - | 774 |7504 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 3.640000e+02 | Large
235.53/235.66 c 225s|630000 | 16 | 0 | 0.0 |9179k| 55 | - | 774 |7506 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 3.640000e+02 | Large
238.93/239.02 c 228s|640000 | 16 | 0 | 0.0 |9179k| 55 | - | 774 |7505 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 3.640000e+02 | Large
242.63/242.72 c 231s|650000 | 13 | 0 | 0.0 |9179k| 55 | - | 774 |7508 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 3.640000e+02 | Large
246.73/246.86 c 235s|660000 | 14 | 0 | 0.0 |9183k| 55 | - | 774 |7514 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 3.640000e+02 | Large
250.93/251.08 c 239s|670000 | 16 | 0 | 0.0 |9178k| 55 | - | 774 |7503 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 3.640000e+02 | Large
255.33/255.43 c 243s|680000 | 15 | 0 | 0.0 |9178k| 55 | - | 774 |7503 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 3.640000e+02 | Large
258.92/259.06 c 247s|690000 | 24 | 0 | 0.0 |9180k| 55 | - | 774 |7503 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.640000e+02 | Large
262.83/262.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.83/262.99 c 251s|700000 | 15 | 0 | 0.0 |9179k| 55 | - | 774 |7503 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 3.640000e+02 | Large
266.63/266.70 c 254s|710000 | 13 | 0 | 0.0 |9178k| 55 | - | 774 |7503 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 3.640000e+02 | Large
270.12/270.22 c 257s|720000 | 18 | 0 | 0.0 |9179k| 55 | - | 774 |7504 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 3.640000e+02 | Large
273.83/273.95 c 261s|730000 | 18 | 0 | 0.0 |9180k| 55 | - | 774 |7506 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 3.640000e+02 | Large
277.82/277.97 c 265s|740000 | 12 | 0 | 0.0 |9181k| 55 | - | 774 |7509 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 3.640000e+02 | Large
282.02/282.19 c 269s|750000 | 19 | 0 | 0.0 |9183k| 55 | - | 774 |7513 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 3.640000e+02 | Large
286.93/287.03 c 274s|760000 | 15 | 0 | 0.0 |9180k| 55 | - | 774 |7507 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 3.640000e+02 | Large
291.32/291.40 c 278s|770000 | 16 | 0 | 0.0 |9180k| 55 | - | 774 |7509 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 3.640000e+02 | Large
295.11/295.22 c 281s|780000 | 14 | 0 | 0.0 |9180k| 55 | - | 774 |7506 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 3.640000e+02 | Large
299.02/299.17 c 285s|790000 | 15 | 0 | 0.0 |9181k| 55 | - | 774 |7510 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 3.640000e+02 | Large
302.42/302.56 c 288s|800000 | 26 | 0 | 0.0 |9181k| 55 | - | 774 |7503 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 3.640000e+02 | Large
305.92/306.09 c 292s|810000 | 18 | 0 | 0.0 |9180k| 55 | - | 774 |7505 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 3.640000e+02 | Large
309.32/309.47 c 295s|820000 | 19 | 0 | 0.0 |9180k| 55 | - | 774 |7505 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 3.640000e+02 | Large
312.91/313.09 c 298s|830000 | 11 | 0 | 0.0 |9180k| 55 | - | 774 |7509 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 3.640000e+02 | Large
316.62/316.76 c 302s|840000 | 18 | 0 | 0.0 |9180k| 55 | - | 774 |7506 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 3.640000e+02 | Large
320.61/320.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.61/320.77 c 306s|850000 | 15 | 0 | 0.0 |9181k| 55 | - | 774 |7508 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 3.640000e+02 | Large
324.91/325.04 c 310s|860000 | 10 | 0 | 0.0 |9181k| 55 | - | 774 |7509 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 3.640000e+02 | Large
328.61/328.71 c 313s|870000 | 13 | 0 | 0.0 |9178k| 55 | - | 774 |7503 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 3.640000e+02 | Large
332.31/332.45 c 317s|880000 | 16 | 0 | 0.0 |9180k| 55 | - | 774 |7504 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 3.640000e+02 | Large
336.01/336.17 c 320s|890000 | 15 | 0 | 0.0 |9179k| 55 | - | 774 |7504 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 3.640000e+02 | Large
339.82/339.98 c 324s|900000 | 10 | 0 | 0.0 |9179k| 55 | - | 774 |7504 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 3.640000e+02 | Large
344.60/344.71 c 329s|910000 | 16 | 0 | 0.0 |9225k| 55 | - | 774 |7528 | 0 | 0 | 0 | 202k| 0 | 2.000000e+00 | 3.640000e+02 | Large
351.20/351.33 c 335s|920000 | 23 | 0 | 0.0 |9251k| 55 | - | 774 |7568 | 0 | 0 | 0 | 206k| 0 | 2.000000e+00 | 3.640000e+02 | Large
355.60/355.79 c 339s|930000 | 19 | 0 | 0.0 |9252k| 55 | - | 774 |7570 | 0 | 0 | 0 | 210k| 0 | 2.000000e+00 | 3.640000e+02 | Large
360.00/360.15 c 343s|940000 | 18 | 0 | 0.0 |9247k| 55 | - | 774 |7559 | 0 | 0 | 0 | 213k| 0 | 2.000000e+00 | 3.640000e+02 | Large
363.70/363.87 c 347s|950000 | 21 | 0 | 0.0 |9247k| 55 | - | 774 |7556 | 0 | 0 | 0 | 215k| 0 | 2.000000e+00 | 3.640000e+02 | Large
367.40/367.55 c 350s|960000 | 17 | 0 | 0.0 |9250k| 55 | - | 774 |7562 | 0 | 0 | 0 | 217k| 0 | 2.000000e+00 | 3.640000e+02 | Large
371.70/371.84 c 355s|970000 | 14 | 0 | 0.0 |9253k| 55 | - | 774 |7570 | 0 | 0 | 0 | 220k| 0 | 2.000000e+00 | 3.640000e+02 | Large
375.70/375.87 c 358s|980000 | 13 | 0 | 0.0 |9256k| 55 | - | 774 |7577 | 0 | 0 | 0 | 222k| 0 | 2.000000e+00 | 3.640000e+02 | Large
380.40/380.58 c 363s|990000 | 15 | 0 | 0.0 |9261k| 55 | - | 774 |7580 | 0 | 0 | 0 | 226k| 0 | 2.000000e+00 | 3.640000e+02 | Large
385.00/385.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.00/385.13 c 367s| 1000k| 20 | 0 | 0.0 |9264k| 55 | - | 774 |7575 | 0 | 0 | 0 | 229k| 0 | 2.000000e+00 | 3.640000e+02 | Large
389.49/389.65 c 372s| 1010k| 17 | 0 | 0.0 |9273k| 55 | - | 774 |7596 | 0 | 0 | 0 | 232k| 0 | 2.000000e+00 | 3.640000e+02 | Large
394.09/394.26 c 376s| 1020k| 15 | 0 | 0.0 |9269k| 55 | - | 774 |7584 | 0 | 0 | 0 | 236k| 0 | 2.000000e+00 | 3.640000e+02 | Large
397.89/398.05 c 380s| 1030k| 15 | 0 | 0.0 |9271k| 55 | - | 774 |7588 | 0 | 0 | 0 | 238k| 0 | 2.000000e+00 | 3.640000e+02 | Large
402.19/402.30 c 384s| 1040k| 20 | 0 | 0.0 |9277k| 55 | - | 774 |7597 | 0 | 0 | 0 | 241k| 0 | 2.000000e+00 | 3.640000e+02 | Large
406.59/406.78 c 388s| 1050k| 21 | 0 | 0.0 |9282k| 55 | - | 774 |7607 | 0 | 0 | 0 | 244k| 0 | 2.000000e+00 | 3.640000e+02 | Large
410.59/410.75 c 392s| 1060k| 17 | 0 | 0.0 |9284k| 55 | - | 774 |7612 | 0 | 0 | 0 | 247k| 0 | 2.000000e+00 | 3.640000e+02 | Large
414.69/414.87 c 396s| 1070k| 16 | 0 | 0.0 |9283k| 55 | - | 774 |7610 | 0 | 0 | 0 | 251k| 0 | 2.000000e+00 | 3.640000e+02 | Large
418.79/418.92 c 400s| 1080k| 14 | 0 | 0.0 |9289k| 55 | - | 774 |7625 | 0 | 0 | 0 | 254k| 0 | 2.000000e+00 | 3.640000e+02 | Large
422.99/423.19 c 404s| 1090k| 21 | 0 | 0.0 |9277k| 55 | - | 774 |7590 | 0 | 0 | 0 | 257k| 0 | 2.000000e+00 | 3.640000e+02 | Large
427.29/427.44 c 408s| 1100k| 14 | 0 | 0.0 |9278k| 55 | - | 774 |7594 | 0 | 0 | 0 | 260k| 0 | 2.000000e+00 | 3.640000e+02 | Large
430.79/430.97 c 411s| 1110k| 14 | 0 | 0.0 |9276k| 55 | - | 774 |7590 | 0 | 0 | 0 | 262k| 0 | 2.000000e+00 | 3.640000e+02 | Large
434.78/434.91 c 415s| 1120k| 17 | 0 | 0.0 |9285k| 55 | - | 774 |7609 | 0 | 0 | 0 | 264k| 0 | 2.000000e+00 | 3.640000e+02 | Large
439.18/439.34 c 419s| 1130k| 20 | 0 | 0.0 |9281k| 55 | - | 774 |7597 | 0 | 0 | 0 | 268k| 0 | 2.000000e+00 | 3.640000e+02 | Large
443.58/443.73 c 423s| 1140k| 17 | 0 | 0.0 |9283k| 55 | - | 774 |7601 | 0 | 0 | 0 | 271k| 0 | 2.000000e+00 | 3.640000e+02 | Large
447.78/447.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.78/447.98 c 427s| 1150k| 10 | 0 | 0.0 |9296k| 55 | - | 774 |7629 | 0 | 0 | 0 | 274k| 0 | 2.000000e+00 | 3.640000e+02 | Large
451.99/452.13 c 431s| 1160k| 16 | 0 | 0.0 |9293k| 55 | - | 774 |7615 | 0 | 0 | 0 | 277k| 0 | 2.000000e+00 | 3.640000e+02 | Large
456.29/456.48 c 435s| 1170k| 14 | 0 | 0.0 |9293k| 55 | - | 774 |7616 | 0 | 0 | 0 | 280k| 0 | 2.000000e+00 | 3.640000e+02 | Large
460.78/460.91 c 440s| 1180k| 17 | 0 | 0.0 |9296k| 55 | - | 774 |7621 | 0 | 0 | 0 | 283k| 0 | 2.000000e+00 | 3.640000e+02 | Large
465.18/465.32 c 444s| 1190k| 16 | 0 | 0.0 |9303k| 55 | - | 774 |7631 | 0 | 0 | 0 | 287k| 0 | 2.000000e+00 | 3.640000e+02 | Large
469.58/469.75 c 448s| 1200k| 20 | 0 | 0.0 |9306k| 55 | - | 774 |7627 | 0 | 0 | 0 | 290k| 0 | 2.000000e+00 | 3.640000e+02 | Large
473.98/474.15 c 452s| 1210k| 14 | 0 | 0.0 |9308k| 55 | - | 774 |7635 | 0 | 0 | 0 | 294k| 0 | 2.000000e+00 | 3.640000e+02 | Large
478.37/478.53 c 456s| 1220k| 21 | 0 | 0.0 |9311k| 55 | - | 774 |7634 | 0 | 0 | 0 | 297k| 0 | 2.000000e+00 | 3.640000e+02 | Large
482.47/482.65 c 460s| 1230k| 17 | 0 | 0.0 |9312k| 55 | - | 774 |7638 | 0 | 0 | 0 | 300k| 0 | 2.000000e+00 | 3.640000e+02 | Large
486.67/486.84 c 464s| 1240k| 15 | 0 | 0.0 |9321k| 55 | - | 774 |7652 | 0 | 0 | 0 | 303k| 0 | 2.000000e+00 | 3.640000e+02 | Large
490.66/490.85 c 468s| 1250k| 21 | 0 | 0.0 |9324k| 55 | - | 774 |7647 | 0 | 0 | 0 | 306k| 0 | 2.000000e+00 | 3.640000e+02 | Large
494.47/494.66 c 472s| 1260k| 17 | 0 | 0.0 |9331k| 55 | - | 774 |7659 | 0 | 0 | 0 | 308k| 0 | 2.000000e+00 | 3.640000e+02 | Large
498.46/498.65 c 476s| 1270k| 16 | 0 | 0.0 |9346k| 55 | - | 774 |7687 | 0 | 0 | 0 | 311k| 0 | 2.000000e+00 | 3.640000e+02 | Large
502.37/502.54 c 479s| 1280k| 17 | 0 | 0.0 |9343k| 55 | - | 774 |7679 | 0 | 0 | 0 | 314k| 0 | 2.000000e+00 | 3.640000e+02 | Large
506.66/506.81 c 483s| 1290k| 13 | 0 | 0.0 |9342k| 55 | - | 774 |7681 | 0 | 0 | 0 | 317k| 0 | 2.000000e+00 | 3.640000e+02 | Large
511.07/511.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.07/511.24 c 488s| 1300k| 13 | 0 | 0.0 |9343k| 55 | - | 774 |7680 | 0 | 0 | 0 | 320k| 0 | 2.000000e+00 | 3.640000e+02 | Large
515.06/515.28 c 491s| 1310k| 16 | 0 | 0.0 |9342k| 55 | - | 774 |7676 | 0 | 0 | 0 | 323k| 0 | 2.000000e+00 | 3.640000e+02 | Large
519.56/519.71 c 496s| 1320k| 16 | 0 | 0.0 |9354k| 55 | - | 774 |7691 | 0 | 0 | 0 | 327k| 0 | 2.000000e+00 | 3.640000e+02 | Large
523.66/523.87 c 500s| 1330k| 12 | 0 | 0.0 |9370k| 55 | - | 774 |7718 | 0 | 0 | 0 | 330k| 0 | 2.000000e+00 | 3.640000e+02 | Large
528.26/528.41 c 504s| 1340k| 20 | 0 | 0.0 |9265k| 55 | - | 774 |7565 | 0 | 0 | 0 | 333k| 0 | 2.000000e+00 | 3.640000e+02 | Large
532.96/533.14 c 508s| 1350k| 16 | 0 | 0.0 |9266k| 55 | - | 774 |7568 | 0 | 0 | 0 | 337k| 0 | 2.000000e+00 | 3.640000e+02 | Large
537.67/537.80 c 513s| 1360k| 14 | 0 | 0.0 |9264k| 55 | - | 774 |7563 | 0 | 0 | 0 | 341k| 0 | 2.000000e+00 | 3.640000e+02 | Large
541.65/541.84 c 517s| 1370k| 12 | 0 | 0.0 |9279k| 55 | - | 774 |7591 | 0 | 0 | 0 | 343k| 0 | 2.000000e+00 | 3.640000e+02 | Large
546.05/546.21 c 521s| 1380k| 14 | 0 | 0.0 |9298k| 55 | - | 774 |7615 | 0 | 0 | 0 | 346k| 0 | 2.000000e+00 | 3.640000e+02 | Large
550.46/550.66 c 525s| 1390k| 16 | 0 | 0.0 |9295k| 55 | - | 774 |7607 | 0 | 0 | 0 | 350k| 0 | 2.000000e+00 | 3.640000e+02 | Large
554.65/554.80 c 529s| 1400k| 16 | 0 | 0.0 |9295k| 55 | - | 774 |7608 | 0 | 0 | 0 | 353k| 0 | 2.000000e+00 | 3.640000e+02 | Large
558.56/558.78 c 533s| 1410k| 16 | 0 | 0.0 |9302k| 55 | - | 774 |7618 | 0 | 0 | 0 | 355k| 0 | 2.000000e+00 | 3.640000e+02 | Large
562.85/563.03 c 537s| 1420k| 15 | 0 | 0.0 |9312k| 55 | - | 774 |7632 | 0 | 0 | 0 | 358k| 0 | 2.000000e+00 | 3.640000e+02 | Large
567.25/567.47 c 541s| 1430k| 15 | 0 | 0.0 |9320k| 55 | - | 774 |7650 | 0 | 0 | 0 | 362k| 0 | 2.000000e+00 | 3.640000e+02 | Large
571.45/571.64 c 545s| 1440k| 18 | 0 | 0.0 |9323k| 55 | - | 774 |7639 | 0 | 0 | 0 | 365k| 0 | 2.000000e+00 | 3.640000e+02 | Large
575.84/576.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.84/576.03 c 549s| 1450k| 19 | 0 | 0.0 |9323k| 55 | - | 774 |7640 | 0 | 0 | 0 | 369k| 0 | 2.000000e+00 | 3.640000e+02 | Large
580.24/580.45 c 554s| 1460k| 11 | 0 | 0.0 |9323k| 55 | - | 774 |7645 | 0 | 0 | 0 | 372k| 0 | 2.000000e+00 | 3.640000e+02 | Large
584.64/584.86 c 558s| 1470k| 18 | 0 | 0.0 |9330k| 55 | - | 774 |7652 | 0 | 0 | 0 | 375k| 0 | 2.000000e+00 | 3.640000e+02 | Large
588.74/588.97 c 562s| 1480k| 16 | 0 | 0.0 |9347k| 55 | - | 774 |7679 | 0 | 0 | 0 | 378k| 0 | 2.000000e+00 | 3.640000e+02 | Large
592.94/593.19 c 566s| 1490k| 18 | 0 | 0.0 |9346k| 55 | - | 774 |7674 | 0 | 0 | 0 | 382k| 0 | 2.000000e+00 | 3.640000e+02 | Large
597.15/597.32 c 570s| 1500k| 16 | 0 | 0.0 |9354k| 55 | - | 774 |7691 | 0 | 0 | 0 | 385k| 0 | 2.000000e+00 | 3.640000e+02 | Large
601.55/601.72 c 574s| 1510k| 10 | 0 | 0.0 |9360k| 55 | - | 774 |7705 | 0 | 0 | 0 | 388k| 0 | 2.000000e+00 | 3.640000e+02 | Large
605.85/606.01 c 578s| 1520k| 14 | 0 | 0.0 |9368k| 55 | - | 774 |7711 | 0 | 0 | 0 | 392k| 0 | 2.000000e+00 | 3.640000e+02 | Large
609.94/610.18 c 582s| 1530k| 12 | 0 | 0.0 |9368k| 55 | - | 774 |7710 | 0 | 0 | 0 | 395k| 0 | 2.000000e+00 | 3.640000e+02 | Large
615.13/615.37 c 587s| 1540k| 14 | 0 | 0.0 |9280k| 55 | - | 774 |7575 | 0 | 0 | 0 | 398k| 0 | 2.000000e+00 | 3.640000e+02 | Large
619.73/619.91 c 591s| 1550k| 21 | 0 | 0.0 |9285k| 55 | - | 774 |7576 | 0 | 0 | 0 | 401k| 0 | 2.000000e+00 | 3.640000e+02 | Large
624.04/624.26 c 595s| 1560k| 16 | 0 | 0.0 |9286k| 55 | - | 774 |7579 | 0 | 0 | 0 | 404k| 0 | 2.000000e+00 | 3.640000e+02 | Large
628.13/628.30 c 599s| 1570k| 19 | 0 | 0.0 |9288k| 55 | - | 774 |7581 | 0 | 0 | 0 | 406k| 0 | 2.000000e+00 | 3.640000e+02 | Large
632.03/632.30 c 603s| 1580k| 24 | 0 | 0.0 |9286k| 55 | - | 774 |7576 | 0 | 0 | 0 | 408k| 0 | 2.000000e+00 | 3.640000e+02 | Large
636.43/636.69 c 607s| 1590k| 22 | 0 | 0.0 |9288k| 55 | - | 774 |7578 | 0 | 0 | 0 | 410k| 0 | 2.000000e+00 | 3.640000e+02 | Large
640.63/640.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.63/640.80 c 611s| 1600k| 17 | 0 | 0.0 |9285k| 55 | - | 774 |7578 | 0 | 0 | 0 | 413k| 0 | 2.000000e+00 | 3.640000e+02 | Large
645.13/645.37 c 616s| 1610k| 16 | 0 | 0.0 |9286k| 55 | - | 774 |7582 | 0 | 0 | 0 | 415k| 0 | 2.000000e+00 | 3.640000e+02 | Large
649.43/649.63 c 620s| 1620k| 17 | 0 | 0.0 |9285k| 55 | - | 774 |7577 | 0 | 0 | 0 | 417k| 0 | 2.000000e+00 | 3.640000e+02 | Large
653.33/653.54 c 623s| 1630k| 16 | 0 | 0.0 |9285k| 55 | - | 774 |7577 | 0 | 0 | 0 | 419k| 0 | 2.000000e+00 | 3.640000e+02 | Large
657.32/657.52 c 627s| 1640k| 15 | 0 | 0.0 |9284k| 55 | - | 774 |7576 | 0 | 0 | 0 | 421k| 0 | 2.000000e+00 | 3.640000e+02 | Large
661.22/661.47 c 631s| 1650k| 17 | 0 | 0.0 |9285k| 55 | - | 774 |7579 | 0 | 0 | 0 | 423k| 0 | 2.000000e+00 | 3.640000e+02 | Large
665.93/666.14 c 635s| 1660k| 15 | 0 | 0.0 |9284k| 55 | - | 774 |7578 | 0 | 0 | 0 | 426k| 0 | 2.000000e+00 | 3.640000e+02 | Large
670.63/670.89 c 640s| 1670k| 13 | 0 | 0.0 |9286k| 55 | - | 774 |7581 | 0 | 0 | 0 | 429k| 0 | 2.000000e+00 | 3.640000e+02 | Large
674.52/674.77 c 644s| 1680k| 16 | 0 | 0.0 |9285k| 55 | - | 774 |7576 | 0 | 0 | 0 | 431k| 0 | 2.000000e+00 | 3.640000e+02 | Large
678.32/678.52 c 647s| 1690k| 17 | 0 | 0.0 |9285k| 55 | - | 774 |7575 | 0 | 0 | 0 | 433k| 0 | 2.000000e+00 | 3.640000e+02 | Large
682.22/682.40 c 651s| 1700k| 15 | 0 | 0.0 |9285k| 55 | - | 774 |7576 | 0 | 0 | 0 | 435k| 0 | 2.000000e+00 | 3.640000e+02 | Large
686.23/686.49 c 655s| 1710k| 16 | 0 | 0.0 |9287k| 55 | - | 774 |7581 | 0 | 0 | 0 | 437k| 0 | 2.000000e+00 | 3.640000e+02 | Large
690.21/690.42 c 658s| 1720k| 14 | 0 | 0.0 |9287k| 55 | - | 774 |7578 | 0 | 0 | 0 | 439k| 0 | 2.000000e+00 | 3.640000e+02 | Large
694.21/694.43 c 662s| 1730k| 17 | 0 | 0.0 |9288k| 55 | - | 774 |7581 | 0 | 0 | 0 | 441k| 0 | 2.000000e+00 | 3.640000e+02 | Large
698.22/698.42 c 666s| 1740k| 19 | 0 | 0.0 |9288k| 55 | - | 774 |7582 | 0 | 0 | 0 | 443k| 0 | 2.000000e+00 | 3.640000e+02 | Large
703.22/703.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.22/703.40 c 671s| 1750k| 15 | 0 | 0.0 |9290k| 55 | - | 774 |7586 | 0 | 0 | 0 | 446k| 0 | 2.000000e+00 | 3.640000e+02 | Large
707.31/707.52 c 675s| 1760k| 13 | 0 | 0.0 |9294k| 55 | - | 774 |7595 | 0 | 0 | 0 | 448k| 0 | 2.000000e+00 | 3.640000e+02 | Large
711.52/711.73 c 679s| 1770k| 15 | 0 | 0.0 |9290k| 55 | - | 774 |7585 | 0 | 0 | 0 | 450k| 0 | 2.000000e+00 | 3.640000e+02 | Large
715.41/715.68 c 683s| 1780k| 16 | 0 | 0.0 |9296k| 55 | - | 774 |7596 | 0 | 0 | 0 | 452k| 0 | 2.000000e+00 | 3.640000e+02 | Large
719.61/719.89 c 687s| 1790k| 14 | 0 | 0.0 |9296k| 55 | - | 774 |7599 | 0 | 0 | 0 | 454k| 0 | 2.000000e+00 | 3.640000e+02 | Large
723.71/723.93 c 690s| 1800k| 18 | 0 | 0.0 |9297k| 55 | - | 774 |7599 | 0 | 0 | 0 | 457k| 0 | 2.000000e+00 | 3.640000e+02 | Large
728.31/728.51 c 695s| 1810k| 17 | 0 | 0.0 |9297k| 55 | - | 774 |7597 | 0 | 0 | 0 | 459k| 0 | 2.000000e+00 | 3.640000e+02 | Large
732.61/732.81 c 699s| 1820k| 16 | 0 | 0.0 |9298k| 55 | - | 774 |7600 | 0 | 0 | 0 | 461k| 0 | 2.000000e+00 | 3.640000e+02 | Large
736.60/736.80 c 703s| 1830k| 16 | 0 | 0.0 |9302k| 55 | - | 774 |7605 | 0 | 0 | 0 | 463k| 0 | 2.000000e+00 | 3.640000e+02 | Large
740.51/740.78 c 707s| 1840k| 17 | 0 | 0.0 |9301k| 55 | - | 774 |7604 | 0 | 0 | 0 | 466k| 0 | 2.000000e+00 | 3.640000e+02 | Large
744.51/744.74 c 710s| 1850k| 12 | 0 | 0.0 |9303k| 55 | - | 774 |7612 | 0 | 0 | 0 | 467k| 0 | 2.000000e+00 | 3.640000e+02 | Large
748.61/748.83 c 714s| 1860k| 11 | 0 | 0.0 |9303k| 55 | - | 774 |7612 | 0 | 0 | 0 | 469k| 0 | 2.000000e+00 | 3.640000e+02 | Large
752.71/752.90 c 718s| 1870k| 16 | 0 | 0.0 |9306k| 55 | - | 774 |7617 | 0 | 0 | 0 | 472k| 0 | 2.000000e+00 | 3.640000e+02 | Large
757.00/757.28 c 722s| 1880k| 11 | 0 | 0.0 |9306k| 55 | - | 774 |7619 | 0 | 0 | 0 | 474k| 0 | 2.000000e+00 | 3.640000e+02 | Large
761.10/761.36 c 726s| 1890k| 14 | 0 | 0.0 |9309k| 55 | - | 774 |7624 | 0 | 0 | 0 | 476k| 0 | 2.000000e+00 | 3.640000e+02 | Large
765.20/765.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.20/765.42 c 730s| 1900k| 11 | 0 | 0.0 |9309k| 55 | - | 774 |7624 | 0 | 0 | 0 | 478k| 0 | 2.000000e+00 | 3.640000e+02 | Large
769.40/769.62 c 734s| 1910k| 15 | 0 | 0.0 |9307k| 55 | - | 774 |7619 | 0 | 0 | 0 | 480k| 0 | 2.000000e+00 | 3.640000e+02 | Large
773.29/773.59 c 738s| 1920k| 13 | 0 | 0.0 |9314k| 55 | - | 774 |7634 | 0 | 0 | 0 | 482k| 0 | 2.000000e+00 | 3.640000e+02 | Large
777.40/777.65 c 742s| 1930k| 11 | 0 | 0.0 |9322k| 55 | - | 774 |7655 | 0 | 0 | 0 | 484k| 0 | 2.000000e+00 | 3.640000e+02 | Large
781.10/781.39 c 745s| 1940k| 19 | 0 | 0.0 |9334k| 55 | - | 774 |7680 | 0 | 0 | 0 | 486k| 0 | 2.000000e+00 | 3.640000e+02 | Large
785.20/785.43 c 749s| 1950k| 14 | 0 | 0.0 |9349k| 55 | - | 774 |7719 | 0 | 0 | 0 | 488k| 0 | 2.000000e+00 | 3.640000e+02 | Large
789.20/789.45 c 753s| 1960k| 14 | 0 | 0.0 |9360k| 55 | - | 774 |7745 | 0 | 0 | 0 | 490k| 0 | 2.000000e+00 | 3.640000e+02 | Large
793.39/793.64 c 757s| 1970k| 13 | 0 | 0.0 |9369k| 55 | - | 774 |7760 | 0 | 0 | 0 | 492k| 0 | 2.000000e+00 | 3.640000e+02 | Large
797.30/797.56 c 761s| 1980k| 12 | 0 | 0.0 |9377k| 55 | - | 774 |7782 | 0 | 0 | 0 | 494k| 0 | 2.000000e+00 | 3.640000e+02 | Large
801.69/801.95 c 765s| 1990k| 20 | 0 | 0.0 |9382k| 55 | - | 774 |7789 | 0 | 0 | 0 | 497k| 0 | 2.000000e+00 | 3.640000e+02 | Large
805.89/806.19 c 769s| 2000k| 9 | 0 | 0.0 |9384k| 55 | - | 774 |7802 | 0 | 0 | 0 | 499k| 0 | 2.000000e+00 | 3.640000e+02 | Large
809.88/810.11 c 773s| 2010k| 11 | 0 | 0.0 |9405k| 55 | - | 774 |7845 | 0 | 0 | 0 | 501k| 0 | 2.000000e+00 | 3.640000e+02 | Large
813.69/814.00 c 776s| 2020k| 18 | 0 | 0.0 |9405k| 55 | - | 774 |7841 | 0 | 0 | 0 | 504k| 0 | 2.000000e+00 | 3.640000e+02 | Large
817.48/817.73 c 780s| 2030k| 13 | 0 | 0.0 |9404k| 55 | - | 774 |7840 | 0 | 0 | 0 | 505k| 0 | 2.000000e+00 | 3.640000e+02 | Large
821.48/821.79 c 784s| 2040k| 13 | 0 | 0.0 |9424k| 55 | - | 774 |7887 | 0 | 0 | 0 | 507k| 0 | 2.000000e+00 | 3.640000e+02 | Large
825.38/825.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.38/825.62 c 787s| 2050k| 16 | 0 | 0.0 |9452k| 55 | - | 774 |7948 | 0 | 0 | 0 | 510k| 0 | 2.000000e+00 | 3.640000e+02 | Large
829.68/829.93 c 791s| 2060k| 13 | 0 | 0.0 |9463k| 55 | - | 774 |7973 | 0 | 0 | 0 | 513k| 0 | 2.000000e+00 | 3.640000e+02 | Large
833.28/833.53 c 795s| 2070k| 11 | 0 | 0.0 |9481k| 55 | - | 774 |8015 | 0 | 0 | 0 | 515k| 0 | 2.000000e+00 | 3.640000e+02 | Large
837.38/837.62 c 799s| 2080k| 10 | 0 | 0.0 |9503k| 55 | - | 774 |8068 | 0 | 0 | 0 | 517k| 0 | 2.000000e+00 | 3.640000e+02 | Large
841.68/841.94 c 803s| 2090k| 25 | 0 | 0.0 |9516k| 55 | - | 774 |8086 | 0 | 0 | 0 | 520k| 0 | 2.000000e+00 | 3.640000e+02 | Large
845.88/846.18 c 807s| 2100k| 17 | 0 | 0.0 |9515k| 55 | - | 774 |8084 | 0 | 0 | 0 | 523k| 0 | 2.000000e+00 | 3.640000e+02 | Large
850.47/850.76 c 811s| 2110k| 14 | 0 | 0.0 |9514k| 55 | - | 774 |8086 | 0 | 0 | 0 | 525k| 0 | 2.000000e+00 | 3.640000e+02 | Large
854.88/855.11 c 815s| 2120k| 14 | 0 | 0.0 |9513k| 55 | - | 774 |8082 | 0 | 0 | 0 | 527k| 0 | 2.000000e+00 | 3.640000e+02 | Large
858.97/859.20 c 819s| 2130k| 15 | 0 | 0.0 |9514k| 55 | - | 774 |8085 | 0 | 0 | 0 | 529k| 0 | 2.000000e+00 | 3.640000e+02 | Large
862.87/863.12 c 823s| 2140k| 13 | 0 | 0.0 |9514k| 55 | - | 774 |8085 | 0 | 0 | 0 | 531k| 0 | 2.000000e+00 | 3.640000e+02 | Large
866.87/867.16 c 827s| 2150k| 14 | 0 | 0.0 |9526k| 55 | - | 774 |8117 | 0 | 0 | 0 | 534k| 0 | 2.000000e+00 | 3.640000e+02 | Large
871.26/871.57 c 831s| 2160k| 14 | 0 | 0.0 |9540k| 55 | - | 774 |8146 | 0 | 0 | 0 | 536k| 0 | 2.000000e+00 | 3.640000e+02 | Large
875.27/875.55 c 835s| 2170k| 11 | 0 | 0.0 |9553k| 55 | - | 774 |8179 | 0 | 0 | 0 | 539k| 0 | 2.000000e+00 | 3.640000e+02 | Large
879.16/879.47 c 839s| 2180k| 9 | 0 | 0.0 |9556k| 55 | - | 774 |8187 | 0 | 0 | 0 | 541k| 0 | 2.000000e+00 | 3.640000e+02 | Large
883.07/883.35 c 842s| 2190k| 11 | 0 | 0.0 |9557k| 55 | - | 774 |8187 | 0 | 0 | 0 | 543k| 0 | 2.000000e+00 | 3.640000e+02 | Large
886.96/887.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.96/887.24 c 846s| 2200k| 7 | 0 | 0.0 |9570k| 55 | - | 774 |8215 | 0 | 0 | 0 | 545k| 0 | 2.000000e+00 | 3.640000e+02 | Large
890.97/891.21 c 850s| 2210k| 12 | 0 | 0.0 |9602k| 55 | - | 774 |8290 | 0 | 0 | 0 | 548k| 0 | 2.000000e+00 | 3.640000e+02 | Large
895.36/895.66 c 854s| 2220k| 16 | 0 | 0.0 |9605k| 55 | - | 774 |8265 | 0 | 0 | 0 | 551k| 0 | 2.000000e+00 | 3.640000e+02 | Large
900.06/900.31 c 858s| 2230k| 18 | 0 | 0.0 |9603k| 55 | - | 774 |8261 | 0 | 0 | 0 | 553k| 0 | 2.000000e+00 | 3.640000e+02 | Large
904.46/904.79 c 863s| 2240k| 20 | 0 | 0.0 |9603k| 55 | - | 774 |8259 | 0 | 0 | 0 | 556k| 0 | 2.000000e+00 | 3.640000e+02 | Large
908.96/909.27 c 867s| 2250k| 16 | 0 | 0.0 |9604k| 55 | - | 774 |8264 | 0 | 0 | 0 | 558k| 0 | 2.000000e+00 | 3.640000e+02 | Large
913.46/913.75 c 871s| 2260k| 19 | 0 | 0.0 |9605k| 55 | - | 774 |8261 | 0 | 0 | 0 | 561k| 0 | 2.000000e+00 | 3.640000e+02 | Large
917.86/918.18 c 876s| 2270k| 12 | 0 | 0.0 |9602k| 55 | - | 774 |8261 | 0 | 0 | 0 | 563k| 0 | 2.000000e+00 | 3.640000e+02 | Large
921.47/921.80 c 879s| 2280k| 12 | 0 | 0.0 |9641k| 55 | - | 774 |8351 | 0 | 0 | 0 | 565k| 0 | 2.000000e+00 | 3.640000e+02 | Large
925.06/925.35 c 882s| 2290k| 14 | 0 | 0.0 |9647k| 55 | - | 774 |8361 | 0 | 0 | 0 | 567k| 0 | 2.000000e+00 | 3.640000e+02 | Large
928.96/929.24 c 886s| 2300k| 12 | 0 | 0.0 |9654k| 55 | - | 774 |8380 | 0 | 0 | 0 | 569k| 0 | 2.000000e+00 | 3.640000e+02 | Large
932.66/932.99 c 890s| 2310k| 14 | 0 | 0.0 |9657k| 55 | - | 774 |8385 | 0 | 0 | 0 | 571k| 0 | 2.000000e+00 | 3.640000e+02 | Large
936.75/937.08 c 894s| 2320k| 17 | 0 | 0.0 |9659k| 55 | - | 774 |8388 | 0 | 0 | 0 | 573k| 0 | 2.000000e+00 | 3.640000e+02 | Large
940.75/941.05 c 897s| 2330k| 14 | 0 | 0.0 |9666k| 55 | - | 774 |8404 | 0 | 0 | 0 | 575k| 0 | 2.000000e+00 | 3.640000e+02 | Large
945.15/945.49 c 902s| 2340k| 16 | 0 | 0.0 |9679k| 55 | - | 774 |8430 | 0 | 0 | 0 | 579k| 0 | 2.000000e+00 | 3.640000e+02 | Large
949.25/949.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.25/949.57 c 905s| 2350k| 11 | 0 | 0.0 |9687k| 55 | - | 774 |8450 | 0 | 0 | 0 | 581k| 0 | 2.000000e+00 | 3.640000e+02 | Large
953.45/953.71 c 909s| 2360k| 14 | 0 | 0.0 |9686k| 55 | - | 774 |8447 | 0 | 0 | 0 | 583k| 0 | 2.000000e+00 | 3.640000e+02 | Large
957.55/957.86 c 913s| 2370k| 12 | 0 | 0.0 |9686k| 55 | - | 774 |8449 | 0 | 0 | 0 | 586k| 0 | 2.000000e+00 | 3.640000e+02 | Large
961.74/962.09 c 917s| 2380k| 11 | 0 | 0.0 |9693k| 55 | - | 774 |8463 | 0 | 0 | 0 | 588k| 0 | 2.000000e+00 | 3.640000e+02 | Large
965.65/965.97 c 921s| 2390k| 9 | 0 | 0.0 |9701k| 55 | - | 774 |8485 | 0 | 0 | 0 | 590k| 0 | 2.000000e+00 | 3.640000e+02 | Large
969.44/969.72 c 925s| 2400k| 13 | 0 | 0.0 |9698k| 55 | - | 774 |8475 | 0 | 0 | 0 | 592k| 0 | 2.000000e+00 | 3.640000e+02 | Large
973.25/973.59 c 928s| 2410k| 11 | 0 | 0.0 |9701k| 55 | - | 774 |8482 | 0 | 0 | 0 | 594k| 0 | 2.000000e+00 | 3.640000e+02 | Large
977.04/977.39 c 932s| 2420k| 9 | 0 | 0.0 |9708k| 55 | - | 774 |8497 | 0 | 0 | 0 | 596k| 0 | 2.000000e+00 | 3.640000e+02 | Large
980.85/981.12 c 935s| 2430k| 13 | 0 | 0.0 |9717k| 55 | - | 774 |8521 | 0 | 0 | 0 | 599k| 0 | 2.000000e+00 | 3.640000e+02 | Large
985.04/985.32 c 939s| 2440k| 8 | 0 | 0.0 |9735k| 55 | - | 774 |8568 | 0 | 0 | 0 | 601k| 0 | 2.000000e+00 | 3.640000e+02 | Large
989.43/989.74 c 944s| 2450k| 21 | 0 | 0.0 |9672k| 55 | - | 774 |8401 | 0 | 0 | 0 | 605k| 0 | 2.000000e+00 | 3.640000e+02 | Large
994.33/994.66 c 948s| 2460k| 15 | 0 | 0.0 |9668k| 55 | - | 774 |8395 | 0 | 0 | 0 | 609k| 0 | 2.000000e+00 | 3.640000e+02 | Large
998.33/998.62 c 952s| 2470k| 12 | 0 | 0.0 |9670k| 55 | - | 774 |8403 | 0 | 0 | 0 | 610k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1002.24/1002.56 c 956s| 2480k| 9 | 0 | 0.0 |9682k| 55 | - | 774 |8430 | 0 | 0 | 0 | 613k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1006.15/1006.50 c 960s| 2490k| 9 | 0 | 0.0 |9705k| 55 | - | 774 |8480 | 0 | 0 | 0 | 615k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1010.73/1011.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.73/1011.02 c 964s| 2500k| 15 | 0 | 0.0 |9714k| 55 | - | 774 |8497 | 0 | 0 | 0 | 618k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1015.13/1015.46 c 968s| 2510k| 14 | 0 | 0.0 |9719k| 55 | - | 774 |8508 | 0 | 0 | 0 | 621k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1019.03/1019.35 c 972s| 2520k| 13 | 0 | 0.0 |9724k| 55 | - | 774 |8519 | 0 | 0 | 0 | 623k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1023.03/1023.38 c 976s| 2530k| 15 | 0 | 0.0 |9721k| 55 | - | 774 |8514 | 0 | 0 | 0 | 626k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1027.73/1028.06 c 980s| 2540k| 9 | 0 | 0.0 |9724k| 55 | - | 774 |8523 | 0 | 0 | 0 | 629k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1031.54/1031.89 c 984s| 2550k| 14 | 0 | 0.0 |9754k| 55 | - | 774 |8592 | 0 | 0 | 0 | 631k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1035.73/1036.05 c 988s| 2560k| 10 | 0 | 0.0 |9755k| 55 | - | 774 |8595 | 0 | 0 | 0 | 634k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1039.93/1040.28 c 992s| 2570k| 12 | 0 | 0.0 |9763k| 55 | - | 774 |8606 | 0 | 0 | 0 | 637k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1044.33/1044.66 c 996s| 2580k| 17 | 0 | 0.0 |9769k| 55 | - | 774 |8619 | 0 | 0 | 0 | 640k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1048.12/1048.43 c 1000s| 2590k| 12 | 0 | 0.0 |9775k| 55 | - | 774 |8636 | 0 | 0 | 0 | 642k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1051.82/1052.13 c 1003s| 2600k| 9 | 0 | 0.0 |9786k| 55 | - | 774 |8663 | 0 | 0 | 0 | 644k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1055.53/1055.83 c 1007s| 2610k| 7 | 0 | 0.0 |9798k| 55 | - | 774 |8694 | 0 | 0 | 0 | 646k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1059.92/1060.20 c 1011s| 2620k| 8 | 0 | 0.0 |9817k| 55 | - | 774 |8728 | 0 | 0 | 0 | 649k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1064.22/1064.50 c 1015s| 2630k| 11 | 0 | 0.0 |9840k| 55 | - | 774 |8781 | 0 | 0 | 0 | 652k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1068.42/1068.75 c 1019s| 2640k| 9 | 0 | 0.0 |9864k| 55 | - | 774 |8838 | 0 | 0 | 0 | 655k| 0 | 2.000000e+00 | 3.640000e+02 | Large
1073.72/1074.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.72/1074.07 c 1024s| 2650k| 26 | 0 | 0.0 |9351k| 55 | - | 774 |7516 | 0 | 0 | 0 | 659k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1078.42/1078.78 c 1028s| 2660k| 24 | 0 | 0.0 |9350k| 55 | - | 774 |7514 | 0 | 0 | 0 | 663k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1083.01/1083.34 c 1033s| 2670k| 21 | 0 | 0.0 |9355k| 55 | - | 774 |7529 | 0 | 0 | 0 | 666k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1087.82/1088.18 c 1037s| 2680k| 20 | 0 | 0.0 |9349k| 55 | - | 774 |7514 | 0 | 0 | 0 | 669k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1092.42/1092.76 c 1042s| 2690k| 22 | 0 | 0.0 |9351k| 55 | - | 774 |7517 | 0 | 0 | 0 | 672k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1097.01/1097.37 c 1046s| 2700k| 21 | 0 | 0.0 |9352k| 55 | - | 774 |7517 | 0 | 0 | 0 | 675k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1101.61/1101.94 c 1051s| 2710k| 21 | 0 | 0.0 |9350k| 55 | - | 774 |7515 | 0 | 0 | 0 | 678k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1106.61/1106.94 c 1055s| 2720k| 23 | 0 | 0.0 |9352k| 55 | - | 774 |7515 | 0 | 0 | 0 | 681k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1111.71/1112.05 c 1060s| 2730k| 16 | 0 | 0.0 |9349k| 55 | - | 774 |7516 | 0 | 0 | 0 | 685k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1117.00/1117.36 c 1065s| 2740k| 20 | 0 | 0.0 |9351k| 55 | - | 774 |7517 | 0 | 0 | 0 | 688k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1122.01/1122.38 c 1070s| 2750k| 20 | 0 | 0.0 |9351k| 55 | - | 774 |7517 | 0 | 0 | 0 | 691k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1127.00/1127.36 c 1075s| 2760k| 18 | 0 | 0.0 |9351k| 55 | - | 774 |7517 | 0 | 0 | 0 | 694k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1132.10/1132.48 c 1080s| 2770k| 20 | 0 | 0.0 |9350k| 55 | - | 774 |7518 | 0 | 0 | 0 | 698k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1136.60/1136.96 c 1084s| 2780k| 19 | 0 | 0.0 |9354k| 55 | - | 774 |7524 | 0 | 0 | 0 | 700k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1140.60/1140.93 c 1088s| 2790k| 18 | 0 | 0.0 |9354k| 55 | - | 774 |7521 | 0 | 0 | 0 | 702k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1145.40/1145.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.40/1145.76 c 1093s| 2800k| 17 | 0 | 0.0 |9353k| 55 | - | 774 |7520 | 0 | 0 | 0 | 705k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1149.89/1150.24 c 1097s| 2810k| 19 | 0 | 0.0 |9353k| 55 | - | 774 |7519 | 0 | 0 | 0 | 708k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1153.89/1154.27 c 1101s| 2820k| 17 | 0 | 0.0 |9350k| 55 | - | 774 |7516 | 0 | 0 | 0 | 710k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1158.30/1158.62 c 1105s| 2830k| 23 | 0 | 0.0 |9352k| 55 | - | 774 |7518 | 0 | 0 | 0 | 713k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1162.59/1162.94 c 1109s| 2840k| 18 | 0 | 0.0 |9354k| 55 | - | 774 |7524 | 0 | 0 | 0 | 715k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1166.80/1167.18 c 1113s| 2850k| 18 | 0 | 0.0 |9354k| 55 | - | 774 |7520 | 0 | 0 | 0 | 717k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1171.10/1171.40 c 1117s| 2860k| 20 | 0 | 0.0 |9355k| 55 | - | 774 |7524 | 0 | 0 | 0 | 720k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1175.29/1175.63 c 1121s| 2870k| 20 | 0 | 0.0 |9353k| 55 | - | 774 |7523 | 0 | 0 | 0 | 722k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1179.59/1179.95 c 1125s| 2880k| 15 | 0 | 0.0 |9352k| 55 | - | 774 |7521 | 0 | 0 | 0 | 725k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1183.89/1184.26 c 1129s| 2890k| 18 | 0 | 0.0 |9354k| 55 | - | 774 |7522 | 0 | 0 | 0 | 727k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1188.29/1188.60 c 1133s| 2900k| 14 | 0 | 0.0 |9353k| 55 | - | 774 |7522 | 0 | 0 | 0 | 730k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1192.59/1192.92 c 1138s| 2910k| 21 | 0 | 0.0 |9354k| 55 | - | 774 |7521 | 0 | 0 | 0 | 732k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1197.29/1197.62 c 1142s| 2920k| 19 | 0 | 0.0 |9355k| 55 | - | 774 |7523 | 0 | 0 | 0 | 735k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1201.79/1202.14 c 1146s| 2930k| 15 | 0 | 0.0 |9355k| 55 | - | 774 |7525 | 0 | 0 | 0 | 738k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1206.89/1207.24 c 1151s| 2940k| 19 | 0 | 0.0 |9354k| 55 | - | 774 |7520 | 0 | 0 | 0 | 741k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1211.18/1211.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.18/1211.58 c 1155s| 2950k| 26 | 0 | 0.0 |9356k| 55 | - | 774 |7520 | 0 | 0 | 0 | 743k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1215.78/1216.16 c 1160s| 2960k| 13 | 0 | 0.0 |9356k| 55 | - | 774 |7523 | 0 | 0 | 0 | 745k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1220.69/1221.04 c 1164s| 2970k| 15 | 0 | 0.0 |9355k| 55 | - | 774 |7521 | 0 | 0 | 0 | 748k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1225.18/1225.59 c 1169s| 2980k| 21 | 0 | 0.0 |9355k| 55 | - | 774 |7519 | 0 | 0 | 0 | 751k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1230.08/1230.48 c 1173s| 2990k| 17 | 0 | 0.0 |9356k| 55 | - | 774 |7522 | 0 | 0 | 0 | 754k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1234.37/1234.79 c 1178s| 3000k| 12 | 0 | 0.0 |9360k| 55 | - | 774 |7537 | 0 | 0 | 0 | 756k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1238.48/1238.84 c 1181s| 3010k| 14 | 0 | 0.0 |9358k| 55 | - | 774 |7531 | 0 | 0 | 0 | 759k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1242.97/1243.37 c 1186s| 3020k| 15 | 0 | 0.0 |9358k| 55 | - | 774 |7532 | 0 | 0 | 0 | 762k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1247.09/1247.44 c 1190s| 3030k| 11 | 0 | 0.0 |9361k| 55 | - | 774 |7541 | 0 | 0 | 0 | 765k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1252.17/1252.54 c 1195s| 3040k| 17 | 0 | 0.0 |9362k| 55 | - | 774 |7536 | 0 | 0 | 0 | 768k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1257.27/1257.66 c 1199s| 3050k| 14 | 0 | 0.0 |9359k| 55 | - | 774 |7531 | 0 | 0 | 0 | 771k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1261.77/1262.14 c 1204s| 3060k| 13 | 0 | 0.0 |9359k| 55 | - | 774 |7533 | 0 | 0 | 0 | 774k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1266.07/1266.42 c 1208s| 3070k| 11 | 0 | 0.0 |9360k| 55 | - | 774 |7533 | 0 | 0 | 0 | 776k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1270.67/1271.04 c 1212s| 3080k| 18 | 0 | 0.0 |9361k| 55 | - | 774 |7531 | 0 | 0 | 0 | 779k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1274.77/1275.10 c 1216s| 3090k| 12 | 0 | 0.0 |9357k| 55 | - | 774 |7526 | 0 | 0 | 0 | 781k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1278.98/1279.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.98/1279.34 c 1220s| 3100k| 14 | 0 | 0.0 |9359k| 55 | - | 774 |7528 | 0 | 0 | 0 | 783k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1282.97/1283.32 c 1224s| 3110k| 15 | 0 | 0.0 |9361k| 55 | - | 774 |7533 | 0 | 0 | 0 | 785k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1287.26/1287.69 c 1228s| 3120k| 19 | 0 | 0.0 |9363k| 55 | - | 774 |7534 | 0 | 0 | 0 | 788k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1291.67/1292.08 c 1232s| 3130k| 12 | 0 | 0.0 |9369k| 55 | - | 774 |7555 | 0 | 0 | 0 | 792k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1296.36/1296.71 c 1237s| 3140k| 25 | 0 | 0.0 |9361k| 55 | - | 774 |7525 | 0 | 0 | 0 | 796k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1300.97/1301.34 c 1241s| 3150k| 19 | 0 | 0.0 |9364k| 55 | - | 774 |7536 | 0 | 0 | 0 | 799k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1305.46/1305.81 c 1245s| 3160k| 23 | 0 | 0.0 |9362k| 55 | - | 774 |7526 | 0 | 0 | 0 | 802k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1309.76/1310.19 c 1250s| 3170k| 18 | 0 | 0.0 |9362k| 55 | - | 774 |7531 | 0 | 0 | 0 | 806k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1314.36/1314.71 c 1254s| 3180k| 18 | 0 | 0.0 |9364k| 55 | - | 774 |7534 | 0 | 0 | 0 | 809k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1318.66/1319.06 c 1258s| 3190k| 17 | 0 | 0.0 |9360k| 55 | - | 774 |7524 | 0 | 0 | 0 | 811k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1322.66/1323.04 c 1262s| 3200k| 18 | 0 | 0.0 |9361k| 55 | - | 774 |7526 | 0 | 0 | 0 | 813k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1327.26/1327.60 c 1266s| 3210k| 18 | 0 | 0.0 |9364k| 55 | - | 774 |7534 | 0 | 0 | 0 | 816k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1331.66/1332.05 c 1270s| 3220k| 14 | 0 | 0.0 |9367k| 55 | - | 774 |7545 | 0 | 0 | 0 | 820k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1335.95/1336.38 c 1275s| 3230k| 15 | 0 | 0.0 |9370k| 55 | - | 774 |7554 | 0 | 0 | 0 | 823k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1340.65/1341.09 c 1279s| 3240k| 16 | 0 | 0.0 |9362k| 55 | - | 774 |7530 | 0 | 0 | 0 | 827k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1345.34/1345.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.34/1345.70 c 1283s| 3250k| 14 | 0 | 0.0 |9363k| 55 | - | 774 |7534 | 0 | 0 | 0 | 830k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1349.45/1349.85 c 1287s| 3260k| 18 | 0 | 0.0 |9362k| 55 | - | 774 |7528 | 0 | 0 | 0 | 832k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1353.66/1354.00 c 1291s| 3270k| 15 | 0 | 0.0 |9364k| 55 | - | 774 |7535 | 0 | 0 | 0 | 834k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1357.85/1358.25 c 1295s| 3280k| 14 | 0 | 0.0 |9366k| 55 | - | 774 |7538 | 0 | 0 | 0 | 836k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1362.05/1362.48 c 1299s| 3290k| 10 | 0 | 0.0 |9366k| 55 | - | 774 |7543 | 0 | 0 | 0 | 839k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1366.54/1366.93 c 1304s| 3300k| 15 | 0 | 0.0 |9366k| 55 | - | 774 |7540 | 0 | 0 | 0 | 842k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1371.05/1371.40 c 1308s| 3310k| 10 | 0 | 0.0 |9360k| 55 | - | 774 |7528 | 0 | 0 | 0 | 844k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1375.14/1375.51 c 1312s| 3320k| 11 | 0 | 0.0 |9373k| 55 | - | 774 |7558 | 0 | 0 | 0 | 847k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1378.95/1379.35 c 1316s| 3330k| 15 | 0 | 0.0 |9366k| 55 | - | 774 |7537 | 0 | 0 | 0 | 849k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1383.35/1383.71 c 1320s| 3340k| 12 | 0 | 0.0 |9367k| 55 | - | 774 |7544 | 0 | 0 | 0 | 852k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1387.75/1388.16 c 1324s| 3350k| 16 | 0 | 0.0 |9371k| 55 | - | 774 |7549 | 0 | 0 | 0 | 856k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1392.54/1392.90 c 1328s| 3360k| 11 | 0 | 0.0 |9368k| 55 | - | 774 |7546 | 0 | 0 | 0 | 859k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1396.93/1397.37 c 1333s| 3370k| 12 | 0 | 0.0 |9373k| 55 | - | 774 |7557 | 0 | 0 | 0 | 863k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1401.53/1401.91 c 1337s| 3380k| 12 | 0 | 0.0 |9379k| 55 | - | 774 |7573 | 0 | 0 | 0 | 866k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1406.13/1406.51 c 1341s| 3390k| 22 | 0 | 0.0 |9369k| 55 | - | 774 |7537 | 0 | 0 | 0 | 870k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1411.33/1411.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.33/1411.79 c 1346s| 3400k| 20 | 0 | 0.0 |9368k| 55 | - | 774 |7536 | 0 | 0 | 0 | 874k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1416.63/1417.01 c 1351s| 3410k| 14 | 0 | 0.0 |9365k| 55 | - | 774 |7529 | 0 | 0 | 0 | 877k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1420.53/1420.94 c 1355s| 3420k| 19 | 0 | 0.0 |9364k| 55 | - | 774 |7528 | 0 | 0 | 0 | 879k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1424.93/1425.33 c 1359s| 3430k| 24 | 0 | 0.0 |9365k| 55 | - | 774 |7526 | 0 | 0 | 0 | 882k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1429.03/1429.43 c 1363s| 3440k| 15 | 0 | 0.0 |9361k| 55 | - | 774 |7524 | 0 | 0 | 0 | 884k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1433.23/1433.61 c 1367s| 3450k| 14 | 0 | 0.0 |9365k| 55 | - | 774 |7532 | 0 | 0 | 0 | 886k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1437.82/1438.21 c 1372s| 3460k| 16 | 0 | 0.0 |9367k| 55 | - | 774 |7536 | 0 | 0 | 0 | 889k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1442.33/1442.72 c 1376s| 3470k| 14 | 0 | 0.0 |9369k| 55 | - | 774 |7541 | 0 | 0 | 0 | 892k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1446.62/1447.07 c 1380s| 3480k| 11 | 0 | 0.0 |9370k| 55 | - | 774 |7545 | 0 | 0 | 0 | 894k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1451.53/1451.92 c 1385s| 3490k| 15 | 0 | 0.0 |9365k| 55 | - | 774 |7531 | 0 | 0 | 0 | 897k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1456.12/1456.51 c 1389s| 3500k| 16 | 0 | 0.0 |9366k| 55 | - | 774 |7530 | 0 | 0 | 0 | 900k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1460.43/1460.83 c 1393s| 3510k| 22 | 0 | 0.0 |9367k| 55 | - | 774 |7530 | 0 | 0 | 0 | 902k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1464.73/1465.20 c 1398s| 3520k| 18 | 0 | 0.0 |9371k| 55 | - | 774 |7543 | 0 | 0 | 0 | 905k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1469.41/1469.83 c 1402s| 3530k| 13 | 0 | 0.0 |9371k| 55 | - | 774 |7545 | 0 | 0 | 0 | 909k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1473.71/1474.10 c 1406s| 3540k| 8 | 0 | 0.0 |9370k| 55 | - | 774 |7542 | 0 | 0 | 0 | 911k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1477.81/1478.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.81/1478.22 c 1410s| 3550k| 13 | 0 | 0.0 |9367k| 55 | - | 774 |7535 | 0 | 0 | 0 | 913k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1482.32/1482.78 c 1414s| 3560k| 11 | 0 | 0.0 |9378k| 55 | - | 774 |7566 | 0 | 0 | 0 | 916k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1486.92/1487.32 c 1419s| 3570k| 19 | 0 | 0.0 |9369k| 55 | - | 774 |7535 | 0 | 0 | 0 | 920k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1491.41/1491.87 c 1423s| 3580k| 19 | 0 | 0.0 |9369k| 55 | - | 774 |7535 | 0 | 0 | 0 | 923k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1495.91/1496.37 c 1427s| 3590k| 15 | 0 | 0.0 |9371k| 55 | - | 774 |7544 | 0 | 0 | 0 | 927k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1500.21/1500.70 c 1431s| 3600k| 14 | 0 | 0.0 |9371k| 55 | - | 774 |7543 | 0 | 0 | 0 | 929k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1504.11/1504.54 c 1435s| 3610k| 14 | 0 | 0.0 |9371k| 55 | - | 774 |7539 | 0 | 0 | 0 | 932k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1508.21/1508.64 c 1439s| 3620k| 14 | 0 | 0.0 |9375k| 55 | - | 774 |7549 | 0 | 0 | 0 | 934k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1512.41/1512.89 c 1443s| 3630k| 9 | 0 | 0.0 |9373k| 55 | - | 774 |7548 | 0 | 0 | 0 | 937k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1516.52/1516.92 c 1447s| 3640k| 14 | 0 | 0.0 |9372k| 55 | - | 774 |7540 | 0 | 0 | 0 | 939k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1520.41/1520.81 c 1450s| 3650k| 14 | 0 | 0.0 |9373k| 55 | - | 774 |7542 | 0 | 0 | 0 | 941k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1524.50/1524.96 c 1454s| 3660k| 15 | 0 | 0.0 |9374k| 55 | - | 774 |7545 | 0 | 0 | 0 | 944k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1528.80/1529.24 c 1459s| 3670k| 14 | 0 | 0.0 |9375k| 55 | - | 774 |7548 | 0 | 0 | 0 | 947k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1533.01/1533.48 c 1463s| 3680k| 16 | 0 | 0.0 |9372k| 55 | - | 774 |7539 | 0 | 0 | 0 | 950k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1537.60/1538.08 c 1467s| 3690k| 15 | 0 | 0.0 |9377k| 55 | - | 774 |7550 | 0 | 0 | 0 | 953k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1541.90/1542.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.90/1542.37 c 1471s| 3700k| 10 | 0 | 0.0 |9380k| 55 | - | 774 |7564 | 0 | 0 | 0 | 956k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1546.30/1546.79 c 1475s| 3710k| 13 | 0 | 0.0 |9377k| 55 | - | 774 |7553 | 0 | 0 | 0 | 960k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1550.69/1551.13 c 1479s| 3720k| 14 | 0 | 0.0 |9381k| 55 | - | 774 |7562 | 0 | 0 | 0 | 962k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1554.91/1555.34 c 1483s| 3730k| 13 | 0 | 0.0 |9389k| 55 | - | 774 |7584 | 0 | 0 | 0 | 965k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1559.31/1559.78 c 1488s| 3740k| 11 | 0 | 0.0 |9387k| 55 | - | 774 |7580 | 0 | 0 | 0 | 968k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1563.89/1564.35 c 1492s| 3750k| 20 | 0 | 0.0 |9378k| 55 | - | 774 |7548 | 0 | 0 | 0 | 972k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1568.40/1568.81 c 1496s| 3760k| 14 | 0 | 0.0 |9376k| 55 | - | 774 |7551 | 0 | 0 | 0 | 975k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1572.79/1573.24 c 1500s| 3770k| 17 | 0 | 0.0 |9383k| 55 | - | 774 |7563 | 0 | 0 | 0 | 978k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1577.39/1577.80 c 1505s| 3780k| 17 | 0 | 0.0 |9381k| 55 | - | 774 |7559 | 0 | 0 | 0 | 982k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1581.58/1582.08 c 1509s| 3790k| 9 | 0 | 0.0 |9382k| 55 | - | 774 |7568 | 0 | 0 | 0 | 985k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1586.08/1586.54 c 1513s| 3800k| 12 | 0 | 0.0 |9383k| 55 | - | 774 |7566 | 0 | 0 | 0 | 989k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1591.09/1591.58 c 1518s| 3810k| 14 | 0 | 0.0 |9379k| 55 | - | 774 |7556 | 0 | 0 | 0 | 992k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1596.59/1597.04 c 1523s| 3820k| 29 | 0 | 0.0 |9375k| 55 | - | 774 |7531 | 0 | 0 | 0 | 996k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1600.78/1601.28 c 1527s| 3830k| 22 | 0 | 0.0 |9372k| 55 | - | 774 |7530 | 0 | 0 | 0 | 999k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1605.49/1605.93 c 1532s| 3840k| 24 | 0 | 0.0 |9373k| 55 | - | 774 |7529 | 0 | 0 | 0 |1001k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1609.48/1609.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.48/1609.97 c 1536s| 3850k| 20 | 0 | 0.0 |9376k| 55 | - | 774 |7535 | 0 | 0 | 0 |1004k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1613.78/1614.26 c 1540s| 3860k| 20 | 0 | 0.0 |9374k| 55 | - | 774 |7533 | 0 | 0 | 0 |1006k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1618.28/1618.71 c 1544s| 3870k| 25 | 0 | 0.0 |9372k| 55 | - | 774 |7528 | 0 | 0 | 0 |1009k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1622.28/1622.75 c 1548s| 3880k| 24 | 0 | 0.0 |9374k| 55 | - | 774 |7529 | 0 | 0 | 0 |1011k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1626.39/1626.80 c 1552s| 3890k| 25 | 0 | 0.0 |9374k| 55 | - | 774 |7530 | 0 | 0 | 0 |1013k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1630.78/1631.24 c 1556s| 3900k| 21 | 0 | 0.0 |9373k| 55 | - | 774 |7531 | 0 | 0 | 0 |1016k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1634.67/1635.14 c 1560s| 3910k| 21 | 0 | 0.0 |9374k| 55 | - | 774 |7531 | 0 | 0 | 0 |1018k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1638.48/1638.97 c 1563s| 3920k| 19 | 0 | 0.0 |9376k| 55 | - | 774 |7536 | 0 | 0 | 0 |1020k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1642.67/1643.19 c 1567s| 3930k| 17 | 0 | 0.0 |9371k| 55 | - | 774 |7530 | 0 | 0 | 0 |1022k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1646.68/1647.10 c 1571s| 3940k| 21 | 0 | 0.0 |9372k| 55 | - | 774 |7529 | 0 | 0 | 0 |1024k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1650.57/1651.05 c 1575s| 3950k| 19 | 0 | 0.0 |9373k| 55 | - | 774 |7531 | 0 | 0 | 0 |1026k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1654.38/1654.80 c 1578s| 3960k| 23 | 0 | 0.0 |9375k| 55 | - | 774 |7534 | 0 | 0 | 0 |1028k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1658.07/1658.55 c 1582s| 3970k| 19 | 0 | 0.0 |9371k| 55 | - | 774 |7529 | 0 | 0 | 0 |1030k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1662.17/1662.64 c 1586s| 3980k| 22 | 0 | 0.0 |9374k| 55 | - | 774 |7534 | 0 | 0 | 0 |1032k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1666.47/1666.98 c 1590s| 3990k| 19 | 0 | 0.0 |9372k| 55 | - | 774 |7527 | 0 | 0 | 0 |1034k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1670.77/1671.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.77/1671.23 c 1594s| 4000k| 17 | 0 | 0.0 |9373k| 55 | - | 774 |7533 | 0 | 0 | 0 |1036k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1674.88/1675.38 c 1598s| 4010k| 24 | 0 | 0.0 |9374k| 55 | - | 774 |7531 | 0 | 0 | 0 |1038k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1678.86/1679.38 c 1602s| 4020k| 17 | 0 | 0.0 |9372k| 55 | - | 774 |7531 | 0 | 0 | 0 |1040k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1682.97/1683.40 c 1605s| 4030k| 19 | 0 | 0.0 |9373k| 55 | - | 774 |7532 | 0 | 0 | 0 |1042k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1686.97/1687.45 c 1609s| 4040k| 21 | 0 | 0.0 |9373k| 55 | - | 774 |7530 | 0 | 0 | 0 |1044k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1690.96/1691.46 c 1613s| 4050k| 21 | 0 | 0.0 |9374k| 55 | - | 774 |7532 | 0 | 0 | 0 |1046k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1695.06/1695.59 c 1617s| 4060k| 18 | 0 | 0.0 |9373k| 55 | - | 774 |7533 | 0 | 0 | 0 |1049k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1699.36/1699.88 c 1621s| 4070k| 19 | 0 | 0.0 |9372k| 55 | - | 774 |7530 | 0 | 0 | 0 |1051k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1703.86/1704.34 c 1625s| 4080k| 18 | 0 | 0.0 |9372k| 55 | - | 774 |7530 | 0 | 0 | 0 |1053k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1708.06/1708.53 c 1629s| 4090k| 24 | 0 | 0.0 |9381k| 55 | - | 774 |7541 | 0 | 0 | 0 |1056k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1712.06/1712.57 c 1633s| 4100k| 28 | 0 | 0.0 |9387k| 55 | - | 774 |7547 | 0 | 0 | 0 |1058k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1716.96/1717.46 c 1638s| 4110k| 16 | 0 | 0.0 |9386k| 55 | - | 774 |7550 | 0 | 0 | 0 |1060k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1720.86/1721.38 c 1642s| 4120k| 18 | 0 | 0.0 |9389k| 55 | - | 774 |7558 | 0 | 0 | 0 |1062k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1725.85/1726.30 c 1646s| 4130k| 15 | 0 | 0.0 |9391k| 55 | - | 774 |7557 | 0 | 0 | 0 |1065k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1729.95/1730.43 c 1650s| 4140k| 11 | 0 | 0.0 |9396k| 55 | - | 774 |7570 | 0 | 0 | 0 |1067k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1733.95/1734.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.95/1734.47 c 1654s| 4150k| 24 | 0 | 0.0 |9375k| 55 | - | 774 |7531 | 0 | 0 | 0 |1069k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1738.05/1738.58 c 1658s| 4160k| 20 | 0 | 0.0 |9376k| 55 | - | 774 |7535 | 0 | 0 | 0 |1071k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1742.05/1742.51 c 1662s| 4170k| 17 | 0 | 0.0 |9376k| 55 | - | 774 |7535 | 0 | 0 | 0 |1073k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1746.45/1746.90 c 1666s| 4180k| 15 | 0 | 0.0 |9376k| 55 | - | 774 |7535 | 0 | 0 | 0 |1076k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1750.75/1751.21 c 1670s| 4190k| 17 | 0 | 0.0 |9378k| 55 | - | 774 |7538 | 0 | 0 | 0 |1078k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1755.45/1755.91 c 1675s| 4200k| 16 | 0 | 0.0 |9374k| 55 | - | 774 |7535 | 0 | 0 | 0 |1080k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1759.74/1760.23 c 1679s| 4210k| 16 | 0 | 0.0 |9377k| 55 | - | 774 |7540 | 0 | 0 | 0 |1083k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1763.54/1764.09 c 1682s| 4220k| 15 | 0 | 0.0 |9398k| 55 | - | 774 |7570 | 0 | 0 | 0 |1085k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1767.45/1767.99 c 1686s| 4230k| 16 | 0 | 0.0 |9406k| 55 | - | 774 |7582 | 0 | 0 | 0 |1087k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1771.55/1772.02 c 1690s| 4240k| 11 | 0 | 0.0 |9412k| 55 | - | 774 |7591 | 0 | 0 | 0 |1089k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1775.54/1776.10 c 1694s| 4250k| 16 | 0 | 0.0 |9432k| 55 | - | 774 |7631 | 0 | 0 | 0 |1092k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1780.03/1780.54 c 1698s| 4260k| 18 | 0 | 0.0 |9386k| 55 | - | 774 |7552 | 0 | 0 | 0 |1095k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1784.34/1784.88 c 1702s| 4270k| 19 | 0 | 0.0 |9383k| 55 | - | 774 |7545 | 0 | 0 | 0 |1097k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1788.44/1788.96 c 1706s| 4280k| 16 | 0 | 0.0 |9383k| 55 | - | 774 |7547 | 0 | 0 | 0 |1099k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1792.34/1792.85 c 1710s| 4290k| 12 | 0 | 0.0 |9389k| 55 | - | 774 |7560 | 0 | 0 | 0 |1101k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1796.74/1797.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.74/1797.24 c 1714s| 4300k| 20 | 0 | 0.0 |9381k| 55 | - | 774 |7538 | 0 | 0 | 0 |1104k| 0 | 3.000000e+00 | 3.640000e+02 | Large
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1717.14
1800.04/1800.50 c Solving Nodes : 4307475
1800.04/1800.50 c Primal Bound : +3.64000000000000e+02 (5 solutions)
1800.04/1800.50 c Dual Bound : +3.00000000000000e+00
1800.04/1800.50 c Gap : 12033.33 %
1800.04/1800.51 s SATISFIABLE
1800.04/1800.51 v x774 -x773 x772 -x771 -x770 x769 x768 -x767 -x766 x765 x764 -x763 x762 -x761 x760 -x759 -x758 x757 x756 -x755 x754 -x753 -x752
1800.04/1800.51 v x751 x750 -x749 -x748 x747 -x746 -x745 x744 -x743 -x742 x741 x740 -x739 x738 -x737 x736 -x735 -x734 x733 x732 -x731 x730 -x729
1800.04/1800.51 v -x728 x727 x726 -x725 -x724 x723 x722 -x721 x720 -x719 -x718 x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 x708 -x707 -x706
1800.04/1800.51 v x705 x704 -x703 x702 -x701 -x700 x699 -x698 -x697 x696 -x695 x694 -x693 -x692 x691 x690 -x689 x688 -x687 -x686 x685 x684
1800.04/1800.51 v -x683 -x682 x681 -x680 -x679 x678 -x677 -x676 x675 x674 -x673 x672 -x671 x670 -x669 -x668 x667 x666 -x665 -x664 x663 x662 -x661
1800.04/1800.51 v x660 -x659 -x658 x657 x656 -x655 x654 -x653 -x652 x651 x650 -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 -x640 x639 x638
1800.04/1800.51 v -x637 x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 -x622 x621 x620 -x619 x618 -x617 -x616
1800.04/1800.51 v x615 -x614 -x613 x612 -x611 -x610 x609 x608 -x607 x606 -x605 -x604 x603 x602 -x601 x600 -x599 x598 -x597 -x596 x595 x594 -x593
1800.04/1800.51 v x592 -x591 -x590 x589 x588 -x587 x586 -x585 -x584 x583 -x582 x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572 x571
1800.04/1800.51 v x570 -x569 x568 -x567 -x566 x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 -x554 x553 x552 -x551 -x550 x549 x548
1800.04/1800.51 v -x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 -x536 x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527 -x526 x525
1800.04/1800.51 v x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 x510 -x509 -x508 x507 -x506 -x505 x504 -x503
1800.04/1800.51 v x502 -x501 -x500 x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483 -x482 x481 x480
1800.04/1800.51 v -x479 x478 -x477 -x476 x475 x474 -x473 x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 x462 -x461 x460 -x459 -x458 x457
1800.04/1800.51 v x456 -x455 -x454 x453 x452 -x451 x450 -x449 x448 -x447 -x446 x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 x434
1800.04/1800.51 v -x433 x432 -x431 -x430 x429 x428 -x427 x426 -x425 -x424 x423 x422 -x421 x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412
1800.04/1800.51 v -x411 -x410 x409 x408 -x407 -x406 x405 x404 -x403 x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 x393 x392 -x391 x390 -x389
1800.04/1800.51 v -x388 x387 x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367
1800.04/1800.51 v -x366 x365 -x364 x363 -x362 x361 -x360 -x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 -x349 -x348 x347 -x346 x345
1800.04/1800.51 v -x344 x343 -x342 x341 x340 -x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 -x324 x323 -x322
1800.04/1800.51 v -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 x309 x308 -x307 -x306 x305 -x304 x303 -x302 -x301 -x300
1800.04/1800.51 v x299 -x298 x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 x281 -x280 x279 -x278
1800.04/1800.51 v -x277 -x276 x275 -x274 x273 x272 -x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 -x259 -x258 x257 -x256
1800.04/1800.51 v x255 -x254 x253 x252 -x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233
1800.04/1800.51 v -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 -x214 x213 -x212 x211 -x210
1800.04/1800.51 v x209 -x208 x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 x193 -x192 x191 -x190 x189 -x188
1800.04/1800.51 v x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165
1800.04/1800.51 v -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142
1800.04/1800.51 v x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119
1800.04/1800.51 v -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96
1800.04/1800.51 v x95 -x94 x93 -x92 x91 x90 -x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69 -x68
1800.04/1800.51 v x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40
1800.04/1800.51 v x39 x38 -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.04/1800.51 v -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1717.14
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2664680-1276452178.opb
1800.04/1800.51 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 7493 initial, 7493 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2664680-1276452178.opb
1800.04/1800.51 c Variables : 774 (774 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 7493 initial, 8844 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.07 0 0 0 0 0 0 0 0
1800.04/1800.51 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 4 - - 4 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.51 c logicor : 7493+ 0 7853951 0 5 1109398 11190034 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c logicor : 858.27 0.00 858.27 0.00 0.00
1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 5.80 2 0 0
1800.04/1800.51 c rootredcost : 5.89 0 0 0
1800.04/1800.51 c pseudoobj : 501.43 12269738 1047031 22431024
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 746.90 1109398 1101814 1101814 25.7 4859 44.2 -
1800.04/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 48.09 158933 0 0 0.0 0 0.0 -
1800.04/1800.51 c applied globally : - - - 1106668 25.8 - - -
1800.04/1800.51 c applied locally : - - - 0 0.0 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.51 c redcost : 0.00 0 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 0.00 0 0 0 0 0
1800.04/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.51 c cmir : 0.00 0 0 0 0 0
1800.04/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.51 c clique : 0.00 0 0 0 0 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.00 0 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c inference : 31.04 2473838 0 0 0 0 4947676
1800.04/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c random : 0.00 0 0 0 0 0 0
1800.04/1800.52 c Primal Heuristics : Time Calls Found
1800.04/1800.52 c LP solutions : 0.00 - 0
1800.04/1800.52 c pseudo solutions : 0.00 - 5
1800.04/1800.52 c oneopt : 3.02 0 0
1800.04/1800.52 c trivial : 0.01 2 0
1800.04/1800.52 c simplerounding : 0.00 0 0
1800.04/1800.52 c zirounding : 0.00 0 0
1800.04/1800.52 c rounding : 0.00 0 0
1800.04/1800.52 c shifting : 0.00 0 0
1800.04/1800.52 c intshifting : 0.00 0 0
1800.04/1800.52 c twoopt : 0.00 0 0
1800.04/1800.52 c fixandinfer : 0.00 0 0
1800.04/1800.52 c feaspump : 0.00 0 0
1800.04/1800.52 c coefdiving : 0.00 0 0
1800.04/1800.52 c pscostdiving : 0.00 0 0
1800.04/1800.52 c fracdiving : 0.00 0 0
1800.04/1800.52 c veclendiving : 0.00 0 0
1800.04/1800.52 c intdiving : 0.00 0 0
1800.04/1800.52 c actconsdiving : 0.00 0 0
1800.04/1800.52 c objpscostdiving : 0.00 0 0
1800.04/1800.52 c rootsoldiving : 0.00 0 0
1800.04/1800.52 c linesearchdiving : 0.00 0 0
1800.04/1800.52 c guideddiving : 0.00 0 0
1800.04/1800.52 c octane : 0.00 0 0
1800.04/1800.52 c rens : 0.00 0 0
1800.04/1800.52 c rins : 0.00 0 0
1800.04/1800.52 c localbranching : 0.00 0 0
1800.04/1800.52 c mutation : 0.00 0 0
1800.04/1800.52 c crossover : 0.00 0 0
1800.04/1800.52 c dins : 0.00 0 0
1800.04/1800.52 c undercover : 0.00 0 0
1800.04/1800.52 c nlp : 1.79 0 0
1800.04/1800.52 c trysol : 2.12 0 0
1800.04/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.52 c (at root node) : - 0 0 0.00 -
1800.04/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.52 c B&B Tree :
1800.04/1800.52 c number of runs : 1
1800.04/1800.52 c nodes : 4307475
1800.04/1800.52 c nodes (total) : 4307475
1800.04/1800.52 c nodes left : 20
1800.04/1800.52 c max depth : 55
1800.04/1800.52 c max depth (total): 55
1800.04/1800.52 c backtracks : 1229681 (28.5%)
1800.04/1800.52 c delayed cutoffs : 559123
1800.04/1800.52 c repropagations : 939284 (6462368 domain reductions, 481730 cutoffs)
1800.04/1800.52 c avg switch length: 2.08
1800.04/1800.52 c switching time : 92.68
1800.04/1800.52 c Solution :
1800.04/1800.52 c Solutions found : 5 (5 improvements)
1800.04/1800.52 c First Solution : +3.77000000000000e+02 (in run 1, after 422 nodes, 1.02 seconds, depth 29, found by <relaxation>)
1800.04/1800.52 c Primal Bound : +3.64000000000000e+02 (in run 1, after 19104 nodes, 7.60 seconds, depth 38, found by <relaxation>)
1800.04/1800.52 c Dual Bound : +3.00000000000000e+00
1800.04/1800.52 c Gap : 12033.33 %
1800.04/1800.52 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.52 c Root Iterations : 0
1800.04/1800.54 c Time complete: 1800.08.
OK 364
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664680-1276452178/watcher-2664680-1276452178 -o /tmp/evaluation-result-2664680-1276452178/solver-2664680-1276452178 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664680-1276452178.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.00 1.02 1.00 2/106 24774 /proc/meminfo: memFree=1853740/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=6584 CPUtime=0 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 1020 0 0 0 0 0 0 0 24 0 1 0 20804246 6742016 943 1992294400 4194304 7136930 140735905551616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24774/statm: 1646 953 254 719 0 925 0 [startup+0.0148259 s] /proc/loadavg: 1.00 1.02 1.00 2/106 24774 /proc/meminfo: memFree=1853740/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=8512 CPUtime=0 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 1619 0 0 0 0 0 0 0 24 0 1 0 20804246 8716288 1542 1992294400 4194304 7136930 140735905551616 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24774/statm: 2128 1542 271 719 0 1407 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8512 [startup+0.100835 s] /proc/loadavg: 1.00 1.02 1.00 2/106 24774 /proc/meminfo: memFree=1853740/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=10688 CPUtime=0.09 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 2162 0 0 0 9 0 0 0 24 0 1 0 20804246 10944512 2085 1992294400 4194304 7136930 140735905551616 18446744073709551615 4433275 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24774/statm: 2672 2085 271 719 0 1951 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10688 [startup+0.300855 s] /proc/loadavg: 1.00 1.02 1.00 2/106 24774 /proc/meminfo: memFree=1853740/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=27872 CPUtime=0.29 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 6861 0 0 0 26 3 0 0 25 0 1 0 20804246 28540928 6173 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 6968 6173 344 719 0 6247 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27872 [startup+0.700895 s] /proc/loadavg: 1.00 1.02 1.00 2/106 24774 /proc/meminfo: memFree=1853740/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=29224 CPUtime=0.69 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8536 0 0 0 63 6 0 0 25 0 1 0 20804246 29925376 6569 1992294400 4194304 7136930 140735905551616 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7306 6569 383 719 0 6585 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29224 [startup+1.50098 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24775 /proc/meminfo: memFree=1828188/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30180 CPUtime=1.49 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8756 0 0 0 140 9 0 0 25 0 1 0 20804246 30904320 6789 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7545 6789 385 719 0 6824 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30180 [startup+3.10113 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24775 /proc/meminfo: memFree=1827816/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30180 CPUtime=3.09 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8760 0 0 0 290 19 0 0 25 0 1 0 20804246 30904320 6793 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7545 6793 385 719 0 6824 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30180 [startup+6.30046 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24775 /proc/meminfo: memFree=1827568/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30180 CPUtime=6.29 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8763 0 0 0 596 33 0 0 25 0 1 0 20804246 30904320 6796 1992294400 4194304 7136930 140735905551616 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7545 6796 385 719 0 6824 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30180 [startup+12.7011 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24775 /proc/meminfo: memFree=1827320/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30180 CPUtime=12.69 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8779 0 0 0 1203 66 0 0 25 0 1 0 20804246 30904320 6812 1992294400 4194304 7136930 140735905551616 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7545 6812 385 719 0 6824 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30180 [startup+25.5014 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24775 /proc/meminfo: memFree=1827320/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30180 CPUtime=25.48 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8780 0 0 0 2423 125 0 0 25 0 1 0 20804246 30904320 6813 1992294400 4194304 7136930 140735905551616 18446744073709551615 4704624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7545 6813 385 719 0 6824 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30180 [startup+51.1009 s] /proc/loadavg: 1.06 1.03 1.00 2/107 24777 /proc/meminfo: memFree=1827196/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30312 CPUtime=51.08 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8783 0 0 0 4861 247 0 0 25 0 1 0 20804246 31039488 6816 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7578 6816 385 719 0 6857 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30312 [startup+102.308 s] /proc/loadavg: 1.09 1.04 1.00 2/107 24777 /proc/meminfo: memFree=1826948/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30312 CPUtime=102.27 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8785 0 0 0 9749 478 0 0 25 0 1 0 20804246 31039488 6818 1992294400 4194304 7136930 140735905551616 18446744073709551615 4652802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7578 6818 385 719 0 6857 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30312 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 24779 /proc/meminfo: memFree=1826824/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30312 CPUtime=162.25 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8788 0 0 0 15474 751 0 0 25 0 1 0 20804246 31039488 6821 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7578 6821 385 719 0 6857 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 30312 [startup+222.301 s] /proc/loadavg: 1.09 1.05 1.00 2/107 24781 /proc/meminfo: memFree=1826700/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30448 CPUtime=222.23 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8842 0 0 0 21195 1028 0 0 25 0 1 0 20804246 31178752 6875 1992294400 4194304 7136930 140735905551616 18446744073709551615 4648644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7612 6875 385 719 0 6891 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30448 [startup+282.301 s] /proc/loadavg: 1.16 1.07 1.01 2/107 24783 /proc/meminfo: memFree=1826700/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30448 CPUtime=282.22 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8842 0 0 0 26914 1308 0 0 25 0 1 0 20804246 31178752 6875 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7612 6875 385 719 0 6891 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 30448 [startup+342.301 s] /proc/loadavg: 1.11 1.07 1.01 2/107 24785 /proc/meminfo: memFree=1826576/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=30448 CPUtime=342.21 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 8842 0 0 0 32645 1576 0 0 25 0 1 0 20804246 31178752 6875 1992294400 4194304 7136930 140735905551616 18446744073709551615 5919212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 7612 6875 385 719 0 6891 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 30448 [startup+402.301 s] /proc/loadavg: 1.04 1.05 1.00 2/107 24785 /proc/meminfo: memFree=1824840/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=32236 CPUtime=402.19 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9262 0 0 0 38381 1838 0 0 25 0 1 0 20804246 33009664 7295 1992294400 4194304 7136930 140735905551616 18446744073709551615 6122452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8059 7295 385 719 0 7338 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 32236 [startup+462.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 24787 /proc/meminfo: memFree=1824716/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=32236 CPUtime=462.18 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9268 0 0 0 44104 2114 0 0 25 0 1 0 20804246 33009664 7301 1992294400 4194304 7136930 140735905551616 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8059 7301 385 719 0 7338 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 32236 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 24789 /proc/meminfo: memFree=1824592/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=32236 CPUtime=522.16 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9284 0 0 0 49825 2391 0 0 25 0 1 0 20804246 33009664 7317 1992294400 4194304 7136930 140735905551616 18446744073709551615 5928764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8059 7317 385 719 0 7338 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 32236 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24791 /proc/meminfo: memFree=1824344/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=32408 CPUtime=582.14 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9320 0 0 0 55545 2669 0 0 25 0 1 0 20804246 33185792 7353 1992294400 4194304 7136930 140735905551616 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8102 7353 385 719 0 7381 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32408 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 24793 /proc/meminfo: memFree=1823724/2059040 swapFree=4134532/4192956 [pid=24774] ppid=24772 vsize=32816 CPUtime=642.14 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9421 0 0 0 61272 2942 0 0 25 0 1 0 20804246 33603584 7454 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8204 7454 385 719 0 7483 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 32816 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24802 /proc/meminfo: memFree=1821988/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33268 CPUtime=882.06 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9525 0 0 0 84147 4059 0 0 25 0 1 0 20804246 34066432 7558 1992294400 4194304 7136930 140735905551616 18446744073709551615 4653015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8317 7558 385 719 0 7596 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 33268 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24804 /proc/meminfo: memFree=1821988/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33268 CPUtime=942.05 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9542 0 0 0 89868 4337 0 0 25 0 1 0 20804246 34066432 7575 1992294400 4194304 7136930 140735905551616 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8317 7575 385 719 0 7596 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 33268 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24804 /proc/meminfo: memFree=1821988/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33268 CPUtime=1002.03 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9549 0 0 0 95579 4624 0 0 25 0 1 0 20804246 34066432 7582 1992294400 4194304 7136930 140735905551616 18446744073709551615 5917881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8317 7582 385 719 0 7596 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 33268 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24806 /proc/meminfo: memFree=1821988/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33684 CPUtime=1062.02 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9618 0 0 0 101286 4916 0 0 25 0 1 0 20804246 34492416 7651 1992294400 4194304 7136930 140735905551616 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8421 7651 385 719 0 7700 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 33684 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24808 /proc/meminfo: memFree=1821616/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1122.01 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9696 0 0 0 107024 5177 0 0 25 0 1 0 20804246 34770944 7729 1992294400 4194304 7136930 140735905551616 18446744073709551615 4240452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7729 385 719 0 7768 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 33956 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24810 /proc/meminfo: memFree=1821616/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1181.99 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9696 0 0 0 112753 5446 0 0 25 0 1 0 20804246 34770944 7729 1992294400 4194304 7136930 140735905551616 18446744073709551615 5958398 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7729 385 719 0 7768 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 33956 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24812 /proc/meminfo: memFree=1821492/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1241.98 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9696 0 0 0 118485 5713 0 0 25 0 1 0 20804246 34770944 7729 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7729 385 719 0 7768 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 33956 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24812 /proc/meminfo: memFree=1821368/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1301.97 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9697 0 0 0 124217 5980 0 0 25 0 1 0 20804246 34770944 7730 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7730 385 719 0 7768 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 33956 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24814 /proc/meminfo: memFree=1821368/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1361.95 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9697 0 0 0 129939 6256 0 0 25 0 1 0 20804246 34770944 7730 1992294400 4194304 7136930 140735905551616 18446744073709551615 4704338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7730 385 719 0 7768 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 33956 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24816 /proc/meminfo: memFree=1821244/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1421.94 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9703 0 0 0 135671 6523 0 0 25 0 1 0 20804246 34770944 7736 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7736 385 719 0 7768 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 33956 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24818 /proc/meminfo: memFree=1821244/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1481.92 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9703 0 0 0 141399 6793 0 0 25 0 1 0 20804246 34770944 7736 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7736 385 719 0 7768 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 33956 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24820 /proc/meminfo: memFree=1821120/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=33956 CPUtime=1541.9 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9709 0 0 0 147106 7084 0 0 25 0 1 0 20804246 34770944 7742 1992294400 4194304 7136930 140735905551616 18446744073709551615 4704338 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8489 7742 385 719 0 7768 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 33956 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24820 /proc/meminfo: memFree=1820128/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=34920 CPUtime=1601.89 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9944 0 0 0 152841 7348 0 0 25 0 1 0 20804246 35758080 7977 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8730 7977 385 719 0 8009 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 34920 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24822 /proc/meminfo: memFree=1820004/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=34920 CPUtime=1661.87 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9944 0 0 0 158550 7637 0 0 25 0 1 0 20804246 35758080 7977 1992294400 4194304 7136930 140735905551616 18446744073709551615 5918763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8730 7977 385 719 0 8009 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 34920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24824 /proc/meminfo: memFree=1819880/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=34920 CPUtime=1721.85 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9947 0 0 0 164271 7914 0 0 25 0 1 0 20804246 35758080 7980 1992294400 4194304 7136930 140735905551616 18446744073709551615 4240394 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8730 7980 385 719 0 8009 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 34920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24826 /proc/meminfo: memFree=1819508/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=35056 CPUtime=1781.84 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9969 0 0 0 169994 8190 0 0 25 0 1 0 20804246 35897344 8002 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8764 8002 385 719 0 8043 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 35056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 24826 /proc/meminfo: memFree=1819508/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=35056 CPUtime=1800.04 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9969 0 0 0 171728 8276 0 0 25 0 1 0 20804246 35897344 8002 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8764 8002 385 719 0 8043 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 35056 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 24826 /proc/meminfo: memFree=1819508/2059040 swapFree=4134576/4192956 [pid=24774] ppid=24772 vsize=35056 CPUtime=1800.04 /proc/24774/stat : 24774 (pbscip.linux.x8) R 24772 24774 24075 0 -1 4202496 9969 0 0 0 171728 8276 0 0 25 0 1 0 20804246 35897344 8002 1992294400 4194304 7136930 140735905551616 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/24774/statm: 8764 8002 385 719 0 8043 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 35056 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.09 CPU user time (s): 1717.31 CPU system time (s): 82.7734 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 35056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1717.31 system time used= 82.7734 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9985 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= 1 involuntary context switches= 6229 runsolver used 2.87256 second user time and 8.64368 second system time The end
Begin job on node017 at 2010-06-13 20:02:58 IDJOB=2664680 IDBENCH=2146 IDSOLVER=1167 FILE ID=node017/2664680-1276452178 PBS_JOBID= 11173330 Free space on /tmp= 62368 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664680-1276452178/watcher-2664680-1276452178 -o /tmp/evaluation-result-2664680-1276452178/solver-2664680-1276452178 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664680-1276452178.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 898f4661a42594ef028c1f962398614b RANDOM SEED=539715124 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854268 kB Buffers: 32692 kB Cached: 95440 kB SwapCached: 11412 kB Active: 84588 kB Inactive: 57304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854268 kB SwapTotal: 4192956 kB SwapFree: 4134532 kB Dirty: 3580 kB Writeback: 0 kB AnonPages: 12228 kB Mapped: 9212 kB Slab: 41260 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184476 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= 62364 MiB End job on node017 at 2010-06-13 20:33:01