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-3717551-1338196096.wbo>
0.02/0.07	c original problem has 19896 variables (19896 bin, 0 int, 0 impl, 0 cont) and 19478 constraints
0.02/0.07	c problem read in 0.07
0.19/0.26	c presolving:
0.29/0.33	c (round 1) 43 del vars, 3 del conss, 0 add conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 16312 impls, 0 clqs
0.29/0.34	c (round 2) 45 del vars, 88 del conss, 0 add conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 16312 impls, 0 clqs
0.29/0.37	c (round 3) 45 del vars, 88 del conss, 0 add conss, 13063 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 16312 impls, 0 clqs
0.39/0.44	c (round 4) 45 del vars, 88 del conss, 0 add conss, 13063 chg bounds, 262 chg sides, 524 chg coeffs, 6328 upgd conss, 16312 impls, 0 clqs
0.69/0.92	c    (0.9s) probing: 86/19852 (0.4%) - 0 fixings, 1 aggregations, 2 implications, 0 bound changes
0.69/0.92	c    (0.9s) probing aborted: 50/50 successive totally useless probings
0.69/0.92	c (round 5) 46 del vars, 733 del conss, 215 add conss, 13063 chg bounds, 262 chg sides, 524 chg coeffs, 6328 upgd conss, 16346 impls, 0 clqs
0.69/0.95	c (round 6) 46 del vars, 736 del conss, 216 add conss, 13063 chg bounds, 262 chg sides, 524 chg coeffs, 6328 upgd conss, 16346 impls, 0 clqs
0.99/1.02	c    (1.0s) probing: 91/19852 (0.5%) - 0 fixings, 1 aggregations, 2 implications, 0 bound changes
0.99/1.02	c    (1.0s) probing aborted: 50/50 successive totally useless probings
0.99/1.03	c presolving (7 rounds):
0.99/1.03	c  46 deleted vars, 736 deleted constraints, 216 added constraints, 13063 tightened bounds, 0 added holes, 262 changed sides, 524 changed coefficients
0.99/1.03	c  29409 implications, 0 cliques
0.99/1.03	c presolved problem has 32914 variables (19851 bin, 0 int, 13063 impl, 0 cont) and 32022 constraints
0.99/1.03	c     179 constraints of type <knapsack>
0.99/1.03	c    3706 constraints of type <setppc>
0.99/1.03	c     214 constraints of type <and>
0.99/1.03	c   13063 constraints of type <linear>
0.99/1.03	c   13063 constraints of type <indicator>
0.99/1.03	c    1797 constraints of type <logicor>
0.99/1.03	c transformed objective value is always integral (scale: 1)
0.99/1.03	c Presolving Time: 0.92
0.99/1.03	c - non default parameters ----------------------------------------------------------------------
0.99/1.03	c # SCIP version 2.1.1.4
0.99/1.03	c 
0.99/1.03	c # maximal time in seconds to run
0.99/1.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.03	c limits/time = 1797
0.99/1.03	c 
0.99/1.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.03	c limits/memory = 13950
0.99/1.03	c 
0.99/1.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.03	c # [type: int, range: [1,2], default: 1]
0.99/1.03	c timing/clocktype = 2
0.99/1.03	c 
0.99/1.03	c # belongs reading time to solving time?
0.99/1.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.03	c timing/reading = TRUE
0.99/1.03	c 
0.99/1.03	c # force restart if we have a max FS instance and gap is 1?
0.99/1.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.03	c constraints/indicator/forcerestart = TRUE
0.99/1.03	c 
0.99/1.03	c # priority of branching rule <inference>
0.99/1.03	c # [type: int, range: [-536870912,536870911], default: 1000]
0.99/1.03	c branching/inference/priority = 1000000
0.99/1.03	c 
0.99/1.03	c # frequency offset for calling primal heuristic <coefdiving>
0.99/1.03	c # [type: int, range: [0,2147483647], default: 1]
0.99/1.03	c heuristics/coefdiving/freqofs = 0
0.99/1.03	c 
0.99/1.03	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.99/1.03	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.03	c heuristics/shiftandpropagate/freq = -1
0.99/1.03	c 
0.99/1.03	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.03	c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.03	c heuristics/undercover/freq = -1
0.99/1.03	c 
0.99/1.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.03	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.03	c separating/rapidlearning/freq = 0
0.99/1.03	c 
0.99/1.03	c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.99/1.03	c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.03	c heuristics/indrounding/freq = 1
0.99/1.03	c 
0.99/1.03	c -----------------------------------------------------------------------------------------------
0.99/1.03	c start solving
0.99/1.08	c 
4.09/4.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.09/4.19	c   4.2s|     1 |     0 |  7262 |     - | 115M|   0 |2508 |  32k|  32k|  32k|  32k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.38/20.44	c  20.4s|     1 |     0 | 30194 |     - | 120M|   0 |2509 |  32k|  32k|  32k|  32k| 129 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.99/24.09	c  24.1s|     1 |     0 | 32219 |     - | 120M|   0 |2720 |  32k|  32k|  32k|  32k| 300 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
28.79/28.86	c  28.9s|     1 |     0 | 33827 |     - | 120M|   0 |2641 |  32k|  32k|  32k|  32k| 471 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
31.89/31.99	c  32.0s|     1 |     0 | 36631 |     - | 121M|   0 |2619 |  32k|  32k|  32k|  32k| 638 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
36.58/36.61	c  36.6s|     1 |     0 | 41251 |     - | 123M|   0 |2887 |  32k|  32k|  32k|  33k| 794 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
43.58/43.67	c  43.7s|     1 |     0 | 48813 |     - | 123M|   0 |2517 |  32k|  32k|  32k|  33k| 945 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
102.18/102.24	o 6221
102.18/102.24	c c 102s|     1 |     0 |102654 |     - | 139M|   0 |   - |  32k|  32k|  32k|  33k| 945 |  20 |   0 | 0.000000e+00 | 6.221000e+03 |    Inf 
103.38/103.40	c   103s|     1 |     0 |102685 |     - | 127M|   0 |2517 |  32k|  32k|  32k|  33k| 945 |  23 |   0 | 0.000000e+00 | 6.221000e+03 |    Inf 
105.68/105.76	o 1680
105.68/105.76	c 6 106s|     1 |     0 |102685 |     - | 128M|   0 |2517 |  32k|  32k|  32k|  33k| 945 |  23 |   0 | 0.000000e+00 | 1.680000e+03 |    Inf 
112.57/112.66	c   113s|     1 |     0 |111093 |     - | 128M|   0 |3024 |  32k|  32k|  32k|  33k|1110 |  23 |   0 | 0.000000e+00 | 1.680000e+03 |    Inf 
113.18/113.29	o 1654
113.18/113.29	c 6 113s|     1 |     0 |111093 |     - | 129M|   0 |3024 |  32k|  32k|  32k|  33k|1110 |  23 |   0 | 0.000000e+00 | 1.654000e+03 |    Inf 
113.18/113.29	c   113s|     1 |     2 |111093 |     - | 128M|   0 |3024 |  32k|  32k|  32k|  33k|1110 |  23 |   0 | 0.000000e+00 | 1.654000e+03 |    Inf 
303.42/303.59	o 961
303.42/303.59	c g 304s|    61 |    62 |323383 |4436.0 | 142M|  39 |   - |  32k|  32k|  32k|  32k|1207 |  96 |   0 | 0.000000e+00 | 9.610000e+02 |    Inf 
305.02/305.19	o 316
305.02/305.19	c 6 305s|    61 |    62 |325042 |4463.7 | 139M|  39 | 345 |  32k|  32k|  32k|  32k|1207 |  96 |   0 | 0.000000e+00 | 3.160000e+02 |    Inf 
305.22/305.39	o 295
305.22/305.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
305.22/305.39	c 6 305s|    62 |    61 |325042 |4390.5 | 140M|  39 |   - |  32k|  32k|   0 |   0 |1207 |  96 |   0 | 0.000000e+00 | 2.950000e+02 |    Inf 
373.51/373.61	c   374s|   100 |   101 |388125 |3342.5 | 142M|  39 | 413 |  32k|  32k|  32k|  32k|1208 | 132 |   0 | 0.000000e+00 | 2.950000e+02 |    Inf 
460.79/460.97	c   461s|   200 |   201 |498107 |2215.5 | 144M|  82 | 263 |  32k|  32k|  32k|  32k|1389 | 203 |   0 | 0.000000e+00 | 2.950000e+02 |    Inf 
520.89/521.03	o 272
520.89/521.03	c C 521s|   262 |   261 |570943 |1968.3 | 146M|  88 | 235 |  32k|  32k|  32k|  32k|1500 | 290 |   0 | 0.000000e+00 | 2.720000e+02 |    Inf 
558.08/558.24	c   558s|   300 |   292 |609139 |1845.9 | 150M|  88 |   - |  32k|  32k|   0 |   0 |1600 | 378 |   0 | 0.000000e+00 | 2.720000e+02 |    Inf 
587.38/587.52	o 271
587.38/587.53	c s 588s|   380 |   353 |655081 |1577.5 | 156M| 120 |   - |  32k|  32k|  32k|  32k|1700 | 409 |   0 | 0.000000e+00 | 2.710000e+02 |    Inf 
587.48/587.68	o 184
587.48/587.68	c 6 588s|   380 |   307 |655081 |1577.5 | 153M| 120 |   - |  32k|  32k|  32k|  32k|1700 | 409 |   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
638.77/638.90	c   639s|   400 |   325 |744114 |1721.5 | 152M| 120 | 821 |  32k|  32k|  32k|  32k|1742 | 419 |   0 | 0.000000e+00 | 1.840000e+02 |    Inf 
641.57/641.73	o 182
641.57/641.73	c 5 642s|   452 |   362 |744712 |1524.4 | 155M| 132 |   3 |  32k|  32k|  32k|  32k|1742 | 421 |   0 | 0.000000e+00 | 1.820000e+02 |    Inf 
641.67/641.87	o 179
641.67/641.87	c 6 642s|   453 |   330 |744712 |1521.0 | 155M| 133 |   - |  32k|  32k|   0 |   0 |1742 | 421 |   0 | 0.000000e+00 | 1.790000e+02 |    Inf 
708.86/709.01	c   709s|   500 |   348 |815167 |1518.9 | 165M| 133 |   - |  32k|  32k|   0 |   0 |1829 | 444 |   0 | 0.000000e+00 | 1.790000e+02 |    Inf 
754.75/754.91	o 178
754.75/754.91	c s 755s|   567 |   395 |874655 |1444.2 | 168M| 133 |   - |  32k|  32k|  32k|  32k|1878 | 481 |   0 | 0.000000e+00 | 1.780000e+02 |    Inf 
754.95/755.10	o 148
754.95/755.10	c 6 755s|   567 |   326 |874655 |1444.2 | 156M| 133 |   - |  32k|  32k|  32k|  32k|1878 | 481 |   0 | 0.000000e+00 | 1.480000e+02 |    Inf 
761.35/761.52	c   762s|   600 |   355 |884290 |1380.7 | 156M| 133 |  16 |  32k|  32k|  32k|  32k|1897 | 484 |   0 | 0.000000e+00 | 1.480000e+02 |    Inf 
761.75/761.97	o 147
761.75/761.97	c s 762s|   608 |   354 |884342 |1362.6 | 157M| 133 |   - |  32k|  32k|  32k|  32k|1897 | 484 |   0 | 0.000000e+00 | 1.470000e+02 |    Inf 
761.95/762.11	o 143
761.95/762.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
761.95/762.11	c 6 762s|   608 |   341 |884342 |1362.6 | 158M| 133 |   - |  32k|  32k|  32k|  32k|1897 | 484 |   0 | 0.000000e+00 | 1.430000e+02 |    Inf 
762.85/763.09	o 141
762.85/763.09	c s 763s|   623 |   334 |884435 |1329.9 | 159M| 133 |   - |  32k|  32k|  32k|  32k|1897 | 484 |   0 | 0.000000e+00 | 1.410000e+02 |    Inf 
763.05/763.24	o 131
763.05/763.24	c 6 763s|   623 |   325 |884435 |1329.9 | 160M| 133 |   - |  32k|  32k|  32k|  32k|1897 | 484 |   0 | 0.000000e+00 | 1.310000e+02 |    Inf 
768.74/768.93	o 130
768.74/768.93	c s 769s|   645 |   335 |893491 |1298.6 | 162M| 133 |   - |  32k|  32k|  32k|  32k|1923 | 494 |   0 | 0.000000e+00 | 1.300000e+02 |    Inf 
768.85/769.06	o 121
768.85/769.06	c 6 769s|   645 |   315 |893491 |1298.6 | 163M| 133 |   - |  32k|  32k|  32k|  32k|1923 | 494 |   0 | 0.000000e+00 | 1.210000e+02 |    Inf 
775.04/775.24	o 120
775.04/775.24	c 5 775s|   683 |   347 |900568 |1236.6 | 164M| 133 |   3 |  32k|  32k|  32k|  32k|1933 | 512 |   0 | 0.000000e+00 | 1.200000e+02 |    Inf 
775.14/775.37	o 115
775.14/775.37	c 6 775s|   684 |   319 |900568 |1234.8 | 164M| 133 |   - |  32k|  32k|   0 |   0 |1933 | 512 |   0 | 0.000000e+00 | 1.150000e+02 |    Inf 
784.25/784.50	c   785s|   700 |   324 |915424 |1227.8 | 165M| 133 | 338 |  32k|  32k|  32k|  32k|1965 | 521 |   0 | 0.000000e+00 | 1.150000e+02 |    Inf 
825.05/825.25	c   825s|   800 |   379 |958540 |1128.1 | 168M| 133 |1631 |  32k|  32k|  32k|  32k|2034 | 628 |   0 | 0.000000e+00 | 1.150000e+02 |    Inf 
840.63/840.86	o 113
840.63/840.86	c z 841s|   866 |   400 |977648 |1064.1 | 174M| 133 |   - |  32k|  32k|  32k|  32k|2053 | 718 |   0 | 0.000000e+00 | 1.130000e+02 |    Inf 
841.13/841.31	o 108
841.13/841.31	c z 841s|   872 |   364 |977678 |1056.8 | 168M| 133 |   - |  32k|  32k|  32k|  32k|2053 | 718 |   0 | 0.000000e+00 | 1.080000e+02 |    Inf 
841.84/842.07	o 106
841.84/842.07	c s 842s|   881 |   365 |977792 |1046.1 | 169M| 133 |   - |  32k|  32k|  32k|  32k|2053 | 726 |   0 | 0.000000e+00 | 1.060000e+02 |    Inf 
842.04/842.24	o 96
842.04/842.24	c 6 842s|   881 |   358 |977792 |1046.1 | 170M| 133 |   - |  32k|  32k|  32k|  32k|2053 | 726 |   0 | 0.000000e+00 | 9.600000e+01 |    Inf 
843.75/843.99	o 95
843.75/843.99	c s 844s|   893 |   358 |979268 |1033.7 | 171M| 133 |   - |  32k|  31k|  32k|  32k|2053 | 726 |   0 | 0.000000e+00 | 9.500000e+01 |    Inf 
846.34/846.59	o 94
846.34/846.59	c c 847s|   895 |   356 |981084 |1033.4 | 171M| 133 |   - |  32k|  31k|  32k|  32k|2053 | 768 |   0 | 0.000000e+00 | 9.400000e+01 |    Inf 
847.14/847.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
847.14/847.31	c   847s|   900 |   359 |981242 |1027.8 | 171M| 133 |  28 |  32k|  31k|  32k|  32k|2053 | 769 |   0 | 0.000000e+00 | 9.400000e+01 |    Inf 
847.34/847.57	o 93
847.34/847.57	c s 848s|   905 |   355 |981269 |1022.2 | 172M| 133 |   - |  32k|  31k|  32k|  32k|2053 | 769 |   0 | 0.000000e+00 | 9.300000e+01 |    Inf 
849.63/849.82	o 89
849.63/849.82	c c 850s|   916 |   353 |982139 |1010.8 | 170M| 133 |   - |  32k|  31k|  32k|  32k|2054 | 782 |   0 | 0.000000e+00 | 8.900000e+01 |    Inf 
849.83/850.06	o 78
849.83/850.06	c 6 850s|   917 |   313 |982139 |1009.7 | 170M| 133 |   - |  32k|  31k|   0 |   0 |2054 | 782 |   0 | 0.000000e+00 | 7.800000e+01 |    Inf 
866.93/867.12	o 76
866.93/867.12	c c 867s|   938 |   329 |998462 |1004.5 | 171M| 133 |   - |  32k|  29k|  32k|  32k|2073 | 832 |   0 | 0.000000e+00 | 7.600000e+01 |    Inf 
867.13/867.31	o 75
867.13/867.31	c 6 867s|   939 |   327 |998462 |1003.5 | 172M| 133 |   - |  32k|  29k|   0 |   0 |2073 | 832 |   0 | 0.000000e+00 | 7.500000e+01 |    Inf 
868.03/868.29	o 74
868.03/868.29	c s 868s|   948 |   304 |998526 | 994.0 | 171M| 133 |   - |  32k|  29k|  32k|  32k|2073 | 832 |   0 | 0.000000e+00 | 7.400000e+01 |    Inf 
872.03/872.21	o 70
872.03/872.21	c c 872s|   956 |   291 |  1000k| 988.2 | 171M| 133 |   - |  32k|  28k|  32k|  32k|2073 | 854 |   0 | 0.000000e+00 | 7.000000e+01 |    Inf 
872.24/872.47	o 55
872.24/872.47	c 6 872s|   957 |   283 |  1000k| 987.2 | 171M| 133 |   - |  32k|  28k|   0 |   0 |2073 | 854 |   0 | 0.000000e+00 | 5.500000e+01 |    Inf 
895.33/895.52	o 54
895.33/895.52	c c 896s|   991 |   308 |  1024k| 977.1 | 172M| 133 |   - |  32k|  26k|  32k|  32k|2097 | 928 |   0 | 0.000000e+00 | 5.400000e+01 |    Inf 
895.53/895.71	o 52
895.53/895.71	c 6 896s|   992 |   301 |  1024k| 976.1 | 173M| 133 |   - |  32k|  26k|   0 |   0 |2097 | 928 |   0 | 0.000000e+00 | 5.200000e+01 |    Inf 
896.73/896.90	o 51
896.73/896.90	c c 897s|   998 |   298 |  1024k| 970.5 | 173M| 133 |   - |  32k|  26k|  32k|  32k|2097 | 928 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
898.52/898.79	c   899s|  1000 |   298 |  1028k| 971.8 | 172M| 133 |1238 |  32k|  25k|  32k|  32k|2103 | 933 |   0 | 0.000000e+00 | 5.100000e+01 |    Inf 
902.93/903.11	o 50
902.93/903.11	c c 903s|  1027 |   319 |  1030k| 948.6 | 174M| 133 |   - |  32k|  25k|  32k|  32k|2107 | 957 |   0 | 0.000000e+00 | 5.000000e+01 |    Inf 
903.03/903.24	o 45
903.03/903.24	c 6 903s|  1028 |   293 |  1030k| 947.6 | 175M| 133 |   - |  32k|  25k|   0 |   0 |2107 | 957 |   0 | 0.000000e+00 | 4.500000e+01 |    Inf 
918.82/919.02	o 44
918.82/919.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
918.82/919.02	c c 919s|  1079 |   330 |  1044k| 915.4 | 176M| 133 |   - |  32k|  25k|  32k|  32k|2116 |1048 |   0 | 0.000000e+00 | 4.400000e+01 |    Inf 
918.92/919.17	o 39
918.92/919.17	c 6 919s|  1080 |   297 |  1044k| 914.5 | 175M| 133 |   - |  32k|  25k|   0 |   0 |2116 |1048 |   0 | 0.000000e+00 | 3.900000e+01 |    Inf 
928.43/928.64	o 38
928.43/928.64	c c 929s|  1093 |   263 |  1048k| 908.1 | 176M| 133 |   - |  32k|  24k|  32k|  32k|2119 |1120 |   0 | 0.000000e+00 | 3.800000e+01 |    Inf 
930.72/930.94	c   931s|  1100 |   270 |  1052k| 905.8 | 174M| 133 | 862 |  32k|  24k|  32k|  32k|2132 |1120 |   0 | 0.000000e+00 | 3.800000e+01 |    Inf 
934.02/934.28	o 37
934.02/934.28	c c 934s|  1102 |   272 |  1053k| 905.2 | 177M| 133 |   - |  32k|  24k|  32k|  32k|2132 |1174 |   0 | 0.000000e+00 | 3.700000e+01 |    Inf 
934.22/934.45	o 27
934.22/934.45	c 6 934s|  1103 |   271 |  1053k| 904.4 | 176M| 133 |   - |  32k|  24k|   0 |   0 |2132 |1174 |   0 | 0.000000e+00 | 2.700000e+01 |    Inf 
950.32/950.56	o 23
950.32/950.56	c g 951s|  1139 |   303 |  1066k| 886.8 | 179M| 133 |   - |  32k|  23k|  32k|  32k|2147 |1274 |   0 | 0.000000e+00 | 2.300000e+01 |    Inf 
950.52/950.73	o 13
950.52/950.73	c 6 951s|  1140 |   299 |  1066k| 886.0 | 178M| 133 |   - |  32k|  23k|   0 |   0 |2147 |1274 |   0 | 0.000000e+00 | 1.300000e+01 |    Inf 
975.32/975.58	o 12
975.32/975.58	c c 976s|  1181 |   330 |  1084k| 870.2 | 180M| 133 |   - |  32k|  21k|  32k|  32k|2157 |1470 |   0 | 0.000000e+00 | 1.200000e+01 |    Inf 
989.12/989.34	c   989s|  1200 |   349 |  1098k| 868.3 | 179M| 133 |1066 |  32k|  21k|  32k|  32k|2170 |1512 |   0 | 0.000000e+00 | 1.200000e+01 |    Inf 
1024.91/1025.16	o 11
1024.91/1025.16	c c1025s|  1234 |   364 |  1134k| 874.1 | 182M| 133 |   - |  32k|  21k|  32k|  32k|2224 |1574 |   0 | 0.000000e+00 | 1.100000e+01 |    Inf 
1025.01/1025.27	o 2
1025.01/1025.27	c 61025s|  1235 |   248 |  1134k| 873.4 | 177M| 133 |   - |  32k|  21k|   0 |   0 |2224 |1574 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1025.11/1025.31	c Forcing restart, since 11757 binary variables among 13063 have been fixed.
1025.11/1025.33	c (run 1, node 1236) performing user restart
1025.11/1025.33	c 
1025.11/1025.38	c (restart) converted 13309 cuts from the global cut pool into linear constraints
1025.11/1025.38	c 
1025.30/1025.59	c presolving:
1026.22/1026.46	c (round 1) 26202 del vars, 14704 del conss, 0 add conss, 1362 chg bounds, 3 chg sides, 59 chg coeffs, 0 upgd conss, 243255 impls, 5 clqs
1026.22/1026.50	c (round 2) 26372 del vars, 15545 del conss, 0 add conss, 1431 chg bounds, 4 chg sides, 79 chg coeffs, 0 upgd conss, 274953 impls, 6 clqs
1026.31/1026.51	c (round 3) 26415 del vars, 15818 del conss, 0 add conss, 1434 chg bounds, 4 chg sides, 81 chg coeffs, 0 upgd conss, 276223 impls, 6 clqs
1026.31/1026.53	c (round 4) 26444 del vars, 15926 del conss, 17 add conss, 1438 chg bounds, 4 chg sides, 81 chg coeffs, 0 upgd conss, 278158 impls, 6 clqs
1026.31/1026.55	c (round 5) 26451 del vars, 15976 del conss, 19 add conss, 1439 chg bounds, 4 chg sides, 81 chg coeffs, 73 upgd conss, 278203 impls, 22 clqs
1026.31/1026.57	c (round 6) 26451 del vars, 15982 del conss, 19 add conss, 1439 chg bounds, 4 chg sides, 81 chg coeffs, 73 upgd conss, 278203 impls, 23 clqs
1026.41/1026.67	c (round 7) 26451 del vars, 16006 del conss, 19 add conss, 1439 chg bounds, 4 chg sides, 81 chg coeffs, 12337 upgd conss, 278203 impls, 23 clqs
1026.51/1026.72	c (round 8) 26451 del vars, 16019 del conss, 19 add conss, 1439 chg bounds, 8 chg sides, 99 chg coeffs, 12357 upgd conss, 278203 impls, 23 clqs
1026.51/1026.75	c (round 9) 26451 del vars, 16023 del conss, 19 add conss, 1439 chg bounds, 8 chg sides, 99 chg coeffs, 12357 upgd conss, 278203 impls, 23 clqs
1026.61/1026.85	c (round 10) 26451 del vars, 32382 del conss, 5452 add conss, 1439 chg bounds, 8 chg sides, 99 chg coeffs, 12357 upgd conss, 278203 impls, 23 clqs
1026.70/1026.90	c (round 11) 26551 del vars, 32790 del conss, 5823 add conss, 1439 chg bounds, 8 chg sides, 107 chg coeffs, 12357 upgd conss, 300645 impls, 82 clqs
1026.70/1026.92	c (round 12) 26567 del vars, 32797 del conss, 5823 add conss, 1439 chg bounds, 8 chg sides, 113 chg coeffs, 12367 upgd conss, 300781 impls, 447 clqs
1026.70/1026.95	c (round 13) 26600 del vars, 32900 del conss, 5909 add conss, 1439 chg bounds, 8 chg sides, 118 chg coeffs, 12367 upgd conss, 307320 impls, 444 clqs
1026.70/1026.97	c (round 14) 26617 del vars, 32915 del conss, 5909 add conss, 1440 chg bounds, 8 chg sides, 125 chg coeffs, 12370 upgd conss, 314315 impls, 445 clqs
1026.70/1026.99	c (round 15) 26622 del vars, 32918 del conss, 5909 add conss, 1440 chg bounds, 8 chg sides, 126 chg coeffs, 12375 upgd conss, 314331 impls, 445 clqs
1026.81/1027.01	c (round 16) 26624 del vars, 32951 del conss, 5921 add conss, 1440 chg bounds, 9 chg sides, 126 chg coeffs, 12375 upgd conss, 314421 impls, 445 clqs
1026.81/1027.09	c (round 17) 26648 del vars, 32993 del conss, 5923 add conss, 1440 chg bounds, 9 chg sides, 126 chg coeffs, 12375 upgd conss, 318327 impls, 446 clqs
1026.91/1027.11	c (round 18) 26652 del vars, 32996 del conss, 5923 add conss, 1440 chg bounds, 9 chg sides, 129 chg coeffs, 12379 upgd conss, 318357 impls, 446 clqs
1026.91/1027.16	c (round 19) 26652 del vars, 33015 del conss, 5942 add conss, 1440 chg bounds, 9 chg sides, 129 chg coeffs, 12379 upgd conss, 318357 impls, 446 clqs
1027.01/1027.23	c presolving (20 rounds):
1027.01/1027.23	c  26652 deleted vars, 33015 deleted constraints, 5942 added constraints, 1440 tightened bounds, 0 added holes, 9 changed sides, 129 changed coefficients
1027.01/1027.23	c  318357 implications, 464 cliques
1027.01/1027.23	c presolved problem has 6262 variables (6125 bin, 0 int, 137 impl, 0 cont) and 7612 constraints
1027.01/1027.23	c     137 constraints of type <varbound>
1027.01/1027.23	c     654 constraints of type <knapsack>
1027.01/1027.23	c     840 constraints of type <setppc>
1027.01/1027.23	c    4981 constraints of type <and>
1027.01/1027.23	c     146 constraints of type <linear>
1027.01/1027.23	c     137 constraints of type <indicator>
1027.01/1027.23	c     465 constraints of type <logicor>
1027.01/1027.23	c     252 constraints of type <bounddisjunction>
1027.01/1027.23	c transformed objective value is always integral (scale: 1)
1027.01/1027.23	c Presolving Time: 2.70
1027.01/1027.24	c 
1027.20/1027.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1027.20/1027.42	c  1027s|     1 |     0 |  1136k|     - | 157M|   0 | 786 |6262 |7612 |6262 |  11k|   0 |1582 |   0 | 0.000000e+00 | 2.000000e+00 |    Inf 
1033.01/1033.26	o 1
1033.01/1033.26	c Forcing restart, since the absolute gap is 1.000000.
1033.01/1033.26	c y1033s|     1 |     0 |  1136k|     - | 159M|   0 | 786 |6262 |7612 |6262 |  11k|   0 |1582 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1033.61/1033.86	c  1034s|     1 |     0 |  1138k|     - | 158M|   0 |1732 |6262 |7731 |6262 |  12k| 768 |1582 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1033.61/1033.89	c  1034s|     1 |     2 |  1138k|     - | 158M|   0 |1732 |6262 |7731 |6262 |  12k| 768 |1582 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1033.61/1033.89	c (run 2, node 1) performing user restart
1033.61/1033.89	c 
1033.71/1033.90	c (restart) converted 246 cuts from the global cut pool into linear constraints
1033.71/1033.90	c 
1033.71/1033.92	c presolving:
1033.71/1033.98	c (round 1) 655 del vars, 189 del conss, 0 add conss, 2 chg bounds, 2 chg sides, 180 chg coeffs, 10 upgd conss, 386880 impls, 427 clqs
1033.81/1034.00	c (round 2) 690 del vars, 245 del conss, 0 add conss, 2 chg bounds, 4 chg sides, 191 chg coeffs, 10 upgd conss, 386880 impls, 427 clqs
1033.81/1034.03	c (round 3) 744 del vars, 306 del conss, 26 add conss, 2 chg bounds, 4 chg sides, 261 chg coeffs, 26 upgd conss, 394439 impls, 426 clqs
1033.81/1034.07	c (round 4) 773 del vars, 532 del conss, 26 add conss, 2 chg bounds, 9 chg sides, 275 chg coeffs, 824 upgd conss, 395375 impls, 445 clqs
1033.92/1034.11	c (round 5) 776 del vars, 561 del conss, 42 add conss, 2 chg bounds, 9 chg sides, 279 chg coeffs, 830 upgd conss, 395375 impls, 445 clqs
1033.92/1034.19	c (round 6) 788 del vars, 592 del conss, 42 add conss, 2 chg bounds, 9 chg sides, 279 chg coeffs, 830 upgd conss, 397119 impls, 446 clqs
1034.02/1034.27	c (round 7) 796 del vars, 601 del conss, 43 add conss, 2 chg bounds, 9 chg sides, 279 chg coeffs, 830 upgd conss, 398201 impls, 446 clqs
1034.11/1034.33	c (round 8) 796 del vars, 609 del conss, 51 add conss, 2 chg bounds, 9 chg sides, 280 chg coeffs, 830 upgd conss, 398201 impls, 446 clqs
1034.11/1034.39	c (round 9) 796 del vars, 615 del conss, 51 add conss, 2 chg bounds, 9 chg sides, 280 chg coeffs, 830 upgd conss, 398201 impls, 454 clqs
1034.20/1034.46	c (round 10) 796 del vars, 924 del conss, 154 add conss, 2 chg bounds, 9 chg sides, 280 chg coeffs, 830 upgd conss, 398201 impls, 454 clqs
1034.20/1034.49	c (round 11) 798 del vars, 929 del conss, 159 add conss, 2 chg bounds, 9 chg sides, 280 chg coeffs, 830 upgd conss, 398209 impls, 454 clqs
1034.31/1034.57	c (round 12) 798 del vars, 931 del conss, 161 add conss, 2 chg bounds, 9 chg sides, 280 chg coeffs, 830 upgd conss, 398209 impls, 459 clqs
1034.40/1034.64	c (round 13) 798 del vars, 932 del conss, 161 add conss, 2 chg bounds, 9 chg sides, 280 chg coeffs, 830 upgd conss, 398209 impls, 460 clqs
1034.51/1034.71	c presolving (14 rounds):
1034.51/1034.71	c  798 deleted vars, 932 deleted constraints, 161 added constraints, 2 tightened bounds, 0 added holes, 9 changed sides, 280 changed coefficients
1034.51/1034.71	c  398209 implications, 460 cliques
1034.51/1034.71	c presolved problem has 5464 variables (5464 bin, 0 int, 0 impl, 0 cont) and 7149 constraints
1034.51/1034.71	c     694 constraints of type <knapsack>
1034.51/1034.71	c     817 constraints of type <setppc>
1034.51/1034.71	c    4602 constraints of type <and>
1034.51/1034.71	c       1 constraints of type <linear>
1034.51/1034.71	c     783 constraints of type <logicor>
1034.51/1034.71	c     252 constraints of type <bounddisjunction>
1034.51/1034.71	c transformed objective value is always integral (scale: 1)
1034.51/1034.71	c Presolving Time: 3.48
1034.51/1034.71	c 
1034.70/1034.91	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1034.70/1034.91	c  1035s|     1 |     0 |  1140k|     - | 157M|   0 |1029 |5464 |7149 |5464 |  10k|   0 |1582 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1035.71/1035.91	c  1036s|     1 |     0 |  1143k|     - | 158M|   0 |1627 |5464 |7149 |5464 |  11k| 968 |1582 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1038.41/1038.63	c  1039s|     1 |     2 |  1146k|     - | 158M|   0 |1627 |5464 |7151 |5464 |  11k| 968 |1584 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1078.70/1078.91	c  1079s|   100 |    73 |  1223k| 866.9 | 160M|  36 |1870 |5464 |7322 |5464 |  13k|6823 |1799 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1109.59/1109.88	c  1110s|   200 |    62 |  1293k| 854.9 | 161M|  36 |1221 |5464 |7459 |5464 |  13k|  10k|2042 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1135.89/1136.17	c  1136s|   300 |    56 |  1344k| 832.8 | 160M|  36 | 524 |5464 |7643 |5464 |  13k|  13k|2288 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1157.28/1157.54	c  1158s|   400 |    34 |  1384k| 806.1 | 161M|  40 |   - |5464 |8053 |   0 |   0 |  14k|2788 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1174.49/1174.79	c  1175s|   500 |    35 |  1421k| 781.0 | 161M|  40 | 827 |5464 |8187 |5464 |  13k|  16k|2998 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1192.18/1192.46	c  1192s|   600 |    14 |  1467k| 763.5 | 160M|  40 |2180 |5464 |8215 |5464 |  13k|  19k|3163 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1217.68/1217.91	c  1218s|   700 |    21 |  1522k| 752.4 | 161M|  40 |1845 |5464 |8403 |5464 |  13k|  22k|3404 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1232.38/1232.64	c  1233s|   800 |    23 |  1556k| 732.1 | 161M|  40 |1154 |5464 |8543 |5464 |  13k|  24k|3607 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1256.97/1257.29	c  1257s|   900 |    27 |  1608k| 722.3 | 161M|  40 |1099 |5464 |8714 |5464 |  13k|  27k|3882 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1273.67/1273.98	c  1274s|  1000 |    23 |  1646k| 707.1 | 161M|  40 |1697 |5464 |8848 |5464 |  13k|  29k|4129 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1302.57/1302.82	c  1303s|  1100 |    35 |  1708k| 703.2 | 162M|  40 |1026 |5464 |8892 |5464 |  13k|  33k|4353 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1317.26/1317.57	c  1318s|  1200 |    35 |  1742k| 688.4 | 162M|  40 |1280 |5464 |8917 |5464 |  13k|  35k|4501 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1339.36/1339.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1339.36/1339.62	c  1340s|  1300 |    29 |  1792k| 681.0 | 162M|  40 |1324 |5464 |9014 |5464 |  13k|  38k|4760 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1352.96/1353.21	c  1353s|  1400 |    24 |  1825k| 667.5 | 162M|  40 |   - |5464 |9089 |   0 |   0 |  40k|4927 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1369.55/1369.89	c  1370s|  1500 |    23 |  1871k| 660.1 | 161M|  40 |1092 |5464 |9070 |5464 |  13k|  44k|5067 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1388.85/1389.19	c  1389s|  1600 |    18 |  1917k| 653.0 | 161M|  40 | 914 |5464 |9069 |5464 |  11k|  47k|5230 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1408.95/1409.22	c  1409s|  1700 |    17 |  1969k| 648.4 | 161M|  40 |1065 |5464 |9050 |5464 |  13k|  51k|5384 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1420.65/1420.97	c  1421s|  1800 |    16 |  1995k| 635.7 | 161M|  40 |1337 |5464 |9214 |5464 |  13k|  53k|5600 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1435.84/1436.13	c  1436s|  1900 |     9 |  2035k| 628.1 | 161M|  40 |1445 |5464 |9265 |5464 |  13k|  55k|5781 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1457.54/1457.83	c  1458s|  2000 |    12 |  2089k| 625.5 | 160M|  40 |   - |5464 |9253 |   0 |   0 |  59k|5928 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1481.23/1481.58	c  1482s|  2100 |    17 |  2152k| 625.4 | 161M|  40 | 995 |5464 |9299 |5464 |  13k|  64k|6083 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1508.94/1509.29	c  1509s|  2200 |    17 |  2210k| 624.1 | 161M|  40 |2043 |5464 |9487 |5464 |  13k|  67k|6359 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1528.43/1528.73	c  1529s|  2300 |    23 |  2254k| 618.9 | 162M|  40 |   - |5464 |9610 |   0 |   0 |  70k|6587 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1547.63/1547.92	c  1548s|  2400 |    24 |  2305k| 615.9 | 160M|  40 |1402 |5464 |8548 |5464 |  13k|  74k|6781 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1563.03/1563.31	c  1563s|  2500 |    27 |  2344k| 610.0 | 160M|  40 |1580 |5464 |8605 |5464 |  13k|  77k|6933 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1583.92/1584.21	c  1584s|  2600 |    25 |  2396k| 607.7 | 160M|  40 |   - |5464 |8706 |   0 |   0 |  81k|7127 |   0 | 0.000000e+00 | 1.000000e+00 |    Inf 
1599.82/1600.10	c 
1599.82/1600.10	c SCIP Status        : problem is solved [optimal solution found]
1599.82/1600.10	c Solving Time (sec) : 1600.10
1599.82/1600.10	c Solving Nodes      : 2683 (total of 3920 nodes in 3 runs)
1599.82/1600.10	c Primal Bound       : +1.00000000000000e+00 (63 solutions)
1599.82/1600.10	c Dual Bound         : +1.00000000000000e+00
1599.82/1600.10	c Gap                : 0.00 %
1599.82/1600.11	s OPTIMUM FOUND
1599.82/1600.11	v -x6832 x6831 x6830 -x6829 x6828 -x6827 -x6826 -x6825 x6824 x6823 -x6822 x6821 x6820 x6819 x6818 x6817 -x6816 x6815 x6814 x6813 
1599.82/1600.11	v x6812 x6811 x6810 x6809 x6808 -x6807 -x6806 -x6805 x6804 x6803 x6802 x6801 x6800 x6799 x6798 -x6797 x6796 x6795 x6794 x6793 x6792 
1599.82/1600.11	v x6791 x6790 x6789 x6788 x6787 x6786 x6785 x6784 x6783 x6782 x6781 x6780 x6779 x6778 x6777 x6776 x6775 x6774 x6773 x6772 
1599.82/1600.11	v x6771 x6770 x6769 x6768 x6767 x6766 x6765 x6764 -x6763 x6762 x6761 x6760 x6759 x6758 x6757 x6756 x6755 -x6754 -x6753 x6752 x6751 
1599.82/1600.11	v x6750 x6749 x6748 x6747 x6746 x6745 -x6744 x6743 x6742 x6741 -x6740 x6739 x6738 x6737 x6736 x6735 x6734 x6733 x6732 x6731 
1599.82/1600.11	v -x6730 x6729 x6728 x6727 x6726 -x6725 x6724 x6723 x6722 -x6721 x6720 x6719 x6718 -x6717 x6716 x6715 x6714 x6713 x6712 x6711 
1599.82/1600.11	v x6710 x6709 -x6708 x6707 x6706 x6705 x6704 x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 
1599.82/1600.11	v -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 x6682 x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 
1599.82/1600.11	v -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 x6666 x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 
1599.82/1600.11	v -x6654 -x6653 -x6652 -x6651 x6650 -x6649 -x6648 -x6647 x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 x6637 
1599.82/1600.11	v x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 x6624 x6623 -x6622 -x6621 -x6620 -x6619 
1599.82/1600.11	v -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 x6611 -x6610 -x6609 -x6608 -x6607 -x6606 x6605 -x6604 -x6603 -x6602 -x6601 
1599.82/1600.11	v -x6600 -x6599 -x6598 -x6597 x6596 x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 x6586 x6585 -x6584 -x6583 -x6582 
1599.82/1600.11	v -x6581 -x6580 -x6579 -x6578 -x6577 x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 x6568 -x6567 -x6566 -x6565 -x6564 
1599.82/1600.11	v -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 
1599.82/1600.11	v -x6545 x6544 x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 
1599.82/1600.11	v -x6527 -x6526 x6525 x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 
1599.82/1600.11	v -x6509 -x6508 -x6507 x6506 x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 x6498 x6497 -x6496 -x6495 -x6494 -x6493 -x6492 
1599.82/1600.11	v -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 x6476 x6475 -x6474 -x6473 
1599.82/1600.11	v -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 
1599.82/1600.11	v -x6455 x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 x6437 
1599.82/1600.11	v x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 
1599.82/1600.11	v -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 x6409 x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 
1599.82/1600.11	v -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 
1599.82/1600.11	v -x6382 x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 x6371 -x6370 -x6369 x6368 x6367 x6366 x6365 
1599.82/1600.11	v -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 x6351 x6350 -x6349 -x6348 -x6347 -x6346 
1599.82/1600.11	v -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 x6337 x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 
1599.82/1600.11	v -x6327 -x6326 -x6325 -x6324 x6323 -x6322 -x6321 -x6320 x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 x6311 x6310 
1599.82/1600.11	v -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 x6300 x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 
1599.82/1600.11	v -x6291 -x6290 x6289 -x6288 -x6287 -x6286 -x6285 -x6284 x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 x6275 x6274 -x6273 
1599.82/1600.11	v -x6272 -x6271 -x6270 -x6269 -x6268 x6267 x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 x6259 -x6258 -x6257 -x6256 -x6255 
1599.82/1600.11	v -x6254 -x6253 -x6252 x6251 -x6250 -x6249 -x6248 -x6247 -x6246 x6245 x6244 x6243 x6242 x6241 x6240 -x6239 -x6238 -x6237 -x6236 
1599.82/1600.11	v -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 x6229 x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 
1599.82/1600.11	v -x6217 -x6216 -x6215 -x6214 -x6213 x6212 x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 
1599.82/1600.11	v -x6199 -x6198 -x6197 -x6196 x6195 x6194 -x6193 -x6192 -x6191 -x6190 -x6189 x6188 x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 
1599.82/1600.11	v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 x6168 x6167 -x6166 -x6165 -x6164 -x6163 
1599.82/1600.11	v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 x6148 -x6147 -x6146 -x6145 
1599.82/1600.11	v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 x6138 -x6137 -x6136 -x6135 -x6134 -x6133 x6132 x6131 -x6130 -x6129 -x6128 -x6127 
1599.82/1600.11	v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 x6109 
1599.82/1600.11	v x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 
1599.82/1600.11	v -x6090 -x6089 -x6088 -x6087 x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 x6076 -x6075 -x6074 -x6073 
1599.82/1600.11	v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 x6064 x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 
1599.82/1600.11	v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 x6043 x6042 -x6041 -x6040 -x6039 -x6038 -x6037 
1599.82/1600.11	v -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 x6022 -x6021 -x6020 -x6019 
1599.82/1600.11	v -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 
1599.82/1600.11	v -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 x5992 x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 
1599.82/1600.11	v -x5981 x5980 x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 x5968 -x5967 -x5966 -x5965 x5964 
1599.82/1600.11	v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 x5957 x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 x5948 x5947 -x5946 
1599.82/1600.11	v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 x5939 -x5938 -x5937 -x5936 -x5935 -x5934 x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 
1599.82/1600.11	v x5926 x5925 -x5924 -x5923 -x5922 -x5921 x5920 x5919 -x5918 -x5917 -x5916 -x5915 x5914 -x5913 -x5912 -x5911 -x5910 -x5909 
1599.82/1600.11	v -x5908 -x5907 x5906 -x5905 -x5904 -x5903 -x5902 x5901 x5900 x5899 x5898 x5897 x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 
1599.82/1600.11	v -x5889 -x5888 -x5887 x5886 x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 
1599.82/1600.11	v x5871 x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 x5856 x5855 -x5854 -x5853 
1599.82/1600.11	v -x5852 -x5851 x5850 x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 
1599.82/1600.11	v -x5834 -x5833 x5832 x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 
1599.82/1600.11	v -x5816 -x5815 x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5803 -x5802 -x5801 -x5800 x5799 
1599.82/1600.11	v x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 
1599.82/1600.11	v -x5780 -x5779 x5778 x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 
1599.82/1600.11	v -x5762 -x5761 -x5760 -x5759 -x5758 x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 x5747 -x5746 -x5745 
1599.82/1600.11	v -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 x5729 x5728 -x5727 -x5726 
1599.82/1600.11	v -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 
1599.82/1600.11	v -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 x5700 x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 
1599.82/1600.11	v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 
1599.82/1600.11	v -x5672 x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 x5659 -x5658 -x5657 -x5656 -x5655 -x5654 
1599.82/1600.11	v x5653 x5652 x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 
1599.82/1600.11	v -x5635 -x5634 x5633 x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 
1599.82/1600.11	v -x5617 -x5616 -x5615 x5614 x5613 x5612 x5611 x5610 x5609 x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 
1599.82/1600.11	v -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 x5586 x5585 -x5584 -x5583 -x5582 -x5581 
1599.82/1600.11	v -x5580 -x5579 -x5578 -x5577 x5576 x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 x5566 -x5565 -x5564 -x5563 
1599.82/1600.11	v x5562 -x5561 -x5560 -x5559 -x5558 -x5557 x5556 x5555 -x5554 -x5553 -x5552 -x5551 -x5550 x5549 x5548 -x5547 -x5546 -x5545 -x5544 
1599.82/1600.11	v -x5543 x5542 -x5541 -x5540 -x5539 -x5538 -x5537 x5536 -x5535 -x5534 -x5533 -x5532 -x5531 x5530 x5529 -x5528 -x5527 x5526 
1599.82/1600.11	v x5525 -x5524 -x5523 x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 x5514 -x5513 -x5512 -x5511 x5510 x5509 x5508 x5507 
1599.82/1600.11	v x5506 x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 x5496 x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 
1599.82/1600.11	v -x5487 -x5486 -x5485 -x5484 x5483 x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 x5470 
1599.82/1600.11	v x5469 -x5468 -x5467 -x5466 x5465 x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 
1599.82/1600.11	v -x5451 -x5450 x5449 x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 
1599.82/1600.11	v x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 x5423 -x5422 -x5421 -x5420 x5419 x5418 -x5417 -x5416 -x5415 
1599.82/1600.11	v -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 x5400 x5399 -x5398 -x5397 
1599.82/1600.11	v -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 x5381 -x5380 -x5379 
1599.82/1600.11	v -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 
1599.82/1600.11	v -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 x5344 x5343 
1599.82/1600.11	v -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 
1599.82/1600.11	v -x5324 -x5323 -x5322 -x5321 x5320 -x5319 x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 
1599.82/1600.11	v -x5306 -x5305 -x5304 x5303 x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 
1599.82/1600.11	v -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 x5279 -x5278 x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 
1599.82/1600.11	v -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 
1599.82/1600.11	v -x5252 -x5251 x5250 -x5249 -x5248 -x5247 -x5246 x5245 x5244 x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 
1599.82/1600.11	v -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 x5227 -x5226 x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 x5218 x5217 -x5216 
1599.82/1600.11	v -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 x5201 -x5200 x5199 -x5198 
1599.82/1600.11	v -x5197 -x5196 -x5195 -x5194 -x5193 x5192 x5191 x5190 x5189 x5188 x5187 x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 
1599.82/1600.11	v -x5178 -x5177 -x5176 x5175 x5174 x5173 -x5172 -x5171 x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 x5162 -x5161 x5160 
1599.82/1600.11	v x5159 x5158 -x5157 -x5156 x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 x5147 -x5146 x5145 x5144 x5143 x5142 x5141 
1599.82/1600.11	v x5140 x5139 x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 x5127 -x5126 -x5125 x5124 x5123 x5122 
1599.82/1600.11	v x5121 x5120 x5119 x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 
1599.82/1600.11	v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 x5089 -x5088 x5087 -x5086 -x5085 
1599.82/1600.11	v -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 
1599.82/1600.11	v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 
1599.82/1600.11	v -x5049 -x5048 x5047 x5046 -x5045 x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 
1599.82/1600.11	v -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 
1599.82/1600.11	v -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 
1599.82/1600.11	v -x4994 -x4993 -x4992 -x4991 x4990 x4989 -x4988 x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 
1599.82/1600.11	v -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 
1599.82/1600.11	v -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 
1599.82/1600.11	v -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 
1599.82/1600.11	v -x4922 -x4921 -x4920 x4919 x4918 -x4917 x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 
1599.82/1600.11	v -x4904 x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 
1599.82/1600.11	v -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 
1599.82/1600.11	v -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 
1599.82/1600.11	v -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 
1599.82/1600.11	v -x4833 -x4832 -x4831 -x4830 x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 x4817 x4816 -x4815 
1599.82/1600.11	v x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 x4802 -x4801 -x4800 -x4799 -x4798 -x4797 
1599.82/1600.11	v -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 
1599.82/1600.11	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
1599.82/1600.11	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 
1599.82/1600.11	v -x4742 -x4741 -x4740 -x4739 x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 x4729 -x4728 -x4727 -x4726 -x4725 
1599.82/1600.11	v -x4724 -x4723 x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 
1599.82/1600.11	v x4706 x4705 x4704 x4703 x4702 x4701 x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 
1599.82/1600.11	v -x4687 -x4686 -x4685 x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 
1599.82/1600.11	v x4669 -x4668 x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 
1599.82/1600.11	v -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 x4637 -x4636 -x4635 -x4634 
1599.82/1600.11	v -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 x4625 x4624 -x4623 x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 
1599.82/1600.11	v -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 
1599.82/1600.11	v -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 
1599.82/1600.11	v -x4579 -x4578 x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 x4565 x4564 x4563 -x4562 
1599.82/1600.11	v x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 
1599.82/1600.11	v -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 
1599.82/1600.11	v -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
1599.82/1600.11	v -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 
1599.82/1600.11	v x4489 x4488 x4487 -x4486 x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 
1599.82/1600.11	v -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 
1599.82/1600.11	v -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 
1599.82/1600.11	v -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 
1599.82/1600.11	v -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 
1599.82/1600.11	v -x4399 -x4398 -x4397 -x4396 x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 x4383 x4382 
1599.82/1600.11	v x4381 -x4380 x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 
1599.82/1600.11	v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 
1599.82/1600.11	v -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 
1599.82/1600.11	v -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 
1599.82/1600.11	v -x4309 -x4308 -x4307 -x4306 -x4305 x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 
1599.82/1600.11	v -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 x4283 x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 
1599.82/1600.11	v -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 x4262 x4261 -x4260 -x4259 x4258 x4257 x4256 x4255 
1599.82/1600.11	v x4254 x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 
1599.82/1600.11	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 x4230 -x4229 x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 
1599.82/1600.11	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 x4206 -x4205 -x4204 -x4203 -x4202 -x4201 
1599.82/1600.11	v -x4200 -x4199 -x4198 x4197 x4196 -x4195 x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 
1599.82/1600.11	v -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 
1599.82/1600.11	v -x4164 -x4163 -x4162 x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 x4152 x4151 -x4150 x4149 -x4148 -x4147 -x4146 
1599.82/1600.11	v -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 
1599.82/1600.11	v -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 
1599.82/1600.11	v -x4110 -x4109 -x4108 -x4107 -x4106 x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 x4096 x4095 -x4094 x4093 -x4092 
1599.82/1600.11	v -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 x4081 -x4080 -x4079 -x4078 x4077 x4076 x4075 -x4074 
1599.82/1600.11	v x4073 x4072 x4071 -x4070 x4069 x4068 x4067 -x4066 -x4065 x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 x4057 x4056 x4055 -x4054 
1599.82/1600.11	v -x4053 x4052 -x4051 -x4050 -x4049 x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041 x4040 -x4039 -x4038 -x4037 -x4036 
1599.82/1600.11	v -x4035 -x4034 -x4033 -x4032 x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 x4018 
1599.82/1600.11	v -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 x4005 -x4004 -x4003 -x4002 -x4001 -x4000 
1599.82/1600.11	v -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 x3985 -x3984 -x3983 -x3982 
1599.82/1600.11	v -x3981 -x3980 x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 x3970 x3969 x3968 x3967 x3966 x3965 -x3964 -x3963 
1599.82/1600.11	v -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 x3946 -x3945 
1599.82/1600.11	v -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 x3928 -x3927 
1599.82/1600.11	v x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 
1599.82/1600.11	v -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 
1599.82/1600.11	v x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 x3875 x3874 x3873 
1599.82/1600.11	v -x3872 x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 
1599.82/1600.11	v -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 
1599.82/1600.11	v -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 
1599.82/1600.11	v -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 x3802 x3801 
1599.82/1600.11	v x3800 -x3799 x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 
1599.82/1600.11	v -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 
1599.82/1600.11	v -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 
1599.82/1600.11	v -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 
1599.82/1600.11	v -x3728 -x3727 x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 x3711 
1599.82/1600.11	v x3710 x3709 -x3708 x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 x3694 -x3693 -x3692 
1599.82/1600.11	v -x3691 -x3690 x3689 -x3688 -x3687 -x3686 x3685 x3684 x3683 -x3682 -x3681 x3680 x3679 x3678 -x3677 -x3676 x3675 x3674 x3673 
1599.82/1600.11	v -x3672 -x3671 -x3670 x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 x3660 -x3659 -x3658 -x3657 -x3656 x3655 
1599.82/1600.11	v -x3654 -x3653 -x3652 -x3651 x3650 -x3649 -x3648 -x3647 -x3646 x3645 -x3644 -x3643 -x3642 -x3641 x3640 -x3639 -x3638 -x3637 -x3636 
1599.82/1600.11	v x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 x3625 x3624 x3623 -x3622 -x3621 -x3620 x3619 -x3618 
1599.82/1600.11	v -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 x3601 -x3600 
1599.82/1600.11	v -x3599 -x3598 -x3597 x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 
1599.82/1600.11	v -x3581 -x3580 x3579 -x3578 -x3577 -x3576 -x3575 x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 
1599.82/1600.11	v -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 x3555 -x3554 -x3553 -x3552 -x3551 x3550 -x3549 -x3548 -x3547 -x3546 
1599.82/1600.11	v -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 x3539 -x3538 -x3537 -x3536 -x3535 -x3534 x3533 x3532 x3531 -x3530 -x3529 -x3528 -x3527 
1599.82/1600.11	v -x3526 -x3525 -x3524 x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 x3510 x3509 
1599.82/1600.11	v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 
1599.82/1600.11	v -x3490 x3489 x3488 -x3487 -x3486 x3485 x3484 x3483 x3482 x3481 x3480 x3479 -x3478 -x3477 x3476 x3475 x3474 -x3473 -x3472 -x3471 
1599.82/1600.11	v x3470 x3469 -x3468 -x3467 x3466 -x3465 -x3464 -x3463 -x3462 -x3461 x3460 x3459 -x3458 -x3457 x3456 -x3455 -x3454 -x3453 
1599.82/1600.11	v -x3452 -x3451 -x3450 -x3449 x3448 x3447 x3446 x3445 x3444 x3443 x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 
1599.82/1600.11	v -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 
1599.82/1600.11	v -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 x3403 x3402 x3401 x3400 x3399 x3398 x3397 
1599.82/1600.11	v x3396 x3395 x3394 x3393 x3392 x3391 x3390 x3389 x3388 x3387 x3386 -x3385 -x3384 -x3383 x3382 x3381 -x3380 -x3379 x3378 -x3377 
1599.82/1600.11	v -x3376 x3375 -x3374 -x3373 x3372 x3371 x3370 x3369 x3368 x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 x3359 -x3358 
1599.82/1600.11	v -x3357 -x3356 -x3355 -x3354 x3353 x3352 x3351 x3350 -x3349 -x3348 x3347 -x3346 -x3345 -x3344 -x3343 -x3342 x3341 x3340 -x3339 
1599.82/1600.11	v -x3338 -x3337 -x3336 x3335 -x3334 x3333 x3332 x3331 x3330 -x3329 x3328 -x3327 x3326 x3325 x3324 x3323 -x3322 x3321 -x3320 
1599.82/1600.11	v -x3319 -x3318 x3317 x3316 x3315 x3314 x3313 x3312 x3311 x3310 x3309 x3308 x3307 x3306 x3305 x3304 x3303 x3302 x3301 x3300 
1599.82/1600.11	v -x3299 -x3298 -x3297 x3296 x3295 -x3294 -x3293 x3292 -x3291 -x3290 x3289 -x3288 -x3287 x3286 x3285 x3284 x3283 x3282 x3281 -x3280 
1599.82/1600.11	v -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 x3273 -x3272 -x3271 -x3270 -x3269 -x3268 x3267 x3266 x3265 x3264 -x3263 -x3262 
1599.82/1600.11	v x3261 -x3260 -x3259 -x3258 -x3257 -x3256 x3255 x3254 -x3253 -x3252 -x3251 -x3250 x3249 x3248 -x3247 -x3246 -x3245 x3244 -x3243 
1599.82/1600.11	v x3242 x3241 x3240 x3239 -x3238 x3237 -x3236 x3235 x3234 x3233 x3232 -x3231 x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 
1599.82/1600.11	v -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 
1599.82/1600.11	v -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 
1599.82/1600.11	v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 x3172 x3171 x3170 
1599.82/1600.11	v x3169 x3168 -x3167 x3166 -x3165 x3164 -x3163 x3162 x3161 -x3160 x3159 x3158 -x3157 x3156 -x3155 x3154 -x3153 x3152 x3151 x3150 
1599.82/1600.11	v -x3149 x3148 -x3147 -x3146 x3145 -x3144 x3143 x3142 x3141 x3140 -x3139 x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 x3131 
1599.82/1600.11	v x3130 x3129 x3128 x3127 x3126 x3125 x3124 x3123 x3122 x3121 x3120 x3119 x3118 -x3117 -x3116 -x3115 x3114 x3113 -x3112 x3111 
1599.82/1600.11	v x3110 -x3109 x3108 -x3107 x3106 x3105 -x3104 -x3103 x3102 x3101 x3100 x3099 x3098 x3097 x3096 x3095 x3094 x3093 x3092 x3091 
1599.82/1600.11	v x3090 -x3089 -x3088 -x3087 x3086 x3085 -x3084 x3083 x3082 -x3081 x3080 -x3079 x3078 x3077 -x3076 -x3075 x3074 x3073 x3072 x3071 
1599.82/1600.11	v x3070 x3069 x3068 x3067 x3066 x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 
1599.82/1600.11	v -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 
1599.82/1600.11	v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 x3019 x3018 x3017 x3016 
1599.82/1600.11	v x3015 x3014 x3013 x3012 x3011 -x3010 x3009 -x3008 -x3007 x3006 x3005 x3004 x3003 x3002 x3001 x3000 x2999 -x2998 x2997 -x2996 
1599.82/1600.11	v -x2995 x2994 x2993 x2992 x2991 x2990 x2989 x2988 x2987 x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 
1599.82/1600.11	v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 
1599.82/1600.11	v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947 x2946 x2945 x2944 x2943 x2942 x2941 x2940 
1599.82/1600.11	v x2939 x2938 x2937 x2936 x2935 x2934 x2933 x2932 x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 
1599.82/1600.11	v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 
1599.82/1600.11	v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 x2885 
1599.82/1600.11	v x2884 x2883 x2882 x2881 x2880 x2879 x2878 x2877 x2876 -x2875 x2874 x2873 -x2872 x2871 x2870 -x2869 x2868 -x2867 x2866 x2865 
1599.82/1600.11	v x2864 x2863 -x2862 x2861 -x2860 x2859 x2858 x2857 x2856 x2855 x2854 -x2853 x2852 -x2851 x2850 x2849 x2848 x2847 x2846 x2845 
1599.82/1600.11	v x2844 x2843 -x2842 -x2841 x2840 x2839 x2838 x2837 -x2836 x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 
1599.82/1600.11	v -x2825 -x2824 -x2823 -x2822 x2821 x2820 x2819 x2818 x2817 x2816 x2815 x2814 x2813 x2812 -x2811 -x2810 x2809 x2808 x2807 -x2806 
1599.82/1600.11	v x2805 x2804 x2803 x2802 x2801 -x2800 x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 x2791 -x2790 -x2789 -x2788 -x2787 
1599.82/1600.11	v -x2786 -x2785 -x2784 x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 
1599.82/1600.11	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 
1599.82/1600.11	v -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 
1599.82/1600.11	v x2733 x2732 x2731 x2730 x2729 -x2728 x2727 x2726 -x2725 x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 
1599.82/1600.11	v -x2714 x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 
1599.82/1600.11	v -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 
1599.82/1600.11	v -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 
1599.82/1600.11	v -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 x2650 x2649 x2648 x2647 x2646 x2645 -x2644 x2643 x2642 
1599.82/1600.11	v x2641 -x2640 x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 x2630 x2629 x2628 x2627 x2626 x2625 x2624 x2623 
1599.82/1600.11	v x2622 x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 
1599.82/1600.11	v -x2603 -x2602 -x2601 x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 
1599.82/1600.11	v -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 
1599.82/1600.11	v -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 
1599.82/1600.11	v -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 
1599.82/1600.11	v -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 x2514 
1599.82/1600.11	v x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 
1599.82/1600.11	v -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 
1599.82/1600.11	v -x2477 -x2476 -x2475 -x2474 x2473 x2472 x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 
1599.82/1600.11	v -x2459 -x2458 x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 
1599.82/1600.11	v -x2441 -x2440 -x2439 x2438 x2437 x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 
1599.82/1600.11	v -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 x2412 x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 
1599.82/1600.11	v -x2404 -x2403 -x2402 -x2401 x2400 x2399 -x2398 -x2397 -x2396 -x2395 -x2394 x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 
1599.82/1600.11	v -x2386 -x2385 x2384 -x2383 -x2382 -x2381 -x2380 x2379 x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 x2369 
1599.82/1600.11	v x2368 -x2367 -x2366 -x2365 x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 x2353 -x2352 -x2351 -x2350 
1599.82/1600.11	v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 x2340 x2339 x2338 x2337 x2336 x2335 x2334 x2333 x2332 x2331 
1599.82/1600.11	v -x2330 x2329 x2328 x2327 x2326 -x2325 x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 
1599.82/1600.11	v x2311 -x2310 -x2309 x2308 x2307 -x2306 x2305 -x2304 -x2303 x2302 -x2301 -x2300 -x2299 -x2298 -x2297 x2296 -x2295 x2294 
1599.82/1600.11	v x2293 -x2292 x2291 -x2290 x2289 -x2288 -x2287 -x2286 -x2285 -x2284 x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 -x2276 -x2275 
1599.82/1600.11	v -x2274 x2273 -x2272 -x2271 -x2270 x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 
1599.82/1600.11	v x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 -x2241 -x2240 -x2239 
1599.82/1600.11	v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
1599.82/1600.11	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 x2205 x2204 x2203 x2202 
1599.82/1600.11	v x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 -x2189 -x2188 x2187 x2186 x2185 x2184 -x2183 
1599.82/1600.11	v -x2182 x2181 -x2180 -x2179 -x2178 -x2177 -x2176 x2175 x2174 -x2173 -x2172 -x2171 -x2170 -x2169 x2168 -x2167 -x2166 -x2165 
1599.82/1600.11	v -x2164 -x2163 -x2162 x2161 x2160 x2159 x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 x2151 x2150 x2149 x2148 -x2147 -x2146 
1599.82/1600.11	v x2145 x2144 x2143 x2142 -x2141 -x2140 -x2139 x2138 -x2137 x2136 x2135 x2134 x2133 -x2132 -x2131 -x2130 x2129 x2128 x2127 x2126 
1599.82/1600.11	v -x2125 -x2124 -x2123 -x2122 x2121 -x2120 -x2119 x2118 x2117 x2116 -x2115 -x2114 -x2113 -x2112 x2111 x2110 x2109 -x2108 -x2107 
1599.82/1600.11	v -x2106 -x2105 x2104 x2103 -x2102 -x2101 -x2100 -x2099 -x2098 x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 
1599.82/1600.11	v x2088 x2087 x2086 x2085 x2084 x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 
1599.82/1600.11	v x2069 x2068 x2067 x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
1599.82/1600.11	v -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 
1599.82/1600.11	v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 
1599.82/1600.11	v -x2015 -x2014 -x2013 x2012 x2011 x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 x2002 -x2001 -x2000 -x1999 -x1998 -x1997 
1599.82/1600.11	v -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 x1986 -x1985 -x1984 -x1983 -x1982 -x1981 x1980 x1979 
1599.82/1600.11	v -x1978 -x1977 x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 
1599.82/1600.11	v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 x1946 -x1945 -x1944 -x1943 
1599.82/1600.11	v -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
1599.82/1600.11	v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 x1908 x1907 
1599.82/1600.11	v x1906 -x1905 -x1904 -x1903 x1902 -x1901 x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 x1892 -x1891 -x1890 -x1889 x1888 
1599.82/1600.11	v -x1887 -x1886 -x1885 x1884 -x1883 -x1882 -x1881 x1880 x1879 x1878 -x1877 -x1876 -x1875 -x1874 x1873 x1872 x1871 -x1870 -x1869 
1599.82/1600.11	v -x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 x1852 x1851 
1599.82/1600.11	v -x1850 -x1849 -x1848 x1847 -x1846 -x1845 -x1844 x1843 -x1842 -x1841 -x1840 -x1839 x1838 -x1837 -x1836 -x1835 -x1834 -x1833 
1599.82/1600.11	v -x1832 -x1831 -x1830 x1829 -x1828 -x1827 -x1826 -x1825 -x1824 x1823 x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 x1815 x1814 
1599.82/1600.11	v x1813 x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 x1804 x1803 x1802 -x1801 -x1800 x1799 x1798 x1797 x1796 -x1795 
1599.82/1600.11	v x1794 x1793 x1792 x1791 -x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783 -x1782 -x1781 -x1780 x1779 x1778 x1777 -x1776 -x1775 
1599.82/1600.11	v -x1774 x1773 x1772 x1771 -x1770 -x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 x1762 x1761 x1760 -x1759 -x1758 -x1757 x1756 
1599.82/1600.11	v x1755 x1754 -x1753 -x1752 -x1751 x1750 x1749 x1748 -x1747 -x1746 -x1745 -x1744 x1743 x1742 x1741 -x1740 -x1739 -x1738 -x1737 
1599.82/1600.11	v x1736 x1735 -x1734 -x1733 -x1732 -x1731 -x1730 x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 x1721 -x1720 -x1719 
1599.82/1600.11	v -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 x1711 x1710 x1709 x1708 x1707 x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 
1599.82/1600.11	v -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 x1691 x1690 x1689 -x1688 -x1687 x1686 -x1685 -x1684 -x1683 -x1682 -x1681 
1599.82/1600.11	v x1680 x1679 -x1678 -x1677 -x1676 -x1675 x1674 x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 -x1666 x1665 x1664 -x1663 -x1662 
1599.82/1600.11	v x1661 x1660 -x1659 x1658 -x1657 x1656 -x1655 -x1654 x1653 x1652 x1651 -x1650 x1649 -x1648 -x1647 x1646 -x1645 x1644 -x1643 
1599.82/1600.11	v -x1642 -x1641 -x1640 -x1639 -x1638 x1637 x1636 x1635 x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 x1626 x1625 x1624 
1599.82/1600.11	v -x1623 -x1622 x1621 x1620 x1619 x1618 -x1617 -x1616 -x1615 x1614 -x1613 x1612 x1611 x1610 x1609 -x1608 -x1607 -x1606 x1605 x1604 
1599.82/1600.11	v x1603 x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 x1594 x1593 x1592 -x1591 -x1590 -x1589 -x1588 x1587 x1586 x1585 
1599.82/1600.11	v -x1584 -x1583 -x1582 -x1581 x1580 x1579 -x1578 -x1577 -x1576 -x1575 -x1574 x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 
1599.82/1600.11	v -x1566 -x1565 x1564 x1563 x1562 x1561 x1560 x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 
1599.82/1600.11	v -x1547 x1546 x1545 x1544 x1543 x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 
1599.82/1600.11	v x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 
1599.82/1600.11	v -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 
1599.82/1600.11	v -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 
1599.82/1600.11	v -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 x1464 x1463 x1462 x1461 -x1460 -x1459 -x1458 -x1457 
1599.82/1600.11	v -x1456 -x1455 x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 
1599.82/1600.11	v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 
1599.82/1600.11	v x1420 x1419 -x1418 -x1417 x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 
1599.82/1600.11	v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 
1599.82/1600.11	v -x1384 -x1383 -x1382 -x1381 x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 x1370 -x1369 -x1368 -x1367 
1599.82/1600.11	v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 
1599.82/1600.11	v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 
1599.82/1600.11	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
1599.82/1600.11	v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 x1297 x1296 x1295 
1599.82/1600.11	v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 x1288 x1287 x1286 x1285 -x1284 x1283 -x1282 x1281 x1280 -x1279 x1278 -x1277 -x1276 
1599.82/1600.11	v -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 x1265 -x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 
1599.82/1600.11	v -x1256 x1255 x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 x1244 x1243 -x1242 -x1241 -x1240 -x1239 
1599.82/1600.11	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 
1599.82/1600.11	v -x1220 -x1219 -x1218 -x1217 -x1216 x1215 x1214 x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 
1599.82/1600.11	v -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 x1187 -x1186 -x1185 -x1184 
1599.82/1600.11	v x1183 -x1182 -x1181 -x1180 -x1179 x1178 x1177 x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 x1167 -x1166 x1165 
1599.82/1600.11	v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 
1599.82/1600.11	v -x1146 -x1145 x1144 -x1143 -x1142 x1141 x1140 x1139 x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 x1131 x1130 x1129 x1128 x1127 
1599.82/1600.11	v -x1126 -x1125 x1124 -x1123 -x1122 x1121 x1120 x1119 x1118 x1117 x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 
1599.82/1600.11	v -x1107 -x1106 x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 x1092 x1091 x1090 
1599.82/1600.11	v -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 
1599.82/1600.11	v -x1071 x1070 -x1069 x1068 x1067 -x1066 x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 x1053 
1599.82/1600.11	v -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
1599.82/1600.11	v -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 
1599.82/1600.11	v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000 x999 x998 
1599.82/1600.11	v x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 x988 x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 -x976 
1599.82/1600.11	v x975 x974 x973 x972 -x971 -x970 x969 x968 x967 -x966 -x965 x964 x963 -x962 x961 x960 x959 -x958 -x957 -x956 -x955 x954 x953 
1599.82/1600.11	v -x952 -x951 -x950 -x949 -x948 -x947 x946 x945 x944 x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 x932 x931 
1599.82/1600.11	v x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 x915 -x914 x913 -x912 -x911 -x910 -x909 
1599.82/1600.11	v -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 
1599.82/1600.11	v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 x873 x872 -x871 x870 x869 x868 -x867 -x866 
1599.82/1600.11	v x865 -x864 x863 -x862 x861 -x860 -x859 -x858 -x857 -x856 x855 x854 x853 -x852 x851 x850 x849 -x848 -x847 x846 -x845 -x844 
1599.82/1600.11	v -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 x832 x831 -x830 -x829 x828 -x827 -x826 x825 -x824 -x823 -x822 
1599.82/1600.11	v x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 x810 x809 x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 x800 
1599.82/1600.11	v x799 x798 -x797 -x796 x795 x794 x793 x792 -x791 x790 x789 x788 x787 x786 x785 x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 
1599.82/1600.11	v x776 x775 x774 -x773 -x772 -x771 -x770 x769 x768 x767 -x766 -x765 -x764 -x763 x762 x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 
1599.82/1600.11	v -x753 -x752 -x751 -x750 -x749 -x748 x747 x746 x745 x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 x735 x734 -x733 -x732 
1599.82/1600.11	v -x731 -x730 x729 x728 x727 -x726 x725 -x724 -x723 x722 -x721 x720 x719 -x718 -x717 x716 x715 -x714 x713 -x712 x711 -x710 
1599.82/1600.11	v x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 x701 x700 x699 -x698 -x697 x696 x695 x694 -x693 -x692 x691 x690 -x689 x688 x687 
1599.82/1600.11	v x686 -x685 -x684 -x683 -x682 x681 x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 x672 x671 x670 x669 -x668 -x667 -x666 -x665 
1599.82/1600.11	v -x664 -x663 -x662 -x661 x660 x659 x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 
1599.82/1600.11	v -x642 -x641 -x640 -x639 -x638 x637 x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 
1599.82/1600.11	v -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 
1599.82/1600.11	v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 x588 x587 -x586 x585 x584 -x583 -x582 -x581 -x580 -x579 
1599.82/1600.11	v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 x567 x566 -x565 -x564 x563 x562 x561 -x560 -x559 -x558 x557 
1599.82/1600.11	v -x556 -x555 -x554 x553 x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 x544 x543 x542 -x541 -x540 x539 x538 x537 -x536 -x535 
1599.82/1600.11	v -x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 
1599.82/1600.11	v x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 
1599.82/1600.11	v x491 x490 -x489 x488 -x487 -x486 x485 x484 x483 x482 -x481 -x480 -x479 x478 x477 x476 -x475 x474 -x473 -x472 -x471 x470 x469 
1599.82/1600.11	v x468 -x467 x466 -x465 -x464 -x463 x462 x461 x460 -x459 x458 -x457 -x456 -x455 x454 x453 -x452 -x451 x450 x449 x448 -x447 x446 
1599.82/1600.11	v -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 x435 -x434 -x433 -x432 x431 -x430 x429 x428 -x427 -x426 -x425 x424 
1599.82/1600.11	v -x423 -x422 -x421 x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 x411 x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 
1599.82/1600.11	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 
1599.82/1600.11	v x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 
1599.82/1600.11	v -x359 -x358 -x357 -x356 -x355 -x354 x353 x352 -x351 -x350 -x349 x348 -x347 x346 -x345 x344 x343 x342 -x341 -x340 x339 x338 -x337 
1599.82/1600.11	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 
1599.82/1600.11	v -x315 x314 x313 x312 -x311 x310 -x309 x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 x294 
1599.82/1600.11	v x293 x292 -x291 -x290 x289 x288 x287 x286 x285 -x284 x283 x282 x281 -x280 -x279 -x278 -x277 x276 x275 -x274 -x273 -x272 -x271 
1599.82/1600.11	v -x270 x269 x268 -x267 -x266 -x265 -x264 x263 x262 x261 -x260 x259 -x258 -x257 x256 -x255 x254 x253 -x252 x251 -x250 x249 -x248 
1599.82/1600.11	v x247 x246 x245 -x244 -x243 x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 x226 
1599.82/1600.11	v -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 x209 x208 -x207 -x206 -x205 -x204 
1599.82/1600.11	v -x203 x202 -x201 x200 -x199 -x198 -x197 -x196 x195 x194 x193 x192 -x191 x190 x189 x188 -x187 x186 x185 -x184 x183 x182 -x181 
1599.82/1600.11	v x180 -x179 -x178 x177 x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 x166 x165 -x164 -x163 -x162 x161 -x160 x159 
1599.82/1600.11	v x158 x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 x148 -x147 x146 x145 -x144 x143 x142 x141 -x140 -x139 -x138 -x137 
1599.82/1600.11	v -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 x116 -x115 
1599.82/1600.11	v -x114 -x113 -x112 x111 -x110 -x109 x108 x107 x106 -x105 -x104 -x103 -x102 x101 x100 x99 x98 -x97 x96 -x95 x94 -x93 -x92 -x91 
1599.82/1600.11	v -x90 x89 -x88 x87 -x86 x85 x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 -x66 x65 -x64 
1599.82/1600.11	v x63 -x62 -x61 -x60 x59 x58 x57 -x56 -x55 -x54 x53 -x52 x51 x50 -x49 -x48 x47 -x46 -x45 x44 -x43 x42 x41 x40 -x39 -x38 x37 x36 
1599.82/1600.11	v x35 x34 -x33 -x32 x31 x30 x29 -x28 -x27 x26 x25 x24 -x23 -x22 x21 -x20 x19 x18 x17 -x16 -x15 x14 x13 x12 -x11 -x10 x9 -x8 
1599.82/1600.11	v x7 -x6 -x5 -x4 -x3 x2 -x1 
1599.82/1600.11	c SCIP Status        : problem is solved [optimal solution found]
1599.82/1600.11	c Total Time         :    1600.10
1599.82/1600.11	c   solving          :    1600.10
1599.82/1600.11	c   presolving       :       3.48 (included in solving)
1599.82/1600.11	c   reading          :       0.07 (included in solving)
1599.82/1600.11	c   copying          :       0.25 (3 #copies) (minimal 0.02, maximal 0.12, average 0.08)
1599.82/1600.11	c Original Problem   :
1599.82/1600.11	c   Problem name     : HOME/instance-3717551-1338196096.wbo
1599.82/1600.11	c   Variables        : 19896 (19896 binary, 0 integer, 0 implicit integer, 0 continuous)
1599.82/1600.11	c   Constraints      : 19478 initial, 19478 maximal
1599.82/1600.11	c   Objective sense  : minimize
1599.82/1600.11	c Presolved Problem  :
1599.82/1600.11	c   Problem name     : t_HOME/instance-3717551-1338196096.wbo
1599.82/1600.11	c   Variables        : 5464 (5464 binary, 0 integer, 0 implicit integer, 0 continuous)
1599.82/1600.11	c   Constraints      : 7149 initial, 9669 maximal
1599.82/1600.11	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1599.82/1600.11	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1599.82/1600.11	c   trivial          :       0.08       0.00      25077          0          0          0          0          0          0          0          0
1599.82/1600.11	c   dualfix          :       0.02       0.00          5          0          0          0          0          0          0          0          0
1599.82/1600.11	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1599.82/1600.11	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1599.82/1600.11	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1599.82/1600.11	c   gateextraction   :       0.08       0.00          0          0          0          0          0      17313       5751          0          0
1599.82/1600.11	c   implics          :       0.06       0.00          0        434          0          0          0          0          0          0          0
1599.82/1600.11	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1599.82/1600.11	c   pseudoobj        :       0.00       0.02          0          0          0          0          0          0          0          0          0
1599.82/1600.11	c   probing          :       0.45       0.00          0          1          0          0          0          0          0          0          0
1599.82/1600.11	c   varbound         :       0.00       0.00          0          0          0          0          0          1          0          0          0
1599.82/1600.11	c   knapsack         :       0.05       0.00          0          0          0          0          0          0          0          4         29
1599.82/1600.11	c   setppc           :       0.13       0.00         31         45          0          0          0        505          0          1          0
1599.82/1600.11	c   and              :       0.80       0.01        107        337          0          0          0        835        568          0        183
1599.82/1600.11	c   linear           :       1.12       0.03       1444          6          0      14502          0      14254          0        275        721
1599.82/1600.11	c   indicator        :       0.01       0.01          2          0          0          0          0       1297          0          0          0
1599.82/1600.11	c   logicor          :       0.32       0.01          7          0          0          3          0        351          0          0          0
1599.82/1600.11	c   bounddisjunction :       0.01       0.00          0          0          0          0          0        127          0          0          0
1599.82/1600.11	c   root node        :          -          -      29124          -          -      29124          -          -          -          -          -
1599.82/1600.11	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1599.82/1600.11	c   integral         :          0          0          0          0       3202          0       4369          0          0          0          0          0       6404
1599.82/1600.11	c   knapsack         :        694        694         10     113611          0          0       4364       3141         99       3148       1186          0          0
1599.82/1600.11	c   setppc           :        817        817         10     113512          0          0        541      88900        306     169521         16          0          0
1599.82/1600.11	c   and              :       4602       4602       8146     113035          0          0        383     452429       1289     831775     104785          0          0
1599.82/1600.11	c   linear           :          1          1         10     110648          0          0        358      12336        306     193329          7          0          0
1599.82/1600.11	c   logicor          :        783+      3324         10      49051          0          0        321      25497        333      43390         20          0          0
1599.82/1600.11	c   bounddisjunction :        252        252          0       8321          0          0          0        557          7        927          0          0          0
1599.82/1600.11	c   countsols        :          0          0          0          0          0          0        215          0          0          0          0          0          0
1599.82/1600.11	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1599.82/1600.11	c   integral         :       3.92       0.00       0.00       0.00       0.56       0.00       3.35       0.00
1599.82/1600.11	c   knapsack         :       1.92       0.00       0.02       1.80       0.00       0.00       0.10       0.00
1599.82/1600.11	c   setppc           :       4.81       0.00       0.00       4.31       0.00       0.00       0.43       0.06
1599.82/1600.11	c   and              :      11.78       0.01       5.35       6.12       0.00       0.00       0.03       0.27
1599.82/1600.11	c   linear           :      11.29       0.03       0.01       9.17       0.00       0.00       2.06       0.02
1599.82/1600.11	c   logicor          :       1.42       0.01       0.00       1.19       0.00       0.00       0.18       0.04
1599.82/1600.11	c   bounddisjunction :       0.06       0.00       0.00       0.05       0.00       0.00       0.00       0.00
1599.82/1600.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1599.82/1600.11	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1599.82/1600.11	c   rootredcost      :         31          0          0      12925
1599.82/1600.11	c   pseudoobj        :      28439       4999         33     335849
1599.82/1600.11	c   vbounds          :       1318       5678          6     586950
1599.82/1600.11	c   redcost          :       8780          0          0     180433
1599.82/1600.11	c   probing          :          0          0          0          0
1599.82/1600.11	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1599.82/1600.11	c   rootredcost      :       0.13       0.00       0.00       0.13       0.00
1599.82/1600.11	c   pseudoobj        :       6.86       0.02       0.00       3.18       3.67
1599.82/1600.11	c   vbounds          :       6.84       0.02       0.00       6.82       0.00
1599.82/1600.11	c   redcost          :       4.03       0.00       0.00       4.03       0.00
1599.82/1600.11	c   probing          :       0.45       0.00       0.45       0.00       0.00
1599.82/1600.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1599.82/1600.11	c   propagation      :       4.24       2378       2370      14518       37.8        443       17.1          -
1599.82/1600.11	c   infeasible LP    :       1.98        624        624       1076       13.5         86       27.3          0
1599.82/1600.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1599.82/1600.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1599.82/1600.11	c   pseudo solution  :       0.02          4          4          7        7.1          4       10.8          -
1599.82/1600.11	c   applied globally :          -          -          -       7288       24.6          -          -          -
1599.82/1600.11	c   applied locally  :          -          -          -          0        0.0          -          -          -
1599.82/1600.11	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1599.82/1600.11	c   cut pool         :       0.00                     0          -          -          0          -    (maximal pool size: 1392)
1599.82/1600.11	c   closecuts        :       0.00       0.00          0          0          0          0          0
1599.82/1600.11	c   impliedbounds    :       0.02       0.00          9          0          0       2560          0
1599.82/1600.11	c   intobj           :       0.00       0.00          0          0          0          0          0
1599.82/1600.11	c   gomory           :       2.19       0.00          9          0          0        450          0
1599.82/1600.11	c   cgmip            :       0.00       0.00          0          0          0          0          0
1599.82/1600.11	c   strongcg         :       5.59       0.00          9          0          0       4500          0
1599.82/1600.11	c   cmir             :       4.23       0.00          9          0          0        430          0
1599.82/1600.11	c   flowcover        :       5.12       0.00          9          0          0       1775          0
1599.82/1600.11	c   clique           :       0.25       0.00          9          0          0         31          0
1599.82/1600.11	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1599.82/1600.11	c   mcf              :       0.08       0.00          3          0          0          0          0
1599.82/1600.11	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1599.82/1600.11	c   rapidlearning    :       5.21       0.00          1          0        445          0        645
1599.82/1600.11	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1599.82/1600.11	c   problem variables:       0.00          -          0          0
1599.82/1600.11	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1599.82/1600.11	c   inference        :       0.56       0.00       3202          0          0          0          0       6404
1599.82/1600.11	c   relpscost        :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c   random           :       0.00       0.00          0          0          0          0          0          0
1599.82/1600.11	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1599.82/1600.11	c   LP solutions     :       0.00          -          -          0
1599.82/1600.11	c   pseudo solutions :       0.00          -          -          0
1599.82/1600.11	c   intshifting      :       0.00       0.00          0          0
1599.82/1600.11	c   oneopt           :       0.47       0.00         32          0
1599.82/1600.11	c   veclendiving     :      74.30       0.00         12          0
1599.82/1600.11	c   guideddiving     :      68.94       0.00         13          5
1599.82/1600.11	c   linesearchdiving :      63.00       0.00         15          0
1599.82/1600.11	c   pscostdiving     :      54.89       0.00         15          0
1599.82/1600.11	c   fracdiving       :      45.23       0.00         21          0
1599.82/1600.11	c   coefdiving       :     444.91       0.00        292         15
1599.82/1600.11	c   smallcard        :       0.00       0.00          0          0
1599.82/1600.11	c   trivial          :       0.03       0.00          2          0
1599.82/1600.11	c   shiftandpropagate:       0.00       0.00          0          0
1599.82/1600.11	c   simplerounding   :       0.41       0.00       8576          0
1599.82/1600.11	c   zirounding       :       2.96       0.00        772          2
1599.82/1600.11	c   rounding         :       1.89       0.00       1243          0
1599.82/1600.11	c   shifting         :       9.71       0.00        817         10
1599.82/1600.11	c   twoopt           :       0.00       0.00          0          0
1599.82/1600.11	c   indtwoopt        :       0.00       0.01          0          0
1599.82/1600.11	c   indoneopt        :      10.27       0.01         53         21
1599.82/1600.11	c   fixandinfer      :       0.00       0.00          0          0
1599.82/1600.11	c   feaspump         :      13.60       0.00          1          0
1599.82/1600.11	c   clique           :       0.00       0.00          0          0
1599.82/1600.11	c   indrounding      :      21.27       0.00       3197          3
1599.82/1600.11	c   indcoefdiving    :       0.00       0.00          0          0
1599.82/1600.11	c   nlpdiving        :       0.00       0.00          0          0
1599.82/1600.11	c   intdiving        :       0.00       0.00          0          0
1599.82/1600.11	c   actconsdiving    :       0.00       0.00          0          0
1599.82/1600.11	c   objpscostdiving  :      45.80       0.00          5          0
1599.82/1600.11	c   rootsoldiving    :      32.83       0.00          5          0
1599.82/1600.11	c   octane           :       0.00       0.00          0          0
1599.82/1600.11	c   rens             :       0.91       0.00          1          0
1599.82/1600.11	c   rins             :       0.00       0.00          0          0
1599.82/1600.11	c   localbranching   :       0.00       0.00          0          0
1599.82/1600.11	c   mutation         :       0.00       0.00          0          0
1599.82/1600.11	c   crossover        :       0.93       0.00          1          1
1599.82/1600.11	c   dins             :       0.00       0.00          0          0
1599.82/1600.11	c   vbounds          :       0.00       0.00          0          0
1599.82/1600.11	c   undercover       :       0.00       0.00          0          0
1599.82/1600.11	c   subnlp           :       0.00       0.00          0          0
1599.82/1600.11	c   trysol           :       0.22       0.00          9          5
1599.82/1600.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1599.82/1600.11	c   primal LP        :       0.02          3          0       0.00       0.00       0.02          3
1599.82/1600.11	c   dual LP          :     610.00       8834    1524057     176.85    2498.45       2.22        216
1599.82/1600.11	c   lex dual LP      :       0.00          0          0       0.00          -
1599.82/1600.11	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1599.82/1600.11	c   diving/probing LP:     683.52      24037     917416      38.17    1342.20
1599.82/1600.11	c   strong branching :       0.00          0          0       0.00          -
1599.82/1600.11	c     (at root node) :          -          0          0       0.00          -
1599.82/1600.11	c   conflict analysis:       0.00          0          0       0.00          -
1599.82/1600.11	c B&B Tree           :
1599.82/1600.11	c   number of runs   :          3
1599.82/1600.11	c   nodes            :       2683
1599.82/1600.11	c   nodes (total)    :       3920
1599.82/1600.11	c   nodes left       :          0
1599.82/1600.11	c   max depth        :         40
1599.82/1600.11	c   max depth (total):        133
1599.82/1600.11	c   backtracks       :        839 (31.3%)
1599.82/1600.11	c   delayed cutoffs  :       1468
1599.82/1600.11	c   repropagations   :       2497 (397392 domain reductions, 734 cutoffs)
1599.82/1600.11	c   avg switch length:       3.25
1599.82/1600.11	c   switching time   :       7.67
1599.82/1600.11	c Solution           :
1599.82/1600.11	c   Solutions found  :         63 (51 improvements)
1599.82/1600.11	c   First Solution   : +6.22100000000000e+03   (in run 1, after 1 nodes, 102.21 seconds, depth 811, found by <coefdiving>)
1599.82/1600.11	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 1 nodes, 1033.26 seconds, depth 0, found by <trysol>)
1599.82/1600.11	c   Dual Bound       : +1.00000000000000e+00
1599.82/1600.11	c   Gap              :       0.00 %
1599.82/1600.11	c   Root Dual Bound  : +0.00000000000000e+00
1599.82/1600.11	c   Root Iterations  :      65760
1599.92/1600.23	c Time complete: 1599.95.

OK	1

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-3717551-1338196096/watcher-3717551-1338196096 -o /tmp/evaluation-result-3717551-1338196096/solver-3717551-1338196096 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717551-1338196096.wbo -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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: 2.00 2.00 1.98 3/176 575
/proc/meminfo: memFree=27533364/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=9828 CPUtime=0 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 1208 0 0 0 0 0 0 0 20 0 1 0 285735102 10063872 1162 33554432000 4194304 10173063 140736269993472 140736269993032 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 2457 1164 416 1460 0 988 0

[startup+0.0293 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 575
/proc/meminfo: memFree=27533364/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=19708 CPUtime=0.02 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 3681 0 0 0 2 0 0 0 20 0 1 0 285735102 20180992 3635 33554432000 4194304 10173063 140736269993472 140736269993032 8729513 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 4927 3635 416 1460 0 3458 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19708

[startup+0.100287 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 575
/proc/meminfo: memFree=27533364/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=55420 CPUtime=0.09 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 12592 0 0 0 8 1 0 0 20 0 1 0 285735102 56750080 12510 33554432000 4194304 10173063 140736269993472 140736269993032 4902229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 13855 12510 471 1460 0 12386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55420

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 575
/proc/meminfo: memFree=27533364/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=118392 CPUtime=0.29 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 27202 0 0 0 26 3 0 0 20 0 1 0 285735102 121233408 27107 33554432000 4194304 10173063 140736269993472 140736269993032 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 29598 27107 565 1460 0 28129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 118392

[startup+0.700243 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 575
/proc/meminfo: memFree=27533364/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=130760 CPUtime=0.69 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 31369 0 0 0 63 6 0 0 20 0 1 0 285735102 133898240 30162 33554432000 4194304 10173063 140736269993472 140736269989832 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 32690 30162 632 1460 0 31221 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130760

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 576
/proc/meminfo: memFree=27407496/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=140128 CPUtime=1.49 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 33545 0 0 0 142 7 0 0 20 0 1 0 285735102 143491072 32010 33554432000 4194304 10173063 140736269993472 140736269989832 5760629 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 35032 32010 669 1460 0 33563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140128

[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 576
/proc/meminfo: memFree=27407000/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=212364 CPUtime=3.09 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 49818 0 0 0 299 10 0 0 20 0 1 0 285735102 217460736 48388 33554432000 4194304 10173063 140736269993472 140736269989528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 53091 48388 780 1460 0 51622 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 212364

[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 576
/proc/meminfo: memFree=27335928/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=213908 CPUtime=6.29 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 51455 0 0 0 618 11 0 0 20 0 1 0 285735102 219041792 49970 33554432000 4194304 10173063 140736269993472 140736269984632 8007069 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 53477 49970 803 1460 0 52008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 213908

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 576
/proc/meminfo: memFree=27336516/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=213908 CPUtime=12.68 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 51458 0 0 0 1256 12 0 0 20 0 1 0 285735102 219041792 49973 33554432000 4194304 10173063 140736269993472 140736269984600 8023683 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 53477 49973 806 1460 0 52008 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 213908

[startup+25.5065 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 576
/proc/meminfo: memFree=27326732/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=225100 CPUtime=25.49 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 54660 0 0 0 2534 15 0 0 20 0 1 0 285735102 230502400 53160 33554432000 4194304 10173063 140736269993472 140736269988344 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 56275 53160 841 1460 0 54806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 225100

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 576
/proc/meminfo: memFree=27307036/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=245860 CPUtime=51.08 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 59923 0 0 0 5087 21 0 0 20 0 1 0 285735102 251760640 58148 33554432000 4194304 10173063 140736269993472 140736269986280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 61465 58148 842 1460 0 59996 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 245860

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 577
/proc/meminfo: memFree=27292404/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=260748 CPUtime=102.28 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 63799 0 0 0 10195 33 0 0 20 0 1 0 285735102 267005952 62016 33554432000 4194304 10173063 140736269993472 140736269989560 5903991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 65187 62016 850 1460 0 63718 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 260748

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 580
/proc/meminfo: memFree=27290852/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=261992 CPUtime=162.26 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 101697 0 0 0 16174 52 0 0 20 0 1 0 285735102 268279808 62218 33554432000 4194304 10173063 140736269993472 140736269986280 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 65498 62218 877 1460 0 64029 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 261992

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 580
/proc/meminfo: memFree=27282988/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=271132 CPUtime=222.26 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 103775 0 0 0 22164 62 0 0 20 0 1 0 285735102 277639168 64296 33554432000 4194304 10173063 140736269993472 140736269986120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 67783 64296 877 1460 0 66314 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 271132

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 580
/proc/meminfo: memFree=27276468/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=274040 CPUtime=282.24 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 108391 0 0 0 28151 73 0 0 20 0 1 0 285735102 280616960 65747 33554432000 4194304 10173063 140736269993472 140736269986136 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 68510 65747 877 1460 0 67041 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 274040

[startup+342.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 580
/proc/meminfo: memFree=27267216/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=278620 CPUtime=342.22 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 111226 0 0 0 34137 85 0 0 20 0 1 0 285735102 285306880 68094 33554432000 4194304 10173063 140736269993472 140736269989704 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 69655 68094 877 1460 0 68186 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 278620

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 581
/proc/meminfo: memFree=27267172/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=279384 CPUtime=402.21 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 116706 0 0 0 40123 98 0 0 20 0 1 0 285735102 286089216 68348 33554432000 4194304 10173063 140736269993472 140736269986696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 69846 68348 877 1460 0 68377 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 279384

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 581
/proc/meminfo: memFree=27265684/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=281760 CPUtime=462.2 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 122551 0 0 0 46108 112 0 0 20 0 1 0 285735102 288522240 68765 33554432000 4194304 10173063 140736269993472 140736269986728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 70440 68765 877 1460 0 68971 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 281760

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 581
/proc/meminfo: memFree=27152104/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=393016 CPUtime=522.19 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 155175 0 0 0 52089 130 0 0 20 0 1 0 285735102 402448384 96858 33554432000 4194304 10173063 140736269993472 140736269987112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 98254 96858 884 1460 0 96785 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 393016

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 581
/proc/meminfo: memFree=27157564/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=393016 CPUtime=582.18 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 155221 0 0 0 58076 142 0 0 20 0 1 0 285735102 402448384 96904 33554432000 4194304 10173063 140736269993472 140736269986776 7911539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 98254 96904 884 1460 0 96785 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 393016

[startup+642.3 s]

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

/proc/meminfo: memFree=27388616/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=405684 CPUtime=1002.12 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 160091 0 0 0 99990 222 0 0 20 0 1 0 285735102 415420416 99805 33554432000 4194304 10173063 140736269993472 140736269986184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 101421 99805 884 1460 0 99952 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 405684

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 739
/proc/meminfo: memFree=27295276/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1062.1 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191188 0 0 0 105908 302 0 0 20 0 1 0 285735102 507269120 122349 33554432000 4194304 10173063 140736269993472 140736269986776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122349 890 1460 0 122376 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 495380

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 739
/proc/meminfo: memFree=27294144/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1122.08 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 111882 326 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986824 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 495380

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 739
/proc/meminfo: memFree=27293352/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1182.08 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 117857 351 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269988296 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 495380

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 739
/proc/meminfo: memFree=27286268/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1242.07 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 123831 376 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269987112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 495380

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 740
/proc/meminfo: memFree=27286392/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1302.06 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 129805 401 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986200 5122973 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 495380

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 743
/proc/meminfo: memFree=27282568/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1362.06 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 135775 431 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269987112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 495380

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 743
/proc/meminfo: memFree=27280220/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1422.04 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 141746 458 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986728 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 495380

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=27238680/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1482.03 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 147717 486 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 495380

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=27238556/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1542.03 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 153688 515 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 495380

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

[startup+1561.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=27238556/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1561.43 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 155619 524 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269987112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1561.43
Current children cumulated vsize (KiB) 495380

[startup+1587.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=27238368/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1587.02 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 158168 534 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1587.02
Current children cumulated vsize (KiB) 495380

[startup+1593.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=27237608/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1593.41 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 158805 536 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1593.41
Current children cumulated vsize (KiB) 495380

[startup+1596.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 743
/proc/meminfo: memFree=27237608/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1596.62 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 159124 538 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1596.62
Current children cumulated vsize (KiB) 495380

[startup+1598.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 743
/proc/meminfo: memFree=27237616/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1598.22 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 159284 538 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269986728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1598.22
Current children cumulated vsize (KiB) 495380

[startup+1599.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 743
/proc/meminfo: memFree=27237616/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1599.02 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 159363 539 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269987112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1599.02
Current children cumulated vsize (KiB) 495380

[startup+1599.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 743
/proc/meminfo: memFree=27237476/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1599.42 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 159403 539 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269987112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1599.42
Current children cumulated vsize (KiB) 495380

[startup+1600.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 743
/proc/meminfo: memFree=27237476/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=495380 CPUtime=1599.82 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191191 0 0 0 159443 539 0 0 20 0 1 0 285735102 507269120 122767 33554432000 4194304 10173063 140736269993472 140736269987112 7550171 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123845 122767 890 1460 0 122376 0
Current children cumulated CPU time (s) 1599.82
Current children cumulated vsize (KiB) 495380

[startup+1600.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 743
/proc/meminfo: memFree=27237476/32873648 swapFree=7104/7104
[pid=575] ppid=573 vsize=493220 CPUtime=1599.92 cores=1,3,5,7
/proc/575/stat : 575 (scip-2.1.1.4fix) R 573 575 32675 0 -1 4202496 191193 0 0 0 159453 539 0 0 20 0 1 0 285735102 505057280 122244 33554432000 4194304 10173063 140736269993472 140736269987112 7550185 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/575/statm: 123305 122244 892 1460 0 121836 0
Current children cumulated CPU time (s) 1599.92
Current children cumulated vsize (KiB) 493220

Child status: 0
Real time (s): 1600.23
CPU time (s): 1599.96
CPU user time (s): 1594.56
CPU system time (s): 5.40318
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 497404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1594.56
system time used= 5.40318
maximum resident set size= 491076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191195
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= 45
involuntary context switches= 1642

runsolver used 2.38264 second user time and 6.601 second system time

The end

Begin job on node127 at 2012-05-28 11:08:16
IDJOB=3717551
IDBENCH=79050
IDSOLVER=2300
FILE ID=node127/3717551-1338196096
RUNJOBID= node127-1338192865-32692
PBS_JOBID= 14624582
Free space on /tmp= 71156 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717551-1338196096/watcher-3717551-1338196096 -o /tmp/evaluation-result-3717551-1338196096/solver-3717551-1338196096 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717551-1338196096.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 0f4cdf827473fd69202dfaa2ec82572c
RANDOM SEED=1247715988

node127.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.348
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	: 5332.69
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.348
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.91
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.348
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.94
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.348
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.348
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.348
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.91
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.348
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.348
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:       32873648 kB
MemFree:        27533892 kB
Buffers:          484072 kB
Cached:          3577812 kB
SwapCached:            0 kB
Active:          1648384 kB
Inactive:        2804304 kB
Active(anon):     393016 kB
Inactive(anon):        0 kB
Active(file):    1255368 kB
Inactive(file):  2804304 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14440 kB
Writeback:             0 kB
AnonPages:        396896 kB
Mapped:            17912 kB
Shmem:               200 kB
Slab:             744508 kB
SReclaimable:     188780 kB
SUnreclaim:       555728 kB
KernelStack:        1472 kB
PageTables:         4492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     507848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71144 MiB
End job on node127 at 2012-05-28 11:34:57