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-2663923-1276631630.opb>
0.49/0.55	c original problem has 9709 variables (9709 bin, 0 int, 0 impl, 0 cont) and 29891 constraints
0.49/0.55	c problem read
0.49/0.55	c presolving settings loaded
0.49/0.55	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.69/0.72	c presolving:
1.00/1.00	c (round 1) 5637 del vars, 10322 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 47994 impls, 0 clqs
1.00/1.04	c (round 2) 5637 del vars, 12347 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 47994 impls, 0 clqs
1.19/1.24	c (round 3) 5637 del vars, 12347 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 17501 upgd conss, 47994 impls, 0 clqs
1.19/1.28	c (round 4) 5637 del vars, 12347 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 17544 upgd conss, 47994 impls, 0 clqs
1.39/1.48	c    (0.8s) probing: 101/4072 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.48	c    (0.8s) probing aborted: 100/100 successive totally useless probings
1.39/1.48	c presolving (5 rounds):
1.39/1.48	c  5637 deleted vars, 12347 deleted constraints, 944 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.48	c  47994 implications, 0 cliques
1.39/1.48	c presolved problem has 4072 variables (4072 bin, 0 int, 0 impl, 0 cont) and 17544 constraints
1.39/1.48	c   17544 constraints of type <logicor>
1.39/1.48	c transformed objective value is always integral (scale: 1)
1.39/1.48	c Presolving Time: 0.73
1.39/1.48	c - non default parameters ----------------------------------------------------------------------
1.39/1.48	c # SCIP version 1.2.1.2
1.39/1.48	c 
1.39/1.48	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.39/1.48	c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.48	c conflict/interconss = 0
1.39/1.48	c 
1.39/1.48	c # should binary conflicts be preferred?
1.39/1.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.48	c conflict/preferbinary = TRUE
1.39/1.48	c 
1.39/1.48	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.39/1.48	c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.48	c constraints/agelimit = 1
1.39/1.48	c 
1.39/1.48	c # should enforcement of pseudo solution be disabled?
1.39/1.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.48	c constraints/disableenfops = TRUE
1.39/1.48	c 
1.39/1.48	c # frequency for displaying node information lines
1.39/1.48	c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.48	c display/freq = 10000
1.39/1.48	c 
1.39/1.48	c # maximal time in seconds to run
1.39/1.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.48	c limits/time = 1799.46
1.39/1.48	c 
1.39/1.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.48	c limits/memory = 1620
1.39/1.48	c 
1.39/1.48	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.48	c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.48	c lp/solvefreq = -1
1.39/1.48	c 
1.39/1.48	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.39/1.48	c # [type: char, range: {lafpsqd}, default: l]
1.39/1.48	c lp/pricing = a
1.39/1.48	c 
1.39/1.48	c # should presolving try to simplify inequalities
1.39/1.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.48	c constraints/linear/simplifyinequalities = TRUE
1.39/1.48	c 
1.39/1.48	c # should presolving try to simplify knapsacks
1.39/1.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.48	c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.48	c 
1.39/1.48	c # priority of node selection rule <dfs> in standard mode
1.39/1.48	c # [type: int, range: [-536870912,536870911], default: 0]
1.39/1.48	c nodeselection/dfs/stdpriority = 1000000
1.39/1.48	c 
1.39/1.48	c -----------------------------------------------------------------------------------------------
1.39/1.48	c start solving
1.39/1.48	c 
1.39/1.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.49	c   0.8s|     1 |     2 |     0 |     - |  36M|   0 |   - |4072 |  17k|   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
2.10/2.17	o 38
2.10/2.17	c * 1.5s|   569 |   556 |     0 |   0.0 |  36M| 568 |   - |4072 |  17k|   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 3.800000e+01 |3700.00%
2.10/2.19	o 37
2.10/2.19	c * 1.5s|   588 |   551 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 3.700000e+01 |3600.00%
2.29/2.32	o 36
2.29/2.32	c * 1.6s|   692 |   543 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  46 |   0 | 1.000000e+00 | 3.600000e+01 |3500.00%
2.48/2.58	o 35
2.48/2.58	c * 1.9s|   863 |   539 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 143 |   0 | 1.000000e+00 | 3.500000e+01 |3400.00%
2.99/3.00	o 34
2.99/3.00	c * 2.3s|  1134 |   537 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 294 |   0 | 1.000000e+00 | 3.400000e+01 |3300.00%
16.78/16.87	c  15.9s| 10000 |   535 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |5253 |   0 | 1.000000e+00 | 3.400000e+01 |3300.00%
32.38/32.41	c  31.2s| 20000 |   529 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  10k|   0 | 1.000000e+00 | 3.400000e+01 |3300.00%
48.08/48.11	c  46.6s| 30000 |   530 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  16k|   0 | 1.000000e+00 | 3.400000e+01 |3300.00%
55.08/55.18	o 33
55.08/55.18	c *53.6s| 34865 |   535 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  18k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
63.07/63.16	c  61.4s| 40000 |   530 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  21k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
79.87/79.95	c  77.9s| 50000 |   528 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  26k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
96.67/96.72	c  94.4s| 60000 |   527 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  32k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
101.87/101.92	o 32
101.87/101.92	c *99.5s| 63408 |   534 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  34k|   0 | 1.000000e+00 | 3.200000e+01 |3100.00%
112.36/112.48	c   110s| 70000 |   527 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  38k|   0 | 1.000000e+00 | 3.200000e+01 |3100.00%
128.05/128.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
128.05/128.13	c   125s| 80000 |   536 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  43k|   0 | 1.000000e+00 | 3.200000e+01 |3100.00%
143.75/143.87	c   141s| 90000 |   527 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  49k|   0 | 1.000000e+00 | 3.200000e+01 |3100.00%
155.45/155.54	o 31
155.45/155.54	c * 152s| 97729 |   535 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  53k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
159.24/159.31	c   156s|100000 |   528 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  54k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
175.34/175.42	c   172s|110000 |   525 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  60k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
191.94/192.04	c   188s|120000 |   525 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  65k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
208.34/208.47	c   204s|130000 |   527 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  71k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
225.23/225.37	c   221s|140000 |   524 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  77k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
242.52/242.68	c   238s|150000 |   524 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  82k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
260.02/260.18	c   255s|160000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  88k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
277.12/277.29	c   272s|170000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  94k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
293.92/294.09	c   288s|180000 |   521 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 |  99k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
311.22/311.32	c   305s|190000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 105k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
329.30/329.47	c   323s|200000 |   528 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 111k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
345.50/345.65	c   339s|210000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 117k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
363.50/363.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
363.50/363.65	c   357s|220000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 123k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
380.69/380.80	c   374s|230000 |   531 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 129k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
397.39/397.60	c   390s|240000 |   524 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 134k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
414.38/414.52	c   407s|250000 |   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 140k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
431.37/431.51	c   423s|260000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 146k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
449.56/449.78	c   441s|270000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 151k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
467.96/468.12	c   460s|280000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 157k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
485.55/485.72	c   477s|290000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 163k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
503.04/503.25	c   494s|300000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 169k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
520.44/520.68	c   511s|310000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 175k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
537.34/537.59	c   528s|320000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 180k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
555.83/556.09	c   546s|330000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 186k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
573.43/573.66	c   563s|340000 |   525 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 191k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
590.53/590.77	c   580s|350000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 197k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
607.22/607.45	c   596s|360000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 202k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
624.91/625.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
624.91/625.10	c   614s|370000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 208k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
642.62/642.89	c   631s|380000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 214k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
659.81/660.08	c   648s|390000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 220k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
676.90/677.14	c   665s|400000 |   521 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 226k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
694.29/694.56	c   682s|410000 |   524 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 231k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
711.90/712.18	c   699s|420000 |   524 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 237k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
728.79/729.03	c   716s|430000 |   525 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 243k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
745.29/745.58	c   732s|440000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 248k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
762.88/763.16	c   750s|450000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 254k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
780.79/781.04	c   767s|460000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 259k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
798.87/799.19	c   785s|470000 |   526 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 265k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
815.88/816.18	c   802s|480000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 270k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
833.16/833.42	c   819s|490000 |   516 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 276k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
849.86/850.19	c   835s|500000 |   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 282k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
866.65/866.96	c   852s|510000 |   516 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 287k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
883.24/883.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
883.24/883.57	c   868s|520000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 293k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
900.55/900.80	c   885s|530000 |   515 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 298k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
917.94/918.21	c   902s|540000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 304k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
935.34/935.66	c   919s|550000 |   525 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 310k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
953.63/953.92	c   937s|560000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 315k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
971.53/971.87	c   955s|570000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 321k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
989.22/989.55	c   972s|580000 |   512 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 327k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1007.11/1007.46	c   990s|590000 |   513 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 332k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1025.51/1025.85	c  1008s|600000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 338k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1043.52/1043.88	c  1025s|610000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 344k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1061.60/1061.98	c  1043s|620000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 350k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1079.19/1079.58	c  1061s|630000 |   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 356k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1097.10/1097.45	c  1078s|640000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 361k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1115.19/1115.59	c  1096s|650000 |   521 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 367k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1132.39/1132.72	c  1113s|660000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 373k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1149.19/1149.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1149.19/1149.52	c  1129s|670000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 379k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1166.78/1167.12	c  1147s|680000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 385k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1184.57/1184.90	c  1164s|690000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 391k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1201.76/1202.12	c  1181s|700000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 396k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1218.66/1219.07	c  1198s|710000 |   516 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 402k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1235.66/1236.09	c  1214s|720000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 408k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1252.46/1252.86	c  1231s|730000 |   515 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 413k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1269.45/1269.83	c  1248s|740000 |   521 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 419k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1285.45/1285.87	c  1263s|750000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 424k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1302.24/1302.66	c  1280s|760000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 430k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1319.84/1320.21	c  1297s|770000 |   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 435k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1336.53/1336.99	c  1314s|780000 |   524 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 441k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1353.53/1353.90	c  1330s|790000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 447k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1371.62/1372.09	c  1348s|800000 |   516 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 452k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1389.92/1390.33	c  1366s|810000 |   515 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 458k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1408.21/1408.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1408.21/1408.62	c  1384s|820000 |   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 464k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1424.90/1425.31	c  1400s|830000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 469k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1443.30/1443.70	c  1419s|840000 |   521 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 475k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1460.20/1460.66	c  1435s|850000 |   522 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 481k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1477.19/1477.66	c  1452s|860000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 486k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1495.09/1495.54	c  1470s|870000 |   514 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 492k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1512.78/1513.20	c  1487s|880000 |   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 497k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1530.69/1531.11	c  1504s|890000 |   514 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 503k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1548.87/1549.37	c  1522s|900000 |   523 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 508k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1566.17/1566.69	c  1539s|910000 |   516 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 514k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1584.36/1584.82	c  1557s|920000 |   514 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 520k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1602.36/1602.81	c  1575s|930000 |   513 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 526k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1620.15/1620.62	c  1592s|940000 |   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 531k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1637.46/1637.92	c  1609s|950000 |   510 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 537k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1655.05/1655.60	c  1627s|960000 |   515 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 542k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1672.14/1672.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1672.14/1672.66	c  1644s|970000 |   519 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 548k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1689.63/1690.20	c  1661s|980000 |   518 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 554k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1706.93/1707.44	c  1678s|990000 |   516 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 559k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1724.42/1724.98	c  1695s|  1000k|   515 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 565k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1742.32/1742.86	c  1713s|  1010k|   508 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 570k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1759.81/1760.37	c  1730s|  1020k|   517 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 576k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1777.02/1777.53	c  1747s|  1030k|   521 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 582k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1794.40/1794.91	c  1764s|  1040k|   520 |     0 |   0.0 |  37M| 574 |   - |4072 |  17k|   0 |   0 |   0 | 587k|   0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50	c 
1800.01/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.50	c Solving Time (sec) : 1769.44
1800.01/1800.50	c Solving Nodes      : 1043250
1800.01/1800.50	c Primal Bound       : +3.10000000000000e+01 (8 solutions)
1800.01/1800.50	c Dual Bound         : +1.00000000000000e+00
1800.01/1800.50	c Gap                : 3000.00 %
1800.01/1800.55	s SATISFIABLE
1800.01/1800.55	v x256 x255 -x9705 x254 x9702 -x9700 x253 -x9697 x252 -x9694 -x9692 -x9690 -x9687 -x9685 -x251 -x9683 x250 -x9679 -x249 -x9677 x9675 
1800.01/1800.55	v x248 -x9673 -x9671 -x9669 -x9667 -x9665 -x9663 -x9661 -x247 -x9659 -x9656 -x246 -x9654 -x9652 -x9650 -x9648 -x9645 -x9643 
1800.01/1800.55	v -x245 -x9641 -x9639 -x9637 -x9635 -x9633 -x9631 -x9629 x244 x9627 -x9625 -x9623 -x9621 -x9619 -x9617 -x9615 -x9613 -x9611 -x9609 
1800.01/1800.55	v -x9607 -x9605 -x9603 -x243 -x9601 -x242 -x9597 -x241 -x9595 -x9593 -x9591 -x240 -x9589 -x9587 -x9585 -x9583 -x9581 -x9579 
1800.01/1800.55	v -x9577 -x239 -x9575 -x9573 -x9571 -x238 -x9569 -x9567 -x9565 -x9563 -x9561 -x9559 -x9557 -x237 -x9555 -x9553 -x9551 -x9549 
1800.01/1800.55	v -x9547 -x9545 -x9543 -x236 -x9541 -x9539 -x9537 -x9535 -x9533 -x9531 -x9529 -x9527 -x9525 -x9523 -x9521 -x9519 -x9517 -x9515 
1800.01/1800.55	v -x9513 -x235 -x9511 -x9509 -x234 -x9506 -x9504 -x9502 -x9500 -x9497 -x9495 -x233 -x9493 -x9491 -x9489 -x9487 -x9485 -x9483 -x9481 
1800.01/1800.55	v -x232 -x9479 -x9477 -x9475 -x9473 -x9471 -x9469 -x9467 -x9465 -x9463 -x9461 -x9459 -x9457 -x9455 -x9453 -x9451 -x231 -x9449 
1800.01/1800.55	v -x9447 -x9445 -x9443 -x9441 -x9439 -x9437 -x230 -x9435 -x9433 -x9431 -x9429 -x9427 -x9425 -x9423 -x9421 -x9419 -x9417 -x9415 
1800.01/1800.55	v -x9413 -x9411 -x9409 -x9407 -x229 -x9405 -x9403 -x9401 -x9399 -x9397 -x9395 -x9393 -x9391 -x9389 -x9387 -x9385 -x9383 -x9381 
1800.01/1800.55	v -x9379 -x9377 -x228 -x9375 -x9373 -x9371 -x9369 -x9367 -x9365 -x9363 -x9361 -x9359 -x9357 -x9355 -x9353 -x9351 -x9349 -x9347 
1800.01/1800.55	v -x9345 -x9343 -x9341 -x9339 -x9337 -x9335 -x9333 -x9331 -x9329 -x9327 -x9325 -x9323 -x9321 -x227 -x9319 -x226 -x9315 -x225 
1800.01/1800.55	v -x9313 -x9311 -x9309 -x224 -x9307 -x9305 -x9303 -x9301 -x9299 -x9297 -x9295 -x223 -x9293 -x9291 -x222 -x9289 -x9287 -x9285 
1800.01/1800.55	v -x9283 -x9281 -x9279 -x9277 -x221 -x9275 -x9273 -x9271 -x9269 -x9267 -x9265 -x9263 -x220 -x9261 x9259 -x9257 x219 -x9255 -x9253 
1800.01/1800.55	v -x9251 -x9249 -x9247 -x9245 -x9243 -x218 -x9241 -x9239 x9237 -x9235 -x9233 -x9231 x217 -x9229 -x9227 -x9225 -x9223 -x9221 
1800.01/1800.55	v -x9219 -x9217 -x9215 -x9213 -x9211 -x9209 -x9207 -x9205 -x9203 -x9201 -x216 -x9199 -x9197 -x9195 -x9193 -x9191 -x9189 -x9187 
1800.01/1800.55	v -x215 -x9185 -x9183 -x9181 -x9179 -x9177 -x9175 -x9173 -x9171 -x9169 -x9167 -x9165 -x9163 -x9161 -x9159 -x9157 -x214 -x9155 -x9153 
1800.01/1800.55	v -x9151 -x9149 -x9147 -x9145 -x9143 -x9141 -x9139 -x9137 -x9135 -x9133 -x9131 -x9129 -x213 -x9127 -x9124 -x212 -x9122 -x9119 
1800.01/1800.55	v -x9117 -x9115 -x9113 -x9111 -x211 -x9109 -x9107 -x9105 -x9103 -x9101 -x9099 -x9097 -x210 -x9095 -x9093 -x9091 -x9089 -x9087 
1800.01/1800.55	v -x9085 -x9083 -x9081 -x9079 -x9077 -x9075 -x9073 -x9071 -x9069 -x9067 -x209 -x9065 -x9063 -x9061 -x9059 -x9057 -x9055 -x9053 
1800.01/1800.55	v -x208 -x9051 -x9049 -x9047 -x9045 -x9043 -x9041 -x9039 -x9037 -x9035 -x9033 -x9031 -x9029 -x9027 -x9025 -x9023 -x207 -x9021 
1800.01/1800.55	v -x9019 -x9017 -x9015 -x9013 -x9011 -x9009 -x9007 -x9005 -x9003 -x9001 -x8999 -x8997 -x8995 -x8993 -x206 -x8991 -x8989 -x8987 
1800.01/1800.55	v -x8985 -x8983 -x8981 -x8979 -x205 -x8977 -x8975 -x8973 -x8971 -x8969 -x8967 -x8965 -x8963 -x8961 -x8959 -x8957 -x8955 -x8953 
1800.01/1800.55	v -x8951 -x8949 -x204 -x8947 -x8945 -x8943 -x8941 -x8939 -x8937 -x8935 -x8933 -x8931 -x8929 -x8927 -x8925 -x8923 -x8921 -x8919 
1800.01/1800.55	v -x203 -x8917 -x8915 -x8913 -x8911 -x8909 -x8907 -x8905 -x8903 -x8901 -x8899 -x8897 -x8895 -x8893 -x8891 -x8889 -x8887 -x8885 
1800.01/1800.55	v -x8883 -x8881 -x8879 -x8877 -x8875 -x8873 -x8871 -x8869 -x8867 -x8865 -x8863 -x8861 -x8859 -x202 -x8857 -x8855 -x8853 -x8851 
1800.01/1800.55	v -x8849 -x8847 -x8845 -x8843 -x8841 -x8839 -x8837 -x8835 -x8833 -x8831 -x8829 -x201 -x8827 -x8825 -x8823 -x8821 -x8819 -x8817 
1800.01/1800.55	v -x8815 -x8813 -x8811 -x8809 -x8807 -x8805 -x8803 -x8801 -x8799 -x8797 -x8795 -x8793 -x8791 -x8789 -x8787 -x8785 -x8783 -x8781 
1800.01/1800.55	v -x8779 -x8777 -x8775 -x8773 -x8771 -x8769 -x8767 -x200 -x8765 -x8763 -x8761 -x8759 -x8757 -x8755 -x8753 -x8751 -x8749 -x8747 
1800.01/1800.55	v -x8745 -x8743 -x8741 -x8739 -x8737 -x8735 -x8733 -x8731 -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713 -x8711 
1800.01/1800.55	v -x8709 -x8707 -x8705 -x199 -x8703 -x198 -x8700 -x8698 -x197 -x8695 -x8693 -x196 -x8691 -x8689 -x8687 -x8685 -x8683 -x8681 
1800.01/1800.55	v -x8679 -x195 -x8677 -x8675 -x8673 -x194 -x8671 -x8669 -x8667 -x8665 -x8663 -x8661 -x8659 -x193 -x8657 -x8655 -x8653 -x8651 
1800.01/1800.55	v -x8649 -x8647 -x8645 -x192 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 -x8625 -x8623 -x8621 -x8619 -x8617 
1800.01/1800.55	v -x8615 -x191 -x8613 -x8611 -x8609 -x190 -x8607 -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x189 -x8593 -x8591 -x8589 -x8587 -x8585 
1800.01/1800.55	v -x8583 -x8581 -x188 -x8579 -x8577 -x8575 -x8573 -x8571 -x8569 -x8567 -x8565 -x8563 -x8561 -x8559 -x8557 -x8555 -x8553 -x8551 
1800.01/1800.55	v -x187 -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x186 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521 -x8519 
1800.01/1800.55	v -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x185 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489 -x8487 -x8485 
1800.01/1800.55	v -x8483 -x8481 -x8479 -x8477 -x184 -x8475 -x8473 -x8471 -x183 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x182 -x8455 
1800.01/1800.55	v -x8453 -x8451 -x8449 -x8447 -x8445 -x8443 -x181 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423 -x8421 
1800.01/1800.55	v -x8419 -x8417 -x8415 -x8413 -x180 -x8411 -x8409 -x8407 -x8405 -x8403 -x8401 -x8399 -x179 -x8397 -x8395 -x8393 -x8391 -x8389 
1800.01/1800.55	v -x8387 -x8385 -x8383 -x8381 -x8379 -x8377 -x8375 -x8373 -x8371 -x8369 -x178 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x8355 
1800.01/1800.55	v -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 -x8341 -x8339 -x177 -x8337 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 -x8323 -x8321 
1800.01/1800.55	v -x8319 -x8317 -x8315 -x8313 -x8311 -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 -x8291 -x8289 -x8287 x8285 
1800.01/1800.55	v -x8283 -x8281 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x8265 -x8263 -x176 -x8261 -x8259 -x8257 -x8255 -x8253 -x8251 
1800.01/1800.55	v -x8249 x8247 -x8245 -x8243 -x8241 -x8239 -x8237 -x8235 -x8233 -x8231 -x8229 -x8227 -x8225 x8223 -x8221 -x8219 -x8217 -x8215 
1800.01/1800.55	v -x8213 -x8211 -x8209 -x8207 -x8205 -x8203 -x8201 -x8198 -x8196 -x8194 -x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178 
1800.01/1800.55	v -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 -x8162 -x8160 -x8158 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x8143 -x175 
1800.01/1800.55	v -x8141 -x8139 -x8137 -x8135 -x8133 -x8131 -x8129 -x8127 -x8125 -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x174 -x8111 -x8109 
1800.01/1800.55	v -x8107 -x8105 -x8103 -x8101 -x8099 -x8097 -x8095 -x8093 -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075 -x8073 
1800.01/1800.55	v -x8071 -x8069 -x8066 -x8064 -x8062 -x8060 -x8058 -x8056 -x8054 -x8052 -x173 -x8050 -x8048 -x8046 -x8044 -x8042 -x8040 -x8038 
1800.01/1800.55	v -x8036 -x8034 -x8032 -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 -x8018 -x8016 -x8014 -x8012 -x8010 -x8008 -x8006 -x8004 -x8002 
1800.01/1800.55	v -x8000 -x7998 -x7996 -x7994 -x7992 -x172 -x7989 -x171 -x7986 -x7984 -x7982 -x7980 -x7977 -x7975 -x170 -x7973 -x7971 -x7969 
1800.01/1800.55	v -x7967 -x7965 -x7963 -x7961 -x169 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 -x7947 -x7945 -x7943 -x7941 -x7939 -x7937 -x7935 
1800.01/1800.55	v -x7933 -x7931 -x168 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x167 -x7915 -x7913 -x7911 -x7909 x7907 -x7905 -x7903 -x7901 
1800.01/1800.55	v -x7899 -x7897 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875 -x7873 -x7871 -x7869 -x7867 
1800.01/1800.55	v -x7865 -x7863 -x7861 -x7859 -x7857 -x166 -x7855 x7853 -x7851 -x7849 -x7847 -x7845 -x7843 x165 -x7841 -x7839 -x7837 -x7835 -x7833 
1800.01/1800.55	v -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 -x7813 -x164 -x7811 -x7809 -x7807 -x7805 -x7803 -x7801 -x7799 
1800.01/1800.55	v -x7797 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 -x163 -x7781 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767 -x7765 
1800.01/1800.55	v -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731 -x7729 
1800.01/1800.55	v -x7727 -x7725 -x7723 -x7721 -x162 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 
1800.01/1800.55	v -x7693 -x7691 -x161 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662 -x7660 
1800.01/1800.55	v -x7658 -x7656 -x7654 -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x160 -x7630 -x7628 -x7626 
1800.01/1800.55	v -x7624 -x7622 -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 
1800.01/1800.55	v -x7588 -x7586 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x159 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 
1800.01/1800.55	v -x158 -x7554 -x7552 -x7550 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x7534 -x7532 -x7530 -x7528 -x7526 -x157 -x7524 
1800.01/1800.55	v -x7522 -x7520 -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x156 -x7494 -x7492 -x7490 
1800.01/1800.55	v -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 
1800.01/1800.55	v -x7452 -x7450 -x7448 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x155 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 -x7420 
1800.01/1800.55	v -x7418 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x154 -x7404 -x7402 -x7400 -x7398 -x7396 -x7394 -x7392 -x7389 -x7387 -x7385 
1800.01/1800.55	v -x7383 -x7381 -x7379 -x7377 -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 
1800.01/1800.55	v -x7349 -x7347 -x7345 -x153 -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 
1800.01/1800.55	v -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x152 
1800.01/1800.55	v -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x151 -x7251 -x7249 
1800.01/1800.55	v -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7222 -x7220 -x7218 -x7216 -x7214 -x7212 
1800.01/1800.55	v -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x150 -x7190 -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 
1800.01/1800.55	v -x7176 -x7174 -x7172 -x7170 -x7168 -x7165 -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 
1800.01/1800.55	v -x7139 -x7137 -x7135 -x7133 -x7131 -x149 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 
1800.01/1800.55	v -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 
1800.01/1800.55	v -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 
1800.01/1800.55	v -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x148 -x7003 -x7001 
1800.01/1800.55	v -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 
1800.01/1800.55	v -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x147 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 
1800.01/1800.55	v -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 
1800.01/1800.55	v -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 -x6879 -x6877 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 
1800.01/1800.55	v -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x6840 -x6838 -x6836 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 
1800.01/1800.55	v -x6822 -x6820 -x6818 -x146 -x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 
1800.01/1800.55	v -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 
1800.01/1800.55	v -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 
1800.01/1800.55	v -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x145 -x6690 x144 x6687 -x6685 
1800.01/1800.55	v x143 -x6682 -x6680 -x142 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x141 -x6664 -x6662 -x6660 -x140 -x6658 -x6656 -x6654 
1800.01/1800.55	v -x6652 -x6650 -x6648 -x6646 -x139 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x138 -x6630 -x6628 -x137 -x6626 -x6624 
1800.01/1800.55	v -x6622 -x6620 -x6618 -x6616 -x6614 -x136 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x135 -x6598 -x6596 -x6594 -x6592 
1800.01/1800.55	v -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x134 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 
1800.01/1800.55	v -x6556 -x133 -x6554 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 x6524 -x6522 
1800.01/1800.55	v -x6520 -x132 -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x131 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x130 
1800.01/1800.55	v -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x129 -x6460 -x6458 
1800.01/1800.55	v -x6456 -x6454 -x6452 -x6450 -x6448 -x128 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 
1800.01/1800.55	v -x6422 -x6420 -x6418 -x127 -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x126 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 
1800.01/1800.55	v -x6390 -x6388 -x6386 -x6384 -x6382 -x6380 -x6378 -x6376 -x6374 -x125 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 
1800.01/1800.55	v -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x124 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 
1800.01/1800.55	v -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 x6298 -x6296 -x6294 -x6292 -x6290 -x6288 
1800.01/1800.55	v -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x123 -x6274 -x6272 -x6270 -x6268 -x6266 x6264 -x6262 -x6260 -x6258 -x6256 -x6254 
1800.01/1800.55	v -x6252 -x6250 -x6248 -x122 -x6246 -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 
1800.01/1800.55	v -x121 -x6217 -x6215 -x6213 -x6211 x6209 -x6207 -x6205 -x6203 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 
1800.01/1800.55	v -x6181 -x6179 -x6177 -x120 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x119 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 
1800.01/1800.55	v -x6149 -x6147 -x6145 -x6143 -x6141 -x6138 -x6136 -x6134 -x118 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 
1800.01/1800.55	v -x6114 -x6112 -x6110 -x6108 -x117 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 
1800.01/1800.55	v -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 
1800.01/1800.55	v -x116 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x115 -x6030 -x6028 -x6026 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 
1800.01/1800.55	v -x6011 -x6009 -x6007 -x6005 -x6003 -x114 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 
1800.01/1800.55	v -x5977 -x5975 -x5973 -x113 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 
1800.01/1800.55	v -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5920 -x5918 -x5916 -x5914 -x5912 -x112 -x5910 
1800.01/1800.55	v -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5874 -x5872 
1800.01/1800.55	v -x5870 -x5868 -x5866 -x5864 -x5862 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 
1800.01/1800.55	v -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 
1800.01/1800.55	v -x5797 -x5795 x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5770 -x5768 -x5766 -x5764 -x5762 
1800.01/1800.55	v -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5737 -x5735 -x5733 -x111 -x5731 -x5729 -x5727 
1800.01/1800.55	v -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5698 -x5696 -x5694 -x5692 -x5690 
1800.01/1800.55	v -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x110 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5655 
1800.01/1800.55	v -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 
1800.01/1800.55	v -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 
1800.01/1800.55	v -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5548 -x109 
1800.01/1800.55	v -x5546 -x5543 -x108 -x5541 -x5539 -x5537 -x5535 -x5533 -x5530 -x107 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x106 
1800.01/1800.55	v -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x105 -x5484 -x5482 
1800.01/1800.55	v -x5480 -x5478 -x5476 -x5474 -x5472 -x104 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x103 -x5456 -x5454 -x5452 -x5450 
1800.01/1800.55	v -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x102 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 
1800.01/1800.55	v -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x101 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 
1800.01/1800.55	v -x5380 -x5378 -x5376 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 
1800.01/1800.55	v -x5343 -x5341 -x5339 -x5337 -x100 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x99 -x5321 -x5319 -x5317 -x5315 -x5313 
1800.01/1800.55	v -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x98 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 
1800.01/1800.55	v -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x97 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 
1800.01/1800.55	v -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 
1800.01/1800.55	v -x5205 -x5203 -x5201 -x96 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 
1800.01/1800.55	v -x5171 -x95 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 
1800.01/1800.55	v -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5118 -x5116 -x5114 -x5112 -x5110 -x94 -x5108 -x5106 -x5104 
1800.01/1800.55	v -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 
1800.01/1800.55	v -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x93 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 
1800.01/1800.55	v -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 
1800.01/1800.55	v -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 
1800.01/1800.55	v -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 
1800.01/1800.55	v -x92 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x91 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4895 -x4893 -x4891 
1800.01/1800.55	v -x4889 -x4887 -x4885 -x4883 -x4881 -x90 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 
1800.01/1800.55	v -x4855 -x4853 -x4851 -x89 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 
1800.01/1800.55	v -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x88 -x4789 
1800.01/1800.55	v -x4787 -x4785 -x4783 -x4781 -x4779 -x4776 -x4774 x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 
1800.01/1800.55	v -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x87 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 
1800.01/1800.55	v -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 
1800.01/1800.55	v -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x86 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 
1800.01/1800.55	v -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 
1800.01/1800.55	v -x4610 -x4608 -x85 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 
1800.01/1800.55	v -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 
1800.01/1800.55	v -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 
1800.01/1800.55	v -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x84 -x4480 -x4478 -x4476 -x4474 -x4472 
1800.01/1800.55	v -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x83 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 
1800.01/1800.55	v -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 
1800.01/1800.55	v -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x82 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 
1800.01/1800.55	v -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 
1800.01/1800.55	v -x4330 -x4328 -x81 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 
1800.01/1800.55	v -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 
1800.01/1800.55	v -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 
1800.01/1800.55	v -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x80 -x4200 -x4198 -x4196 -x4194 -x4192 
1800.01/1800.55	v -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 
1800.01/1800.55	v -x4154 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x79 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 
1800.01/1800.55	v -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 
1800.01/1800.55	v -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 
1800.01/1800.55	v -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x78 
1800.01/1800.55	v -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 
1800.01/1800.55	v -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 
1800.01/1800.55	v -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 
1800.01/1800.55	v -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x77 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 
1800.01/1800.55	v -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 
1800.01/1800.55	v -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 
1800.01/1800.55	v -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 
1800.01/1800.55	v -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 
1800.01/1800.55	v -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 
1800.01/1800.55	v -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 
1800.01/1800.55	v -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x76 -x3631 -x75 -x3628 -x3626 x3624 -x3622 
1800.01/1800.55	v -x3620 -x3618 -x3615 -x3613 -x3611 -x74 -x3609 -x3607 -x3605 -x73 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x72 -x3589 
1800.01/1800.55	v -x3587 -x3584 -x3582 -x3580 -x3578 -x71 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 
1800.01/1800.55	v -x3552 -x3550 -x3548 -x70 -x3546 -x3544 -x3542 -x69 -x3540 -x3538 -x3536 -x3533 -x3531 -x3529 -x68 -x3527 -x3525 -x3523 
1800.01/1800.55	v -x3521 -x3519 -x3517 -x3515 -x67 -x3513 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 
1800.01/1800.55	v -x66 -x3484 -x3482 -x3480 -x65 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x64 -x3464 -x3462 -x3460 -x3458 -x3456 
1800.01/1800.55	v -x3454 -x63 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x62 -x3421 
1800.01/1800.55	v -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x61 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 
1800.01/1800.55	v -x3385 -x3383 -x3381 -x3379 -x60 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 
1800.01/1800.55	v -x3351 -x3349 -x59 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 
1800.01/1800.55	v -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x58 -x3285 
1800.01/1800.55	v -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x57 -x3271 -x3269 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 
1800.01/1800.55	v -x3248 -x3246 -x3244 -x56 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 
1800.01/1800.55	v -x55 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 
1800.01/1800.55	v -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x54 -x3150 -x3148 -x3146 
1800.01/1800.55	v -x53 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x52 -x3130 -x3128 -x3126 -x3123 -x3121 -x3119 -x51 -x3117 -x3115 -x3113 
1800.01/1800.55	v -x3111 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x50 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 
1800.01/1800.55	v -x3076 -x49 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x48 
1800.01/1800.55	v -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x47 -x3015 -x3013 -x3011 
1800.01/1800.55	v -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 
1800.01/1800.55	v -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x46 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 
1800.01/1800.55	v -x45 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x44 -x2909 -x2907 
1800.01/1800.55	v -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x43 -x2879 -x2877 -x2875 -x2873 
1800.01/1800.55	v -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 
1800.01/1800.55	v -x2835 -x2833 -x2831 -x2829 -x2826 -x2824 -x2822 -x42 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x41 -x2806 -x2804 
1800.01/1800.55	v -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x40 -x2776 -x2773 -x2771 -x2769 
1800.01/1800.55	v -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x39 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 
1800.01/1800.55	v -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 
1800.01/1800.55	v -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x38 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 
1800.01/1800.55	v -x2663 -x2661 -x2659 -x2657 -x37 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 
1800.01/1800.55	v -x2627 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x36 -x2594 
1800.01/1800.55	v -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 
1800.01/1800.55	v -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x35 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 
1800.01/1800.55	v -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 x2489 -x2487 
1800.01/1800.55	v -x2485 -x2483 -x2481 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2457 -x2455 -x2453 -x2451 -x2449 
1800.01/1800.55	v -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 
1800.01/1800.55	v -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x34 -x2379 
1800.01/1800.55	v -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 
1800.01/1800.55	v -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x33 -x2317 -x2315 -x2313 -x2311 -x2309 
1800.01/1800.55	v -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 
1800.01/1800.55	v -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x32 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 
1800.01/1800.55	v -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 
1800.01/1800.55	v -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 
1800.01/1800.55	v -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 
1800.01/1800.55	v -x2131 -x31 -x2129 -x2127 -x30 -x2124 -x2122 -x2120 -x2117 -x2115 -x2113 -x29 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 
1800.01/1800.55	v -x28 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x27 -x2067 
1800.01/1800.55	v -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x26 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 
1800.01/1800.55	v -x2031 -x2029 -x2027 -x2025 -x25 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 
1800.01/1800.55	v -x1995 -x24 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 
1800.01/1800.55	v -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x23 -x1931 -x1929 
1800.01/1800.55	v -x1927 -x1925 -x1923 -x1921 -x1919 -x22 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 
1800.01/1800.55	v -x1893 -x1891 -x1889 -x21 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 
1800.01/1800.55	v -x1859 -x20 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 
1800.01/1800.55	v -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x19 -x1795 -x1793 
1800.01/1800.55	v -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x18 -x1765 -x1763 -x1761 -x1759 -x1757 
1800.01/1800.55	v -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 
1800.01/1800.55	v -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x17 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 
1800.01/1800.55	v -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 
1800.01/1800.55	v -x1651 -x1649 -x1647 -x1644 -x16 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 
1800.01/1800.55	v -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 
1800.01/1800.55	v -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 
1800.01/1800.55	v -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x15 -x1516 -x1514 -x1512 
1800.01/1800.55	v -x1510 -x1508 -x1506 -x1504 -x14 -x1502 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 
1800.01/1800.55	v -x13 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x12 -x1443 
1800.01/1800.55	v -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 
1800.01/1800.55	v -x1405 -x1403 x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 
1800.01/1800.55	v -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x11 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 
1800.01/1800.55	v -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 
1800.01/1800.55	v -x1299 -x1297 -x1295 -x1293 -x1291 -x10 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 
1800.01/1800.55	v -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 
1800.01/1800.55	v -x1229 -x9 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 
1800.01/1800.55	v -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 
1800.01/1800.55	v -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1124 
1800.01/1800.55	v -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1109 -x1107 -x1105 -x8 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 
1800.01/1800.55	v -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x7 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 
1800.01/1800.55	v -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 
1800.01/1800.55	v -x1017 -x1015 -x1013 -x6 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 
1800.01/1800.55	v -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x5 -x949 -x947 -x945 -x943 -x941 
1800.01/1800.55	v -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 
1800.01/1800.55	v -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 
1800.01/1800.55	v -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x4 -x824 -x822 -x820 -x818 -x816 
1800.01/1800.55	v -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 
1800.01/1800.55	v -x772 -x770 -x768 -x766 -x764 -x3 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 
1800.01/1800.55	v -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 
1800.01/1800.55	v -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 
1800.01/1800.55	v -x648 -x646 -x644 -x642 -x640 -x638 -x2 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 
1800.01/1800.55	v -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 
1800.01/1800.55	v -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 
1800.01/1800.55	v -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x1 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 
1800.01/1800.55	v -x484 -x482 -x480 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 
1800.01/1800.55	v -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 
1800.01/1800.55	v -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 
1800.01/1800.55	v -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 x327 -x325 -x323 -x321 -x319 
1800.01/1800.55	v -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 
1800.01/1800.55	v -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 x9709 x9708 x9707 -x9706 x9704 x9703 -x9701 -x9699 -x9698 x9696 
1800.01/1800.55	v -x9695 -x9693 -x9691 -x9689 -x9688 -x9686 -x9684 x9682 -x9681 -x9680 -x9678 x9676 -x9674 -x9672 -x9670 -x9668 -x9666 -x9664 
1800.01/1800.55	v -x9662 -x9660 -x9658 -x9657 -x9655 -x9653 -x9651 -x9649 -x9647 -x9646 -x9644 -x9642 -x9640 -x9638 -x9636 -x9634 -x9632 -x9630 
1800.01/1800.55	v x9628 -x9626 -x9624 -x9622 -x9620 -x9618 -x9616 -x9614 -x9612 -x9610 -x9608 -x9606 -x9604 -x9602 -x9600 -x9599 -x9598 -x9596 
1800.01/1800.55	v -x9594 -x9592 -x9590 -x9588 -x9586 -x9584 -x9582 -x9580 -x9578 -x9576 -x9574 -x9572 -x9570 -x9568 -x9566 -x9564 -x9562 -x9560 
1800.01/1800.55	v -x9558 -x9556 -x9554 -x9552 -x9550 -x9548 -x9546 -x9544 -x9542 -x9540 -x9538 -x9536 -x9534 -x9532 -x9530 -x9528 -x9526 -x9524 
1800.01/1800.55	v -x9522 -x9520 -x9518 -x9516 -x9514 -x9512 -x9510 -x9508 -x9507 -x9505 -x9503 -x9501 -x9499 -x9498 -x9496 -x9494 -x9492 -x9490 
1800.01/1800.55	v -x9488 -x9486 -x9484 -x9482 -x9480 -x9478 -x9476 -x9474 -x9472 -x9470 -x9468 -x9466 -x9464 -x9462 -x9460 -x9458 -x9456 -x9454 
1800.01/1800.55	v -x9452 -x9450 -x9448 -x9446 -x9444 -x9442 -x9440 -x9438 -x9436 -x9434 -x9432 -x9430 -x9428 -x9426 -x9424 -x9422 -x9420 
1800.01/1800.55	v -x9418 -x9416 -x9414 -x9412 -x9410 -x9408 -x9406 -x9404 -x9402 -x9400 -x9398 -x9396 -x9394 -x9392 -x9390 -x9388 -x9386 -x9384 
1800.01/1800.55	v -x9382 -x9380 -x9378 -x9376 -x9374 -x9372 -x9370 -x9368 -x9366 -x9364 -x9362 -x9360 -x9358 -x9356 -x9354 -x9352 -x9350 -x9348 
1800.01/1800.55	v -x9346 -x9344 -x9342 -x9340 -x9338 -x9336 -x9334 -x9332 -x9330 -x9328 -x9326 -x9324 -x9322 -x9320 -x9318 -x9317 -x9316 -x9314 
1800.01/1800.55	v -x9312 -x9310 -x9308 -x9306 -x9304 -x9302 -x9300 -x9298 -x9296 -x9294 -x9292 -x9290 -x9288 -x9286 -x9284 -x9282 -x9280 -x9278 
1800.01/1800.55	v -x9276 -x9274 -x9272 -x9270 -x9268 -x9266 -x9264 -x9262 x9260 -x9258 -x9256 -x9254 -x9252 -x9250 -x9248 -x9246 -x9244 -x9242 
1800.01/1800.55	v -x9240 x9238 -x9236 -x9234 -x9232 -x9230 -x9228 -x9226 -x9224 -x9222 -x9220 -x9218 -x9216 -x9214 -x9212 -x9210 -x9208 -x9206 
1800.01/1800.55	v -x9204 -x9202 -x9200 -x9198 -x9196 -x9194 -x9192 -x9190 -x9188 -x9186 -x9184 -x9182 -x9180 -x9178 -x9176 -x9174 -x9172 -x9170 
1800.01/1800.55	v -x9168 -x9166 -x9164 -x9162 -x9160 -x9158 -x9156 -x9154 -x9152 -x9150 -x9148 -x9146 -x9144 -x9142 -x9140 -x9138 -x9136 -x9134 
1800.01/1800.55	v -x9132 -x9130 -x9128 -x9126 -x9125 -x9123 -x9121 -x9120 -x9118 -x9116 -x9114 -x9112 -x9110 -x9108 -x9106 -x9104 -x9102 
1800.01/1800.55	v -x9100 -x9098 -x9096 -x9094 -x9092 -x9090 -x9088 -x9086 -x9084 -x9082 -x9080 -x9078 -x9076 -x9074 -x9072 -x9070 -x9068 -x9066 
1800.01/1800.55	v -x9064 -x9062 -x9060 -x9058 -x9056 -x9054 -x9052 -x9050 -x9048 -x9046 -x9044 -x9042 -x9040 -x9038 -x9036 -x9034 -x9032 -x9030 
1800.01/1800.55	v -x9028 -x9026 -x9024 -x9022 -x9020 -x9018 -x9016 -x9014 -x9012 -x9010 -x9008 -x9006 -x9004 -x9002 -x9000 -x8998 -x8996 -x8994 
1800.01/1800.55	v -x8992 -x8990 -x8988 -x8986 -x8984 -x8982 -x8980 -x8978 -x8976 -x8974 -x8972 -x8970 -x8968 -x8966 -x8964 -x8962 -x8960 -x8958 
1800.01/1800.55	v -x8956 -x8954 -x8952 -x8950 -x8948 -x8946 -x8944 -x8942 -x8940 -x8938 -x8936 -x8934 -x8932 -x8930 -x8928 -x8926 -x8924 -x8922 
1800.01/1800.55	v -x8920 -x8918 -x8916 -x8914 -x8912 -x8910 -x8908 -x8906 -x8904 -x8902 -x8900 -x8898 -x8896 -x8894 -x8892 -x8890 -x8888 -x8886 
1800.01/1800.55	v -x8884 -x8882 -x8880 -x8878 -x8876 -x8874 -x8872 -x8870 -x8868 -x8866 -x8864 -x8862 -x8860 -x8858 -x8856 -x8854 -x8852 
1800.01/1800.55	v -x8850 -x8848 -x8846 -x8844 -x8842 -x8840 -x8838 -x8836 -x8834 -x8832 -x8830 -x8828 -x8826 -x8824 -x8822 -x8820 -x8818 -x8816 
1800.01/1800.55	v -x8814 -x8812 -x8810 -x8808 -x8806 -x8804 -x8802 -x8800 -x8798 -x8796 -x8794 -x8792 -x8790 -x8788 -x8786 -x8784 -x8782 -x8780 
1800.01/1800.55	v -x8778 -x8776 -x8774 -x8772 -x8770 -x8768 -x8766 -x8764 -x8762 -x8760 -x8758 -x8756 -x8754 -x8752 -x8750 -x8748 -x8746 -x8744 
1800.01/1800.55	v -x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 -x8728 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 -x8712 -x8710 -x8708 
1800.01/1800.55	v -x8706 -x8704 -x8702 -x8701 -x8699 -x8697 -x8696 -x8694 -x8692 -x8690 -x8688 -x8686 -x8684 -x8682 -x8680 -x8678 -x8676 -x8674 
1800.01/1800.55	v -x8672 -x8670 -x8668 -x8666 -x8664 -x8662 -x8660 -x8658 -x8656 -x8654 -x8652 -x8650 -x8648 -x8646 -x8644 -x8642 -x8640 -x8638 
1800.01/1800.55	v -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 -x8624 -x8622 -x8620 -x8618 -x8616 -x8614 -x8612 -x8610 -x8608 -x8606 -x8604 
1800.01/1800.55	v -x8602 -x8600 -x8598 -x8596 -x8594 -x8592 -x8590 -x8588 -x8586 -x8584 -x8582 -x8580 -x8578 -x8576 -x8574 -x8572 -x8570 -x8568 
1800.01/1800.55	v -x8566 -x8564 -x8562 -x8560 -x8558 -x8556 -x8554 -x8552 -x8550 -x8548 -x8546 -x8544 -x8542 -x8540 -x8538 -x8536 -x8534 -x8532 
1800.01/1800.55	v -x8530 -x8528 -x8526 -x8524 -x8522 -x8520 -x8518 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x8504 -x8502 -x8500 -x8498 -x8496 
1800.01/1800.55	v -x8494 -x8492 -x8490 -x8488 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x8472 -x8470 -x8468 -x8466 -x8464 -x8462 -x8460 
1800.01/1800.55	v -x8458 -x8456 -x8454 -x8452 -x8450 -x8448 -x8446 -x8444 -x8442 -x8440 -x8438 -x8436 -x8434 -x8432 -x8430 -x8428 -x8426 -x8424 
1800.01/1800.55	v -x8422 -x8420 -x8418 -x8416 -x8414 -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 -x8400 -x8398 -x8396 -x8394 -x8392 -x8390 -x8388 
1800.01/1800.55	v -x8386 -x8384 -x8382 -x8380 -x8378 -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 -x8364 -x8362 -x8360 -x8358 -x8356 -x8354 
1800.01/1800.55	v -x8352 -x8350 -x8348 -x8346 -x8344 -x8342 -x8340 -x8338 -x8336 -x8334 -x8332 -x8330 -x8328 -x8326 -x8324 -x8322 -x8320 -x8318 
1800.01/1800.55	v -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 -x8304 -x8302 -x8300 -x8298 -x8296 -x8294 -x8292 -x8290 -x8288 x8286 -x8284 -x8282 
1800.01/1800.55	v -x8280 -x8278 -x8276 -x8274 -x8272 -x8270 -x8268 -x8266 -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250 x8248 -x8246 
1800.01/1800.55	v -x8244 -x8242 -x8240 -x8238 -x8236 -x8234 -x8232 -x8230 -x8228 -x8226 x8224 -x8222 -x8220 -x8218 -x8216 -x8214 -x8212 -x8210 
1800.01/1800.55	v -x8208 -x8206 -x8204 -x8202 -x8200 -x8199 -x8197 -x8195 -x8193 -x8191 -x8189 -x8187 -x8185 -x8183 -x8181 -x8179 -x8177 -x8175 
1800.01/1800.55	v -x8173 -x8171 -x8169 -x8167 -x8165 -x8163 -x8161 -x8159 -x8157 -x8156 -x8154 -x8152 -x8150 -x8148 -x8146 -x8144 -x8142 -x8140 
1800.01/1800.55	v -x8138 -x8136 -x8134 -x8132 -x8130 -x8128 -x8126 -x8124 -x8122 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106 -x8104 
1800.01/1800.55	v -x8102 -x8100 -x8098 -x8096 -x8094 -x8092 -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072 -x8070 -x8068 
1800.01/1800.55	v -x8067 -x8065 -x8063 -x8061 -x8059 -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 -x8033 
1800.01/1800.55	v -x8031 -x8029 -x8027 -x8025 -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 
1800.01/1800.55	v -x7997 -x7995 -x7993 -x7991 -x7990 -x7988 -x7987 -x7985 -x7983 -x7981 -x7979 -x7978 -x7976 -x7974 -x7972 -x7970 -x7968 -x7966 
1800.01/1800.55	v -x7964 -x7962 -x7960 -x7958 -x7956 -x7954 -x7952 -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x7938 -x7936 -x7934 -x7932 -x7930 
1800.01/1800.55	v -x7928 -x7926 -x7924 -x7922 -x7920 -x7918 -x7916 -x7914 -x7912 -x7910 x7908 -x7906 -x7904 -x7902 -x7900 -x7898 -x7896 -x7894 
1800.01/1800.55	v -x7892 -x7890 -x7888 -x7886 -x7884 -x7882 -x7880 -x7878 -x7876 -x7874 -x7872 -x7870 -x7868 -x7866 -x7864 -x7862 -x7860 -x7858 
1800.01/1800.55	v -x7856 x7854 -x7852 -x7850 -x7848 -x7846 -x7844 -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 -x7830 -x7828 -x7826 -x7824 -x7822 
1800.01/1800.55	v -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802 -x7800 -x7798 -x7796 -x7794 -x7792 -x7790 -x7788 -x7786 
1800.01/1800.55	v -x7784 -x7782 -x7780 -x7778 -x7776 -x7774 -x7772 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 -x7754 -x7752 -x7750 
1800.01/1800.55	v -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x7722 -x7720 -x7718 -x7716 -x7714 
1800.01/1800.55	v -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x7690 -x7688 -x7686 -x7684 -x7682 -x7680 
1800.01/1800.55	v -x7678 -x7676 -x7674 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661 -x7659 -x7657 -x7655 -x7653 -x7651 -x7649 -x7647 -x7645 
1800.01/1800.55	v -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 
1800.01/1800.55	v -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x7587 -x7585 -x7583 -x7581 -x7579 -x7577 -x7575 -x7573 
1800.01/1800.55	v -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 
1800.01/1800.55	v -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 
1800.01/1800.55	v -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481 -x7479 -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 
1800.01/1800.55	v -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 -x7445 -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 
1800.01/1800.55	v -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 
1800.01/1800.55	v -x7393 -x7391 -x7390 -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 
1800.01/1800.55	v -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 
1800.01/1800.55	v -x7322 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 
1800.01/1800.55	v -x7286 -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 
1800.01/1800.55	v -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7223 -x7221 -x7219 -x7217 
1800.01/1800.55	v -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 
1800.01/1800.55	v -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 
1800.01/1800.55	v -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 
1800.01/1800.55	v -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080 -x7078 -x7076 
1800.01/1800.55	v -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 
1800.01/1800.55	v -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 
1800.01/1800.55	v -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 
1800.01/1800.55	v -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 
1800.01/1800.55	v -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 
1800.01/1800.55	v -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 
1800.01/1800.55	v -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 
1800.01/1800.55	v -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 
1800.01/1800.55	v -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 
1800.01/1800.55	v -x6753 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 
1800.01/1800.55	v -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 x6689 x6688 -x6686 -x6684 
1800.01/1800.55	v -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 
1800.01/1800.55	v -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 
1800.01/1800.55	v -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 
1800.01/1800.55	v -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 
1800.01/1800.55	v -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 
1800.01/1800.55	v -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 
1800.01/1800.55	v -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 
1800.01/1800.55	v -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 
1800.01/1800.55	v -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 
1800.01/1800.55	v -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 
1800.01/1800.55	v -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 x6299 -x6297 -x6295 -x6293 
1800.01/1800.55	v -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 x6265 -x6263 -x6261 -x6259 -x6257 
1800.01/1800.55	v -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 
1800.01/1800.55	v -x6219 -x6218 -x6216 -x6214 -x6212 x6210 -x6208 -x6206 -x6204 -x6202 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 
1800.01/1800.55	v -x6185 -x6183 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 
1800.01/1800.55	v -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 
1800.01/1800.55	v -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 
1800.01/1800.55	v -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 
1800.01/1800.55	v -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 
1800.01/1800.55	v -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 
1800.01/1800.55	v -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 
1800.01/1800.55	v -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 
1800.01/1800.55	v -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5875 -x5873 -x5871 
1800.01/1800.55	v -x5869 -x5867 -x5865 -x5863 -x5861 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 
1800.01/1800.55	v -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 
1800.01/1800.55	v -x5798 -x5796 x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5771 -x5769 -x5767 -x5765 
1800.01/1800.55	v -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5738 -x5736 -x5734 -x5732 -x5730 
1800.01/1800.55	v -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5699 -x5697 -x5695 
1800.01/1800.55	v -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x5659 
1800.01/1800.55	v -x5657 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 
1800.01/1800.55	v -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 
1800.01/1800.55	v -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 
1800.01/1800.55	v -x5552 -x5550 -x5549 -x5547 -x5545 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 
1800.01/1800.55	v -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 
1800.01/1800.55	v -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 
1800.01/1800.55	v -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 
1800.01/1800.55	v -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 
1800.01/1800.55	v -x5377 -x5375 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 
1800.01/1800.55	v -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 
1800.01/1800.55	v -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 
1800.01/1800.55	v -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 
1800.01/1800.55	v -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 
1800.01/1800.55	v -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 
1800.01/1800.55	v -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 
1800.01/1800.55	v -x5128 -x5126 -x5124 -x5122 -x5120 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 
1800.01/1800.55	v -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5066 -x5064 -x5062 -x5060 
1800.01/1800.55	v -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 
1800.01/1800.55	v -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 
1800.01/1800.55	v -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 
1800.01/1800.55	v -x4950 -x4948 -x4946 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 
1800.01/1800.55	v -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 
1800.01/1800.55	v -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 
1800.01/1800.55	v -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 
1800.01/1800.55	v -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4777 
1800.01/1800.55	v -x4775 x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 
1800.01/1800.55	v -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 
1800.01/1800.55	v -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 
1800.01/1800.55	v -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 
1800.01/1800.55	v -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 
1800.01/1800.55	v -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 
1800.01/1800.55	v -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 
1800.01/1800.55	v -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 
1800.01/1800.55	v -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 
1800.01/1800.55	v -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 
1800.01/1800.55	v -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 
1800.01/1800.55	v -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 
1800.01/1800.55	v -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 
1800.01/1800.55	v -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 
1800.01/1800.55	v -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 
1800.01/1800.55	v -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 
1800.01/1800.55	v -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 
1800.01/1800.55	v -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 
1800.01/1800.55	v -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 
1800.01/1800.55	v -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 
1800.01/1800.55	v -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 
1800.01/1800.55	v -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 
1800.01/1800.55	v -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 
1800.01/1800.55	v -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 
1800.01/1800.55	v -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 
1800.01/1800.55	v -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 x3850 -x3848 
1800.01/1800.55	v -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 
1800.01/1800.55	v -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 
1800.01/1800.55	v -x3776 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 
1800.01/1800.55	v -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 
1800.01/1800.55	v -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 
1800.01/1800.55	v -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 
1800.01/1800.55	v -x3633 -x3632 -x3630 -x3629 -x3627 x3625 -x3623 -x3621 -x3619 -x3617 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 
1800.01/1800.55	v -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 
1800.01/1800.55	v -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3534 
1800.01/1800.55	v -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 
1800.01/1800.55	v -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 
1800.01/1800.55	v -x3461 -x3459 -x3457 -x3455 -x3453 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 
1800.01/1800.55	v -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 
1800.01/1800.55	v -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 
1800.01/1800.55	v -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 
1800.01/1800.55	v -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 
1800.01/1800.55	v -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 
1800.01/1800.55	v -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 
1800.01/1800.55	v -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 
1800.01/1800.55	v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 
1800.01/1800.55	v -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3109 
1800.01/1800.55	v -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 
1800.01/1800.55	v -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3044 -x3042 -x3040 
1800.01/1800.55	v -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 
1800.01/1800.55	v -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 
1800.01/1800.55	v -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 
1800.01/1800.55	v -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 
1800.01/1800.55	v -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 
1800.01/1800.55	v -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2827 -x2825 
1800.01/1800.55	v -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 
1800.01/1800.55	v -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 
1800.01/1800.55	v -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 
1800.01/1800.55	v -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 
1800.01/1800.55	v -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 
1800.01/1800.55	v -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 
1800.01/1800.55	v -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 
1800.01/1800.56	v -x2575 -x2573 -x2571 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 
1800.01/1800.56	v -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 
1800.01/1800.56	v -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2479 -x2477 -x2475 -x2473 
1800.01/1800.56	v -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 
1800.01/1800.56	v -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 
1800.01/1800.56	v -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 
1800.01/1800.56	v -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 
1800.01/1800.56	v -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 
1800.01/1800.56	v -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 
1800.01/1800.56	v -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 
1800.01/1800.56	v -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 
1800.01/1800.56	v -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 
1800.01/1800.56	v -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2125 -x2123 -x2121 -x2119 -x2118 
1800.01/1800.56	v -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 
1800.01/1800.56	v -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 
1800.01/1800.56	v -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 
1800.01/1800.56	v -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 
1800.01/1800.56	v -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 
1800.01/1800.56	v -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 
1800.01/1800.56	v -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 
1800.01/1800.56	v -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 
1800.01/1800.56	v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 
1800.01/1800.56	v -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 
1800.01/1800.56	v -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 
1800.01/1800.56	v -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 
1800.01/1800.56	v -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 
1800.01/1800.56	v -x1652 -x1650 -x1648 -x1646 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 
1800.01/1800.56	v -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 
1800.01/1800.56	v -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 
1800.01/1800.56	v -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 
1800.01/1800.56	v -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 
1800.01/1800.56	v -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 
1800.01/1800.56	v -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 
1800.01/1800.56	v -x1404 x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 
1800.01/1800.56	v -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 
1800.01/1800.56	v -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 
1800.01/1800.56	v -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 
1800.01/1800.56	v -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 
1800.01/1800.56	v -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 
1800.01/1800.56	v -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 
1800.01/1800.56	v -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1125 -x1123 -x1121 
1800.01/1800.56	v -x1119 -x1117 -x1115 -x1113 -x1111 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 
1800.01/1800.56	v -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 
1800.01/1800.56	v -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 
1800.01/1800.56	v -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 
1800.01/1800.56	v -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 
1800.01/1800.56	v -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 
1800.01/1800.56	v -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 
1800.01/1800.56	v -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 
1800.01/1800.56	v -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 
1800.01/1800.56	v -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 
1800.01/1800.56	v -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 
1800.01/1800.56	v -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 
1800.01/1800.56	v -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 
1800.01/1800.56	v -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 
1800.01/1800.56	v -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 
1800.01/1800.56	v -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x478 
1800.01/1800.56	v -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 
1800.01/1800.56	v -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 
1800.01/1800.56	v -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 
1800.01/1800.56	v -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 
1800.01/1800.56	v -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 
1800.01/1800.56	v -x268 -x266 -x264 -x262 -x260 -x258 
1800.01/1800.56	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.56	c Solving Time       :    1769.44
1800.01/1800.56	c Original Problem   :
1800.01/1800.56	c   Problem name     : HOME/instance-2663923-1276631630.opb
1800.01/1800.56	c   Variables        : 9709 (9709 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.56	c   Constraints      : 29891 initial, 29891 maximal
1800.01/1800.56	c Presolved Problem  :
1800.01/1800.56	c   Problem name     : t_HOME/instance-2663923-1276631630.opb
1800.01/1800.56	c   Variables        : 4072 (4072 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.56	c   Constraints      : 17544 initial, 17592 maximal
1800.01/1800.56	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.56	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.56	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.56	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.56	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.56	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.01/1800.56	c   probing          :       0.15          0          0          0          0          0          0          0          0
1800.01/1800.56	c   linear           :       0.34        944       4693          0        944          0      12347          0          0
1800.01/1800.56	c   logicor          :       0.10          0          0          0          0          0          0          0          0
1800.01/1800.56	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.56	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.56	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.56	c   logicor          :      17544+         0    2692489          0          8     167502    4207809          0          0          0
1800.01/1800.56	c   countsols        :          0          0          0          0          8          0          0          0          0          0
1800.01/1800.56	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.56	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.56	c   logicor          :     289.70       0.00     289.69       0.00       0.01
1800.01/1800.56	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.56	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.56	c   vbounds          :       2.06          2          0          0
1800.01/1800.56	c   rootredcost      :       1.97          0          0          0
1800.01/1800.56	c   pseudoobj        :    1261.24    4024489     407750    3490560
1800.01/1800.56	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.56	c   propagation      :     273.99     575252     575252     575252       63.8       9485       46.0          -
1800.01/1800.56	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.56	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.56	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.56	c   pseudo solution  :       6.01       4878       4878       4878       61.4         86       68.7          -
1800.01/1800.56	c   applied globally :          -          -          -     589701       63.5          -          -          -
1800.01/1800.56	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.56	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.56	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.01/1800.56	c   redcost          :       0.00          0          0          0          0          0
1800.01/1800.56	c   impliedbounds    :       0.00          0          0          0          0          0
1800.01/1800.56	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.56	c   cgmip            :       0.00          0          0          0          0          0
1800.01/1800.56	c   gomory           :       0.00          0          0          0          0          0
1800.01/1800.56	c   strongcg         :       0.00          0          0          0          0          0
1800.01/1800.56	c   cmir             :       0.00          0          0          0          0          0
1800.01/1800.56	c   flowcover        :       0.00          0          0          0          0          0
1800.01/1800.56	c   clique           :       0.00          0          0          0          0          0
1800.01/1800.56	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.56	c   mcf              :       0.00          0          0          0          0          0
1800.01/1800.56	c   rapidlearning    :       0.00          0          0          0          0          0
1800.01/1800.56	c Pricers            :       Time      Calls       Vars
1800.01/1800.56	c   problem variables:       0.00          0          0
1800.01/1800.56	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.56	c   relpscost        :       0.00          0          0          0          0          0          0
1800.01/1800.56	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.56	c   inference        :      33.07     770919          0          0          0          0    1541838
1800.01/1800.56	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.56	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.56	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.56	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.56	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.56	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.56	c   LP solutions     :       0.00          -          0
1800.01/1800.56	c   pseudo solutions :       0.01          -          8
1800.01/1800.56	c   oneopt           :       1.46          0          0
1800.01/1800.56	c   trivial          :       0.03          2          0
1800.01/1800.56	c   simplerounding   :       0.00          0          0
1800.01/1800.56	c   zirounding       :       0.00          0          0
1800.01/1800.56	c   rounding         :       0.00          0          0
1800.01/1800.56	c   shifting         :       0.00          0          0
1800.01/1800.56	c   intshifting      :       0.00          0          0
1800.01/1800.56	c   twoopt           :       0.00          0          0
1800.01/1800.56	c   fixandinfer      :       0.00          0          0
1800.01/1800.56	c   feaspump         :       0.00          0          0
1800.01/1800.56	c   coefdiving       :       0.00          0          0
1800.01/1800.56	c   pscostdiving     :       0.00          0          0
1800.01/1800.56	c   fracdiving       :       0.00          0          0
1800.01/1800.56	c   veclendiving     :       0.00          0          0
1800.01/1800.56	c   intdiving        :       0.00          0          0
1800.01/1800.56	c   actconsdiving    :       0.00          0          0
1800.01/1800.56	c   objpscostdiving  :       0.00          0          0
1800.01/1800.56	c   rootsoldiving    :       0.00          0          0
1800.01/1800.56	c   linesearchdiving :       0.00          0          0
1800.01/1800.56	c   guideddiving     :       0.00          0          0
1800.01/1800.56	c   octane           :       0.00          0          0
1800.01/1800.56	c   rens             :       0.00          0          0
1800.01/1800.56	c   rins             :       0.00          0          0
1800.01/1800.56	c   localbranching   :       0.00          0          0
1800.01/1800.56	c   mutation         :       0.00          0          0
1800.01/1800.56	c   crossover        :       0.00          0          0
1800.01/1800.56	c   dins             :       0.00          0          0
1800.01/1800.56	c   undercover       :       0.00          0          0
1800.01/1800.56	c   nlp              :       0.53          0          0
1800.01/1800.56	c   trysol           :       0.55          0          0
1800.01/1800.56	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.56	c   primal LP        :       0.00          0          0       0.00          -
1800.01/1800.56	c   dual LP          :       0.00          0          0       0.00          -
1800.01/1800.56	c   lex dual LP      :       0.00          0          0       0.00          -
1800.01/1800.56	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.56	c   diving/probing LP:       0.00          0          0       0.00          -
1800.01/1800.56	c   strong branching :       0.00          0          0       0.00          -
1800.01/1800.56	c     (at root node) :          -          0          0       0.00          -
1800.01/1800.56	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.56	c B&B Tree           :
1800.01/1800.56	c   number of runs   :          1
1800.01/1800.56	c   nodes            :    1043250
1800.01/1800.56	c   nodes (total)    :    1043250
1800.01/1800.56	c   nodes left       :        515
1800.01/1800.56	c   max depth        :        574
1800.01/1800.56	c   max depth (total):        574
1800.01/1800.56	c   backtracks       :     348703 (33.4%)
1800.01/1800.56	c   delayed cutoffs  :     409031
1800.01/1800.56	c   repropagations   :     773805 (3314372 domain reductions, 307807 cutoffs)
1800.01/1800.56	c   avg switch length:       2.55
1800.01/1800.56	c   switching time   :      78.60
1800.01/1800.56	c Solution           :
1800.01/1800.56	c   Solutions found  :          8 (8 improvements)
1800.01/1800.56	c   First Solution   : +3.80000000000000e+01   (in run 1, after 569 nodes, 1.48 seconds, depth 568, found by <relaxation>)
1800.01/1800.56	c   Primal Bound     : +3.10000000000000e+01   (in run 1, after 97729 nodes, 152.14 seconds, depth 550, found by <relaxation>)
1800.01/1800.56	c   Dual Bound       : +1.00000000000000e+00
1800.01/1800.56	c   Gap              :    3000.00 %
1800.01/1800.56	c   Root Dual Bound  : +1.00000000000000e+00
1800.01/1800.56	c   Root Iterations  :          0
1800.12/1800.66	c Time complete: 1800.17.

OK	31

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663923-1276631630/watcher-2663923-1276631630 -o /tmp/evaluation-result-2663923-1276631630/solver-2663923-1276631630 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663923-1276631630.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: 2.09 2.12 1.69 3/106 12721
/proc/meminfo: memFree=1601008/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=3652 CPUtime=0
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 475 0 0 0 0 0 0 0 16 0 1 0 4453707 3739648 398 1992294400 4194304 7136930 140733493849936 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12721/statm: 913 399 224 719 0 192 0

[startup+0.0583379 s]
/proc/loadavg: 2.09 2.12 1.69 3/106 12721
/proc/meminfo: memFree=1601008/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=13608 CPUtime=0.05
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 2891 0 0 0 4 1 0 0 16 0 1 0 4453707 13934592 2813 1992294400 4194304 7136930 140733493849936 18446744073709551615 6166614 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12721/statm: 3402 2813 271 719 0 2681 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13608

[startup+0.101342 s]
/proc/loadavg: 2.09 2.12 1.69 3/106 12721
/proc/meminfo: memFree=1601008/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=16528 CPUtime=0.09
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 3623 0 0 0 8 1 0 0 16 0 1 0 4453707 16924672 3545 1992294400 4194304 7136930 140733493849936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12721/statm: 4132 3545 271 719 0 3411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16528

[startup+0.301365 s]
/proc/loadavg: 2.09 2.12 1.69 3/106 12721
/proc/meminfo: memFree=1601008/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=21568 CPUtime=0.29
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 4911 0 0 0 27 2 0 0 17 0 1 0 4453707 22085632 4833 1992294400 4194304 7136930 140733493849936 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12721/statm: 5392 4833 271 719 0 4671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21568

[startup+0.70141 s]
/proc/loadavg: 2.09 2.12 1.69 3/106 12721
/proc/meminfo: memFree=1601008/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=58120 CPUtime=0.69
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 13982 0 0 0 64 5 0 0 17 0 1 0 4453707 59514880 13550 1992294400 4194304 7136930 140733493849936 18446744073709551615 4566677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 14530 13550 314 719 0 13809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58120

[startup+1.5015 s]
/proc/loadavg: 2.09 2.12 1.69 2/107 12722
/proc/meminfo: memFree=1544704/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=67996 CPUtime=1.49
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 18664 0 0 0 134 15 0 0 18 0 1 0 4453707 69627904 16204 1992294400 4194304 7136930 140733493849936 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 16999 16204 384 719 0 16278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67996

[startup+3.10168 s]
/proc/loadavg: 2.09 2.12 1.69 2/107 12722
/proc/meminfo: memFree=1536396/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=69484 CPUtime=3.08
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19020 0 0 0 291 17 0 0 21 0 1 0 4453707 71151616 16560 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17371 16560 390 719 0 16650 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 69484

[startup+6.30104 s]
/proc/loadavg: 2.00 2.10 1.69 2/107 12722
/proc/meminfo: memFree=1535652/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=69616 CPUtime=6.28
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19059 0 0 0 605 23 0 0 25 0 1 0 4453707 71286784 16599 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17404 16599 390 719 0 16683 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 69616

[startup+12.7018 s]
/proc/loadavg: 1.92 2.08 1.69 2/107 12724
/proc/meminfo: memFree=1535404/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=69748 CPUtime=12.69
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19082 0 0 0 1234 35 0 0 25 0 1 0 4453707 71421952 16622 1992294400 4194304 7136930 140733493849936 18446744073709551615 5506113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17437 16622 390 719 0 16716 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 69748

[startup+25.5012 s]
/proc/loadavg: 1.72 2.03 1.67 2/107 12724
/proc/meminfo: memFree=1535404/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=69880 CPUtime=25.49
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19104 0 0 0 2494 55 0 0 25 0 1 0 4453707 71557120 16644 1992294400 4194304 7136930 140733493849936 18446744073709551615 5925601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17470 16644 390 719 0 16749 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69880

[startup+51.1011 s]
/proc/loadavg: 1.47 1.94 1.65 2/107 12724
/proc/meminfo: memFree=1535404/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=69880 CPUtime=51.08
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19124 0 0 0 5008 100 0 0 25 0 1 0 4453707 71557120 16664 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17470 16664 390 719 0 16749 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69880

[startup+102.309 s]
/proc/loadavg: 1.20 1.80 1.62 2/107 12726
/proc/meminfo: memFree=1535156/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70012 CPUtime=102.27
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19160 0 0 0 10040 187 0 0 25 0 1 0 4453707 71692288 16700 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17503 16700 390 719 0 16782 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70012

[startup+162.301 s]
/proc/loadavg: 1.07 1.65 1.58 2/107 12728
/proc/meminfo: memFree=1534908/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70144 CPUtime=162.25
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19184 0 0 0 15932 293 0 0 25 0 1 0 4453707 71827456 16724 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17536 16724 390 719 0 16815 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70144

[startup+222.301 s]
/proc/loadavg: 1.02 1.53 1.54 2/107 12728
/proc/meminfo: memFree=1534784/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70276 CPUtime=222.23
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19224 0 0 0 21832 391 0 0 25 0 1 0 4453707 71962624 16764 1992294400 4194304 7136930 140733493849936 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17569 16764 390 719 0 16848 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 70276

[startup+282.301 s]
/proc/loadavg: 1.01 1.43 1.50 2/107 12730
/proc/meminfo: memFree=1534536/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70408 CPUtime=282.21
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19243 0 0 0 27733 488 0 0 25 0 1 0 4453707 72097792 16783 1992294400 4194304 7136930 140733493849936 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17602 16783 390 719 0 16881 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 70408

[startup+342.301 s]
/proc/loadavg: 1.00 1.35 1.47 2/107 12732
/proc/meminfo: memFree=1534412/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70408 CPUtime=342.19
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19259 0 0 0 33627 592 0 0 25 0 1 0 4453707 72097792 16799 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17602 16799 390 719 0 16881 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 70408

[startup+402.301 s]
/proc/loadavg: 1.00 1.28 1.43 2/107 12734
/proc/meminfo: memFree=1534412/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70408 CPUtime=402.18
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19267 0 0 0 39528 690 0 0 25 0 1 0 4453707 72097792 16807 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17602 16807 390 719 0 16881 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 70408

[startup+462.301 s]
/proc/loadavg: 1.00 1.23 1.41 2/107 12745
/proc/meminfo: memFree=1533420/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70408 CPUtime=462.16
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19267 0 0 0 45428 788 0 0 25 0 1 0 4453707 72097792 16807 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17602 16807 390 719 0 16881 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 70408

[startup+522.301 s]
/proc/loadavg: 1.00 1.18 1.38 2/107 12745
/proc/meminfo: memFree=1533420/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70408 CPUtime=522.14
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19269 0 0 0 51325 889 0 0 25 0 1 0 4453707 72097792 16809 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17602 16809 390 719 0 16881 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 70408

[startup+582.301 s]
/proc/loadavg: 1.00 1.15 1.35 2/107 12747
/proc/meminfo: memFree=1533420/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70540 CPUtime=582.12
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19280 0 0 0 57225 987 0 0 25 0 1 0 4453707 72232960 16820 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17635 16820 390 719 0 16914 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 70540

[startup+642.301 s]
/proc/loadavg: 1.00 1.12 1.33 2/107 12749
/proc/meminfo: memFree=1533420/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70540 CPUtime=642.12
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19293 0 0 0 63122 1090 0 0 25 0 1 0 4453707 72232960 16833 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17635 16833 390 719 0 16914 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 70540

[startup+702.301 s]

################
# More data... #
################

[startup+882.301 s]
/proc/loadavg: 1.00 1.05 1.24 2/107 12755
/proc/meminfo: memFree=1533420/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70680 CPUtime=882.05
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19318 0 0 0 86715 1490 0 0 25 0 1 0 4453707 72376320 16858 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17670 16858 390 719 0 16949 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 70680

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.22 2/107 12757
/proc/meminfo: memFree=1533420/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70680 CPUtime=942.03
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19321 0 0 0 92610 1593 0 0 25 0 1 0 4453707 72376320 16861 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17670 16861 390 719 0 16949 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 70680

[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.21 2/107 12759
/proc/meminfo: memFree=1533296/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70680 CPUtime=1002.02
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19323 0 0 0 98511 1691 0 0 25 0 1 0 4453707 72376320 16863 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17670 16863 390 719 0 16949 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 70680

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.19 2/107 12761
/proc/meminfo: memFree=1533296/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70680 CPUtime=1062
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19329 0 0 0 104409 1791 0 0 25 0 1 0 4453707 72376320 16869 1992294400 4194304 7136930 140733493849936 18446744073709551615 4999832 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17670 16869 390 719 0 16949 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 70680

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 12761
/proc/meminfo: memFree=1533172/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70680 CPUtime=1121.98
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19331 0 0 0 110306 1892 0 0 25 0 1 0 4453707 72376320 16871 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17670 16871 390 719 0 16949 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 70680

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 12763
/proc/meminfo: memFree=1533048/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70812 CPUtime=1181.97
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19361 0 0 0 116205 1992 0 0 25 0 1 0 4453707 72511488 16901 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17703 16901 390 719 0 16982 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 70812

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 12765
/proc/meminfo: memFree=1532924/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70812 CPUtime=1241.95
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19362 0 0 0 122102 2093 0 0 25 0 1 0 4453707 72511488 16902 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17703 16902 390 719 0 16982 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 70812

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 12767
/proc/meminfo: memFree=1532800/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70812 CPUtime=1301.94
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19362 0 0 0 128000 2194 0 0 25 0 1 0 4453707 72511488 16902 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17703 16902 390 719 0 16982 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 70812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 12769
/proc/meminfo: memFree=1532800/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70812 CPUtime=1361.92
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19363 0 0 0 133897 2295 0 0 25 0 1 0 4453707 72511488 16903 1992294400 4194304 7136930 140733493849936 18446744073709551615 4240492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17703 16903 390 719 0 16982 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 70812

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 12769
/proc/meminfo: memFree=1532800/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70812 CPUtime=1421.91
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19367 0 0 0 139803 2388 0 0 25 0 1 0 4453707 72511488 16907 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17703 16907 390 719 0 16982 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 70812

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 12771
/proc/meminfo: memFree=1532676/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70812 CPUtime=1481.89
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19367 0 0 0 145702 2487 0 0 25 0 1 0 4453707 72511488 16907 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17703 16907 390 719 0 16982 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 70812

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 12773
/proc/meminfo: memFree=1532676/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70944 CPUtime=1541.88
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19375 0 0 0 151600 2588 0 0 25 0 1 0 4453707 72646656 16915 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17736 16915 390 719 0 17015 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 70944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 12775
/proc/meminfo: memFree=1532676/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70944 CPUtime=1601.86
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19377 0 0 0 157497 2689 0 0 25 0 1 0 4453707 72646656 16917 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17736 16917 390 719 0 17015 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 70944

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 12777
/proc/meminfo: memFree=1532552/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70944 CPUtime=1661.85
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19377 0 0 0 163402 2783 0 0 25 0 1 0 4453707 72646656 16917 1992294400 4194304 7136930 140733493849936 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17736 16917 390 719 0 17015 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 70944

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.08 2/107 12777
/proc/meminfo: memFree=1532428/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70944 CPUtime=1721.83
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19390 0 0 0 169304 2879 0 0 25 0 1 0 4453707 72646656 16930 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17736 16930 390 719 0 17015 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 70944

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.07 2/107 12779
/proc/meminfo: memFree=1532180/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70944 CPUtime=1781.81
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19390 0 0 0 175206 2975 0 0 25 0 1 0 4453707 72646656 16930 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17736 16930 390 719 0 17015 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 70944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.00 1.07 2/107 12779
/proc/meminfo: memFree=1532180/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=70944 CPUtime=1800.01
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19390 0 0 0 176996 3005 0 0 25 0 1 0 4453707 72646656 16930 1992294400 4194304 7136930 140733493849936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12721/statm: 17736 16930 390 719 0 17015 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 70944

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.61 s]
/proc/loadavg: 1.01 1.00 1.07 2/108 12780
/proc/meminfo: memFree=1533536/2059040 swapFree=4192956/4192956
[pid=12721] ppid=12719 vsize=68704 CPUtime=1800.12
/proc/12721/stat : 12721 (pbscip.linux.x8) R 12719 12721 12615 0 -1 4202496 19414 0 0 0 177007 3005 0 0 25 0 1 0 4453707 70352896 16365 1992294400 4194304 7136930 140733493849936 18446744073709551615 4698940 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12721/statm: 17176 16365 396 719 0 16455 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 68704

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.18
CPU user time (s): 1770.12
CPU system time (s): 30.0684
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 70944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.12
system time used= 30.0684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19421
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= 5
involuntary context switches= 2643

runsolver used 2.94355 second user time and 8.5497 second system time

The end

Begin job on node059 at 2010-06-15 21:53:50
IDJOB=2663923
IDBENCH=24978
IDSOLVER=1167
FILE ID=node059/2663923-1276631630
PBS_JOBID= 11172375
Free space on /tmp= 62552 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_017_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-2663923-1276631630/watcher-2663923-1276631630 -o /tmp/evaluation-result-2663923-1276631630/solver-2663923-1276631630 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663923-1276631630.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85
RANDOM SEED=1562189527

node059.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.244
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.48
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.244
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1601536 kB
Buffers:         69056 kB
Cached:         247692 kB
SwapCached:          0 kB
Active:         132692 kB
Inactive:       243264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1601536 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4104 kB
Writeback:           0 kB
AnonPages:       59172 kB
Mapped:          15444 kB
Slab:            59740 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180816 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= 62552 MiB
End job on node059 at 2010-06-15 22:23:53