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-2663919-1276630454.opb>
0.29/0.32	c original problem has 5828 variables (5828 bin, 0 int, 0 impl, 0 cont) and 17411 constraints
0.29/0.32	c problem read
0.29/0.32	c presolving settings loaded
0.29/0.32	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.39/0.42	c presolving:
0.49/0.59	c (round 1) 3102 del vars, 6014 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 32013 impls, 0 clqs
0.59/0.61	c (round 2) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 32013 impls, 0 clqs
0.69/0.74	c (round 3) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 10002 upgd conss, 32013 impls, 0 clqs
0.69/0.77	c (round 4) 3104 del vars, 7383 del conss, 284 chg bounds, 2 chg sides, 2 chg coeffs, 10028 upgd conss, 32013 impls, 0 clqs
0.79/0.88	c    (0.5s) probing: 101/2724 (3.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.88	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.79/0.88	c presolving (5 rounds):
0.79/0.88	c  3104 deleted vars, 7383 deleted constraints, 284 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.79/0.88	c  32013 implications, 0 cliques
0.79/0.88	c presolved problem has 2724 variables (2724 bin, 0 int, 0 impl, 0 cont) and 10028 constraints
0.79/0.88	c   10028 constraints of type <logicor>
0.79/0.88	c transformed objective value is always integral (scale: 1)
0.79/0.88	c Presolving Time: 0.43
0.79/0.88	c - non default parameters ----------------------------------------------------------------------
0.79/0.88	c # SCIP version 1.2.1.2
0.79/0.88	c 
0.79/0.88	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.88	c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.88	c conflict/interconss = 0
0.79/0.88	c 
0.79/0.88	c # should binary conflicts be preferred?
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c conflict/preferbinary = TRUE
0.79/0.88	c 
0.79/0.88	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.88	c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.88	c constraints/agelimit = 1
0.79/0.88	c 
0.79/0.88	c # should enforcement of pseudo solution be disabled?
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c constraints/disableenfops = TRUE
0.79/0.88	c 
0.79/0.88	c # frequency for displaying node information lines
0.79/0.88	c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.88	c display/freq = 10000
0.79/0.88	c 
0.79/0.88	c # maximal time in seconds to run
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/time = 1799.69
0.79/0.88	c 
0.79/0.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.88	c limits/memory = 1620
0.79/0.88	c 
0.79/0.88	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.88	c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.88	c lp/solvefreq = -1
0.79/0.88	c 
0.79/0.88	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.79/0.88	c # [type: char, range: {lafpsqd}, default: l]
0.79/0.88	c lp/pricing = a
0.79/0.88	c 
0.79/0.88	c # should presolving try to simplify inequalities
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c constraints/linear/simplifyinequalities = TRUE
0.79/0.88	c 
0.79/0.88	c # should presolving try to simplify knapsacks
0.79/0.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.88	c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.88	c 
0.79/0.88	c # priority of node selection rule <dfs> in standard mode
0.79/0.88	c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.88	c nodeselection/dfs/stdpriority = 1000000
0.79/0.88	c 
0.79/0.89	c -----------------------------------------------------------------------------------------------
0.79/0.89	c start solving
0.79/0.89	c 
0.79/0.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.79/0.89	c   0.5s|     1 |     2 |     0 |     - |  21M|   0 |   - |2724 |  10k|   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
1.39/1.48	o 34
1.39/1.48	c * 1.1s|  1044 |  1035 |     0 |   0.0 |  22M|1043 |   - |2724 |  10k|   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1.49/1.50	o 33
1.49/1.50	c * 1.1s|  1070 |  1031 |     0 |   0.0 |  22M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  26 |   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
8.80/8.89	c   8.2s| 10000 |  1013 |     0 |   0.0 |  24M|1043 |   - |2724 |  15k|   0 |   0 |   0 |  10k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
18.29/18.35	c  17.4s| 20000 |  1006 |     0 |   0.0 |  27M|1043 |   - |2724 |  21k|   0 |   0 |   0 |  22k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
27.39/27.46	c  26.2s| 30000 |  1006 |     0 |   0.0 |  29M|1043 |   - |2724 |  27k|   0 |   0 |   0 |  34k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
36.68/36.70	c  35.1s| 40000 |  1004 |     0 |   0.0 |  31M|1043 |   - |2724 |  33k|   0 |   0 |   0 |  46k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
46.28/46.35	c  44.5s| 50000 |  1012 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  53k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
55.48/55.52	c  53.4s| 60000 |  1006 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  59k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
65.78/65.88	c  63.4s| 70000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  65k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
75.07/75.20	c  72.4s| 80000 |  1011 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  71k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
85.27/85.34	c  82.2s| 90000 |  1007 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  77k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
95.68/95.74	c  92.3s|100000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  83k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
105.76/105.80	c   102s|110000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  89k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
115.56/115.63	c   112s|120000 |  1009 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |  95k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
125.46/125.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
125.46/125.55	c   121s|130000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 101k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
135.75/135.88	c   131s|140000 |  1003 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 108k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
145.76/145.86	c   141s|150000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 114k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
155.85/155.98	c   151s|160000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 120k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
166.15/166.22	c   161s|170000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 126k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
176.25/176.39	c   171s|180000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 132k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
186.25/186.32	c   180s|190000 |  1003 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 138k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
196.54/196.69	c   190s|200000 |  1003 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 144k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
206.65/206.76	c   200s|210000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 150k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
216.65/216.76	c   210s|220000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 156k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
227.44/227.60	c   220s|230000 |  1006 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 163k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
238.03/238.15	c   231s|240000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 168k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
248.33/248.49	c   241s|250000 |  1006 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 174k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
258.72/258.85	c   251s|260000 |  1006 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 180k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
269.43/269.54	c   261s|270000 |  1003 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 186k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
279.92/280.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
279.92/280.00	c   271s|280000 |  1007 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 192k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
290.11/290.21	c   281s|290000 |  1007 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 198k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
300.12/300.23	c   291s|300000 |  1006 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 204k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
309.71/309.86	c   300s|310000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 210k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
320.11/320.22	c   310s|320000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 217k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
330.51/330.60	c   320s|330000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 223k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
340.60/340.75	c   330s|340000 |  1011 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 229k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
350.40/350.57	c   340s|350000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 235k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
359.80/359.95	c   349s|360000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 241k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
369.60/369.76	c   358s|370000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 247k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
379.79/379.93	c   368s|380000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 253k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
391.09/391.22	c   379s|390000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 259k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
401.30/401.46	c   389s|400000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 265k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
411.19/411.36	c   399s|410000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 272k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
421.98/422.12	c   409s|420000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 278k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
432.18/432.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
432.18/432.40	c   419s|430000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 284k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
442.77/442.97	c   429s|440000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 291k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
453.47/453.64	c   440s|450000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 298k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
463.78/463.97	c   450s|460000 |   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 304k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
474.37/474.56	c   460s|470000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 311k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
484.56/484.77	c   470s|480000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 317k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
494.77/495.00	c   480s|490000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 323k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
504.77/504.93	c   489s|500000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 329k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
514.67/514.88	c   499s|510000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 335k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
525.26/525.44	c   509s|520000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 341k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
535.26/535.49	c   519s|530000 |  1008 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 347k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
544.95/545.12	c   528s|540000 |   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 353k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
554.95/555.17	c   538s|550000 |   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 359k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
565.25/565.49	c   548s|560000 |   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 365k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
574.85/575.02	c   557s|570000 |   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 371k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
584.74/584.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
584.74/584.98	c   567s|580000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 377k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
594.74/595.00	c   577s|590000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 383k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
604.34/604.52	c   586s|600000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 390k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
614.14/614.39	c   596s|610000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 395k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
625.03/625.26	c   606s|620000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 401k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
635.43/635.69	c   616s|630000 |   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 407k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
645.03/645.28	c   626s|640000 |   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 414k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
654.92/655.11	c   635s|650000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 420k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
664.72/664.95	c   645s|660000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 425k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
674.81/675.02	c   654s|670000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 431k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
685.12/685.36	c   664s|680000 |  1004 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 437k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
695.61/695.86	c   675s|690000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 443k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
706.11/706.34	c   685s|700000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 449k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
716.61/716.89	c   695s|710000 |   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 455k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
726.81/727.02	c   705s|720000 |   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 461k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
736.40/736.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
736.40/736.69	c   714s|730000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 467k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
746.40/746.64	c   724s|740000 |   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 473k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
757.30/757.51	c   734s|750000 |   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 479k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
768.19/768.43	c   745s|760000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 485k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
779.19/779.46	c   756s|770000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 491k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
789.98/790.20	c   766s|780000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 497k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
801.18/801.45	c   777s|790000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 503k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
812.59/812.90	c   788s|800000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 509k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
824.18/824.40	c   799s|810000 |   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 515k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
834.58/834.88	c   810s|820000 |   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 521k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
845.48/845.72	c   820s|830000 |  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 528k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
856.28/856.56	c   831s|840000 |   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 534k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
867.57/867.80	c   842s|850000 |   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 540k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
878.87/879.15	c   853s|860000 |   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 546k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
890.07/890.31	c   863s|870000 |   990 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 552k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
900.86/901.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
900.86/901.16	c   874s|880000 |   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 559k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
912.76/913.04	c   885s|890000 |  1008 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 565k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
923.46/923.78	c   896s|900000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 571k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
934.15/934.50	c   906s|910000 |   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 577k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
943.85/944.10	c   916s|920000 |   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 583k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
954.35/954.60	c   926s|930000 |  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 589k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
964.64/964.91	c   936s|940000 |  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 595k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
975.85/976.15	c   947s|950000 |   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 602k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
986.64/986.94	c   957s|960000 |   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 608k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
996.93/997.30	c   967s|970000 |   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 613k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1006.44/1006.79	c   976s|980000 |   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 619k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1016.43/1016.77	c   986s|990000 |   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 625k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1026.83/1027.14	c   996s|  1000k|  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 631k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1037.53/1037.84	c  1007s|  1010k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 637k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1048.12/1048.46	c  1017s|  1020k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 643k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1058.72/1059.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1058.72/1059.07	c  1027s|  1030k|  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 649k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1069.72/1070.06	c  1038s|  1040k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 655k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1080.92/1081.25	c  1049s|  1050k|   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 661k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1092.22/1092.54	c  1060s|  1060k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 668k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1102.71/1103.02	c  1070s|  1070k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 674k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1113.61/1113.96	c  1081s|  1080k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 680k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1124.50/1124.80	c  1091s|  1090k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 686k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1135.30/1135.62	c  1102s|  1100k|  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 692k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1146.09/1146.45	c  1112s|  1110k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 698k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1157.09/1157.44	c  1123s|  1120k|   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 704k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1167.19/1167.58	c  1133s|  1130k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 710k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1177.70/1178.06	c  1143s|  1140k|   991 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 716k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1187.99/1188.35	c  1153s|  1150k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 721k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1198.18/1198.51	c  1163s|  1160k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 727k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1208.49/1208.86	c  1173s|  1170k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 733k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1218.78/1219.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1218.78/1219.16	c  1183s|  1180k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 738k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1228.98/1229.37	c  1193s|  1190k|  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 744k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1238.47/1238.87	c  1202s|  1200k|   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 750k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1249.07/1249.45	c  1212s|  1210k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 755k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1259.97/1260.37	c  1223s|  1220k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 762k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1270.87/1271.29	c  1233s|  1230k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 768k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1281.67/1282.02	c  1244s|  1240k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 774k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1291.76/1292.19	c  1254s|  1250k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 780k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1302.46/1302.87	c  1264s|  1260k|   989 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 786k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1312.75/1313.13	c  1274s|  1270k|   988 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 792k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1322.55/1322.96	c  1283s|  1280k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 798k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1332.35/1332.74	c  1293s|  1290k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 804k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1343.05/1343.45	c  1303s|  1300k|   990 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 810k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1354.05/1354.47	c  1314s|  1310k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 816k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1364.94/1365.30	c  1325s|  1320k|   990 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 822k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1375.44/1375.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1375.44/1375.82	c  1335s|  1330k|   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 828k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1385.64/1386.05	c  1345s|  1340k|   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 834k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1395.83/1396.26	c  1355s|  1350k|  1002 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 840k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1406.13/1406.55	c  1365s|  1360k|   999 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 846k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1416.33/1416.77	c  1375s|  1370k|   990 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 851k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1427.03/1427.40	c  1385s|  1380k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 857k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1437.22/1437.69	c  1395s|  1390k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 863k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1448.33/1448.73	c  1406s|  1400k|   991 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 870k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1459.11/1459.59	c  1416s|  1410k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 876k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1470.33/1470.71	c  1427s|  1420k|  1001 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 882k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1481.01/1481.42	c  1437s|  1430k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 887k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1491.51/1491.98	c  1448s|  1440k|   988 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 893k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1501.51/1501.93	c  1457s|  1450k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 899k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1512.20/1512.64	c  1468s|  1460k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 905k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1523.01/1523.40	c  1478s|  1470k|   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 911k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1534.00/1534.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1534.00/1534.46	c  1489s|  1480k|   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 917k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1545.20/1545.63	c  1500s|  1490k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 923k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1556.10/1556.53	c  1510s|  1500k|   991 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 929k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1566.89/1567.34	c  1521s|  1510k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 935k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1577.18/1577.63	c  1531s|  1520k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 941k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1587.48/1587.95	c  1541s|  1530k|   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 947k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1598.39/1598.81	c  1551s|  1540k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 953k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1608.66/1609.19	c  1561s|  1550k|   988 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 960k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1619.37/1619.87	c  1572s|  1560k|   991 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 965k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1629.77/1630.27	c  1582s|  1570k|   997 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 971k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1640.16/1640.63	c  1592s|  1580k|   992 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 978k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1650.56/1651.02	c  1602s|  1590k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 983k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1660.95/1661.42	c  1612s|  1600k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 989k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1672.25/1672.76	c  1623s|  1610k|   994 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 | 995k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1683.05/1683.57	c  1634s|  1620k|   987 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1001k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1693.05/1693.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1693.05/1693.51	c  1643s|  1630k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1007k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1703.25/1703.72	c  1653s|  1640k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1013k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1714.54/1715.08	c  1664s|  1650k|   996 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1019k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1725.54/1726.03	c  1675s|  1660k|   987 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1025k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1736.34/1736.85	c  1685s|  1670k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1031k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1747.13/1747.64	c  1696s|  1680k|  1000 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1037k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1757.73/1758.23	c  1706s|  1690k|   998 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1043k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1768.43/1768.96	c  1716s|  1700k|   993 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1049k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1779.23/1779.72	c  1727s|  1710k|   991 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1055k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1790.23/1790.77	c  1738s|  1720k|   995 |     0 |   0.0 |  23M|1043 |   - |2724 |  10k|   0 |   0 |   0 |1061k|   0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50	c 
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time (sec) : 1747.06
1800.02/1800.50	c Solving Nodes      : 1729311
1800.02/1800.50	c Primal Bound       : +3.30000000000000e+01 (2 solutions)
1800.02/1800.50	c Dual Bound         : +1.00000000000000e+00
1800.02/1800.50	c Gap                : 3200.00 %
1800.02/1800.53	s SATISFIABLE
1800.02/1800.53	v x202 x201 x5827 x200 x5825 -x5823 x199 x5821 -x198 -x5819 -x5817 -x5815 -x197 -x5813 -x5811 -x5809 -x196 -x5807 -x5805 x5803 -x5801 
1800.02/1800.53	v -x5799 -x5797 x195 -x5795 x194 x5793 -x5791 -x5789 -x193 -x5787 -x5785 -x192 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 
1800.02/1800.53	v -x191 -x5769 -x5767 -x5765 x190 x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x189 -x5749 -x5747 -x5745 -x5743 -x5741 
1800.02/1800.53	v -x5739 -x5737 -x188 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x187 -x5709 
1800.02/1800.53	v -x186 -x5707 -x5705 x5703 -x5701 -x5699 -x5697 -x185 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x184 -x5681 -x5679 x5677 
1800.02/1800.53	v -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x183 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x182 -x5647 -x5645 
1800.02/1800.53	v -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x181 -x5617 -x5615 -x5613 -x180 
1800.02/1800.53	v -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x179 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x178 -x5583 -x5581 
1800.02/1800.53	v -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x177 -x5553 -x5551 -x5549 -x5547 
1800.02/1800.53	v -x5545 -x5543 -x5541 -x176 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 
1800.02/1800.53	v -x5511 -x175 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x174 
1800.02/1800.53	v -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 
1800.02/1800.53	v -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x173 -x5423 x172 x5421 -x5419 -x5417 -x171 -x5415 -x5413 
1800.02/1800.53	v -x5411 -x170 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x169 -x5395 -x5393 x5391 -x5389 -x5387 -x5385 -x5383 -x5381 
1800.02/1800.53	v -x5379 -x168 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x167 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 
1800.02/1800.53	v -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x166 -x5333 -x5331 -x5329 -x165 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 
1800.02/1800.53	v -x5315 -x164 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x163 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 
1800.02/1800.53	v -x5281 -x5279 -x5277 -x5275 -x5273 -x162 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x161 -x5257 -x5255 -x5253 -x5251 
1800.02/1800.53	v -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x160 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 
1800.02/1800.53	v -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x159 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 
1800.02/1800.53	v -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 
1800.02/1800.53	v -x5145 -x5143 -x5141 -x5139 -x158 -x5137 x5135 -x5133 x157 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x156 -x5117 
1800.02/1800.53	v -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x155 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 
1800.02/1800.53	v -x5081 -x5079 -x5077 -x5075 -x154 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x153 -x5059 -x5057 -x5055 -x5053 -x5051 
1800.02/1800.53	v -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x152 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 
1800.02/1800.53	v -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x151 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 
1800.02/1800.53	v -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 
1800.02/1800.53	v -x4944 -x4942 -x4940 -x150 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x149 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 
1800.02/1800.53	v -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x148 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 
1800.02/1800.53	v -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x147 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 
1800.02/1800.53	v -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 
1800.02/1800.53	v -x4808 -x4806 -x146 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 
1800.02/1800.53	v -x145 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 
1800.02/1800.53	v -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x144 -x4713 -x4711 -x4709 -x4707 
1800.02/1800.53	v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 
1800.02/1800.53	v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x143 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 
1800.02/1800.53	v -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 
1800.02/1800.53	v -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 
1800.02/1800.53	v -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 x142 
1800.02/1800.53	v x4529 -x4527 -x4525 -x141 -x4523 x4521 -x4519 x140 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 x4505 -x4503 -x4501 -x4499 -x139 
1800.02/1800.53	v -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x138 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x137 -x4469 -x4467 
1800.02/1800.53	v -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x136 -x4439 -x4437 -x4435 -x135 
1800.02/1800.53	v -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x134 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x133 -x4405 -x4403 
1800.02/1800.53	v -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x132 -x4375 -x4373 -x4371 -x4369 
1800.02/1800.53	v -x4367 -x4365 -x4363 -x131 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 
1800.02/1800.53	v -x4333 -x130 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x129 
1800.02/1800.53	v -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 
1800.02/1800.53	v -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x128 -x4239 -x4237 x4235 -x4233 
1800.02/1800.53	v -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x127 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x126 -x4205 -x4203 -x4201 -x4199 
1800.02/1800.53	v -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x125 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 
1800.02/1800.53	v -x4163 -x124 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x123 
1800.02/1800.53	v -x4131 -x4129 -x4127 -x122 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x121 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 
1800.02/1800.53	v -x4099 -x120 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x119 
1800.02/1800.53	v -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x118 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 
1800.02/1800.53	v -x4033 -x4031 -x4029 -x4027 -x4025 -x117 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 
1800.02/1800.53	v x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x116 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 
1800.02/1800.53	v -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x115 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 
1800.02/1800.53	v -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x114 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 
1800.02/1800.53	v -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 
1800.02/1800.53	v -x3861 -x3859 -x113 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 
1800.02/1800.53	v -x112 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x111 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 
1800.02/1800.53	v -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x110 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 
1800.02/1800.53	v -x3761 -x3759 -x3757 -x3755 -x109 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 
1800.02/1800.53	v -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 
1800.02/1800.53	v -x108 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x107 -x3661 
1800.02/1800.53	v -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 
1800.02/1800.53	v -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x106 -x3600 x105 x3598 -x3596 -x3594 -x104 -x3592 
1800.02/1800.53	v -x3590 -x3588 -x103 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x102 -x3572 -x3570 -x3568 -x101 -x3566 -x3564 -x3562 
1800.02/1800.53	v -x3560 -x3558 -x3556 -x3554 -x100 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x99 -x3538 x3536 -x3534 -x3532 -x3530 
1800.02/1800.53	v -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x98 -x3504 -x3502 -x3500 -x3498 -x3496 
1800.02/1800.53	v -x3494 -x3492 -x97 -x3490 -x3488 -x3486 -x3484 x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 
1800.02/1800.53	v -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x96 -x3432 -x3430 -x3428 -x3426 
1800.02/1800.53	v -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x95 -x3402 -x3400 -x3398 -x94 -x3396 -x3394 
1800.02/1800.53	v -x3392 -x3390 -x3388 -x3386 -x3384 -x93 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x92 -x3368 -x3366 -x3364 -x3362 -x3360 
1800.02/1800.53	v -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x91 -x3338 -x3336 x3334 x90 -x3332 -x3330 -x3328 -x3326 
1800.02/1800.53	v -x3324 -x3322 -x3320 -x89 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x88 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 
1800.02/1800.53	v -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x87 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x86 
1800.02/1800.53	v -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x85 -x3230 -x3228 -x3226 
1800.02/1800.53	v -x3224 -x3222 -x3220 -x3218 -x84 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 
1800.02/1800.53	v -x3190 -x3188 -x83 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x82 -x3160 
1800.02/1800.53	v -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 
1800.02/1800.53	v -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x81 -x3098 -x3096 -x3094 -x3092 -x3090 
1800.02/1800.53	v -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x80 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 
1800.02/1800.53	v -x3054 -x3052 x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 
1800.02/1800.53	v -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x79 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x78 -x2986 
1800.02/1800.53	v x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 
1800.02/1800.53	v -x2948 -x2946 -x2944 -x77 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x76 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 
1800.02/1800.53	v -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x75 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x74 -x2884 
1800.02/1800.53	v -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x73 -x2854 -x2852 -x2850 
1800.02/1800.53	v -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x72 -x2824 -x2822 -x2820 -x2818 -x2816 
1800.02/1800.53	v -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 
1800.02/1800.53	v -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x71 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 
1800.02/1800.53	v -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x70 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x69 -x2718 -x2716 -x2714 
1800.02/1800.53	v -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x68 -x2688 -x2686 -x2684 -x2682 -x2680 
1800.02/1800.53	v -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x67 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 
1800.02/1800.53	v -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 
1800.02/1800.53	v -x2608 -x2606 -x2604 -x2602 -x2600 -x66 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 
1800.02/1800.53	v -x2572 -x2570 -x65 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 
1800.02/1800.53	v -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x64 -x2506 
1800.02/1800.53	v -x2504 x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 
1800.02/1800.53	v -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 
1800.02/1800.53	v -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x63 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 
1800.02/1800.53	v -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 
1800.02/1800.53	v -x2362 -x2360 -x2358 -x2356 -x2354 -x62 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 
1800.02/1800.53	v -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 
1800.02/1800.53	v -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 
1800.02/1800.53	v -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 
1800.02/1800.53	v -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 x2197 -x2195 -x2193 -x2191 -x2189 -x2187 
1800.02/1800.53	v -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 x61 x2163 -x2161 -x2159 -x60 -x2157 -x2155 -x2153 
1800.02/1800.53	v -x59 -x2151 -x2149 -x2147 -x58 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x57 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 
1800.02/1800.53	v -x2119 -x56 -x2117 -x2115 -x2113 -x55 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x54 -x2097 -x2095 -x2093 -x2091 -x2089 
1800.02/1800.53	v -x2087 -x2085 -x53 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 
1800.02/1800.53	v -x52 -x2053 -x2051 -x2049 -x51 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x50 -x2033 -x2031 -x2029 -x2027 -x2025 
1800.02/1800.53	v -x2023 -x2021 -x49 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x48 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 
1800.02/1800.53	v -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x47 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 
1800.02/1800.53	v -x1955 -x1953 -x1951 -x1949 -x1947 -x46 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x45 -x1931 -x1929 -x1927 -x1925 
1800.02/1800.53	v -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x44 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 
1800.02/1800.53	v -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x43 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 
1800.02/1800.53	v -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 
1800.02/1800.53	v -x1817 -x1815 -x1813 -x1811 -x42 -x1809 -x1807 -x1805 -x41 -x1803 -x1801 x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 
1800.02/1800.53	v -x1785 -x1783 -x1781 -x1779 -x40 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 
1800.02/1800.53	v -x1751 -x1749 -x39 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x38 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 
1800.02/1800.53	v -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x37 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 
1800.02/1800.53	v -x1683 -x1681 -x1679 -x1677 -x1675 -x36 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 
1800.02/1800.53	v -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 
1800.02/1800.53	v -x1613 -x35 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x34 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 
1800.02/1800.53	v -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x33 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 
1800.02/1800.53	v -x1547 -x1545 -x1543 -x1541 -x1539 -x32 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 
1800.02/1800.53	v -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 
1800.02/1800.53	v -x1477 -x31 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x30 -x1445 
1800.02/1800.53	v -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 
1800.02/1800.53	v -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x29 -x1383 -x1381 -x1379 -x1377 -x1375 
1800.02/1800.53	v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 
1800.02/1800.53	v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1324 -x28 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 
1800.02/1800.53	v -x1302 -x1300 -x1298 -x1296 -x1294 x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 
1800.02/1800.53	v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 
1800.02/1800.53	v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 
1800.02/1800.53	v -x1194 -x1192 -x27 -x1190 -x1188 -x1186 -x1184 -x1182 x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x26 
1800.02/1800.53	v -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x25 -x1132 -x1130 
1800.02/1800.53	v -x1128 -x1126 -x1124 -x1122 -x1120 -x24 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 
1800.02/1800.53	v -x1094 -x1092 -x1090 -x23 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 
1800.02/1800.53	v -x22 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1033 -x1031 -x1029 -x1027 -x1025 
1800.02/1800.53	v -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x21 -x997 -x995 -x993 -x20 -x991 
1800.02/1800.53	v -x989 -x987 -x985 -x983 -x981 -x979 -x19 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x18 -x963 -x961 -x959 -x957 -x955 -x953 
1800.02/1800.53	v -x951 -x17 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x16 -x919 -x917 -x915 
1800.02/1800.53	v -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x15 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x14 
1800.02/1800.53	v -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x13 -x845 -x843 -x841 -x839 -x837 
1800.02/1800.53	v -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x12 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 
1800.02/1800.53	v -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 
1800.02/1800.53	v -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x11 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 
1800.02/1800.53	v -x713 -x711 -x10 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x9 -x679 -x677 -x675 
1800.02/1800.53	v -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 
1800.02/1800.53	v -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x8 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x7 -x603 -x601 -x599 -x597 -x595 
1800.02/1800.53	v -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x6 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 
1800.02/1800.53	v -x553 -x551 -x549 -x547 -x545 -x5 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 
1800.02/1800.53	v -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x4 -x481 -x479 -x477 -x475 
1800.02/1800.53	v -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x3 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 
1800.02/1800.53	v -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 
1800.02/1800.53	v -x391 -x2 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 
1800.02/1800.53	v -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x1 -x327 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 
1800.02/1800.53	v -x308 -x306 -x304 -x302 -x300 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 
1800.02/1800.53	v -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 
1800.02/1800.53	v -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 x5828 x5826 -x5824 x5822 -x5820 -x5818 -x5816 -x5814 
1800.02/1800.53	v -x5812 -x5810 -x5808 -x5806 x5804 -x5802 -x5800 -x5798 -x5796 x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 
1800.02/1800.53	v -x5774 -x5772 -x5770 -x5768 -x5766 x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 
1800.02/1800.53	v -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 
1800.02/1800.53	v x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 x5678 -x5676 -x5674 -x5672 -x5670 -x5668 
1800.02/1800.53	v -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 
1800.02/1800.53	v -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 
1800.02/1800.53	v -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 
1800.02/1800.53	v -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 
1800.02/1800.53	v -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 
1800.02/1800.53	v -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 
1800.02/1800.53	v -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 x5422 -x5420 -x5418 
1800.02/1800.53	v -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 x5392 -x5390 -x5388 -x5386 -x5384 -x5382 
1800.02/1800.53	v -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 
1800.02/1800.53	v -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 
1800.02/1800.53	v -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 
1800.02/1800.53	v -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 
1800.02/1800.53	v -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 
1800.02/1800.53	v -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 
1800.02/1800.53	v -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 x5136 -x5134 -x5132 
1800.02/1800.53	v -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 
1800.02/1800.53	v -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 
1800.02/1800.53	v -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 
1800.02/1800.53	v -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 
1800.02/1800.53	v -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 
1800.02/1800.53	v -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 
1800.02/1800.53	v -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 
1800.02/1800.53	v -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 
1800.02/1800.53	v -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 
1800.02/1800.53	v -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 
1800.02/1800.53	v -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 
1800.02/1800.53	v -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 
1800.02/1800.53	v -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 
1800.02/1800.53	v -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 
1800.02/1800.53	v -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 
1800.02/1800.53	v -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 
1800.02/1800.53	v -x4560 -x4558 -x4556 -x4554 -x4552 x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 x4530 -x4528 -x4526 
1800.02/1800.53	v -x4524 x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 
1800.02/1800.53	v -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 
1800.02/1800.53	v -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 
1800.02/1800.53	v -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 
1800.02/1800.53	v -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 
1800.02/1800.53	v -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 
1800.02/1800.53	v -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 
1800.02/1800.53	v -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 
1800.02/1800.53	v -x4238 x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 
1800.02/1800.53	v -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 
1800.02/1800.53	v -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 
1800.02/1800.53	v -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 
1800.02/1800.53	v -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 
1800.02/1800.53	v -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 
1800.02/1800.53	v -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 x4000 -x3998 -x3996 -x3994 -x3992 -x3990 
1800.02/1800.53	v -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 
1800.02/1800.53	v -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 
1800.02/1800.53	v -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 
1800.02/1800.53	v -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 
1800.02/1800.53	v -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 
1800.02/1800.53	v -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 
1800.02/1800.53	v -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 
1800.02/1800.53	v -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 
1800.02/1800.53	v -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 
1800.02/1800.53	v -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3637 -x3635 -x3633 
1800.02/1800.53	v -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 x3599 -x3597 
1800.02/1800.53	v -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 
1800.02/1800.53	v -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 
1800.02/1800.53	v -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 
1800.02/1800.53	v -x3489 -x3487 -x3485 x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 
1800.02/1800.53	v -x3453 -x3451 -x3449 x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 
1800.02/1800.53	v -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 
1800.02/1800.53	v -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 
1800.02/1800.53	v -x3345 -x3343 -x3341 -x3339 -x3337 x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 
1800.02/1800.53	v -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 
1800.02/1800.53	v -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 
1800.02/1800.53	v -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 
1800.02/1800.53	v -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 
1800.02/1800.53	v -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 
1800.02/1800.53	v -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 
1800.02/1800.53	v -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 
1800.02/1800.53	v -x3059 -x3057 -x3055 -x3053 x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 
1800.02/1800.53	v -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 
1800.02/1800.53	v -x2987 x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 
1800.02/1800.53	v -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 
1800.02/1800.53	v -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 
1800.02/1800.53	v -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 
1800.02/1800.53	v -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 
1800.02/1800.53	v -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 
1800.02/1800.53	v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 
1800.02/1800.53	v -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 
1800.02/1800.53	v -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 
1800.02/1800.53	v -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 
1800.02/1800.53	v -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 
1800.02/1800.53	v -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 
1800.02/1800.53	v -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 
1800.02/1800.53	v -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 
1800.02/1800.53	v -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 
1800.02/1800.53	v -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 
1800.02/1800.53	v -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 
1800.02/1800.53	v -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 
1800.02/1800.53	v -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 
1800.02/1800.53	v x2307 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 
1800.02/1800.53	v -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 
1800.02/1800.53	v -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 
1800.02/1800.53	v -x2202 -x2200 x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 
1800.02/1800.53	v -x2166 x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 
1800.02/1800.53	v -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 
1800.02/1800.53	v -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 
1800.02/1800.53	v -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 
1800.02/1800.53	v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 
1800.02/1800.53	v -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 
1800.02/1800.53	v -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 
1800.02/1800.53	v -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 
1800.02/1800.53	v -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 
1800.02/1800.53	v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 
1800.02/1800.53	v -x1808 -x1806 -x1804 -x1802 x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 
1800.02/1800.53	v -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 
1800.02/1800.53	v -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 
1800.02/1800.53	v -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 
1800.02/1800.53	v -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 
1800.02/1800.53	v -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 
1800.02/1800.53	v -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 
1800.02/1800.53	v -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 
1800.02/1800.53	v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 
1800.02/1800.53	v -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 
1800.02/1800.53	v -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 
1800.02/1800.53	v -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 
1800.02/1800.53	v -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 
1800.02/1800.53	v -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 
1800.02/1800.53	v -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 
1800.02/1800.53	v -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 
1800.02/1800.53	v -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 
1800.02/1800.53	v -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 
1800.02/1800.53	v -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 
1800.02/1800.53	v -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 
1800.02/1800.53	v -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 
1800.02/1800.53	v -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1034 -x1032 -x1030 -x1028 -x1026 
1800.02/1800.53	v -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 
1800.02/1800.53	v -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 
1800.02/1800.53	v -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 
1800.02/1800.53	v -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 
1800.02/1800.53	v -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 
1800.02/1800.53	v -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 
1800.02/1800.53	v -x778 -x776 -x774 x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 
1800.02/1800.53	v -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 
1800.02/1800.53	v -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 
1800.02/1800.53	v -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 
1800.02/1800.53	v -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 
1800.02/1800.53	v -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 
1800.02/1800.53	v -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 
1800.02/1800.53	v -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 
1800.02/1800.53	v -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 
1800.02/1800.53	v -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 
1800.02/1800.53	v -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 x326 -x325 -x323 -x321 
1800.02/1800.53	v -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 
1800.02/1800.53	v -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 
1800.02/1800.53	v -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 
1800.02/1800.53	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.53	c Solving Time       :    1747.06
1800.02/1800.53	c Original Problem   :
1800.02/1800.53	c   Problem name     : HOME/instance-2663919-1276630454.opb
1800.02/1800.53	c   Variables        : 5828 (5828 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.53	c   Constraints      : 17411 initial, 17411 maximal
1800.02/1800.53	c Presolved Problem  :
1800.02/1800.53	c   Problem name     : t_HOME/instance-2663919-1276630454.opb
1800.02/1800.53	c   Variables        : 2724 (2724 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.53	c   Constraints      : 10028 initial, 34033 maximal
1800.02/1800.53	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.53	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.53	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.53	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.53	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.53	c   implics          :       0.02          0          9          0          0          0          0          0          0
1800.02/1800.53	c   probing          :       0.07          0          0          0          0          0          0          0          0
1800.02/1800.53	c   linear           :       0.21        284       2811          0        284          0       7383          2          2
1800.02/1800.53	c   logicor          :       0.08          0          0          0          0          0          0          0          0
1800.02/1800.53	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.53	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.53	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.53	c   logicor          :      10028+         0    5518999          0          2     580236    9125021          0          0          0
1800.02/1800.53	c   countsols        :          0          0          0          0          2          0          0          0          0          0
1800.02/1800.53	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.53	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.53	c   logicor          :     375.07       0.00     375.07       0.00       0.00
1800.02/1800.53	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.53	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.53	c   vbounds          :       4.49          2          0          0
1800.02/1800.53	c   rootredcost      :       3.99          0          0          0
1800.02/1800.53	c   pseudoobj        :    1102.61    7554316     431319    9463446
1800.02/1800.53	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.53	c   propagation      :     339.79    1011555    1011555    1011555       61.3      52365       30.0          -
1800.02/1800.53	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.53	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.53	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.53	c   pseudo solution  :       1.83       2475       2475       2475       58.4        114       35.4          -
1800.02/1800.53	c   applied globally :          -          -          -    1066509       59.7          -          -          -
1800.02/1800.53	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.02/1800.53	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.53	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.53	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.53	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.53	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.53	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.53	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.53	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.53	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.53	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.53	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.53	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.53	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.53	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.53	c Pricers            :       Time      Calls       Vars
1800.02/1800.53	c   problem variables:       0.00          0          0
1800.02/1800.53	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.53	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.53	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.53	c   inference        :      38.29    1256408          0          0          0          0    2512816
1800.02/1800.53	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.53	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.53	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.53	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.53	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.53	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.53	c   LP solutions     :       0.00          -          0
1800.02/1800.53	c   pseudo solutions :       0.00          -          2
1800.02/1800.53	c   oneopt           :       1.67          0          0
1800.02/1800.53	c   trivial          :       0.01          2          0
1800.02/1800.53	c   simplerounding   :       0.00          0          0
1800.02/1800.53	c   zirounding       :       0.00          0          0
1800.02/1800.53	c   rounding         :       0.00          0          0
1800.02/1800.53	c   shifting         :       0.00          0          0
1800.02/1800.53	c   intshifting      :       0.00          0          0
1800.02/1800.53	c   twoopt           :       0.00          0          0
1800.02/1800.53	c   fixandinfer      :       0.00          0          0
1800.02/1800.53	c   feaspump         :       0.00          0          0
1800.02/1800.53	c   coefdiving       :       0.00          0          0
1800.02/1800.53	c   pscostdiving     :       0.00          0          0
1800.02/1800.53	c   fracdiving       :       0.00          0          0
1800.02/1800.53	c   veclendiving     :       0.00          0          0
1800.02/1800.53	c   intdiving        :       0.00          0          0
1800.02/1800.53	c   actconsdiving    :       0.00          0          0
1800.02/1800.53	c   objpscostdiving  :       0.00          0          0
1800.02/1800.53	c   rootsoldiving    :       0.00          0          0
1800.02/1800.53	c   linesearchdiving :       0.00          0          0
1800.02/1800.53	c   guideddiving     :       0.00          0          0
1800.02/1800.53	c   octane           :       0.00          0          0
1800.02/1800.53	c   rens             :       0.00          0          0
1800.02/1800.53	c   rins             :       0.00          0          0
1800.02/1800.53	c   localbranching   :       0.00          0          0
1800.02/1800.53	c   mutation         :       0.00          0          0
1800.02/1800.53	c   crossover        :       0.00          0          0
1800.02/1800.53	c   dins             :       0.00          0          0
1800.02/1800.53	c   undercover       :       0.00          0          0
1800.02/1800.53	c   nlp              :       1.01          0          0
1800.02/1800.53	c   trysol           :       0.89          0          0
1800.02/1800.53	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.53	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.53	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.53	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.53	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.53	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.53	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.53	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.53	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.53	c B&B Tree           :
1800.02/1800.53	c   number of runs   :          1
1800.02/1800.53	c   nodes            :    1729311
1800.02/1800.53	c   nodes (total)    :    1729311
1800.02/1800.53	c   nodes left       :        992
1800.02/1800.53	c   max depth        :       1043
1800.02/1800.53	c   max depth (total):       1043
1800.02/1800.53	c   backtracks       :     614987 (35.6%)
1800.02/1800.53	c   delayed cutoffs  :     713280
1800.02/1800.53	c   repropagations   :    1322996 (9064663 domain reductions, 541129 cutoffs)
1800.02/1800.53	c   avg switch length:       2.52
1800.02/1800.53	c   switching time   :      91.06
1800.02/1800.53	c Solution           :
1800.02/1800.53	c   Solutions found  :          2 (2 improvements)
1800.02/1800.53	c   First Solution   : +3.40000000000000e+01   (in run 1, after 1044 nodes, 1.05 seconds, depth 1043, found by <relaxation>)
1800.02/1800.53	c   Primal Bound     : +3.30000000000000e+01   (in run 1, after 1070 nodes, 1.07 seconds, depth 1043, found by <relaxation>)
1800.02/1800.53	c   Dual Bound       : +1.00000000000000e+00
1800.02/1800.53	c   Gap              :    3200.00 %
1800.02/1800.53	c   Root Dual Bound  : +1.00000000000000e+00
1800.02/1800.53	c   Root Iterations  :          0
1800.02/1800.61	c Time complete: 1800.12.

OK	33

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663919-1276630454/watcher-2663919-1276630454 -o /tmp/evaluation-result-2663919-1276630454/solver-2663919-1276630454 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663919-1276630454.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10947
/proc/meminfo: memFree=1830016/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=5556 CPUtime=0
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 888 0 0 0 0 0 0 0 18 0 1 0 4337635 5689344 810 1992294400 4194304 7136930 140734291577584 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10947/statm: 1389 810 249 719 0 668 0

[startup+0.0362739 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10947
/proc/meminfo: memFree=1830016/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=12044 CPUtime=0.03
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 2496 0 0 0 2 1 0 0 18 0 1 0 4337635 12333056 2417 1992294400 4194304 7136930 140734291577584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10947/statm: 3011 2417 271 719 0 2290 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12044

[startup+0.101279 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10947
/proc/meminfo: memFree=1830016/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=14364 CPUtime=0.09
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 3101 0 0 0 8 1 0 0 18 0 1 0 4337635 14708736 3022 1992294400 4194304 7136930 140734291577584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10947/statm: 3591 3022 271 719 0 2870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14364

[startup+0.3013 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10947
/proc/meminfo: memFree=1830016/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=19704 CPUtime=0.29
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 4413 0 0 0 28 1 0 0 18 0 1 0 4337635 20176896 4334 1992294400 4194304 7136930 140734291577584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10947/statm: 4926 4334 271 719 0 4205 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19704

[startup+0.70134 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 10947
/proc/meminfo: memFree=1830016/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=46080 CPUtime=0.69
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 11988 0 0 0 61 8 0 0 18 0 1 0 4337635 47185920 10687 1992294400 4194304 7136930 140734291577584 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 11520 10687 354 719 0 10799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46080

[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10948
/proc/meminfo: memFree=1786360/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=48468 CPUtime=1.49
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 13977 0 0 0 137 12 0 0 19 0 1 0 4337635 49631232 11357 1992294400 4194304 7136930 140734291577584 18446744073709551615 5005106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 12117 11357 390 719 0 11396 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48468

[startup+3.10058 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 10948
/proc/meminfo: memFree=1785864/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=48468 CPUtime=3.09
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 13977 0 0 0 290 19 0 0 23 0 1 0 4337635 49631232 11357 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 12117 11357 390 719 0 11396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48468

[startup+6.30091 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10948
/proc/meminfo: memFree=1785492/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=48716 CPUtime=6.29
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 14004 0 0 0 599 30 0 0 25 0 1 0 4337635 49885184 11384 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 12179 11384 390 719 0 11458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48716

[startup+12.7006 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 10948
/proc/meminfo: memFree=1784624/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=50076 CPUtime=12.68
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 14269 0 0 0 1219 49 0 0 25 0 1 0 4337635 51277824 11649 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 12519 11649 390 719 0 11798 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50076

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 10950
/proc/meminfo: memFree=1781648/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=53416 CPUtime=25.49
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 14951 0 0 0 2460 89 0 0 25 0 1 0 4337635 54697984 12331 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 13354 12331 390 719 0 12633 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53416

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 10950
/proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59652 CPUtime=51.07
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16190 0 0 0 4937 170 0 0 25 0 1 0 4337635 61083648 13570 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14913 13570 390 719 0 14192 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59652

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 10952
/proc/meminfo: memFree=1776564/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59652 CPUtime=102.27
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16190 0 0 0 9900 327 0 0 25 0 1 0 4337635 61083648 13570 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14913 13570 390 719 0 14192 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59652

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10952
/proc/meminfo: memFree=1776440/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59784 CPUtime=162.25
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16200 0 0 0 15721 504 0 0 25 0 1 0 4337635 61218816 13580 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14946 13580 390 719 0 14225 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59784

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10954
/proc/meminfo: memFree=1776440/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59784 CPUtime=222.24
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16217 0 0 0 21543 681 0 0 25 0 1 0 4337635 61218816 13597 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14946 13597 390 719 0 14225 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 59784

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10956
/proc/meminfo: memFree=1776316/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59784 CPUtime=282.22
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16229 0 0 0 27368 854 0 0 25 0 1 0 4337635 61218816 13609 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14946 13609 390 719 0 14225 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 59784

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10958
/proc/meminfo: memFree=1776192/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59920 CPUtime=342.2
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16239 0 0 0 33188 1032 0 0 25 0 1 0 4337635 61358080 13619 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14980 13619 390 719 0 14259 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59920

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10960
/proc/meminfo: memFree=1776068/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59920 CPUtime=402.19
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16241 0 0 0 39012 1207 0 0 25 0 1 0 4337635 61358080 13621 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14980 13621 390 719 0 14259 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 59920

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10960
/proc/meminfo: memFree=1776068/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59920 CPUtime=462.17
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16242 0 0 0 44840 1377 0 0 25 0 1 0 4337635 61358080 13622 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14980 13622 390 719 0 14259 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 59920

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10962
/proc/meminfo: memFree=1775944/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59920 CPUtime=522.16
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16249 0 0 0 50665 1551 0 0 25 0 1 0 4337635 61358080 13629 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14980 13629 390 719 0 14259 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 59920

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10964
/proc/meminfo: memFree=1775820/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59920 CPUtime=582.15
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16253 0 0 0 56483 1732 0 0 25 0 1 0 4337635 61358080 13633 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14980 13633 390 719 0 14259 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 59920

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10966
/proc/meminfo: memFree=1775696/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=59920 CPUtime=642.13
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16262 0 0 0 62301 1912 0 0 25 0 1 0 4337635 61358080 13642 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 14980 13642 390 719 0 14259 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 59920

[startup+702.302 s]

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

/proc/loadavg: 0.99 0.98 0.99 2/107 10980
/proc/meminfo: memFree=1774704/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60336 CPUtime=1181.99
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16349 0 0 0 114719 3480 0 0 25 0 1 0 4337635 61784064 13729 1992294400 4194304 7136930 140734291577584 18446744073709551615 4648319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15084 13729 390 719 0 14363 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 60336

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10982
/proc/meminfo: memFree=1774456/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60336 CPUtime=1241.98
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16359 0 0 0 120544 3654 0 0 25 0 1 0 4337635 61784064 13739 1992294400 4194304 7136930 140734291577584 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15084 13739 390 719 0 14363 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 60336

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10984
/proc/meminfo: memFree=1774332/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60336 CPUtime=1301.96
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16364 0 0 0 126374 3822 0 0 25 0 1 0 4337635 61784064 13744 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15084 13744 390 719 0 14363 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 60336

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10984
/proc/meminfo: memFree=1774332/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60336 CPUtime=1361.94
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16367 0 0 0 132196 3998 0 0 25 0 1 0 4337635 61784064 13747 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15084 13747 390 719 0 14363 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 60336

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10986
/proc/meminfo: memFree=1774208/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60468 CPUtime=1421.94
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16384 0 0 0 138029 4165 0 0 25 0 1 0 4337635 61919232 13764 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15117 13764 390 719 0 14396 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 60468

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10988
/proc/meminfo: memFree=1774208/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60468 CPUtime=1481.91
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16388 0 0 0 143848 4343 0 0 25 0 1 0 4337635 61919232 13768 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15117 13768 390 719 0 14396 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 60468

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10990
/proc/meminfo: memFree=1774084/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60468 CPUtime=1541.9
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16394 0 0 0 149679 4511 0 0 25 0 1 0 4337635 61919232 13774 1992294400 4194304 7136930 140734291577584 18446744073709551615 5506130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15117 13774 390 719 0 14396 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 60468

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 10992
/proc/meminfo: memFree=1774084/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60468 CPUtime=1601.88
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16401 0 0 0 155504 4684 0 0 25 0 1 0 4337635 61919232 13781 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15117 13781 390 719 0 14396 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 60468

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11001
/proc/meminfo: memFree=1772908/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60604 CPUtime=1661.85
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16405 0 0 0 161318 4867 0 0 25 0 1 0 4337635 62058496 13785 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15151 13785 390 719 0 14430 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 60604

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11003
/proc/meminfo: memFree=1772908/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60604 CPUtime=1721.84
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16409 0 0 0 167147 5037 0 0 25 0 1 0 4337635 62058496 13789 1992294400 4194304 7136930 140734291577584 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15151 13789 390 719 0 14430 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 60604

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11005
/proc/meminfo: memFree=1772908/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60604 CPUtime=1781.83
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16409 0 0 0 172968 5215 0 0 25 0 1 0 4337635 62058496 13789 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15151 13789 390 719 0 14430 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 60604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11005
/proc/meminfo: memFree=1772908/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60604 CPUtime=1800.02
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16412 0 0 0 174736 5266 0 0 25 0 1 0 4337635 62058496 13792 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15151 13792 390 719 0 14430 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 60604

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

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1800.02 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1800.02 s) to the 'lost time'.

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11005
/proc/meminfo: memFree=1772908/2059040 swapFree=4192956/4192956
[pid=10947] ppid=10945 vsize=60604 CPUtime=1800.02
/proc/10947/stat : 10947 (pbscip.linux.x8) R 10945 10947 10829 0 -1 4202496 16412 0 0 0 174736 5266 0 0 25 0 1 0 4337635 62058496 13792 1992294400 4194304 7136930 140734291577584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10947/statm: 15151 13792 390 719 0 14430 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 60604

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11006
/proc/meminfo: memFree=1820392/2059040 swapFree=4192956/4192956
[pid=10947] ppid=-1 vsize=0 CPUtime=0
/proc/10947/stat : -- couldn't open stat file --/proc/10947/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11006
/proc/meminfo: memFree=1820392/2059040 swapFree=4192956/4192956
[pid=10947] ppid=-1 vsize=0 CPUtime=0
/proc/10947/stat : -- couldn't open stat file --/proc/10947/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10947 and gives
#  childrusage.ru_utime.tv_sec=1747
#  childrusage.ru_utime.tv_usec=459345
#  childrusage.ru_stime.tv_sec=52
#  childrusage.ru_stime.tv_usec=677991
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1800.02
#  lost CPU user time (s): 1747.36
#  lost CPU system time (s): 52.66

Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1747.36
CPU system time (s): 52.66
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 60604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1747.46
system time used= 52.678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16443
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= 2
involuntary context switches= 3150

runsolver used 2.72959 second user time and 8.76367 second system time

The end

Begin job on node045 at 2010-06-15 21:34:14
IDJOB=2663919
IDBENCH=24974
IDSOLVER=1167
FILE ID=node045/2663919-1276630454
PBS_JOBID= 11172356
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_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-2663919-1276630454/watcher-2663919-1276630454 -o /tmp/evaluation-result-2663919-1276630454/solver-2663919-1276630454 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663919-1276630454.opb -t 1800 -m 1800

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=1932131831

node045.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.247
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.49
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.247
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.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1830668 kB
Buffers:         11196 kB
Cached:          92932 kB
SwapCached:          0 kB
Active:          64412 kB
Inactive:        99076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1830668 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3800 kB
Writeback:           0 kB
AnonPages:       59336 kB
Mapped:          15436 kB
Slab:            43160 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182448 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62456 MiB
End job on node045 at 2010-06-15 22:04:17