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) | 292 | 1800.11 | 1800.73 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32d1.opb |
| MD5SUM | 1850b909125f53108de0513d8e3d52c8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 285 |
| Best CPU time to get the best result obtained on this benchmark | 1789.52 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 285 |
| Optimality of the best value was proved | NO |
| Number of variables | 664 |
| Total number of constraints | 3035 |
| Number of constraints which are clauses | 3035 |
| 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 | 664 |
| 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 | 664 |
| 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 | 664 |
| 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-2664112-1276472018.opb>
0.02/0.06 c original problem has 664 variables (664 bin, 0 int, 0 impl, 0 cont) and 3035 constraints
0.02/0.06 c problem read
0.02/0.06 c presolving settings loaded
0.02/0.06 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.02/0.08 c presolving:
0.09/0.15 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2959 upgd conss, 21144 impls, 0 clqs
0.09/0.16 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3035 upgd conss, 21144 impls, 0 clqs
0.19/0.21 c (0.1s) probing: 101/664 (15.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 21144 implications, 0 cliques
0.19/0.21 c presolved problem has 664 variables (664 bin, 0 int, 0 impl, 0 cont) and 3035 constraints
0.19/0.21 c 3035 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.11
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.94
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = -1
0.19/0.21 c
0.19/0.21 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.19/0.21 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.21 c lp/pricing = a
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # priority of node selection rule <dfs> in standard mode
0.19/0.21 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.21 c nodeselection/dfs/stdpriority = 1000000
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.22 c
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c 0.1s| 1 | 2 | 0 | - |4419k| 0 | - | 664 |3035 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 o 323
0.19/0.25 c * 0.1s| 80 | 42 | 0 | 0.0 |4490k| 52 | - | 664 |3039 | 0 | 0 | 0 | 20 | 0 | 1.000000e+00 | 3.230000e+02 | Large
0.19/0.26 o 322
0.19/0.26 c * 0.2s| 119 | 41 | 0 | 0.0 |4499k| 52 | - | 664 |3040 | 0 | 0 | 0 | 23 | 0 | 1.000000e+00 | 3.220000e+02 | Large
0.29/0.32 o 321
0.29/0.32 c * 0.2s| 315 | 42 | 0 | 0.0 |4512k| 52 | - | 664 |3039 | 0 | 0 | 0 | 44 | 0 | 1.000000e+00 | 3.210000e+02 | Large
0.29/0.39 o 320
0.29/0.39 c * 0.3s| 635 | 41 | 0 | 0.0 |4522k| 52 | - | 664 |3042 | 0 | 0 | 0 | 77 | 0 | 1.000000e+00 | 3.200000e+02 | Large
0.39/0.46 o 319
0.39/0.46 c * 0.3s| 857 | 45 | 0 | 0.0 |4532k| 52 | - | 664 |3040 | 0 | 0 | 0 | 108 | 0 | 1.000000e+00 | 3.190000e+02 | Large
0.39/0.46 o 318
0.39/0.46 c * 0.3s| 877 | 43 | 0 | 0.0 |4540k| 53 | - | 664 |3040 | 0 | 0 | 0 | 110 | 0 | 1.000000e+00 | 3.180000e+02 | Large
0.79/0.89 o 312
0.79/0.89 c * 0.7s| 2441 | 53 | 0 | 0.0 |4561k| 79 | - | 664 |3047 | 0 | 0 | 0 | 354 | 0 | 1.000000e+00 | 3.120000e+02 | Large
3.09/3.12 c 2.8s| 10000 | 42 | 0 | 0.0 |4573k| 79 | - | 664 |3054 | 0 | 0 | 0 |1818 | 0 | 1.000000e+00 | 3.120000e+02 | Large
5.89/5.95 c 5.5s| 20000 | 39 | 0 | 0.0 |4579k| 79 | - | 664 |3065 | 0 | 0 | 0 |3495 | 0 | 1.000000e+00 | 3.120000e+02 | Large
6.88/6.93 o 300
6.88/6.93 c * 6.4s| 23154 | 85 | 0 | 0.0 |4602k| 102 | - | 664 |3060 | 0 | 0 | 0 |4077 | 0 | 1.000000e+00 | 3.000000e+02 | Large
6.88/6.94 o 299
6.88/6.94 c * 6.4s| 23161 | 87 | 0 | 0.0 |4610k| 102 | - | 664 |3060 | 0 | 0 | 0 |4077 | 0 | 1.000000e+00 | 2.990000e+02 | Large
6.88/6.96 o 298
6.88/6.96 c * 6.4s| 23256 | 75 | 0 | 0.0 |4617k| 102 | - | 664 |3062 | 0 | 0 | 0 |4095 | 0 | 1.000000e+00 | 2.980000e+02 | Large
8.69/8.80 c 8.2s| 30000 | 44 | 0 | 0.0 |4611k| 102 | - | 664 |3062 | 0 | 0 | 0 |5079 | 0 | 1.000000e+00 | 2.980000e+02 | Large
11.18/11.21 c 10.4s| 40000 | 42 | 0 | 0.0 |4611k| 102 | - | 664 |3065 | 0 | 0 | 0 |6200 | 0 | 1.000000e+00 | 2.980000e+02 | Large
14.09/14.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.18 c 13.2s| 50000 | 36 | 0 | 0.0 |4618k| 102 | - | 664 |3064 | 0 | 0 | 0 |7591 | 0 | 1.000000e+00 | 2.980000e+02 | Large
16.99/17.04 c 15.9s| 60000 | 41 | 0 | 0.0 |4620k| 102 | - | 664 |3052 | 0 | 0 | 0 |9125 | 0 | 1.000000e+00 | 2.980000e+02 | Large
19.98/20.01 c 18.7s| 70000 | 33 | 0 | 0.0 |4627k| 102 | - | 664 |3071 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 2.980000e+02 | Large
22.88/22.90 c 21.4s| 80000 | 36 | 0 | 0.0 |4631k| 102 | - | 664 |3071 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 2.980000e+02 | Large
25.88/25.91 c 24.2s| 90000 | 32 | 0 | 0.0 |4635k| 102 | - | 664 |3077 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 2.980000e+02 | Large
28.68/28.70 c 26.9s|100000 | 38 | 0 | 0.0 |4639k| 102 | - | 664 |3079 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 2.980000e+02 | Large
30.98/31.02 c 29.0s|110000 | 53 | 0 | 0.0 |4644k| 102 | - | 664 |3079 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 2.980000e+02 | Large
33.58/33.66 c 31.5s|120000 | 36 | 0 | 0.0 |4644k| 102 | - | 664 |3088 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 2.980000e+02 | Large
36.29/36.33 c 34.0s|130000 | 36 | 0 | 0.0 |4643k| 102 | - | 664 |3088 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 2.980000e+02 | Large
39.38/39.50 c 37.0s|140000 | 30 | 0 | 0.0 |4647k| 102 | - | 664 |3050 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 2.980000e+02 | Large
42.48/42.50 c 39.8s|150000 | 34 | 0 | 0.0 |4689k| 102 | - | 664 |3119 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 2.980000e+02 | Large
46.08/46.13 c 43.1s|160000 | 60 | 0 | 0.0 |4679k| 102 | - | 664 |3056 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 2.980000e+02 | Large
49.57/49.67 c 46.5s|170000 | 55 | 0 | 0.0 |4695k| 102 | - | 664 |3092 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 2.980000e+02 | Large
53.47/53.52 c 50.1s|180000 | 32 | 0 | 0.0 |4695k| 102 | - | 664 |3101 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 2.980000e+02 | Large
57.07/57.19 c 53.5s|190000 | 38 | 0 | 0.0 |4687k| 102 | - | 664 |3074 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 2.980000e+02 | Large
61.18/61.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.18/61.26 c 57.3s|200000 | 30 | 0 | 0.0 |4683k| 102 | - | 664 |3056 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 2.980000e+02 | Large
65.37/65.46 c 61.2s|210000 | 29 | 0 | 0.0 |4696k| 102 | - | 664 |3085 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 2.980000e+02 | Large
68.67/68.72 o 297
68.67/68.72 c *64.3s|219114 | 78 | 0 | 0.0 |4723k| 102 | - | 664 |3089 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 2.970000e+02 | Large
68.77/68.85 o 296
68.77/68.85 c *64.4s|219673 | 68 | 0 | 0.0 |4729k| 102 | - | 664 |3089 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 2.960000e+02 | Large
68.87/68.92 c 64.5s|220000 | 60 | 0 | 0.0 |4725k| 102 | - | 664 |3088 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 2.960000e+02 | Large
71.87/71.91 c 67.3s|230000 | 55 | 0 | 0.0 |4726k| 102 | - | 664 |3090 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 2.960000e+02 | Large
74.26/74.39 c 69.7s|240000 | 42 | 0 | 0.0 |4722k| 102 | - | 664 |3091 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 2.960000e+02 | Large
77.07/77.17 c 72.3s|250000 | 40 | 0 | 0.0 |4723k| 102 | - | 664 |3090 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 2.960000e+02 | Large
79.46/79.51 c 74.5s|260000 | 44 | 0 | 0.0 |4723k| 102 | - | 664 |3089 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 2.960000e+02 | Large
82.16/82.23 c 77.0s|270000 | 39 | 0 | 0.0 |4724k| 102 | - | 664 |3092 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 2.960000e+02 | Large
82.66/82.78 o 295
82.66/82.78 c *77.6s|272216 | 66 | 0 | 0.0 |4738k| 102 | - | 664 |3091 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 2.950000e+02 | Large
82.96/83.08 o 294
82.96/83.08 c *77.8s|273238 | 65 | 0 | 0.0 |4746k| 102 | - | 664 |3090 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 2.940000e+02 | Large
84.16/84.26 o 293
84.16/84.26 c *79.0s|277024 | 50 | 0 | 0.0 |4757k| 102 | - | 664 |3100 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 2.930000e+02 | Large
85.06/85.17 c 79.8s|280000 | 48 | 0 | 0.0 |4747k| 102 | - | 664 |3089 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 2.930000e+02 | Large
88.36/88.49 c 83.0s|290000 | 36 | 0 | 0.0 |4747k| 102 | - | 664 |3094 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 2.930000e+02 | Large
91.76/91.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.76/91.83 c 86.2s|300000 | 36 | 0 | 0.0 |4746k| 102 | - | 664 |3092 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 2.930000e+02 | Large
94.57/94.69 c 88.9s|310000 | 32 | 0 | 0.0 |4738k| 102 | - | 664 |3067 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 2.930000e+02 | Large
97.26/97.36 c 91.4s|320000 | 27 | 0 | 0.0 |4741k| 102 | - | 664 |3076 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 2.930000e+02 | Large
100.06/100.19 c 94.0s|330000 | 32 | 0 | 0.0 |4740k| 102 | - | 664 |3074 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 2.930000e+02 | Large
103.06/103.10 c 96.8s|340000 | 36 | 0 | 0.0 |4744k| 102 | - | 664 |3081 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 2.930000e+02 | Large
106.06/106.13 c 99.6s|350000 | 35 | 0 | 0.0 |4740k| 102 | - | 664 |3076 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 2.930000e+02 | Large
108.66/108.72 c 102s|360000 | 31 | 0 | 0.0 |4749k| 102 | - | 664 |3095 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 2.930000e+02 | Large
111.15/111.26 c 104s|370000 | 30 | 0 | 0.0 |4742k| 102 | - | 664 |3079 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 2.930000e+02 | Large
113.95/114.08 c 107s|380000 | 29 | 0 | 0.0 |4745k| 102 | - | 664 |3094 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 2.930000e+02 | Large
116.95/117.07 c 110s|390000 | 29 | 0 | 0.0 |4750k| 102 | - | 664 |3112 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 2.930000e+02 | Large
119.76/119.83 c 112s|400000 | 29 | 0 | 0.0 |4762k| 102 | - | 664 |3135 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 2.930000e+02 | Large
122.85/122.91 c 115s|410000 | 31 | 0 | 0.0 |4752k| 102 | - | 664 |3109 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 2.930000e+02 | Large
125.45/125.55 c 118s|420000 | 33 | 0 | 0.0 |4753k| 102 | - | 664 |3110 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 2.930000e+02 | Large
128.35/128.49 c 120s|430000 | 33 | 0 | 0.0 |4756k| 102 | - | 664 |3116 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 2.930000e+02 | Large
131.35/131.44 c 123s|440000 | 31 | 0 | 0.0 |4756k| 102 | - | 664 |3115 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 2.930000e+02 | Large
134.25/134.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.25/134.32 c 126s|450000 | 32 | 0 | 0.0 |4756k| 102 | - | 664 |3115 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 2.930000e+02 | Large
137.15/137.27 c 129s|460000 | 26 | 0 | 0.0 |4765k| 102 | - | 664 |3137 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 2.930000e+02 | Large
140.25/140.36 c 131s|470000 | 32 | 0 | 0.0 |4771k| 102 | - | 664 |3150 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 2.930000e+02 | Large
142.74/142.81 c 134s|480000 | 29 | 0 | 0.0 |4779k| 102 | - | 664 |3170 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 2.930000e+02 | Large
145.35/145.41 c 136s|490000 | 33 | 0 | 0.0 |4767k| 102 | - | 664 |3137 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 2.930000e+02 | Large
147.94/148.06 c 139s|500000 | 33 | 0 | 0.0 |4768k| 102 | - | 664 |3138 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 2.930000e+02 | Large
151.14/151.22 c 142s|510000 | 30 | 0 | 0.0 |4748k| 102 | - | 664 |3070 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 2.930000e+02 | Large
154.04/154.20 c 144s|520000 | 25 | 0 | 0.0 |4761k| 102 | - | 664 |3097 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 2.930000e+02 | Large
157.84/157.97 c 148s|530000 | 33 | 0 | 0.0 |4746k| 102 | - | 664 |3059 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 2.930000e+02 | Large
160.84/160.90 c 151s|540000 | 28 | 0 | 0.0 |4748k| 102 | - | 664 |3054 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 2.930000e+02 | Large
164.24/164.36 c 154s|550000 | 36 | 0 | 0.0 |4749k| 102 | - | 664 |3062 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 2.930000e+02 | Large
167.24/167.38 c 157s|560000 | 29 | 0 | 0.0 |4757k| 102 | - | 664 |3079 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 2.930000e+02 | Large
170.23/170.36 c 159s|570000 | 29 | 0 | 0.0 |4747k| 102 | - | 664 |3057 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 2.930000e+02 | Large
172.64/172.79 c 162s|580000 | 25 | 0 | 0.0 |4758k| 102 | - | 664 |3083 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 2.930000e+02 | Large
176.03/176.12 c 165s|590000 | 29 | 0 | 0.0 |4760k| 102 | - | 664 |3087 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 2.930000e+02 | Large
179.23/179.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.23/179.34 c 168s|600000 | 32 | 0 | 0.0 |4759k| 102 | - | 664 |3074 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 2.930000e+02 | Large
181.83/181.96 c 170s|610000 | 29 | 0 | 0.0 |4755k| 102 | - | 664 |3066 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 2.930000e+02 | Large
185.92/186.07 c 174s|620000 | 24 | 0 | 0.0 |4773k| 102 | - | 664 |3052 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 2.930000e+02 | Large
189.53/189.70 c 178s|630000 | 23 | 0 | 0.0 |4774k| 102 | - | 664 |3080 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 2.930000e+02 | Large
193.92/194.00 c 182s|640000 | 28 | 0 | 0.0 |4781k| 102 | - | 664 |3089 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 2.930000e+02 | Large
199.22/199.35 c 186s|650000 | 25 | 0 | 0.0 |4769k| 102 | - | 664 |3057 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 2.930000e+02 | Large
204.02/204.20 c 191s|660000 | 28 | 0 | 0.0 |4783k| 102 | - | 664 |3081 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 2.930000e+02 | Large
209.52/209.63 c 196s|670000 | 21 | 0 | 0.0 |4772k| 102 | - | 664 |3057 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 2.930000e+02 | Large
214.12/214.20 c 200s|680000 | 24 | 0 | 0.0 |4779k| 102 | - | 664 |3055 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 2.930000e+02 | Large
219.42/219.54 c 205s|690000 | 27 | 0 | 0.0 |4787k| 102 | - | 664 |3061 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 2.930000e+02 | Large
224.51/224.67 c 210s|700000 | 26 | 0 | 0.0 |4802k| 102 | - | 664 |3093 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 2.930000e+02 | Large
228.91/229.02 c 214s|710000 | 27 | 0 | 0.0 |4808k| 102 | - | 664 |3100 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 2.930000e+02 | Large
232.51/232.65 c 218s|720000 | 26 | 0 | 0.0 |4802k| 102 | - | 664 |3100 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 2.930000e+02 | Large
236.01/236.19 c 221s|730000 | 29 | 0 | 0.0 |4808k| 102 | - | 664 |3113 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 2.930000e+02 | Large
240.31/240.42 c 225s|740000 | 20 | 0 | 0.0 |4783k| 102 | - | 664 |3071 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 2.930000e+02 | Large
244.41/244.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
244.41/244.55 c 229s|750000 | 21 | 0 | 0.0 |4798k| 102 | - | 664 |3083 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 2.930000e+02 | Large
248.52/248.64 c 232s|760000 | 22 | 0 | 0.0 |4798k| 102 | - | 664 |3078 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 2.930000e+02 | Large
252.30/252.50 c 236s|770000 | 25 | 0 | 0.0 |4800k| 102 | - | 664 |3075 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 2.930000e+02 | Large
256.41/256.55 c 240s|780000 | 21 | 0 | 0.0 |4799k| 102 | - | 664 |3075 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | 2.930000e+02 | Large
260.30/260.47 c 243s|790000 | 27 | 0 | 0.0 |4807k| 102 | - | 664 |3080 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 2.930000e+02 | Large
264.30/264.43 c 247s|800000 | 28 | 0 | 0.0 |4805k| 102 | - | 664 |3076 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 2.930000e+02 | Large
268.50/268.62 c 251s|810000 | 24 | 0 | 0.0 |4809k| 102 | - | 664 |3092 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 2.930000e+02 | Large
272.49/272.65 c 255s|820000 | 25 | 0 | 0.0 |4803k| 102 | - | 664 |3067 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 2.930000e+02 | Large
276.79/276.93 c 259s|830000 | 23 | 0 | 0.0 |4808k| 102 | - | 664 |3085 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 2.930000e+02 | Large
281.20/281.31 c 263s|840000 | 25 | 0 | 0.0 |4806k| 102 | - | 664 |3076 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 2.930000e+02 | Large
285.19/285.31 c 267s|850000 | 23 | 0 | 0.0 |4810k| 102 | - | 664 |3076 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 2.930000e+02 | Large
289.29/289.47 c 270s|860000 | 18 | 0 | 0.0 |4812k| 102 | - | 664 |3091 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 2.930000e+02 | Large
293.19/293.32 c 274s|870000 | 23 | 0 | 0.0 |4818k| 102 | - | 664 |3104 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 2.930000e+02 | Large
296.49/296.66 c 277s|880000 | 28 | 0 | 0.0 |4803k| 102 | - | 664 |3059 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 2.930000e+02 | Large
301.69/301.83 c 282s|890000 | 25 | 0 | 0.0 |4813k| 102 | - | 664 |3075 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 2.930000e+02 | Large
305.79/305.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.79/305.94 c 286s|900000 | 27 | 0 | 0.0 |4818k| 102 | - | 664 |3096 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 2.930000e+02 | Large
308.39/308.57 c 288s|910000 | 24 | 0 | 0.0 |4827k| 102 | - | 664 |3113 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 2.930000e+02 | Large
311.89/312.00 c 291s|920000 | 25 | 0 | 0.0 |4821k| 102 | - | 664 |3108 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 2.930000e+02 | Large
315.39/315.56 c 295s|930000 | 24 | 0 | 0.0 |4828k| 102 | - | 664 |3119 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 2.930000e+02 | Large
319.18/319.39 c 298s|940000 | 25 | 0 | 0.0 |4814k| 102 | - | 664 |3075 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 2.930000e+02 | Large
323.38/323.60 c 302s|950000 | 25 | 0 | 0.0 |4821k| 102 | - | 664 |3089 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 2.930000e+02 | Large
327.98/328.11 c 306s|960000 | 23 | 0 | 0.0 |4823k| 102 | - | 664 |3100 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 2.930000e+02 | Large
331.88/332.03 c 310s|970000 | 22 | 0 | 0.0 |4826k| 102 | - | 664 |3112 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 2.930000e+02 | Large
336.77/336.95 c 315s|980000 | 20 | 0 | 0.0 |4829k| 102 | - | 664 |3124 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 2.930000e+02 | Large
340.48/340.68 c 318s|990000 | 22 | 0 | 0.0 |4849k| 102 | - | 664 |3156 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.930000e+02 | Large
344.28/344.47 c 322s| 1000k| 25 | 0 | 0.0 |4853k| 102 | - | 664 |3151 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 2.930000e+02 | Large
348.48/348.67 c 326s| 1010k| 24 | 0 | 0.0 |4819k| 102 | - | 664 |3074 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 2.930000e+02 | Large
352.47/352.65 c 329s| 1020k| 23 | 0 | 0.0 |4822k| 102 | - | 664 |3082 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 2.930000e+02 | Large
356.18/356.35 c 333s| 1030k| 24 | 0 | 0.0 |4830k| 102 | - | 664 |3102 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 2.930000e+02 | Large
359.66/359.88 c 336s| 1040k| 22 | 0 | 0.0 |4821k| 102 | - | 664 |3076 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 2.930000e+02 | Large
363.77/363.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.77/363.96 c 340s| 1050k| 21 | 0 | 0.0 |4832k| 102 | - | 664 |3110 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 2.930000e+02 | Large
367.17/367.31 c 343s| 1060k| 22 | 0 | 0.0 |4827k| 102 | - | 664 |3087 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 2.930000e+02 | Large
370.66/370.80 c 346s| 1070k| 18 | 0 | 0.0 |4840k| 102 | - | 664 |3120 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 2.930000e+02 | Large
374.17/374.39 c 350s| 1080k| 27 | 0 | 0.0 |4824k| 102 | - | 664 |3069 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 2.930000e+02 | Large
377.26/377.48 c 352s| 1090k| 24 | 0 | 0.0 |4833k| 102 | - | 664 |3087 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 2.930000e+02 | Large
381.37/381.50 c 356s| 1100k| 27 | 0 | 0.0 |4818k| 102 | - | 664 |3058 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 2.930000e+02 | Large
385.56/385.75 c 360s| 1110k| 26 | 0 | 0.0 |4818k| 102 | - | 664 |3049 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 2.930000e+02 | Large
390.06/390.24 c 364s| 1120k| 18 | 0 | 0.0 |4810k| 102 | - | 664 |3057 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 2.930000e+02 | Large
394.45/394.61 c 368s| 1130k| 25 | 0 | 0.0 |4826k| 102 | - | 664 |3072 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 2.930000e+02 | Large
398.55/398.76 c 372s| 1140k| 21 | 0 | 0.0 |4826k| 102 | - | 664 |3077 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 2.930000e+02 | Large
403.25/403.41 c 377s| 1150k| 22 | 0 | 0.0 |4819k| 102 | - | 664 |3073 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 2.930000e+02 | Large
406.65/406.84 c 380s| 1160k| 22 | 0 | 0.0 |4831k| 102 | - | 664 |3091 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 2.930000e+02 | Large
410.35/410.53 c 383s| 1170k| 26 | 0 | 0.0 |4850k| 102 | - | 664 |3136 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 2.930000e+02 | Large
414.46/414.61 c 387s| 1180k| 18 | 0 | 0.0 |4843k| 102 | - | 664 |3101 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 2.930000e+02 | Large
418.45/418.65 c 391s| 1190k| 23 | 0 | 0.0 |4834k| 102 | - | 664 |3082 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 2.930000e+02 | Large
421.85/422.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.85/422.06 c 394s| 1200k| 20 | 0 | 0.0 |4837k| 102 | - | 664 |3088 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.930000e+02 | Large
425.65/425.80 c 397s| 1210k| 23 | 0 | 0.0 |4835k| 102 | - | 664 |3070 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 2.930000e+02 | Large
428.75/428.92 c 400s| 1220k| 21 | 0 | 0.0 |4873k| 102 | - | 664 |3160 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 2.930000e+02 | Large
432.24/432.45 c 404s| 1230k| 24 | 0 | 0.0 |4865k| 102 | - | 664 |3137 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 2.930000e+02 | Large
435.54/435.74 c 407s| 1240k| 29 | 0 | 0.0 |4873k| 102 | - | 664 |3153 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 2.930000e+02 | Large
438.75/438.99 c 410s| 1250k| 27 | 0 | 0.0 |4872k| 102 | - | 664 |3147 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 2.930000e+02 | Large
441.84/442.10 c 413s| 1260k| 25 | 0 | 0.0 |4869k| 102 | - | 664 |3142 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 2.930000e+02 | Large
445.25/445.47 c 416s| 1270k| 24 | 0 | 0.0 |4873k| 102 | - | 664 |3156 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 2.930000e+02 | Large
449.04/449.26 c 419s| 1280k| 21 | 0 | 0.0 |4872k| 102 | - | 664 |3168 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 2.930000e+02 | Large
452.64/452.86 c 423s| 1290k| 23 | 0 | 0.0 |4879k| 102 | - | 664 |3178 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 2.930000e+02 | Large
456.13/456.33 c 426s| 1300k| 22 | 0 | 0.0 |4879k| 102 | - | 664 |3168 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 2.930000e+02 | Large
458.64/458.89 c 428s| 1310k| 77 | 0 | 0.0 |4888k| 107 | - | 664 |3153 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 2.930000e+02 | Large
461.23/461.48 c 431s| 1320k| 73 | 0 | 0.0 |4888k| 107 | - | 664 |3154 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 2.930000e+02 | Large
464.43/464.66 c 434s| 1330k| 58 | 0 | 0.0 |4884k| 107 | - | 664 |3154 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 2.930000e+02 | Large
468.03/468.26 c 437s| 1340k| 51 | 0 | 0.0 |4883k| 107 | - | 664 |3154 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 2.930000e+02 | Large
471.23/471.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.23/471.41 c 440s| 1350k| 47 | 0 | 0.0 |4881k| 107 | - | 664 |3152 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 2.930000e+02 | Large
473.83/474.02 c 443s| 1360k| 38 | 0 | 0.0 |4882k| 107 | - | 664 |3153 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 2.930000e+02 | Large
477.43/477.64 c 446s| 1370k| 47 | 0 | 0.0 |4885k| 107 | - | 664 |3155 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 2.930000e+02 | Large
480.63/480.81 c 449s| 1380k| 46 | 0 | 0.0 |4882k| 107 | - | 664 |3154 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 2.930000e+02 | Large
483.73/483.91 c 452s| 1390k| 45 | 0 | 0.0 |4882k| 107 | - | 664 |3154 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 2.930000e+02 | Large
484.12/484.35 o 292
484.12/484.35 c * 453s| 1391k| 49 | 0 | 0.0 |4893k| 107 | - | 664 |3154 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 2.920000e+02 | Large
487.04/487.23 c 455s| 1400k| 54 | 0 | 0.0 |4891k| 107 | - | 664 |3152 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 2.920000e+02 | Large
490.23/490.45 c 458s| 1410k| 30 | 0 | 0.0 |4890k| 107 | - | 664 |3155 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 2.920000e+02 | Large
492.93/493.17 c 461s| 1420k| 42 | 0 | 0.0 |4895k| 107 | - | 664 |3168 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 2.920000e+02 | Large
495.72/495.97 c 463s| 1430k| 34 | 0 | 0.0 |4895k| 107 | - | 664 |3169 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 2.920000e+02 | Large
498.42/498.66 c 466s| 1440k| 49 | 0 | 0.0 |4900k| 107 | - | 664 |3174 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 2.920000e+02 | Large
500.82/501.05 c 468s| 1450k| 24 | 0 | 0.0 |4888k| 108 | - | 664 |3159 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 2.920000e+02 | Large
503.62/503.82 c 471s| 1460k| 26 | 0 | 0.0 |4847k| 108 | - | 664 |3061 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 2.920000e+02 | Large
506.62/506.87 c 474s| 1470k| 24 | 0 | 0.0 |4847k| 108 | - | 664 |3060 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 2.920000e+02 | Large
509.82/510.08 c 477s| 1480k| 26 | 0 | 0.0 |4864k| 108 | - | 664 |3094 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 2.920000e+02 | Large
512.52/512.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.52/512.71 c 479s| 1490k| 24 | 0 | 0.0 |4873k| 108 | - | 664 |3113 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 2.920000e+02 | Large
515.22/515.47 c 482s| 1500k| 22 | 0 | 0.0 |4853k| 108 | - | 664 |3071 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 2.920000e+02 | Large
518.61/518.83 c 485s| 1510k| 50 | 0 | 0.0 |4859k| 108 | - | 664 |3068 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 2.920000e+02 | Large
521.51/521.75 c 488s| 1520k| 24 | 0 | 0.0 |4857k| 108 | - | 664 |3077 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 2.920000e+02 | Large
524.52/524.72 c 490s| 1530k| 26 | 0 | 0.0 |4872k| 108 | - | 664 |3105 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 2.920000e+02 | Large
527.31/527.55 c 493s| 1540k| 25 | 0 | 0.0 |4852k| 108 | - | 664 |3068 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 2.920000e+02 | Large
530.81/531.09 c 496s| 1550k| 29 | 0 | 0.0 |4857k| 108 | - | 664 |3074 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 2.920000e+02 | Large
534.21/534.43 c 500s| 1560k| 24 | 0 | 0.0 |4860k| 108 | - | 664 |3088 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 2.920000e+02 | Large
537.41/537.61 c 502s| 1570k| 23 | 0 | 0.0 |4862k| 108 | - | 664 |3094 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 2.920000e+02 | Large
540.20/540.48 c 505s| 1580k| 33 | 0 | 0.0 |4867k| 108 | - | 664 |3098 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | 2.920000e+02 | Large
543.01/543.21 c 508s| 1590k| 23 | 0 | 0.0 |4879k| 108 | - | 664 |3128 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 2.920000e+02 | Large
545.81/546.04 c 510s| 1600k| 23 | 0 | 0.0 |4878k| 108 | - | 664 |3122 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 2.920000e+02 | Large
548.71/548.92 c 513s| 1610k| 20 | 0 | 0.0 |4882k| 108 | - | 664 |3137 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 2.920000e+02 | Large
551.60/551.87 c 516s| 1620k| 21 | 0 | 0.0 |4880k| 108 | - | 664 |3132 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 2.920000e+02 | Large
555.00/555.29 c 519s| 1630k| 48 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 2.920000e+02 | Large
560.30/560.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.30/560.50 c 524s| 1640k| 48 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 2.920000e+02 | Large
565.00/565.23 c 528s| 1650k| 48 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 2.920000e+02 | Large
569.40/569.67 c 533s| 1660k| 45 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 2.920000e+02 | Large
574.30/574.53 c 537s| 1670k| 43 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 2.920000e+02 | Large
577.99/578.26 c 541s| 1680k| 47 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 2.920000e+02 | Large
582.81/583.01 c 545s| 1690k| 43 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 2.920000e+02 | Large
587.70/587.96 c 550s| 1700k| 43 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 2.920000e+02 | Large
591.60/591.89 c 554s| 1710k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 2.920000e+02 | Large
596.00/596.22 c 558s| 1720k| 47 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 2.920000e+02 | Large
600.69/600.96 c 563s| 1730k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 353k| 0 | 1.000000e+00 | 2.920000e+02 | Large
605.29/605.52 c 567s| 1740k| 42 | 0 | 0.0 |4871k| 108 | - | 664 |3084 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | 2.920000e+02 | Large
610.08/610.35 c 572s| 1750k| 46 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 2.920000e+02 | Large
615.08/615.38 c 576s| 1760k| 42 | 0 | 0.0 |4870k| 108 | - | 664 |3083 | 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 2.920000e+02 | Large
619.99/620.28 c 581s| 1770k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 2.920000e+02 | Large
624.59/624.87 c 586s| 1780k| 48 | 0 | 0.0 |4868k| 108 | - | 664 |3081 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 2.920000e+02 | Large
629.18/629.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.18/629.48 c 590s| 1790k| 43 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 2.920000e+02 | Large
634.28/634.50 c 595s| 1800k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 2.920000e+02 | Large
639.18/639.40 c 600s| 1810k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 2.920000e+02 | Large
643.67/643.97 c 604s| 1820k| 45 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 2.920000e+02 | Large
648.37/648.62 c 608s| 1830k| 45 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 2.920000e+02 | Large
653.08/653.31 c 613s| 1840k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | 2.920000e+02 | Large
657.67/657.91 c 617s| 1850k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 2.920000e+02 | Large
662.46/662.76 c 622s| 1860k| 40 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 2.920000e+02 | Large
666.96/667.29 c 626s| 1870k| 44 | 0 | 0.0 |4871k| 108 | - | 664 |3084 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 2.920000e+02 | Large
671.96/672.20 c 631s| 1880k| 41 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | 2.920000e+02 | Large
676.76/677.07 c 636s| 1890k| 44 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 2.920000e+02 | Large
681.36/681.64 c 640s| 1900k| 44 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 2.920000e+02 | Large
685.96/686.28 c 644s| 1910k| 41 | 0 | 0.0 |4870k| 108 | - | 664 |3083 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 2.920000e+02 | Large
690.86/691.15 c 649s| 1920k| 44 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 2.920000e+02 | Large
695.96/696.23 c 654s| 1930k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 2.920000e+02 | Large
700.86/701.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.86/701.13 c 659s| 1940k| 37 | 0 | 0.0 |4871k| 108 | - | 664 |3086 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 2.920000e+02 | Large
705.55/705.83 c 663s| 1950k| 43 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 2.920000e+02 | Large
710.36/710.60 c 668s| 1960k| 42 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 2.920000e+02 | Large
715.25/715.54 c 672s| 1970k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 2.920000e+02 | Large
720.16/720.49 c 677s| 1980k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 2.920000e+02 | Large
725.35/725.62 c 682s| 1990k| 40 | 0 | 0.0 |4869k| 108 | - | 664 |3083 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 2.920000e+02 | Large
730.45/730.78 c 687s| 2000k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 2.920000e+02 | Large
735.55/735.81 c 692s| 2010k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 2.920000e+02 | Large
740.24/740.51 c 696s| 2020k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 2.920000e+02 | Large
745.55/745.81 c 701s| 2030k| 43 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 2.920000e+02 | Large
750.84/751.18 c 707s| 2040k| 45 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 2.920000e+02 | Large
756.03/756.35 c 712s| 2050k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 2.920000e+02 | Large
761.34/761.62 c 717s| 2060k| 45 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 2.920000e+02 | Large
766.83/767.12 c 722s| 2070k| 48 | 0 | 0.0 |4868k| 108 | - | 664 |3081 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 2.920000e+02 | Large
771.73/772.08 c 727s| 2080k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 2.920000e+02 | Large
776.73/777.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.73/777.04 c 731s| 2090k| 41 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | 2.920000e+02 | Large
781.63/781.95 c 736s| 2100k| 38 | 0 | 0.0 |4871k| 108 | - | 664 |3086 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 2.920000e+02 | Large
786.33/786.62 c 741s| 2110k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 2.920000e+02 | Large
790.93/791.27 c 745s| 2120k| 38 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 2.920000e+02 | Large
795.52/795.87 c 749s| 2130k| 41 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 2.920000e+02 | Large
799.92/800.24 c 754s| 2140k| 43 | 0 | 0.0 |4871k| 108 | - | 664 |3083 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 2.920000e+02 | Large
804.51/804.86 c 758s| 2150k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 2.920000e+02 | Large
809.61/809.95 c 763s| 2160k| 44 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 2.920000e+02 | Large
814.72/815.07 c 768s| 2170k| 38 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 2.920000e+02 | Large
820.12/820.40 c 773s| 2180k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 2.920000e+02 | Large
825.31/825.64 c 778s| 2190k| 37 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 2.920000e+02 | Large
830.41/830.73 c 783s| 2200k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 2.920000e+02 | Large
835.41/835.73 c 788s| 2210k| 41 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 2.920000e+02 | Large
840.12/840.42 c 792s| 2220k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 2.920000e+02 | Large
844.70/845.03 c 797s| 2230k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 2.920000e+02 | Large
849.30/849.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.30/849.64 c 801s| 2240k| 42 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 2.920000e+02 | Large
853.31/853.69 c 805s| 2250k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 2.920000e+02 | Large
858.10/858.46 c 809s| 2260k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 2.920000e+02 | Large
862.20/862.56 c 813s| 2270k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 2.920000e+02 | Large
867.09/867.45 c 818s| 2280k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 2.920000e+02 | Large
871.30/871.62 c 822s| 2290k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 2.920000e+02 | Large
875.79/876.19 c 826s| 2300k| 42 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 2.920000e+02 | Large
880.59/880.91 c 831s| 2310k| 37 | 0 | 0.0 |4867k| 108 | - | 664 |3083 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 2.920000e+02 | Large
885.10/885.47 c 835s| 2320k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 2.920000e+02 | Large
889.99/890.35 c 840s| 2330k| 43 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 2.920000e+02 | Large
894.88/895.27 c 845s| 2340k| 40 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 2.920000e+02 | Large
899.49/899.85 c 849s| 2350k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 2.920000e+02 | Large
904.19/904.50 c 853s| 2360k| 36 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 2.920000e+02 | Large
908.98/909.30 c 858s| 2370k| 44 | 0 | 0.0 |4871k| 108 | - | 664 |3083 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 2.920000e+02 | Large
914.08/914.45 c 863s| 2380k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 2.920000e+02 | Large
918.68/919.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.68/919.09 c 867s| 2390k| 42 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 2.920000e+02 | Large
922.98/923.39 c 872s| 2400k| 43 | 0 | 0.0 |4872k| 108 | - | 664 |3084 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 2.920000e+02 | Large
927.68/928.09 c 876s| 2410k| 41 | 0 | 0.0 |4871k| 108 | - | 664 |3086 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 2.920000e+02 | Large
932.57/932.96 c 881s| 2420k| 43 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 2.920000e+02 | Large
936.37/936.72 c 884s| 2430k| 43 | 0 | 0.0 |4871k| 108 | - | 664 |3084 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 2.920000e+02 | Large
941.07/941.44 c 889s| 2440k| 45 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 2.920000e+02 | Large
946.38/946.72 c 894s| 2450k| 45 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 2.920000e+02 | Large
950.97/951.31 c 898s| 2460k| 42 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 2.920000e+02 | Large
955.36/955.71 c 903s| 2470k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 2.920000e+02 | Large
959.88/960.23 c 907s| 2480k| 42 | 0 | 0.0 |4869k| 108 | - | 664 |3084 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 2.920000e+02 | Large
964.67/965.05 c 912s| 2490k| 39 | 0 | 0.0 |4868k| 108 | - | 664 |3084 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 2.920000e+02 | Large
969.26/969.68 c 916s| 2500k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 2.920000e+02 | Large
974.06/974.50 c 921s| 2510k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | 2.920000e+02 | Large
978.06/978.48 c 924s| 2520k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 2.920000e+02 | Large
982.46/982.88 c 929s| 2530k| 37 | 0 | 0.0 |4865k| 108 | - | 664 |3081 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 2.920000e+02 | Large
987.16/987.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.16/987.57 c 933s| 2540k| 42 | 0 | 0.0 |4869k| 108 | - | 664 |3081 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 2.920000e+02 | Large
991.16/991.52 c 937s| 2550k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 709k| 0 | 1.000000e+00 | 2.920000e+02 | Large
995.95/996.32 c 942s| 2560k| 42 | 0 | 0.0 |4869k| 108 | - | 664 |3084 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1000.45/1000.89 c 946s| 2570k| 40 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1005.15/1005.52 c 950s| 2580k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1010.15/1010.55 c 955s| 2590k| 40 | 0 | 0.0 |4871k| 108 | - | 664 |3084 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1015.25/1015.65 c 960s| 2600k| 43 | 0 | 0.0 |4871k| 108 | - | 664 |3083 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1020.45/1020.88 c 965s| 2610k| 37 | 0 | 0.0 |4871k| 108 | - | 664 |3085 | 0 | 0 | 0 | 737k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1025.24/1025.61 c 970s| 2620k| 43 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1030.25/1030.64 c 974s| 2630k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1035.14/1035.52 c 979s| 2640k| 41 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1038.94/1039.33 c 983s| 2650k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1042.54/1042.97 c 986s| 2660k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1047.33/1047.77 c 991s| 2670k| 38 | 0 | 0.0 |4869k| 108 | - | 664 |3083 | 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1052.24/1052.69 c 996s| 2680k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1056.83/1057.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.83/1057.25 c 1000s| 2690k| 40 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1062.03/1062.40 c 1005s| 2700k| 36 | 0 | 0.0 |4870k| 108 | - | 664 |3084 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1066.83/1067.23 c 1009s| 2710k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1071.53/1071.94 c 1014s| 2720k| 43 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1076.22/1076.61 c 1018s| 2730k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1080.63/1081.01 c 1023s| 2740k| 40 | 0 | 0.0 |4872k| 108 | - | 664 |3084 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1084.82/1085.26 c 1027s| 2750k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1089.23/1089.66 c 1031s| 2760k| 40 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1094.02/1094.41 c 1036s| 2770k| 43 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1098.52/1098.93 c 1040s| 2780k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1103.11/1103.51 c 1044s| 2790k| 44 | 0 | 0.0 |4871k| 108 | - | 664 |3083 | 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1108.22/1108.67 c 1049s| 2800k| 42 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1113.31/1113.75 c 1054s| 2810k| 39 | 0 | 0.0 |4872k| 108 | - | 664 |3084 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1118.22/1118.63 c 1059s| 2820k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1123.21/1123.67 c 1064s| 2830k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3084 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1127.21/1127.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.21/1127.66 c 1067s| 2840k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1132.01/1132.46 c 1072s| 2850k| 44 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1137.11/1137.51 c 1077s| 2860k| 37 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 843k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1142.41/1142.88 c 1082s| 2870k| 36 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1146.91/1147.31 c 1086s| 2880k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1151.80/1152.27 c 1091s| 2890k| 45 | 0 | 0.0 |4868k| 108 | - | 664 |3081 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1156.60/1157.03 c 1096s| 2900k| 38 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 862k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1161.49/1161.96 c 1100s| 2910k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1165.90/1166.33 c 1104s| 2920k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1170.69/1171.12 c 1109s| 2930k| 40 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1175.70/1176.15 c 1114s| 2940k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1180.59/1181.06 c 1119s| 2950k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1184.79/1185.23 c 1122s| 2960k| 40 | 0 | 0.0 |4871k| 108 | - | 664 |3084 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1189.70/1190.16 c 1127s| 2970k| 37 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1194.10/1194.52 c 1131s| 2980k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1198.19/1198.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.19/1198.68 c 1135s| 2990k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1203.09/1203.56 c 1140s| 3000k| 42 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1207.88/1208.31 c 1145s| 3010k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1211.98/1212.49 c 1149s| 3020k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 912k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1216.48/1216.99 c 1153s| 3030k| 38 | 0 | 0.0 |4868k| 108 | - | 664 |3083 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1221.18/1221.69 c 1157s| 3040k| 45 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 920k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1225.78/1226.25 c 1162s| 3050k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1230.38/1230.87 c 1166s| 3060k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1235.58/1236.05 c 1171s| 3070k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1240.87/1241.37 c 1176s| 3080k| 40 | 0 | 0.0 |4868k| 108 | - | 664 |3084 | 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1244.97/1245.48 c 1180s| 3090k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1250.07/1250.58 c 1185s| 3100k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1255.16/1255.64 c 1190s| 3110k| 41 | 0 | 0.0 |4869k| 108 | - | 664 |3083 | 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1259.97/1260.43 c 1195s| 3120k| 38 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1263.76/1264.25 c 1198s| 3130k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1268.26/1268.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.26/1268.79 c 1203s| 3140k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1272.76/1273.27 c 1207s| 3150k| 39 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 | 968k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1277.76/1278.25 c 1212s| 3160k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1282.46/1282.91 c 1216s| 3170k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 977k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1287.35/1287.88 c 1221s| 3180k| 37 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 981k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1292.25/1292.77 c 1226s| 3190k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 | 986k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1297.05/1297.51 c 1230s| 3200k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1301.15/1301.61 c 1234s| 3210k| 43 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1305.35/1305.83 c 1238s| 3220k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1309.95/1310.49 c 1242s| 3230k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1002k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1314.25/1314.74 c 1247s| 3240k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1006k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1318.24/1318.79 c 1250s| 3250k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1322.54/1323.08 c 1255s| 3260k| 38 | 0 | 0.0 |4872k| 108 | - | 664 |3085 | 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1327.64/1328.14 c 1259s| 3270k| 38 | 0 | 0.0 |4870k| 108 | - | 664 |3083 | 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1331.74/1332.21 c 1263s| 3280k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1336.34/1336.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.34/1336.84 c 1268s| 3290k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1341.13/1341.64 c 1272s| 3300k| 37 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1030k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1345.85/1346.37 c 1277s| 3310k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 |1035k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1350.63/1351.15 c 1281s| 3320k| 38 | 0 | 0.0 |4871k| 108 | - | 664 |3084 | 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1355.54/1356.07 c 1286s| 3330k| 39 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1044k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1360.43/1360.93 c 1291s| 3340k| 39 | 0 | 0.0 |4870k| 108 | - | 664 |3084 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1365.03/1365.50 c 1295s| 3350k| 36 | 0 | 0.0 |4870k| 108 | - | 664 |3084 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1369.53/1370.09 c 1299s| 3360k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1374.83/1375.31 c 1304s| 3370k| 37 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1379.93/1380.40 c 1309s| 3380k| 43 | 0 | 0.0 |4871k| 108 | - | 664 |3082 | 0 | 0 | 0 |1066k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1384.92/1385.47 c 1314s| 3390k| 43 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1071k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1389.52/1390.01 c 1319s| 3400k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1394.61/1395.14 c 1324s| 3410k| 45 | 0 | 0.0 |4868k| 108 | - | 664 |3081 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1399.12/1399.62 c 1328s| 3420k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1084k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1403.62/1404.16 c 1332s| 3430k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1408.52/1409.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.52/1409.04 c 1337s| 3440k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1412.82/1413.34 c 1341s| 3450k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1096k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1416.71/1417.26 c 1345s| 3460k| 40 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1421.11/1421.68 c 1349s| 3470k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1426.01/1426.57 c 1354s| 3480k| 38 | 0 | 0.0 |4871k| 108 | - | 664 |3086 | 0 | 0 | 0 |1108k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1431.10/1431.68 c 1358s| 3490k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1436.40/1436.94 c 1364s| 3500k| 41 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1118k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1441.61/1442.14 c 1369s| 3510k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1446.60/1447.19 c 1373s| 3520k| 41 | 0 | 0.0 |4870k| 108 | - | 664 |3083 | 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1451.41/1451.97 c 1378s| 3530k| 40 | 0 | 0.0 |4871k| 108 | - | 664 |3082 | 0 | 0 | 0 |1132k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1455.70/1456.26 c 1382s| 3540k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1460.30/1460.85 c 1386s| 3550k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1140k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1464.70/1465.28 c 1391s| 3560k| 39 | 0 | 0.0 |4872k| 108 | - | 664 |3085 | 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1468.90/1469.40 c 1395s| 3570k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1473.29/1473.82 c 1399s| 3580k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1152k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1478.09/1478.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.09/1478.63 c 1404s| 3590k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1482.20/1482.72 c 1407s| 3600k| 41 | 0 | 0.0 |4869k| 108 | - | 664 |3084 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1486.39/1486.95 c 1411s| 3610k| 43 | 0 | 0.0 |4870k| 108 | - | 664 |3083 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1491.09/1491.68 c 1416s| 3620k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1168k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1495.98/1496.53 c 1421s| 3630k| 34 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1500.48/1501.02 c 1425s| 3640k| 40 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1504.98/1505.58 c 1429s| 3650k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1181k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1509.98/1510.57 c 1434s| 3660k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1514.68/1515.27 c 1439s| 3670k| 37 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1190k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1519.18/1519.71 c 1443s| 3680k| 40 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1523.38/1523.98 c 1447s| 3690k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1198k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1527.87/1528.42 c 1451s| 3700k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1201k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1532.88/1533.42 c 1456s| 3710k| 39 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1206k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1536.97/1537.51 c 1460s| 3720k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1541.67/1542.24 c 1464s| 3730k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1214k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1545.97/1546.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.97/1546.50 c 1468s| 3740k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1218k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1549.87/1550.44 c 1472s| 3750k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1554.26/1554.88 c 1476s| 3760k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1225k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1558.56/1559.13 c 1481s| 3770k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1229k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1563.57/1564.15 c 1485s| 3780k| 41 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1234k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1568.76/1569.35 c 1490s| 3790k| 44 | 0 | 0.0 |4868k| 108 | - | 664 |3081 | 0 | 0 | 0 |1239k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1573.16/1573.76 c 1495s| 3800k| 34 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 |1243k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1577.56/1578.17 c 1499s| 3810k| 41 | 0 | 0.0 |4869k| 108 | - | 664 |3084 | 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1582.46/1583.04 c 1503s| 3820k| 40 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1251k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1587.55/1588.16 c 1508s| 3830k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1592.35/1592.95 c 1513s| 3840k| 39 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1261k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1597.15/1597.71 c 1518s| 3850k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1265k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1601.55/1602.13 c 1522s| 3860k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1606.35/1606.97 c 1526s| 3870k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1273k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1611.45/1612.03 c 1531s| 3880k| 38 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1616.24/1616.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.24/1616.84 c 1536s| 3890k| 41 | 0 | 0.0 |4871k| 108 | - | 664 |3082 | 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1621.24/1621.89 c 1541s| 3900k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1287k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1625.74/1626.32 c 1545s| 3910k| 42 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1291k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1630.14/1630.71 c 1549s| 3920k| 39 | 0 | 0.0 |4868k| 108 | - | 664 |3083 | 0 | 0 | 0 |1295k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1634.74/1635.35 c 1554s| 3930k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1299k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1639.24/1639.85 c 1558s| 3940k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1303k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1643.92/1644.56 c 1562s| 3950k| 38 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 |1308k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1648.52/1649.10 c 1567s| 3960k| 37 | 0 | 0.0 |4867k| 108 | - | 664 |3082 | 0 | 0 | 0 |1312k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1653.51/1654.16 c 1572s| 3970k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1317k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1658.61/1659.25 c 1576s| 3980k| 40 | 0 | 0.0 |4871k| 108 | - | 664 |3082 | 0 | 0 | 0 |1322k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1663.41/1664.08 c 1581s| 3990k| 42 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 |1326k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1668.61/1669.26 c 1586s| 4000k| 38 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1331k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1673.10/1673.75 c 1590s| 4010k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1335k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1677.61/1678.22 c 1595s| 4020k| 40 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1339k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1682.50/1683.18 c 1599s| 4030k| 37 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1344k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1687.40/1688.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.40/1688.09 c 1604s| 4040k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1692.70/1693.30 c 1609s| 4050k| 36 | 0 | 0.0 |4867k| 108 | - | 664 |3083 | 0 | 0 | 0 |1353k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1697.60/1698.21 c 1614s| 4060k| 38 | 0 | 0.0 |4872k| 108 | - | 664 |3086 | 0 | 0 | 0 |1358k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1701.49/1702.17 c 1617s| 4070k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1705.90/1706.56 c 1622s| 4080k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1710.40/1711.04 c 1626s| 4090k| 38 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1369k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1714.69/1715.32 c 1630s| 4100k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1373k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1719.59/1720.21 c 1635s| 4110k| 41 | 0 | 0.0 |4868k| 108 | - | 664 |3082 | 0 | 0 | 0 |1377k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1724.39/1725.08 c 1639s| 4120k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1382k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1729.29/1729.91 c 1644s| 4130k| 37 | 0 | 0.0 |4870k| 108 | - | 664 |3082 | 0 | 0 | 0 |1386k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1733.69/1734.32 c 1648s| 4140k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1737.78/1738.43 c 1652s| 4150k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1742.28/1742.93 c 1657s| 4160k| 40 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1746.88/1747.53 c 1661s| 4170k| 37 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1402k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1751.18/1751.82 c 1665s| 4180k| 38 | 0 | 0.0 |4871k| 108 | - | 664 |3083 | 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1755.28/1755.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.28/1755.93 c 1669s| 4190k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1410k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1758.98/1759.65 c 1672s| 4200k| 43 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1413k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1763.68/1764.32 c 1677s| 4210k| 37 | 0 | 0.0 |4868k| 108 | - | 664 |3084 | 0 | 0 | 0 |1417k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1767.88/1768.51 c 1681s| 4220k| 33 | 0 | 0.0 |4866k| 108 | - | 664 |3082 | 0 | 0 | 0 |1421k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1772.27/1772.93 c 1685s| 4230k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1776.77/1777.41 c 1689s| 4240k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1429k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1781.17/1781.86 c 1694s| 4250k| 36 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1433k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1785.27/1785.98 c 1698s| 4260k| 42 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1437k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1789.97/1790.63 c 1702s| 4270k| 41 | 0 | 0.0 |4867k| 108 | - | 664 |3081 | 0 | 0 | 0 |1441k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1794.06/1794.80 c 1706s| 4280k| 40 | 0 | 0.0 |4869k| 108 | - | 664 |3082 | 0 | 0 | 0 |1445k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1798.87/1799.54 c 1711s| 4290k| 39 | 0 | 0.0 |4866k| 108 | - | 664 |3081 | 0 | 0 | 0 |1449k| 0 | 1.000000e+00 | 2.920000e+02 | Large
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1711.77
1800.07/1800.71 c Solving Nodes : 4292659
1800.07/1800.71 c Primal Bound : +2.92000000000000e+02 (16 solutions)
1800.07/1800.71 c Dual Bound : +1.00000000000000e+00
1800.07/1800.71 c Gap : 29100.00 %
1800.07/1800.71 s SATISFIABLE
1800.07/1800.71 v -x664 x663 x662 -x661 x660 -x659 x658 -x657 -x656 -x655 -x654 x653 x652 -x651 x650 -x649 x648 -x647 -x646 x645 x644 -x643 x642
1800.07/1800.71 v -x641 -x640 x639 x638 -x637 x636 -x635 x634 -x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 x624 -x623 x622 -x621 x620 -x619
1800.07/1800.71 v -x618 x617 x616 -x615 -x614 x613 x612 -x611 x610 -x609 -x608 x607 x606 -x605 x604 -x603 x602 -x601 -x600 x599 x598 -x597 x596
1800.07/1800.71 v -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 -x586 x585 x584 -x583 -x582 x581 x580 -x579 x578 -x577 -x576 x575 x574 -x573
1800.07/1800.71 v x572 -x571 x570 -x569 -x568 x567 x566 -x565 x564 -x563 x562 -x561 -x560 x559 x558 -x557 x556 -x555 x554 -x553 x552 -x551
1800.07/1800.71 v -x550 x549 x548 -x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 x528
1800.07/1800.71 v -x527 -x526 x525 x524 -x523 x522 -x521 -x520 x519 x518 -x517 x516 -x515 x514 -x513 -x512 x511 -x510 x509 -x508 x507 -x506 x505
1800.07/1800.71 v -x504 x503 -x502 x501 -x500 x499 -x498 x497 -x496 x495 -x494 x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 -x484 x483
1800.07/1800.71 v -x482 x481 -x480 x479 -x478 x477 -x476 x475 -x474 x473 -x472 x471 -x470 x469 -x468 x467 -x466 x465 -x464 x463 x462 -x461 -x460
1800.07/1800.71 v x459 -x458 x457 -x456 x455 -x454 x453 -x452 x451 -x450 x449 -x448 x447 -x446 x445 -x444 x443 -x442 x441 -x440 x439 -x438 x437
1800.07/1800.71 v -x436 x435 -x434 x433 -x432 x431 -x430 x429 -x428 x427 -x426 x425 -x424 x423 -x422 x421 -x420 x419 x418 -x417 -x416 x415 -x414
1800.07/1800.71 v x413 -x412 x411 -x410 x409 -x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400 x399 -x398 x397 x396 -x395 -x394 x393 -x392
1800.07/1800.71 v x391 -x390 x389 -x388 x387 -x386 x385 x384 -x383 -x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369
1800.07/1800.71 v -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346
1800.07/1800.71 v x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324
1800.07/1800.71 v x323 -x322 x321 x320 -x319 -x318 x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 x302 -x301
1800.07/1800.71 v -x300 x299 x298 -x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278
1800.07/1800.71 v x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 -x262 x261 -x260 x259 -x258 x257 -x256 x255
1800.07/1800.71 v -x254 -x253 -x252 -x251 -x250 x249 -x248 x247 -x246 -x245 -x244 x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 x235 x234 -x233
1800.07/1800.71 v -x232 x231 -x230 -x229 x228 -x227 -x226 x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 -x212
1800.07/1800.71 v x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 x203 x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 x193 -x192 x191 -x190
1800.07/1800.71 v -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168
1800.07/1800.71 v x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146
1800.07/1800.71 v -x145 -x144 x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 x129 -x128 x127 -x126 x125 -x124
1800.07/1800.71 v x123 -x122 x121 -x120 x119 -x118 -x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 x106 -x105 -x104 x103 -x102
1800.07/1800.71 v -x101 x100 -x99 -x98 x97 x96 -x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75
1800.07/1800.71 v -x74 x73 -x72 x71 -x70 x69 -x68 -x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48
1800.07/1800.71 v x47 -x46 x45 -x44 x43 -x42 x41 -x40 -x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 -x25 -x24 x23 -x22 -x21 -x20
1800.07/1800.71 v x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 -x5 -x4 x3 -x2 -x1
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time : 1711.77
1800.07/1800.71 c Original Problem :
1800.07/1800.71 c Problem name : HOME/instance-2664112-1276472018.opb
1800.07/1800.71 c Variables : 664 (664 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 3035 initial, 3035 maximal
1800.07/1800.71 c Presolved Problem :
1800.07/1800.71 c Problem name : t_HOME/instance-2664112-1276472018.opb
1800.07/1800.71 c Variables : 664 (664 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 3035 initial, 3233 maximal
1800.07/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c probing : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.71 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.07/1800.71 c root node : - 0 - - 0 - - - -
1800.07/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.71 c logicor : 3035+ 0 9046248 0 16 1431032 17550881 0 0 0
1800.07/1800.71 c countsols : 0 0 0 0 16 0 0 0 0 0
1800.07/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c logicor : 861.29 0.00 861.29 0.00 0.00
1800.07/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.71 c vbounds : 6.03 2 0 0
1800.07/1800.71 c rootredcost : 6.13 0 0 0
1800.07/1800.71 c pseudoobj : 460.10 13526897 688494 50298841
1800.07/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.71 c propagation : 765.05 1431032 1431032 1431032 48.7 20281 30.7 -
1800.07/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c pseudo solution : 38.64 177294 0 0 0.0 0 0.0 -
1800.07/1800.71 c applied globally : - - - 1450876 48.4 - - -
1800.07/1800.71 c applied locally : - - - 0 0.0 - - -
1800.07/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.71 c redcost : 0.00 0 0 0 0 0
1800.07/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.71 c intobj : 0.00 0 0 0 0 0
1800.07/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.71 c gomory : 0.00 0 0 0 0 0
1800.07/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.71 c cmir : 0.00 0 0 0 0 0
1800.07/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.71 c clique : 0.00 0 0 0 0 0
1800.07/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.71 c mcf : 0.00 0 0 0 0 0
1800.07/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.71 c Pricers : Time Calls Vars
1800.07/1800.71 c problem variables: 0.00 0 0
1800.07/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c inference : 40.41 2415619 0 0 0 0 4831238
1800.07/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c random : 0.00 0 0 0 0 0 0
1800.07/1800.71 c Primal Heuristics : Time Calls Found
1800.07/1800.71 c LP solutions : 0.00 - 0
1800.07/1800.71 c pseudo solutions : 0.01 - 16
1800.07/1800.71 c oneopt : 3.15 0 0
1800.07/1800.71 c trivial : 0.00 2 0
1800.07/1800.71 c simplerounding : 0.00 0 0
1800.07/1800.71 c zirounding : 0.00 0 0
1800.07/1800.71 c rounding : 0.00 0 0
1800.07/1800.71 c shifting : 0.00 0 0
1800.07/1800.71 c intshifting : 0.00 0 0
1800.07/1800.71 c twoopt : 0.00 0 0
1800.07/1800.71 c fixandinfer : 0.00 0 0
1800.07/1800.71 c feaspump : 0.00 0 0
1800.07/1800.71 c coefdiving : 0.00 0 0
1800.07/1800.71 c pscostdiving : 0.00 0 0
1800.07/1800.71 c fracdiving : 0.00 0 0
1800.07/1800.71 c veclendiving : 0.00 0 0
1800.07/1800.71 c intdiving : 0.00 0 0
1800.07/1800.71 c actconsdiving : 0.00 0 0
1800.07/1800.71 c objpscostdiving : 0.00 0 0
1800.07/1800.71 c rootsoldiving : 0.00 0 0
1800.07/1800.71 c linesearchdiving : 0.00 0 0
1800.07/1800.71 c guideddiving : 0.00 0 0
1800.07/1800.71 c octane : 0.00 0 0
1800.07/1800.71 c rens : 0.00 0 0
1800.07/1800.71 c rins : 0.00 0 0
1800.07/1800.71 c localbranching : 0.00 0 0
1800.07/1800.71 c mutation : 0.00 0 0
1800.07/1800.71 c crossover : 0.00 0 0
1800.07/1800.72 c dins : 0.00 0 0
1800.07/1800.72 c undercover : 0.00 0 0
1800.07/1800.72 c nlp : 1.76 0 0
1800.07/1800.72 c trysol : 2.02 0 0
1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.72 c (at root node) : - 0 0 0.00 -
1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.72 c B&B Tree :
1800.07/1800.72 c number of runs : 1
1800.07/1800.72 c nodes : 4292659
1800.07/1800.72 c nodes (total) : 4292659
1800.07/1800.72 c nodes left : 39
1800.07/1800.72 c max depth : 108
1800.07/1800.72 c max depth (total): 108
1800.07/1800.72 c backtracks : 1101559 (25.7%)
1800.07/1800.72 c delayed cutoffs : 445758
1800.07/1800.72 c repropagations : 1154871 (12084281 domain reductions, 419796 cutoffs)
1800.07/1800.72 c avg switch length: 2.09
1800.07/1800.72 c switching time : 113.12
1800.07/1800.72 c Solution :
1800.07/1800.72 c Solutions found : 16 (16 improvements)
1800.07/1800.72 c First Solution : +3.23000000000000e+02 (in run 1, after 80 nodes, 0.15 seconds, depth 52, found by <relaxation>)
1800.07/1800.72 c Primal Bound : +2.92000000000000e+02 (in run 1, after 1391422 nodes, 452.53 seconds, depth 69, found by <relaxation>)
1800.07/1800.72 c Dual Bound : +1.00000000000000e+00
1800.07/1800.72 c Gap : 29100.00 %
1800.07/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.72 c Root Iterations : 0
1800.07/1800.73 c Time complete: 1800.1.
OK 292
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664112-1276472018/watcher-2664112-1276472018 -o /tmp/evaluation-result-2664112-1276472018/solver-2664112-1276472018 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664112-1276472018.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.00 1.00 3/106 28121 /proc/meminfo: memFree=1822596/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=6584 CPUtime=0 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 925 0 0 0 0 0 0 0 20 0 1 0 20858149 6742016 848 1992294400 4194304 7136930 140736318613696 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28121/statm: 1646 856 254 719 0 925 0 [startup+0.0270179 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28121 /proc/meminfo: memFree=1822596/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=8672 CPUtime=0.02 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 1673 0 0 0 2 0 0 0 20 0 1 0 20858149 8880128 1596 1992294400 4194304 7136930 140736318613696 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28121/statm: 2168 1596 271 719 0 1447 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8672 [startup+0.101032 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28121 /proc/meminfo: memFree=1822596/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=15628 CPUtime=0.09 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 3558 0 0 0 8 1 0 0 20 0 1 0 20858149 16003072 3127 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 3907 3127 338 719 0 3186 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15628 [startup+0.30107 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28121 /proc/meminfo: memFree=1822596/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=19372 CPUtime=0.29 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 5829 0 0 0 25 4 0 0 20 0 1 0 20858149 19836928 4110 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 4843 4110 385 719 0 4122 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19372 [startup+0.701144 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28121 /proc/meminfo: memFree=1822596/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=19504 CPUtime=0.69 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 5849 0 0 0 62 7 0 0 21 0 1 0 20858149 19972096 4130 1992294400 4194304 7136930 140736318613696 18446744073709551615 4434038 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 4876 4130 385 719 0 4155 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19504 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=1807460/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=19764 CPUtime=1.49 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 5932 0 0 0 136 13 0 0 23 0 1 0 20858149 20238336 4213 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 4941 4213 385 719 0 4220 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19764 [startup+3.10059 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=1806840/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=19896 CPUtime=3.09 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 5950 0 0 0 287 22 0 0 25 0 1 0 20858149 20373504 4231 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 4974 4231 385 719 0 4253 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19896 [startup+6.30119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=1806716/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=19896 CPUtime=6.29 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 5955 0 0 0 586 43 0 0 25 0 1 0 20858149 20373504 4236 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 4974 4236 385 719 0 4253 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19896 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=1806468/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=20040 CPUtime=12.69 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 5993 0 0 0 1189 80 0 0 25 0 1 0 20858149 20520960 4274 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5010 4274 385 719 0 4289 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20040 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28122 /proc/meminfo: memFree=1806344/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=20176 CPUtime=25.48 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6033 0 0 0 2390 158 0 0 25 0 1 0 20858149 20660224 4314 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5044 4314 385 719 0 4323 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20176 [startup+51.1016 s] /proc/loadavg: 1.06 1.01 1.00 2/107 28124 /proc/meminfo: memFree=1805476/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=20848 CPUtime=51.07 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6205 0 0 0 4787 320 0 0 25 0 1 0 20858149 21348352 4486 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5212 4486 385 719 0 4491 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20848 [startup+102.308 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28124 /proc/meminfo: memFree=1804980/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=21252 CPUtime=102.27 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6294 0 0 0 9609 618 0 0 25 0 1 0 20858149 21762048 4575 1992294400 4194304 7136930 140736318613696 18446744073709551615 4240399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5313 4575 385 719 0 4592 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21252 [startup+162.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 28126 /proc/meminfo: memFree=1804608/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=21392 CPUtime=162.24 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6342 0 0 0 15202 1022 0 0 25 0 1 0 20858149 21905408 4623 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5348 4623 385 719 0 4627 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21392 [startup+222.301 s] /proc/loadavg: 1.08 1.04 1.00 2/107 28128 /proc/meminfo: memFree=1804112/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=21936 CPUtime=222.21 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6463 0 0 0 20790 1431 0 0 25 0 1 0 20858149 22462464 4744 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5484 4744 385 719 0 4763 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 21936 [startup+282.301 s] /proc/loadavg: 1.07 1.04 1.00 2/107 28133 /proc/meminfo: memFree=1803120/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22208 CPUtime=282.2 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6529 0 0 0 26378 1842 0 0 25 0 1 0 20858149 22740992 4810 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5552 4810 385 719 0 4831 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 22208 [startup+342.301 s] /proc/loadavg: 1.07 1.05 1.00 2/107 28133 /proc/meminfo: memFree=1802996/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22348 CPUtime=342.18 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6554 0 0 0 31971 2247 0 0 25 0 1 0 20858149 22884352 4835 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5587 4835 385 719 0 4866 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 22348 [startup+402.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 28135 /proc/meminfo: memFree=1802996/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22348 CPUtime=402.15 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6573 0 0 0 37565 2650 0 0 25 0 1 0 20858149 22884352 4854 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5587 4854 385 719 0 4866 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 22348 [startup+462.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 28137 /proc/meminfo: memFree=1802748/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22612 CPUtime=462.14 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6621 0 0 0 43162 3052 0 0 25 0 1 0 20858149 23154688 4902 1992294400 4194304 7136930 140736318613696 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5653 4902 385 719 0 4932 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 22612 [startup+522.302 s] /proc/loadavg: 1.05 1.06 1.00 2/107 28139 /proc/meminfo: memFree=1802624/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22612 CPUtime=522.12 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6648 0 0 0 48817 3395 0 0 25 0 1 0 20858149 23154688 4929 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5653 4929 385 719 0 4932 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 22612 [startup+582.301 s] /proc/loadavg: 1.02 1.04 1.00 2/107 28141 /proc/meminfo: memFree=1802624/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=582.09 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6658 0 0 0 54486 3723 0 0 25 0 1 0 20858149 23289856 4939 1992294400 4194304 7136930 140736318613696 18446744073709551615 4240330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4939 385 719 0 4965 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 22744 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 28141 /proc/meminfo: memFree=1802624/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=642.08 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 60238 3970 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 22744 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28149 /proc/meminfo: memFree=1802128/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=881.99 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 83228 4971 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 4208229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 22744 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28149 /proc/meminfo: memFree=1802004/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=941.97 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 88982 5215 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 22744 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28151 /proc/meminfo: memFree=1802004/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1001.95 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 94731 5464 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 4704051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 22744 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28153 /proc/meminfo: memFree=1802004/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1061.93 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 100480 5713 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 22744 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28155 /proc/meminfo: memFree=1801880/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1121.91 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 106233 5958 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 22744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28157 /proc/meminfo: memFree=1801756/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1181.89 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 111976 6213 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 22744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28157 /proc/meminfo: memFree=1801508/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1241.87 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6659 0 0 0 117719 6468 0 0 25 0 1 0 20858149 23289856 4940 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4940 385 719 0 4965 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 22744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28159 /proc/meminfo: memFree=1801384/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1301.86 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 123474 6712 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 5924645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 22744 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28161 /proc/meminfo: memFree=1801260/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1361.83 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 129207 6976 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 22744 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28163 /proc/meminfo: memFree=1801260/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1421.82 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 134957 7225 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 22744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=1801136/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1481.79 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 140707 7472 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 22744 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28165 /proc/meminfo: memFree=1801136/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1541.77 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 146446 7731 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 22744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28167 /proc/meminfo: memFree=1801012/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1601.75 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 152198 7977 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 22744 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28178 /proc/meminfo: memFree=1799896/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1661.71 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 157936 8235 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 22744 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28180 /proc/meminfo: memFree=1799896/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1721.69 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 163679 8490 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 22744 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28182 /proc/meminfo: memFree=1799772/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1781.67 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 169418 8749 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 22744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28182 /proc/meminfo: memFree=1799772/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1800.07 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 171183 8824 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 22744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28182 /proc/meminfo: memFree=1799772/2059040 swapFree=4142408/4192956 [pid=28121] ppid=28119 vsize=22744 CPUtime=1800.07 /proc/28121/stat : 28121 (pbscip.linux.x8) R 28119 28121 26985 0 -1 4202496 6660 0 0 0 171183 8824 0 0 25 0 1 0 20858149 23289856 4941 1992294400 4194304 7136930 140736318613696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28121/statm: 5686 4941 385 719 0 4965 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 22744 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.11 CPU user time (s): 1711.85 CPU system time (s): 88.2536 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 22744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1711.85 system time used= 88.2536 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6708 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= 4 involuntary context switches= 22658 runsolver used 2.82657 second user time and 8.67868 second system time The end
Begin job on node019 at 2010-06-14 01:33:38 IDJOB=2664112 IDBENCH=2205 IDSOLVER=1167 FILE ID=node019/2664112-1276472018 PBS_JOBID= 11173358 Free space on /tmp= 62356 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-ii32d1.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-2664112-1276472018/watcher-2664112-1276472018 -o /tmp/evaluation-result-2664112-1276472018/solver-2664112-1276472018 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664112-1276472018.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1850b909125f53108de0513d8e3d52c8 RANDOM SEED=1410792271 node019.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.264 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.52 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.264 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1823000 kB Buffers: 50616 kB Cached: 94736 kB SwapCached: 4636 kB Active: 97736 kB Inactive: 61116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1823000 kB SwapTotal: 4192956 kB SwapFree: 4142408 kB Dirty: 3252 kB Writeback: 0 kB AnonPages: 11748 kB Mapped: 13740 kB Slab: 55448 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181212 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= 62352 MiB End job on node019 at 2010-06-14 02:03:41