0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3692816-1338017258.opb>
0.01/0.04	c original problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 826 constraints
0.01/0.04	c problem read in 0.04
0.01/0.08	c presolving:
0.08/0.16	c (round 1) 0 del vars, 364 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 98 upgd conss, 0 impls, 364 clqs
0.18/0.25	c (round 2) 0 del vars, 364 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 462 upgd conss, 0 impls, 364 clqs
0.28/0.31	c    (0.3s) probing: 51/8281 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.28/0.31	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.28/0.31	c presolving (3 rounds):
0.28/0.31	c  0 deleted vars, 364 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.28/0.31	c  0 implications, 364 cliques
0.28/0.31	c presolved problem has 8281 variables (8281 bin, 0 int, 0 impl, 0 cont) and 462 constraints
0.28/0.31	c      98 constraints of type <knapsack>
0.28/0.31	c     364 constraints of type <setppc>
0.28/0.31	c transformed objective value is always integral (scale: 1)
0.28/0.31	c Presolving Time: 0.26
0.28/0.31	c - non default parameters ----------------------------------------------------------------------
0.28/0.31	c # SCIP version 2.1.1.4
0.28/0.31	c 
0.28/0.31	c # maximal time in seconds to run
0.28/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.31	c limits/time = 1797
0.28/0.31	c 
0.28/0.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.28/0.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.28/0.31	c limits/memory = 13950
0.28/0.31	c 
0.28/0.31	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.28/0.31	c # [type: int, range: [1,2], default: 1]
0.28/0.31	c timing/clocktype = 2
0.28/0.31	c 
0.28/0.31	c # belongs reading time to solving time?
0.28/0.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.28/0.31	c timing/reading = TRUE
0.28/0.31	c 
0.28/0.31	c -----------------------------------------------------------------------------------------------
0.28/0.31	c start solving
0.28/0.31	c 
3.88/3.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.88/3.95	c   3.9s|     1 |     0 | 13781 |     - |  33M|   0 | 392 |8281 | 554 |8281 | 462 |   0 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
15.78/15.83	c  15.8s|     1 |     0 | 51321 |     - |  33M|   0 | 415 |8281 | 554 |8281 | 469 |   7 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
15.88/15.97	c  16.0s|     1 |     0 | 51372 |     - |  33M|   0 | 419 |8281 | 554 |8281 | 476 |  14 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
16.08/16.11	c  16.1s|     1 |     0 | 51436 |     - |  33M|   0 | 430 |8281 | 554 |8281 | 485 |  23 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
16.18/16.26	c  16.3s|     1 |     0 | 51491 |     - |  33M|   0 | 437 |8281 | 554 |8281 | 495 |  33 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
16.38/16.40	c  16.4s|     1 |     0 | 51523 |     - |  33M|   0 | 448 |8281 | 554 |8281 | 504 |  42 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
16.48/16.54	c  16.5s|     1 |     0 | 51555 |     - |  33M|   0 | 457 |8281 | 554 |8281 | 512 |  50 |  92 |   0 | 0.000000e+00 |      --      |    Inf 
21.98/22.09	c  22.1s|     1 |     2 | 51555 |     - |  33M|   0 | 457 |8281 | 554 |8281 | 512 |  50 |  92 |  33 | 0.000000e+00 |      --      |    Inf 
149.76/149.85	c   150s|   100 |    59 | 78243 | 269.6 |  34M|  57 | 160 |8281 | 565 |8281 | 509 |  50 | 103 |1861 | 0.000000e+00 |      --      |    Inf 
157.25/157.39	c   157s|   200 |    57 | 93019 | 208.4 |  34M|  69 |   - |8281 | 589 |8281 | 509 |  50 | 127 |1951 | 0.000000e+00 |      --      |    Inf 
165.35/165.47	c   165s|   300 |    67 |106619 | 184.2 |  34M|  72 |   - |8281 | 611 |8281 | 509 |  50 | 149 |2020 | 0.000000e+00 |      --      |    Inf 
171.94/172.08	c   172s|   400 |    69 |119301 | 169.8 |  34M|  72 | 108 |8281 | 656 |8281 | 509 |  50 | 194 |2074 | 0.000000e+00 |      --      |    Inf 
193.14/193.22	c   193s|   500 |    83 |174445 | 246.3 |  35M|  72 | 130 |8281 | 711 |8281 | 509 |  50 | 252 |2127 | 0.000000e+00 |      --      |    Inf 
204.14/204.27	c   204s|   600 |    99 |194721 | 239.0 |  35M|  72 |   - |8281 | 747 |   0 |   0 |  50 | 291 |2172 | 0.000000e+00 |      --      |    Inf 
210.64/210.79	c   211s|   700 |   109 |207024 | 222.4 |  35M|  72 |   - |8281 | 754 |8281 | 509 |  50 | 301 |2212 | 0.000000e+00 |      --      |    Inf 
214.93/215.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
214.93/215.02	c   215s|   800 |   107 |213604 | 202.8 |  35M|  72 |   - |8281 | 754 |8281 | 509 |  50 | 301 |2243 | 0.000000e+00 |      --      |    Inf 
219.14/219.28	c   219s|   900 |   109 |220064 | 187.4 |  35M|  72 |   - |8281 | 774 |8281 | 509 |  50 | 321 |2271 | 0.000000e+00 |      --      |    Inf 
222.73/222.82	c   223s|  1000 |   107 |225759 | 174.4 |  35M|  72 |   - |8281 | 778 |8281 | 509 |  50 | 326 |2288 | 0.000000e+00 |      --      |    Inf 
226.94/227.09	c   227s|  1100 |   107 |232372 | 164.5 |  35M|  72 | 106 |8281 | 799 |8281 | 509 |  50 | 347 |2316 | 0.000000e+00 |      --      |    Inf 
231.24/231.35	c   231s|  1200 |   111 |240147 | 157.3 |  35M|  72 |   - |8281 | 818 |8281 | 509 |  50 | 367 |2336 | 0.000000e+00 |      --      |    Inf 
235.03/235.19	c   235s|  1300 |   109 |245292 | 149.1 |  35M|  72 |   - |8281 | 828 |8281 | 509 |  50 | 377 |2368 | 0.000000e+00 |      --      |    Inf 
238.34/238.42	c   238s|  1400 |   111 |250250 | 142.0 |  35M|  72 | 113 |8281 | 886 |8281 | 509 |  50 | 437 |2386 | 0.000000e+00 |      --      |    Inf 
241.44/241.53	c   242s|  1500 |   111 |255052 | 135.8 |  35M|  72 | 114 |8281 | 913 |8281 | 509 |  50 | 467 |2407 | 0.000000e+00 |      --      |    Inf 
246.33/246.47	c   246s|  1600 |   109 |262669 | 132.0 |  35M|  72 | 108 |8281 | 912 |8281 | 509 |  50 | 467 |2446 | 0.000000e+00 |      --      |    Inf 
249.63/249.73	c   250s|  1700 |   111 |268021 | 127.4 |  36M|  72 | 130 |8281 | 937 |8281 | 509 |  50 | 493 |2464 | 0.000000e+00 |      --      |    Inf 
253.54/253.67	c   254s|  1800 |   111 |273643 | 123.5 |  36M|  72 |  93 |8281 | 962 |8281 | 509 |  50 | 523 |2497 | 0.000000e+00 |      --      |    Inf 
257.23/257.30	c   257s|  1900 |   113 |279875 | 120.2 |  36M|  75 |   - |8281 |1008 |8281 | 509 |  50 | 573 |2518 | 0.000000e+00 |      --      |    Inf 
260.83/261.00	c   261s|  2000 |   111 |285777 | 117.2 |  36M|  75 |   - |8281 |1015 |8281 | 509 |  50 | 593 |2540 | 0.000000e+00 |      --      |    Inf 
265.53/265.62	c   266s|  2100 |   109 |293285 | 115.2 |  36M|  75 | 102 |8281 |1001 |8281 | 509 |  50 | 593 |2572 | 0.000000e+00 |      --      |    Inf 
270.64/270.80	c   271s|  2200 |   109 |301907 | 113.8 |  36M|  75 | 102 |8281 |1016 |8281 | 509 |  50 | 615 |2604 | 0.000000e+00 |      --      |    Inf 
274.13/274.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
274.13/274.29	c   274s|  2300 |   107 |307159 | 111.2 |  36M|  75 |   - |8281 |1081 |   0 |   0 |  50 | 689 |2625 | 0.000000e+00 |      --      |    Inf 
277.63/277.79	c   278s|  2400 |   107 |312686 | 108.8 |  36M|  75 |   - |8281 |1108 |8281 | 509 |  50 | 727 |2645 | 0.000000e+00 |      --      |    Inf 
282.32/282.44	c   282s|  2500 |   107 |320465 | 107.6 |  36M|  75 |   - |8281 |1123 |8281 | 509 |  50 | 749 |2673 | 0.000000e+00 |      --      |    Inf 
286.53/286.61	c   287s|  2600 |   105 |326719 | 105.9 |  36M|  75 |   - |8281 |1144 |8281 | 509 |  50 | 777 |2703 | 0.000000e+00 |      --      |    Inf 
291.42/291.53	c   292s|  2700 |   107 |335593 | 105.2 |  36M|  75 | 121 |8281 |1141 |8281 | 509 |  50 | 802 |2728 | 0.000000e+00 |      --      |    Inf 
297.62/297.79	c   298s|  2800 |   109 |347162 | 105.6 |  36M|  75 | 134 |8281 |1135 |8281 | 509 |  50 | 812 |2769 | 0.000000e+00 |      --      |    Inf 
303.92/304.00	c   304s|  2900 |   111 |359045 | 106.1 |  36M|  75 |   - |8281 |1125 |8281 | 509 |  50 | 812 |2804 | 0.000000e+00 |      --      |    Inf 
308.62/308.78	c   309s|  3000 |   111 |367061 | 105.2 |  36M|  75 | 114 |8281 |1104 |8281 | 509 |  50 | 822 |2835 | 0.000000e+00 |      --      |    Inf 
314.82/314.99	c   315s|  3100 |   109 |379517 | 105.8 |  36M|  75 |   - |8281 |1097 |8281 | 509 |  50 | 832 |2872 | 0.000000e+00 |      --      |    Inf 
321.33/321.41	c   321s|  3200 |   111 |391255 | 106.2 |  36M|  75 |  93 |8281 |1086 |8281 | 509 |  50 | 836 |2910 | 0.000000e+00 |      --      |    Inf 
327.52/327.60	c   328s|  3300 |   109 |402784 | 106.5 |  36M|  75 |   - |8281 |1080 |8281 | 509 |  50 | 836 |2948 | 0.000000e+00 |      --      |    Inf 
333.12/333.27	c   333s|  3400 |   107 |412866 | 106.3 |  36M|  75 |   - |8281 |1067 |8281 | 509 |  50 | 839 |2987 | 0.000000e+00 |      --      |    Inf 
337.83/337.95	c   338s|  3500 |   109 |421162 | 105.6 |  36M|  75 | 138 |8281 |1076 |8281 | 509 |  50 | 859 |3014 | 0.000000e+00 |      --      |    Inf 
343.42/343.56	c   344s|  3600 |   113 |431116 | 105.5 |  36M|  75 | 129 |8281 |1063 |8281 | 509 |  50 | 859 |3050 | 0.000000e+00 |      --      |    Inf 
348.61/348.73	c   349s|  3700 |   111 |440405 | 105.1 |  36M|  75 |   - |8281 |1059 |8281 | 509 |  50 | 862 |3077 | 0.000000e+00 |      --      |    Inf 
353.92/354.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
353.92/354.07	c   354s|  3800 |   107 |449269 | 104.7 |  36M|  75 |   - |8281 |1052 |8281 | 509 |  50 | 869 |3114 | 0.000000e+00 |      --      |    Inf 
360.01/360.17	c   360s|  3900 |   111 |460322 | 104.8 |  36M|  75 | 112 |8281 |1042 |8281 | 509 |  50 | 869 |3153 | 0.000000e+00 |      --      |    Inf 
365.61/365.77	c   366s|  4000 |   111 |470659 | 104.8 |  36M|  75 |  92 |8281 |1050 |8281 | 509 |  50 | 882 |3189 | 0.000000e+00 |      --      |    Inf 
370.81/370.95	c   371s|  4100 |   109 |479938 | 104.5 |  36M|  75 | 132 |8281 |1045 |8281 | 509 |  50 | 882 |3220 | 0.000000e+00 |      --      |    Inf 
377.31/377.45	c   377s|  4200 |   113 |492333 | 105.0 |  36M|  75 |   - |8281 |1039 |8281 | 509 |  50 | 882 |3259 | 0.000000e+00 |      --      |    Inf 
384.71/384.80	c   385s|  4300 |   113 |506293 | 105.8 |  36M|  75 | 109 |8281 |1035 |8281 | 509 |  50 | 882 |3307 | 0.000000e+00 |      --      |    Inf 
390.41/390.52	c   391s|  4400 |   113 |518563 | 106.2 |  36M|  75 |   - |8281 |1033 |8281 | 509 |  50 | 882 |3334 | 0.000000e+00 |      --      |    Inf 
395.11/395.21	c   395s|  4500 |   113 |529797 | 106.3 |  36M|  75 |   - |8281 |1032 |8281 | 509 |  50 | 882 |3344 | 0.000000e+00 |      --      |    Inf 
400.42/400.55	c   401s|  4600 |   109 |540844 | 106.4 |  36M|  75 |   - |8281 |1048 |8281 | 509 |  50 | 902 |3365 | 0.000000e+00 |      --      |    Inf 
404.70/404.82	c   405s|  4700 |   113 |550736 | 106.2 |  36M|  75 |   - |8281 |1067 |8281 | 509 |  50 | 922 |3374 | 0.000000e+00 |      --      |    Inf 
409.01/409.19	c   409s|  4800 |   115 |561735 | 106.3 |  36M|  75 | 123 |8281 |1073 |8281 | 509 |  50 | 930 |3378 | 0.000000e+00 |      --      |    Inf 
413.90/414.03	c   414s|  4900 |   109 |575097 | 106.9 |  36M|  75 |   - |8281 |1090 |   0 |   0 |  50 | 952 |3378 | 0.000000e+00 |      --      |    Inf 
418.80/418.93	c   419s|  5000 |   115 |586900 | 107.1 |  36M|  75 | 103 |8281 |1100 |8281 | 509 |  50 | 967 |3387 | 0.000000e+00 |      --      |    Inf 
423.80/423.94	c   424s|  5100 |   113 |596930 | 107.0 |  36M|  75 | 135 |8281 |1121 |8281 | 509 |  50 | 990 |3407 | 0.000000e+00 |      --      |    Inf 
429.40/429.55	c   430s|  5200 |   113 |608638 | 107.2 |  36M|  75 |   - |8281 |1131 |8281 | 509 |  50 |1010 |3434 | 0.000000e+00 |      --      |    Inf 
433.30/433.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
433.30/433.49	c   433s|  5300 |   113 |618546 | 107.0 |  36M|  75 | 134 |8281 |1148 |8281 | 509 |  50 |1033 |3434 | 0.000000e+00 |      --      |    Inf 
438.30/438.42	c   438s|  5400 |   113 |631901 | 107.5 |  36M|  75 | 145 |8281 |1157 |8281 | 509 |  50 |1053 |3435 | 0.000000e+00 |      --      |    Inf 
444.90/445.00	c   445s|  5500 |   113 |648316 | 108.5 |  36M|  75 | 110 |8281 |1165 |8281 | 509 |  50 |1063 |3451 | 0.000000e+00 |      --      |    Inf 
451.70/451.89	c   452s|  5600 |   111 |661401 | 108.9 |  36M|  78 |   - |8281 |1163 |8281 | 509 |  50 |1063 |3486 | 0.000000e+00 |      --      |    Inf 
461.40/461.55	c   462s|  5700 |   113 |674255 | 109.3 |  36M|  78 | 118 |8281 |1160 |8281 | 509 |  50 |1079 |3582 | 0.000000e+00 |      --      |    Inf 
469.29/469.41	c   469s|  5800 |   115 |685696 | 109.4 |  36M|  78 |   - |8281 |1154 |8281 | 509 |  50 |1089 |3660 | 0.000000e+00 |      --      |    Inf 
473.00/473.10	c   473s|  5900 |   113 |694109 | 108.9 |  36M|  78 | 127 |8281 |1149 |8281 | 509 |  50 |1099 |3661 | 0.000000e+00 |      --      |    Inf 
477.50/477.60	c   478s|  6000 |   111 |704776 | 108.9 |  36M|  78 |   - |8281 |1156 |8281 | 509 |  50 |1113 |3665 | 0.000000e+00 |      --      |    Inf 
481.80/481.97	c   482s|  6100 |   113 |715343 | 108.8 |  36M|  78 |  81 |8281 |1161 |8281 | 509 |  50 |1148 |3671 | 0.000000e+00 |      --      |    Inf 
487.00/487.16	c   487s|  6200 |   113 |727630 | 109.1 |  36M|  78 |   - |8281 |1159 |8281 | 509 |  50 |1148 |3684 | 0.000000e+00 |      --      |    Inf 
492.79/492.94	c   493s|  6300 |   111 |739771 | 109.3 |  36M|  78 |   - |8281 |1153 |8281 | 509 |  50 |1148 |3703 | 0.000000e+00 |      --      |    Inf 
500.39/500.50	c   500s|  6400 |   109 |754662 | 109.9 |  36M|  78 |   - |8281 |1143 |8281 | 509 |  50 |1158 |3743 | 0.000000e+00 |      --      |    Inf 
521.18/521.33	c   521s|  6500 |   117 |770094 | 110.6 |  36M|  78 | 117 |8281 |1148 |8281 | 509 |  50 |1178 |4053 | 0.000000e+00 |      --      |    Inf 
525.09/525.20	c   525s|  6600 |   117 |778416 | 110.1 |  36M|  78 | 119 |8281 |1155 |8281 | 509 |  50 |1188 |4060 | 0.000000e+00 |      --      |    Inf 
529.88/530.03	c   530s|  6700 |   113 |791128 | 110.4 |  36M|  78 |   - |8281 |1162 |8281 | 509 |  50 |1198 |4061 | 0.000000e+00 |      --      |    Inf 
534.19/534.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
534.19/534.36	c   534s|  6800 |   119 |800458 | 110.1 |  36M|  78 | 132 |8281 |1154 |8281 | 509 |  50 |1198 |4075 | 0.000000e+00 |      --      |    Inf 
537.99/538.13	c   538s|  6900 |   115 |809527 | 109.9 |  36M|  78 |   - |8281 |1155 |8281 | 509 |  50 |1208 |4076 | 0.000000e+00 |      --      |    Inf 
541.89/542.03	c   542s|  7000 |   113 |818978 | 109.6 |  36M|  78 | 116 |8281 |1153 |8281 | 509 |  50 |1208 |4076 | 0.000000e+00 |      --      |    Inf 
546.48/546.65	c   547s|  7100 |   115 |830923 | 109.8 |  36M|  78 | 108 |8281 |1155 |8281 | 509 |  50 |1218 |4076 | 0.000000e+00 |      --      |    Inf 
550.68/550.84	c   551s|  7200 |   113 |841492 | 109.7 |  36M|  78 |   - |8281 |1155 |8281 | 509 |  50 |1228 |4076 | 0.000000e+00 |      --      |    Inf 
555.59/555.78	c   556s|  7300 |   111 |854291 | 110.0 |  36M|  78 |   - |8281 |1156 |8281 | 509 |  50 |1238 |4079 | 0.000000e+00 |      --      |    Inf 
560.18/560.31	c   560s|  7400 |   115 |866124 | 110.1 |  36M|  78 |   - |8281 |1157 |8281 | 509 |  50 |1248 |4080 | 0.000000e+00 |      --      |    Inf 
565.19/565.36	c   565s|  7500 |   113 |878318 | 110.2 |  36M|  78 |   - |8281 |1152 |8281 | 509 |  50 |1248 |4087 | 0.000000e+00 |      --      |    Inf 
572.48/572.61	c   573s|  7600 |   113 |893453 | 110.8 |  36M|  78 |  92 |8281 |1143 |8281 | 509 |  50 |1263 |4116 | 0.000000e+00 |      --      |    Inf 
578.18/578.36	c   578s|  7700 |   111 |904728 | 110.8 |  36M|  78 |   - |8281 |1137 |8281 | 509 |  50 |1263 |4138 | 0.000000e+00 |      --      |    Inf 
584.19/584.38	c   584s|  7800 |   115 |916521 | 110.9 |  36M|  78 | 109 |8281 |1124 |8281 | 509 |  50 |1263 |4170 | 0.000000e+00 |      --      |    Inf 
588.59/588.73	c   589s|  7900 |   111 |924372 | 110.5 |  36M|  78 |   - |8281 |1130 |8281 | 509 |  50 |1277 |4189 | 0.000000e+00 |      --      |    Inf 
593.37/593.52	c   594s|  8000 |   113 |933435 | 110.2 |  36M|  78 |  50 |8281 |1145 |8281 | 509 |  50 |1297 |4210 | 0.000000e+00 |      --      |    Inf 
598.77/598.96	c   599s|  8100 |   113 |943441 | 110.1 |  36M|  78 |   - |8281 |1139 |8281 | 509 |  50 |1297 |4235 | 0.000000e+00 |      --      |    Inf 
605.08/605.25	c   605s|  8200 |   111 |953603 | 110.0 |  36M|  78 |   - |8281 |1131 |8281 | 509 |  50 |1297 |4274 | 0.000000e+00 |      --      |    Inf 
609.07/609.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
609.07/609.25	c   609s|  8300 |   111 |963444 | 109.9 |  36M|  78 |   - |8281 |1130 |8281 | 509 |  50 |1297 |4274 | 0.000000e+00 |      --      |    Inf 
615.27/615.47	c   615s|  8400 |   111 |975000 | 109.9 |  36M|  78 | 141 |8281 |1137 |8281 | 509 |  50 |1307 |4299 | 0.000000e+00 |      --      |    Inf 
619.57/619.70	c   620s|  8500 |   111 |982373 | 109.5 |  36M|  78 |  85 |8281 |1136 |8281 | 509 |  50 |1307 |4322 | 0.000000e+00 |      --      |    Inf 
625.27/625.45	c   625s|  8600 |   109 |993256 | 109.5 |  36M|  78 | 139 |8281 |1136 |8281 | 509 |  50 |1308 |4352 | 0.000000e+00 |      --      |    Inf 
631.26/631.46	c   631s|  8700 |   109 |  1006k| 109.7 |  36M|  78 |   - |8281 |1115 |8281 | 509 |  50 |1308 |4383 | 0.000000e+00 |      --      |    Inf 
635.87/636.01	c   636s|  8800 |   109 |  1014k| 109.5 |  36M|  78 |  87 |8281 |1113 |8281 | 509 |  50 |1311 |4397 | 0.000000e+00 |      --      |    Inf 
642.37/642.53	c   643s|  8900 |   109 |  1025k| 109.5 |  36M|  78 |  97 |8281 |1105 |8281 | 509 |  50 |1311 |4437 | 0.000000e+00 |      --      |    Inf 
650.96/651.16	c   651s|  9000 |   109 |  1038k| 109.6 |  36M|  78 |   - |8281 |1082 |8281 | 509 |  50 |1321 |4496 | 0.000000e+00 |      --      |    Inf 
657.87/658.05	c   658s|  9100 |   107 |  1051k| 109.9 |  35M|  78 |   - |8281 |1076 |8281 | 509 |  50 |1321 |4533 | 0.000000e+00 |      --      |    Inf 
662.46/662.62	c   663s|  9200 |   107 |  1062k| 109.9 |  36M|  78 |   - |8281 |1078 |8281 | 509 |  50 |1331 |4542 | 0.000000e+00 |      --      |    Inf 
667.46/667.60	c   668s|  9300 |   109 |  1076k| 110.2 |  35M|  78 | 123 |8281 |1070 |8281 | 509 |  50 |1331 |4543 | 0.000000e+00 |      --      |    Inf 
675.67/675.84	c   676s|  9400 |   109 |  1091k| 110.7 |  36M|  78 |   - |8281 |1066 |8281 | 509 |  50 |1331 |4583 | 0.000000e+00 |      --      |    Inf 
680.87/681.02	c * 681s|  9478 |     0 |  1104k| 111.1 |  35M|  78 |   - |8281 |1058 |8281 | 509 |  50 |1331 |4593 | 0.000000e+00 | 0.000000e+00 |   0.00%
680.87/681.02	c 
680.87/681.02	c SCIP Status        : problem is solved [optimal solution found]
680.87/681.02	c Solving Time (sec) : 681.02
680.87/681.02	c Solving Nodes      : 9478
680.87/681.02	c Primal Bound       : +0.00000000000000e+00 (1 solutions)
680.87/681.02	c Dual Bound         : +0.00000000000000e+00
680.87/681.02	c Gap                : 0.00 %
680.87/681.03	s SATISFIABLE
680.87/681.03	v -x8281 -x8280 -x8279 -x8278 -x8277 -x8276 -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 
680.87/681.03	v -x8262 -x8261 -x8260 -x8259 -x8258 -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 
680.87/681.03	v -x8245 -x8244 -x8243 -x8242 -x8241 -x8240 -x8239 -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 
680.87/681.03	v -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221 -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 x8212 -x8211 -x8210 
680.87/681.03	v -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203 -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 
680.87/681.03	v -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185 -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 
680.87/681.03	v -x8173 -x8172 -x8171 -x8170 -x8169 -x8168 -x8167 -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 
680.87/681.03	v -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149 -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 x8138 
680.87/681.03	v -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131 -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8120 
680.87/681.03	v -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109 -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 
680.87/681.03	v -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092 -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 
680.87/681.03	v -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074 -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 
680.87/681.03	v -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056 -x8055 -x8054 -x8053 -x8052 -x8051 -x8050 -x8049 
680.87/681.03	v -x8048 -x8047 -x8046 -x8045 -x8044 -x8043 -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 
680.87/681.03	v -x8030 -x8029 -x8028 -x8027 -x8026 -x8025 -x8024 -x8023 -x8022 -x8021 -x8020 x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 
680.87/681.03	v -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006 -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 
680.87/681.03	v -x7994 -x7993 x7992 -x7991 -x7990 -x7989 -x7988 -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 
680.87/681.03	v -x7976 -x7975 -x7974 -x7973 -x7972 -x7971 -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 
680.87/681.03	v -x7958 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952 -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 
680.87/681.03	v -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934 -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 
680.87/681.03	v -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916 -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 
680.87/681.03	v -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898 -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 
680.87/681.03	v -x7887 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879 -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 
680.87/681.03	v -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861 -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 x7853 -x7852 
680.87/681.03	v -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844 -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 
680.87/681.03	v -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826 -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7816 
680.87/681.03	v -x7815 -x7814 -x7813 x7812 -x7811 -x7810 -x7809 -x7808 -x7807 -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 
680.87/681.03	v -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789 -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 
680.87/681.03	v -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771 -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 
680.87/681.03	v -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753 -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7745 
680.87/681.03	v -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734 -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 
680.87/681.03	v -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717 -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 
680.87/681.03	v -x7708 x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699 -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 
680.87/681.03	v -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681 -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7674 -x7673 
680.87/681.03	v -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662 -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 
680.87/681.03	v -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644 -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 
680.87/681.03	v -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626 -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 
680.87/681.03	v -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608 -x7607 -x7606 -x7605 -x7604 -x7603 -x7602 
680.87/681.03	v -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590 -x7589 -x7588 x7587 -x7586 -x7585 -x7584 
680.87/681.03	v -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572 -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 
680.87/681.03	v -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 
680.87/681.03	v -x7547 -x7546 -x7545 -x7544 x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 -x7533 -x7532 -x7531 -x7530 
680.87/681.03	v -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 -x7515 -x7514 -x7513 -x7512 
680.87/681.03	v -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 -x7498 -x7497 -x7496 -x7495 -x7494 
680.87/681.03	v -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 -x7480 -x7479 -x7478 -x7477 -x7476 
680.87/681.03	v -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 -x7462 -x7461 -x7460 -x7459 
680.87/681.03	v -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444 -x7443 -x7442 -x7441 
680.87/681.03	v -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 -x7426 -x7425 -x7424 -x7423 
680.87/681.03	v -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 x7408 -x7407 -x7406 -x7405 
680.87/681.03	v -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391 -x7390 -x7389 -x7388 -x7387 
680.87/681.03	v -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 
680.87/681.03	v -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 
680.87/681.03	v -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 
680.87/681.03	v -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 
680.87/681.03	v -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 
680.87/681.03	v -x7297 -x7296 -x7295 -x7294 -x7293 x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 
680.87/681.03	v -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 
680.87/681.03	v -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 x7248 -x7247 -x7246 -x7245 -x7244 
680.87/681.03	v -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 
680.87/681.03	v -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 
680.87/681.03	v -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 
680.87/681.03	v -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 
680.87/681.03	v -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 
680.87/681.03	v -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 
680.87/681.03	v -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 
680.87/681.03	v -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 
680.87/681.03	v -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 
680.87/681.03	v -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 
680.87/681.03	v -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 
680.87/681.03	v -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 
680.87/681.03	v -x7028 -x7027 x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 
680.87/681.03	v -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 x6996 -x6995 -x6994 -x6993 
680.87/681.03	v -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 
680.87/681.03	v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 
680.87/681.03	v -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 
680.87/681.03	v -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 
680.87/681.03	v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 
680.87/681.03	v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 
680.87/681.03	v -x6885 -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 x6873 -x6872 -x6871 -x6870 -x6869 -x6868 
680.87/681.03	v -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 
680.87/681.03	v -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 
680.87/681.03	v -x6832 -x6831 -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 
680.87/681.03	v -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 
680.87/681.03	v -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 
680.87/681.03	v -x6778 -x6777 x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 
680.87/681.03	v -x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 
680.87/681.03	v -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 
680.87/681.03	v -x6724 -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 
680.87/681.03	v -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 
680.87/681.03	v -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 
680.87/681.03	v -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 
680.87/681.03	v -x6653 -x6652 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 x6644 -x6643 x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 
680.87/681.03	v -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 
680.87/681.03	v -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 
680.87/681.03	v -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 
680.87/681.03	v -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 
680.87/681.03	v -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 
680.87/681.03	v -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 
680.87/681.03	v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 
680.87/681.03	v -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 
680.87/681.03	v -x6492 x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 
680.87/681.03	v -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 
680.87/681.03	v -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 
680.87/681.03	v -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 
680.87/681.03	v -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 
680.87/681.03	v -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 
680.87/681.03	v -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 
680.87/681.03	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 
680.87/681.03	v -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 
680.87/681.03	v -x6331 -x6330 -x6329 -x6328 -x6327 x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 
680.87/681.03	v -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 
680.87/681.03	v -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 
680.87/681.03	v -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 x6261 -x6260 
680.87/681.03	v -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 
680.87/681.03	v -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 
680.87/681.03	v -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 
680.87/681.03	v -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 
680.87/681.03	v -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 
680.87/681.03	v -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 
680.87/681.03	v -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 
680.87/681.03	v -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 x6120 -x6119 -x6118 -x6117 
680.87/681.03	v -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 
680.87/681.03	v -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 
680.87/681.03	v -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 
680.87/681.03	v -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 
680.87/681.03	v -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 
680.87/681.03	v -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 
680.87/681.03	v -x6009 -x6008 -x6007 x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 
680.87/681.03	v -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 
680.87/681.03	v -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 
680.87/681.03	v -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 
680.87/681.03	v -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 
680.87/681.03	v -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 
680.87/681.03	v -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 
680.87/681.03	v -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 
680.87/681.03	v -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 
680.87/681.03	v -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 
680.87/681.03	v -x5830 -x5829 -x5828 x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 
680.87/681.03	v -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 
680.87/681.03	v -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 
680.87/681.03	v -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 x5764 -x5763 -x5762 -x5761 -x5760 -x5759 
680.87/681.03	v -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 
680.87/681.03	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 
680.87/681.03	v -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 
680.87/681.03	v -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 
680.87/681.03	v -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 x5671 -x5670 
680.87/681.03	v -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 
680.87/681.03	v -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 
680.87/681.03	v -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 
680.87/681.03	v -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 
680.87/681.03	v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 
680.87/681.03	v -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 
680.87/681.03	v -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 
680.87/681.03	v -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 
680.87/681.03	v -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 
680.87/681.03	v -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 
680.87/681.03	v -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 
680.87/681.03	v -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 
680.87/681.03	v -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 
680.87/681.03	v -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 
680.87/681.03	v -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 
680.87/681.03	v -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 
680.87/681.03	v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 
680.87/681.03	v -x5365 -x5364 -x5363 -x5362 -x5361 x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 
680.87/681.03	v -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 
680.87/681.03	v -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 
680.87/681.03	v -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 
680.87/681.03	v -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 
680.87/681.03	v -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 x5263 -x5262 -x5261 -x5260 -x5259 
680.87/681.03	v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 
680.87/681.03	v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 
680.87/681.03	v -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 
680.87/681.03	v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 
680.87/681.03	v -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 
680.87/681.03	v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 
680.87/681.03	v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 
680.87/681.03	v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 
680.87/681.03	v -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 
680.87/681.03	v -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 
680.87/681.03	v -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 
680.87/681.03	v x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 
680.87/681.03	v -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 
680.87/681.03	v -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 
680.87/681.03	v -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 
680.87/681.03	v -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 
680.87/681.03	v -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 
680.87/681.03	v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 
680.87/681.03	v -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 
680.87/681.03	v -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 
680.87/681.03	v -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 
680.87/681.03	v -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 
680.87/681.03	v -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 
680.87/681.03	v -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 
680.87/681.03	v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 
680.87/681.03	v -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
680.87/681.03	v -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 
680.87/681.03	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 
680.87/681.03	v -x4757 -x4756 -x4755 -x4754 x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 
680.87/681.03	v -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 
680.87/681.03	v -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 
680.87/681.03	v -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
680.87/681.03	v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 
680.87/681.03	v -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
680.87/681.03	v -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
680.87/681.03	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 
680.87/681.03	v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 
680.87/681.03	v -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 
680.87/681.03	v -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 
680.87/681.03	v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 
680.87/681.03	v -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 
680.87/681.03	v -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
680.87/681.03	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 
680.87/681.03	v -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 
680.87/681.03	v -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 
680.87/681.03	v -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 
680.87/681.03	v -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 
680.87/681.03	v -x4417 -x4416 -x4415 x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 
680.87/681.03	v -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 
680.87/681.03	v -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 
680.87/681.03	v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 
680.87/681.03	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 
680.87/681.03	v -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 
680.87/681.03	v -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 
680.87/681.03	v -x4292 x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 
680.87/681.03	v -x4274 x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 
680.87/681.03	v -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 
680.87/681.03	v -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 
680.87/681.03	v -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 
680.87/681.03	v -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 
680.87/681.03	v -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 
680.87/681.03	v -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 
680.87/681.03	v -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 
680.87/681.03	v -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 
680.87/681.03	v -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 
680.87/681.03	v -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 
680.87/681.03	v -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 
680.87/681.03	v -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 
680.87/681.03	v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 
680.87/681.03	v -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 
680.87/681.03	v -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 
680.87/681.03	v -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 
680.87/681.03	v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 
680.87/681.03	v -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 
680.87/681.03	v -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 x3918 -x3917 
680.87/681.03	v -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 
680.87/681.03	v -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 
680.87/681.03	v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 
680.87/681.03	v -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 
680.87/681.03	v -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 
680.87/681.03	v -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 
680.87/681.03	v -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 
680.87/681.03	v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 
680.87/681.03	v -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 
680.87/681.03	v -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 
680.87/681.03	v -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 
680.87/681.03	v -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 
680.87/681.03	v -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 
680.87/681.03	v -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 
680.87/681.03	v -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 
680.87/681.03	v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 
680.87/681.03	v -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 
680.87/681.03	v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 
680.87/681.03	v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 
680.87/681.03	v -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 
680.87/681.03	v -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 
680.87/681.03	v -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 
680.87/681.03	v -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 
680.87/681.03	v -x3505 -x3504 -x3503 -x3502 x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 
680.87/681.03	v -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 
680.87/681.03	v -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 
680.87/681.03	v -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 
680.87/681.03	v -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 
680.87/681.03	v -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 
680.87/681.03	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 
680.87/681.03	v -x3380 -x3379 -x3378 -x3377 -x3376 x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 
680.87/681.03	v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 
680.87/681.03	v -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 
680.87/681.03	v -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 
680.87/681.03	v x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 
680.87/681.03	v -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 
680.87/681.03	v -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 x3259 -x3258 -x3257 -x3256 -x3255 
680.87/681.03	v -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 
680.87/681.03	v -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 
680.87/681.03	v -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 
680.87/681.03	v -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 
680.87/681.03	v -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 
680.87/681.03	v -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 
680.87/681.03	v -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 
680.87/681.03	v -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 
680.87/681.03	v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 
680.87/681.03	v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 
680.87/681.03	v -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 
680.87/681.03	v -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 x3043 -x3042 -x3041 
680.87/681.03	v -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 
680.87/681.03	v -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 
680.87/681.03	v -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 
680.87/681.03	v -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 
680.87/681.03	v -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 
680.87/681.03	v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 
680.87/681.03	v -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 
680.87/681.03	v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 
680.87/681.03	v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 
680.87/681.03	v -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 
680.87/681.03	v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 
680.87/681.03	v -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 
680.87/681.03	v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 
680.87/681.03	v -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 
680.87/681.03	v -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 
680.87/681.03	v -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 
680.87/681.03	v x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 
680.87/681.03	v -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 
680.87/681.03	v -x2718 x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 
680.87/681.03	v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
680.87/681.03	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
680.87/681.03	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 
680.87/681.03	v -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 
680.87/681.03	v -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 x2616 -x2615 -x2614 -x2613 -x2612 
680.87/681.03	v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 
680.87/681.03	v -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 
680.87/681.03	v -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 
680.87/681.03	v -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
680.87/681.03	v -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 
680.87/681.03	v -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 
680.87/681.03	v -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 
680.87/681.03	v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 
680.87/681.03	v -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 
680.87/681.03	v -x2450 x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 
680.87/681.03	v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 
680.87/681.03	v -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 
680.87/681.03	v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 
680.87/681.03	v -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 
680.87/681.03	v -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
680.87/681.03	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
680.87/681.03	v -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 
680.87/681.03	v -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 
680.87/681.03	v -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 
680.87/681.03	v -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 
680.87/681.03	v -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 
680.87/681.03	v -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 x2220 -x2219 -x2218 
680.87/681.03	v -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 
680.87/681.03	v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 
680.87/681.03	v -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 
680.87/681.03	v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
680.87/681.03	v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
680.87/681.03	v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 
680.87/681.03	v -x2110 -x2109 x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 
680.87/681.03	v -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 
680.87/681.03	v -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 
680.87/681.03	v -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 
680.87/681.03	v -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
680.87/681.03	v -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 
680.87/681.03	v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 
680.87/681.03	v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 
680.87/681.03	v -x1967 -x1966 -x1965 -x1964 x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 
680.87/681.03	v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 
680.87/681.03	v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 
680.87/681.03	v -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
680.87/681.03	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
680.87/681.03	v -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
680.87/681.03	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
680.87/681.03	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 x1830 -x1829 -x1828 -x1827 -x1826 -x1825 
680.87/681.03	v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 
680.87/681.03	v -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 
680.87/681.03	v -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 
680.87/681.03	v -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 
680.87/681.03	v -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 
680.87/681.03	v -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 
680.87/681.03	v -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 
680.87/681.03	v -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 
680.87/681.03	v -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 
680.87/681.03	v -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 
680.87/681.03	v -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 
680.87/681.03	v -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 x1612 -x1611 -x1610 
680.87/681.03	v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 
680.87/681.03	v -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 
680.87/681.03	v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 
680.87/681.03	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
680.87/681.03	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 
680.87/681.03	v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 
680.87/681.03	v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
680.87/681.03	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 
680.87/681.03	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 
680.87/681.03	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 
680.87/681.03	v -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
680.87/681.03	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 
680.87/681.03	v -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
680.87/681.03	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
680.87/681.03	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
680.87/681.03	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 
680.87/681.03	v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 
680.87/681.03	v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
680.87/681.03	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
680.87/681.03	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 
680.87/681.03	v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
680.87/681.03	v -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 
680.87/681.03	v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 
680.87/681.03	v -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 
680.87/681.03	v -x1180 -x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
680.87/681.03	v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 
680.87/681.03	v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
680.87/681.03	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 
680.87/681.03	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 
680.87/681.03	v -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 
680.87/681.03	v -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
680.87/681.03	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 
680.87/681.03	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 
680.87/681.03	v -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 
680.87/681.03	v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 
680.87/681.03	v -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 -x963 -x962 -x961 
680.87/681.03	v -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 
680.87/681.03	v -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 
680.87/681.03	v -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 
680.87/681.03	v -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 
680.87/681.03	v -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 
680.87/681.03	v -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 
680.87/681.03	v -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 
680.87/681.03	v -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
680.87/681.03	v -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 
680.87/681.03	v -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 
680.87/681.03	v -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 
680.87/681.03	v -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 
680.87/681.03	v -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 
680.87/681.03	v -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 
680.87/681.03	v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 
680.87/681.03	v -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 
680.87/681.03	v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
680.87/681.03	v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 
680.87/681.03	v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 
680.87/681.03	v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 
680.87/681.03	v -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 
680.87/681.03	v -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 
680.87/681.03	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
680.87/681.03	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 
680.87/681.03	v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 
680.87/681.03	v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 
680.87/681.03	v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 
680.87/681.03	v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 
680.87/681.03	v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 
680.87/681.03	v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 
680.87/681.03	v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 
680.87/681.03	v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 
680.87/681.03	v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 
680.87/681.03	v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 
680.87/681.03	v -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
680.87/681.03	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 
680.87/681.03	v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 
680.87/681.03	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 
680.87/681.03	v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 
680.87/681.03	v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
680.87/681.03	v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 
680.87/681.03	v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 
680.87/681.03	v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 
680.87/681.03	v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 
680.87/681.03	v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 
680.87/681.03	v -x4 -x3 -x2 -x1 
680.87/681.03	c SCIP Status        : problem is solved [optimal solution found]
680.87/681.03	c Total Time         :     681.02
680.87/681.03	c   solving          :     681.02
680.87/681.03	c   presolving       :       0.26 (included in solving)
680.87/681.03	c   reading          :       0.04 (included in solving)
680.87/681.03	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
680.87/681.03	c Original Problem   :
680.87/681.03	c   Problem name     : HOME/instance-3692816-1338017258.opb
680.87/681.03	c   Variables        : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous)
680.87/681.03	c   Constraints      : 826 initial, 826 maximal
680.87/681.03	c   Objective sense  : minimize
680.87/681.03	c Presolved Problem  :
680.87/681.03	c   Problem name     : t_HOME/instance-3692816-1338017258.opb
680.87/681.03	c   Variables        : 8281 (8281 binary, 0 integer, 0 implicit integer, 0 continuous)
680.87/681.03	c   Constraints      : 462 initial, 1170 maximal
680.87/681.03	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
680.87/681.03	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   probing          :       0.04       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   knapsack         :       0.06       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   setppc           :       0.02       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   linear           :       0.09       0.00          0          0          0          0          0        364          0          0          0
680.87/681.03	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
680.87/681.03	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
680.87/681.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
680.87/681.03	c   integral         :          0          0          0          0       5107          0          6          0         67        513          0          0       9588
680.87/681.03	c   knapsack         :         98         98          6      22024          1          0          3      24688         12      83955          0          0          0
680.87/681.03	c   setppc           :        364        364          6      22012          1          0          2     129104        118     214355          0          0          0
680.87/681.03	c   logicor          :          0+       708          6       8314          0          0          0        121         12       1056          0          0          0
680.87/681.03	c   countsols        :          0          0          0          0          1          0          2          0          0          0          0          0          0
680.87/681.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
680.87/681.03	c   integral         :     237.85       0.00       0.00       0.00     237.85       0.00       0.00       0.00
680.87/681.03	c   knapsack         :       0.64       0.00       0.01       0.59       0.00       0.00       0.00       0.04
680.87/681.03	c   setppc           :       1.52       0.00       0.00       1.35       0.00       0.00       0.00       0.17
680.87/681.03	c   logicor          :       0.10       0.00       0.00       0.10       0.00       0.00       0.00       0.00
680.87/681.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
680.87/681.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
680.87/681.03	c   rootredcost      :          0          0          0          0
680.87/681.03	c   pseudoobj        :          0          0          0          0
680.87/681.03	c   vbounds          :          0          0          0          0
680.87/681.03	c   redcost          :       5113          0          0          0
680.87/681.03	c   probing          :          0          0          0          0
680.87/681.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
680.87/681.03	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00
680.87/681.03	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00
680.87/681.03	c   vbounds          :       0.02       0.00       0.00       0.02       0.00
680.87/681.03	c   redcost          :       0.56       0.00       0.00       0.56       0.00
680.87/681.03	c   probing          :       0.04       0.00       0.04       0.00       0.00
680.87/681.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
680.87/681.03	c   propagation      :       1.11        142        140       5014      413.7        101      110.9          -
680.87/681.03	c   infeasible LP    :      89.27       4604         32       1369      999.8         16      106.4          0
680.87/681.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
680.87/681.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
680.87/681.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
680.87/681.03	c   applied globally :          -          -          -       1331      218.3          -          -          -
680.87/681.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
680.87/681.03	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
680.87/681.03	c   cut pool         :       0.00                     5          -          -          1          -    (maximal pool size: 51)
680.87/681.03	c   closecuts        :       0.00       0.00          0          0          0          0          0
680.87/681.03	c   impliedbounds    :       0.00       0.00          6          0          0          0          0
680.87/681.03	c   intobj           :       0.00       0.00          0          0          0          0          0
680.87/681.03	c   gomory           :       0.08       0.00          6          0          0          0          0
680.87/681.03	c   cgmip            :       0.00       0.00          0          0          0          0          0
680.87/681.03	c   strongcg         :       0.08       0.00          6          0          0          0          0
680.87/681.03	c   cmir             :       0.14       0.00          6          0          0          0          0
680.87/681.03	c   flowcover        :       0.17       0.00          6          0          0          0          0
680.87/681.03	c   clique           :       0.07       0.00          6          0          0         52          0
680.87/681.03	c   zerohalf         :       0.00       0.00          0          0          0          0          0
680.87/681.03	c   mcf              :       0.00       0.00          1          0          0          0          0
680.87/681.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0
680.87/681.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
680.87/681.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
680.87/681.03	c   problem variables:       0.00          -          0          0
680.87/681.03	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
680.87/681.03	c   relpscost        :     237.83       0.00       5106         67        513          0          0       9588
680.87/681.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c   inference        :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c   random           :       0.00       0.00          0          0          0          0          0          0
680.87/681.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
680.87/681.03	c   LP solutions     :       0.00          -          -          1
680.87/681.03	c   pseudo solutions :       0.00          -          -          0
680.87/681.03	c   oneopt           :       0.01       0.00          0          0
680.87/681.03	c   crossover        :       0.01       0.00          0          0
680.87/681.03	c   guideddiving     :       0.00       0.00          0          0
680.87/681.03	c   intshifting      :       0.00       0.00          0          0
680.87/681.03	c   rootsoldiving    :      11.72       0.00          3          0
680.87/681.03	c   feaspump         :      12.67       0.00          3          0
680.87/681.03	c   pscostdiving     :       5.13       0.00          8          0
680.87/681.03	c   veclendiving     :       7.94       0.00          9          0
680.87/681.03	c   coefdiving       :       6.27       0.00          9          0
680.87/681.03	c   fracdiving       :       7.52       0.00          9          0
680.87/681.03	c   linesearchdiving :       2.10       0.00          9          0
680.87/681.03	c   objpscostdiving  :       0.57       0.00          5          0
680.87/681.03	c   smallcard        :       0.00       0.00          0          0
680.87/681.03	c   trivial          :       0.01       0.00          2          0
680.87/681.03	c   shiftandpropagate:       0.05       0.00          1          0
680.87/681.03	c   simplerounding   :       0.01       0.00          0          0
680.87/681.03	c   zirounding       :       0.14       0.00          0          0
680.87/681.03	c   rounding         :       0.53       0.00        983          0
680.87/681.03	c   shifting         :       0.36       0.00        274          0
680.87/681.03	c   twoopt           :       0.00       0.00          0          0
680.87/681.03	c   indtwoopt        :       0.00       0.00          0          0
680.87/681.03	c   indoneopt        :       0.02       0.00          0          0
680.87/681.03	c   fixandinfer      :       0.00       0.00          0          0
680.87/681.03	c   clique           :       0.00       0.00          0          0
680.87/681.03	c   indcoefdiving    :       0.00       0.00          0          0
680.87/681.03	c   indrounding      :       0.00       0.00          0          0
680.87/681.03	c   nlpdiving        :       0.00       0.00          0          0
680.87/681.03	c   intdiving        :       0.00       0.00          0          0
680.87/681.03	c   actconsdiving    :       0.00       0.00          0          0
680.87/681.03	c   octane           :       0.00       0.00          0          0
680.87/681.03	c   rens             :       0.87       0.00          1          0
680.87/681.03	c   rins             :       0.00       0.00          0          0
680.87/681.03	c   localbranching   :       0.00       0.00          0          0
680.87/681.03	c   mutation         :       0.00       0.00          0          0
680.87/681.03	c   dins             :       0.00       0.00          0          0
680.87/681.03	c   vbounds          :       0.00       0.00          0          0
680.87/681.03	c   undercover       :       0.00       0.00          0          0
680.87/681.03	c   subnlp           :       0.01       0.00          0          0
680.87/681.03	c   trysol           :       0.01       0.00          0          0
680.87/681.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
680.87/681.03	c   primal LP        :       0.02          1          0       0.00       0.00       0.02          1
680.87/681.03	c   dual LP          :     290.39       9617     978918     102.18    3371.10       0.08         37
680.87/681.03	c   lex dual LP      :       0.00          0          0       0.00          -
680.87/681.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
680.87/681.03	c   diving/probing LP:      49.00       3328     125927      37.84    2569.69
680.87/681.03	c   strong branching :     237.50       4593     538444     117.23    2267.13
680.87/681.03	c     (at root node) :          -         33       6377     193.24          -
680.87/681.03	c   conflict analysis:       0.00          0          0       0.00          -
680.87/681.03	c B&B Tree           :
680.87/681.03	c   number of runs   :          1
680.87/681.03	c   nodes            :       9478
680.87/681.03	c   nodes (total)    :       9478
680.87/681.03	c   nodes left       :          0
680.87/681.03	c   max depth        :         78
680.87/681.03	c   max depth (total):         78
680.87/681.03	c   backtracks       :       1363 (14.4%)
680.87/681.03	c   delayed cutoffs  :          0
680.87/681.03	c   repropagations   :        661 (382 domain reductions, 0 cutoffs)
680.87/681.03	c   avg switch length:       2.82
680.87/681.03	c   switching time   :       1.17
680.87/681.03	c Solution           :
680.87/681.03	c   Solutions found  :          1 (1 improvements)
680.87/681.03	c   First Solution   : +0.00000000000000e+00   (in run 1, after 9478 nodes, 681.01 seconds, depth 54, found by <relaxation>)
680.87/681.03	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 9478 nodes, 681.01 seconds, depth 54, found by <relaxation>)
680.87/681.03	c   Dual Bound       : +0.00000000000000e+00
680.87/681.03	c   Gap              :       0.00 %
680.87/681.03	c   Root Dual Bound  : +0.00000000000000e+00
680.87/681.03	c   Root Iterations  :      51555
680.87/681.07	c Time complete: 680.93.

OK	0

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692816-1338017258/watcher-3692816-1338017258 -o /tmp/evaluation-result-3692816-1338017258/solver-3692816-1338017258 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692816-1338017258.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.53 1.89 2.00 3/175 5046
/proc/meminfo: memFree=29131948/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/5046/stat : 5046 (runsolver) D 5043 5046 4481 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 267850631 12095488 50 33554432000 4194304 5436572 140734574074624 140734574070920 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/5046/statm: 2953 50 31 304 0 2645 0

[startup+0.0292279 s]
/proc/loadavg: 1.53 1.89 2.00 3/175 5046
/proc/meminfo: memFree=29131948/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=17904 CPUtime=0.01 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 3207 0 0 0 1 0 0 0 20 0 1 0 267850631 18333696 3161 33554432000 4194304 10169799 140736646122256 140734574070808 8982256 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 4476 3161 409 1459 0 3008 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17904

[startup+0.100303 s]
/proc/loadavg: 1.53 1.89 2.00 3/175 5046
/proc/meminfo: memFree=29131948/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=43328 CPUtime=0.08 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 9358 0 0 0 7 1 0 0 20 0 1 0 267850631 44367872 9312 33554432000 4194304 10169799 140736646122256 140734574070808 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 10832 9312 540 1459 0 9364 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 43328

[startup+0.300259 s]
/proc/loadavg: 1.53 1.89 2.00 3/175 5046
/proc/meminfo: memFree=29131948/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=52184 CPUtime=0.28 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 12054 0 0 0 26 2 0 0 20 0 1 0 267850631 53436416 11715 33554432000 4194304 10169799 140736646122256 140734574070808 5868642 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 13046 11715 594 1459 0 11578 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52184

[startup+0.700218 s]
/proc/loadavg: 1.53 1.89 2.00 3/175 5046
/proc/meminfo: memFree=29131948/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=71016 CPUtime=0.68 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 17040 0 0 0 64 4 0 0 20 0 1 0 267850631 72720384 16246 33554432000 4194304 10169799 140736646122256 140736646117608 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 17754 16246 753 1459 0 16286 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71016

[startup+1.50022 s]
/proc/loadavg: 1.53 1.89 2.00 3/179 5050
/proc/meminfo: memFree=29048664/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=71016 CPUtime=1.48 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 17040 0 0 0 144 4 0 0 20 0 1 0 267850631 72720384 16246 33554432000 4194304 10169799 140736646122256 140736646116760 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 17754 16246 753 1459 0 16286 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 71016

[startup+3.1002 s]
/proc/loadavg: 1.53 1.89 2.00 3/179 5050
/proc/meminfo: memFree=29036860/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=71016 CPUtime=3.08 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 17082 0 0 0 303 5 0 0 20 0 1 0 267850631 72720384 16288 33554432000 4194304 10169799 140736646122256 140736646116760 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 17754 16288 757 1459 0 16286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71016

[startup+6.30022 s]
/proc/loadavg: 1.57 1.89 2.00 3/179 5050
/proc/meminfo: memFree=29035372/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=71704 CPUtime=6.28 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 17634 0 0 0 622 6 0 0 20 0 1 0 267850631 73424896 16605 33554432000 4194304 10169799 140736646122256 140736646114664 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 17926 16605 771 1459 0 16458 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 71704

[startup+12.7002 s]
/proc/loadavg: 1.60 1.89 2.00 3/179 5050
/proc/meminfo: memFree=29034848/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=71704 CPUtime=12.68 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 17688 0 0 0 1260 8 0 0 20 0 1 0 267850631 73424896 16686 33554432000 4194304 10169799 140736646122256 140736646114568 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 17926 16686 771 1459 0 16458 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 71704

[startup+25.5067 s]
/proc/loadavg: 1.69 1.89 2.00 3/178 5050
/proc/meminfo: memFree=29033120/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=72960 CPUtime=25.48 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 26191 0 0 0 2533 15 0 0 20 0 1 0 267850631 74711040 17274 33554432000 4194304 10169799 140736646122256 140736646116392 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 18240 17274 849 1459 0 16772 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72960

[startup+51.1002 s]
/proc/loadavg: 1.79 1.90 2.00 3/179 5089
/proc/meminfo: memFree=29032004/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=73852 CPUtime=51.06 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 26398 0 0 0 5086 20 0 0 20 0 1 0 267850631 75624448 17750 33554432000 4194304 10169799 140736646122256 140736646116904 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 18463 17750 849 1459 0 16995 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 73852

[startup+102.3 s]
/proc/loadavg: 1.97 1.93 2.00 3/179 5127
/proc/meminfo: memFree=29019496/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=75444 CPUtime=102.26 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 26808 0 0 0 10194 32 0 0 20 0 1 0 267850631 77254656 18160 33554432000 4194304 10169799 140736646122256 140736646116856 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 18861 18160 850 1459 0 17393 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 75444

[startup+162.3 s]
/proc/loadavg: 1.99 1.94 2.00 3/180 5130
/proc/meminfo: memFree=29015704/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=78900 CPUtime=162.25 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 27608 0 0 0 16174 51 0 0 20 0 1 0 267850631 80793600 18958 33554432000 4194304 10169799 140736646122256 140736646116760 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 19725 18958 850 1459 0 18257 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 78900

[startup+222.3 s]
/proc/loadavg: 1.99 1.95 2.00 3/179 5130
/proc/meminfo: memFree=29003920/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=90628 CPUtime=222.24 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 30501 0 0 0 22140 84 0 0 20 0 1 0 267850631 92803072 21941 33554432000 4194304 10169799 140736646122256 140736646116952 7908761 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 22657 21941 850 1459 0 21189 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 90628

[startup+282.3 s]
/proc/loadavg: 1.99 1.95 2.00 3/179 5130
/proc/meminfo: memFree=28996852/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=98076 CPUtime=282.22 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 32326 0 0 0 28108 114 0 0 20 0 1 0 267850631 100429824 23752 33554432000 4194304 10169799 140736646122256 140736646116904 5963007 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 24519 23752 850 1459 0 23051 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 98076

[startup+342.306 s]
/proc/loadavg: 1.99 1.96 2.00 3/179 5131
/proc/meminfo: memFree=28992748/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=100956 CPUtime=342.23 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 33044 0 0 0 34082 141 0 0 20 0 1 0 267850631 103378944 24536 33554432000 4194304 10169799 140736646122256 140736646116952 5963270 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 25239 24536 850 1459 0 23771 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 100956

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 2.00 3/178 5131
/proc/meminfo: memFree=28992072/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=102604 CPUtime=402.21 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 33451 0 0 0 40053 168 0 0 20 0 1 0 267850631 105066496 24936 33554432000 4194304 10169799 140736646122256 140736646119992 7983411 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 25651 24936 850 1459 0 24183 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 102604

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 2.00 3/180 5133
/proc/meminfo: memFree=28987652/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=106556 CPUtime=462.19 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 34391 0 0 0 46024 195 0 0 20 0 1 0 267850631 109113344 25876 33554432000 4194304 10169799 140736646122256 140736646116952 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 26639 25876 850 1459 0 25171 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 106556

[startup+522.3 s]
/proc/loadavg: 2.07 1.99 2.00 3/179 5133
/proc/meminfo: memFree=28986912/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=107176 CPUtime=522.19 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 34550 0 0 0 51998 221 0 0 20 0 1 0 267850631 109748224 26078 33554432000 4194304 10169799 140736646122256 140736646117048 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 26794 26078 850 1459 0 25326 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 107176

[startup+582.3 s]
/proc/loadavg: 2.08 2.00 2.00 3/179 5133
/proc/meminfo: memFree=28986168/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=107532 CPUtime=582.18 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 34631 0 0 0 57975 243 0 0 20 0 1 0 267850631 110112768 26159 33554432000 4194304 10169799 140736646122256 140736646116760 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 26883 26159 850 1459 0 25415 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 107532

[startup+642.3 s]
/proc/loadavg: 2.11 2.02 2.01 3/178 5133
/proc/meminfo: memFree=28984376/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109252 CPUtime=642.17 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35050 0 0 0 63948 269 0 0 20 0 1 0 267850631 111874048 26599 33554432000 4194304 10169799 140736646122256 140736646116952 7896776 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27313 26599 850 1459 0 25845 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 109252

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

[startup+665.706 s]
/proc/loadavg: 2.07 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=665.57 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 66278 279 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646116760 4213861 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 665.57
Current children cumulated vsize (KiB) 109392

[startup+672.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=671.96 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 66915 281 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646116760 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 671.96
Current children cumulated vsize (KiB) 109392

[startup+675.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=675.17 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 67234 283 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646119992 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 675.17
Current children cumulated vsize (KiB) 109392

[startup+678.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=678.36 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 67553 283 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646119992 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 678.36
Current children cumulated vsize (KiB) 109392

[startup+680.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=679.97 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 67712 285 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646116904 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 679.97
Current children cumulated vsize (KiB) 109392

[startup+680.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=680.37 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 67752 285 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646116760 7983411 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 680.37
Current children cumulated vsize (KiB) 109392

[startup+680.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984244/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=680.76 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 67791 285 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646116760 7907916 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 680.76
Current children cumulated vsize (KiB) 109392

[startup+681 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 5134
/proc/meminfo: memFree=28984120/32873844 swapFree=7364/7364
[pid=5046] ppid=5043 vsize=109392 CPUtime=680.87 cores=0,2,4,6
/proc/5046/stat : 5046 (scip-2.1.1.4sfi) R 5043 5046 4481 0 -1 4202496 35089 0 0 0 67802 285 0 0 20 0 1 0 267850631 112017408 26638 33554432000 4194304 10169799 140736646122256 140736646116760 7707190 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 27348 26638 850 1459 0 25880 0
Current children cumulated CPU time (s) 680.87
Current children cumulated vsize (KiB) 109392

Child status: 0
Real time (s): 681.072
CPU time (s): 680.943
CPU user time (s): 678.086
CPU system time (s): 2.85756
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 109392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 678.086
system time used= 2.85757
maximum resident set size= 106560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35093
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= 22
involuntary context switches= 699

runsolver used 1.43478 second user time and 4.00939 second system time

The end

Begin job on node133 at 2012-05-26 09:27:38
IDJOB=3692816
IDBENCH=1156
IDSOLVER=2272
FILE ID=node133/3692816-1338017258
RUNJOBID= node133-1338017258-5021
PBS_JOBID= 14624264
Free space on /tmp= 71616 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692816-1338017258/watcher-3692816-1338017258 -o /tmp/evaluation-result-3692816-1338017258/solver-3692816-1338017258 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692816-1338017258.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9
RANDOM SEED=2075386047

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29132320 kB
Buffers:          241732 kB
Cached:          2716592 kB
SwapCached:            0 kB
Active:           487188 kB
Inactive:        2481376 kB
Active(anon):      13284 kB
Inactive(anon):        0 kB
Active(file):     473904 kB
Inactive(file):  2481376 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             27944 kB
Writeback:             0 kB
AnonPages:         17796 kB
Mapped:            13612 kB
Shmem:               212 kB
Slab:             633604 kB
SReclaimable:      75952 kB
SUnreclaim:       557652 kB
KernelStack:        1392 kB
PageTables:         3520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71588 MiB
End job on node133 at 2012-05-26 09:39:00