Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 29 | 1800.08 | 1800.77 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
| MD5SUM | c19adaf233257cdd6134391794b23c65 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2.49362 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 3187 |
| Total number of constraints | 8922 |
| Number of constraints which are clauses | 8922 |
| 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 | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 1527 |
| 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 | 1527 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1527 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663942-1276636119.opb>
0.09/0.17 c original problem has 3187 variables (3187 bin, 0 int, 0 impl, 0 cont) and 8922 constraints
0.09/0.17 c problem read
0.09/0.17 c presolving settings loaded
0.09/0.17 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.22 c presolving:
0.29/0.30 c (round 1) 1627 del vars, 3160 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 17139 impls, 0 clqs
0.29/0.32 c (round 2) 1629 del vars, 3919 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 17139 impls, 0 clqs
0.29/0.39 c (round 3) 1629 del vars, 3919 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 4975 upgd conss, 17139 impls, 0 clqs
0.39/0.41 c (round 4) 1629 del vars, 3919 del conss, 94 chg bounds, 2 chg sides, 2 chg coeffs, 5003 upgd conss, 17139 impls, 0 clqs
0.39/0.48 c (0.3s) probing: 101/1558 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.48 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.48 c presolving (5 rounds):
0.39/0.48 c 1629 deleted vars, 3919 deleted constraints, 94 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.39/0.48 c 17139 implications, 0 cliques
0.39/0.48 c presolved problem has 1558 variables (1558 bin, 0 int, 0 impl, 0 cont) and 5003 constraints
0.39/0.48 c 5003 constraints of type <logicor>
0.39/0.48 c transformed objective value is always integral (scale: 1)
0.39/0.48 c Presolving Time: 0.24
0.39/0.48 c - non default parameters ----------------------------------------------------------------------
0.39/0.48 c # SCIP version 1.2.1.2
0.39/0.48 c
0.39/0.48 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c conflict/interconss = 0
0.39/0.48 c
0.39/0.48 c # should binary conflicts be preferred?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c conflict/preferbinary = TRUE
0.39/0.48 c
0.39/0.48 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c constraints/agelimit = 1
0.39/0.48 c
0.39/0.48 c # should enforcement of pseudo solution be disabled?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/disableenfops = TRUE
0.39/0.48 c
0.39/0.48 c # frequency for displaying node information lines
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.48 c display/freq = 10000
0.39/0.48 c
0.39/0.48 c # maximal time in seconds to run
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/time = 1799.84
0.39/0.48 c
0.39/0.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/memory = 1620
0.39/0.48 c
0.39/0.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c lp/solvefreq = -1
0.39/0.48 c
0.39/0.48 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.48 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.48 c lp/pricing = a
0.39/0.48 c
0.39/0.48 c # should presolving try to simplify inequalities
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/linear/simplifyinequalities = TRUE
0.39/0.48 c
0.39/0.48 c # should presolving try to simplify knapsacks
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.48 c
0.39/0.48 c # priority of node selection rule <dfs> in standard mode
0.39/0.48 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.48 c nodeselection/dfs/stdpriority = 1000000
0.39/0.48 c
0.39/0.48 c -----------------------------------------------------------------------------------------------
0.39/0.48 c start solving
0.39/0.48 c
0.39/0.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.48 c 0.3s| 1 | 2 | 0 | - | 11M| 0 | - |1558 |5003 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
0.59/0.68 o 31
0.59/0.68 c * 0.5s| 765 | 754 | 0 | 0.0 | 12M| 764 | - |1558 |5003 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
0.59/0.69 o 30
0.59/0.69 c * 0.5s| 788 | 752 | 0 | 0.0 | 12M| 765 | - |1558 |5003 | 0 | 0 | 0 | 5 | 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
5.49/5.51 c 5.1s| 10000 | 733 | 0 | 0.0 | 12M| 765 | - |1558 |5009 | 0 | 0 | 0 |5553 | 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
10.68/10.70 c 10.0s| 20000 | 735 | 0 | 0.0 | 12M| 765 | - |1558 |5013 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
15.79/15.81 c 14.9s| 30000 | 738 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
16.19/16.26 o 29
16.19/16.26 c *15.3s| 30906 | 737 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
20.99/21.07 c 19.9s| 40000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
26.18/26.29 c 24.9s| 50000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5011 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
31.38/31.40 c 29.7s| 60000 | 730 | 0 | 0.0 | 12M| 765 | - |1558 |5008 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
36.48/36.51 c 34.6s| 70000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5020 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
41.68/41.79 c 39.6s| 80000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
46.88/46.99 c 44.5s| 90000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
51.97/52.06 c 49.4s|100000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5013 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
57.27/57.35 c 54.4s|110000 | 727 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
62.36/62.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.36/62.44 c 59.2s|120000 | 728 | 0 | 0.0 | 12M| 765 | - |1558 |5025 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
67.97/68.01 c 64.5s|130000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5006 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
72.96/73.08 c 69.3s|140000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5009 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
78.07/78.16 c 74.2s|150000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5020 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
83.26/83.35 c 79.1s|160000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5012 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
88.46/88.59 c 84.0s|170000 | 730 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
93.86/93.96 c 89.2s|180000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5012 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
99.26/99.35 c 94.3s|190000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5008 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
104.36/104.40 c 99.1s|200000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5015 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
109.65/109.80 c 104s|210000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
115.36/115.50 c 110s|220000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
120.95/121.09 c 115s|230000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
126.65/126.70 c 120s|240000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5008 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
131.95/132.06 c 125s|250000 | 728 | 0 | 0.0 | 12M| 765 | - |1558 |5013 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
137.74/137.85 c 131s|260000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5006 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
143.24/143.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.24/143.38 c 136s|270000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
148.83/148.98 c 142s|280000 | 727 | 0 | 0.0 | 12M| 765 | - |1558 |5012 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
154.54/154.62 c 147s|290000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5004 | 0 | 0 | 0 | 175k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
160.04/160.18 c 152s|300000 | 734 | 0 | 0.0 | 12M| 765 | - |1558 |5005 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
165.33/165.49 c 157s|310000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5006 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
170.73/170.82 c 162s|320000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5016 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
176.33/176.49 c 168s|330000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
181.82/181.95 c 173s|340000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
187.32/187.45 c 178s|350000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
192.92/193.08 c 183s|360000 | 727 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
198.82/198.99 c 189s|370000 | 732 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
204.61/204.72 c 195s|380000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
209.81/209.96 c 200s|390000 | 722 | 0 | 0.0 | 12M| 765 | - |1558 |5011 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
215.01/215.13 c 204s|400000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
220.21/220.31 c 209s|410000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
225.81/225.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.81/225.90 c 215s|420000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
231.21/231.30 c 220s|430000 | 722 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
236.91/237.03 c 225s|440000 | 722 | 0 | 0.0 | 12M| 765 | - |1558 |5031 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
242.30/242.40 c 230s|450000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
247.80/248.00 c 236s|460000 | 728 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
253.30/253.47 c 241s|470000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5004 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
259.09/259.22 c 246s|480000 | 732 | 0 | 0.0 | 12M| 765 | - |1558 |5008 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
264.79/264.94 c 252s|490000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
270.59/270.71 c 257s|500000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5020 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
276.29/276.44 c 263s|510000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
281.98/282.16 c 268s|520000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
287.79/287.98 c 274s|530000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5044 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
293.38/293.52 c 279s|540000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
298.98/299.20 c 284s|550000 | 720 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
304.59/304.71 c 290s|560000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5042 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
309.88/310.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.88/310.09 c 295s|570000 | 719 | 0 | 0.0 | 12M| 765 | - |1558 |5049 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
315.48/315.66 c 300s|580000 | 728 | 0 | 0.0 | 12M| 765 | - |1558 |5014 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
321.37/321.51 c 306s|590000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
327.17/327.30 c 311s|600000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
332.67/332.87 c 316s|610000 | 720 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
338.57/338.80 c 322s|620000 | 722 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
344.56/344.71 c 328s|630000 | 718 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
350.16/350.36 c 333s|640000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5009 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
355.86/356.08 c 339s|650000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
361.66/361.82 c 344s|660000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
367.45/367.62 c 350s|670000 | 720 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
373.25/373.43 c 355s|680000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
378.95/379.18 c 361s|690000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
384.95/385.13 c 366s|700000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
390.36/390.57 c 371s|710000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
396.14/396.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.14/396.37 c 377s|720000 | 731 | 0 | 0.0 | 12M| 765 | - |1558 |5011 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
401.94/402.18 c 382s|730000 | 720 | 0 | 0.0 | 12M| 765 | - |1558 |5021 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
407.84/408.09 c 388s|740000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
413.84/414.05 c 394s|750000 | 720 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
419.74/419.96 c 399s|760000 | 718 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
425.73/425.98 c 405s|770000 | 728 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
431.92/432.13 c 411s|780000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
437.43/437.66 c 416s|790000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5047 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
443.03/443.24 c 422s|800000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5025 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
448.83/449.02 c 427s|810000 | 720 | 0 | 0.0 | 12M| 765 | - |1558 |5055 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
454.42/454.69 c 432s|820000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5048 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
460.02/460.20 c 438s|830000 | 717 | 0 | 0.0 | 12M| 765 | - |1558 |5048 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
465.51/465.72 c 443s|840000 | 722 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
470.91/471.14 c 448s|850000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
476.31/476.55 c 453s|860000 | 724 | 0 | 0.0 | 12M| 765 | - |1558 |5021 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
481.90/482.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.90/482.17 c 459s|870000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5031 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
487.61/487.85 c 464s|880000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5019 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
493.40/493.65 c 470s|890000 | 714 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
499.21/499.42 c 475s|900000 | 718 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
504.99/505.25 c 481s|910000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
510.69/510.97 c 486s|920000 | 727 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
516.70/516.94 c 492s|930000 | 721 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
522.49/522.75 c 497s|940000 | 726 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
528.29/528.59 c 503s|950000 | 727 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
533.89/534.18 c 508s|960000 | 728 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
539.58/539.89 c 513s|970000 | 725 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
545.29/545.59 c 519s|980000 | 723 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
550.89/551.17 c 524s|990000 | 729 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
556.78/557.03 c 530s| 1000k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
562.18/562.42 c 535s| 1010k| 729 | 0 | 0.0 | 12M| 765 | - |1558 |5015 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
567.57/567.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.57/567.87 c 540s| 1020k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5016 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
572.88/573.14 c 545s| 1030k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
578.67/578.92 c 551s| 1040k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
584.37/584.66 c 556s| 1050k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
589.97/590.22 c 561s| 1060k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
595.56/595.84 c 567s| 1070k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5015 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
601.26/601.51 c 572s| 1080k| 731 | 0 | 0.0 | 12M| 765 | - |1558 |5019 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
607.16/607.49 c 578s| 1090k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
612.85/613.12 c 583s| 1100k| 729 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
618.86/619.14 c 589s| 1110k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
625.16/625.49 c 595s| 1120k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
631.25/631.53 c 601s| 1130k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
637.15/637.42 c 606s| 1140k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
643.16/643.47 c 612s| 1150k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
648.85/649.14 c 617s| 1160k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
654.54/654.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.54/654.85 c 623s| 1170k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
660.44/660.79 c 628s| 1180k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
666.34/666.62 c 634s| 1190k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
672.03/672.39 c 639s| 1200k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
677.93/678.26 c 645s| 1210k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
683.83/684.18 c 651s| 1220k| 729 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
690.03/690.33 c 657s| 1230k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5034 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
695.32/695.68 c 662s| 1240k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
700.63/700.99 c 667s| 1250k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5052 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
706.12/706.47 c 672s| 1260k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
711.82/712.16 c 677s| 1270k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
717.62/717.96 c 683s| 1280k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
723.22/723.50 c 688s| 1290k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5012 | 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
728.81/729.11 c 693s| 1300k| 714 | 0 | 0.0 | 12M| 765 | - |1558 |5038 | 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
734.02/734.32 c 698s| 1310k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
739.51/739.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.51/739.85 c 704s| 1320k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5009 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
744.90/745.25 c 709s| 1330k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
750.61/750.90 c 714s| 1340k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
756.41/756.80 c 720s| 1350k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5021 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
762.30/762.61 c 725s| 1360k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
768.00/768.34 c 731s| 1370k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 | 826k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
774.00/774.30 c 736s| 1380k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
779.69/780.01 c 742s| 1390k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
785.19/785.55 c 747s| 1400k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
791.09/791.47 c 753s| 1410k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5042 | 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
796.89/797.21 c 758s| 1420k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
802.38/802.79 c 763s| 1430k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
808.38/808.79 c 769s| 1440k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
814.17/814.60 c 775s| 1450k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5043 | 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
819.78/820.11 c 780s| 1460k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5034 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
825.47/825.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.47/825.85 c 785s| 1470k| 715 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
831.37/831.77 c 791s| 1480k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
837.06/837.46 c 796s| 1490k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
842.76/843.12 c 802s| 1500k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5014 | 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
847.97/848.38 c 807s| 1510k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
853.76/854.11 c 812s| 1520k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5015 | 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
859.46/859.83 c 818s| 1530k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5009 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
865.46/865.81 c 823s| 1540k| 729 | 0 | 0.0 | 12M| 765 | - |1558 |5005 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
871.25/871.65 c 829s| 1550k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
877.15/877.52 c 835s| 1560k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
883.15/883.50 c 840s| 1570k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
889.05/889.45 c 846s| 1580k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5012 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
894.85/895.29 c 852s| 1590k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
900.84/901.25 c 857s| 1600k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 | 966k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
906.74/907.13 c 863s| 1610k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5043 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
912.84/913.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.84/913.20 c 869s| 1620k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5047 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
918.74/919.12 c 874s| 1630k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
924.44/924.86 c 880s| 1640k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
930.43/930.89 c 885s| 1650k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
936.63/937.03 c 891s| 1660k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5025 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
942.42/942.83 c 897s| 1670k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1009k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
947.93/948.34 c 902s| 1680k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
953.42/953.85 c 907s| 1690k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5048 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
959.02/959.50 c 913s| 1700k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
964.91/965.39 c 918s| 1710k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5046 | 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
970.72/971.11 c 924s| 1720k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
976.51/976.91 c 929s| 1730k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 |1046k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
982.12/982.60 c 935s| 1740k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5042 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
988.01/988.42 c 940s| 1750k| 730 | 0 | 0.0 | 12M| 765 | - |1558 |5005 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
993.91/994.34 c 946s| 1760k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1000.20/1000.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.20/1000.67 c 952s| 1770k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5007 | 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1006.11/1006.58 c 958s| 1780k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5020 | 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1011.61/1012.06 c 963s| 1790k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 |1082k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1017.20/1017.66 c 968s| 1800k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1022.89/1023.40 c 974s| 1810k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5011 | 0 | 0 | 0 |1094k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1028.80/1029.27 c 979s| 1820k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1034.40/1034.84 c 985s| 1830k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5019 | 0 | 0 | 0 |1107k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1039.99/1040.43 c 990s| 1840k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5021 | 0 | 0 | 0 |1113k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1045.79/1046.26 c 995s| 1850k| 729 | 0 | 0.0 | 12M| 765 | - |1558 |5013 | 0 | 0 | 0 |1120k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1051.79/1052.24 c 1001s| 1860k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5009 | 0 | 0 | 0 |1126k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1057.89/1058.35 c 1007s| 1870k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5045 | 0 | 0 | 0 |1132k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1063.99/1064.46 c 1013s| 1880k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5025 | 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1069.68/1070.11 c 1018s| 1890k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 |1145k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1075.38/1075.85 c 1024s| 1900k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1081.07/1081.55 c 1029s| 1910k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 |1157k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1087.17/1087.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.17/1087.68 c 1035s| 1920k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5019 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1092.98/1093.43 c 1040s| 1930k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5034 | 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1098.77/1099.26 c 1046s| 1940k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5011 | 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1104.57/1105.01 c 1051s| 1950k| 732 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 |1181k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1110.36/1110.86 c 1057s| 1960k| 729 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1116.56/1117.03 c 1063s| 1970k| 715 | 0 | 0.0 | 12M| 765 | - |1558 |5012 | 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1122.76/1123.24 c 1069s| 1980k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 |1201k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1129.16/1129.65 c 1075s| 1990k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 |1207k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1135.55/1136.08 c 1081s| 2000k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1213k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1142.05/1142.55 c 1087s| 2010k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1219k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1147.96/1148.42 c 1093s| 2020k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1225k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1154.24/1154.72 c 1099s| 2030k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5054 | 0 | 0 | 0 |1232k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1160.25/1160.75 c 1104s| 2040k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 |1238k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1166.04/1166.53 c 1110s| 2050k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 |1244k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1171.94/1172.48 c 1116s| 2060k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5018 | 0 | 0 | 0 |1250k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1177.64/1178.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.64/1178.18 c 1121s| 2070k| 730 | 0 | 0.0 | 12M| 765 | - |1558 |5011 | 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1183.24/1183.72 c 1126s| 2080k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1263k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1189.24/1189.77 c 1132s| 2090k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1195.03/1195.55 c 1138s| 2100k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5038 | 0 | 0 | 0 |1275k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1200.83/1201.35 c 1143s| 2110k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 |1281k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1206.53/1207.07 c 1149s| 2120k| 715 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1287k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1212.12/1212.64 c 1154s| 2130k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 |1293k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1217.93/1218.41 c 1159s| 2140k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1299k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1224.12/1224.61 c 1165s| 2150k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 |1305k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1230.22/1230.78 c 1171s| 2160k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5015 | 0 | 0 | 0 |1312k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1236.51/1237.03 c 1177s| 2170k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 |1318k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1242.11/1242.67 c 1183s| 2180k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1324k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1248.02/1248.56 c 1188s| 2190k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1330k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1253.70/1254.24 c 1194s| 2200k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5010 | 0 | 0 | 0 |1336k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1259.50/1260.08 c 1199s| 2210k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1343k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1265.30/1265.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.30/1265.89 c 1205s| 2220k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1349k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1271.60/1272.18 c 1211s| 2230k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 |1355k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1277.80/1278.34 c 1216s| 2240k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1283.90/1284.47 c 1222s| 2250k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1368k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1289.89/1290.44 c 1228s| 2260k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1374k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1295.69/1296.24 c 1234s| 2270k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5061 | 0 | 0 | 0 |1380k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1301.59/1302.10 c 1239s| 2280k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5047 | 0 | 0 | 0 |1386k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1307.49/1308.02 c 1245s| 2290k| 730 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1313.38/1313.97 c 1250s| 2300k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1319.08/1319.62 c 1256s| 2310k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 |1404k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1324.58/1325.15 c 1261s| 2320k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5049 | 0 | 0 | 0 |1411k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1329.78/1330.38 c 1266s| 2330k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 |1416k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1335.58/1336.11 c 1271s| 2340k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1422k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1341.18/1341.72 c 1277s| 2350k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 |1428k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1346.98/1347.59 c 1282s| 2360k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1434k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1352.57/1353.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1352.57/1353.15 c 1288s| 2370k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5055 | 0 | 0 | 0 |1440k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1358.47/1359.03 c 1293s| 2380k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 |1446k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1364.17/1364.78 c 1299s| 2390k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5053 | 0 | 0 | 0 |1452k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1370.16/1370.75 c 1304s| 2400k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5060 | 0 | 0 | 0 |1458k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1376.26/1376.82 c 1310s| 2410k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1464k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1382.17/1382.72 c 1316s| 2420k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5047 | 0 | 0 | 0 |1470k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1388.06/1388.65 c 1322s| 2430k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 |1476k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1394.16/1394.72 c 1327s| 2440k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 |1483k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1400.05/1400.69 c 1333s| 2450k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5044 | 0 | 0 | 0 |1489k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1406.15/1406.74 c 1339s| 2460k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 |1495k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1412.05/1412.68 c 1344s| 2470k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 |1502k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1418.35/1418.95 c 1350s| 2480k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5049 | 0 | 0 | 0 |1508k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1424.44/1425.09 c 1356s| 2490k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5056 | 0 | 0 | 0 |1514k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1430.64/1431.26 c 1362s| 2500k| 713 | 0 | 0.0 | 12M| 765 | - |1558 |5074 | 0 | 0 | 0 |1520k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1436.44/1437.05 c 1368s| 2510k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5038 | 0 | 0 | 0 |1526k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1442.14/1442.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.14/1442.71 c 1373s| 2520k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 |1532k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1448.05/1448.64 c 1379s| 2530k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5045 | 0 | 0 | 0 |1538k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1453.64/1454.26 c 1384s| 2540k| 714 | 0 | 0.0 | 12M| 765 | - |1558 |5039 | 0 | 0 | 0 |1544k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1459.53/1460.14 c 1390s| 2550k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5047 | 0 | 0 | 0 |1550k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1465.43/1466.01 c 1395s| 2560k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 |1556k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1471.14/1471.80 c 1401s| 2570k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1562k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1477.03/1477.68 c 1406s| 2580k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5015 | 0 | 0 | 0 |1568k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1482.52/1483.10 c 1412s| 2590k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5022 | 0 | 0 | 0 |1574k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1488.22/1488.82 c 1417s| 2600k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1581k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1494.33/1494.99 c 1423s| 2610k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5024 | 0 | 0 | 0 |1587k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1500.21/1500.89 c 1429s| 2620k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5025 | 0 | 0 | 0 |1593k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1506.51/1507.11 c 1434s| 2630k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1599k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1512.51/1513.17 c 1440s| 2640k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1606k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1518.52/1519.17 c 1446s| 2650k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1612k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1524.30/1524.94 c 1451s| 2660k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5034 | 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1530.40/1531.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.40/1531.07 c 1457s| 2670k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5045 | 0 | 0 | 0 |1625k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1536.30/1536.97 c 1463s| 2680k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1631k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1542.10/1542.75 c 1468s| 2690k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1637k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1548.00/1548.66 c 1474s| 2700k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5021 | 0 | 0 | 0 |1644k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1553.50/1554.18 c 1479s| 2710k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1650k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1559.20/1559.89 c 1485s| 2720k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 |1656k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1564.69/1565.35 c 1490s| 2730k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5043 | 0 | 0 | 0 |1662k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1570.49/1571.19 c 1496s| 2740k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1668k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1575.98/1576.61 c 1501s| 2750k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5026 | 0 | 0 | 0 |1674k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1581.69/1582.38 c 1506s| 2760k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1680k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1587.48/1588.17 c 1512s| 2770k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5039 | 0 | 0 | 0 |1686k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1592.98/1593.70 c 1517s| 2780k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 |1692k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1598.78/1599.47 c 1522s| 2790k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1699k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1604.67/1605.39 c 1528s| 2800k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5023 | 0 | 0 | 0 |1705k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1610.57/1611.20 c 1534s| 2810k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5032 | 0 | 0 | 0 |1711k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1616.57/1617.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.57/1617.21 c 1539s| 2820k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1718k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1622.57/1623.21 c 1545s| 2830k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5046 | 0 | 0 | 0 |1724k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1628.17/1628.88 c 1551s| 2840k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5046 | 0 | 0 | 0 |1729k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1633.98/1634.69 c 1556s| 2850k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5049 | 0 | 0 | 0 |1735k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1639.97/1640.66 c 1562s| 2860k| 727 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 |1741k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1645.76/1646.46 c 1567s| 2870k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 |1747k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1651.86/1652.56 c 1573s| 2880k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5038 | 0 | 0 | 0 |1754k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1657.46/1658.15 c 1578s| 2890k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5039 | 0 | 0 | 0 |1760k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1662.85/1663.52 c 1583s| 2900k| 717 | 0 | 0.0 | 12M| 765 | - |1558 |5038 | 0 | 0 | 0 |1766k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1668.65/1669.31 c 1589s| 2910k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 |1772k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1674.25/1674.99 c 1594s| 2920k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5041 | 0 | 0 | 0 |1778k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1679.94/1680.69 c 1600s| 2930k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 |1784k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1685.65/1686.40 c 1605s| 2940k| 715 | 0 | 0.0 | 12M| 765 | - |1558 |5053 | 0 | 0 | 0 |1790k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1691.64/1692.30 c 1611s| 2950k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5045 | 0 | 0 | 0 |1796k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1697.14/1697.84 c 1616s| 2960k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1802k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1702.84/1703.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.84/1703.50 c 1621s| 2970k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5034 | 0 | 0 | 0 |1808k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1708.94/1709.66 c 1627s| 2980k| 730 | 0 | 0.0 | 12M| 765 | - |1558 |5029 | 0 | 0 | 0 |1815k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1715.13/1715.85 c 1633s| 2990k| 725 | 0 | 0.0 | 12M| 765 | - |1558 |5027 | 0 | 0 | 0 |1821k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1721.83/1722.50 c 1640s| 3000k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5034 | 0 | 0 | 0 |1827k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1727.93/1728.66 c 1645s| 3010k| 724 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 |1834k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1734.04/1734.80 c 1651s| 3020k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5036 | 0 | 0 | 0 |1840k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1739.92/1740.61 c 1657s| 3030k| 728 | 0 | 0.0 | 12M| 765 | - |1558 |5028 | 0 | 0 | 0 |1846k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1746.13/1746.82 c 1663s| 3040k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5044 | 0 | 0 | 0 |1852k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1752.22/1752.98 c 1669s| 3050k| 718 | 0 | 0.0 | 12M| 765 | - |1558 |5040 | 0 | 0 | 0 |1858k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1758.62/1759.35 c 1675s| 3060k| 720 | 0 | 0.0 | 12M| 765 | - |1558 |5033 | 0 | 0 | 0 |1864k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1765.11/1765.83 c 1681s| 3070k| 722 | 0 | 0.0 | 12M| 765 | - |1558 |5042 | 0 | 0 | 0 |1870k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1771.32/1772.08 c 1687s| 3080k| 716 | 0 | 0.0 | 12M| 765 | - |1558 |5037 | 0 | 0 | 0 |1876k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1777.11/1777.89 c 1692s| 3090k| 726 | 0 | 0.0 | 12M| 765 | - |1558 |5017 | 0 | 0 | 0 |1882k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1782.90/1783.68 c 1698s| 3100k| 723 | 0 | 0.0 | 12M| 765 | - |1558 |5030 | 0 | 0 | 0 |1888k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1788.71/1789.43 c 1703s| 3110k| 719 | 0 | 0.0 | 12M| 765 | - |1558 |5043 | 0 | 0 | 0 |1893k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1794.71/1795.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.71/1795.49 c 1709s| 3120k| 721 | 0 | 0.0 | 12M| 765 | - |1558 |5035 | 0 | 0 | 0 |1900k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1714.15
1800.02/1800.71 c Solving Nodes : 3128558
1800.02/1800.71 c Primal Bound : +2.90000000000000e+01 (3 solutions)
1800.02/1800.71 c Dual Bound : +1.00000000000000e+00
1800.02/1800.71 c Gap : 2800.00 %
1800.02/1800.72 s SATISFIABLE
1800.02/1800.72 v x136 x135 x3186 x134 x3184 -x3182 -x133 -x3180 -x132 -x3178 -x3176 -x3174 -x131 -x3172 -x3170 x3168 -x3166 -x3164 x3162 -x3160
1800.02/1800.72 v -x3158 -x3156 -x3154 x130 x3152 x3150 -x3148 x129 -x3146 x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x128 -x3128
1800.02/1800.72 v -x3126 -x3124 -x127 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x126 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x125
1800.02/1800.72 v -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x124 -x3068 x123 x3066 -x3064
1800.02/1800.72 v -x3062 -x122 -x3060 -x3058 -x3056 -x121 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x120 -x3040 -x3038 -x3036 -x119 -x3034
1800.02/1800.72 v -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x118 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x117 -x3006 -x3004 -x3002
1800.02/1800.72 v -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x116 -x2976 -x2974 x2972 x115 -x2970
1800.02/1800.72 v -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x114 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x113 -x2942 -x2940 -x2938
1800.02/1800.72 v -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x112 -x2912 -x2910 -x2908 -x2906 -x2904
1800.02/1800.72 v -x2902 -x2900 -x111 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870
1800.02/1800.72 v -x110 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x109 -x2838
1800.02/1800.72 v -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802
1800.02/1800.72 v -x2800 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x108 -x2783 -x107 -x2781 -x2779 -x2777 x106 x2775 -x2773 -x2771 -x105
1800.02/1800.72 v -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x104 -x2755 -x2753 -x103 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739
1800.02/1800.72 v -x102 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x101 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707
1800.02/1800.72 v -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x100 -x2693 -x2691 -x2689 -x99 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x98
1800.02/1800.72 v -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x97 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641
1800.02/1800.72 v -x2639 -x2637 -x2635 -x2633 -x96 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x95 -x2617 -x2615 -x2613 -x2611 -x2609
1800.02/1800.72 v -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x94 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573
1800.02/1800.72 v -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x93 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539
1800.02/1800.72 v -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503
1800.02/1800.72 v -x2501 -x2499 -x92 -x2497 -x2495 -x2493 -x91 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x90 -x2477 -x2475 -x2473
1800.02/1800.72 v -x2471 -x2469 -x2467 x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437
1800.02/1800.72 v -x2435 -x89 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x88 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403
1800.02/1800.72 v -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x87 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369
1800.02/1800.72 v -x2367 -x2365 -x2363 -x2361 -x86 -x2359 -x2357 -x2355 x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335
1800.02/1800.72 v -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299
1800.02/1800.72 v -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x85 -x2283 -x84 -x2281 -x2279 -x2277 -x83 -x2275 -x2273 -x2271 -x82 -x2269
1800.02/1800.72 v -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x81 -x2255 -x2253 -x2251 -x80 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237
1800.02/1800.72 v -x79 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x78 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203
1800.02/1800.72 v -x2201 -x2199 -x2197 -x2195 -x2193 -x77 -x2191 -x2189 -x2187 -x76 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x75 -x2171
1800.02/1800.72 v -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x74 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137
1800.02/1800.72 v -x2135 -x2133 -x2131 -x2129 -x73 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x72 -x2113 -x2111 -x2109 -x2107 -x2105
1800.02/1800.72 v -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x71 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071
1800.02/1800.72 v -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x70 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037
1800.02/1800.72 v -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001
1800.02/1800.72 v -x1999 -x1997 -x1995 -x1993 -x69 -x1991 -x1989 x1987 x68 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x67 -x1971 -x1969
1800.02/1800.72 v -x1967 -x1965 -x1963 -x1961 -x1959 -x66 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 x1943 -x1941 -x1939 -x1937 -x1935 -x1933
1800.02/1800.72 v -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x65 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899
1800.02/1800.72 v -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x64 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865
1800.02/1800.72 v -x1863 -x1861 -x1859 -x1857 -x1855 -x63 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831
1800.02/1800.72 v -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795
1800.02/1800.72 v -x1793 -x62 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x61 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763
1800.02/1800.72 v -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x60 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729
1800.02/1800.72 v -x1727 -x1725 -x1723 -x1721 x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693
1800.02/1800.72 v -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657
1800.02/1800.72 v -x59 -x1655 -x1653 -x1651 -x1649 -x1647 x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621
1800.02/1800.72 v -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587
1800.02/1800.72 v -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x58 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551
1800.02/1800.72 v -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1516
1800.02/1800.72 v -x1514 -x1512 -x1510 -x1508 -x1506 -x57 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480
1800.02/1800.72 v -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446
1800.02/1800.72 v -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410
1800.02/1800.72 v x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374
1800.02/1800.72 v -x56 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x55 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x54 -x1344 -x1342
1800.02/1800.72 v -x1340 -x1338 -x1336 -x1334 -x1332 -x53 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308
1800.02/1800.72 v -x1306 -x1304 -x1302 -x52 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x51 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274
1800.02/1800.72 v -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x50 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x49 -x1242
1800.02/1800.72 v -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 x48 x1210 -x1208 -x1206
1800.02/1800.72 v x47 x1204 -x1202 -x1200 -x46 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x45 -x1184 -x1182 -x1180 -x44 -x1178 -x1176
1800.02/1800.72 v -x1174 -x1172 -x1170 -x1168 -x1166 -x43 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x42 -x1150 -x1148 -x41 -x1146 -x1144
1800.02/1800.72 v -x1142 -x1140 -x1138 -x1136 -x1134 -x40 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x39 -x1118 -x1116 -x1114 -x1112
1800.02/1800.72 v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x38 -x1088 -x1086 -x1084 -x37 -x1082 -x1080
1800.02/1800.72 v -x1078 -x1076 -x1074 -x1072 -x1070 -x36 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x35 -x1054 -x1052 -x1050 -x1048 -x1046
1800.02/1800.72 v -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x34 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012
1800.02/1800.72 v -x33 -x1010 -x1008 -x1006 -x1004 x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x32
1800.02/1800.72 v -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x31 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x30 -x946 x944 -x942 -x940 -x938 -x936
1800.02/1800.72 v -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x29 -x902 -x900 -x898 -x896
1800.02/1800.72 v -x894 -x892 -x890 -x888 -x886 -x884 -x882 x880 -x878 -x876 -x874 -x872 -x870 x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854
1800.02/1800.72 v -x28 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x27 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816
1800.02/1800.72 v -x814 -x812 -x810 -x26 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x25 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778
1800.02/1800.72 v -x776 -x774 x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x24 -x750 -x748 -x746 -x744 -x742 -x740 -x738
1800.02/1800.72 v -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x23 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698
1800.02/1800.72 v -x696 -x694 -x692 -x22 -x690 -x688 -x686 -x684 -x682 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657
1800.02/1800.72 v -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x21
1800.02/1800.72 v -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x20 -x585 -x583 -x581 -x579 -x577
1800.02/1800.72 v -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x19 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537
1800.02/1800.72 v -x535 -x533 -x531 -x529 -x527 x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495
1800.02/1800.72 v -x493 -x18 -x491 -x489 -x487 -x17 -x485 -x483 -x481 -x16 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x15 -x465 -x463 -x461 -x14
1800.02/1800.72 v -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x13 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x12 -x431 -x429 -x427 -x425 -x423
1800.02/1800.72 v -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x11 -x401 -x399 -x397 -x10 -x395 -x393 -x391 -x389 -x387 -x385
1800.02/1800.72 v -x383 -x9 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x8 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345
1800.02/1800.72 v -x343 -x341 -x339 -x7 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x6 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307
1800.02/1800.72 v -x305 -x303 -x301 -x299 -x297 -x295 -x5 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265
1800.02/1800.72 v -x4 -x263 -x261 x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225
1800.02/1800.72 v -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x3 -x195 -x193 -x191 -x189 -x187 -x185
1800.02/1800.72 v -x183 -x2 -x181 -x179 -x177 -x175 -x173 -x171 -x169 -x1 -x167 x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145
1800.02/1800.72 v -x143 -x141 -x139 -x137 x3187 x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 x3169 -x3167 -x3165 x3163 -x3161 -x3159
1800.02/1800.72 v -x3157 -x3155 x3153 x3151 -x3149 -x3147 x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123
1800.02/1800.72 v -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087
1800.02/1800.72 v -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051
1800.02/1800.72 v -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015
1800.02/1800.72 v -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979
1800.02/1800.72 v -x2977 -x2975 x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943
1800.02/1800.72 v -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907
1800.02/1800.72 v -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873
1800.02/1800.72 v -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837
1800.02/1800.72 v -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801
1800.02/1800.72 v -x2799 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 x2776 -x2774 -x2772 -x2770 -x2768 -x2766
1800.02/1800.72 v -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730
1800.02/1800.72 v -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694
1800.02/1800.72 v -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658
1800.02/1800.72 v -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622
1800.02/1800.72 v -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588
1800.02/1800.72 v -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552
1800.02/1800.72 v -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516
1800.02/1800.72 v -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480
1800.02/1800.72 v -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444
1800.02/1800.72 v -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408
1800.02/1800.72 v -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372
1800.02/1800.72 v -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336
1800.02/1800.72 v -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300
1800.02/1800.72 v -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266
1800.02/1800.72 v -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230
1800.02/1800.72 v -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194
1800.02/1800.72 v -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158
1800.02/1800.72 v -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122
1800.02/1800.72 v -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086
1800.02/1800.72 v -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050
1800.02/1800.72 v -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016
1800.02/1800.72 v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 x1988 -x1986 -x1984 -x1982 -x1980
1800.02/1800.72 v -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 x1944
1800.02/1800.72 v -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908
1800.02/1800.72 v -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872
1800.02/1800.72 v -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836
1800.02/1800.72 v -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800
1800.02/1800.72 v -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764
1800.02/1800.72 v -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728
1800.02/1800.72 v -x1726 -x1724 -x1722 x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692
1800.02/1800.72 v -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658
1800.02/1800.72 v -x1656 -x1654 -x1652 -x1650 -x1648 x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622
1800.02/1800.72 v -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586
1800.02/1800.72 v -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550
1800.02/1800.72 v -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1517 -x1515
1800.02/1800.72 v -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479
1800.02/1800.72 v -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443
1800.02/1800.72 v -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 x1409 -x1407
1800.02/1800.72 v -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371
1800.02/1800.72 v -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337
1800.02/1800.72 v -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301
1800.02/1800.72 v -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265
1800.02/1800.72 v -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 x1229
1800.02/1800.72 v -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 x1211 -x1209 -x1207 x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193
1800.02/1800.72 v -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157
1800.02/1800.72 v -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121
1800.02/1800.72 v -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085
1800.02/1800.72 v -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049
1800.02/1800.72 v -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013
1800.02/1800.72 v -x1011 -x1009 -x1007 -x1005 x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975
1800.02/1800.72 v -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 x945 -x943 -x941 -x939 -x937 -x935 -x933
1800.02/1800.72 v -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891
1800.02/1800.72 v -x889 -x887 -x885 -x883 x881 -x879 -x877 -x875 -x873 -x871 x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849
1800.02/1800.72 v -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807
1800.02/1800.72 v -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 x773 -x771 -x769 -x767 -x765
1800.02/1800.72 v -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723
1800.02/1800.72 v -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681
1800.02/1800.72 v -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 x640
1800.02/1800.72 v -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598
1800.02/1800.72 v -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556
1800.02/1800.72 v -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 x526 -x524 -x522 -x520 -x518 -x516 -x514
1800.02/1800.72 v -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474
1800.02/1800.72 v -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432
1800.02/1800.72 v -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390
1800.02/1800.72 v -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348
1800.02/1800.72 v -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306
1800.02/1800.72 v -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264
1800.02/1800.72 v -x262 x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222
1800.02/1800.72 v -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182
1800.02/1800.72 v -x180 -x178 -x176 -x174 -x172 -x170 -x168 x166 -x164 -x162 -x160 -x158 -x156 -x154 -x152 -x150 -x148 -x146 -x144 -x142 -x140
1800.02/1800.72 v -x138
1800.02/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.72 c Solving Time : 1714.15
1800.02/1800.72 c Original Problem :
1800.02/1800.72 c Problem name : HOME/instance-2663942-1276636119.opb
1800.02/1800.72 c Variables : 3187 (3187 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 8922 initial, 8922 maximal
1800.02/1800.72 c Presolved Problem :
1800.02/1800.72 c Problem name : t_HOME/instance-2663942-1276636119.opb
1800.02/1800.72 c Variables : 1558 (1558 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 5003 initial, 5085 maximal
1800.02/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c implics : 0.00 0 9 0 0 0 0 0 0
1800.02/1800.72 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.72 c linear : 0.11 94 1526 0 94 0 3919 2 2
1800.02/1800.72 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.02/1800.72 c root node : - 0 - - 0 - - - -
1800.02/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.73 c logicor : 5003+ 0 9465782 0 3 1275184 14720014 0 0 0
1800.02/1800.73 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.02/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.73 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.73 c logicor : 456.10 0.00 456.10 0.00 0.00
1800.02/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.73 c vbounds : 5.98 2 0 0
1800.02/1800.73 c rootredcost : 5.84 0 0 0
1800.02/1800.73 c pseudoobj : 887.76 13309464 620024 20212400
1800.02/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.73 c propagation : 434.64 1895208 1895208 1895208 89.9 9269 83.1 -
1800.02/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c pseudo solution : 0.68 1351 1351 1351 76.6 31 83.5 -
1800.02/1800.73 c applied globally : - - - 1885915 89.1 - - -
1800.02/1800.73 c applied locally : - - - 19915 162.0 - - -
1800.02/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.73 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.73 c redcost : 0.00 0 0 0 0 0
1800.02/1800.73 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.73 c intobj : 0.00 0 0 0 0 0
1800.02/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.73 c gomory : 0.00 0 0 0 0 0
1800.02/1800.73 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.73 c cmir : 0.00 0 0 0 0 0
1800.02/1800.73 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.73 c clique : 0.00 0 0 0 0 0
1800.02/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.73 c mcf : 0.00 0 0 0 0 0
1800.02/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.73 c Pricers : Time Calls Vars
1800.02/1800.73 c problem variables: 0.00 0 0
1800.02/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.73 c inference : 57.18 2274923 0 0 0 0 4549846
1800.02/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c random : 0.00 0 0 0 0 0 0
1800.02/1800.73 c Primal Heuristics : Time Calls Found
1800.02/1800.73 c LP solutions : 0.00 - 0
1800.02/1800.73 c pseudo solutions : 0.00 - 3
1800.02/1800.73 c oneopt : 2.24 0 0
1800.02/1800.73 c trivial : 0.02 2 0
1800.02/1800.73 c simplerounding : 0.00 0 0
1800.02/1800.73 c zirounding : 0.00 0 0
1800.02/1800.73 c rounding : 0.00 0 0
1800.02/1800.73 c shifting : 0.00 0 0
1800.02/1800.73 c intshifting : 0.00 0 0
1800.02/1800.73 c twoopt : 0.00 0 0
1800.02/1800.73 c fixandinfer : 0.00 0 0
1800.02/1800.73 c feaspump : 0.00 0 0
1800.02/1800.73 c coefdiving : 0.00 0 0
1800.02/1800.73 c pscostdiving : 0.00 0 0
1800.02/1800.73 c fracdiving : 0.00 0 0
1800.02/1800.73 c veclendiving : 0.00 0 0
1800.02/1800.73 c intdiving : 0.00 0 0
1800.02/1800.73 c actconsdiving : 0.00 0 0
1800.02/1800.73 c objpscostdiving : 0.00 0 0
1800.02/1800.73 c rootsoldiving : 0.00 0 0
1800.02/1800.73 c linesearchdiving : 0.00 0 0
1800.02/1800.73 c guideddiving : 0.00 0 0
1800.02/1800.73 c octane : 0.00 0 0
1800.02/1800.73 c rens : 0.00 0 0
1800.02/1800.73 c rins : 0.00 0 0
1800.02/1800.73 c localbranching : 0.00 0 0
1800.02/1800.73 c mutation : 0.00 0 0
1800.02/1800.73 c crossover : 0.00 0 0
1800.02/1800.73 c dins : 0.00 0 0
1800.02/1800.73 c undercover : 0.00 0 0
1800.02/1800.73 c nlp : 1.35 0 0
1800.02/1800.73 c trysol : 1.27 0 0
1800.02/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.73 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.73 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.73 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.73 c (at root node) : - 0 0 0.00 -
1800.02/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.73 c B&B Tree :
1800.02/1800.73 c number of runs : 1
1800.02/1800.73 c nodes : 3128558
1800.02/1800.73 c nodes (total) : 3128558
1800.02/1800.73 c nodes left : 720
1800.02/1800.73 c max depth : 765
1800.02/1800.73 c max depth (total): 765
1800.02/1800.73 c backtracks : 1133692 (36.2%)
1800.02/1800.73 c delayed cutoffs : 1411753
1800.02/1800.73 c repropagations : 2775024 (18984867 domain reductions, 1042927 cutoffs)
1800.02/1800.73 c avg switch length: 2.69
1800.02/1800.73 c switching time : 106.56
1800.02/1800.73 c Solution :
1800.02/1800.73 c Solutions found : 3 (3 improvements)
1800.02/1800.73 c First Solution : +3.10000000000000e+01 (in run 1, after 765 nodes, 0.45 seconds, depth 764, found by <relaxation>)
1800.02/1800.73 c Primal Bound : +2.90000000000000e+01 (in run 1, after 30906 nodes, 15.31 seconds, depth 744, found by <relaxation>)
1800.02/1800.73 c Dual Bound : +1.00000000000000e+00
1800.02/1800.73 c Gap : 2800.00 %
1800.02/1800.73 c Root Dual Bound : +1.00000000000000e+00
1800.02/1800.73 c Root Iterations : 0
1800.02/1800.76 c Time complete: 1800.06.
OK 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663942-1276636119/watcher-2663942-1276636119 -o /tmp/evaluation-result-2663942-1276636119/solver-2663942-1276636119 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663942-1276636119.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/106 6643 /proc/meminfo: memFree=1853952/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=6584 CPUtime=0 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 935 0 0 0 0 0 0 0 20 0 1 0 39215336 6742016 858 1992294400 4194304 7136930 140733195426176 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6643/statm: 1646 868 254 719 0 925 0 [startup+0.072738 s] /proc/loadavg: 0.85 0.97 0.99 3/106 6643 /proc/meminfo: memFree=1853952/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=12280 CPUtime=0.06 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 2552 0 0 0 5 1 0 0 20 0 1 0 39215336 12574720 2475 1992294400 4194304 7136930 140733195426176 18446744073709551615 6285717 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6643/statm: 3070 2475 271 719 0 2349 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12280 [startup+0.101742 s] /proc/loadavg: 0.85 0.97 0.99 3/106 6643 /proc/meminfo: memFree=1853952/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=12752 CPUtime=0.09 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 2687 0 0 0 8 1 0 0 20 0 1 0 39215336 13058048 2610 1992294400 4194304 7136930 140733195426176 18446744073709551615 5650656 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6643/statm: 3188 2610 271 719 0 2467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12752 [startup+0.30078 s] /proc/loadavg: 0.85 0.97 0.99 3/106 6643 /proc/meminfo: memFree=1853952/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=27208 CPUtime=0.29 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 6423 0 0 0 26 3 0 0 20 0 1 0 39215336 27860992 5992 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 6802 5992 347 719 0 6081 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27208 [startup+0.700855 s] /proc/loadavg: 0.85 0.97 0.99 3/106 6643 /proc/meminfo: memFree=1853952/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=31936 CPUtime=0.69 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9464 0 0 0 62 7 0 0 21 0 1 0 39215336 32702464 7231 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 7984 7231 389 719 0 7263 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31936 [startup+1.501 s] /proc/loadavg: 0.85 0.97 0.99 2/107 6644 /proc/meminfo: memFree=1826292/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=32200 CPUtime=1.49 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9522 0 0 0 138 11 0 0 23 0 1 0 39215336 32972800 7289 1992294400 4194304 7136930 140733195426176 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8050 7289 389 719 0 7329 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32200 [startup+3.1013 s] /proc/loadavg: 0.86 0.97 0.99 2/107 6644 /proc/meminfo: memFree=1825920/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=32464 CPUtime=3.09 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9598 0 0 0 292 17 0 0 25 0 1 0 39215336 33243136 7365 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8116 7365 390 719 0 7395 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32464 [startup+6.30089 s] /proc/loadavg: 0.86 0.97 0.99 2/107 6644 /proc/meminfo: memFree=1825300/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=32728 CPUtime=6.29 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9649 0 0 0 598 31 0 0 25 0 1 0 39215336 33513472 7416 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8182 7416 390 719 0 7461 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32728 [startup+12.7011 s] /proc/loadavg: 0.88 0.97 0.99 2/107 6644 /proc/meminfo: memFree=1825052/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=32860 CPUtime=12.69 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9681 0 0 0 1208 61 0 0 25 0 1 0 39215336 33648640 7448 1992294400 4194304 7136930 140733195426176 18446744073709551615 4240341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8215 7448 390 719 0 7494 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32860 [startup+25.5014 s] /proc/loadavg: 0.90 0.97 0.99 2/107 6646 /proc/meminfo: memFree=1824928/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=32996 CPUtime=25.49 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9710 0 0 0 2424 125 0 0 25 0 1 0 39215336 33787904 7477 1992294400 4194304 7136930 140733195426176 18446744073709551615 4660956 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8249 7477 390 719 0 7528 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32996 [startup+51.1002 s] /proc/loadavg: 0.93 0.97 0.99 2/107 6646 /proc/meminfo: memFree=1824680/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=33260 CPUtime=51.07 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9776 0 0 0 4858 249 0 0 25 0 1 0 39215336 34058240 7543 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8315 7543 390 719 0 7594 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33260 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 6648 /proc/meminfo: memFree=1824308/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=33528 CPUtime=102.26 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9849 0 0 0 9726 500 0 0 25 0 1 0 39215336 34332672 7616 1992294400 4194304 7136930 140733195426176 18446744073709551615 4240369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8382 7616 390 719 0 7661 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33528 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6648 /proc/meminfo: memFree=1823936/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=33672 CPUtime=162.23 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9906 0 0 0 15434 789 0 0 25 0 1 0 39215336 34480128 7673 1992294400 4194304 7136930 140733195426176 18446744073709551615 5925897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8418 7673 390 719 0 7697 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 33672 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6650 /proc/meminfo: memFree=1823688/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=33952 CPUtime=222.21 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9944 0 0 0 21145 1076 0 0 25 0 1 0 39215336 34766848 7711 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8488 7711 390 719 0 7767 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 33952 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 6652 /proc/meminfo: memFree=1823316/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34084 CPUtime=282.18 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 9989 0 0 0 26851 1367 0 0 25 0 1 0 39215336 34902016 7756 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8521 7756 390 719 0 7800 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 34084 [startup+342.301 s] /proc/loadavg: 1.04 0.99 0.99 2/107 6657 /proc/meminfo: memFree=1822448/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34348 CPUtime=342.16 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10050 0 0 0 32560 1656 0 0 25 0 1 0 39215336 35172352 7817 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8587 7817 390 719 0 7866 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 34348 [startup+402.301 s] /proc/loadavg: 1.01 0.99 0.99 2/107 6659 /proc/meminfo: memFree=1822324/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34348 CPUtime=402.14 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10067 0 0 0 38276 1938 0 0 25 0 1 0 39215336 35172352 7834 1992294400 4194304 7136930 140733195426176 18446744073709551615 5507206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8587 7834 390 719 0 7866 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 34348 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6659 /proc/meminfo: memFree=1822200/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34480 CPUtime=462.12 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10102 0 0 0 43987 2225 0 0 25 0 1 0 39215336 35307520 7869 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8620 7869 390 719 0 7899 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 34480 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6661 /proc/meminfo: memFree=1822076/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34612 CPUtime=522.09 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10111 0 0 0 49693 2516 0 0 25 0 1 0 39215336 35442688 7878 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8653 7878 390 719 0 7932 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 34612 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6663 /proc/meminfo: memFree=1822076/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34612 CPUtime=582.07 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10112 0 0 0 55389 2818 0 0 25 0 1 0 39215336 35442688 7879 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8653 7879 390 719 0 7932 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 34612 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 6665 /proc/meminfo: memFree=1822076/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34612 CPUtime=642.05 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10125 0 0 0 61096 3109 0 0 25 0 1 0 39215336 35442688 7892 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8653 7892 390 719 0 7932 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 34612 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6671 /proc/meminfo: memFree=1821456/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34760 CPUtime=881.95 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10174 0 0 0 83930 4265 0 0 25 0 1 0 39215336 35594240 7941 1992294400 4194304 7136930 140733195426176 18446744073709551615 5921706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8690 7941 390 719 0 7969 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 34760 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6673 /proc/meminfo: memFree=1821332/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=34892 CPUtime=941.93 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10199 0 0 0 89644 4549 0 0 25 0 1 0 39215336 35729408 7966 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8723 7966 390 719 0 8002 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 34892 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6675 /proc/meminfo: memFree=1821084/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1001.91 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10212 0 0 0 95368 4823 0 0 25 0 1 0 39215336 35864576 7979 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7979 390 719 0 8035 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 35024 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6675 /proc/meminfo: memFree=1820960/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1061.88 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10213 0 0 0 101084 5104 0 0 25 0 1 0 39215336 35864576 7980 1992294400 4194304 7136930 140733195426176 18446744073709551615 5507861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7980 390 719 0 8035 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 35024 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6677 /proc/meminfo: memFree=1820960/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1121.86 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10215 0 0 0 106797 5389 0 0 25 0 1 0 39215336 35864576 7982 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7982 390 719 0 8035 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 35024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6679 /proc/meminfo: memFree=1820836/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1181.83 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10219 0 0 0 112517 5666 0 0 25 0 1 0 39215336 35864576 7986 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7986 390 719 0 8035 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 35024 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6681 /proc/meminfo: memFree=1820464/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1241.81 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10220 0 0 0 118231 5950 0 0 25 0 1 0 39215336 35864576 7987 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7987 390 719 0 8035 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 35024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6683 /proc/meminfo: memFree=1820340/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1301.8 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10230 0 0 0 123944 6236 0 0 25 0 1 0 39215336 35864576 7997 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7997 390 719 0 8035 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 35024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6683 /proc/meminfo: memFree=1820340/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1361.77 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10230 0 0 0 129658 6519 0 0 25 0 1 0 39215336 35864576 7997 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7997 390 719 0 8035 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 35024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6685 /proc/meminfo: memFree=1820216/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1421.75 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10230 0 0 0 135380 6795 0 0 25 0 1 0 39215336 35864576 7997 1992294400 4194304 7136930 140733195426176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7997 390 719 0 8035 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 35024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6687 /proc/meminfo: memFree=1820216/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1481.72 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10232 0 0 0 141099 7073 0 0 25 0 1 0 39215336 35864576 7999 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 7999 390 719 0 8035 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 35024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6689 /proc/meminfo: memFree=1820092/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1541.7 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10237 0 0 0 146813 7357 0 0 25 0 1 0 39215336 35864576 8004 1992294400 4194304 7136930 140733195426176 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 8004 390 719 0 8035 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 35024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6691 /proc/meminfo: memFree=1820092/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1601.68 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10239 0 0 0 152534 7634 0 0 25 0 1 0 39215336 35864576 8006 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 8006 390 719 0 8035 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 35024 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6691 /proc/meminfo: memFree=1819844/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35024 CPUtime=1661.66 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10240 0 0 0 158247 7919 0 0 25 0 1 0 39215336 35864576 8007 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8756 8007 390 719 0 8035 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 35024 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6693 /proc/meminfo: memFree=1819720/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35156 CPUtime=1721.63 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10245 0 0 0 163950 8213 0 0 25 0 1 0 39215336 35999744 8012 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8789 8012 390 719 0 8068 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 35156 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6695 /proc/meminfo: memFree=1819348/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35156 CPUtime=1781.61 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10256 0 0 0 169676 8485 0 0 25 0 1 0 39215336 35999744 8023 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8789 8023 390 719 0 8068 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 35156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.08 1.02 1.01 2/107 6695 /proc/meminfo: memFree=1819348/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35156 CPUtime=1800.02 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10256 0 0 0 171430 8572 0 0 25 0 1 0 39215336 35999744 8023 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8789 8023 390 719 0 8068 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 35156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.08 1.02 1.01 2/107 6695 /proc/meminfo: memFree=1819348/2059040 swapFree=4140132/4192956 [pid=6643] ppid=6641 vsize=35156 CPUtime=1800.02 /proc/6643/stat : 6643 (pbscip.linux.x8) R 6641 6643 6618 0 -1 4202496 10256 0 0 0 171430 8572 0 0 25 0 1 0 39215336 35999744 8023 1992294400 4194304 7136930 140733195426176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6643/statm: 8789 8023 390 719 0 8068 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 35156 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.08 CPU user time (s): 1714.35 CPU system time (s): 85.73 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (KiB): 35156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1714.35 system time used= 85.73 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10276 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 6570 runsolver used 3.2585 second user time and 8.24375 second system time The end
Begin job on node007 at 2010-06-15 23:08:39 IDJOB=2663942 IDBENCH=24997 IDSOLVER=1167 FILE ID=node007/2663942-1276636119 PBS_JOBID= 11172398 Free space on /tmp= 62488 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663942-1276636119/watcher-2663942-1276636119 -o /tmp/evaluation-result-2663942-1276636119/solver-2663942-1276636119 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663942-1276636119.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=466589065 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854480 kB Buffers: 15736 kB Cached: 101172 kB SwapCached: 6684 kB Active: 102724 kB Inactive: 27800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854480 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 3624 kB Writeback: 0 kB AnonPages: 11772 kB Mapped: 12956 kB Slab: 52336 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181860 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62484 MiB End job on node007 at 2010-06-15 23:38:42