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) | 31 | 1800.11 | 1800.58 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
| MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2.94955 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 4666 |
| Total number of constraints | 12693 |
| Number of constraints which are clauses | 12693 |
| 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 | 2273 |
| 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 | 2273 |
| 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 | 2273 |
| 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-2663927-1276632328.opb>
0.19/0.24 c original problem has 4666 variables (4666 bin, 0 int, 0 impl, 0 cont) and 12693 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
0.19/0.24 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.32 c presolving:
0.39/0.44 c (round 1) 2379 del vars, 4585 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 0 clqs
0.39/0.45 c (round 2) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 0 clqs
0.49/0.55 c (round 3) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 7791 upgd conss, 20266 impls, 0 clqs
0.49/0.58 c (round 4) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 7817 upgd conss, 20266 impls, 0 clqs
0.59/0.67 c (0.4s) probing: 101/2285 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.67 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.67 c presolving (5 rounds):
0.59/0.67 c 2381 deleted vars, 4876 deleted constraints, 164 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.67 c 20266 implications, 0 cliques
0.59/0.67 c presolved problem has 2285 variables (2285 bin, 0 int, 0 impl, 0 cont) and 7817 constraints
0.59/0.67 c 7817 constraints of type <logicor>
0.59/0.67 c transformed objective value is always integral (scale: 1)
0.59/0.67 c Presolving Time: 0.32
0.59/0.67 c - non default parameters ----------------------------------------------------------------------
0.59/0.67 c # SCIP version 1.2.1.2
0.59/0.67 c
0.59/0.67 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c conflict/interconss = 0
0.59/0.67 c
0.59/0.67 c # should binary conflicts be preferred?
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c conflict/preferbinary = TRUE
0.59/0.67 c
0.59/0.67 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.67 c constraints/agelimit = 1
0.59/0.67 c
0.59/0.67 c # should enforcement of pseudo solution be disabled?
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/disableenfops = TRUE
0.59/0.67 c
0.59/0.67 c # frequency for displaying node information lines
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.67 c display/freq = 10000
0.59/0.67 c
0.59/0.67 c # maximal time in seconds to run
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/time = 1799.77
0.59/0.67 c
0.59/0.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/memory = 1620
0.59/0.67 c
0.59/0.67 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c lp/solvefreq = -1
0.59/0.67 c
0.59/0.67 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.59/0.67 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.67 c lp/pricing = a
0.59/0.67 c
0.59/0.67 c # should presolving try to simplify inequalities
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/linear/simplifyinequalities = TRUE
0.59/0.67 c
0.59/0.67 c # should presolving try to simplify knapsacks
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.67 c
0.59/0.67 c # priority of node selection rule <dfs> in standard mode
0.59/0.67 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.67 c nodeselection/dfs/stdpriority = 1000000
0.59/0.67 c
0.59/0.67 c -----------------------------------------------------------------------------------------------
0.59/0.67 c start solving
0.59/0.67 c
0.59/0.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.67 c 0.4s| 1 | 2 | 0 | - | 17M| 0 | - |2285 |7817 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1.19/1.23 o 34
1.19/1.23 c * 0.9s| 1089 | 1082 | 0 | 0.0 | 17M|1088 | - |2285 |7817 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1.19/1.27 o 33
1.19/1.27 c * 0.9s| 1177 | 1080 | 0 | 0.0 | 17M|1090 | - |2285 |7817 | 0 | 0 | 0 | 50 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
5.99/6.07 c 5.5s| 10000 | 1064 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 |4890 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
11.68/11.76 c 11.0s| 20000 | 1067 | 0 | 0.0 | 17M|1090 | - |2285 |7817 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
17.69/17.79 c 16.8s| 30000 | 1067 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
23.88/23.95 c 22.6s| 40000 | 1058 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
30.09/30.18 c 28.6s| 50000 | 1059 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
36.68/36.78 c 34.9s| 60000 | 1061 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
43.47/43.55 c 41.4s| 70000 | 1057 | 0 | 0.0 | 17M|1090 | - |2285 |7819 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
50.18/50.27 c 47.8s| 80000 | 1056 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
57.27/57.33 c 54.6s| 90000 | 1056 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
63.87/63.96 c 61.0s|100000 | 1054 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
70.77/70.85 c 67.6s|110000 | 1050 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
77.67/77.76 c 74.2s|120000 | 1053 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
84.57/84.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.57/84.67 c 80.8s|130000 | 1048 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
91.67/91.71 c 87.6s|140000 | 1056 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
98.57/98.68 c 94.3s|150000 | 1054 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
105.67/105.77 c 101s|160000 | 1057 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
112.86/112.93 c 108s|170000 | 1052 | 0 | 0.0 | 17M|1090 | - |2285 |7847 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
119.77/119.88 c 115s|180000 | 1053 | 0 | 0.0 | 17M|1090 | - |2285 |7822 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
127.05/127.15 c 122s|190000 | 1052 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
134.06/134.10 c 128s|200000 | 1050 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
141.15/141.26 c 135s|210000 | 1050 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
148.15/148.28 c 142s|220000 | 1051 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
155.25/155.38 c 149s|230000 | 1045 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
162.24/162.36 c 155s|240000 | 1051 | 0 | 0.0 | 17M|1090 | - |2285 |7820 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
169.25/169.37 c 162s|250000 | 1051 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
176.54/176.61 c 169s|260000 | 1052 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
183.55/183.64 c 176s|270000 | 1049 | 0 | 0.0 | 17M|1090 | - |2285 |7947 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
190.44/190.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.44/190.56 c 182s|280000 | 1047 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
197.73/197.88 c 189s|290000 | 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7844 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
205.13/205.26 c 197s|300000 | 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7820 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
212.54/212.64 c 204s|310000 | 1051 | 0 | 0.0 | 17M|1090 | - |2285 |7818 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
214.63/214.75 o 32
214.63/214.75 c * 206s|312963 | 1062 | 0 | 0.0 | 17M|1090 | - |2285 |7820 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
215.44/215.56 o 31
215.44/215.56 c * 206s|314036 | 1063 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
220.04/220.12 c 211s|320000 | 1049 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
227.64/227.74 c 218s|330000 | 1047 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
235.53/235.67 c 226s|340000 | 1050 | 0 | 0.0 | 17M|1090 | - |2285 |7838 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
243.42/243.51 c 233s|350000 | 1047 | 0 | 0.0 | 17M|1090 | - |2285 |7821 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
251.43/251.56 c 241s|360000 | 1048 | 0 | 0.0 | 17M|1090 | - |2285 |7925 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
259.43/259.54 c 249s|370000 | 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7842 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
267.62/267.75 c 257s|380000 | 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7840 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
275.42/275.54 c 264s|390000 | 1048 | 0 | 0.0 | 17M|1090 | - |2285 |7846 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
283.22/283.38 c 272s|400000 | 1047 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
290.91/291.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.91/291.02 c 279s|410000 | 1045 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
299.12/299.27 c 287s|420000 | 1049 | 0 | 0.0 | 17M|1090 | - |2285 |7822 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
307.02/307.18 c 294s|430000 | 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
315.01/315.15 c 302s|440000 | 1046 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
323.00/323.19 c 310s|450000 | 1045 | 0 | 0.0 | 17M|1090 | - |2285 |7826 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
331.10/331.29 c 318s|460000 | 1048 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
339.00/339.12 c 325s|470000 | 1048 | 0 | 0.0 | 17M|1090 | - |2285 |7822 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
346.70/346.86 c 333s|480000 | 1045 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
354.70/354.82 c 340s|490000 | 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
362.80/363.00 c 348s|500000 | 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
371.19/371.32 c 356s|510000 | 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
379.29/379.49 c 364s|520000 | 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7818 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
387.19/387.33 c 372s|530000 | 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
395.09/395.22 c 379s|540000 | 1046 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
402.98/403.14 c 387s|550000 | 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
410.88/411.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.88/411.08 c 394s|560000 | 1047 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
419.18/419.39 c 402s|570000 | 1047 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
427.48/427.62 c 410s|580000 | 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
435.68/435.90 c 418s|590000 | 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
443.77/443.99 c 426s|600000 | 1045 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
452.17/452.31 c 434s|610000 | 1046 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
460.17/460.39 c 442s|620000 | 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
467.97/468.18 c 449s|630000 | 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
476.17/476.39 c 457s|640000 | 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7845 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
484.27/484.41 c 465s|650000 | 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7838 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
492.36/492.54 c 473s|660000 | 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
500.86/501.02 c 481s|670000 | 1046 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
509.07/509.21 c 489s|680000 | 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
516.86/517.06 c 496s|690000 | 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
524.75/524.95 c 504s|700000 | 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7838 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
532.25/532.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.25/532.41 c 511s|710000 | 1045 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
540.35/540.58 c 519s|720000 | 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
548.84/549.06 c 527s|730000 | 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
556.94/557.10 c 535s|740000 | 1033 | 0 | 0.0 | 17M|1090 | - |2285 |7842 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
565.25/565.42 c 543s|750000 | 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7843 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
573.44/573.69 c 551s|760000 | 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
581.84/582.09 c 559s|770000 | 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
590.83/591.03 c 567s|780000 | 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7823 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
599.83/600.06 c 576s|790000 | 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7823 | 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
609.03/609.20 c 585s|800000 | 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7843 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
618.13/618.33 c 594s|810000 | 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7823 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
626.73/626.99 c 602s|820000 | 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
635.32/635.58 c 610s|830000 | 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
645.12/645.35 c 620s|840000 | 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
655.22/655.46 c 629s|850000 | 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7821 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
663.82/664.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.82/664.07 c 638s|860000 | 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
672.72/672.96 c 646s|870000 | 1046 | 0 | 0.0 | 17M|1090 | - |2285 |7821 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
681.91/682.10 c 655s|880000 | 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7820 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
690.11/690.34 c 663s|890000 | 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7819 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
698.31/698.54 c 671s|900000 | 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
706.50/706.71 c 679s|910000 | 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
715.50/715.71 c 687s|920000 | 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
724.20/724.40 c 696s|930000 | 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
732.80/733.03 c 704s|940000 | 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
740.59/740.85 c 711s|950000 | 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
749.19/749.46 c 720s|960000 | 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
757.69/757.93 c 728s|970000 | 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
766.39/766.67 c 736s|980000 | 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7844 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
774.68/774.94 c 744s|990000 | 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
783.29/783.58 c 752s| 1000k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7840 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
792.18/792.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.18/792.42 c 761s| 1010k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
800.38/800.61 c 769s| 1020k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
808.48/808.72 c 777s| 1030k| 1044 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
816.48/816.72 c 784s| 1040k| 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
824.97/825.27 c 793s| 1050k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7820 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
833.87/834.14 c 801s| 1060k| 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7843 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
842.07/842.36 c 809s| 1070k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
850.17/850.43 c 817s| 1080k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
859.26/859.54 c 825s| 1090k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
868.56/868.87 c 834s| 1100k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
878.56/878.88 c 844s| 1110k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
887.55/887.84 c 853s| 1120k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
896.46/896.73 c 861s| 1130k| 1033 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
905.45/905.73 c 870s| 1140k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
914.25/914.55 c 878s| 1150k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
923.25/923.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.25/923.59 c 887s| 1160k| 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
931.65/931.96 c 895s| 1170k| 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
939.54/939.83 c 903s| 1180k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7823 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
947.74/948.04 c 911s| 1190k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
956.54/956.89 c 919s| 1200k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
965.45/965.71 c 928s| 1210k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
973.84/974.17 c 936s| 1220k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
982.83/983.11 c 944s| 1230k| 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
991.63/991.91 c 953s| 1240k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1000.63/1000.97 c 961s| 1250k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1009.33/1009.65 c 970s| 1260k| 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1018.62/1018.98 c 979s| 1270k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7842 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1027.72/1028.10 c 988s| 1280k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1036.93/1037.25 c 996s| 1290k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1046.12/1046.44 c 1005s| 1300k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1055.21/1055.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.21/1055.53 c 1014s| 1310k| 1029 | 0 | 0.0 | 17M|1090 | - |2285 |7849 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1063.61/1063.92 c 1022s| 1320k| 1043 | 0 | 0.0 | 17M|1090 | - |2285 |7838 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1072.51/1072.81 c 1031s| 1330k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7840 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1080.80/1081.12 c 1039s| 1340k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1089.40/1089.71 c 1047s| 1350k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7844 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1097.70/1098.05 c 1055s| 1360k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7842 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1106.30/1106.66 c 1063s| 1370k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7844 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1115.10/1115.50 c 1072s| 1380k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1124.00/1124.34 c 1080s| 1390k| 1029 | 0 | 0.0 | 17M|1090 | - |2285 |7838 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1132.80/1133.18 c 1089s| 1400k| 1028 | 0 | 0.0 | 17M|1090 | - |2285 |7846 | 0 | 0 | 0 | 796k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1141.99/1142.39 c 1098s| 1410k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7845 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1150.89/1151.30 c 1106s| 1420k| 1033 | 0 | 0.0 | 17M|1090 | - |2285 |7850 | 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1159.19/1159.51 c 1114s| 1430k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7821 | 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1167.69/1168.04 c 1122s| 1440k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7818 | 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1176.28/1176.62 c 1130s| 1450k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1184.88/1185.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1184.88/1185.29 c 1139s| 1460k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7818 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1193.88/1194.29 c 1147s| 1470k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1203.88/1204.29 c 1157s| 1480k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1212.78/1213.13 c 1166s| 1490k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1221.57/1221.96 c 1174s| 1500k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1230.07/1230.46 c 1182s| 1510k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1239.06/1239.45 c 1191s| 1520k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7823 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1247.67/1248.09 c 1199s| 1530k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1256.16/1256.59 c 1207s| 1540k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1264.45/1264.86 c 1215s| 1550k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7847 | 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1272.86/1273.30 c 1223s| 1560k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1281.75/1282.11 c 1232s| 1570k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1290.15/1290.52 c 1240s| 1580k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7848 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1298.95/1299.39 c 1248s| 1590k| 1033 | 0 | 0.0 | 17M|1090 | - |2285 |7838 | 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1307.75/1308.14 c 1257s| 1600k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7857 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1316.84/1317.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.84/1317.26 c 1266s| 1610k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7840 | 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1326.04/1326.42 c 1274s| 1620k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1334.55/1334.92 c 1283s| 1630k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7845 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1343.24/1343.69 c 1291s| 1640k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1351.63/1352.00 c 1299s| 1650k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1359.94/1360.33 c 1307s| 1660k| 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1368.63/1369.02 c 1315s| 1670k| 1027 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1377.43/1377.82 c 1324s| 1680k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1385.92/1386.36 c 1332s| 1690k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7845 | 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1394.22/1394.61 c 1340s| 1700k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 | 968k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1402.32/1402.73 c 1348s| 1710k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1411.02/1411.41 c 1356s| 1720k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1420.01/1420.45 c 1365s| 1730k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 | 986k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1429.01/1429.46 c 1374s| 1740k| 1029 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1437.91/1438.37 c 1382s| 1750k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1446.81/1447.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.81/1447.28 c 1391s| 1760k| 1042 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 |1004k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1456.31/1456.75 c 1400s| 1770k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1465.50/1465.96 c 1409s| 1780k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1474.71/1475.19 c 1417s| 1790k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1484.30/1484.74 c 1427s| 1800k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7826 | 0 | 0 | 0 |1028k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1493.50/1493.94 c 1435s| 1810k| 1038 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1502.90/1503.39 c 1445s| 1820k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7844 | 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1512.59/1513.02 c 1454s| 1830k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7833 | 0 | 0 | 0 |1045k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1521.89/1522.32 c 1463s| 1840k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 |1051k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1531.79/1532.30 c 1472s| 1850k| 1026 | 0 | 0.0 | 17M|1090 | - |2285 |7846 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1541.18/1541.63 c 1481s| 1860k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1550.59/1551.02 c 1490s| 1870k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1559.98/1560.42 c 1499s| 1880k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1569.28/1569.74 c 1508s| 1890k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 |1081k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1578.27/1578.77 c 1517s| 1900k| 1029 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1587.77/1588.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.77/1588.22 c 1526s| 1910k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1596.97/1597.41 c 1535s| 1920k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7840 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1605.58/1606.01 c 1543s| 1930k| 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7826 | 0 | 0 | 0 |1104k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1613.57/1614.07 c 1551s| 1940k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7827 | 0 | 0 | 0 |1110k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1621.77/1622.22 c 1559s| 1950k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 |1115k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1630.46/1630.95 c 1567s| 1960k| 1040 | 0 | 0.0 | 17M|1090 | - |2285 |7836 | 0 | 0 | 0 |1121k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1638.86/1639.30 c 1575s| 1970k| 1039 | 0 | 0.0 | 17M|1090 | - |2285 |7832 | 0 | 0 | 0 |1127k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1647.45/1647.95 c 1584s| 1980k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7826 | 0 | 0 | 0 |1133k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1655.55/1656.06 c 1591s| 1990k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1664.55/1665.06 c 1600s| 2000k| 1032 | 0 | 0.0 | 17M|1090 | - |2285 |7830 | 0 | 0 | 0 |1145k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1673.45/1673.98 c 1609s| 2010k| 1041 | 0 | 0.0 | 17M|1090 | - |2285 |7825 | 0 | 0 | 0 |1150k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1682.46/1682.97 c 1617s| 2020k| 1029 | 0 | 0.0 | 17M|1090 | - |2285 |7824 | 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1691.25/1691.75 c 1626s| 2030k| 1036 | 0 | 0.0 | 17M|1090 | - |2285 |7839 | 0 | 0 | 0 |1162k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1700.24/1700.71 c 1634s| 2040k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 |1168k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1709.14/1709.67 c 1643s| 2050k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 |1174k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1718.44/1718.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1718.44/1718.93 c 1652s| 2060k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7837 | 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1727.64/1728.16 c 1661s| 2070k| 1033 | 0 | 0.0 | 17M|1090 | - |2285 |7821 | 0 | 0 | 0 |1186k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1737.13/1737.66 c 1670s| 2080k| 1031 | 0 | 0.0 | 17M|1090 | - |2285 |7831 | 0 | 0 | 0 |1192k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1745.83/1746.30 c 1678s| 2090k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7835 | 0 | 0 | 0 |1198k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1754.23/1754.74 c 1686s| 2100k| 1034 | 0 | 0.0 | 17M|1090 | - |2285 |7841 | 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1762.74/1763.23 c 1694s| 2110k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7848 | 0 | 0 | 0 |1209k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1771.02/1771.53 c 1702s| 2120k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 |1215k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1779.93/1780.41 c 1711s| 2130k| 1037 | 0 | 0.0 | 17M|1090 | - |2285 |7829 | 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1788.92/1789.47 c 1720s| 2140k| 1035 | 0 | 0.0 | 17M|1090 | - |2285 |7828 | 0 | 0 | 0 |1227k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1798.81/1799.38 c 1729s| 2150k| 1030 | 0 | 0.0 | 17M|1090 | - |2285 |7834 | 0 | 0 | 0 |1233k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1730.25
1800.02/1800.50 c Solving Nodes : 2151344
1800.02/1800.50 c Primal Bound : +3.10000000000000e+01 (4 solutions)
1800.02/1800.50 c Dual Bound : +1.00000000000000e+00
1800.02/1800.50 c Gap : 3000.00 %
1800.02/1800.52 s SATISFIABLE
1800.02/1800.52 v x187 x186 x4663 -x4661 x185 -x4658 -x4656 -x184 -x4654 -x4652 x4650 x183 -x4648 -x4646 -x4644 -x4642 -x4639 -x182 -x4637 x181 -x4634
1800.02/1800.52 v -x4632 -x180 -x4630 -x4628 -x179 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x178 -x4613 -x4611 -x4609 -x177 -x4607 -x4605
1800.02/1800.52 v -x4603 -x4601 -x4599 -x4597 -x4595 -x176 -x4593 -x4591 -x4589 -x4587 -x4585 -x4582 x4580 x175 -x4577 -x4575 x4573 -x4571 x4569
1800.02/1800.52 v x174 -x4567 -x4565 x4563 -x4561 -x4557 -x4555 -x4553 -x4551 -x173 -x4549 -x4547 -x4544 -x4542 -x4540 -x4538 -x172 -x4536
1800.02/1800.52 v -x4534 -x4532 x171 x4530 -x4527 -x4525 -x4523 -x4521 -x4519 -x170 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x169 -x4503
1800.02/1800.52 v -x4501 -x4499 -x4496 -x4494 -x4492 -x168 -x4490 -x4488 -x4486 -x4484 -x4482 x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467
1800.02/1800.52 v -x4465 -x4463 -x4461 -x167 -x4458 -x4456 -x166 -x4454 -x4452 -x4450 -x165 -x4448 -x4445 -x4443 -x4440 -x4438 -x164 -x4436
1800.02/1800.52 v -x4434 -x163 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x162 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x161 -x4404
1800.02/1800.52 v -x4402 -x4400 -x160 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x159 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x158
1800.02/1800.52 v -x4372 -x4370 x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338
1800.02/1800.52 v -x4336 -x4334 -x4332 -x4330 -x157 -x4328 -x4326 -x4324 -x156 -x4322 -x4320 -x4318 -x4315 -x4313 -x4311 -x155 -x4309 -x4307
1800.02/1800.52 v -x4305 -x4303 -x4301 -x4299 -x4297 -x154 -x4295 -x4293 -x4291 -x4289 -x4287 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272
1800.02/1800.52 v -x4270 -x4268 -x153 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x152 -x4252 -x4250 -x4248 -x4246 -x4244 -x4241 -x151 -x4239
1800.02/1800.52 v -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x150 -x4209 -x4207 -x4205
1800.02/1800.52 v -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 x4187 -x4185 -x4183 -x4181 -x4179 -x149 -x4176 -x4174 -x148 -x4172
1800.02/1800.52 v -x4170 -x4168 -x147 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x146 -x4151 -x4149 x4147 -x4145 -x4143 -x4140 -x4138
1800.02/1800.52 v -x4136 -x145 -x4134 -x4132 -x4130 -x4128 -x4126 -x4123 -x144 -x4120 x4118 x143 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104
1800.02/1800.52 v -x142 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x141 -x4088 -x4086 -x4084 x4082 -x4080 -x4078 -x4076 -x4074 -x4072
1800.02/1800.52 v -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x140 -x4043 -x4041 -x4039 -x4037
1800.02/1800.52 v -x4035 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4019 -x139 -x4017 -x4015 -x4013 -x138 -x4011 -x4009 -x4007 -x4005 -x4003
1800.02/1800.52 v -x4001 -x137 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x136 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970
1800.02/1800.52 v -x3968 -x3966 -x3963 -x3961 -x3959 -x3957 -x135 -x3955 -x3953 -x3951 -x3948 -x3946 -x3944 -x134 -x3942 -x3940 -x3938 -x3936
1800.02/1800.52 v -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x133 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902
1800.02/1800.52 v -x3900 -x132 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x131 -x3868
1800.02/1800.52 v -x3866 -x3864 -x130 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x129 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836
1800.02/1800.52 v -x128 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x127 -x3804
1800.02/1800.52 v -x3801 -x3799 -x3797 -x3795 -x3793 -x126 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769
1800.02/1800.52 v -x3767 -x3765 -x3763 -x125 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x124 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737
1800.02/1800.52 v -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x123 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703
1800.02/1800.52 v -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x122 -x3687 -x3685 -x3683 -x3681 -x3678 -x3676 -x121 -x3674 -x3672 -x3670
1800.02/1800.52 v -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x120 -x3644 -x3642 -x3640 -x3638 -x3636
1800.02/1800.52 v -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x119 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3601
1800.02/1800.52 v -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565
1800.02/1800.52 v -x3563 -x3561 -x3559 x3557 -x3555 x118 -x3552 -x3550 -x117 -x3548 -x3546 -x3544 -x116 -x3542 -x3540 -x3538 -x3535 -x3533 -x3531
1800.02/1800.52 v -x115 -x3529 -x3527 -x3525 -x114 -x3523 -x3521 -x3519 x3517 -x3515 -x3513 -x3511 x113 -x3509 -x3507 -x3505 -x3503 -x3501
1800.02/1800.52 v -x3499 -x3497 -x112 -x3495 -x3493 -x111 -x3491 -x3489 -x3487 -x3484 -x3482 -x3480 x3478 -x3476 -x3474 -x3472 -x3470 -x3468
1800.02/1800.52 v -x3466 -x110 -x3464 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x109 -x3435 -x3433
1800.02/1800.52 v -x3431 -x3429 -x3427 -x3425 -x108 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398
1800.02/1800.52 v -x3396 -x3394 -x107 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3372 -x3370 -x3368 -x3366 -x106 -x3364
1800.02/1800.52 v -x3362 -x3360 -x105 -x3358 -x3355 -x3353 -x3351 -x3349 -x3347 -x104 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x103
1800.02/1800.52 v -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x102 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299
1800.02/1800.52 v -x3297 -x3295 -x3293 -x3291 -x3289 -x101 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x100 -x3273 -x3271 -x3269 -x3267
1800.02/1800.52 v -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x99 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232
1800.02/1800.52 v -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x98 -x3215 -x3213 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196
1800.02/1800.52 v -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3161 -x3159
1800.02/1800.52 v -x3157 -x97 -x3155 -x3153 -x3151 -x96 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x95 -x3135 -x3133 -x3131 -x3129 -x3127
1800.02/1800.52 v -x3125 -x3123 -x94 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093
1800.02/1800.52 v -x93 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x92 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x91 -x3063 -x3061
1800.02/1800.52 v -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x90 -x3034 -x3032 -x3030 -x3028 -x3026
1800.02/1800.52 v -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x89 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992
1800.02/1800.52 v -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2961 -x2959 -x2957 -x2955
1800.02/1800.52 v -x2953 -x2951 -x2949 -x88 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x87 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923
1800.02/1800.52 v -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x86 -x2903 -x2901 -x2899 -x85 -x2897 -x2895 -x2893 -x2891 -x2889
1800.02/1800.52 v -x2887 -x2885 -x84 -x2883 -x2881 -x2879 x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2858 -x83 -x2856
1800.02/1800.52 v -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x82 -x2826 -x2824 -x2822 -x2820
1800.02/1800.52 v x2818 -x2816 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x81
1800.02/1800.52 v -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2762 -x2760 -x2758 -x2756 -x80 -x2754 -x2752 -x2750
1800.02/1800.52 v -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x79 -x2724 -x2722 -x2720 -x2718 -x2716
1800.02/1800.52 v -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680
1800.02/1800.52 v -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x78 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x77 -x2649 -x2647
1800.02/1800.52 v -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x76 -x2619 -x2617 -x2615 -x2613 -x2611
1800.02/1800.52 v -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2596 -x2594 -x2592 -x75 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576
1800.02/1800.52 v -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x74 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542
1800.02/1800.52 v -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506
1800.02/1800.52 v -x2504 -x2502 -x2500 -x73 -x2498 -x2495 -x2493 -x2491 -x2489 -x2487 -x72 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473
1800.02/1800.52 v -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x71 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 x2438
1800.02/1800.52 v -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402
1800.02/1800.52 v -x2400 -x2398 -x70 -x2396 -x2394 -x2392 -x2390 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367
1800.02/1800.52 v -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 x2335 -x69 -x2332 -x2330
1800.02/1800.52 v -x68 -x2328 -x2326 -x2324 -x67 -x2322 -x2320 -x2317 -x2315 -x2313 -x2311 -x66 -x2309 -x2307 -x2305 -x65 -x2303 -x2301 -x2299
1800.02/1800.52 v -x2297 -x2295 -x2293 -x2291 -x64 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x63 -x2275 -x2273 -x2271 -x62 -x2269
1800.02/1800.52 v -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x61 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x60 -x2241 -x2239 -x2237 -x2235
1800.02/1800.52 v -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x59 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201
1800.02/1800.52 v -x2199 -x58 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x57
1800.02/1800.52 v -x2167 -x2165 -x2163 -x56 -x2161 -x2159 -x2156 -x2154 -x2152 -x2150 -x55 -x2148 -x2146 -x2144 -x2142 -x2139 -x2137 -x54 -x2135
1800.02/1800.52 v -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x53 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101
1800.02/1800.52 v -x2099 -x2097 -x2095 -x2093 -x52 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x51 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066
1800.02/1800.52 v -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x50 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032
1800.02/1800.52 v -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x49 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998
1800.02/1800.52 v -x1996 -x1994 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961
1800.02/1800.52 v -x1959 -x48 -x1957 -x1955 -x1953 -x47 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x46 -x1937 -x1935 -x1933 -x1931 -x1929
1800.02/1800.52 v -x1927 -x1925 -x45 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895
1800.02/1800.52 v -x44 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x43 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863
1800.02/1800.52 v -x1861 -x1859 -x1857 -x1855 -x1853 -x42 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x41 -x1837 -x1835 -x1833 -x1831 -x1829
1800.02/1800.52 v -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x40 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795
1800.02/1800.52 v -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x39 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761
1800.02/1800.52 v -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724
1800.02/1800.52 v -x1722 -x1720 -x1718 -x38 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x37 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692
1800.02/1800.52 v -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x36 -x1672 -x1670 -x1668 -x35 -x1666 -x1664 -x1662 -x1660 -x1658
1800.02/1800.52 v -x1656 -x1654 -x34 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x33 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625
1800.02/1800.52 v -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x32 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x31 -x1595 -x1593
1800.02/1800.52 v -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x30 -x1565 -x1563 -x1561 -x1559 -x1557
1800.02/1800.52 v -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x29 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523
1800.02/1800.52 v -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487
1800.02/1800.52 v -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 x1473 -x1471 -x1469 -x28 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x27
1800.02/1800.52 v -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x26 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421
1800.02/1800.52 v -x1419 -x1417 -x1415 -x1413 -x1411 -x25 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x24 -x1395 -x1393 -x1391 -x1389 -x1387
1800.02/1800.52 v -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x23 -x1366 x1364 -x1362 -x1360 -x1358 -x1356 -x1354 x22
1800.02/1800.52 v -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1325 -x21 -x1323 -x1321 -x1319 -x1317
1800.02/1800.52 v -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x20 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283
1800.02/1800.52 v -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247
1800.02/1800.52 v -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x19 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213
1800.02/1800.52 v -x1211 -x1209 -x1207 -x1205 -x1203 -x18 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179
1800.02/1800.52 v -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142
1800.02/1800.52 v -x17 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x16 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110
1800.02/1800.52 v -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x15 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076
1800.02/1800.52 v -x1074 -x1072 -x1070 -x1068 -x14 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042
1800.02/1800.52 v -x1040 -x1038 -x13 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006
1800.02/1800.52 v -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x12 -x974 -x972 -x970 -x968
1800.02/1800.52 v -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x11 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928
1800.02/1800.52 v -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886
1800.02/1800.52 v -x10 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846
1800.02/1800.52 v -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x9 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806
1800.02/1800.52 v -x804 x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764
1800.02/1800.52 v -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722
1800.02/1800.52 v -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x8 -x682
1800.02/1800.52 v -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x7 -x652 -x650 -x648 -x646 -x644 -x642
1800.02/1800.52 v -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x6 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602
1800.02/1800.52 v -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x5
1800.02/1800.52 v -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x4 -x530 -x528 -x526 -x524 -x522 -x520
1800.02/1800.52 v -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480
1800.02/1800.52 v -x478 -x476 -x474 -x472 -x470 -x3 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438
1800.02/1800.52 v -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x2 -x406 -x404 -x402 -x400 -x398
1800.02/1800.52 v -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356
1800.02/1800.52 v -x354 -x352 -x350 x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314
1800.02/1800.52 v -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274
1800.02/1800.52 v -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232
1800.02/1800.52 v -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 x196 -x194 -x192 -x190
1800.02/1800.52 v -x188 x4666 x4665 x4664 -x4662 x4660 -x4659 -x4657 -x4655 -x4653 x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4640 -x4638
1800.02/1800.52 v x4636 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604
1800.02/1800.52 v -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4583 x4581 x4579 -x4578 -x4576 x4574 -x4572 x4570 -x4568
1800.02/1800.52 v -x4566 x4564 -x4562 -x4560 -x4559 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535
1800.02/1800.52 v -x4533 x4531 -x4529 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500
1800.02/1800.52 v -x4498 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466
1800.02/1800.52 v -x4464 -x4462 -x4460 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4446 -x4444 -x4442 -x4441 -x4439 -x4437 -x4435 -x4433
1800.02/1800.52 v -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397
1800.02/1800.52 v -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 x4369 -x4367 -x4365 -x4363 -x4361
1800.02/1800.52 v -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327
1800.02/1800.52 v -x4325 -x4323 -x4321 -x4319 -x4317 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292
1800.02/1800.52 v -x4290 -x4288 -x4286 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257
1800.02/1800.52 v -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222
1800.02/1800.52 v -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 x4188 -x4186
1800.02/1800.52 v -x4184 -x4182 -x4180 -x4178 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152
1800.02/1800.52 v -x4150 x4148 -x4146 -x4144 -x4142 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4124 -x4122 -x4121 x4119
1800.02/1800.52 v -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 x4083
1800.02/1800.52 v -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047
1800.02/1800.52 v -x4045 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4020 -x4018 -x4016 -x4014
1800.02/1800.52 v -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979
1800.02/1800.52 v -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3949 -x3947
1800.02/1800.52 v -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911
1800.02/1800.52 v -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875
1800.02/1800.52 v -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839
1800.02/1800.52 v -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803
1800.02/1800.52 v -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768
1800.02/1800.52 v -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732
1800.02/1800.52 v -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698
1800.02/1800.52 v -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663
1800.02/1800.52 v -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627
1800.02/1800.52 v -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592
1800.02/1800.52 v -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 x3558 -x3556
1800.02/1800.52 v x3554 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522
1800.02/1800.52 v -x3520 x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486
1800.02/1800.52 v -x3485 -x3483 -x3481 x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452
1800.02/1800.52 v -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3423 -x3421 -x3419 -x3417
1800.02/1800.52 v -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382
1800.02/1800.52 v -x3380 -x3378 -x3376 -x3374 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3356 -x3354 -x3352 -x3350 -x3348
1800.02/1800.52 v -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314
1800.02/1800.52 v -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278
1800.02/1800.52 v -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243
1800.02/1800.52 v -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3211 -x3209
1800.02/1800.52 v -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173
1800.02/1800.52 v -x3171 -x3169 -x3167 -x3165 -x3163 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138
1800.02/1800.52 v -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102
1800.02/1800.52 v -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068
1800.02/1800.52 v -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033
1800.02/1800.52 v -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997
1800.02/1800.52 v -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2962
1800.02/1800.52 v -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926
1800.02/1800.52 v -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890
1800.02/1800.52 v -x2888 -x2886 -x2884 -x2882 -x2880 x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2859 -x2857 -x2855
1800.02/1800.52 v -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 x2819
1800.02/1800.52 v -x2817 -x2815 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784
1800.02/1800.52 v -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751
1800.02/1800.52 v -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715
1800.02/1800.52 v -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679
1800.02/1800.52 v -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644
1800.02/1800.52 v -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608
1800.02/1800.52 v -x2606 -x2604 -x2602 -x2600 -x2598 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573
1800.02/1800.52 v -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537
1800.02/1800.52 v -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503
1800.02/1800.52 v -x2501 -x2499 -x2497 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468
1800.02/1800.52 v -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 x2439 -x2437 -x2435 -x2433
1800.02/1800.53 v -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397
1800.02/1800.53 v -x2395 -x2393 -x2391 -x2389 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362
1800.02/1800.53 v -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 x2336 -x2334 -x2333 -x2331 -x2329 -x2327
1800.02/1800.53 v -x2325 -x2323 -x2321 -x2319 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292
1800.02/1800.53 v -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256
1800.02/1800.53 v -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220
1800.02/1800.53 v -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186
1800.02/1800.53 v -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2157 -x2155 -x2153 -x2151
1800.02/1800.53 v -x2149 -x2147 -x2145 -x2143 -x2141 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116
1800.02/1800.53 v -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080
1800.02/1800.53 v -x2078 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045
1800.02/1800.53 v -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009
1800.02/1800.53 v -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974
1800.02/1800.53 v -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940
1800.02/1800.53 v -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904
1800.02/1800.53 v -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868
1800.02/1800.53 v -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832
1800.02/1800.53 v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796
1800.02/1800.53 v -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760
1800.02/1800.53 v -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725
1800.02/1800.53 v -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691
1800.02/1800.53 v -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655
1800.02/1800.53 v -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620
1800.02/1800.53 v -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584
1800.02/1800.53 v -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548
1800.02/1800.53 v -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512
1800.02/1800.53 v -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476
1800.02/1800.53 v x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440
1800.02/1800.53 v -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406
1800.02/1800.53 v -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371
1800.02/1800.53 v -x1369 -x1367 x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335
1800.02/1800.53 v -x1333 -x1331 -x1329 -x1327 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300
1800.02/1800.53 v -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264
1800.02/1800.53 v -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228
1800.02/1800.53 v -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192
1800.02/1800.53 v -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156
1800.02/1800.53 v -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123
1800.02/1800.53 v -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087
1800.02/1800.53 v -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051
1800.02/1800.53 v -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015
1800.02/1800.53 v -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975
1800.02/1800.53 v -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935
1800.02/1800.53 v -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893
1800.02/1800.53 v -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851
1800.02/1800.53 v -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809
1800.02/1800.53 v -x807 -x805 x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767
1800.02/1800.53 v -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725
1800.02/1800.53 v -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683
1800.02/1800.53 v -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643
1800.02/1800.53 v -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601
1800.02/1800.53 v -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559
1800.02/1800.53 v -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517
1800.02/1800.53 v -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475
1800.02/1800.53 v -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433
1800.02/1800.53 v -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393
1800.02/1800.53 v -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351
1800.02/1800.53 v x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309
1800.02/1800.53 v -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267
1800.02/1800.53 v -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225
1800.02/1800.53 v -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 x197 -x195 -x193 -x191 -x189
1800.02/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.53 c Solving Time : 1730.25
1800.02/1800.53 c Original Problem :
1800.02/1800.53 c Problem name : HOME/instance-2663927-1276632328.opb
1800.02/1800.53 c Variables : 4666 (4666 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.53 c Constraints : 12693 initial, 12693 maximal
1800.02/1800.53 c Presolved Problem :
1800.02/1800.53 c Problem name : t_HOME/instance-2663927-1276632328.opb
1800.02/1800.53 c Variables : 2285 (2285 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.53 c Constraints : 7817 initial, 7989 maximal
1800.02/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.53 c implics : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.53 c probing : 0.07 0 0 0 0 0 0 0 0
1800.02/1800.53 c linear : 0.14 164 2217 0 164 0 4876 0 0
1800.02/1800.53 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.02/1800.53 c root node : - 0 - - 0 - - - -
1800.02/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.53 c logicor : 7817+ 0 8349571 0 4 747402 14087006 0 0 0
1800.02/1800.53 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.02/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.53 c logicor : 385.61 0.00 385.59 0.00 0.02
1800.02/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.53 c vbounds : 4.88 2 0 0
1800.02/1800.53 c rootredcost : 5.04 0 0 0
1800.02/1800.53 c pseudoobj : 1034.98 10646519 463005 18605680
1800.02/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.53 c propagation : 328.52 1210407 1210407 1210407 57.0 15142 45.3 -
1800.02/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.53 c pseudo solution : 4.83 8211 8211 8211 53.5 268 51.0 -
1800.02/1800.53 c applied globally : - - - 1234028 56.8 - - -
1800.02/1800.53 c applied locally : - - - 0 0.0 - - -
1800.02/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.53 c redcost : 0.00 0 0 0 0 0
1800.02/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.53 c intobj : 0.00 0 0 0 0 0
1800.02/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.53 c gomory : 0.00 0 0 0 0 0
1800.02/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.53 c cmir : 0.00 0 0 0 0 0
1800.02/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.53 c clique : 0.00 0 0 0 0 0
1800.02/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.53 c mcf : 0.00 0 0 0 0 0
1800.02/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.53 c Pricers : Time Calls Vars
1800.02/1800.53 c problem variables: 0.00 0 0
1800.02/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.53 c inference : 44.64 1573541 0 0 0 0 3147082
1800.02/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.53 c random : 0.00 0 0 0 0 0 0
1800.02/1800.53 c Primal Heuristics : Time Calls Found
1800.02/1800.53 c LP solutions : 0.00 - 0
1800.02/1800.53 c pseudo solutions : 0.01 - 4
1800.02/1800.53 c oneopt : 1.79 0 0
1800.02/1800.53 c trivial : 0.01 2 0
1800.02/1800.53 c simplerounding : 0.00 0 0
1800.02/1800.53 c zirounding : 0.00 0 0
1800.02/1800.53 c rounding : 0.00 0 0
1800.02/1800.53 c shifting : 0.00 0 0
1800.02/1800.53 c intshifting : 0.00 0 0
1800.02/1800.53 c twoopt : 0.00 0 0
1800.02/1800.53 c fixandinfer : 0.00 0 0
1800.02/1800.53 c feaspump : 0.00 0 0
1800.02/1800.53 c coefdiving : 0.00 0 0
1800.02/1800.53 c pscostdiving : 0.00 0 0
1800.02/1800.53 c fracdiving : 0.00 0 0
1800.02/1800.53 c veclendiving : 0.00 0 0
1800.02/1800.53 c intdiving : 0.00 0 0
1800.02/1800.53 c actconsdiving : 0.00 0 0
1800.02/1800.53 c objpscostdiving : 0.00 0 0
1800.02/1800.53 c rootsoldiving : 0.00 0 0
1800.02/1800.53 c linesearchdiving : 0.00 0 0
1800.02/1800.53 c guideddiving : 0.00 0 0
1800.02/1800.53 c octane : 0.00 0 0
1800.02/1800.53 c rens : 0.00 0 0
1800.02/1800.53 c rins : 0.00 0 0
1800.02/1800.53 c localbranching : 0.00 0 0
1800.02/1800.53 c mutation : 0.00 0 0
1800.02/1800.53 c crossover : 0.00 0 0
1800.02/1800.53 c dins : 0.00 0 0
1800.02/1800.53 c undercover : 0.00 0 0
1800.02/1800.53 c nlp : 1.46 0 0
1800.02/1800.53 c trysol : 1.37 0 0
1800.02/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.53 c (at root node) : - 0 0 0.00 -
1800.02/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.53 c B&B Tree :
1800.02/1800.53 c number of runs : 1
1800.02/1800.53 c nodes : 2151344
1800.02/1800.53 c nodes (total) : 2151344
1800.02/1800.53 c nodes left : 1030
1800.02/1800.53 c max depth : 1090
1800.02/1800.53 c max depth (total): 1090
1800.02/1800.53 c backtracks : 767271 (35.7%)
1800.02/1800.53 c delayed cutoffs : 894776
1800.02/1800.53 c repropagations : 1852470 (15569585 domain reductions, 640819 cutoffs)
1800.02/1800.53 c avg switch length: 2.76
1800.02/1800.53 c switching time : 98.43
1800.02/1800.53 c Solution :
1800.02/1800.53 c Solutions found : 4 (4 improvements)
1800.02/1800.53 c First Solution : +3.40000000000000e+01 (in run 1, after 1089 nodes, 0.91 seconds, depth 1088, found by <relaxation>)
1800.02/1800.53 c Primal Bound : +3.10000000000000e+01 (in run 1, after 314036 nodes, 206.41 seconds, depth 1069, found by <relaxation>)
1800.02/1800.53 c Dual Bound : +1.00000000000000e+00
1800.02/1800.53 c Gap : 3000.00 %
1800.02/1800.53 c Root Dual Bound : +1.00000000000000e+00
1800.02/1800.53 c Root Iterations : 0
1800.02/1800.58 c Time complete: 1800.1.
OK 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663927-1276632328/watcher-2663927-1276632328 -o /tmp/evaluation-result-2663927-1276632328/solver-2663927-1276632328 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663927-1276632328.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 12958 /proc/meminfo: memFree=1835500/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=6584 CPUtime=0 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 956 0 0 0 0 0 0 0 18 0 1 0 4527840 6742016 878 1992294400 4194304 7136930 140736814753424 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12958/statm: 1646 888 254 719 0 925 0 [startup+0.019024 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12958 /proc/meminfo: memFree=1835500/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=10416 CPUtime=0.01 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 2111 0 0 0 1 0 0 0 18 0 1 0 4527840 10665984 2033 1992294400 4194304 7136930 140736814753424 18446744073709551615 4664838 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12958/statm: 2604 2033 269 719 0 1883 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10416 [startup+0.102032 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12958 /proc/meminfo: memFree=1835500/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=14440 CPUtime=0.1 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 3098 0 0 0 9 1 0 0 20 0 1 0 4527840 14786560 3020 1992294400 4194304 7136930 140736814753424 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12958/statm: 3610 3020 271 719 0 2889 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14440 [startup+0.302057 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12958 /proc/meminfo: memFree=1835500/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=33200 CPUtime=0.29 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 8160 0 0 0 27 2 0 0 20 0 1 0 4527840 33996800 7728 1992294400 4194304 7136930 140736814753424 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 8300 7728 303 719 0 7579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33200 [startup+0.701097 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12958 /proc/meminfo: memFree=1835500/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=40488 CPUtime=0.69 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11594 0 0 0 61 8 0 0 21 0 1 0 4527840 41459712 9360 1992294400 4194304 7136930 140736814753424 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10122 9360 384 719 0 9401 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40488 [startup+1.50119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12959 /proc/meminfo: memFree=1799780/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=41140 CPUtime=1.49 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11737 0 0 0 138 11 0 0 23 0 1 0 4527840 42127360 9503 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10285 9503 389 719 0 9564 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41140 [startup+3.10136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12959 /proc/meminfo: memFree=1798912/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=41272 CPUtime=3.09 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11787 0 0 0 290 19 0 0 25 0 1 0 4527840 42262528 9553 1992294400 4194304 7136930 140736814753424 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10318 9553 390 719 0 9597 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41272 [startup+6.3017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12959 /proc/meminfo: memFree=1798416/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=41536 CPUtime=6.29 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11854 0 0 0 595 34 0 0 25 0 1 0 4527840 42532864 9620 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10384 9620 390 719 0 9663 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41536 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12959 /proc/meminfo: memFree=1798292/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=41668 CPUtime=12.68 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11878 0 0 0 1207 61 0 0 25 0 1 0 4527840 42668032 9644 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10417 9644 390 719 0 9696 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41668 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12959 /proc/meminfo: memFree=1798168/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=41804 CPUtime=25.49 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11923 0 0 0 2435 114 0 0 25 0 1 0 4527840 42807296 9689 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10451 9689 390 719 0 9730 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41804 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12961 /proc/meminfo: memFree=1797920/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42080 CPUtime=51.08 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 11979 0 0 0 4885 223 0 0 25 0 1 0 4527840 43089920 9745 1992294400 4194304 7136930 140736814753424 18446744073709551615 4349978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10520 9745 390 719 0 9799 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42080 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12961 /proc/meminfo: memFree=1797672/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42344 CPUtime=102.27 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12032 0 0 0 9796 431 0 0 25 0 1 0 4527840 43360256 9798 1992294400 4194304 7136930 140736814753424 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10586 9798 390 719 0 9865 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42344 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12963 /proc/meminfo: memFree=1797300/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42480 CPUtime=162.24 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12089 0 0 0 15551 673 0 0 25 0 1 0 4527840 43499520 9855 1992294400 4194304 7136930 140736814753424 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10620 9855 390 719 0 9899 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42480 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12965 /proc/meminfo: memFree=1797052/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42816 CPUtime=222.24 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12141 0 0 0 21308 916 0 0 25 0 1 0 4527840 43843584 9907 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10704 9907 390 719 0 9983 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 42816 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12967 /proc/meminfo: memFree=1796804/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42816 CPUtime=282.22 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12163 0 0 0 27075 1147 0 0 25 0 1 0 4527840 43843584 9929 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10704 9929 390 719 0 9983 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 42816 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12969 /proc/meminfo: memFree=1796680/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42948 CPUtime=342.2 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12175 0 0 0 32842 1378 0 0 25 0 1 0 4527840 43978752 9941 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10737 9941 390 719 0 10016 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 42948 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12969 /proc/meminfo: memFree=1796556/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42948 CPUtime=402.19 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12190 0 0 0 38610 1609 0 0 25 0 1 0 4527840 43978752 9956 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10737 9956 390 719 0 10016 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 42948 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12971 /proc/meminfo: memFree=1796556/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42948 CPUtime=462.17 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12198 0 0 0 44377 1840 0 0 25 0 1 0 4527840 43978752 9964 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10737 9964 390 719 0 10016 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 42948 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12973 /proc/meminfo: memFree=1796432/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=42948 CPUtime=522.15 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12201 0 0 0 50140 2075 0 0 25 0 1 0 4527840 43978752 9967 1992294400 4194304 7136930 140736814753424 18446744073709551615 4653155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10737 9967 390 719 0 10016 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 42948 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12975 /proc/meminfo: memFree=1796308/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43080 CPUtime=582.14 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12210 0 0 0 55908 2306 0 0 25 0 1 0 4527840 44113920 9976 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10770 9976 390 719 0 10049 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 43080 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12977 /proc/meminfo: memFree=1796184/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43080 CPUtime=642.12 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12222 0 0 0 61684 2528 0 0 25 0 1 0 4527840 44113920 9988 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10770 9988 390 719 0 10049 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 43080 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12983 /proc/meminfo: memFree=1795564/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43348 CPUtime=882.06 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12284 0 0 0 84758 3448 0 0 25 0 1 0 4527840 44388352 10050 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10837 10050 390 719 0 10116 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 43348 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12985 /proc/meminfo: memFree=1795440/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43348 CPUtime=942.04 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12289 0 0 0 90528 3676 0 0 25 0 1 0 4527840 44388352 10055 1992294400 4194304 7136930 140736814753424 18446744073709551615 6166190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10837 10055 390 719 0 10116 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 43348 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12985 /proc/meminfo: memFree=1795316/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43348 CPUtime=1002.02 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12294 0 0 0 96298 3904 0 0 25 0 1 0 4527840 44388352 10060 1992294400 4194304 7136930 140736814753424 18446744073709551615 4652790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10837 10060 390 719 0 10116 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 43348 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12987 /proc/meminfo: memFree=1795192/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43348 CPUtime=1062.01 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12297 0 0 0 102071 4130 0 0 25 0 1 0 4527840 44388352 10063 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10837 10063 390 719 0 10116 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 43348 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12989 /proc/meminfo: memFree=1795068/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43348 CPUtime=1122 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12302 0 0 0 107843 4357 0 0 25 0 1 0 4527840 44388352 10068 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10837 10068 390 719 0 10116 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 43348 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12991 /proc/meminfo: memFree=1794944/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43348 CPUtime=1181.98 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12303 0 0 0 113604 4594 0 0 25 0 1 0 4527840 44388352 10069 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10837 10069 390 719 0 10116 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 43348 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12993 /proc/meminfo: memFree=1794820/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1241.96 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12316 0 0 0 119375 4821 0 0 25 0 1 0 4527840 44539904 10082 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10082 390 719 0 10153 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 43496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12993 /proc/meminfo: memFree=1794696/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1301.96 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12320 0 0 0 125144 5052 0 0 25 0 1 0 4527840 44539904 10086 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10086 390 719 0 10153 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 43496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12995 /proc/meminfo: memFree=1794572/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1361.94 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12320 0 0 0 130914 5280 0 0 25 0 1 0 4527840 44539904 10086 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10086 390 719 0 10153 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 43496 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12997 /proc/meminfo: memFree=1794572/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1421.92 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12320 0 0 0 136684 5508 0 0 25 0 1 0 4527840 44539904 10086 1992294400 4194304 7136930 140736814753424 18446744073709551615 4208229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10086 390 719 0 10153 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 43496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12999 /proc/meminfo: memFree=1794448/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1481.9 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12324 0 0 0 142449 5741 0 0 25 0 1 0 4527840 44539904 10090 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10090 390 719 0 10153 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 43496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13001 /proc/meminfo: memFree=1794324/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1541.89 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12335 0 0 0 148223 5966 0 0 25 0 1 0 4527840 44539904 10101 1992294400 4194304 7136930 140736814753424 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10101 390 719 0 10153 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 43496 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 13004 /proc/meminfo: memFree=1793952/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43496 CPUtime=1601.87 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12335 0 0 0 153994 6193 0 0 25 0 1 0 4527840 44539904 10101 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10874 10101 390 719 0 10153 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 43496 [startup+1662.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13006 /proc/meminfo: memFree=1793952/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43628 CPUtime=1661.86 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12343 0 0 0 159760 6426 0 0 25 0 1 0 4527840 44675072 10109 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10907 10109 390 719 0 10186 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 43628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13008 /proc/meminfo: memFree=1793952/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43628 CPUtime=1721.84 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12352 0 0 0 165530 6654 0 0 25 0 1 0 4527840 44675072 10118 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10907 10118 390 719 0 10186 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 43628 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13010 /proc/meminfo: memFree=1793704/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43628 CPUtime=1781.83 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12353 0 0 0 171299 6884 0 0 25 0 1 0 4527840 44675072 10119 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10907 10119 390 719 0 10186 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 43628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13010 /proc/meminfo: memFree=1793704/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43628 CPUtime=1800.02 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12357 0 0 0 173047 6955 0 0 25 0 1 0 4527840 44675072 10123 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10907 10123 390 719 0 10186 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 43628 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 13010 /proc/meminfo: memFree=1793704/2059040 swapFree=4180036/4192956 [pid=12958] ppid=12956 vsize=43628 CPUtime=1800.02 /proc/12958/stat : 12958 (pbscip.linux.x8) R 12956 12958 12735 0 -1 4202496 12357 0 0 0 173047 6955 0 0 25 0 1 0 4527840 44675072 10123 1992294400 4194304 7136930 140736814753424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12958/statm: 10907 10123 390 719 0 10186 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 43628 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1730.55 CPU system time (s): 69.5634 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 43628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1730.55 system time used= 69.5634 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12387 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2634 runsolver used 3.08753 second user time and 8.41772 second system time The end
Begin job on node035 at 2010-06-15 22:05:29 IDJOB=2663927 IDBENCH=24982 IDSOLVER=1167 FILE ID=node035/2663927-1276632328 PBS_JOBID= 11172364 Free space on /tmp= 62460 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_030_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-2663927-1276632328/watcher-2663927-1276632328 -o /tmp/evaluation-result-2663927-1276632328/solver-2663927-1276632328 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663927-1276632328.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=1700072212 node035.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.219 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.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836276 kB Buffers: 7916 kB Cached: 91824 kB SwapCached: 660 kB Active: 28180 kB Inactive: 118996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836276 kB SwapTotal: 4192956 kB SwapFree: 4180036 kB Dirty: 3604 kB Writeback: 0 kB AnonPages: 46828 kB Mapped: 15320 kB Slab: 53672 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181476 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= 62456 MiB End job on node035 at 2010-06-15 22:35:31