Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 122 | 1800.06 | 1800.02 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb |
| MD5SUM | cb09f183d3805e6536d629586026461f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 121 |
| Best CPU time to get the best result obtained on this benchmark | 4.6213 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 121 |
| Optimality of the best value was proved | YES |
| Number of variables | 4688 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 403 |
| 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 | 80 |
| Number of terms in the objective function | 4688 |
| 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 | 4688 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4688 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3453262-1307092676.opb>
0.00/0.02 c original problem has 4688 variables (4688 bin, 0 int, 0 impl, 0 cont) and 403 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.02/0.03 o 4688
0.02/0.03 c feasible solution found by trivial heuristic, objective value 4.688000e+03
0.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 5 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.02/0.04 c (round 2) 13 del vars, 6 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.02/0.04 c (round 3) 1568 del vars, 6 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 0 chg coeffs, 397 upgd conss, 2 impls, 0 clqs
0.02/0.05 c (0.1s) probing: 101/3120 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (4 rounds):
0.02/0.05 c 1568 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.02/0.05 c 4 implications, 0 cliques
0.02/0.05 c presolved problem has 3120 variables (3120 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.02/0.05 c 397 constraints of type <logicor>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.03
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 2.0.1.4
0.02/0.05 c
0.02/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c conflict/interconss = 0
0.02/0.05 c
0.02/0.05 c # should binary conflicts be preferred?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c conflict/preferbinary = TRUE
0.02/0.05 c
0.02/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.05 c constraints/agelimit = 1
0.02/0.05 c
0.02/0.05 c # should enforcement of pseudo solution be disabled?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/disableenfops = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1800
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 13950
0.02/0.05 c
0.02/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.05 c lp/solvefreq = 0
0.02/0.05 c
0.02/0.05 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.02/0.05 c # [type: char, range: {lafpsqd}, default: l]
0.02/0.05 c lp/pricing = a
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # belongs reading time to solving time?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c timing/reading = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/addCouplingCons = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # priority of node selection rule <dfs> in standard mode
0.02/0.05 c # [type: int, range: [-536870912,536870911], default: 0]
0.02/0.05 c nodeselection/dfs/stdpriority = 1000000
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/0.05 o 3121
0.02/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.05 c t 0.1s| 1 | 0 | 0 | - |8243k| 0 | - |3120 | 397 | 0 | 0 | 0 | 0 | 0 | -- | 3.121000e+03 | Inf
0.02/0.06 o 206
0.02/0.06 c b 0.1s| 1 | 0 | 0 | - |9644k| 0 | - |3120 | 397 |3120 | 397 | 0 | 0 | 0 | -- | 2.060000e+02 | Inf
0.29/0.36 c 0.4s| 1 | 0 | 3031 | - |9583k| 0 | 187 |3120 | 397 |3120 | 397 | 0 | 0 | 0 | 1.198598e+02 | 2.060000e+02 | 71.87%
0.29/0.36 o 205
0.29/0.36 c R 0.4s| 1 | 0 | 3031 | - |9827k| 0 | 187 |3120 | 397 |3120 | 397 | 0 | 0 | 0 | 1.198598e+02 | 2.050000e+02 | 71.03%
0.29/0.36 o 204
0.29/0.36 c s 0.4s| 1 | 0 | 3031 | - |9948k| 0 | 187 |3120 | 397 |3120 | 397 | 0 | 0 | 0 | 1.198598e+02 | 2.040000e+02 | 70.20%
0.29/0.36 o 132
0.29/0.36 c b 0.4s| 1 | 0 | 3031 | - | 10M| 0 | 187 |3120 | 397 |3120 | 397 | 0 | 0 | 0 | 1.198598e+02 | 1.320000e+02 | 10.13%
0.49/0.59 c 0.6s| 1 | 0 | 3092 | - | 15M| 0 | 223 |3120 | 397 |3120 | 398 | 1 | 0 | 0 | 1.198947e+02 | 1.320000e+02 | 10.10%
0.79/0.82 o 122
0.79/0.82 c E 0.8s| 1 | 0 | 3092 | - | 15M| 0 | 223 |3120 | 397 |3120 | 398 | 1 | 0 | 0 | 1.198947e+02 | 1.220000e+02 | 1.76%
0.79/0.82 c 0.8s| 1 | 0 | 3092 | - | 15M| 0 | 223 |3120 | 397 |3120 | 398 | 1 | 0 | 0 | 1.198947e+02 | 1.220000e+02 | 1.76%
1.59/1.64 c 1.6s| 1 | 2 | 3092 | - | 15M| 0 | 223 |3120 | 397 |3120 | 398 | 1 | 0 | 41 | 1.198947e+02 | 1.220000e+02 | 1.76%
5.89/5.93 c 5.9s| 10000 | 2456 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 |4605 | 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
10.90/10.93 c 10.9s| 20000 | 2453 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 10k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
16.19/16.24 c 16.2s| 30000 | 2450 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 16k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
21.29/21.39 c 21.4s| 40000 | 2448 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 22k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
26.30/26.37 c 26.4s| 50000 | 2446 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 28k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
31.80/31.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.80/31.88 c 31.9s| 60000 | 2447 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 34k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
37.09/37.19 c 37.2s| 70000 | 2440 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 40k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
42.39/42.48 c 42.5s| 80000 | 2432 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 46k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
47.20/47.29 c 47.3s| 90000 | 2432 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 52k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
51.99/52.05 c 52.0s|100000 | 2430 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 57k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
56.69/56.72 c 56.7s|110000 | 2429 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 62k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
61.29/61.30 c 61.3s|120000 | 2430 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 68k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
65.90/65.97 c 66.0s|130000 | 2427 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 73k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
70.49/70.59 c 70.6s|140000 | 2426 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 | 78k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
75.19/75.23 c 75.2s|150000 | 2427 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 84k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
79.59/79.67 c 79.7s|160000 | 2426 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 89k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
84.09/84.17 c 84.2s|170000 | 2427 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 94k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
88.69/88.70 c 88.7s|180000 | 2424 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 100k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
93.29/93.33 c 93.3s|190000 | 2426 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 | 105k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
97.80/97.88 c 97.9s|200000 | 2427 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 | 111k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
102.20/102.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.20/102.30 c 102s|210000 | 2427 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 116k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
106.79/106.86 c 107s|220000 | 2426 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 121k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
111.29/111.30 c 111s|230000 | 2426 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 127k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
115.79/115.89 c 116s|240000 | 2430 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 132k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
120.49/120.50 c 121s|250000 | 2430 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 138k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
124.99/125.08 c 125s|260000 | 2426 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 143k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
129.89/129.91 c 130s|270000 | 2422 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 149k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
134.49/134.57 c 135s|280000 | 2424 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 154k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
139.09/139.20 c 139s|290000 | 2421 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 160k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
143.89/143.92 c 144s|300000 | 2425 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 165k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
148.69/148.70 c 149s|310000 | 2422 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 171k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
153.19/153.20 c 153s|320000 | 2427 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 176k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
157.79/157.88 c 158s|330000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 | 182k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
162.29/162.33 c 162s|340000 | 2424 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 | 187k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
166.79/166.84 c 167s|350000 | 2425 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 192k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
171.39/171.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.39/171.41 c 171s|360000 | 2417 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 198k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
175.90/175.99 c 176s|370000 | 2421 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 203k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
180.59/180.61 c 181s|380000 | 2421 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 209k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
185.29/185.38 c 185s|390000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 214k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
190.20/190.22 c 190s|400000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 220k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
194.71/194.78 c 195s|410000 | 2421 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 | 225k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
199.29/199.38 c 199s|420000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 230k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
204.09/204.10 c 204s|430000 | 2418 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 236k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
208.59/208.62 c 209s|440000 | 2419 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 | 241k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
213.49/213.57 c 214s|450000 | 2424 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 247k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
218.19/218.26 c 218s|460000 | 2418 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 | 252k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
222.99/223.08 c 223s|470000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 257k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
228.19/228.20 c 228s|480000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 263k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
233.49/233.53 c 234s|490000 | 2422 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 268k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
238.60/238.69 c 239s|500000 | 2416 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 | 274k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
243.49/243.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.49/243.54 c 244s|510000 | 2419 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 280k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
248.29/248.31 c 248s|520000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 285k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
253.09/253.19 c 253s|530000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 | 291k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
257.79/257.86 c 258s|540000 | 2419 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 296k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
262.39/262.46 c 262s|550000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 | 302k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
266.89/266.97 c 267s|560000 | 2416 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 307k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
271.89/272.00 c 272s|570000 | 2419 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 313k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
276.69/276.72 c 277s|580000 | 2416 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 318k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
281.50/281.58 c 282s|590000 | 2416 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 324k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
286.39/286.42 c 286s|600000 | 2417 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 329k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
291.19/291.22 c 291s|610000 | 2416 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 | 335k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
296.00/296.00 c 296s|620000 | 2420 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 340k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
300.60/300.68 c 301s|630000 | 2415 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 346k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
305.09/305.16 c 305s|640000 | 2418 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 | 351k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
309.69/309.77 c 310s|650000 | 2413 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 356k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
314.40/314.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.40/314.49 c 314s|660000 | 2413 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 362k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
319.20/319.28 c 319s|670000 | 2418 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 368k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
324.40/324.48 c 324s|680000 | 2413 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 373k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
329.70/329.71 c 330s|690000 | 2415 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 379k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
334.90/334.96 c 335s|700000 | 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 385k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
340.00/340.03 c 340s|710000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 391k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
345.20/345.23 c 345s|720000 | 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 396k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
350.50/350.57 c 351s|730000 | 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 402k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
355.80/355.83 c 356s|740000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 408k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
361.10/361.17 c 361s|750000 | 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 414k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
366.00/366.00 c 366s|760000 | 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 419k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
370.71/370.76 c 371s|770000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 | 425k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
375.70/375.75 c 376s|780000 | 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 | 430k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
380.70/380.78 c 381s|790000 | 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 436k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
385.80/385.84 c 386s|800000 | 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 442k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
390.20/390.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
390.20/390.29 c 390s|810000 | 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 447k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
394.91/394.98 c 395s|820000 | 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 452k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
399.70/399.72 c 400s|830000 | 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 458k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
404.60/404.61 c 405s|840000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 463k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
409.50/409.57 c 410s|850000 | 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 469k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
414.60/414.63 c 415s|860000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 474k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
419.00/419.02 c 419s|870000 | 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 480k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
423.60/423.69 c 424s|880000 | 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 485k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
428.40/428.45 c 428s|890000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 | 491k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
433.30/433.38 c 433s|900000 | 2415 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 497k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
437.90/437.95 c 438s|910000 | 2413 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 503k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
442.70/442.71 c 443s|920000 | 2415 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 508k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
447.20/447.27 c 447s|930000 | 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 514k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
452.00/452.02 c 452s|940000 | 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 519k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
456.70/456.76 c 457s|950000 | 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 525k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
461.50/461.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.50/461.54 c 462s|960000 | 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 531k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
466.20/466.29 c 466s|970000 | 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 536k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
470.90/470.98 c 471s|980000 | 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 542k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
475.60/475.63 c 476s|990000 | 2413 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 548k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
480.10/480.18 c 480s| 1000k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 | 553k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
484.80/484.86 c 485s| 1010k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 | 559k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
489.70/489.78 c 490s| 1020k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 564k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
494.70/494.75 c 495s| 1030k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 570k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
499.60/499.61 c 500s| 1040k| 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 576k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
504.40/504.41 c 504s| 1050k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 581k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
509.20/509.21 c 509s| 1060k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 587k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
513.90/513.95 c 514s| 1070k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 | 592k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
518.60/518.62 c 519s| 1080k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 598k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
523.20/523.26 c 523s| 1090k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 603k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
527.90/527.97 c 528s| 1100k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 609k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
532.90/532.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.90/532.90 c 533s| 1110k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 614k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
538.00/538.00 c 538s| 1120k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 620k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
542.70/542.74 c 543s| 1130k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 | 626k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
547.50/547.57 c 548s| 1140k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 631k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
552.40/552.44 c 552s| 1150k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 | 637k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
557.30/557.36 c 557s| 1160k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 643k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
562.30/562.39 c 562s| 1170k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 648k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
567.00/567.05 c 567s| 1180k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 | 654k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
571.70/571.73 c 572s| 1190k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 | 660k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
576.31/576.40 c 576s| 1200k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 | 665k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
581.10/581.11 c 581s| 1210k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 | 671k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
585.90/585.95 c 586s| 1220k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 676k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
590.61/590.68 c 591s| 1230k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 | 682k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
595.40/595.41 c 595s| 1240k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 687k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
599.90/599.99 c 600s| 1250k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 693k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
604.91/604.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.91/604.92 c 605s| 1260k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 698k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
609.80/609.82 c 610s| 1270k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 | 703k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
614.81/614.85 c 615s| 1280k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 709k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
619.40/619.44 c 619s| 1290k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 714k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
624.20/624.27 c 624s| 1300k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 719k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
629.11/629.19 c 629s| 1310k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 724k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
633.80/633.86 c 634s| 1320k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 | 730k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
638.80/638.81 c 639s| 1330k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 736k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
643.41/643.46 c 643s| 1340k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 741k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
648.00/648.05 c 648s| 1350k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 | 746k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
652.40/652.49 c 652s| 1360k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 | 751k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
656.80/656.89 c 657s| 1370k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 | 756k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
661.50/661.50 c 662s| 1380k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 762k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
666.10/666.10 c 666s| 1390k| 2414 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 767k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
670.80/670.85 c 671s| 1400k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 773k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
675.90/675.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.90/675.91 c 676s| 1410k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 778k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
680.82/680.88 c 681s| 1420k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 | 783k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
685.41/685.49 c 685s| 1430k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 | 789k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
690.11/690.12 c 690s| 1440k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 403 | 0 | 0 | 1 | 794k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
694.71/694.74 c 695s| 1450k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 | 800k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
699.52/699.52 c 700s| 1460k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 806k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
704.11/704.11 c 704s| 1470k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 811k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
708.71/708.76 c 709s| 1480k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 816k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
713.41/713.44 c 713s| 1490k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 | 822k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
718.01/718.02 c 718s| 1500k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 | 827k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
722.21/722.28 c 722s| 1510k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 832k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
726.51/726.53 c 727s| 1520k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 | 837k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
730.51/730.52 c 731s| 1530k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 | 841k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
734.72/734.80 c 735s| 1540k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 | 846k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
739.41/739.42 c 739s| 1550k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 | 852k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
744.01/744.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.01/744.06 c 744s| 1560k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 431 | 0 | 0 | 1 | 857k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
748.51/748.52 c 749s| 1570k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 | 862k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
752.91/752.99 c 753s| 1580k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 | 868k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
757.51/757.58 c 758s| 1590k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 430 | 0 | 0 | 1 | 874k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
762.01/762.01 c 762s| 1600k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 | 879k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
767.01/767.05 c 767s| 1610k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 | 885k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
772.23/772.23 c 772s| 1620k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 | 890k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
777.11/777.12 c 777s| 1630k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 896k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
782.02/782.03 c 782s| 1640k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 | 901k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
786.91/786.97 c 787s| 1650k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 | 907k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
792.11/792.11 c 792s| 1660k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 | 912k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
796.91/796.92 c 797s| 1670k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 | 918k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
801.61/801.67 c 802s| 1680k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 425 | 0 | 0 | 1 | 923k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
806.33/806.35 c 806s| 1690k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 | 928k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
811.21/811.29 c 811s| 1700k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 | 933k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
815.91/815.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.91/815.93 c 816s| 1710k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 | 938k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
820.71/820.76 c 821s| 1720k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 | 944k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
825.31/825.39 c 825s| 1730k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 | 950k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
830.01/830.04 c 830s| 1740k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 | 955k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
834.72/834.72 c 835s| 1750k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 | 961k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
839.62/839.69 c 840s| 1760k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 397 | 0 | 0 | 1 | 967k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
844.52/844.53 c 845s| 1770k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 972k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
849.23/849.23 c 849s| 1780k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 | 977k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
854.02/854.08 c 854s| 1790k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 399 | 0 | 0 | 1 | 983k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
858.92/858.97 c 859s| 1800k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 | 988k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
863.62/863.64 c 864s| 1810k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 | 994k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
868.32/868.34 c 868s| 1820k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 | 999k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
873.12/873.13 c 873s| 1830k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 |1004k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
877.83/877.88 c 878s| 1840k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 |1009k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
882.82/882.86 c 883s| 1850k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1015k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
887.42/887.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.42/887.48 c 887s| 1860k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 405 | 0 | 0 | 1 |1020k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
892.32/892.33 c 892s| 1870k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 |1025k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
897.32/897.37 c 897s| 1880k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 |1031k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
902.03/902.08 c 902s| 1890k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1036k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
906.52/906.58 c 907s| 1900k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 |1040k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
911.22/911.29 c 911s| 1910k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 |1045k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
916.22/916.26 c 916s| 1920k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1051k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
921.02/921.04 c 921s| 1930k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1056k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
925.62/925.63 c 926s| 1940k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1062k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
930.42/930.43 c 930s| 1950k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 |1067k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
935.12/935.12 c 935s| 1960k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1072k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
939.82/939.86 c 940s| 1970k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1078k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
944.62/944.60 c 945s| 1980k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1083k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
949.33/949.31 c 949s| 1990k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 427 | 0 | 0 | 1 |1088k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
954.12/954.11 c 954s| 2000k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1094k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
958.92/958.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.92/958.94 c 959s| 2010k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1099k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
963.72/963.76 c 964s| 2020k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1105k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
968.62/968.66 c 969s| 2030k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 |1111k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
973.53/973.57 c 974s| 2040k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 |1117k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
978.32/978.39 c 978s| 2050k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1122k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
983.02/983.08 c 983s| 2060k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1127k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
988.02/988.02 c 988s| 2070k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 |1133k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
992.72/992.78 c 993s| 2080k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1138k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
997.42/997.49 c 997s| 2090k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1144k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1002.32/1002.32 c 1002s| 2100k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 |1150k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1007.12/1007.12 c 1007s| 2110k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1155k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1011.82/1011.88 c 1012s| 2120k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1161k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1016.72/1016.79 c 1017s| 2130k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 |1166k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1021.82/1021.83 c 1022s| 2140k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 |1172k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1026.52/1026.52 c 1027s| 2150k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1178k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1031.32/1031.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.32/1031.31 c 1031s| 2160k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1184k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1036.02/1036.02 c 1036s| 2170k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 |1189k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1040.72/1040.71 c 1041s| 2180k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 |1194k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1045.62/1045.67 c 1046s| 2190k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1200k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1050.62/1050.63 c 1051s| 2200k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 431 | 0 | 0 | 1 |1205k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1055.62/1055.67 c 1056s| 2210k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1211k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1060.62/1060.61 c 1061s| 2220k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1216k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1065.62/1065.68 c 1066s| 2230k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1221k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1070.72/1070.71 c 1071s| 2240k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1227k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1075.42/1075.49 c 1075s| 2250k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 |1232k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1080.02/1080.03 c 1080s| 2260k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 430 | 0 | 0 | 1 |1237k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1084.53/1084.61 c 1085s| 2270k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 433 | 0 | 0 | 1 |1243k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1089.12/1089.19 c 1089s| 2280k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 434 | 0 | 0 | 1 |1248k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1093.82/1093.82 c 1094s| 2290k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1254k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1098.32/1098.35 c 1098s| 2300k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1259k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1102.72/1102.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.72/1102.75 c 1103s| 2310k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 441 | 0 | 0 | 1 |1265k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1107.12/1107.16 c 1107s| 2320k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 427 | 0 | 0 | 1 |1270k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1111.72/1111.72 c 1112s| 2330k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1276k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1116.12/1116.12 c 1116s| 2340k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 444 | 0 | 0 | 1 |1281k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1120.72/1120.76 c 1121s| 2350k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 435 | 0 | 0 | 1 |1287k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1125.52/1125.56 c 1126s| 2360k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1293k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1130.32/1130.33 c 1130s| 2370k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 |1298k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1134.92/1134.94 c 1135s| 2380k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 432 | 0 | 0 | 1 |1304k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1139.32/1139.30 c 1139s| 2390k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1309k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1143.82/1143.85 c 1144s| 2400k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 |1315k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1148.52/1148.53 c 1149s| 2410k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1320k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1153.42/1153.48 c 1153s| 2420k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1325k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1158.23/1158.30 c 1158s| 2430k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 425 | 0 | 0 | 1 |1331k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1162.92/1163.00 c 1163s| 2440k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 |1336k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1167.72/1167.75 c 1168s| 2450k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1342k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1172.53/1172.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.53/1172.58 c 1173s| 2460k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1348k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1177.42/1177.46 c 1177s| 2470k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 404 | 0 | 0 | 1 |1354k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1182.32/1182.36 c 1182s| 2480k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1359k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1187.12/1187.13 c 1187s| 2490k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 |1365k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1192.12/1192.18 c 1192s| 2500k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1371k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1196.73/1196.78 c 1197s| 2510k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1376k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1201.13/1201.19 c 1201s| 2520k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 433 | 0 | 0 | 1 |1382k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1205.82/1205.82 c 1206s| 2530k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 429 | 0 | 0 | 1 |1387k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1210.52/1210.54 c 1211s| 2540k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 |1393k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1215.22/1215.20 c 1215s| 2550k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 |1399k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1219.72/1219.78 c 1220s| 2560k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1405k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1224.62/1224.64 c 1225s| 2570k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 438 | 0 | 0 | 1 |1410k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1229.73/1229.78 c 1230s| 2580k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1416k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1234.62/1234.64 c 1235s| 2590k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1422k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1239.42/1239.45 c 1239s| 2600k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1427k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1244.32/1244.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.32/1244.36 c 1244s| 2610k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1433k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1249.02/1249.00 c 1249s| 2620k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 |1438k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1253.72/1253.79 c 1254s| 2630k| 2402 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1444k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1258.52/1258.59 c 1259s| 2640k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1449k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1263.52/1263.57 c 1264s| 2650k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1455k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1268.34/1268.32 c 1268s| 2660k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1460k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1273.02/1273.02 c 1273s| 2670k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1466k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1277.92/1277.95 c 1278s| 2680k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1471k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1282.72/1282.79 c 1283s| 2690k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1477k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1287.52/1287.52 c 1288s| 2700k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1483k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1292.22/1292.26 c 1292s| 2710k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 425 | 0 | 0 | 1 |1488k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1296.83/1296.89 c 1297s| 2720k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 |1494k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1301.52/1301.51 c 1302s| 2730k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1500k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1306.12/1306.15 c 1306s| 2740k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 430 | 0 | 0 | 1 |1506k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1310.92/1310.90 c 1311s| 2750k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1511k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1315.53/1315.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.53/1315.60 c 1316s| 2760k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1517k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1320.52/1320.56 c 1321s| 2770k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1523k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1325.32/1325.41 c 1325s| 2780k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 |1529k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1330.22/1330.25 c 1330s| 2790k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1534k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1334.92/1334.91 c 1335s| 2800k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 427 | 0 | 0 | 1 |1540k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1339.73/1339.78 c 1340s| 2810k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1546k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1344.62/1344.65 c 1345s| 2820k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 437 | 0 | 0 | 1 |1551k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1349.52/1349.53 c 1350s| 2830k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1557k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1354.42/1354.44 c 1354s| 2840k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 441 | 0 | 0 | 1 |1563k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1359.02/1359.07 c 1359s| 2850k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 |1569k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1363.42/1363.43 c 1363s| 2860k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 444 | 0 | 0 | 1 |1574k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1367.82/1367.84 c 1368s| 2870k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 427 | 0 | 0 | 1 |1579k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1372.84/1372.86 c 1373s| 2880k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 401 | 0 | 0 | 1 |1585k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1377.62/1377.65 c 1378s| 2890k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 |1591k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1382.22/1382.26 c 1382s| 2900k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 |1596k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1386.82/1386.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.82/1386.89 c 1387s| 2910k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 |1602k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1391.62/1391.60 c 1392s| 2920k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 427 | 0 | 0 | 1 |1607k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1396.42/1396.46 c 1396s| 2930k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1612k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1401.52/1401.52 c 1402s| 2940k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1618k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1406.22/1406.28 c 1406s| 2950k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 407 | 0 | 0 | 1 |1624k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1411.12/1411.17 c 1411s| 2960k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1629k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1415.92/1415.96 c 1416s| 2970k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1635k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1420.62/1420.62 c 1421s| 2980k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 409 | 0 | 0 | 1 |1641k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1425.42/1425.48 c 1425s| 2990k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1646k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1430.32/1430.31 c 1430s| 3000k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 |1652k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1435.02/1435.09 c 1435s| 3010k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1657k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1439.73/1439.76 c 1440s| 3020k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 402 | 0 | 0 | 1 |1662k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1444.53/1444.57 c 1445s| 3030k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1668k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1449.43/1449.44 c 1449s| 3040k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1673k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1454.32/1454.30 c 1454s| 3050k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 400 | 0 | 0 | 1 |1679k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1459.13/1459.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.13/1459.15 c 1459s| 3060k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 408 | 0 | 0 | 1 |1684k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1464.03/1464.05 c 1464s| 3070k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1690k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1468.93/1468.90 c 1469s| 3080k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 398 | 0 | 0 | 1 |1695k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1473.72/1473.79 c 1474s| 3090k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1701k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1478.53/1478.59 c 1479s| 3100k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1707k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1483.53/1483.55 c 1484s| 3110k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1712k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1488.23/1488.31 c 1488s| 3120k| 2399 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1718k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1493.12/1493.15 c 1493s| 3130k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1723k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1498.02/1498.06 c 1498s| 3140k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1729k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1502.82/1502.88 c 1503s| 3150k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 |1734k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1507.62/1507.66 c 1508s| 3160k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 |1740k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1512.33/1512.30 c 1512s| 3170k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 418 | 0 | 0 | 1 |1745k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1517.03/1517.07 c 1517s| 3180k| 2411 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1751k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1521.82/1521.85 c 1522s| 3190k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |1756k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1526.62/1526.64 c 1527s| 3200k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 |1762k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1531.43/1531.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.43/1531.41 c 1531s| 3210k| 2402 | 3092 | 0.0 | 17M|2523 | - |3120 | 425 | 0 | 0 | 1 |1768k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1536.13/1536.19 c 1536s| 3220k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1773k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1541.03/1541.02 c 1541s| 3230k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1779k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1545.73/1545.78 c 1546s| 3240k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |1784k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1550.63/1550.64 c 1551s| 3250k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 417 | 0 | 0 | 1 |1790k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1555.73/1555.76 c 1556s| 3260k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 |1795k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1560.83/1560.81 c 1561s| 3270k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |1800k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1565.73/1565.76 c 1566s| 3280k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1806k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1570.73/1570.77 c 1571s| 3290k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1812k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1575.63/1575.63 c 1576s| 3300k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1817k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1580.33/1580.37 c 1580s| 3310k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1822k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1584.83/1584.81 c 1585s| 3320k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1828k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1589.13/1589.13 c 1589s| 3330k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1833k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1593.83/1593.89 c 1594s| 3340k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 411 | 0 | 0 | 1 |1839k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1599.03/1599.00 c 1599s| 3350k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1844k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1603.73/1603.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.73/1603.76 c 1604s| 3360k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 431 | 0 | 0 | 1 |1849k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1608.33/1608.38 c 1608s| 3370k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 |1855k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1613.13/1613.16 c 1613s| 3380k| 2410 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 |1861k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1617.93/1617.93 c 1618s| 3390k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 429 | 0 | 0 | 1 |1867k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1622.73/1622.70 c 1623s| 3400k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1872k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1627.33/1627.35 c 1627s| 3410k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1878k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1632.03/1632.09 c 1632s| 3420k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 |1884k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1636.93/1636.93 c 1637s| 3430k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 |1889k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1641.53/1641.51 c 1642s| 3440k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1895k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1646.13/1646.12 c 1646s| 3450k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1900k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1650.93/1650.91 c 1651s| 3460k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 419 | 0 | 0 | 1 |1906k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1655.43/1655.49 c 1655s| 3470k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1912k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1660.33/1660.34 c 1660s| 3480k| 2401 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |1917k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1665.33/1665.33 c 1665s| 3490k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1923k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1670.13/1670.15 c 1670s| 3500k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1928k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1675.23/1675.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.23/1675.29 c 1675s| 3510k| 2402 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1933k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1680.03/1680.02 c 1680s| 3520k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 428 | 0 | 0 | 1 |1939k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1684.83/1684.84 c 1685s| 3530k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 416 | 0 | 0 | 1 |1945k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1689.33/1689.39 c 1689s| 3540k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |1950k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1694.23/1694.20 c 1694s| 3550k| 2402 | 3092 | 0.0 | 17M|2523 | - |3120 | 426 | 0 | 0 | 1 |1956k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1698.73/1698.78 c 1699s| 3560k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1961k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1703.33/1703.34 c 1703s| 3570k| 2409 | 3092 | 0.0 | 17M|2523 | - |3120 | 430 | 0 | 0 | 1 |1966k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1707.73/1707.71 c 1708s| 3580k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1972k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1712.33/1712.34 c 1712s| 3590k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 422 | 0 | 0 | 1 |1977k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1716.43/1716.46 c 1716s| 3600k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 423 | 0 | 0 | 1 |1982k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1720.53/1720.54 c 1721s| 3610k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |1987k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1724.63/1724.68 c 1725s| 3620k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 425 | 0 | 0 | 1 |1992k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1728.83/1728.86 c 1729s| 3630k| 2416 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |1997k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1733.43/1733.48 c 1733s| 3640k| 2412 | 3092 | 0.0 | 17M|2523 | - |3120 | 424 | 0 | 0 | 1 |2002k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1738.53/1738.55 c 1739s| 3650k| 2407 | 3092 | 0.0 | 17M|2523 | - |3120 | 425 | 0 | 0 | 1 |2008k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1743.63/1743.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.63/1743.61 c 1744s| 3660k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |2014k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1748.33/1748.38 c 1748s| 3670k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 413 | 0 | 0 | 1 |2019k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1753.13/1753.15 c 1753s| 3680k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |2025k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1757.93/1757.95 c 1758s| 3690k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 420 | 0 | 0 | 1 |2030k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1762.64/1762.69 c 1763s| 3700k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 435 | 0 | 0 | 1 |2035k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1767.44/1767.41 c 1767s| 3710k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |2041k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1772.15/1772.17 c 1772s| 3720k| 2403 | 3092 | 0.0 | 17M|2523 | - |3120 | 410 | 0 | 0 | 1 |2047k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1776.94/1776.95 c 1777s| 3730k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 415 | 0 | 0 | 1 |2052k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1781.64/1781.65 c 1782s| 3740k| 2405 | 3092 | 0.0 | 17M|2523 | - |3120 | 421 | 0 | 0 | 1 |2058k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1786.64/1786.61 c 1787s| 3750k| 2404 | 3092 | 0.0 | 17M|2523 | - |3120 | 406 | 0 | 0 | 1 |2063k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1791.54/1791.55 c 1792s| 3760k| 2406 | 3092 | 0.0 | 17M|2523 | - |3120 | 414 | 0 | 0 | 1 |2069k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1796.35/1796.32 c 1796s| 3770k| 2408 | 3092 | 0.0 | 17M|2523 | - |3120 | 412 | 0 | 0 | 1 |2075k| 41 | 1.199983e+02 | 1.220000e+02 | 1.67%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.00
1800.04/1800.01 c Solving Nodes : 3777968
1800.04/1800.01 c Primal Bound : +1.22000000000000e+02 (10 solutions)
1800.04/1800.01 c Dual Bound : +1.19998284930254e+02
1800.04/1800.01 c Gap : 1.67 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 x4674 -x4673 -x4672 -x4671 -x4670
1800.04/1800.01 v -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652
1800.04/1800.01 v -x4651 -x4650 -x4649 -x4648 x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634
1800.04/1800.01 v -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617
1800.04/1800.01 v -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599
1800.04/1800.01 v -x4598 -x4597 -x4596 x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581
1800.04/1800.01 v -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563
1800.04/1800.01 v -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545
1800.04/1800.01 v -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527
1800.04/1800.01 v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509
1800.04/1800.01 v -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491
1800.04/1800.01 v -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474
1800.04/1800.01 v -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456
1800.04/1800.01 v -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438
1800.04/1800.01 v -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420
1800.04/1800.01 v -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402
1800.04/1800.01 v -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384
1800.04/1800.01 v -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366
1800.04/1800.01 v -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348
1800.04/1800.01 v -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331
1800.04/1800.01 v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313
1800.04/1800.01 v -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295
1800.04/1800.01 v -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277
1800.04/1800.01 v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259
1800.04/1800.01 v -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
1800.04/1800.01 v -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223
1800.04/1800.01 v -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206
1800.04/1800.01 v -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188
1800.04/1800.01 v -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170
1800.04/1800.01 v -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152
1800.04/1800.01 v -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134
1800.04/1800.01 v x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116
1800.04/1800.01 v -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098
1800.04/1800.01 v -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080
1800.04/1800.01 v -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
1800.04/1800.01 v -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044
1800.04/1800.01 v -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027
1800.04/1800.01 v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009
1800.04/1800.01 v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991
1800.04/1800.01 v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973
1800.04/1800.01 v -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955
1800.04/1800.01 v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 x3939 -x3938 -x3937
1800.04/1800.01 v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919
1800.04/1800.01 v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901
1800.04/1800.01 v -x3900 -x3899 -x3898 -x3897 x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
1800.04/1800.01 v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865
1800.04/1800.01 v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848
1800.04/1800.01 v -x3847 -x3846 -x3845 x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830
1800.04/1800.01 v -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812
1800.04/1800.01 v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794
1800.04/1800.01 v -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776
1800.04/1800.01 v x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758
1800.04/1800.01 v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740
1800.04/1800.01 v -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722
1800.04/1800.01 v -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704
1800.04/1800.01 v -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 x3686
1800.04/1800.01 v -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668
1800.04/1800.01 v -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650
1800.04/1800.01 v -x3649 -x3648 x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632
1800.04/1800.01 v -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615
1800.04/1800.01 v -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597
1800.04/1800.01 v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579
1800.04/1800.01 v -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561
1800.04/1800.01 v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543
1800.04/1800.01 v -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525
1800.04/1800.01 v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507
1800.04/1800.01 v -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489
1800.04/1800.01 v -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472
1800.04/1800.01 v -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 x3458 -x3457 -x3456 -x3455 -x3454
1800.04/1800.01 v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436
1800.04/1800.01 v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
1800.04/1800.01 v -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400
1800.04/1800.01 v x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382
1800.04/1800.01 v -x3381 -x3380 x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364
1800.04/1800.01 v -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 x3346
1800.04/1800.01 v -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328
1800.04/1800.01 v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 x3310
1800.04/1800.01 v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292
1800.04/1800.01 v -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274
1800.04/1800.01 v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256
1800.04/1800.01 v -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239
1800.04/1800.01 v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221
1800.04/1800.01 v -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203
1800.04/1800.01 v -x3202 -x3201 -x3200 -x3199 x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 x3185
1800.04/1800.01 v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167
1800.04/1800.01 v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 x3154 -x3153 -x3152 -x3151 -x3150 -x3149
1800.04/1800.01 v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131
1800.04/1800.01 v -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113
1800.04/1800.01 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095
1800.04/1800.01 v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077
1800.04/1800.01 v -x3076 -x3075 -x3074 -x3073 x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059
1800.04/1800.01 v -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041
1800.04/1800.01 v -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023
1800.04/1800.01 v -x3022 x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005
1800.04/1800.01 v -x3004 -x3003 -x3002 -x3001 x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987
1800.04/1800.01 v -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970
1800.04/1800.01 v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952
1800.04/1800.01 v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934
1800.04/1800.01 v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 x2917 -x2916
1800.04/1800.01 v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 x2900 -x2899 -x2898
1800.04/1800.01 v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880
1800.04/1800.01 v -x2879 -x2878 -x2877 -x2876 x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862
1800.04/1800.01 v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844
1800.04/1800.01 v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 x2827 -x2826
1800.04/1800.01 v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808
1800.04/1800.01 v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790
1800.04/1800.01 v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772
1800.04/1800.01 v -x2771 x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754
1800.04/1800.01 v -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737
1800.04/1800.01 v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719
1800.04/1800.01 v -x2718 -x2717 -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701
1800.04/1800.01 v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683
1800.04/1800.01 v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665
1800.04/1800.01 v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647
1800.04/1800.01 v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629
1800.04/1800.01 v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611
1800.04/1800.01 v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593
1800.04/1800.01 v -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575
1800.04/1800.01 v -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558
1800.04/1800.01 v -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540
1800.04/1800.01 v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522
1800.04/1800.01 v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 x2507 -x2506 -x2505 -x2504
1800.04/1800.01 v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486
1800.04/1800.01 v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468
1800.04/1800.01 v -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 x2450
1800.04/1800.01 v -x2449 -x2448 -x2447 -x2446 -x2445 x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432
1800.04/1800.01 v -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414
1800.04/1800.01 v x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396
1800.04/1800.01 v -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378
1800.04/1800.01 v -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360
1800.04/1800.01 v -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343
1800.04/1800.01 v x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325
1800.04/1800.01 v -x2324 x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 x2307 -x2306
1800.04/1800.01 v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289
1800.04/1800.01 v -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 x2276 -x2275 -x2274 -x2273 -x2272 -x2271
1800.04/1800.01 v -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253
1800.04/1800.01 v -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235
1800.04/1800.01 v -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217
1800.04/1800.01 v -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199
1800.04/1800.01 v -x2198 x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181
1800.04/1800.01 v -x2180 x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163
1800.04/1800.01 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145
1800.04/1800.01 v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127
1800.04/1800.01 v -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109
1800.04/1800.01 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092
1800.04/1800.01 v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 x2077 -x2076 -x2075 -x2074 -x2073
1800.04/1800.01 v -x2072 -x2071 -x2070 -x2069 x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055
1800.04/1800.01 v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038
1800.04/1800.01 v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020
1800.04/1800.01 v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002
1800.04/1800.01 v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984
1800.04/1800.01 v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
1800.04/1800.01 v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
1800.04/1800.01 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930
1800.04/1800.01 v -x1929 -x1928 -x1927 -x1926 x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 -x1913 -x1912
1800.04/1800.01 v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894
1800.04/1800.01 v -x1893 x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876
1800.04/1800.01 v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858
1800.04/1800.01 v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840
1800.04/1800.01 v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823
1800.04/1800.01 v -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
1800.04/1800.01 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 x1788 -x1787 -x1786
1800.04/1800.01 v -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768
1800.04/1800.01 v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 x1753 -x1752 -x1751 -x1750
1800.04/1800.01 v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733
1800.04/1800.01 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
1800.04/1800.01 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
1800.04/1800.01 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
1800.04/1800.01 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661
1800.04/1800.01 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643
1800.04/1800.01 v -x1642 -x1641 -x1640 -x1639 -x1638 x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
1800.04/1800.01 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607
1800.04/1800.01 v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 x1589
1800.04/1800.01 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571
1800.04/1800.01 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553
1800.04/1800.01 v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536
1800.04/1800.01 v -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
1800.04/1800.01 v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500
1800.04/1800.01 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482
1800.04/1800.01 v -x1481 -x1480 -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464
1800.04/1800.01 v -x1463 -x1462 -x1461 -x1460 x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446
1800.04/1800.01 v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428
1800.04/1800.01 v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 -x1412 -x1411 -x1410
1800.04/1800.01 v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392
1800.04/1800.01 v x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374
1800.04/1800.01 v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356
1800.04/1800.01 v -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 x1348 -x1347 x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338
1800.04/1800.01 v -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320
1800.04/1800.01 v -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302
1800.04/1800.01 v -x1301 -x1300 -x1299 x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 x1287 -x1286 -x1285 -x1284
1800.04/1800.01 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
1800.04/1800.01 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248
1800.04/1800.01 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231
1800.04/1800.01 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213
1800.04/1800.01 v -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195
1800.04/1800.01 v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 x1181 -x1180 -x1179 -x1178 -x1177
1800.04/1800.01 v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159
1800.04/1800.01 v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141
1800.04/1800.01 v -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123
1800.04/1800.01 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105
1800.04/1800.01 v -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087
1800.04/1800.01 v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
1800.04/1800.01 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051
1800.04/1800.01 v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033
1800.04/1800.01 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015
1800.04/1800.01 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000 -x999 -x998 -x997
1800.04/1800.01 v -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976
1800.04/1800.01 v -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
1800.04/1800.01 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934
1800.04/1800.01 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913
1800.04/1800.01 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
1800.04/1800.01 v x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
1800.04/1800.01 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
1800.04/1800.01 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
1800.04/1800.01 v -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808
1800.04/1800.01 v -x807 -x806 x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787
1800.04/1800.01 v -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766
1800.04/1800.01 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1800.04/1800.01 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 x726 -x725 -x724
1800.04/1800.01 v -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1800.04/1800.01 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1800.04/1800.01 v -x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
1800.04/1800.01 v -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
1800.04/1800.01 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620
1800.04/1800.01 v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.04/1800.01 v -x598 x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
1800.04/1800.01 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556
1800.04/1800.01 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.04/1800.01 v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1800.04/1800.01 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1800.04/1800.01 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
1800.04/1800.01 v -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452
1800.04/1800.01 v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.04/1800.01 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1800.04/1800.01 v -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
1800.04/1800.01 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1800.04/1800.01 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347
1800.04/1800.01 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326
1800.04/1800.01 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1800.04/1800.01 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1800.04/1800.01 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.04/1800.01 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
1800.04/1800.01 v -x241 -x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.04/1800.01 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.04/1800.01 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180
1800.04/1800.01 v -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1800.04/1800.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1800.04/1800.01 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117
1800.04/1800.01 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1800.04/1800.01 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.04/1800.01 v -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.04/1800.01 v -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.04/1800.01 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.00
1800.04/1800.01 c solving : 1800.00
1800.04/1800.01 c presolving : 0.03 (included in solving)
1800.04/1800.01 c reading : 0.02 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3453262-1307092676.opb
1800.04/1800.01 c Variables : 4688 (4688 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 403 initial, 403 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3453262-1307092676.opb
1800.04/1800.01 c Variables : 3120 (3120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 397 initial, 468 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 13 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 1 0 0 0 6 0 5 0
1800.04/1800.01 c logicor : 0.01 1554 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 1 0 15 0 0 0 0 0 2
1800.04/1800.01 c logicor : 397+ 2 4488030 0 0 10 233181737 733552 4230836 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 0 13 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 0.79 0.00 0.00 0.79 0.00 0.00 0.00
1800.04/1800.01 c logicor : 767.99 0.00 482.53 0.00 0.00 0.00 285.46
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 0 0 0 0
1800.04/1800.01 c pseudoobj : 11128021 6218339 824773 57223067
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 1.39 1.39 0.00
1800.04/1800.01 c rootredcost : 1.57 1.57 0.00
1800.04/1800.01 c pseudoobj : 1148.00 861.23 286.77
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 800.81 1558322 1558322 1558322 287.8 5098 312.4 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 228.39 517127 517127 517127 261.7 1943 314.4 -
1800.04/1800.01 c applied globally : - - - 1342606 219.0 - - -
1800.04/1800.01 c applied locally : - - - 737010 394.8 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 1 - - 0 - (maximal pool size: 92)
1800.04/1800.01 c redcost : 0.00 3 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 3 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.02 3 0 0 9 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.19 3 0 0 214 0
1800.04/1800.01 c cmir : 0.04 3 0 0 0 0
1800.04/1800.01 c flowcover : 0.03 3 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 0.79 1 0 0 0 0 2
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 117.98 2457327 0 0 0 0 4914654
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c oneopt : 0.78 4 2
1800.04/1800.01 c trivial : 0.00 2 2
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 0.00 2 2
1800.04/1800.01 c zirounding : 0.00 1 1
1800.04/1800.01 c rounding : 0.00 2 1
1800.04/1800.01 c shifting : 0.00 2 1
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.20 1 1
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.56 0 0
1800.04/1800.01 c trysol : 0.35 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 0.31 2 3092 1546.00 10078.46
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 0.79 41 6246 152.34 7901.13
1800.04/1800.01 c (at root node) : - 41 6246 152.34 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 3777968
1800.04/1800.01 c nodes (total) : 3777968
1800.04/1800.01 c nodes left : 2408
1800.04/1800.01 c max depth : 2523
1800.04/1800.01 c max depth (total): 2523
1800.04/1800.01 c backtracks : 833837 (22.1%)
1800.04/1800.01 c delayed cutoffs : 828719
1800.04/1800.01 c repropagations : 3060890 (28092225 domain reductions, 754812 cutoffs)
1800.04/1800.01 c avg switch length: 2.66
1800.04/1800.01 c switching time : 31.86
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 10 (7 improvements)
1800.04/1800.01 c First Solution : +4.68800000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.22000000000000e+02 (in run 1, after 1 nodes, 0.82 seconds, depth 0, found by <rens>)
1800.04/1800.01 c Dual Bound : +1.19998284930254e+02
1800.04/1800.01 c Gap : 1.67 %
1800.04/1800.01 c Root Dual Bound : +1.19894669304070e+02
1800.04/1800.01 c Root Iterations : 3092
OK 122
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453262-1307092676/watcher-3453262-1307092676 -o /tmp/evaluation-result-3453262-1307092676/solver-3453262-1307092676 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453262-1307092676.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 4/461 5825 /proc/meminfo: memFree=30119952/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=10588 CPUtime=0 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 1631 0 0 0 0 0 0 0 25 0 1 0 820867426 10842112 1583 33554432000 4194304 9128323 140734735046192 18446744073709551615 7985376 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/5825/statm: 2647 1583 391 1205 0 1438 0 [startup+0.0330349 s] /proc/loadavg: 1.93 2.00 1.99 4/461 5825 /proc/meminfo: memFree=30119952/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=25712 CPUtime=0.02 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 5148 0 0 0 2 0 0 0 25 0 1 0 820867426 26329088 5099 33554432000 4194304 9128323 140734735046192 18446744073709551615 4346224 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 6428 5101 476 1205 0 5219 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 25712 [startup+0.101137 s] /proc/loadavg: 1.93 2.00 1.99 4/461 5825 /proc/meminfo: memFree=30119952/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=30512 CPUtime=0.09 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 6860 0 0 0 9 0 0 0 25 0 1 0 820867426 31244288 6540 33554432000 4194304 9128323 140734735046192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 7628 6540 638 1205 0 6419 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30512 [startup+0.301034 s] /proc/loadavg: 1.93 2.00 1.99 4/461 5825 /proc/meminfo: memFree=30119952/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=30644 CPUtime=0.29 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 6873 0 0 0 29 0 0 0 25 0 1 0 820867426 31379456 6553 33554432000 4194304 9128323 140734735046192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 7661 6553 638 1205 0 6452 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30644 [startup+0.701027 s] /proc/loadavg: 1.93 2.00 1.99 4/461 5825 /proc/meminfo: memFree=30119952/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68564 CPUtime=0.69 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 15444 0 0 0 68 1 0 0 25 0 1 0 820867426 70209536 15040 33554432000 4194304 9128323 140734735046192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17141 15040 705 1205 0 15932 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 68564 [startup+1.5009 s] /proc/loadavg: 1.93 2.00 1.99 3/465 5856 /proc/meminfo: memFree=30017676/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=47080 CPUtime=1.49 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 15944 0 0 0 146 3 0 0 25 0 1 0 820867426 48209920 10477 33554432000 4194304 9128323 140734735046192 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 11770 10477 724 1205 0 10561 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47080 [startup+3.10053 s] /proc/loadavg: 1.93 2.00 1.99 3/465 5857 /proc/meminfo: memFree=29964480/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=51648 CPUtime=3.09 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 17055 0 0 0 305 4 0 0 25 0 1 0 820867426 52887552 11588 33554432000 4194304 9128323 140734735046192 18446744073709551615 6526832 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 12912 11588 730 1205 0 11703 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 51648 [startup+6.30104 s] /proc/loadavg: 1.94 2.00 1.99 3/465 5857 /proc/meminfo: memFree=29958412/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=54504 CPUtime=6.29 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 17760 0 0 0 625 4 0 0 25 0 1 0 820867426 55812096 12293 33554432000 4194304 9128323 140734735046192 18446744073709551615 4336193 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 13626 12293 730 1205 0 12417 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54504 [startup+12.7009 s] /proc/loadavg: 2.02 2.02 2.00 3/465 5857 /proc/meminfo: memFree=29955376/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=58664 CPUtime=12.69 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 18783 0 0 0 1265 4 0 0 25 0 1 0 820867426 60071936 13316 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 14666 13316 730 1205 0 13457 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58664 [startup+25.5006 s] /proc/loadavg: 2.02 2.01 2.00 3/465 5857 /proc/meminfo: memFree=29953680/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=60040 CPUtime=25.49 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19106 0 0 0 2545 4 0 0 25 0 1 0 820867426 61480960 13639 33554432000 4194304 9128323 140734735046192 18446744073709551615 4912480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15010 13639 730 1205 0 13801 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 60040 [startup+51.1011 s] /proc/loadavg: 2.15 2.04 2.01 3/465 5858 /proc/meminfo: memFree=29949112/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=61680 CPUtime=51.09 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19514 0 0 0 5105 4 0 0 25 0 1 0 820867426 63160320 14047 33554432000 4194304 9128323 140734735046192 18446744073709551615 4912497 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15420 14047 730 1205 0 14211 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 61680 [startup+102.317 s] /proc/loadavg: 2.18 2.07 2.01 3/465 5859 /proc/meminfo: memFree=29943120/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=62080 CPUtime=102.31 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19621 0 0 0 10227 4 0 0 25 0 1 0 820867426 63569920 14154 33554432000 4194304 9128323 140734735046192 18446744073709551615 4911728 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15520 14154 730 1205 0 14311 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 62080 [startup+162.3 s] /proc/loadavg: 2.06 2.05 2.01 3/465 5861 /proc/meminfo: memFree=29938728/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=62344 CPUtime=162.29 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19685 0 0 0 16225 4 0 0 25 0 1 0 820867426 63840256 14218 33554432000 4194304 9128323 140734735046192 18446744073709551615 4547817 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15586 14218 730 1205 0 14377 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 62344 [startup+222.301 s] /proc/loadavg: 2.02 2.04 2.00 3/465 5862 /proc/meminfo: memFree=29937936/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=62920 CPUtime=222.29 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19819 0 0 0 22225 4 0 0 25 0 1 0 820867426 64430080 14352 33554432000 4194304 9128323 140734735046192 18446744073709551615 4912480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15730 14352 730 1205 0 14521 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 62920 [startup+282.3 s] /proc/loadavg: 2.01 2.03 2.00 3/465 5864 /proc/meminfo: memFree=29938152/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=63060 CPUtime=282.29 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19849 0 0 0 28225 4 0 0 25 0 1 0 820867426 64573440 14382 33554432000 4194304 9128323 140734735046192 18446744073709551615 6559570 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15765 14382 730 1205 0 14556 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 63060 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5866 /proc/meminfo: memFree=29937752/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=63204 CPUtime=342.3 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19885 0 0 0 34226 4 0 0 25 0 1 0 820867426 64720896 14418 33554432000 4194304 9128323 140734735046192 18446744073709551615 6523933 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15801 14418 730 1205 0 14592 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 63204 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5867 /proc/meminfo: memFree=29936832/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=63344 CPUtime=402.3 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19912 0 0 0 40226 4 0 0 25 0 1 0 820867426 64864256 14445 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984420 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15836 14445 730 1205 0 14627 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 63344 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5869 /proc/meminfo: memFree=29936548/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=63476 CPUtime=462.3 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19951 0 0 0 46226 4 0 0 25 0 1 0 820867426 64999424 14484 33554432000 4194304 9128323 140734735046192 18446744073709551615 6526643 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15869 14484 730 1205 0 14660 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 63476 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5870 /proc/meminfo: memFree=29935264/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=63476 CPUtime=522.3 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 19974 0 0 0 52226 4 0 0 25 0 1 0 820867426 64999424 14507 33554432000 4194304 9128323 140734735046192 18446744073709551615 6526836 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15869 14507 730 1205 0 14660 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 63476 [startup+582.3 s] /proc/loadavg: 2.13 2.03 2.01 3/465 5872 /proc/meminfo: memFree=29934112/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=63620 CPUtime=582.3 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20005 0 0 0 58226 4 0 0 25 0 1 0 820867426 65146880 14538 33554432000 4194304 9128323 140734735046192 18446744073709551615 6523943 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 15905 14538 730 1205 0 14696 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 63620 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.04 2.01 3/465 5878 /proc/meminfo: memFree=29929952/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=64804 CPUtime=822.31 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20297 0 0 0 82226 5 0 0 25 0 1 0 820867426 66359296 14830 33554432000 4194304 9128323 140734735046192 18446744073709551615 6553696 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16201 14830 730 1205 0 14992 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 64804 [startup+882.3 s] /proc/loadavg: 2.00 2.03 2.00 3/465 5880 /proc/meminfo: memFree=29930028/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=65084 CPUtime=882.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20368 0 0 0 88227 5 0 0 25 0 1 0 820867426 66646016 14901 33554432000 4194304 9128323 140734735046192 18446744073709551615 4912256 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16271 14901 730 1205 0 15062 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 65084 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5882 /proc/meminfo: memFree=29930240/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=65240 CPUtime=942.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20379 0 0 0 94227 5 0 0 25 0 1 0 820867426 66805760 14912 33554432000 4194304 9128323 140734735046192 18446744073709551615 4859648 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16310 14912 730 1205 0 15101 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 65240 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5883 /proc/meminfo: memFree=29929696/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=65376 CPUtime=1002.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20445 0 0 0 100227 5 0 0 25 0 1 0 820867426 66945024 14978 33554432000 4194304 9128323 140734735046192 18446744073709551615 4545333 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16344 14978 730 1205 0 15135 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 65376 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5885 /proc/meminfo: memFree=29929024/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=65916 CPUtime=1062.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20559 0 0 0 106227 5 0 0 25 0 1 0 820867426 67497984 15092 33554432000 4194304 9128323 140734735046192 18446744073709551615 4929703 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16479 15092 730 1205 0 15270 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 65916 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5886 /proc/meminfo: memFree=29928860/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=66340 CPUtime=1122.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20669 0 0 0 112227 5 0 0 25 0 1 0 820867426 67932160 15202 33554432000 4194304 9128323 140734735046192 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16585 15202 730 1205 0 15376 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 66340 [startup+1182.3 s] /proc/loadavg: 2.07 2.03 2.01 3/465 5888 /proc/meminfo: memFree=29927828/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=66788 CPUtime=1182.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20782 0 0 0 118227 5 0 0 25 0 1 0 820867426 68390912 15315 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984494 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16697 15315 730 1205 0 15488 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 66788 [startup+1242.3 s] /proc/loadavg: 2.16 2.06 2.02 3/465 5890 /proc/meminfo: memFree=29927168/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=67192 CPUtime=1242.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20864 0 0 0 124227 5 0 0 25 0 1 0 820867426 68804608 15397 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984078 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16798 15397 730 1205 0 15589 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 67192 [startup+1302.3 s] /proc/loadavg: 2.06 2.05 2.01 3/465 5972 /proc/meminfo: memFree=30002808/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=67192 CPUtime=1302.33 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20881 0 0 0 130228 5 0 0 25 0 1 0 820867426 68804608 15414 33554432000 4194304 9128323 140734735046192 18446744073709551615 5983317 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16798 15414 730 1205 0 15589 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 67192 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/465 6001 /proc/meminfo: memFree=30042008/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=67596 CPUtime=1362.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 20978 0 0 0 136227 5 0 0 25 0 1 0 820867426 69218304 15511 33554432000 4194304 9128323 140734735046192 18446744073709551615 4794592 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16899 15511 730 1205 0 15690 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 67596 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/465 6002 /proc/meminfo: memFree=30042828/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=67896 CPUtime=1422.34 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21037 0 0 0 142229 5 0 0 25 0 1 0 820867426 69525504 15570 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984165 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 16974 15570 730 1205 0 15765 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 67896 [startup+1482.3 s] /proc/loadavg: 2.06 2.04 2.00 3/465 6031 /proc/meminfo: memFree=29988528/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68060 CPUtime=1482.32 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21072 0 0 0 148227 5 0 0 25 0 1 0 820867426 69693440 15605 33554432000 4194304 9128323 140734735046192 18446744073709551615 4547815 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17015 15605 730 1205 0 15806 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 68060 [startup+1542.3 s] /proc/loadavg: 2.02 2.03 2.00 3/465 6061 /proc/meminfo: memFree=29962224/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68360 CPUtime=1542.33 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21141 0 0 0 154228 5 0 0 25 0 1 0 820867426 70000640 15674 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17090 15674 730 1205 0 15881 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 68360 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 6062 /proc/meminfo: memFree=29960700/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68360 CPUtime=1602.33 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21162 0 0 0 160228 5 0 0 25 0 1 0 820867426 70000640 15695 33554432000 4194304 9128323 140734735046192 18446744073709551615 5983295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17090 15695 730 1205 0 15881 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 68360 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 6092 /proc/meminfo: memFree=29848340/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68628 CPUtime=1662.33 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21222 0 0 0 166228 5 0 0 25 0 1 0 820867426 70275072 15755 33554432000 4194304 9128323 140734735046192 18446744073709551615 5984679 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17157 15755 730 1205 0 15948 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 68628 [startup+1722.3 s] /proc/loadavg: 2.10 2.04 2.01 3/465 6093 /proc/meminfo: memFree=29846592/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68628 CPUtime=1722.33 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21230 0 0 0 172228 5 0 0 25 0 1 0 820867426 70275072 15763 33554432000 4194304 9128323 140734735046192 18446744073709551615 4911480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17157 15763 730 1205 0 15948 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 68628 [startup+1782.3 s] /proc/loadavg: 2.19 2.08 2.02 3/465 6095 /proc/meminfo: memFree=29843956/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68772 CPUtime=1782.34 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21261 0 0 0 178228 6 0 0 25 0 1 0 820867426 70422528 15794 33554432000 4194304 9128323 140734735046192 18446744073709551615 4911520 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/5825/statm: 17193 15794 730 1205 0 15984 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 68772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.14 2.07 2.02 3/465 6095 /proc/meminfo: memFree=29844816/32950928 swapFree=45617076/67111528 [pid=5825] ppid=5822 vsize=68944 CPUtime=1800.04 cores=0,2,4,6 /proc/5825/stat : 5825 (scip-2.0.1.4.li) R 5822 5825 5789 0 -1 4202496 21282 0 0 0 179998 6 0 0 25 0 1 0 820867426 70598656 15815 33554432000 4194304 9128323 140734735046192 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/5825/statm: 17236 15815 732 1205 0 16027 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 68944 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.02 CPU time (s): 1800.06 CPU user time (s): 1800 CPU system time (s): 0.06399 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 69792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.06399 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21348 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= 2598 runsolver used 8.26274 second user time and 18.0353 second system time The end
Begin job on node123 at 2011-06-03 11:17:56 IDJOB=3453262 IDBENCH=2837 IDSOLVER=1949 FILE ID=node123/3453262-1307092676 RUNJOBID= node123-1307092676-5808 PBS_JOBID= 13497979 Free space on /tmp= 73832 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453262-1307092676/watcher-3453262-1307092676 -o /tmp/evaluation-result-3453262-1307092676/solver-3453262-1307092676 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453262-1307092676.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cb09f183d3805e6536d629586026461f RANDOM SEED=1475415275 node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30120372 kB Buffers: 253392 kB Cached: 352000 kB SwapCached: 9456 kB Active: 2265088 kB Inactive: 284448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30120372 kB SwapTotal: 67111528 kB SwapFree: 45617076 kB Dirty: 24472 kB Writeback: 0 kB AnonPages: 1942196 kB Mapped: 22616 kB Slab: 133940 kB PageTables: 78048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 133351528 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73804 MiB End job on node123 at 2011-06-03 11:47:58