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) | 35 | 1800.15 | 1800.6 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
| MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
| 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 | 27 |
| Best CPU time to get the best result obtained on this benchmark | 13.401 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | NO |
| Number of variables | 5256 |
| Total number of constraints | 15614 |
| Number of constraints which are clauses | 15614 |
| 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 | 2531 |
| 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 | 2531 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2531 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-2663944-1276636699.opb>
0.19/0.29 c original problem has 5256 variables (5256 bin, 0 int, 0 impl, 0 cont) and 15614 constraints
0.19/0.29 c problem read
0.19/0.29 c presolving settings loaded
0.19/0.29 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.29/0.38 c presolving:
0.49/0.53 c (round 1) 2762 del vars, 5284 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 28736 impls, 0 clqs
0.49/0.55 c (round 2) 2763 del vars, 6582 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 28736 impls, 0 clqs
0.59/0.67 c (round 3) 2763 del vars, 6582 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 9021 upgd conss, 28736 impls, 0 clqs
0.69/0.70 c (round 4) 2763 del vars, 6582 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 9032 upgd conss, 28736 impls, 0 clqs
0.79/0.80 c (0.4s) probing: 101/2493 (4.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.80 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.79/0.80 c presolving (5 rounds):
0.79/0.80 c 2763 deleted vars, 6582 deleted constraints, 222 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.80 c 28736 implications, 0 cliques
0.79/0.80 c presolved problem has 2493 variables (2493 bin, 0 int, 0 impl, 0 cont) and 9032 constraints
0.79/0.80 c 9032 constraints of type <logicor>
0.79/0.80 c transformed objective value is always integral (scale: 1)
0.79/0.80 c Presolving Time: 0.40
0.79/0.80 c - non default parameters ----------------------------------------------------------------------
0.79/0.80 c # SCIP version 1.2.1.2
0.79/0.80 c
0.79/0.80 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.80 c conflict/interconss = 0
0.79/0.80 c
0.79/0.80 c # should binary conflicts be preferred?
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c conflict/preferbinary = TRUE
0.79/0.80 c
0.79/0.80 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.80 c constraints/agelimit = 1
0.79/0.80 c
0.79/0.80 c # should enforcement of pseudo solution be disabled?
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/disableenfops = TRUE
0.79/0.80 c
0.79/0.80 c # frequency for displaying node information lines
0.79/0.80 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.80 c display/freq = 10000
0.79/0.80 c
0.79/0.80 c # maximal time in seconds to run
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/time = 1799.72
0.79/0.80 c
0.79/0.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.80 c limits/memory = 1620
0.79/0.80 c
0.79/0.80 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.80 c lp/solvefreq = -1
0.79/0.80 c
0.79/0.80 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.79/0.80 c # [type: char, range: {lafpsqd}, default: l]
0.79/0.80 c lp/pricing = a
0.79/0.80 c
0.79/0.80 c # should presolving try to simplify inequalities
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/linear/simplifyinequalities = TRUE
0.79/0.80 c
0.79/0.80 c # should presolving try to simplify knapsacks
0.79/0.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.80 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.80 c
0.79/0.80 c # priority of node selection rule <dfs> in standard mode
0.79/0.80 c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.80 c nodeselection/dfs/stdpriority = 1000000
0.79/0.80 c
0.79/0.80 c -----------------------------------------------------------------------------------------------
0.79/0.80 c start solving
0.79/0.81 c
0.79/0.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c 0.5s| 1 | 2 | 0 | - | 19M| 0 | - |2493 |9032 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.36 o 39
1.29/1.36 c * 1.0s| 1065 | 1056 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.900000e+01 | Inf
1.29/1.38 o 38
1.29/1.38 c * 1.0s| 1090 | 1048 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 15 | 0 | 0.000000e+00 | 3.800000e+01 | Inf
1.29/1.39 o 37
1.29/1.39 c * 1.0s| 1118 | 1045 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 27 | 0 | 0.000000e+00 | 3.700000e+01 | Inf
3.49/3.55 o 36
3.49/3.55 c * 3.1s| 4734 | 1044 | 0 | 0.0 | 20M|1064 | - |2493 |9035 | 0 | 0 | 0 |2189 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
6.79/6.82 c 6.2s| 10000 | 1039 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 |5394 | 0 | 0.000000e+00 | 3.600000e+01 | Inf
13.20/13.22 c 12.4s| 20000 | 1032 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
19.99/20.03 c 18.9s| 30000 | 1031 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
26.98/27.01 c 25.7s| 40000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
33.58/33.64 c 32.1s| 50000 | 1032 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
40.18/40.29 c 38.5s| 60000 | 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
46.68/46.70 c 44.6s| 70000 | 1033 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
53.28/53.32 c 51.0s| 80000 | 1035 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
60.18/60.21 c 57.6s| 90000 | 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
66.77/66.81 c 64.0s|100000 | 1037 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
73.27/73.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.27/73.30 c 70.2s|110000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9060 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
79.87/79.99 c 76.6s|120000 | 1033 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
86.37/86.41 c 82.8s|130000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9054 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
93.57/93.63 c 89.8s|140000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
100.37/100.43 c 96.3s|150000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
107.67/107.70 c 103s|160000 | 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
114.86/114.94 c 110s|170000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
122.27/122.34 c 117s|180000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
129.46/129.52 c 124s|190000 | 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
136.56/136.65 c 131s|200000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
143.55/143.64 c 138s|210000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
151.06/151.19 c 145s|220000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
158.45/158.55 c 152s|230000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
165.35/165.45 c 159s|240000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
172.66/172.77 c 166s|250000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
179.45/179.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.45/179.56 c 173s|260000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
186.55/186.65 c 179s|270000 | 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
193.25/193.33 c 186s|280000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
200.54/200.61 c 193s|290000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
207.74/207.88 c 200s|300000 | 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
215.13/215.20 c 207s|310000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
221.93/222.01 c 214s|320000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
228.53/228.60 c 220s|330000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9057 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
235.53/235.62 c 227s|340000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9050 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
242.73/242.82 c 234s|350000 | 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
249.83/249.95 c 240s|360000 | 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
256.93/257.09 c 247s|370000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
263.83/263.95 c 254s|380000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
270.53/270.63 c 260s|390000 | 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
276.62/276.79 c 266s|400000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
283.42/283.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.42/283.55 c 273s|410000 | 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
290.22/290.31 c 279s|420000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
297.02/297.17 c 286s|430000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
303.92/304.08 c 293s|440000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
310.72/310.80 c 299s|450000 | 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
317.31/317.49 c 306s|460000 | 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
323.61/323.73 c 312s|470000 | 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
330.01/330.15 c 318s|480000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
336.52/336.63 c 324s|490000 | 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
343.12/343.21 c 330s|500000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
349.81/349.92 c 337s|510000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
356.71/356.88 c 343s|520000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
363.90/364.04 c 350s|530000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
371.10/371.27 c 357s|540000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
378.30/378.48 c 364s|550000 | 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
385.49/385.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.49/385.60 c 371s|560000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
392.80/392.92 c 378s|570000 | 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
399.79/399.97 c 385s|580000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
406.69/406.82 c 392s|590000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
412.89/413.09 c 398s|600000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
420.00/420.10 c 404s|610000 | 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
426.59/426.80 c 411s|620000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9057 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
433.29/433.43 c 417s|630000 | 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
439.68/439.88 c 424s|640000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
445.98/446.14 c 430s|650000 | 1032 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
452.78/452.94 c 436s|660000 | 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
459.47/459.62 c 443s|670000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
466.18/466.35 c 449s|680000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
472.97/473.15 c 456s|690000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
479.77/479.97 c 462s|700000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
486.17/486.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.17/486.37 c 468s|710000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
492.37/492.59 c 474s|720000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
498.56/498.77 c 480s|730000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
505.27/505.43 c 487s|740000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
511.86/512.07 c 493s|750000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
518.46/518.64 c 499s|760000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
525.26/525.41 c 506s|770000 | 1032 | 0 | 0.0 | 20M|1064 | - |2493 |9035 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
532.06/532.24 c 513s|780000 | 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
538.66/538.85 c 519s|790000 | 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
544.85/545.08 c 525s|800000 | 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
551.26/551.47 c 531s|810000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
557.86/558.08 c 537s|820000 | 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
564.75/564.96 c 544s|830000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
571.15/571.31 c 550s|840000 | 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
577.65/577.80 c 556s|850000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
584.05/584.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.05/584.22 c 563s|860000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
590.75/590.90 c 569s|870000 | 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
597.44/597.60 c 576s|880000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
604.34/604.52 c 582s|890000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
611.04/611.24 c 589s|900000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
617.63/617.89 c 595s|910000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
624.64/624.85 c 602s|920000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
631.63/631.85 c 608s|930000 | 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
638.33/638.53 c 615s|940000 | 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
645.13/645.34 c 621s|950000 | 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
651.73/651.99 c 628s|960000 | 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
658.63/658.82 c 634s|970000 | 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
665.33/665.56 c 641s|980000 | 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
672.12/672.35 c 647s|990000 | 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
679.42/679.63 c 654s| 1000k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
686.82/687.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.82/687.04 c 662s| 1010k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
694.02/694.20 c 668s| 1020k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
700.82/701.06 c 675s| 1030k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
707.22/707.41 c 681s| 1040k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
709.32/709.54 o 35
709.32/709.54 c * 683s| 1043k| 1033 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
713.81/714.07 c 688s| 1050k| 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
720.32/720.54 c 694s| 1060k| 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
727.11/727.34 c 700s| 1070k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
733.91/734.14 c 707s| 1080k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
740.40/740.67 c 713s| 1090k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9050 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
747.60/747.82 c 720s| 1100k| 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9061 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
755.00/755.24 c 727s| 1110k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
762.60/762.87 c 735s| 1120k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
770.20/770.46 c 742s| 1130k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
777.60/777.82 c 749s| 1140k| 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
785.00/785.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.00/785.29 c 756s| 1150k| 1038 | 0 | 0.0 | 20M|1064 | - |2493 |9053 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
792.49/792.72 c 764s| 1160k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
799.89/800.14 c 771s| 1170k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
807.10/807.32 c 778s| 1180k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
814.09/814.37 c 784s| 1190k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
821.40/821.63 c 791s| 1200k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
828.89/829.15 c 799s| 1210k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
835.89/836.17 c 805s| 1220k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
843.08/843.37 c 812s| 1230k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
850.17/850.46 c 819s| 1240k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9053 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
857.38/857.61 c 826s| 1250k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
864.78/865.03 c 833s| 1260k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
871.88/872.13 c 840s| 1270k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
878.68/878.94 c 847s| 1280k| 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
885.77/886.02 c 854s| 1290k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
892.77/893.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.77/893.01 c 860s| 1300k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
899.66/899.93 c 867s| 1310k| 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
906.46/906.74 c 874s| 1320k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
913.66/913.97 c 881s| 1330k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
921.06/921.40 c 888s| 1340k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
928.07/928.32 c 894s| 1350k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
935.06/935.39 c 901s| 1360k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
941.85/942.19 c 908s| 1370k| 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
948.56/948.88 c 914s| 1380k| 1030 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
955.56/955.90 c 921s| 1390k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
962.55/962.81 c 928s| 1400k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
969.45/969.71 c 934s| 1410k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
976.25/976.53 c 941s| 1420k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
982.94/983.27 c 947s| 1430k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
989.94/990.24 c 954s| 1440k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
996.75/997.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.75/997.01 c 961s| 1450k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9094 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1003.44/1003.72 c 967s| 1460k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1010.65/1010.94 c 974s| 1470k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1018.04/1018.33 c 981s| 1480k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1025.83/1026.12 c 989s| 1490k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1033.44/1033.78 c 996s| 1500k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1040.43/1040.71 c 1003s| 1510k| 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1047.43/1047.72 c 1009s| 1520k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1054.33/1054.62 c 1016s| 1530k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1061.32/1061.64 c 1023s| 1540k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1068.93/1069.25 c 1030s| 1550k| 1029 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1075.72/1076.05 c 1037s| 1560k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1082.72/1083.08 c 1044s| 1570k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1089.62/1089.92 c 1050s| 1580k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1097.12/1097.45 c 1057s| 1590k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9058 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1104.02/1104.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.02/1104.40 c 1064s| 1600k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1111.51/1111.87 c 1071s| 1610k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1118.71/1119.03 c 1078s| 1620k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9058 | 0 | 0 | 0 | 913k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1125.21/1125.54 c 1084s| 1630k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1131.71/1132.05 c 1091s| 1640k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9061 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1138.31/1138.69 c 1097s| 1650k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9059 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1145.30/1145.66 c 1104s| 1660k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9053 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1152.21/1152.57 c 1111s| 1670k| 1015 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1159.20/1159.53 c 1117s| 1680k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1166.71/1167.08 c 1125s| 1690k| 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1174.19/1174.57 c 1132s| 1700k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1181.50/1181.89 c 1139s| 1710k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1188.80/1189.17 c 1146s| 1720k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1196.10/1196.46 c 1153s| 1730k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1203.10/1203.44 c 1160s| 1740k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1210.39/1210.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.39/1210.71 c 1167s| 1750k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9035 | 0 | 0 | 0 | 987k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1217.59/1217.94 c 1174s| 1760k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1224.68/1225.00 c 1180s| 1770k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9047 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1231.18/1231.58 c 1187s| 1780k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1238.08/1238.43 c 1193s| 1790k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1244.98/1245.30 c 1200s| 1800k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1251.87/1252.20 c 1207s| 1810k| 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1259.19/1259.58 c 1214s| 1820k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1266.58/1266.96 c 1221s| 1830k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9046 | 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1273.67/1274.00 c 1228s| 1840k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1280.77/1281.13 c 1234s| 1850k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1288.07/1288.46 c 1241s| 1860k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1295.66/1296.09 c 1249s| 1870k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1303.36/1303.72 c 1256s| 1880k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9064 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1310.77/1311.15 c 1263s| 1890k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1317.96/1318.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.96/1318.39 c 1270s| 1900k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1325.16/1325.55 c 1277s| 1910k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1332.36/1332.74 c 1284s| 1920k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1339.26/1339.69 c 1291s| 1930k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9052 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1346.56/1346.97 c 1298s| 1940k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9048 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1353.96/1354.33 c 1305s| 1950k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9050 | 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1361.36/1361.77 c 1312s| 1960k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9059 | 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1368.25/1368.68 c 1319s| 1970k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9058 | 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1375.25/1375.63 c 1326s| 1980k| 1014 | 0 | 0.0 | 20M|1064 | - |2493 |9057 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1382.45/1382.82 c 1332s| 1990k| 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1389.65/1390.08 c 1340s| 2000k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1397.05/1397.47 c 1347s| 2010k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9058 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1404.14/1404.57 c 1354s| 2020k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1411.54/1411.99 c 1361s| 2030k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1418.94/1419.30 c 1368s| 2040k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1426.03/1426.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.03/1426.44 c 1375s| 2050k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9062 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1433.34/1433.74 c 1382s| 2060k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 |1164k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1440.64/1441.04 c 1389s| 2070k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1448.03/1448.46 c 1396s| 2080k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9053 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1455.53/1455.92 c 1403s| 2090k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9055 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1462.72/1463.19 c 1410s| 2100k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1470.33/1470.72 c 1417s| 2110k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1477.72/1478.10 c 1424s| 2120k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1484.82/1485.28 c 1431s| 2130k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1491.92/1492.37 c 1438s| 2140k| 1025 | 0 | 0.0 | 20M|1064 | - |2493 |9050 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1499.12/1499.52 c 1445s| 2150k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1506.01/1506.49 c 1452s| 2160k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1512.91/1513.38 c 1459s| 2170k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1520.11/1520.50 c 1465s| 2180k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 |1234k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1527.61/1528.03 c 1473s| 2190k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1534.81/1535.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.81/1535.23 c 1480s| 2200k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1542.51/1542.90 c 1487s| 2210k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1550.20/1550.65 c 1494s| 2220k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1557.30/1557.78 c 1501s| 2230k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9045 | 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1564.60/1565.03 c 1508s| 2240k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9050 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1572.19/1572.68 c 1516s| 2250k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1579.60/1580.01 c 1523s| 2260k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1587.20/1587.62 c 1530s| 2270k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9033 | 0 | 0 | 0 |1287k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1595.00/1595.40 c 1538s| 2280k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9035 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1602.49/1602.95 c 1545s| 2290k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1609.90/1610.35 c 1552s| 2300k| 1021 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1617.39/1617.80 c 1559s| 2310k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9034 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1624.89/1625.37 c 1567s| 2320k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9058 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1632.79/1633.23 c 1574s| 2330k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1639.98/1640.48 c 1581s| 2340k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1647.58/1648.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.58/1648.06 c 1588s| 2350k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9051 | 0 | 0 | 0 |1334k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1654.68/1655.14 c 1595s| 2360k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1661.59/1662.02 c 1602s| 2370k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1668.58/1669.05 c 1609s| 2380k| 1010 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1675.18/1675.68 c 1615s| 2390k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9032 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1682.47/1682.90 c 1622s| 2400k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9040 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1689.67/1690.13 c 1629s| 2410k| 1016 | 0 | 0.0 | 20M|1064 | - |2493 |9044 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1696.78/1697.29 c 1636s| 2420k| 1019 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1703.87/1704.38 c 1643s| 2430k| 1017 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1710.56/1711.07 c 1649s| 2440k| 1028 | 0 | 0.0 | 20M|1064 | - |2493 |9038 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1717.46/1717.99 c 1656s| 2450k| 1026 | 0 | 0.0 | 20M|1064 | - |2493 |9037 | 0 | 0 | 0 |1392k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1724.76/1725.25 c 1663s| 2460k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9049 | 0 | 0 | 0 |1397k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1732.16/1732.67 c 1670s| 2470k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1739.85/1740.37 c 1677s| 2480k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1747.06/1747.51 c 1684s| 2490k| 1023 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 |1414k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1754.35/1754.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.35/1754.82 c 1691s| 2500k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1761.35/1761.83 c 1698s| 2510k| 1018 | 0 | 0.0 | 20M|1064 | - |2493 |9036 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1768.45/1768.90 c 1705s| 2520k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9042 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1775.75/1776.23 c 1712s| 2530k| 1022 | 0 | 0.0 | 20M|1064 | - |2493 |9041 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1782.55/1783.10 c 1719s| 2540k| 1027 | 0 | 0.0 | 20M|1064 | - |2493 |9043 | 0 | 0 | 0 |1443k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1789.54/1790.09 c 1725s| 2550k| 1020 | 0 | 0.0 | 20M|1064 | - |2493 |9039 | 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1796.85/1797.30 c 1732s| 2560k| 1024 | 0 | 0.0 | 20M|1064 | - |2493 |9053 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1735.45
1800.05/1800.50 c Solving Nodes : 2564327
1800.05/1800.50 c Primal Bound : +3.50000000000000e+01 (5 solutions)
1800.05/1800.50 c Dual Bound : +0.00000000000000e+00
1800.05/1800.50 c Gap : infinite
1800.05/1800.53 s SATISFIABLE
1800.05/1800.53 v x194 -x193 -x5255 x192 x5253 -x5251 -x191 -x5249 x190 x5247 -x5245 -x5243 -x189 -x5241 -x5239 -x5237 -x188 -x5235 -x5233 -x5231
1800.05/1800.53 v -x5229 -x5227 -x5225 -x187 -x5223 x186 x5221 -x5219 -x5217 -x185 -x5215 -x5213 -x184 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201
1800.05/1800.53 v -x5199 -x183 -x5197 -x5195 -x5193 -x182 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x181 -x5177 -x5175 -x5173 -x5171
1800.05/1800.53 v -x5169 -x5167 x5165 -x5163 x180 x5161 -x5159 -x5157 -x179 -x5155 -x5153 -x5151 -x178 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139
1800.05/1800.53 v -x5137 -x177 -x5135 -x5133 -x5131 -x176 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x175 -x5115 -x5113 -x5111 -x5109
1800.05/1800.53 v -x5107 -x5105 -x5103 -x174 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075
1800.05/1800.53 v -x5073 -x173 -x5071 -x5069 -x5067 x172 x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x171 -x5051 -x5049 -x5047 -x5045 -x5043
1800.05/1800.53 v -x5041 -x5039 -x170 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009
1800.05/1800.53 v -x169 -x5007 -x5005 -x5003 -x5001 -x4999 x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975
1800.05/1800.53 v -x4973 -x4971 -x4969 -x4967 -x4965 -x168 -x4963 x167 x4961 -x4959 -x4957 -x166 -x4955 -x4953 -x4951 x165 x4949 -x4947 -x4945
1800.05/1800.53 v -x4943 -x4941 -x4939 -x4937 -x164 -x4935 -x4933 x163 x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x162 -x4917 -x4915 -x4913
1800.05/1800.53 v -x4911 -x4909 -x4907 -x4905 -x161 -x4903 -x4901 -x4899 -x160 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x159 -x4883
1800.05/1800.53 v -x4881 -x4879 -x4877 -x4875 -x4873 -x158 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849
1800.05/1800.53 v -x4847 -x4845 -x4843 -x157 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x156 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817
1800.05/1800.53 v -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x155 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783
1800.05/1800.53 v -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x154 -x4769 -x4767 -x4765 -x153 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751
1800.05/1800.53 v -x152 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x151 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719
1800.05/1800.53 v -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x150 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x149 -x4691 -x4689 -x4687
1800.05/1800.53 v -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x148 -x4661 -x4659 -x4657 -x4655 -x4653
1800.05/1800.53 v -x4651 -x4649 -x147 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619
1800.05/1800.53 v -x146 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x145 -x4587 -x4585
1800.05/1800.53 v -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551
1800.05/1800.53 v -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x144 -x4527 x143 x4525 -x4523 -x4521 -x142 -x4519
1800.05/1800.53 v -x4517 -x4515 -x141 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x140 -x4499 -x4497 x4495 x139 -x4493 -x4491 -x4489 -x4487
1800.05/1800.53 v -x4485 -x4483 -x4481 -x138 -x4479 -x4477 -x4475 -x137 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x136 -x4459 -x4457
1800.05/1800.53 v -x4455 -x4453 -x4451 -x4449 -x4447 -x135 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423
1800.05/1800.53 v -x4421 -x4419 -x4417 -x134 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x133 -x4401 -x4399 -x4397 x4395 -x4393 -x4391
1800.05/1800.53 v -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x132 -x4365 -x4363 -x4361 -x4359 -x4357
1800.05/1800.53 v -x4355 -x4353 x4351 -x4349 -x4347 -x4345 x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321
1800.05/1800.53 v -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x131 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x130 -x4293 -x4291 -x4289
1800.05/1800.53 v -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x129 -x4263 -x4261 -x4259 -x4257 -x4255
1800.05/1800.53 v -x4253 -x4251 -x128 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221
1800.05/1800.53 v -x127 -x4219 -x4217 -x4215 x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185
1800.05/1800.53 v -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151
1800.05/1800.53 v -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x126 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117
1800.05/1800.53 v -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x125 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083
1800.05/1800.53 v -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047
1800.05/1800.53 v -x4045 -x4043 -x4041 -x4039 -x4037 -x124 -x4035 -x4033 -x4031 -x123 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x122 -x4015
1800.05/1800.53 v -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x121 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981
1800.05/1800.53 v -x3979 -x3977 -x3975 -x3973 -x120 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x119 -x3957 -x3955 -x3953 -x3951 -x3949
1800.05/1800.53 v -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x118 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915
1800.05/1800.53 v -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x117 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881
1800.05/1800.53 v -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845
1800.05/1800.53 v -x3843 -x3841 -x3839 -x116 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x115 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813
1800.05/1800.53 v -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x114 -x3793 x113 x3791 -x3789 -x3787 -x112 -x3785 x3783
1800.05/1800.53 v -x3781 x111 -x3779 -x3777 -x3775 -x3773 x3771 -x3769 -x3767 x110 -x3765 -x3763 -x3761 -x109 -x3759 -x3757 -x3755 -x3753 -x3751
1800.05/1800.53 v -x3749 -x3747 -x108 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x107 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719
1800.05/1800.53 v -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x106 -x3701 -x3699 -x105 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687
1800.05/1800.53 v -x3685 -x104 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x103 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653
1800.05/1800.53 v -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x102 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x101 -x3625 -x3623 -x3621
1800.05/1800.53 v -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x100 -x3595 -x3593 x3591 x99 -x3589
1800.05/1800.53 v -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x98 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x97 -x3561 -x3559 -x3557 -x3555
1800.05/1800.53 v -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x96 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521
1800.05/1800.53 v -x3519 -x95 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x94
1800.05/1800.53 v -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x93 -x3457 -x3455
1800.05/1800.53 v -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419
1800.05/1800.53 v -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x92 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385
1800.05/1800.53 v -x3383 -x91 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x90 -x3351
1800.05/1800.53 v -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x89 -x3321 -x3319 -x3317
1800.05/1800.53 v -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281
1800.05/1800.53 v -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x88 -x3259 -x3257 x3255 x87 -x3253 -x3251 -x3249 -x3247
1800.05/1800.53 v -x3245 -x3243 -x3241 -x86 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x85 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215
1800.05/1800.53 v -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x84 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x83
1800.05/1800.53 v -x3181 -x3179 -x3177 x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147
1800.05/1800.53 v -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x82 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111
1800.05/1800.53 v -x3109 -x81 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x80
1800.05/1800.53 v -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x79 -x3051 -x3049 -x3047 -x3045
1800.05/1800.53 v -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009
1800.05/1800.53 v -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973
1800.05/1800.53 v -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x78 -x2959 -x2957 -x2955 -x2953 -x2951 x2949 -x2947 -x2945 -x2943 -x2941 -x2939
1800.05/1800.53 v -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903
1800.05/1800.53 v -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x77 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869
1800.05/1800.53 v -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x76 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835
1800.05/1800.53 v -x2833 -x2831 -x2829 -x2827 -x2825 -x75 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799
1800.05/1800.53 v -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765
1800.05/1800.53 v -x2763 -x74 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x73 -x2731
1800.05/1800.53 v -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695
1800.05/1800.53 v -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x72 -x2669 -x2667 -x2665 -x2663 -x2661
1800.05/1800.53 v -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625
1800.05/1800.53 v -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x71 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591
1800.05/1800.53 v -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 x2563 -x2561 -x2559 -x2557 -x2555
1800.05/1800.53 v -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519
1800.05/1800.53 v -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483
1800.05/1800.53 v -x2481 -x2479 -x2477 -x70 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x69 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451
1800.05/1800.53 v -x2449 -x68 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x67
1800.05/1800.53 v -x2417 -x2415 -x2413 -x2411 x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x66 -x2389 -x2387 -x2385 -x2383
1800.05/1800.53 v -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x65 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349
1800.05/1800.53 v -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x64 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315
1800.05/1800.53 v -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279
1800.05/1800.53 v -x2277 -x2275 -x2273 -x2271 -x2269 -x63 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x62 -x2253 -x2251 -x2249 -x2247
1800.05/1800.53 v -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x61 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213
1800.05/1800.53 v -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x60 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177
1800.05/1800.53 v -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143
1800.05/1800.53 v -x2141 -x2139 -x2137 -x2135 -x2133 -x59 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107
1800.05/1800.53 v -x2105 -x2103 -x58 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073
1800.05/1800.53 v -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x57 -x2039
1800.05/1800.53 v -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003
1800.05/1800.53 v -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x56 -x1977 -x1975 -x1973 -x1971 -x1969
1800.05/1800.53 v -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933
1800.05/1800.53 v -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897
1800.05/1800.53 v -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 x1867 -x1865 -x1863 -x1861
1800.05/1800.53 v -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x55 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827
1800.05/1800.53 v -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x54 -x1807 -x1805 -x1803 -x1801 -x1799 x1797 -x1795 -x1793
1800.05/1800.53 v -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x53 -x1775 -x1773 -x1771 -x52 -x1769 -x1767 x1765 -x1763 -x1761 -x1759
1800.05/1800.53 v -x1757 -x1755 -x1753 -x1751 -x51 -x1749 -x1747 -x1745 -x50 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x49 -x1729
1800.05/1800.53 v -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x48 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695
1800.05/1800.53 v -x1693 -x1691 -x1689 -x1687 -x47 -x1685 -x1683 -x1681 -x46 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x45 -x1665 -x1663
1800.05/1800.53 v -x1661 -x44 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x43 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x42 -x1631
1800.05/1800.53 v -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x41 -x1601 -x1599 -x1597
1800.05/1800.53 v -x1595 -x1593 -x1591 -x1589 -x40 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563
1800.05/1800.53 v -x1561 -x1559 -x39 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529
1800.05/1800.53 v -x38 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495
1800.05/1800.53 v -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x37 -x1465 -x1463 -x1461 -x1459
1800.05/1800.53 v -x1457 -x1455 -x1453 -x36 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425
1800.05/1800.53 v -x1423 -x35 -x1421 -x1419 -x1417 -x34 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x33 -x1401 -x1399 x1397 x32 -x1395
1800.05/1800.53 v -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x31 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x30 -x1367 -x1365 -x1363
1800.05/1800.53 v -x1361 -x1359 -x1357 -x1355 -x29 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327
1800.05/1800.53 v -x1325 -x28 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x27 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295
1800.05/1800.53 v -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x26 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261
1800.05/1800.53 v -x1259 -x1257 -x1255 -x1253 -x1251 -x25 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227
1800.05/1800.53 v -x1225 -x1223 -x1221 -x24 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193
1800.05/1800.53 v -x1191 -x1189 -x1187 x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157
1800.05/1800.53 v -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x23 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121
1800.05/1800.53 v -x1119 -x1117 -x1115 -x22 -x1113 -x1111 -x1109 -x21 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x20 -x1093 -x1091
1800.05/1800.53 v -x1089 -x1087 -x1085 -x1083 -x1081 -x19 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057
1800.05/1800.53 v -x1055 -x1053 -x1051 -x18 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x17 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023
1800.05/1800.53 v -x1021 -x1019 x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985
1800.05/1800.53 v -x983 -x981 -x979 -x977 -x16 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945
1800.05/1800.53 v -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x15 -x913 -x911 -x909 -x907 -x905
1800.05/1800.53 v -x903 -x901 -x14 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x13 -x869 -x867
1800.05/1800.53 v -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x12 -x839 -x837 -x835 -x833 -x831 -x829 -x827
1800.05/1800.53 v -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785
1800.05/1800.53 v -x783 -x781 -x779 -x11 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x10 -x747
1800.05/1800.53 v -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705
1800.05/1800.53 v -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x9 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665
1800.05/1800.53 v -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x8
1800.05/1800.53 v -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583
1800.05/1800.53 v -x581 -x579 -x577 -x575 -x573 x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541
1800.05/1800.53 v -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499
1800.05/1800.53 v -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x7 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459
1800.05/1800.53 v -x457 -x455 -x6 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x5 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419
1800.05/1800.53 v -x417 -x415 -x413 -x411 -x4 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x3
1800.05/1800.53 v -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x2 -x349 x347 -x345 -x343 -x341
1800.05/1800.53 v -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299
1800.05/1800.53 v -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x1
1800.05/1800.53 v -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217
1800.05/1800.53 v -x215 -x213 x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x5256 x5254 -x5252 -x5250 x5248 -x5246 -x5244 -x5242 -x5240
1800.05/1800.53 v -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204
1800.05/1800.53 v -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168
1800.05/1800.53 v x5166 -x5164 x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132
1800.05/1800.53 v -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096
1800.05/1800.53 v -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 x5066 -x5064 -x5062 -x5060
1800.05/1800.53 v -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024
1800.05/1800.53 v -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 x4998 -x4996 -x4994 -x4992 -x4990 -x4988
1800.05/1800.53 v -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 x4962 -x4960 -x4958 -x4956 -x4954 -x4952
1800.05/1800.53 v x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916
1800.05/1800.53 v -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880
1800.05/1800.53 v -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844
1800.05/1800.53 v -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808
1800.05/1800.53 v -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774
1800.05/1800.53 v -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738
1800.05/1800.53 v -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702
1800.05/1800.53 v -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666
1800.05/1800.53 v -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630
1800.05/1800.53 v -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594
1800.05/1800.53 v -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558
1800.05/1800.53 v -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 x4526 -x4524 -x4522
1800.05/1800.53 v -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 x4496 -x4494 -x4492 -x4490 -x4488 -x4486
1800.05/1800.53 v -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452
1800.05/1800.53 v -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416
1800.05/1800.53 v -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380
1800.05/1800.53 v -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 x4352 -x4350 -x4348 -x4346 x4344
1800.05/1800.53 v -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308
1800.05/1800.53 v -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272
1800.05/1800.53 v -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236
1800.05/1800.53 v -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200
1800.05/1800.53 v -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164
1800.05/1800.53 v -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128
1800.05/1800.53 v -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092
1800.05/1800.53 v -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058
1800.05/1800.53 v -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022
1800.05/1800.53 v -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986
1800.05/1800.53 v -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950
1800.05/1800.53 v -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914
1800.05/1800.53 v -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878
1800.05/1800.53 v -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842
1800.05/1800.53 v -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808
1800.05/1800.53 v -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 x3792 -x3790 -x3788 -x3786 x3784 -x3782 -x3780 -x3778 -x3776 -x3774 x3772 -x3770
1800.05/1800.53 v -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734
1800.05/1800.53 v -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700
1800.05/1800.53 v -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664
1800.05/1800.53 v -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628
1800.05/1800.53 v -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 x3592
1800.05/1800.53 v -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556
1800.05/1800.53 v -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520
1800.05/1800.53 v -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484
1800.05/1800.53 v -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448
1800.05/1800.53 v -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414
1800.05/1800.53 v -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378
1800.05/1800.53 v -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342
1800.05/1800.53 v -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306
1800.05/1800.53 v -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270
1800.05/1800.53 v -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234
1800.05/1800.53 v -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198
1800.05/1800.53 v -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162
1800.05/1800.53 v -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126
1800.05/1800.53 v -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092
1800.05/1800.53 v -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056
1800.05/1800.53 v -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 x3028 -x3026 -x3024 -x3022 -x3020
1800.05/1800.53 v -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984
1800.05/1800.53 v -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 x2950 -x2948
1800.05/1800.53 v -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912
1800.05/1800.53 v -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876
1800.05/1800.53 v -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840
1800.05/1800.53 v -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804
1800.05/1800.53 v -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770
1800.05/1800.53 v -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734
1800.05/1800.53 v -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698
1800.05/1800.53 v -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662
1800.05/1800.53 v -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626
1800.05/1800.53 v -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590
1800.05/1800.53 v -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 x2564 -x2562 -x2560 -x2558 -x2556 -x2554
1800.05/1800.53 v -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518
1800.05/1800.53 v -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484
1800.05/1800.53 v -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448
1800.05/1800.53 v -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412
1800.05/1800.53 v x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376
1800.05/1800.53 v -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340
1800.05/1800.53 v -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304
1800.05/1800.53 v -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268
1800.05/1800.53 v -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232
1800.05/1800.53 v -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198
1800.05/1800.53 v -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162
1800.05/1800.53 v -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126
1800.05/1800.53 v -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090
1800.05/1800.53 v -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054
1800.05/1800.53 v -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018
1800.05/1800.53 v -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982
1800.05/1800.53 v -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948
1800.05/1800.53 v -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912
1800.05/1800.53 v -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876
1800.05/1800.53 v -x1874 -x1872 -x1870 x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840
1800.05/1800.53 v -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804
1800.05/1800.53 v -x1802 -x1800 x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768
1800.05/1800.53 v x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732
1800.05/1800.53 v -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696
1800.05/1800.53 v -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660
1800.05/1800.53 v -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624
1800.05/1800.53 v -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590
1800.05/1800.53 v -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554
1800.05/1800.53 v -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518
1800.05/1800.53 v -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482
1800.05/1800.53 v -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446
1800.05/1800.53 v -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410
1800.05/1800.53 v -x1408 -x1406 -x1404 -x1402 -x1400 x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374
1800.05/1800.53 v -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338
1800.05/1800.53 v -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304
1800.05/1800.53 v -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268
1800.05/1800.53 v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232
1800.05/1800.53 v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196
1800.05/1800.53 v -x1194 -x1192 -x1190 -x1188 x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160
1800.05/1800.53 v -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124
1800.05/1800.53 v -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088
1800.05/1800.53 v -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052
1800.05/1800.53 v -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 x1018 -x1016
1800.05/1800.53 v -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978
1800.05/1800.53 v -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936
1800.05/1800.53 v -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894
1800.05/1800.53 v -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854
1800.05/1800.53 v -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812
1800.05/1800.53 v -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770
1800.05/1800.53 v -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728
1800.05/1800.53 v -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686
1800.05/1800.53 v -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644
1800.05/1800.53 v -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604
1800.05/1800.53 v -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 x572 -x570 -x568 -x566 -x564 -x562
1800.05/1800.53 v -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520
1800.05/1800.53 v -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478
1800.05/1800.53 v -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436
1800.05/1800.53 v -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394
1800.05/1800.53 v -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352
1800.05/1800.53 v -x350 x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310
1800.05/1800.53 v -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270
1800.05/1800.53 v -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228
1800.05/1800.53 v -x226 -x224 -x222 -x220 -x218 -x216 -x214 x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196
1800.05/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.53 c Solving Time : 1735.45
1800.05/1800.53 c Original Problem :
1800.05/1800.53 c Problem name : HOME/instance-2663944-1276636699.opb
1800.05/1800.53 c Variables : 5256 (5256 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.53 c Constraints : 15614 initial, 15614 maximal
1800.05/1800.53 c Presolved Problem :
1800.05/1800.53 c Problem name : t_HOME/instance-2663944-1276636699.opb
1800.05/1800.53 c Variables : 2493 (2493 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.53 c Constraints : 9032 initial, 10019 maximal
1800.05/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.53 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.53 c implics : 0.00 0 9 0 0 0 0 0 0
1800.05/1800.53 c probing : 0.07 0 0 0 0 0 0 0 0
1800.05/1800.53 c linear : 0.19 222 2531 0 222 0 6582 0 0
1800.05/1800.53 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.05/1800.53 c root node : - 0 - - 0 - - - -
1800.05/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.53 c logicor : 9032+ 0 6568704 0 5 640103 10450903 0 0 0
1800.05/1800.53 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.05/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.53 c logicor : 366.60 0.00 366.59 0.00 0.01
1800.05/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.53 c vbounds : 4.45 2 0 0
1800.05/1800.53 c rootredcost : 4.77 0 0 0
1800.05/1800.53 c pseudoobj : 1068.06 9625349 776544 10893339
1800.05/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.53 c propagation : 408.88 1416647 1416647 1416647 67.7 27096 39.7 -
1800.05/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.53 c pseudo solution : 8.48 12552 12552 12552 59.9 430 50.9 -
1800.05/1800.53 c applied globally : - - - 1456725 67.1 - - -
1800.05/1800.53 c applied locally : - - - 0 0.0 - - -
1800.05/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.53 c redcost : 0.00 0 0 0 0 0
1800.05/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.53 c intobj : 0.00 0 0 0 0 0
1800.05/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.53 c gomory : 0.00 0 0 0 0 0
1800.05/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.53 c cmir : 0.00 0 0 0 0 0
1800.05/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.53 c clique : 0.00 0 0 0 0 0
1800.05/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.53 c mcf : 0.00 0 0 0 0 0
1800.05/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.53 c Pricers : Time Calls Vars
1800.05/1800.53 c problem variables: 0.00 0 0
1800.05/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.53 c inference : 41.86 1860843 0 0 0 0 3721686
1800.05/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.53 c random : 0.00 0 0 0 0 0 0
1800.05/1800.53 c Primal Heuristics : Time Calls Found
1800.05/1800.53 c LP solutions : 0.00 - 0
1800.05/1800.53 c pseudo solutions : 0.00 - 5
1800.05/1800.53 c oneopt : 2.17 0 0
1800.05/1800.53 c trivial : 0.01 2 0
1800.05/1800.53 c simplerounding : 0.00 0 0
1800.05/1800.53 c zirounding : 0.00 0 0
1800.05/1800.53 c rounding : 0.00 0 0
1800.05/1800.53 c shifting : 0.00 0 0
1800.05/1800.53 c intshifting : 0.00 0 0
1800.05/1800.53 c twoopt : 0.00 0 0
1800.05/1800.53 c fixandinfer : 0.00 0 0
1800.05/1800.53 c feaspump : 0.00 0 0
1800.05/1800.53 c coefdiving : 0.00 0 0
1800.05/1800.53 c pscostdiving : 0.00 0 0
1800.05/1800.53 c fracdiving : 0.00 0 0
1800.05/1800.53 c veclendiving : 0.00 0 0
1800.05/1800.53 c intdiving : 0.00 0 0
1800.05/1800.53 c actconsdiving : 0.00 0 0
1800.05/1800.53 c objpscostdiving : 0.00 0 0
1800.05/1800.53 c rootsoldiving : 0.00 0 0
1800.05/1800.53 c linesearchdiving : 0.00 0 0
1800.05/1800.53 c guideddiving : 0.00 0 0
1800.05/1800.53 c octane : 0.00 0 0
1800.05/1800.53 c rens : 0.00 0 0
1800.05/1800.53 c rins : 0.00 0 0
1800.05/1800.53 c localbranching : 0.00 0 0
1800.05/1800.53 c mutation : 0.00 0 0
1800.05/1800.53 c crossover : 0.00 0 0
1800.05/1800.53 c dins : 0.00 0 0
1800.05/1800.53 c undercover : 0.00 0 0
1800.05/1800.53 c nlp : 1.30 0 0
1800.05/1800.53 c trysol : 1.39 0 0
1800.05/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.53 c (at root node) : - 0 0 0.00 -
1800.05/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.53 c B&B Tree :
1800.05/1800.53 c number of runs : 1
1800.05/1800.53 c nodes : 2564327
1800.05/1800.53 c nodes (total) : 2564327
1800.05/1800.53 c nodes left : 1018
1800.05/1800.53 c max depth : 1064
1800.05/1800.53 c max depth (total): 1064
1800.05/1800.53 c backtracks : 853873 (33.3%)
1800.05/1800.53 c delayed cutoffs : 916605
1800.05/1800.53 c repropagations : 1836895 (8894982 domain reductions, 725720 cutoffs)
1800.05/1800.53 c avg switch length: 2.53
1800.05/1800.53 c switching time : 90.30
1800.05/1800.53 c Solution :
1800.05/1800.53 c Solutions found : 5 (5 improvements)
1800.05/1800.53 c First Solution : +3.90000000000000e+01 (in run 1, after 1065 nodes, 0.99 seconds, depth 1064, found by <relaxation>)
1800.05/1800.53 c Primal Bound : +3.50000000000000e+01 (in run 1, after 1043012 nodes, 683.28 seconds, depth 1045, found by <relaxation>)
1800.05/1800.53 c Dual Bound : +0.00000000000000e+00
1800.05/1800.53 c Gap : infinite
1800.05/1800.53 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.53 c Root Iterations : 0
1800.05/1800.59 c Time complete: 1800.13.
OK 35
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663944-1276636699/watcher-2663944-1276636699 -o /tmp/evaluation-result-2663944-1276636699/solver-2663944-1276636699 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663944-1276636699.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4651 /proc/meminfo: memFree=1816776/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=5556 CPUtime=0 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 885 0 0 0 0 0 0 0 18 0 1 0 39273806 5689344 808 1992294400 4194304 7136930 140734852034320 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4651/statm: 1389 808 249 719 0 668 0 [startup+0.010293 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4651 /proc/meminfo: memFree=1816776/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=7612 CPUtime=0 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 1234 0 0 0 0 0 0 0 18 0 1 0 39273806 7794688 1156 1992294400 4194304 7136930 140734852034320 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4651/statm: 1903 1165 254 719 0 1182 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7612 [startup+0.101275 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4651 /proc/meminfo: memFree=1816776/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=14376 CPUtime=0.09 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 3091 0 0 0 8 1 0 0 21 0 1 0 39273806 14721024 3013 1992294400 4194304 7136930 140734852034320 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4651/statm: 3594 3013 271 719 0 2873 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14376 [startup+0.301294 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4651 /proc/meminfo: memFree=1816776/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=19344 CPUtime=0.29 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 4679 0 0 0 28 1 0 0 21 0 1 0 39273806 19808256 4247 1992294400 4194304 7136930 140734852034320 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 4836 4259 282 719 0 4115 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19344 [startup+0.701331 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4651 /proc/meminfo: memFree=1816776/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=42248 CPUtime=0.69 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 11956 0 0 0 61 8 0 0 22 0 1 0 39273806 43261952 9694 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 10562 9694 355 719 0 9841 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42248 [startup+1.50141 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4652 /proc/meminfo: memFree=1777088/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=44572 CPUtime=1.49 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 12980 0 0 0 139 10 0 0 25 0 1 0 39273806 45641728 10362 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11143 10362 389 719 0 10422 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44572 [startup+3.10156 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4652 /proc/meminfo: memFree=1776468/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=44720 CPUtime=3.1 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13001 0 0 0 292 18 0 0 25 0 1 0 39273806 45793280 10383 1992294400 4194304 7136930 140734852034320 18446744073709551615 5506773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11180 10383 389 719 0 10459 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 44720 [startup+6.30086 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4652 /proc/meminfo: memFree=1775972/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45072 CPUtime=6.29 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13058 0 0 0 600 29 0 0 25 0 1 0 39273806 46153728 10440 1992294400 4194304 7136930 140734852034320 18446744073709551615 5506134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11268 10440 390 719 0 10547 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45072 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4654 /proc/meminfo: memFree=1775724/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45072 CPUtime=12.69 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13085 0 0 0 1214 55 0 0 25 0 1 0 39273806 46153728 10467 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11268 10467 390 719 0 10547 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45072 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4654 /proc/meminfo: memFree=1775476/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45476 CPUtime=25.48 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13166 0 0 0 2450 98 0 0 25 0 1 0 39273806 46567424 10548 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11369 10548 390 719 0 10648 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45476 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4654 /proc/meminfo: memFree=1775352/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45608 CPUtime=51.08 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13209 0 0 0 4912 196 0 0 25 0 1 0 39273806 46702592 10591 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11402 10591 390 719 0 10681 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45608 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4656 /proc/meminfo: memFree=1775228/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45744 CPUtime=102.28 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13237 0 0 0 9840 388 0 0 25 0 1 0 39273806 46841856 10619 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11436 10619 390 719 0 10715 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 45744 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4658 /proc/meminfo: memFree=1774856/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45876 CPUtime=162.25 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13263 0 0 0 15625 600 0 0 25 0 1 0 39273806 46977024 10645 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11469 10645 390 719 0 10748 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45876 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4658 /proc/meminfo: memFree=1774856/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=45876 CPUtime=222.23 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13282 0 0 0 21408 815 0 0 25 0 1 0 39273806 46977024 10664 1992294400 4194304 7136930 140734852034320 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11469 10664 390 719 0 10748 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45876 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4660 /proc/meminfo: memFree=1774608/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46016 CPUtime=282.22 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13305 0 0 0 27190 1032 0 0 25 0 1 0 39273806 47120384 10687 1992294400 4194304 7136930 140734852034320 18446744073709551615 4704207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11504 10687 390 719 0 10783 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 46016 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4662 /proc/meminfo: memFree=1774360/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46156 CPUtime=342.2 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13355 0 0 0 32972 1248 0 0 25 0 1 0 39273806 47263744 10737 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11539 10737 390 719 0 10818 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 46156 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4664 /proc/meminfo: memFree=1774112/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46436 CPUtime=402.19 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13399 0 0 0 38762 1457 0 0 25 0 1 0 39273806 47550464 10781 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11609 10781 390 719 0 10888 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 46436 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4666 /proc/meminfo: memFree=1773988/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46436 CPUtime=462.17 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13409 0 0 0 44542 1675 0 0 25 0 1 0 39273806 47550464 10791 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11609 10791 390 719 0 10888 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 46436 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4666 /proc/meminfo: memFree=1773864/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46436 CPUtime=522.16 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13414 0 0 0 50325 1891 0 0 25 0 1 0 39273806 47550464 10796 1992294400 4194304 7136930 140734852034320 18446744073709551615 5909545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11609 10796 390 719 0 10888 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 46436 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4668 /proc/meminfo: memFree=1773740/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46436 CPUtime=582.14 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13416 0 0 0 56101 2113 0 0 25 0 1 0 39273806 47550464 10798 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11609 10798 390 719 0 10888 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 46436 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4670 /proc/meminfo: memFree=1773616/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46436 CPUtime=642.14 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13419 0 0 0 61878 2336 0 0 25 0 1 0 39273806 47550464 10801 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11609 10801 390 719 0 10888 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 46436 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4676 /proc/meminfo: memFree=1772996/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46704 CPUtime=882.07 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13497 0 0 0 85026 3181 0 0 25 0 1 0 39273806 47824896 10879 1992294400 4194304 7136930 140734852034320 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11676 10879 390 719 0 10955 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 46704 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4678 /proc/meminfo: memFree=1772872/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46704 CPUtime=942.06 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13501 0 0 0 90808 3398 0 0 25 0 1 0 39273806 47824896 10883 1992294400 4194304 7136930 140734852034320 18446744073709551615 4661330 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11676 10883 390 719 0 10955 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 46704 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4680 /proc/meminfo: memFree=1772748/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1002.04 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13502 0 0 0 96588 3616 0 0 25 0 1 0 39273806 47960064 10884 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10884 390 719 0 10988 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 46836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4682 /proc/meminfo: memFree=1772624/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1062.03 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13510 0 0 0 102376 3827 0 0 25 0 1 0 39273806 47960064 10892 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10892 390 719 0 10988 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 46836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4682 /proc/meminfo: memFree=1772500/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1122.01 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13510 0 0 0 108163 4038 0 0 25 0 1 0 39273806 47960064 10892 1992294400 4194304 7136930 140734852034320 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10892 390 719 0 10988 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 46836 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4684 /proc/meminfo: memFree=1772376/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1181.99 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13514 0 0 0 113946 4253 0 0 25 0 1 0 39273806 47960064 10896 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10896 390 719 0 10988 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 46836 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4686 /proc/meminfo: memFree=1772252/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1241.98 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13514 0 0 0 119728 4470 0 0 25 0 1 0 39273806 47960064 10896 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10896 390 719 0 10988 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 46836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4688 /proc/meminfo: memFree=1772004/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1301.98 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13517 0 0 0 125506 4692 0 0 25 0 1 0 39273806 47960064 10899 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10899 390 719 0 10988 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 46836 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4690 /proc/meminfo: memFree=1772004/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1361.96 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13519 0 0 0 131296 4900 0 0 25 0 1 0 39273806 47960064 10901 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10901 390 719 0 10988 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 46836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4690 /proc/meminfo: memFree=1771880/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1421.94 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13520 0 0 0 137089 5105 0 0 25 0 1 0 39273806 47960064 10902 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10902 390 719 0 10988 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 46836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4692 /proc/meminfo: memFree=1771756/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1481.92 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13520 0 0 0 142881 5311 0 0 25 0 1 0 39273806 47960064 10902 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10902 390 719 0 10988 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 46836 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4694 /proc/meminfo: memFree=1771756/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1541.91 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13520 0 0 0 148669 5522 0 0 25 0 1 0 39273806 47960064 10902 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10902 390 719 0 10988 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 46836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4696 /proc/meminfo: memFree=1771632/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1601.9 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13527 0 0 0 154453 5737 0 0 25 0 1 0 39273806 47960064 10909 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10909 390 719 0 10988 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 46836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4698 /proc/meminfo: memFree=1771508/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1661.88 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13529 0 0 0 160241 5947 0 0 25 0 1 0 39273806 47960064 10911 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10911 390 719 0 10988 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 46836 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4698 /proc/meminfo: memFree=1771384/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1721.86 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13529 0 0 0 166027 6159 0 0 25 0 1 0 39273806 47960064 10911 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10911 390 719 0 10988 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 46836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4700 /proc/meminfo: memFree=1771136/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1781.85 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13532 0 0 0 171817 6368 0 0 25 0 1 0 39273806 47960064 10914 1992294400 4194304 7136930 140734852034320 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10914 390 719 0 10988 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 46836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4700 /proc/meminfo: memFree=1771136/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1800.05 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13533 0 0 0 173572 6433 0 0 25 0 1 0 39273806 47960064 10915 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10915 390 719 0 10988 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 46836 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4700 /proc/meminfo: memFree=1771136/2059040 swapFree=4140408/4192956 [pid=4651] ppid=4649 vsize=46836 CPUtime=1800.05 /proc/4651/stat : 4651 (pbscip.linux.x8) R 4649 4651 4320 0 -1 4202496 13533 0 0 0 173572 6433 0 0 25 0 1 0 39273806 47960064 10915 1992294400 4194304 7136930 140734852034320 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4651/statm: 11709 10915 390 719 0 10988 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 46836 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.15 CPU user time (s): 1735.81 CPU system time (s): 64.3372 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 46836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1735.81 system time used= 64.3372 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13557 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 5802 runsolver used 2.89256 second user time and 8.60569 second system time The end
Begin job on node004 at 2010-06-15 23:18:19 IDJOB=2663944 IDBENCH=24999 IDSOLVER=1167 FILE ID=node004/2663944-1276636699 PBS_JOBID= 11172381 Free space on /tmp= 62564 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_014_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-2663944-1276636699/watcher-2663944-1276636699 -o /tmp/evaluation-result-2663944-1276636699/solver-2663944-1276636699 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663944-1276636699.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=1873089566 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1817180 kB Buffers: 47120 kB Cached: 102748 kB SwapCached: 6480 kB Active: 75048 kB Inactive: 88764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1817180 kB SwapTotal: 4192956 kB SwapFree: 4140408 kB Dirty: 3640 kB Writeback: 0 kB AnonPages: 12168 kB Mapped: 13088 kB Slab: 56176 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181504 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= 62560 MiB End job on node004 at 2010-06-15 23:48:22