0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4508928-1751509683.opb>
0.00/0.04	c original problem has 7294 variables (7294 bin, 0 int, 0 impl, 0 cont) and 14468 constraints
0.00/0.04	c problem read in 0.04
0.00/0.08	o 0
0.00/0.08	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.08	c presolving:
0.09/0.12	c    (0.1s) running MILP presolver
0.20/0.23	c    (0.2s) MILP presolver found nothing
0.20/0.26	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 7234 upgd conss, 0 impls, 0 clqs
0.20/0.30	c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14468 upgd conss, 0 impls, 0 clqs
0.40/0.44	c (round 3, medium)     0 del vars, 7234 del conss, 23060 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14468 upgd conss, 0 impls, 23060 clqs
0.50/0.52	c (round 4, exhaustive) 0 del vars, 37528 del conss, 30294 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14468 upgd conss, 0 impls, 23060 clqs
1.28/1.39	c    (1.4s) probing: 1000/7294 (13.7%) - 0 fixings, 0 aggregations, 4604 implications, 0 bound changes
1.28/1.39	c    (1.4s) probing: 1001/7294 (13.7%) - 0 fixings, 0 aggregations, 4607 implications, 0 bound changes
1.28/1.39	c    (1.4s) probing aborted: 1000/1000 successive useless probings
1.28/1.39	c    (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.38/1.41	c    (1.4s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
1.38/1.43	c dynamic symmetry handling statistics:
1.38/1.43	c    orbitopal reduction:       no components
1.38/1.43	c    orbital reduction:         no components
1.38/1.43	c    lexicographic reduction:    1 permutations with support sizes 7266
1.38/1.43	c handled 1 out of 1 symmetry components
1.38/1.45	c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
1.38/1.45	c  0 deleted vars, 37528 deleted constraints, 30294 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.45	c  0 implications, 27667 cliques
1.38/1.45	c presolved problem has 7294 variables (7294 bin, 0 int, 0 impl, 0 cont) and 7234 constraints
1.38/1.45	c    7234 constraints of type <and>
1.38/1.45	c transformed objective value is always integral (scale: 1)
1.38/1.45	c Presolving Time: 1.37
1.38/1.45	c - non default parameters ----------------------------------------------------------------------
1.38/1.45	c # SCIP version 10.0.0
1.38/1.45	c 
1.38/1.45	c # maximal time in seconds to run
1.38/1.45	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.38/1.45	c limits/time = 3596.997013
1.38/1.45	c 
1.38/1.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.45	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.38/1.45	c limits/memory = 27900
1.38/1.45	c 
1.38/1.45	c # belongs reading time to solving time?
1.38/1.45	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.38/1.45	c timing/reading = TRUE
1.38/1.45	c 
1.38/1.45	c -----------------------------------------------------------------------------------------------
1.38/1.45	c start solving
1.38/1.45	c transformed 2/2 original solutions to the transformed problem space
1.38/1.45	c 
1.48/1.59	o -91
1.48/1.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.48/1.59	c p 1.6s|     1 |     0 |     0 |     - |   locks|   0 |7294 |7237 |  14k|   0 |  0 |   2 |   0 |-3.780280e+05 |-9.100000e+01 |  Large | unknown
1.57/1.63	o -422
1.57/1.63	c p 1.6s|     1 |     0 |     0 |     - | vbounds|   0 |7294 |7237 |  14k|   0 |  0 |   2 |   0 |-3.780280e+05 |-4.220000e+02 |  Large | unknown
1.57/1.66	o -1177
1.57/1.66	c p 1.7s|     1 |     0 |     0 |     - | vbounds|   0 |7294 |7237 |  14k|   0 |  0 |   2 |   0 |-3.780280e+05 |-1.177000e+03 |  Large | unknown
4.47/4.54	c   4.5s|     1 |     0 |  7980 |     - |   163M |   0 |7294 |7248 |  14k|   0 |  0 |  13 |   0 |-1.890140e+05 |-1.177000e+03 |  Large | unknown
4.47/4.56	o -5257
4.47/4.56	c r 4.6s|     1 |     0 |  7980 |     - |rounding|   0 |7294 |7249 |  14k|   0 |  0 |  14 |   0 |-1.890140e+05 |-5.257000e+03 |3495.47%| unknown
6.27/6.31	c   6.3s|     1 |     0 | 10038 |     - |   200M |   0 |7294 |7249 |  16k|2000 |  1 |  14 |   0 |-1.623300e+05 |-5.257000e+03 |2987.88%| unknown
14.54/14.62	c  14.6s|     1 |     0 | 11695 |     - |   274M |   0 |7294 |7250 |  17k|2757 |  2 |  15 |   0 |-1.540068e+05 |-5.257000e+03 |2829.56%| unknown
24.10/24.26	c  24.3s|     1 |     0 | 14022 |     - |   284M |   0 |7294 |7251 |  17k|3368 |  3 |  16 |   0 |-1.454153e+05 |-5.257000e+03 |2666.13%| unknown
33.57/33.70	c  33.7s|     1 |     0 | 16238 |     - |   294M |   0 |7294 |7252 |  18k|3915 |  4 |  17 |   0 |-1.366732e+05 |-5.257000e+03 |2499.83%| unknown
34.27/34.42	c  34.4s|     1 |     0 | 17480 |     - |   294M |   0 |7294 |7253 |  18k|4113 |  5 |  18 |   0 |-1.326092e+05 |-5.257000e+03 |2422.53%| unknown
44.34/44.50	c  44.5s|     1 |     0 | 20030 |     - |   310M |   0 |7294 |7253 |  19k|4597 |  6 |  18 |   0 |-1.249459e+05 |-5.257000e+03 |2276.75%| unknown
52.81/53.06	c  53.1s|     1 |     0 | 21778 |     - |   311M |   0 |7294 |7254 |  19k|4780 |  7 |  19 |   0 |-1.209945e+05 |-5.257000e+03 |2201.59%| unknown
54.20/54.40	c  54.4s|     1 |     0 | 23609 |     - |   311M |   0 |7294 |7256 |  20k|6279 |  8 |  21 |   0 |-1.145892e+05 |-5.257000e+03 |2079.75%| unknown
66.07/66.36	c  66.4s|     1 |     0 | 29823 |     - |   331M |   0 |7294 |7257 |  21k|6819 |  9 |  22 |   0 |-9.367296e+04 |-5.257000e+03 |1681.87%| unknown
77.74/78.02	c  78.0s|     1 |     0 | 33780 |     - |   337M |   0 |7294 |7259 |  21k|7466 | 10 |  24 |   0 |-8.602822e+04 |-5.257000e+03 |1536.45%| unknown
89.90/90.28	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
89.90/90.28	c  90.3s|     1 |     0 | 38823 |     - |   344M |   0 |7294 |7259 |  22k|7905 | 11 |  24 |   0 |-8.034907e+04 |-5.257000e+03 |1428.42%| unknown
102.06/102.46	c   102s|     1 |     0 | 41739 |     - |   348M |   0 |7294 |7260 |  22k|8335 | 12 |  25 |   0 |-7.751724e+04 |-5.257000e+03 |1374.55%| unknown
104.05/104.48	c   104s|     1 |     0 | 43688 |     - |   355M |   0 |7294 |7261 |  23k|8677 | 13 |  26 |   0 |-7.635995e+04 |-5.257000e+03 |1352.54%| unknown
105.26/105.66	c   106s|     1 |     0 | 44726 |     - |   358M |   0 |7294 |7262 |  23k|8806 | 14 |  27 |   0 |-7.589574e+04 |-5.257000e+03 |1343.71%| unknown
106.25/106.61	c   107s|     1 |     0 | 45593 |     - |   360M |   0 |7294 |7262 |  23k|8853 | 15 |  27 |   0 |-7.571080e+04 |-5.257000e+03 |1340.19%| unknown
107.25/107.69	c   108s|     1 |     0 | 46467 |     - |   364M |   0 |7294 |7262 |  23k|8935 | 16 |  27 |   0 |-7.549041e+04 |-5.257000e+03 |1336.00%| unknown
108.75/109.13	c   109s|     1 |     0 | 47789 |     - |   377M |   0 |7294 |7263 |  23k|9019 | 17 |  28 |   0 |-7.515998e+04 |-5.257000e+03 |1329.71%| unknown
109.74/110.16	c   110s|     1 |     0 | 48585 |     - |   379M |   0 |7294 |7264 |  23k|9086 | 18 |  29 |   0 |-7.506288e+04 |-5.257000e+03 |1327.87%| unknown
111.03/111.40	c   111s|     1 |     0 | 49930 |     - |   383M |   0 |7294 |7265 |  23k|9194 | 19 |  30 |   0 |-7.485588e+04 |-5.257000e+03 |1323.93%| unknown
112.13/112.53	c   113s|     1 |     0 | 50946 |     - |   385M |   0 |7294 |7266 |  23k|9234 | 20 |  31 |   0 |-7.471967e+04 |-5.257000e+03 |1321.34%| unknown
113.22/113.61	c   114s|     1 |     0 | 51845 |     - |   390M |   0 |7294 |7267 |  23k|9272 | 21 |  32 |   0 |-7.460239e+04 |-5.257000e+03 |1319.11%| unknown
114.02/114.42	c   114s|     1 |     0 | 52335 |     - |   392M |   0 |7294 |7268 |  23k|9312 | 22 |  33 |   0 |-7.451593e+04 |-5.257000e+03 |1317.46%| unknown
115.22/115.60	c   116s|     1 |     0 | 53452 |     - |   395M |   0 |7294 |7268 |  22k|9354 | 23 |  33 |   0 |-7.440857e+04 |-5.257000e+03 |1315.42%| unknown
115.72/116.12	c   116s|     1 |     0 | 53793 |     - |   395M |   0 |7294 |7269 |  22k|9404 | 24 |  34 |   0 |-7.436904e+04 |-5.257000e+03 |1314.67%| unknown
116.31/116.71	c   117s|     1 |     0 | 54050 |     - |   395M |   0 |7294 |7270 |  22k|9437 | 25 |  35 |   0 |-7.435197e+04 |-5.257000e+03 |1314.34%| unknown
116.81/117.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
116.81/117.29	c   117s|     1 |     0 | 54358 |     - |   395M |   0 |7294 |7271 |  22k|9493 | 26 |  36 |   0 |-7.433735e+04 |-5.257000e+03 |1314.06%| unknown
117.31/117.79	c   118s|     1 |     0 | 54447 |     - |   396M |   0 |7294 |7272 |  22k|9629 | 27 |  37 |   0 |-7.433497e+04 |-5.257000e+03 |1314.02%| unknown
117.81/118.25	c   118s|     1 |     0 | 54467 |     - |   396M |   0 |7294 |7272 |  22k|9633 | 28 |  37 |   0 |-7.433480e+04 |-5.257000e+03 |1314.02%| unknown
131.16/131.64	o -6326
131.16/131.64	c d 132s|     1 |     0 | 80646 |     - |farkasdi|   0 |7294 |7273 |  22k|   0 | 29 |  38 |   0 |-7.433480e+04 |-6.326000e+03 |1075.07%| unknown
141.33/141.87	o -9361
141.33/141.87	c d 142s|     1 |     0 |104132 |     - |conflict|   0 |7294 |7273 |  22k|   0 | 29 |  38 |   0 |-7.433480e+04 |-9.361000e+03 | 694.09%| unknown
141.44/141.96	c   142s|     1 |     0 |104132 |     - |   397M |   0 |7294 |7273 |  22k|9633 | 29 |  38 |   0 |-7.433480e+04 |-9.361000e+03 | 694.09%| unknown
141.93/142.41	c   142s|     1 |     0 |104134 |     - |   397M |   0 |7294 |7273 |  22k|9634 | 30 |  38 |   0 |-7.433480e+04 |-9.361000e+03 | 694.09%| unknown
155.49/156.03	c   156s|     1 |     2 |104135 |     - |   398M |   0 |7294 |7273 |  22k|9634 | 31 |  38 |  22 |-7.324244e+04 |-9.361000e+03 | 682.42%| unknown
262.14/263.03	o -10721
262.14/263.03	c d 263s|    10 |    11 |149012 |10504.8 |pscostdi|   6 |7294 |7273 |  21k|   0 |  2 |  38 | 205 |-6.894576e+04 |-1.072100e+04 | 543.09%| unknown
266.62/267.52	o -10754
266.62/267.52	c d 268s|    11 |    12 |157940 |10347.1 |adaptive|   6 |7294 |7273 |  21k|   0 |  1 |  38 | 205 |-6.894576e+04 |-1.075400e+04 | 541.12%| unknown
373.28/374.51	c   375s|   100 |    63 |232770 |1801.0 |   633M |  48 |7294 |7273 |  22k|  16k|  0 |  38 | 269 |-6.883133e+04 |-1.075400e+04 | 540.05%| unknown
434.07/435.57	c   436s|   200 |    81 |297677 |1222.2 |   647M |  52 |7294 |7275 |  22k|  19k|  0 |  40 | 330 |-6.527009e+04 |-1.075400e+04 | 506.94%| unknown
530.55/532.31	c   532s|   300 |    99 |397341 |1146.7 |   650M |  53 |7294 |7280 |  22k|  25k|  0 |  45 | 420 |-6.478491e+04 |-1.075400e+04 | 502.43%| unknown
552.37/554.25	c   554s|   400 |   103 |427334 | 934.5 |   652M |  53 |7294 |7280 |  22k|  26k|  4 |  45 | 466 |-6.267667e+04 |-1.075400e+04 | 482.82%| unknown
588.55/590.52	c   591s|   500 |   109 |458423 | 809.5 |   673M |  53 |7294 |7282 |  22k|  28k|  1 |  47 | 524 |-6.190906e+04 |-1.075400e+04 | 475.68%| unknown
614.07/616.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
614.07/616.12	c   616s|   600 |   113 |491745 | 730.0 |   674M |  53 |7294 |7284 |  22k|  30k|  2 |  49 | 540 |-6.064973e+04 |-1.075400e+04 | 463.97%| unknown
629.91/632.02	c   632s|   700 |   121 |515036 | 658.9 |   678M |  53 |7294 |7285 |  22k|  31k|  2 |  50 | 564 |-6.013540e+04 |-1.075400e+04 | 459.19%| unknown
643.76/645.95	c   646s|   800 |   127 |525863 | 590.0 |   686M |  54 |7294 |7286 |  22k|  31k|  1 |  51 | 575 |-5.992450e+04 |-1.075400e+04 | 457.23%| unknown
693.19/695.57	c   696s|   900 |   137 |545007 | 545.6 |   710M |  54 |7294 |7286 |  22k|  32k|  1 |  51 | 606 |-5.991450e+04 |-1.075400e+04 | 457.14%| unknown
695.49/697.87	c   698s|  1000 |   133 |546687 | 492.7 |   710M |  55 |7294 |7286 |  22k|  32k|  0 |  51 | 633 |-5.991450e+04 |-1.075400e+04 | 457.14%| unknown
879.19/882.15	c   882s|  1100 |   155 |625775 | 519.8 |   756M |  55 |7294 |7287 |  22k|  36k|  0 |  52 | 706 |-5.902150e+04 |-1.075400e+04 | 448.83%| unknown
936.50/939.62	c   940s|  1200 |   161 |650614 | 497.2 |   765M |  55 |7294 |7289 |  22k|  37k|  0 |  54 | 713 |-5.887650e+04 |-1.075400e+04 | 447.48%| unknown
1192.78/1196.87	c  1197s|  1300 |   187 |781139 | 559.4 |   803M |  55 |7294 |7293 |  22k|  44k|  1 |  58 | 813 |-5.699033e+04 |-1.075400e+04 | 429.95%| unknown
1226.75/1230.97	c  1231s|  1400 |   193 |799468 | 532.5 |   815M |  55 |7294 |7294 |  22k|  44k|  0 |  59 | 833 |-5.600717e+04 |-1.075400e+04 | 420.80%| unknown
1524.06/1529.35	o -10804
1524.06/1529.35	c d1529s|  1456 |   216 |953560 | 617.9 |linesear|  55 |7294 |7295 |  23k|   0 |  6 |  60 | 940 |-5.574217e+04 |-1.080400e+04 | 415.94%| unknown
1640.33/1646.04	c  1646s|  1500 |   220 |  1010k| 637.7 |   879M |  55 |7294 |7295 |  22k|  52k|  0 |  60 | 988 |-5.518350e+04 |-1.080400e+04 | 410.77%| unknown
1806.42/1812.77	c  1813s|  1600 |   230 |  1082k| 642.9 |   910M |  55 |7294 |7297 |  22k|  54k|  0 |  62 |1026 |-5.506017e+04 |-1.080400e+04 | 409.63%| unknown
2188.50/2196.27	c  2196s|  1700 |   254 |  1278k| 720.3 |   962M |  55 |7294 |7297 |  22k|  61k|  1 |  62 |1151 |-5.489480e+04 |-1.080400e+04 | 408.10%| unknown
2608.01/2617.12	c  2617s|  1800 |   280 |  1486k| 795.9 |  1035M |  55 |7294 |7297 |  22k|  68k|  0 |  62 |1289 |-5.462458e+04 |-1.080400e+04 | 405.60%| unknown
2752.78/2762.36	c  2762s|  1900 |   288 |  1555k| 790.3 |  1065M |  55 |7294 |7297 |  22k|  70k|  1 |  62 |1341 |-5.459650e+04 |-1.080400e+04 | 405.34%| unknown
3089.61/3100.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3089.61/3100.18	c  3100s|  2000 |   304 |  1727k| 837.1 |  1127M |  55 |7294 |7297 |  23k|  75k|  1 |  62 |1440 |-5.450544e+04 |-1.080400e+04 | 404.49%| unknown
3105.56/3116.18	c  3116s|  2100 |   308 |  1733k| 800.0 |  1153M |  55 |7294 |7300 |  22k|  75k|  1 |  65 |1481 |-5.450544e+04 |-1.080400e+04 | 404.49%| unknown
3331.50/3342.79	c  3343s|  2200 |   314 |  1843k| 813.6 |  1176M |  55 |7294 |7300 |  22k|  79k|  0 |  65 |1554 |-5.433072e+04 |-1.080400e+04 | 402.88%| unknown
3584.90/3597.00	c 
3584.90/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3584.90/3597.00	c Solving Time (sec) : 3597.00
3584.90/3597.00	c Solving Nodes      : 2263
3584.90/3597.00	c Primal Bound       : -1.08040000000000e+04 (88 solutions)
3584.90/3597.00	c Dual Bound         : -5.41265138888889e+04
3584.90/3597.00	c Gap                : 400.99 %
3584.90/3597.01	s SATISFIABLE
3584.90/3597.01	v 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 x35 x34 x33 -x32 
3584.90/3597.01	v -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 -x21 x20 x19 -x18 x17 -x16 x15 -x14 x13 x12 x11 x10 -x9 -x8 x7 -x6 x5 x4 
3584.90/3597.01	v -x3 -x2 x1 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 x7279 -x7278 
3584.90/3597.01	v -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 
3584.90/3597.01	v -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 
3584.90/3597.01	v -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229 x7228 -x7227 -x7226 -x7225 -x7224 
3584.90/3597.01	v -x7223 x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 
3584.90/3597.01	v -x7205 -x7204 x7203 -x7202 -x7201 -x7200 -x7199 -x7198 x7197 -x7196 -x7195 -x7194 -x7193 -x7192 x7191 -x7190 -x7189 -x7188 
3584.90/3597.01	v -x7187 -x7186 -x7185 x7184 -x7183 -x7182 -x7181 -x7180 -x7179 x7178 -x7177 x7176 -x7175 -x7174 -x7173 -x7172 x7171 -x7170 
3584.90/3597.01	v -x7169 -x7168 -x7167 -x7166 x7165 -x7164 x7163 x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 
3584.90/3597.01	v -x7150 -x7149 -x7148 -x7147 -x7146 x7145 -x7144 -x7143 -x7142 -x7141 -x7140 x7139 -x7138 x7137 x7136 x7135 -x7134 -x7133 
3584.90/3597.01	v x7132 -x7131 -x7130 -x7129 -x7128 -x7127 x7126 -x7125 x7124 x7123 x7122 -x7121 x7120 x7119 -x7118 -x7117 -x7116 -x7115 -x7114 
3584.90/3597.01	v x7113 -x7112 x7111 x7110 x7109 -x7108 x7107 x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 
3584.90/3597.01	v -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 x7087 -x7086 x7085 x7084 x7083 -x7082 x7081 x7080 x7079 -x7078 -x7077 -x7076 
3584.90/3597.01	v -x7075 x7074 -x7073 x7072 x7071 x7070 -x7069 x7068 x7067 x7066 -x7065 x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 
3584.90/3597.01	v -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 x7048 -x7047 x7046 x7045 x7044 -x7043 x7042 x7041 x7040 -x7039 
3584.90/3597.01	v x7038 x7037 -x7036 x7035 -x7034 x7033 x7032 x7031 -x7030 x7029 x7028 x7027 -x7026 x7025 x7024 -x7023 x7022 -x7021 x7020 x7019 
3584.90/3597.01	v x7018 -x7017 x7016 x7015 x7014 -x7013 x7012 x7011 -x7010 x7009 x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 
3584.90/3597.01	v -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 
3584.90/3597.01	v -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 
3584.90/3597.01	v -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 
3584.90/3597.01	v -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 x6937 x6936 -x6935 x6934 x6933 -x6932 x6931 x6930 x6929 -x6928 -x6927 
3584.90/3597.01	v -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 
3584.90/3597.01	v -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 x6895 x6894 -x6893 x6892 x6891 
3584.90/3597.01	v x6890 -x6889 -x6888 -x6887 -x6886 -x6885 x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 
3584.90/3597.01	v -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 
3584.90/3597.01	v -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 x6839 x6838 -x6837 
3584.90/3597.01	v -x6836 -x6835 -x6834 -x6833 x6832 -x6831 -x6830 x6829 -x6828 -x6827 -x6826 x6825 -x6824 -x6823 -x6822 -x6821 -x6820 x6819 -x6818 
3584.90/3597.01	v -x6817 x6816 -x6815 -x6814 -x6813 x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 
3584.90/3597.01	v -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 x6793 -x6792 -x6791 x6790 -x6789 -x6788 -x6787 x6786 x6785 -x6784 -x6783 -x6782 
3584.90/3597.01	v -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 x6767 -x6766 -x6765 x6764 
3584.90/3597.01	v -x6763 -x6762 -x6761 x6760 x6759 -x6758 x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 
3584.90/3597.01	v -x6744 -x6743 -x6742 x6741 -x6740 -x6739 x6738 -x6737 -x6736 -x6735 x6734 x6733 -x6732 x6731 -x6730 x6729 -x6728 -x6727 
3584.90/3597.01	v -x6726 x6725 -x6724 -x6723 -x6722 x6721 x6720 -x6719 x6718 -x6717 x6716 -x6715 x6714 -x6713 x6712 -x6711 -x6710 -x6709 x6708 
3584.90/3597.01	v x6707 -x6706 x6705 -x6704 x6703 -x6702 x6701 x6700 x6699 -x6698 -x6697 -x6696 x6695 x6694 -x6693 x6692 -x6691 x6690 -x6689 x6688 
3584.90/3597.01	v x6687 x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 
3584.90/3597.01	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 x6656 x6655 -x6654 x6653 -x6652 
3584.90/3597.01	v x6651 -x6650 x6649 x6648 x6647 x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 
3584.90/3597.01	v -x6632 -x6631 -x6630 x6629 -x6628 x6627 -x6626 x6625 -x6624 x6623 x6622 x6621 x6620 -x6619 -x6618 x6617 -x6616 -x6615 x6614 
3584.90/3597.01	v -x6613 x6612 -x6611 x6610 x6609 x6608 x6607 -x6606 -x6605 x6604 -x6603 x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 
3584.90/3597.01	v -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 
3584.90/3597.01	v -x6576 -x6575 -x6574 x6573 -x6572 x6571 x6570 x6569 x6568 -x6567 -x6566 x6565 -x6564 x6563 x6562 -x6561 -x6560 -x6559 -x6558 
3584.90/3597.01	v -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 
3584.90/3597.01	v -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 
3584.90/3597.01	v -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 
3584.90/3597.01	v -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 
3584.90/3597.01	v -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 
3584.90/3597.01	v -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 
3584.90/3597.01	v -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 
3584.90/3597.01	v -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 
3584.90/3597.01	v -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 
3584.90/3597.01	v -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 
3584.90/3597.01	v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 
3584.90/3597.01	v -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 
3584.90/3597.01	v -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 
3584.90/3597.01	v -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 
3584.90/3597.01	v -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 
3584.90/3597.01	v -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 
3584.90/3597.01	v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 
3584.90/3597.01	v -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 
3584.90/3597.01	v -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 
3584.90/3597.01	v -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 
3584.90/3597.01	v -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 x6186 -x6185 -x6184 -x6183 
3584.90/3597.01	v -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 
3584.90/3597.01	v -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 
3584.90/3597.01	v -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 x6138 -x6137 -x6136 -x6135 -x6134 -x6133 x6132 -x6131 -x6130 -x6129 
3584.90/3597.01	v -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 
3584.90/3597.01	v -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 
3584.90/3597.01	v -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 
3584.90/3597.01	v -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 
3584.90/3597.01	v -x6057 x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 
3584.90/3597.01	v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 x6033 -x6032 -x6031 -x6030 -x6029 -x6028 x6027 -x6026 -x6025 -x6024 -x6023 -x6022 
3584.90/3597.01	v -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 
3584.90/3597.01	v -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 
3584.90/3597.01	v -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 
3584.90/3597.01	v -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 x5958 -x5957 -x5956 -x5955 -x5954 -x5953 x5952 -x5951 -x5950 
3584.90/3597.01	v -x5949 -x5948 -x5947 x5946 -x5945 -x5944 -x5943 -x5942 -x5941 x5940 -x5939 x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 
3584.90/3597.01	v -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 
3584.90/3597.01	v -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 
3584.90/3597.01	v -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 
3584.90/3597.01	v -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 
3584.90/3597.01	v -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 
3584.90/3597.01	v -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 
3584.90/3597.01	v -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 
3584.90/3597.01	v -x5806 x5805 -x5804 -x5803 -x5802 -x5801 -x5800 x5799 -x5798 -x5797 -x5796 x5795 -x5794 -x5793 -x5792 -x5791 -x5790 x5789 -x5788 
3584.90/3597.01	v x5787 -x5786 -x5785 x5784 -x5783 -x5782 -x5781 -x5780 -x5779 x5778 -x5777 x5776 x5775 -x5774 -x5773 -x5772 -x5771 -x5770 
3584.90/3597.01	v -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 
3584.90/3597.01	v -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 
3584.90/3597.01	v -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 x5726 -x5725 -x5724 -x5723 -x5722 x5721 -x5720 -x5719 x5718 -x5717 -x5716 
3584.90/3597.01	v -x5715 -x5714 -x5713 x5712 -x5711 x5710 -x5709 x5708 -x5707 -x5706 -x5705 -x5704 -x5703 x5702 -x5701 x5700 x5699 -x5698 -x5697 
3584.90/3597.01	v -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 x5685 -x5684 -x5683 -x5682 -x5681 -x5680 x5679 
3584.90/3597.01	v -x5678 x5677 x5676 x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 
3584.90/3597.01	v -x5659 x5658 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 x5646 -x5645 -x5644 -x5643 -x5642 
3584.90/3597.01	v x5641 -x5640 x5639 -x5638 -x5637 -x5636 -x5635 x5634 -x5633 x5632 x5631 -x5630 -x5629 -x5628 -x5627 -x5626 x5625 -x5624 
3584.90/3597.01	v x5623 x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 x5610 -x5609 -x5608 -x5607 -x5606 -x5605 
3584.90/3597.01	v x5604 -x5603 x5602 x5601 x5600 -x5599 x5598 -x5597 -x5596 -x5595 -x5594 -x5593 x5592 -x5591 x5590 x5589 x5588 -x5587 x5586 
3584.90/3597.01	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
3584.90/3597.01	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 
3584.90/3597.01	v -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 
3584.90/3597.01	v -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 
3584.90/3597.01	v -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 
3584.90/3597.01	v -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 
3584.90/3597.01	v x5478 -x5477 -x5476 -x5475 -x5474 x5473 -x5472 x5471 -x5470 -x5469 -x5468 x5467 -x5466 x5465 x5464 -x5463 -x5462 -x5461 -x5460 
3584.90/3597.01	v -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 x5451 -x5450 x5449 x5448 x5447 -x5446 -x5445 -x5444 -x5443 -x5442 
3584.90/3597.01	v x5441 -x5440 x5439 x5438 x5437 -x5436 x5435 -x5434 -x5433 -x5432 -x5431 x5430 -x5429 x5428 x5427 x5426 -x5425 x5424 x5423 -x5422 
3584.90/3597.01	v -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 
3584.90/3597.01	v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 x5396 -x5395 -x5394 -x5393 -x5392 x5391 -x5390 x5389 -x5388 -x5387 x5386 
3584.90/3597.01	v -x5385 x5384 x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 x5372 x5371 x5370 x5369 -x5368 -x5367 
3584.90/3597.01	v -x5366 -x5365 x5364 -x5363 x5362 x5361 x5360 -x5359 x5358 -x5357 -x5356 -x5355 x5354 -x5353 x5352 x5351 x5350 -x5349 x5348 
3584.90/3597.01	v x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 x5331 -x5330 
3584.90/3597.01	v x5329 x5328 x5327 -x5326 x5325 x5324 x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 
3584.90/3597.01	v -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 
3584.90/3597.01	v -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 
3584.90/3597.01	v -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 
3584.90/3597.01	v -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 
3584.90/3597.01	v -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 x5229 -x5228 -x5227 x5226 -x5225 x5224 -x5223 x5222 -x5221 
3584.90/3597.01	v x5220 x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 x5212 -x5211 x5210 x5209 x5208 -x5207 -x5206 x5205 x5204 x5203 x5202 
3584.90/3597.01	v -x5201 x5200 -x5199 x5198 -x5197 x5196 x5195 -x5194 x5193 x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 
3584.90/3597.01	v -x5182 -x5181 x5180 -x5179 x5178 x5177 x5176 -x5175 x5174 x5173 x5172 -x5171 -x5170 x5169 -x5168 x5167 x5166 x5165 -x5164 
3584.90/3597.01	v x5163 x5162 x5161 -x5160 x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 
3584.90/3597.01	v x5144 -x5143 x5142 -x5141 x5140 x5139 -x5138 x5137 x5136 -x5135 -x5134 -x5133 -x5132 -x5131 x5130 -x5129 x5128 x5127 x5126 
3584.90/3597.01	v -x5125 -x5124 x5123 x5122 x5121 -x5120 x5119 x5118 -x5117 x5116 x5115 -x5114 x5113 x5112 -x5111 -x5110 -x5109 -x5108 -x5107 
3584.90/3597.01	v -x5106 -x5105 -x5104 x5103 -x5102 x5101 x5100 x5099 -x5098 x5097 x5096 x5095 -x5094 x5093 -x5092 x5091 x5090 x5089 -x5088 
3584.90/3597.01	v x5087 x5086 x5085 -x5084 x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 x5070 -x5069 
3584.90/3597.01	v x5068 x5067 x5066 -x5065 x5064 x5063 x5062 -x5061 x5060 x5059 -x5058 -x5057 -x5056 x5055 -x5054 x5053 x5052 -x5051 -x5050 
3584.90/3597.01	v -x5049 -x5048 -x5047 x5046 x5045 x5044 -x5043 -x5042 x5041 x5040 x5039 -x5038 x5037 x5036 x5035 x5034 -x5033 x5032 x5031 -x5030 
3584.90/3597.01	v -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 x5022 x5021 x5020 x5019 x5018 x5017 -x5016 -x5015 x5014 x5013 x5012 -x5011 
3584.90/3597.01	v x5010 x5009 x5008 -x5007 x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 x4993 x4992 
3584.90/3597.01	v x4991 -x4990 x4989 x4988 x4987 -x4986 x4985 x4984 -x4983 -x4982 x4981 x4980 x4979 -x4978 x4977 x4976 x4975 -x4974 x4973 x4972 
3584.90/3597.01	v -x4971 x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 
3584.90/3597.01	v -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 
3584.90/3597.01	v -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 
3584.90/3597.01	v -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 
3584.90/3597.01	v -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 
3584.90/3597.01	v -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 
3584.90/3597.01	v -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 
3584.90/3597.01	v -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 
3584.90/3597.01	v -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 
3584.90/3597.01	v -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 
3584.90/3597.01	v -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 
3584.90/3597.01	v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 
3584.90/3597.01	v -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 
3584.90/3597.01	v -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 
3584.90/3597.01	v -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 
3584.90/3597.01	v -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
3584.90/3597.01	v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 
3584.90/3597.01	v -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 
3584.90/3597.01	v -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 
3584.90/3597.01	v -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 
3584.90/3597.01	v -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 
3584.90/3597.01	v -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 
3584.90/3597.01	v -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 
3584.90/3597.01	v -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 
3584.90/3597.01	v -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 x4529 -x4528 -x4527 x4526 x4525 
3584.90/3597.01	v -x4524 x4523 x4522 -x4521 x4520 -x4519 -x4518 -x4517 -x4516 -x4515 x4514 x4513 -x4512 x4511 x4510 -x4509 x4508 -x4507 x4506 
3584.90/3597.01	v x4505 -x4504 x4503 x4502 x4501 x4500 x4499 -x4498 x4497 x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 
3584.90/3597.01	v -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
3584.90/3597.01	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
3584.90/3597.01	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 
3584.90/3597.01	v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 
3584.90/3597.01	v -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 
3584.90/3597.01	v -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 
3584.90/3597.01	v -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 
3584.90/3597.01	v -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 
3584.90/3597.01	v -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 
3584.90/3597.01	v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 
3584.90/3597.01	v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 
3584.90/3597.01	v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 
3584.90/3597.01	v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 x4265 -x4264 -x4263 x4262 x4261 -x4260 x4259 x4258 -x4257 x4256 x4255 x4254 
3584.90/3597.01	v -x4253 x4252 x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 
3584.90/3597.01	v -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 
3584.90/3597.01	v -x4217 -x4216 -x4215 -x4214 x4213 x4212 -x4211 x4210 x4209 x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 
3584.90/3597.01	v -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 
3584.90/3597.01	v -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 
3584.90/3597.01	v -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 
3584.90/3597.01	v -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 
3584.90/3597.01	v -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 
3584.90/3597.01	v -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 
3584.90/3597.01	v -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 
3584.90/3597.01	v -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 
3584.90/3597.01	v -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 
3584.90/3597.01	v -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 
3584.90/3597.01	v -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 
3584.90/3597.01	v -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 
3584.90/3597.01	v -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 
3584.90/3597.01	v -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 
3584.90/3597.01	v -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 
3584.90/3597.01	v -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 
3584.90/3597.01	v x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 
3584.90/3597.01	v -x3895 -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 
3584.90/3597.01	v -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 x3871 x3870 -x3869 -x3868 -x3867 -x3866 -x3865 x3864 -x3863 -x3862 -x3861 -x3860 -x3859 
3584.90/3597.01	v -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 
3584.90/3597.01	v -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 
3584.90/3597.01	v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 x3810 -x3809 -x3808 -x3807 -x3806 
3584.90/3597.01	v -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 x3791 -x3790 -x3789 -x3788 
3584.90/3597.01	v -x3787 x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 
3584.90/3597.01	v -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 
3584.90/3597.01	v -x3751 x3750 -x3749 -x3748 -x3747 -x3746 -x3745 x3744 -x3743 -x3742 x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 
3584.90/3597.01	v -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 
3584.90/3597.01	v -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 
3584.90/3597.01	v -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 
3584.90/3597.01	v -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 
3584.90/3597.01	v -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 
3584.90/3597.01	v -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 
3584.90/3597.01	v x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 
3584.90/3597.01	v -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 x3593 -x3592 -x3591 x3590 
3584.90/3597.01	v -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 x3582 -x3581 -x3580 x3579 -x3578 -x3577 -x3576 x3575 -x3574 -x3573 -x3572 
3584.90/3597.01	v -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 
3584.90/3597.01	v -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 
3584.90/3597.01	v -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 
3584.90/3597.01	v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 
3584.90/3597.01	v -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 
3584.90/3597.01	v -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 
3584.90/3597.01	v -x3464 -x3463 -x3462 x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 
3584.90/3597.01	v -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 x3437 -x3436 x3435 -x3434 -x3433 -x3432 -x3431 -x3430 x3429 -x3428 
3584.90/3597.01	v -x3427 x3426 -x3425 -x3424 -x3423 x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 
3584.90/3597.01	v -x3409 x3408 -x3407 -x3406 x3405 -x3404 -x3403 -x3402 x3401 x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 
3584.90/3597.01	v -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 
3584.90/3597.01	v -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 
3584.90/3597.01	v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 
3584.90/3597.01	v -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 
3584.90/3597.01	v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
3584.90/3597.01	v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
3584.90/3597.01	v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 x3274 -x3273 -x3272 -x3271 x3270 -x3269 x3268 -x3267 -x3266 
3584.90/3597.01	v -x3265 x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 x3255 -x3254 -x3253 x3252 -x3251 -x3250 -x3249 x3248 
3584.90/3597.01	v x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 x3234 -x3233 -x3232 x3231 -x3230 
3584.90/3597.01	v -x3229 -x3228 x3227 x3226 -x3225 x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 
3584.90/3597.01	v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 
3584.90/3597.01	v x3192 -x3191 -x3190 -x3189 -x3188 x3187 -x3186 -x3185 -x3184 x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 
3584.90/3597.01	v -x3174 x3173 -x3172 -x3171 x3170 x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 
3584.90/3597.01	v -x3156 x3155 -x3154 -x3153 -x3152 x3151 x3150 -x3149 x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 
3584.90/3597.01	v -x3137 -x3136 -x3135 -x3134 -x3133 x3132 -x3131 -x3130 -x3129 x3128 x3127 -x3126 x3125 -x3124 x3123 -x3122 -x3121 -x3120 
3584.90/3597.01	v -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 x3110 -x3109 -x3108 -x3107 -x3106 x3105 -x3104 -x3103 -x3102 
3584.90/3597.01	v x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 x3093 -x3092 -x3091 x3090 x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 
3584.90/3597.01	v -x3082 -x3081 -x3080 -x3079 x3078 -x3077 -x3076 -x3075 x3074 x3073 -x3072 x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 
3584.90/3597.01	v -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 x3057 -x3056 -x3055 -x3054 x3053 x3052 -x3051 x3050 -x3049 x3048 -x3047 -x3046 
3584.90/3597.01	v x3045 -x3044 -x3043 -x3042 x3041 x3040 -x3039 x3038 -x3037 x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 
3584.90/3597.01	v x3027 -x3026 -x3025 -x3024 x3023 -x3022 -x3021 -x3020 x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 x3009 
3584.90/3597.01	v x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 x2999 -x2998 -x2997 -x2996 x2995 -x2994 x2993 -x2992 -x2991 
3584.90/3597.01	v -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 x2981 -x2980 -x2979 -x2978 x2977 x2976 -x2975 x2974 -x2973 x2972 
3584.90/3597.01	v -x2971 x2970 -x2969 -x2968 -x2967 x2966 x2965 -x2964 x2963 -x2962 x2961 -x2960 x2959 x2958 -x2957 -x2956 -x2955 x2954 x2953 
3584.90/3597.01	v -x2952 x2951 -x2950 x2949 -x2948 x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 
3584.90/3597.01	v -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 
3584.90/3597.01	v -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 
3584.90/3597.01	v -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
3584.90/3597.01	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
3584.90/3597.01	v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
3584.90/3597.01	v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
3584.90/3597.01	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 
3584.90/3597.01	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 
3584.90/3597.01	v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 
3584.90/3597.01	v -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 x2767 -x2766 -x2765 -x2764 -x2763 x2762 x2761 -x2760 -x2759 -x2758 -x2757 -x2756 
3584.90/3597.01	v -x2755 -x2754 x2753 x2752 -x2751 x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 x2741 -x2740 x2739 -x2738 x2737 
3584.90/3597.01	v -x2736 -x2735 x2734 x2733 -x2732 -x2731 x2730 -x2729 x2728 -x2727 x2726 x2725 -x2724 x2723 -x2722 x2721 -x2720 x2719 x2718 
3584.90/3597.01	v -x2717 x2716 x2715 -x2714 x2713 -x2712 x2711 -x2710 x2709 x2708 x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 
3584.90/3597.01	v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 
3584.90/3597.01	v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 
3584.90/3597.01	v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 
3584.90/3597.01	v -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 
3584.90/3597.01	v -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 
3584.90/3597.01	v -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 x2592 -x2591 
3584.90/3597.01	v -x2590 -x2589 -x2588 x2587 -x2586 x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 x2578 -x2577 x2576 -x2575 x2574 -x2573 
3584.90/3597.01	v -x2572 x2571 -x2570 x2569 -x2568 x2567 x2566 -x2565 -x2564 x2563 -x2562 x2561 x2560 x2559 -x2558 x2557 -x2556 -x2555 x2554 
3584.90/3597.01	v x2553 x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 
3584.90/3597.01	v -x2534 -x2533 -x2532 -x2531 x2530 -x2529 x2528 -x2527 x2526 -x2525 x2524 x2523 x2522 x2521 -x2520 -x2519 -x2518 -x2517 
3584.90/3597.01	v -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 x2501 -x2500 -x2499 
3584.90/3597.01	v -x2498 -x2497 -x2496 -x2495 x2494 -x2493 x2492 -x2491 -x2490 x2489 -x2488 x2487 -x2486 x2485 x2484 -x2483 x2482 -x2481 x2480 
3584.90/3597.01	v x2479 -x2478 x2477 x2476 -x2475 x2474 x2473 x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 
3584.90/3597.01	v -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 x2452 -x2451 x2450 -x2449 x2448 x2447 x2446 x2445 -x2444 -x2443 -x2442 
3584.90/3597.01	v -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 x2429 -x2428 x2427 -x2426 x2425 x2424 
3584.90/3597.01	v x2423 x2422 -x2421 -x2420 x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 
3584.90/3597.01	v -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 
3584.90/3597.01	v -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 
3584.90/3597.01	v -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 
3584.90/3597.01	v -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
3584.90/3597.01	v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 
3584.90/3597.01	v -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 
3584.90/3597.01	v -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 
3584.90/3597.01	v -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 
3584.90/3597.01	v -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
3584.90/3597.01	v -x2244 -x2243 -x2242 -x2241 x2240 -x2239 x2238 -x2237 x2236 x2235 -x2234 x2233 x2232 x2231 -x2230 x2229 x2228 x2227 -x2226 -x2225 
3584.90/3597.01	v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 x2214 -x2213 x2212 x2211 x2210 -x2209 -x2208 -x2207 
3584.90/3597.01	v -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 x2199 -x2198 x2197 x2196 x2195 x2194 -x2193 -x2192 x2191 -x2190 x2189 -x2188 
3584.90/3597.01	v x2187 x2186 x2185 x2184 -x2183 -x2182 x2181 -x2180 x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 
3584.90/3597.01	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 
3584.90/3597.01	v -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 
3584.90/3597.01	v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 
3584.90/3597.01	v -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 
3584.90/3597.01	v -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 
3584.90/3597.01	v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 
3584.90/3597.01	v -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 
3584.90/3597.01	v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 
3584.90/3597.01	v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 
3584.90/3597.01	v -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 
3584.90/3597.01	v -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 
3584.90/3597.01	v -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 
3584.90/3597.01	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 
3584.90/3597.01	v -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 
3584.90/3597.01	v -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 
3584.90/3597.01	v -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 
3584.90/3597.01	v -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 
3584.90/3597.01	v -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 
3584.90/3597.01	v -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 
3584.90/3597.01	v -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 
3584.90/3597.01	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 x1796 -x1795 -x1794 
3584.90/3597.01	v -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 
3584.90/3597.01	v -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
3584.90/3597.01	v -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 x1743 x1742 -x1741 x1740 
3584.90/3597.01	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
3584.90/3597.01	v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 x1714 -x1713 x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
3584.90/3597.01	v -x1703 x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
3584.90/3597.01	v -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 
3584.90/3597.01	v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 
3584.90/3597.01	v -x1649 -x1648 -x1647 x1646 -x1645 -x1644 -x1643 -x1642 -x1641 x1640 -x1639 -x1638 x1637 -x1636 -x1635 -x1634 -x1633 x1632 
3584.90/3597.01	v -x1631 x1630 -x1629 x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 
3584.90/3597.01	v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 x1605 -x1604 x1603 -x1602 -x1601 -x1600 x1599 -x1598 -x1597 x1596 x1595 
3584.90/3597.01	v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 x1579 x1578 -x1577 
3584.90/3597.01	v -x1576 x1575 x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 
3584.90/3597.01	v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 
3584.90/3597.01	v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523 
3584.90/3597.01	v -x1522 -x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 x1507 -x1506 x1505 -x1504 
3584.90/3597.01	v x1503 -x1502 x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 
3584.90/3597.01	v -x1485 -x1484 -x1483 x1482 -x1481 x1480 x1479 x1478 -x1477 x1476 -x1475 -x1474 x1473 x1472 -x1471 -x1470 x1469 -x1468 -x1467 
3584.90/3597.01	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 x1455 -x1454 -x1453 x1452 x1451 -x1450 -x1449 x1448 
3584.90/3597.01	v -x1447 -x1446 -x1445 -x1444 x1443 x1442 -x1441 -x1440 x1439 x1438 x1437 -x1436 x1435 -x1434 -x1433 -x1432 -x1431 -x1430 
3584.90/3597.01	v -x1429 -x1428 -x1427 -x1426 x1425 -x1424 x1423 -x1422 x1421 -x1420 x1419 -x1418 -x1417 -x1416 x1415 x1414 -x1413 -x1412 x1411 
3584.90/3597.01	v x1410 -x1409 -x1408 x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 
3584.90/3597.01	v -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 
3584.90/3597.01	v -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 
3584.90/3597.01	v -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 
3584.90/3597.01	v -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 
3584.90/3597.01	v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 
3584.90/3597.01	v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 
3584.90/3597.01	v -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 
3584.90/3597.01	v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 
3584.90/3597.01	v -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 
3584.90/3597.01	v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 
3584.90/3597.01	v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 
3584.90/3597.01	v -x1195 x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 
3584.90/3597.01	v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 
3584.90/3597.01	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 
3584.90/3597.01	v -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 
3584.90/3597.01	v -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 
3584.90/3597.01	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 
3584.90/3597.01	v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 
3584.90/3597.01	v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 x1055 -x1054 -x1053 
3584.90/3597.01	v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
3584.90/3597.01	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 
3584.90/3597.01	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
3584.90/3597.01	v -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 
3584.90/3597.01	v -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 
3584.90/3597.01	v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 
3584.90/3597.01	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 
3584.90/3597.01	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 
3584.90/3597.01	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 
3584.90/3597.01	v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 
3584.90/3597.01	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 
3584.90/3597.01	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 
3584.90/3597.01	v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 
3584.90/3597.01	v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 
3584.90/3597.01	v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 
3584.90/3597.01	v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
3584.90/3597.01	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
3584.90/3597.01	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 
3584.90/3597.01	v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 
3584.90/3597.01	v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 
3584.90/3597.01	v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 
3584.90/3597.01	v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 
3584.90/3597.01	v -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 
3584.90/3597.01	v -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 
3584.90/3597.01	v x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 
3584.90/3597.01	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
3584.90/3597.01	v -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 
3584.90/3597.01	v -x497 x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 
3584.90/3597.01	v -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 
3584.90/3597.01	v -x454 x453 -x452 x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 
3584.90/3597.01	v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 
3584.90/3597.01	v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 
3584.90/3597.01	v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 
3584.90/3597.01	v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 
3584.90/3597.01	v -x349 -x348 -x347 x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 
3584.90/3597.01	v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 
3584.90/3597.01	v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 
3584.90/3597.01	v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 x266 
3584.90/3597.01	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 x248 -x247 x246 -x245 x244 
3584.90/3597.01	v x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 
3584.90/3597.01	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 
3584.90/3597.01	v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 
3584.90/3597.01	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 
3584.90/3597.01	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 
3584.90/3597.01	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 
3584.90/3597.01	v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 
3584.90/3597.01	v x96 -x95 -x94 -x93 x92 -x91 x90 -x89 x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 
3584.90/3597.01	v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 
3584.90/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3584.90/3597.01	c Total Time         :    3597.00
3584.90/3597.01	c   solving          :    3597.00
3584.90/3597.01	c   presolving       :       1.37 (included in solving)
3584.90/3597.01	c   reading          :       0.04 (included in solving)
3584.90/3597.01	c   copying          :       0.15 (11 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3584.90/3597.01	c Original Problem   :
3584.90/3597.01	c   Problem name     : HOME/instance-4508928-1751509683.opb
3584.90/3597.01	c   Variables        : 7294 (7294 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.90/3597.01	c   Constraints      : 14468 initial, 14468 maximal
3584.90/3597.01	c   Objective        : minimize, 7294 non-zeros (abs.min = 8, abs.max = 1722)
3584.90/3597.01	c Presolved Problem  :
3584.90/3597.01	c   Problem name     : t_HOME/instance-4508928-1751509683.opb
3584.90/3597.01	c   Variables        : 7294 (7294 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.90/3597.01	c   Constraints      : 7234 initial, 7300 maximal
3584.90/3597.01	c   Objective        : minimize, 7294 non-zeros (abs.min = 8, abs.max = 1722)
3584.90/3597.01	c   Nonzeros         : 30294 constraint, 55344 clique table
3584.90/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3584.90/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   gateextraction   :       0.07       0.00      1          0          0          0          0          0      30294       7234          0          0
3584.90/3597.01	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   milp             :       0.14       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   dualfix          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   probing          :       0.84       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   symmetry         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   knapsack         :       0.11       0.00      2          0          0          0          0          0       7234      23060          0          0
3584.90/3597.01	c   setppc           :       0.03       0.00      3          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   and              :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   linear           :       0.07       0.01      4          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   logicor          :       0.01       0.01      6          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3584.90/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3584.90/3597.01	c   benderslp        :          0          0          0          0       1337          0          0        313          0          0          0          0          0          0          0
3584.90/3597.01	c   integral         :          0          0          0          0       1337          0          0        313          0          0        323          0          0          5       2590
3584.90/3597.01	c   setppc           :          0+        17         27      18542          0          0          0          0          3          0         32         15          0          0          0
3584.90/3597.01	c   and              :       7234       7234       2720      24279          0          0          0        307        170         61     155809      40068       7316          0          0
3584.90/3597.01	c   logicor          :          0+        49         27       3452          0          0          0          0          1          0        130          2          0          0          0
3584.90/3597.01	c   benders          :          0          0          0          0          0          0          0         92          0          0          0          0          0          0          0
3584.90/3597.01	c   fixedvar         :          0          0          0          0          0          0          0         92          0          0          0          0          0          0          0
3584.90/3597.01	c   countsols        :          0          0          0          0          0          0          0         92          0          0          0          0          0          0          0
3584.90/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3584.90/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   integral         :     635.63       0.00       0.00       0.00     635.63       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   setppc           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   and              :       6.16       0.00       3.26       1.53       0.00       0.00       0.00       0.10       0.00       1.27
3584.90/3597.01	c   logicor          :       0.02       0.01       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3584.90/3597.01	c   dualfix          :          3          0          0          0
3584.90/3597.01	c   genvbounds       :          0          0          0          0
3584.90/3597.01	c   nlobbt           :          0          0          0          0
3584.90/3597.01	c   obbt             :          0          0          0          0
3584.90/3597.01	c   probing          :          0          0          0          0
3584.90/3597.01	c   pseudoobj        :       7336          0          0          0
3584.90/3597.01	c   redcost          :       3203          0          0       2501
3584.90/3597.01	c   rootredcost      :          4          0          0          0
3584.90/3597.01	c   symmetry         :      18868          0          1          8
3584.90/3597.01	c   vbounds          :      14240          0          0          0
3584.90/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3584.90/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   probing          :       0.84       0.00       0.84       0.00       0.00       0.00
3584.90/3597.01	c   pseudoobj        :       0.11       0.00       0.00       0.11       0.00       0.00
3584.90/3597.01	c   redcost          :       0.45       0.00       0.00       0.45       0.00       0.00
3584.90/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
3584.90/3597.01	c   symmetry         :       0.24       0.00       0.04       0.13       0.00       0.07
3584.90/3597.01	c   vbounds          :       0.07       0.00       0.00       0.06       0.00       0.01
3584.90/3597.01	c Symmetry           :
3584.90/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3584.90/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3584.90/3597.01	c   lexicographic red:         98 reductions applied,          1 cutoffs
3584.90/3597.01	c   shadow tree time :       0.01 s
3584.90/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3584.90/3597.01	c   propagation      :       0.00         61         61          -         64        3.0          1       52.0          -          -          -
3584.90/3597.01	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3584.90/3597.01	c   bound exceed. LP :       4.72        193          0          -          0        0.0          0        0.0          0        0.0         10
3584.90/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3584.90/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3584.90/3597.01	c   applied globally :       0.00          -          -          0         65        3.4          -          -          0          -          -
3584.90/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3584.90/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3584.90/3597.01	c   cut pool         :       1.27          -       1464         55          -          -      50784     308649          -          -          -          -          -    (maximal pool size:      41746)
3584.90/3597.01	c   aggregation      :      51.79       0.00        507         27          0          0         37        212          0         49         49          0          0
3584.90/3597.01	c   > cmir           :          -          -          -          -          -          -          -         89          0         10         10          0          -
3584.90/3597.01	c   > flowcover      :          -          -          -          -          -          -          -        123          0         39         39          0          -
3584.90/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3584.90/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   clique           :       5.29       0.00         27         27          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   gomory           :    1457.59       0.00        271         10          0          0       5132      19138          0        644        644          0          0
3584.90/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       8258          0        207        207          0          -
3584.90/3597.01	c   > strongcg       :          -          -          -          -          -          -          -      10880          0        437        437          0          -
3584.90/3597.01	c   impliedbounds    :       0.76       0.00        507         27          0          0       8285      49817          0      14966      14966          0          0
3584.90/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   multilinear      :       1.19       0.00        365         28          0          0     318112      88136     286082      36151      14182      21969          0
3584.90/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   rapidlearning    :       0.07       0.00          0          0          0          0          0          0          0          0          0          0          0
3584.90/3597.01	c   rlt              :     260.98       0.00         63         10          0          0       3833      70859          0      14893      14893          0          0
3584.90/3597.01	c   zerohalf         :       8.48       0.00        281         20          0          0       1467      80487          0       9787       9787          0          0
3584.90/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3584.90/3597.01	c   hybrid           :       1.56       0.00       2069         29      83806          0     551010       9634          0      69658
3584.90/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3584.90/3597.01	c   problem variables:       0.00          -          0          0
3584.90/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3584.90/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c   relpscost        :     635.62       0.00       1337          0          0          0        323          0          5       2590
3584.90/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3584.90/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3584.90/3597.01	c   LP solutions     :       0.00          -          -          0          0
3584.90/3597.01	c   relax solutions  :       0.00          -          -          0          0
3584.90/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3584.90/3597.01	c   strong branching :       0.01          -          -          0          0
3584.90/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3584.90/3597.01	c   adaptivediving   :       7.39       0.00          3          1          1
3584.90/3597.01	c   alns             :       0.36       0.00          5          0          0
3584.90/3597.01	c   bound            :       0.00       0.00          0          0          0
3584.90/3597.01	c   clique           :       0.09       0.00          1          0          0
3584.90/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3584.90/3597.01	c   completesol      :       0.00       0.00          0          0          0
3584.90/3597.01	c   conflictdiving   :       7.53       0.00          2          1          1
3584.90/3597.01	c   crossover        :       0.00       0.00          0          0          0
3584.90/3597.01	c   dins             :       0.00       0.00          0          0          0
3584.90/3597.01	c   distributiondivin:       2.37       0.00          1          0          0
3584.90/3597.01	c   dps              :       0.00       0.00          0          0          0
3584.90/3597.01	c   dualval          :       0.00       0.00          0          0          0
3584.90/3597.01	c   farkasdiving     :      15.95       0.00          2          1          1
3584.90/3597.01	c   feasjump         :       0.00       0.00          0          0          0
3584.90/3597.01	c   feaspump         :       3.37       0.00          1          1          0
3584.90/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3584.90/3597.01	c   fracdiving       :       1.89       0.00          2          0          0
3584.90/3597.01	c   gins             :       0.02       0.00          0          0          0
3584.90/3597.01	c   guideddiving     :       3.69       0.00          2          0          0
3584.90/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3584.90/3597.01	c   indicator        :       0.00       0.00          0          0          0
3584.90/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3584.90/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3584.90/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3584.90/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3584.90/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3584.90/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3584.90/3597.01	c   linesearchdiving :       3.92       0.00          2          1          1
3584.90/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3584.90/3597.01	c   locks            :       0.04       0.00          1          1          1
3584.90/3597.01	c   lpface           :       0.00       0.00          0          0          0
3584.90/3597.01	c   mpec             :       0.00       0.00          0          0          0
3584.90/3597.01	c   multistart       :       0.00       0.00          0          0          0
3584.90/3597.01	c   mutation         :       0.00       0.00          0          0          0
3584.90/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3584.90/3597.01	c   objpscostdiving  :       0.35       0.00          1          0          0
3584.90/3597.01	c   octane           :       0.00       0.00          0          0          0
3584.90/3597.01	c   ofins            :       0.00       0.00          0          0          0
3584.90/3597.01	c   oneopt           :       0.03       0.00          6          0          0
3584.90/3597.01	c   padm             :       0.00       0.00          0          0          0
3584.90/3597.01	c   proximity        :       0.00       0.00          0          0          0
3584.90/3597.01	c   pscostdiving     :       3.58       0.00          2          1          1
3584.90/3597.01	c   randrounding     :       0.55       0.00        241          0          0
3584.90/3597.01	c   rens             :       0.00       0.00          0          0          0
3584.90/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3584.90/3597.01	c   repair           :       0.00       0.00          0          0          0
3584.90/3597.01	c   rins             :      25.08       0.00          5          5          0
3584.90/3597.01	c   rootsoldiving    :       4.07       0.00          1          1          0
3584.90/3597.01	c   rounding         :       5.16       0.00       2284          1          1
3584.90/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3584.90/3597.01	c   shiftandpropagate:       0.00       0.00          0          0          0
3584.90/3597.01	c   shifting         :      11.47       0.00       1130         70          0
3584.90/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3584.90/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3584.90/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3584.90/3597.01	c   trivial          :       0.01       0.00          2          2          1
3584.90/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3584.90/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3584.90/3597.01	c   trysol           :       0.00       0.00          0          0          0
3584.90/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3584.90/3597.01	c   undercover       :       0.27       0.00          1          0          0
3584.90/3597.01	c   vbounds          :       0.13       0.00          1          2          2
3584.90/3597.01	c   veclendiving     :       4.45       0.00          2          0          0
3584.90/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3584.90/3597.01	c   zirounding       :       1.81       0.00       1000          0          0
3584.90/3597.01	c   other solutions  :          -          -          -          0          -
3584.90/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3584.90/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3584.90/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3584.90/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3584.90/3597.01	c   primal LP        :       1.31        307          0       0.00       0.00       1.31        307
3584.90/3597.01	c   dual LP          :    1041.15       4877    1856693     424.58    1783.30       1.91        504
3584.90/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3584.90/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3584.90/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3584.90/3597.01	c   diving/probing LP:      57.62        538     131334     244.12    2279.27
3584.90/3597.01	c   strong branching :     619.78       1617    1032977     638.82    1666.69          -          -       1695
3584.90/3597.01	c     (at root node) :          -         22      20647     938.50          -
3584.90/3597.01	c   conflict analysis:       0.02          1         10      10.00     442.73
3584.90/3597.01	c B&B Tree           :
3584.90/3597.01	c   number of runs   :          1
3584.90/3597.01	c   nodes            :       2263 (1295 internal, 968 leaves)
3584.90/3597.01	c   feasible leaves  :          0
3584.90/3597.01	c   infeas. leaves   :         18
3584.90/3597.01	c   objective leaves :        949
3584.90/3597.01	c   nodes (total)    :       2263 (1295 internal, 968 leaves)
3584.90/3597.01	c   nodes left       :        328
3584.90/3597.01	c   max depth        :         55
3584.90/3597.01	c   max depth (total):         55
3584.90/3597.01	c   backtracks       :        480 (21.2%)
3584.90/3597.01	c   early backtracks :          0 (0.0%)
3584.90/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3584.90/3597.01	c   delayed cutoffs  :          0
3584.90/3597.01	c   repropagations   :         70 (16 domain reductions, 0 cutoffs)
3584.90/3597.01	c   avg switch length:       4.15
3584.90/3597.01	c   switching time   :       2.09
3584.90/3597.01	c Root Node          :
3584.90/3597.01	c   First LP value   : -1.89014000000000e+05
3584.90/3597.01	c   First LP Iters   :       7980 (2840.11 Iter/sec)
3584.90/3597.01	c   First LP Time    :       2.81
3584.90/3597.01	c   Final Dual Bound : -7.32424420127953e+04
3584.90/3597.01	c   Final Root Iters :      54469
3584.90/3597.01	c   Root LP Estimate : +6.37081011343474e+04
3584.90/3597.01	c Solution           :
3584.90/3597.01	c   Solutions found  :         88 (10 improvements)
3584.90/3597.01	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
3584.90/3597.01	c   Gap First Sol.   :   infinite
3584.90/3597.01	c   Gap Last Sol.    :     415.94 %
3584.90/3597.01	c   Primal Bound     : -1.08040000000000e+04   (in run 1, after 1456 nodes, 1529.34 seconds, depth 240, found by <linesearchdiving>)
3584.90/3597.01	c   Dual Bound       : -5.41265138888889e+04
3584.90/3597.01	c   Gap              :     400.99 %
3584.90/3597.01	c Integrals          :      Total       Avg%
3584.90/3597.01	c   primal-dual      :  293674.65      81.64
3584.90/3597.01	c   primal-ref       :          -          - (not evaluated)
3584.90/3597.01	c   dual-ref         :          -          - (not evaluated)
3585.00/3597.13	c Time complete: 3585.03.

OK	-10804

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61424 MiB free)
  memory of node 1: 64507 MiB (62326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508928-1751509683/watcher-4508928-1751509683 -o /tmp/evaluation-result-4508928-1751509683/solver-4508928-1751509683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77368 --watchdog 3760 pbscip -f HOME/instance-4508928-1751509683.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78343, runsolver pid=78340
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.17 4.11 4.10 5/266 78344
/proc/meminfo: memFree=126689380/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=85444 memory=56192 CPUtime=0.09 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 10840 0 0 0 8 1 0 0 20 0 1 0 66646177 87494656 14048 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 21361 14048 3584 3530 0 12812 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85444 KiB
Current children cumulated memory: 56192 KiB

[startup+0.206008 s]*
/proc/loadavg: 4.17 4.11 4.10 5/266 78344
/proc/meminfo: memFree=126673252/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=95612 memory=68644 CPUtime=0.2 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 15260 0 0 0 18 2 0 0 20 0 1 0 66646177 97906688 17161 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 23903 17161 3712 3530 0 15354 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95612 KiB
Current children cumulated memory: 68644 KiB

[startup+0.306007 s]*
/proc/loadavg: 4.17 4.11 4.10 5/266 78344
/proc/meminfo: memFree=126673252/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=94696 memory=67620 CPUtime=0.29 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 15949 0 0 0 27 2 0 0 20 0 1 0 66646177 96968704 16905 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 23674 16905 3744 3530 0 15125 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94696 KiB
Current children cumulated memory: 67620 KiB

[startup+0.700177 s]
/proc/loadavg: 4.17 4.11 4.10 5/266 78344
/proc/meminfo: memFree=126649312/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=119052 memory=90404 CPUtime=0.68 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 21662 0 0 0 65 3 0 0 20 0 1 0 66646177 121909248 22601 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 29763 22601 3744 3530 0 21214 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119052 KiB
Current children cumulated memory: 90404 KiB

[startup+1.50017 s]
/proc/loadavg: 4.17 4.11 4.10 5/266 78344
/proc/meminfo: memFree=126649312/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=195344 memory=139924 CPUtime=1.48 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 35137 0 0 0 143 5 0 0 20 0 1 0 66646177 200032256 34981 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 48836 34981 3776 3530 0 40287 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 195344 KiB
Current children cumulated memory: 139924 KiB

[startup+3.10565 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 78344
/proc/meminfo: memFree=126601436/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=218292 memory=161556 CPUtime=3.07 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 40462 0 0 0 302 5 0 0 20 0 1 0 66646177 223531008 40389 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 54573 40389 3904 3530 0 46024 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 218292 KiB
Current children cumulated memory: 161556 KiB

[startup+6.30017 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 78344
/proc/meminfo: memFree=126549868/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=301444 memory=239972 CPUtime=6.27 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 58571 0 0 0 618 9 0 0 20 0 1 0 66646177 308678656 59993 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 75361 59993 3936 3530 0 66812 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 301444 KiB
Current children cumulated memory: 239972 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 78344
/proc/meminfo: memFree=126547740/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=336944 memory=274660 CPUtime=12.64 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 67312 0 0 0 1254 10 0 0 20 0 1 0 66646177 345030656 68665 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 84236 68665 3936 3530 0 75687 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 336944 KiB
Current children cumulated memory: 274660 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 78344
/proc/meminfo: memFree=126491412/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=353312 memory=285028 CPUtime=25.4 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 69960 0 0 0 2530 10 0 0 20 0 1 0 66646177 361791488 71257 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 88328 71257 3936 3530 0 79779 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 353312 KiB
Current children cumulated memory: 285028 KiB

[startup+51.1058 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 78347
/proc/meminfo: memFree=125575940/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=379516 memory=307812 CPUtime=50.92 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 75705 0 0 0 5081 11 0 0 20 0 1 0 66646177 388624384 76953 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 94879 76953 3936 3530 0 86330 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 379516 KiB
Current children cumulated memory: 307812 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 78348
/proc/meminfo: memFree=125353440/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=418456 memory=338020 CPUtime=101.96 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 83281 0 0 0 10184 12 0 0 20 0 1 0 66646177 428498944 84505 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 104614 84505 3936 3530 0 96065 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 418456 KiB
Current children cumulated memory: 338020 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 78351
/proc/meminfo: memFree=125146976/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=496596 memory=387812 CPUtime=161.76 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 95736 0 0 0 16162 14 0 0 20 0 1 0 66646177 508514304 96953 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 124149 96953 3968 3530 0 115600 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 496596 KiB
Current children cumulated memory: 387812 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 78355
/proc/meminfo: memFree=125133648/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=496596 memory=387812 CPUtime=221.57 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 95754 0 0 0 22143 14 0 0 20 0 1 0 66646177 508514304 96953 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 124149 96953 3968 3530 0 115600 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 496596 KiB
Current children cumulated memory: 387812 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 78362
/proc/meminfo: memFree=125109312/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=496596 memory=388068 CPUtime=281.37 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 95805 0 0 0 28123 14 0 0 20 0 1 0 66646177 508514304 97017 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 124149 97017 3968 3530 0 115600 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 496596 KiB
Current children cumulated memory: 388068 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78364
/proc/meminfo: memFree=125056100/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=534308 memory=422372 CPUtime=341.18 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 104410 0 0 0 34103 15 0 0 20 0 1 0 66646177 547131392 105593 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 133577 105593 3968 3530 0 125028 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 534308 KiB
Current children cumulated memory: 422372 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 78367
/proc/meminfo: memFree=124825696/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=725748 memory=587520 CPUtime=400.98 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 108329 0 0 0 40079 19 0 0 20 0 1 0 66646177 743165952 146880 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 181437 146880 4128 3530 0 172888 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 725748 KiB
Current children cumulated memory: 587520 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 78369
/proc/meminfo: memFree=124770656/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=789528 memory=650160 CPUtime=460.78 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 124522 0 0 0 46057 21 0 0 20 0 1 0 66646177 808476672 162540 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 197382 162540 4128 3530 0 188833 0
Current children cumulated CPU time: 460.78 s

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

/proc/loadavg: 4.12 4.09 4.09 5/264 78562
/proc/meminfo: memFree=121772488/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1216484 memory=1024304 CPUtime=3211.45 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 148081 0 0 0 321119 26 0 0 20 0 1 0 66646177 1245679616 256076 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 304121 256076 4128 3530 0 295572 0
Current children cumulated CPU time: 3211.45 s
Current children cumulated vsize: 1216484 KiB
Current children cumulated memory: 1024304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 78567
/proc/meminfo: memFree=121574172/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1222064 memory=1025584 CPUtime=3271.28 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 148378 0 0 0 327102 26 0 0 20 0 1 0 66646177 1251393536 256396 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 305516 256396 4128 3530 0 296967 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 1222064 KiB
Current children cumulated memory: 1025584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 78574
/proc/meminfo: memFree=121451408/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1229268 memory=1025712 CPUtime=3331.1 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 148425 0 0 0 333084 26 0 0 20 0 1 0 66646177 1258770432 256428 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 307317 256428 4128 3530 0 298768 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 1229268 KiB
Current children cumulated memory: 1025712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 78756
/proc/meminfo: memFree=123572424/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1236396 memory=1026224 CPUtime=3390.92 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 148558 0 0 0 339066 26 0 0 20 0 1 0 66646177 1266069504 256556 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 309099 256556 4128 3530 0 300550 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 1236396 KiB
Current children cumulated memory: 1026224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 78758
/proc/meminfo: memFree=123378032/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1242624 memory=1027888 CPUtime=3450.69 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 148990 0 0 0 345043 26 0 0 20 0 1 0 66646177 1272446976 256972 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 310656 256972 4128 3530 0 302107 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 1242624 KiB
Current children cumulated memory: 1027888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 78760
/proc/meminfo: memFree=123344724/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1254232 memory=1028400 CPUtime=3510.47 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149117 0 0 0 351021 26 0 0 20 0 1 0 66646177 1284333568 257100 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 313558 257100 4128 3530 0 305009 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 1254232 KiB
Current children cumulated memory: 1028400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 78776
/proc/meminfo: memFree=125385920/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1265752 memory=1029552 CPUtime=3570.25 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149394 0 0 0 356999 26 0 0 20 0 1 0 66646177 1296130048 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316438 257388 4128 3530 0 307889 0
Current children cumulated CPU time: 3570.25 s
Current children cumulated vsize: 1265752 KiB
Current children cumulated memory: 1029552 KiB

[startup+3597.13 s]
# the end of solver process 78343 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3584.76 s, system=0.27592 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.09 5/264 78807
/proc/meminfo: memFree=125194516/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1265752 memory=1029552 CPUtime=3571.95 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149394 0 0 0 357169 26 0 0 20 0 1 0 66646177 1296130048 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316438 257388 4128 3530 0 307889 0
Current children cumulated CPU time: 3571.95 s
Current children cumulated vsize: 1265752 KiB
Current children cumulated memory: 1029552 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 78807
/proc/meminfo: memFree=124911252/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1265752 memory=1029552 CPUtime=3578.32 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149394 0 0 0 357806 26 0 0 20 0 1 0 66646177 1296130048 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316438 257388 4128 3530 0 307889 0
Current children cumulated CPU time: 3578.32 s
Current children cumulated vsize: 1265752 KiB
Current children cumulated memory: 1029552 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78807
/proc/meminfo: memFree=124891724/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1265752 memory=1029552 CPUtime=3581.51 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149394 0 0 0 358125 26 0 0 20 0 1 0 66646177 1296130048 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316438 257388 4128 3530 0 307889 0
Current children cumulated CPU time: 3581.51 s
Current children cumulated vsize: 1265752 KiB
Current children cumulated memory: 1029552 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78807
/proc/meminfo: memFree=124884164/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1265752 memory=1029552 CPUtime=3583.1 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149394 0 0 0 358284 26 0 0 20 0 1 0 66646177 1296130048 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316438 257388 4128 3530 0 307889 0
Current children cumulated CPU time: 3583.1 s
Current children cumulated vsize: 1265752 KiB
Current children cumulated memory: 1029552 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.09 4.09 5/264 78807
/proc/meminfo: memFree=124884164/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1265752 memory=1029552 CPUtime=3583.9 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149394 0 0 0 358364 26 0 0 20 0 1 0 66646177 1296130048 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316438 257388 4128 3530 0 307889 0
Current children cumulated CPU time: 3583.9 s
Current children cumulated vsize: 1265752 KiB
Current children cumulated memory: 1029552 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78807
/proc/meminfo: memFree=124884164/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1267996 memory=1029552 CPUtime=3584.7 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149396 0 0 0 358444 26 0 0 20 0 1 0 66646177 1298427904 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316999 257388 4128 3530 0 308450 0
Current children cumulated CPU time: 3584.7 s
Current children cumulated vsize: 1267996 KiB
Current children cumulated memory: 1029552 KiB

[startup+3597 s]*
/proc/loadavg: 4.13 4.09 4.09 5/264 78807
/proc/meminfo: memFree=124868036/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1267996 memory=1029552 CPUtime=3584.9 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149399 0 0 0 358464 26 0 0 20 0 1 0 66646177 1298427904 257388 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 316999 257388 4128 3530 0 308450 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 1267996 KiB
Current children cumulated memory: 1029552 KiB

[startup+3597.11 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 78807
/proc/meminfo: memFree=124868036/131250000 swapFree=33010416/33010684
[pid=78343] ppid=78340 vsize=1256016 memory=1017648 CPUtime=3585 cores=0,2
/proc/78343/stat : 78343 (pbscip) R 78340 78343 77358 0 -1 4194304 149401 0 0 0 358474 26 0 0 20 0 1 0 66646177 1286160384 254412 18446744073709551615 4235264 18693293 140736585516096 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 53698560 140736585517449 140736585517548 140736585517548 140736585523150 0
/proc/78343/statm: 314004 254412 4128 3530 0 305455 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 1256016 KiB
Current children cumulated memory: 1017648 KiB

Child status: 0

Real time (s): 3597.13
CPU time (s): 3585.04
CPU user time (s): 3584.76
CPU system time (s): 0.27592
CPU usage (%): 99.6638
Max. virtual memory (cumulated for all children) (KiB): 1267996
Max. memory (cumulated for all children) (KiB): 1029552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.76
system time used= 0.27592
maximum resident set size= 1029552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149428
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= 144
involuntary context switches= 22143


# summary of solver processes directly reported to runsolver:
#   pid: 78343
#   total CPU time (s): 3585.04
#   total CPU user time (s): 3584.76
#   total CPU system time (s): 0.27592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41233 second user time and 15.5659 second system time

The end

Begin job on nodeC018 at 2025-07-03 04:28:03
IDJOB=4508928
IDBENCH=158525
IDSOLVER=3365
FILE ID=nodeC018/4508928-1751509683
RUNJOBID= nodeC018-1751506081-77368
SLURM_JOB_ID= 9598599
Free space on /tmp= 432852 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508928-1751509683/watcher-4508928-1751509683 -o /tmp/evaluation-result-4508928-1751509683/solver-4508928-1751509683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751506081-77368 --watchdog 3760  pbscip -f HOME/instance-4508928-1751509683.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 911059c1e959a60a23dfd4299eb920f8
RANDOM SEED=1940334294

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.418
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.849
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.828
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3593.510
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.894
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.834
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3609.880
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126720760 kB
MemAvailable:   126735664 kB
Buffers:            2128 kB
Cached:           780344 kB
SwapCached:           32 kB
Active:          3328280 kB
Inactive:         363512 kB
Active(anon):    2927080 kB
Inactive(anon):      288 kB
Active(file):     401200 kB
Inactive(file):   363224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             64596 kB
Writeback:             0 kB
AnonPages:       2912364 kB
Mapped:           138048 kB
Shmem:             18044 kB
KReclaimable:     179036 kB
Slab:             269340 kB
SReclaimable:     179036 kB
SUnreclaim:        90304 kB
KernelStack:        4316 kB
PageTables:         9048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3368016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432852 MiB
End job on nodeC018 at 2025-07-03 05:28:01