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-4525021-1751617113.wbo>
0.00/0.07	c original problem has 14931 variables (14931 bin, 0 int, 0 impl, 0 cont) and 28755 constraints
0.00/0.07	c problem read in 0.06
0.18/0.23	c presolving:
0.18/0.27	c (round 1, fast)       3 del vars, 6 del conss, 0 add conss, 1 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 7353 impls, 9084 clqs
0.18/0.29	c (round 2, medium)     145 del vars, 8 del conss, 0 add conss, 1 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 7353 impls, 8804 clqs
0.18/0.29	c (round 3, fast)       145 del vars, 288 del conss, 0 add conss, 1 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 7353 impls, 8804 clqs
0.28/0.31	c (round 4, fast)       145 del vars, 288 del conss, 0 add conss, 7353 chg bounds, 450 chg sides, 900 chg coeffs, 0 upgd conss, 7353 impls, 8804 clqs
0.28/0.36	c (round 5, exhaustive) 145 del vars, 288 del conss, 0 add conss, 7353 chg bounds, 450 chg sides, 900 chg coeffs, 13763 upgd conss, 7353 impls, 8804 clqs
0.37/0.42	c (round 6, exhaustive) 145 del vars, 5930 del conss, 1880 add conss, 7353 chg bounds, 450 chg sides, 900 chg coeffs, 13763 upgd conss, 7353 impls, 8804 clqs
4.06/4.15	c    (4.1s) probing: 1000/21836 (4.6%) - 15 fixings, 9 aggregations, 25439 implications, 0 bound changes
4.45/4.53	c (round 7, exhaustive) 173 del vars, 5930 del conss, 1880 add conss, 7353 chg bounds, 450 chg sides, 900 chg coeffs, 13763 upgd conss, 7353 impls, 34859 clqs
4.45/4.54	c (round 8, fast)       173 del vars, 5963 del conss, 1880 add conss, 7353 chg bounds, 450 chg sides, 911 chg coeffs, 13768 upgd conss, 7353 impls, 34864 clqs
4.45/4.57	c (round 9, exhaustive) 189 del vars, 5978 del conss, 1888 add conss, 7353 chg bounds, 450 chg sides, 911 chg coeffs, 13768 upgd conss, 7353 impls, 34822 clqs
7.64/7.79	c    (7.8s) probing: 2000/21836 (9.2%) - 15 fixings, 11 aggregations, 40612 implications, 0 bound changes
8.23/8.36	c    (8.4s) probing: 2153/21836 (9.9%) - 15 fixings, 11 aggregations, 42033 implications, 0 bound changes
8.23/8.36	c    (8.4s) probing aborted: 1000/1000 successive useless probings
8.23/8.36	c    (8.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
8.33/8.43	c    (8.4s) no symmetry present (symcode time: 0.02)
8.33/8.45	c presolving (10 rounds: 10 fast, 6 medium, 5 exhaustive):
8.33/8.45	c  190 deleted vars, 5981 deleted constraints, 1890 added constraints, 7353 tightened bounds, 0 added holes, 450 changed sides, 920 changed coefficients
8.33/8.45	c  7353 implications, 50152 cliques
8.33/8.45	c presolved problem has 22094 variables (14749 bin, 0 int, 7345 impl, 0 cont) and 24659 constraints
8.33/8.45	c     600 constraints of type <knapsack>
8.33/8.45	c    5047 constraints of type <setppc>
8.33/8.45	c    1852 constraints of type <and>
8.33/8.45	c    7345 constraints of type <linear>
8.33/8.45	c    2470 constraints of type <logicor>
8.33/8.45	c    7345 constraints of type <indicator>
8.33/8.45	c transformed objective value is always integral (scale: 1)
8.33/8.45	c Presolving Time: 8.31
8.33/8.45	c - non default parameters ----------------------------------------------------------------------
8.33/8.45	c # SCIP version 10.0.0
8.33/8.45	c 
8.33/8.45	c # maximal time in seconds to run
8.33/8.45	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
8.33/8.45	c limits/time = 3596.997017
8.33/8.45	c 
8.33/8.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.33/8.45	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
8.33/8.45	c limits/memory = 27900
8.33/8.45	c 
8.33/8.45	c # belongs reading time to solving time?
8.33/8.45	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
8.33/8.45	c timing/reading = TRUE
8.33/8.45	c 
8.33/8.45	c -----------------------------------------------------------------------------------------------
8.33/8.45	c start solving
8.33/8.46	c 
9.43/9.51	o 375824
9.43/9.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.43/9.51	c p 9.5s|     1 |     0 |     0 |     - |   locks|   0 |  22k|  24k|  26k|   0 |  0 |   7 |   0 | 0.000000e+00 | 3.758240e+05 |    Inf | unknown
9.43/9.56	o 37697
9.43/9.56	c i 9.6s|     1 |     0 |     0 |     - |  oneopt|   0 |  22k|  24k|  26k|   0 |  0 |   7 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
17.20/17.34	c  17.3s|     1 |     0 |  5142 |     - |   205M |   0 |  22k|  24k|  26k|   0 |  0 |   7 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
19.49/19.60	c  19.6s|     1 |     0 | 10630 |     - |   219M |   0 |  22k|  24k|  26k| 254 |  1 |   8 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
21.68/21.87	c  21.9s|     1 |     0 | 13337 |     - |   238M |   0 |  22k|  24k|  27k| 531 |  2 |   9 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
23.67/23.85	c  23.8s|     1 |     0 | 15894 |     - |   248M |   0 |  22k|  24k|  27k| 732 |  3 |  10 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
25.47/25.69	c  25.7s|     1 |     0 | 17908 |     - |   264M |   0 |  22k|  24k|  27k| 874 |  4 |  12 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
27.47/27.68	c  27.7s|     1 |     0 | 19917 |     - |   276M |   0 |  22k|  24k|  27k|1000 |  5 |  13 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
29.75/29.97	c  30.0s|     1 |     0 | 21737 |     - |   292M |   0 |  22k|  24k|  27k|1106 |  6 |  14 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
32.55/32.72	c  32.7s|     1 |     0 | 23809 |     - |   309M |   0 |  22k|  24k|  27k|1226 |  7 |  15 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
41.92/42.18	c  42.2s|     1 |     0 | 25916 |     - |   312M |   0 |  22k|  24k|  27k|1347 |  8 |  16 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
44.71/44.99	c  45.0s|     1 |     0 | 28007 |     - |   327M |   0 |  22k|  24k|  27k|1444 |  9 |  17 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
57.77/58.01	c  58.0s|     1 |     0 | 31018 |     - |   331M |   0 |  22k|  24k|  28k|1573 | 10 |  19 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
59.06/59.32	c  59.3s|     1 |     0 | 32314 |     - |   333M |   0 |  22k|  24k|  28k|1685 | 11 |  20 |   0 | 0.000000e+00 | 3.769700e+04 |    Inf | unknown
140.60/141.13	o 34991
140.60/141.13	c L 141s|     1 |     0 |127848 |     - |    alns|   0 |  22k|  24k|  28k|1685 | 11 |  82 |   0 | 0.000000e+00 | 3.499100e+04 |    Inf | unknown
140.60/141.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
140.60/141.18	c   141s|     1 |     0 |127848 |     - |   341M |   0 |  22k|  24k|  28k|1685 | 11 |  82 |   0 | 0.000000e+00 | 3.499100e+04 |    Inf | unknown
160.20/160.82	c   161s|     1 |     0 |131523 |     - |   344M |   0 |  22k|  24k|  28k|1754 | 12 |  83 |   0 | 0.000000e+00 | 3.499100e+04 |    Inf | unknown
160.80/161.48	c   161s|     1 |     0 |132447 |     - |   344M |   0 |  22k|  24k|  27k|1792 | 13 |  88 |   0 | 0.000000e+00 | 3.499100e+04 |    Inf | unknown
180.84/181.55	c   182s|     1 |     2 |133975 |     - |   344M |   0 |  22k|  24k|  27k|1792 | 13 |  90 |  20 | 0.000000e+00 | 3.499100e+04 |    Inf | unknown
305.24/306.30	o 30871
305.24/306.30	c L 306s|    37 |    38 |232396 |5430.1 |    alns|  27 |  22k|  24k|  27k|2816 |  2 |  92 | 241 | 0.000000e+00 | 3.087100e+04 |    Inf | unknown
305.24/306.31	o 30822
305.24/306.31	c L 306s|    37 |    38 |232396 |5430.1 |    alns|  27 |  22k|  24k|  27k|2816 |  2 |  92 | 241 | 0.000000e+00 | 3.082200e+04 |    Inf | unknown
305.24/306.33	o 29642
305.24/306.33	c L 306s|    37 |    38 |232396 |5430.1 |    alns|  27 |  22k|  24k|  27k|2816 |  2 |  92 | 241 | 0.000000e+00 | 2.964200e+04 |    Inf | unknown
314.31/315.42	o 3506
314.31/315.42	c d 315s|    72 |    73 |252260 |3033.1 |distribu|  55 |  22k|  24k|  27k|   0 |  1 | 114 | 241 | 0.000000e+00 | 3.506000e+03 |    Inf | unknown
317.70/318.85	c   319s|   100 |   101 |261501 |2268.6 |   377M |  55 |  22k|  24k|  28k|3019 |  1 | 114 | 241 | 0.000000e+00 | 3.506000e+03 |    Inf | unknown
329.06/330.20	o 1034
329.06/330.20	c L 330s|   116 |   117 |311422 |2387.0 |    alns|  55 |  22k|  24k|  27k|3108 |  2 | 122 | 241 | 0.000000e+00 | 1.034000e+03 |    Inf | unknown
329.36/330.54	o 988
329.36/330.54	c L 331s|   116 |   117 |311422 |2387.0 |    alns|  55 |  22k|  24k|  27k|3108 |  2 | 122 | 241 | 0.000000e+00 | 9.880000e+02 |    Inf | unknown
329.36/330.57	o 946
329.36/330.57	c L 331s|   116 |   117 |311422 |2387.0 |    alns|  55 |  22k|  24k|  27k|3108 |  2 | 122 | 241 | 0.000000e+00 | 9.460000e+02 |    Inf | unknown
391.77/393.11	c   393s|   200 |   199 |470284 |2177.7 |   398M |  55 |  22k|  24k|  27k|4378 |  2 | 166 | 275 | 0.000000e+00 | 9.460000e+02 |    Inf | unknown
424.76/426.29	c   426s|   300 |   299 |628150 |1977.4 |   420M |  58 |  22k|  24k|  27k|5221 |  1 | 335 | 337 | 0.000000e+00 | 9.460000e+02 |    Inf | unknown
429.15/430.62	o 631
429.15/430.62	c L 431s|   316 |   315 |650086 |1946.6 |    rins|  62 |  22k|  25k|  27k|5282 |  1 | 359 | 351 | 0.000000e+00 | 6.310000e+02 |    Inf | unknown
459.25/460.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
459.25/460.82	c   461s|   400 |   399 |719326 |1710.3 |   426M |  62 |  22k|  25k|  27k|6118 |  1 | 571 | 396 | 0.000000e+00 | 6.310000e+02 |    Inf | unknown
480.98/482.68	o 446
480.98/482.68	c d 483s|   454 |   453 |772454 |1623.7 |distribu|  62 |  22k|  25k|  27k|   0 |  2 | 674 | 441 | 0.000000e+00 | 4.460000e+02 |    Inf | unknown
494.14/495.81	c   496s|   500 |   499 |824471 |1578.3 |   438M |  62 |  22k|  25k|  27k|6989 |  2 | 703 | 458 | 0.000000e+00 | 4.460000e+02 |    Inf | unknown
512.87/514.62	c   515s|   600 |   597 |888149 |1421.1 |   452M |  62 |  22k|  25k|  27k|7442 |  1 | 801 | 507 | 0.000000e+00 | 4.460000e+02 |    Inf | unknown
517.36/519.17	o 275
517.36/519.17	c L 519s|   654 |   649 |904833 |1329.1 |crossove|  68 |  22k|  25k|  27k|7583 |  1 | 817 | 515 | 0.000000e+00 | 2.750000e+02 |    Inf | unknown
532.00/533.89	c   534s|   700 |   695 |948356 |1303.9 |   459M |  72 |  22k|  25k|  27k|7948 |  1 | 844 | 540 | 0.000000e+00 | 2.750000e+02 |    Inf | unknown
543.76/545.67	c   546s|   800 |   791 |994005 |1197.9 |   466M |  72 |  22k|  25k|  27k|8344 |  1 | 875 | 606 | 0.000000e+00 | 2.750000e+02 |    Inf | unknown
545.86/547.78	o 271
545.86/547.78	c L 548s|   802 |   793 |997782 |1199.6 |    alns|  72 |  22k|  25k|  28k|8385 |  3 | 875 | 617 | 0.000000e+00 | 2.710000e+02 |    Inf | unknown
561.50/563.46	c   563s|   900 |   881 |  1053k|1130.5 |   469M |  77 |  22k|  25k|  28k|8741 |  1 | 879 | 644 | 0.000000e+00 | 2.710000e+02 |    Inf | unknown
568.68/570.61	c   571s|  1000 |   981 |  1074k|1038.8 |   475M |  84 |  22k|  25k|  28k|8878 |  2 | 888 | 665 | 0.000000e+00 | 2.710000e+02 |    Inf | unknown
582.33/584.37	o 229
582.33/584.37	c L 584s|  1002 |   981 |  1080k|1042.2 |    rins|  84 |  22k|  25k|  27k|9013 |  2 | 888 | 681 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
669.65/671.95	c   672s|  1100 |  1075 |  1198k|1056.9 |   498M |  87 |  22k|  25k|  28k|  10k|  1 | 910 | 774 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
672.04/674.35	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
672.04/674.35	c (run 1, node 1139) performing user restart
672.04/674.35	c 
672.04/674.35	c (restart) converted 562 cuts from the global cut pool into linear constraints
672.04/674.35	c 
672.14/674.47	c presolving:
672.14/674.49	c (round 1, fast)       0 del vars, 34 del conss, 0 add conss, 0 chg bounds, 21 chg sides, 50 chg coeffs, 0 upgd conss, 7353 impls, 50214 clqs
672.24/674.54	c (round 2, exhaustive) 0 del vars, 40 del conss, 6 add conss, 0 chg bounds, 21 chg sides, 50 chg coeffs, 562 upgd conss, 7353 impls, 50214 clqs
672.24/674.56	c (round 3, exhaustive) 0 del vars, 64 del conss, 14 add conss, 0 chg bounds, 23 chg sides, 59 chg coeffs, 562 upgd conss, 7353 impls, 50219 clqs
672.34/674.60	c (round 4, exhaustive) 0 del vars, 98 del conss, 14 add conss, 0 chg bounds, 23 chg sides, 89 chg coeffs, 562 upgd conss, 7353 impls, 50219 clqs
672.44/674.77	c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
672.44/674.77	c  0 deleted vars, 102 deleted constraints, 14 added constraints, 0 tightened bounds, 0 added holes, 23 changed sides, 98 changed coefficients
672.44/674.77	c  7353 implications, 50219 cliques
672.44/674.77	c presolved problem has 22094 variables (14749 bin, 0 int, 7345 impl, 0 cont) and 25702 constraints
672.44/674.77	c     681 constraints of type <knapsack>
672.44/674.77	c    5477 constraints of type <setppc>
672.44/674.77	c    1850 constraints of type <and>
672.44/674.77	c    7356 constraints of type <linear>
672.44/674.77	c    2985 constraints of type <logicor>
672.44/674.77	c       8 constraints of type <bounddisjunction>
672.44/674.77	c    7345 constraints of type <indicator>
672.44/674.77	c transformed objective value is always integral (scale: 1)
672.44/674.77	c Presolving Time: 8.67
672.54/674.88	c 
673.33/675.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
673.33/675.67	c   676s|     1 |     0 |  1206k|     - |   494M |   0 |  22k|  25k|  27k|   0 |  0 | 911 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
673.93/676.25	c   676s|     1 |     0 |  1207k|     - |   498M |   0 |  22k|  25k|  27k| 112 |  1 | 912 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
674.43/676.79	c   677s|     1 |     0 |  1208k|     - |   501M |   0 |  22k|  25k|  27k| 191 |  2 | 913 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
675.03/677.34	c   677s|     1 |     0 |  1209k|     - |   504M |   0 |  22k|  25k|  27k| 266 |  3 | 915 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
675.63/677.96	c   678s|     1 |     0 |  1210k|     - |   507M |   0 |  22k|  25k|  27k| 346 |  4 | 918 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
676.33/678.63	c   679s|     1 |     0 |  1211k|     - |   510M |   0 |  22k|  25k|  27k| 409 |  5 | 920 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
677.62/679.96	c   680s|     1 |     0 |  1212k|     - |   513M |   0 |  22k|  25k|  27k| 501 |  6 | 922 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
678.92/681.24	c   681s|     1 |     0 |  1214k|     - |   516M |   0 |  22k|  25k|  27k| 591 |  7 | 923 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
680.01/682.34	c   682s|     1 |     0 |  1215k|     - |   520M |   0 |  22k|  25k|  27k| 689 |  8 | 925 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
681.11/683.46	c   683s|     1 |     0 |  1217k|     - |   525M |   0 |  22k|  25k|  27k| 771 |  9 | 926 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
682.30/684.69	c   685s|     1 |     0 |  1218k|     - |   531M |   0 |  22k|  25k|  27k| 854 | 10 | 929 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
683.40/685.70	c   686s|     1 |     0 |  1219k|     - |   534M |   0 |  22k|  25k|  27k| 939 | 11 | 930 | 789 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
718.70/721.15	c   721s|     1 |     2 |  1245k|     - |   534M |   0 |  22k|  25k|  27k| 939 | 11 | 949 | 807 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
784.87/787.54	c   788s|   100 |    99 |  1363k|1059.9 |   553M |  57 |  22k|  25k|  27k|2673 |  1 |1028 | 907 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
802.32/805.05	c   805s|   200 |   195 |  1423k|1025.1 |   559M |  75 |  22k|  25k|  27k|3451 |  0 |1063 | 940 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
851.75/854.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
851.75/854.65	c   855s|   300 |   291 |  1511k|1015.5 |   563M |  94 |  22k|  25k|  27k|4869 |  2 |1142 | 988 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
871.89/874.80	c   875s|   400 |   385 |  1548k| 973.4 |   572M | 105 |  22k|  25k|  27k|5395 |  1 |1160 |1004 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
879.07/882.02	c   882s|   500 |   467 |  1574k| 930.0 |   579M | 105 |  22k|  25k|  27k|5713 |  4 |1236 |1004 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
889.13/892.11	c   892s|   600 |   555 |  1609k| 896.4 |   591M | 107 |  22k|  26k|  27k|6045 |  2 |1448 |1031 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
910.65/913.75	c   914s|   700 |   629 |  1652k| 871.0 |   598M | 108 |  22k|  26k|  27k|6669 |  3 |1539 |1057 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
915.54/918.68	c   919s|   800 |   696 |  1669k| 834.8 |   608M | 113 |  22k|  26k|  27k|6787 |  2 |1638 |1057 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
926.30/929.47	c   929s|   900 |   755 |  1697k| 807.8 |   615M | 113 |  22k|  26k|  27k|7107 |  2 |1707 |1083 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
929.69/932.82	c   933s|  1000 |   813 |  1707k| 774.5 |   617M | 122 |  22k|  26k|  27k|7111 |  3 |1764 |1083 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
945.34/948.56	c   949s|  1100 |   878 |  1745k| 756.8 |   631M | 122 |  22k|  26k|  27k|7703 |  1 |1883 |1099 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
964.88/968.11	c   968s|  1200 |   944 |  1786k| 742.1 |   646M | 122 |  22k|  26k|  27k|8353 |  1 |1967 |1116 | 0.000000e+00 | 2.290000e+02 |    Inf | unknown
966.47/969.75	o 228
966.47/969.75	c d 970s|  1235 |   939 |  1793k| 734.3 |conflict| 122 |  22k|  26k|  27k|   0 |  1 |2006 |1116 | 0.000000e+00 | 2.280000e+02 |    Inf | unknown
978.43/981.72	c   982s|  1300 |   975 |  1818k| 724.6 |   651M | 122 |  22k|  26k|  27k|8745 |  1 |2050 |1152 | 0.000000e+00 | 2.280000e+02 |    Inf | unknown
981.41/984.79	o 222
981.41/984.79	c d 985s|  1384 |   992 |  1832k| 706.0 |guideddi| 134 |  22k|  26k|  27k|   0 |  1 |2066 |1152 | 0.000000e+00 | 2.220000e+02 |    Inf | unknown
982.01/985.31	c   985s|  1400 |   998 |  1834k| 702.5 |   653M | 134 |  22k|  26k|  27k|8772 |  1 |2071 |1152 | 0.000000e+00 | 2.220000e+02 |    Inf | unknown
982.41/985.75	o 198
982.41/985.75	c d 986s|  1412 |   943 |  1837k| 700.3 |guideddi| 134 |  22k|  26k|  27k|   0 |  1 |2073 |1152 | 0.000000e+00 | 1.980000e+02 |    Inf | unknown
982.91/986.29	o 188
982.91/986.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
982.91/986.29	c d 986s|  1427 |   875 |  1842k| 698.3 |guideddi| 134 |  22k|  26k|  27k|   0 |  1 |2076 |1152 | 0.000000e+00 | 1.880000e+02 |    Inf | unknown
1076.42/1080.08	c  1080s|  1500 |   894 |  2021k| 746.6 |   657M | 134 |  22k|  26k|  27k|9422 |  0 |2114 |1232 | 0.000000e+00 | 1.880000e+02 |    Inf | unknown
1334.58/1339.04	c  1339s|  1600 |   938 |  2472k| 884.3 |   671M | 134 |  22k|  26k|  27k|  10k|  2 |2213 |1455 | 0.000000e+00 | 1.880000e+02 |    Inf | unknown
1337.46/1341.96	o 166
1337.46/1341.96	c L1342s|  1627 |   899 |  2484k| 880.0 |    rins| 134 |  22k|  26k|  27k|  11k|  1 |2250 |1459 | 0.000000e+00 | 1.660000e+02 |    Inf | unknown
1345.53/1350.04	c  1350s|  1700 |   926 |  2509k| 865.9 |   680M | 134 |  22k|  26k|  27k|  11k|  2 |2308 |1496 | 0.000000e+00 | 1.660000e+02 |    Inf | unknown
1349.62/1354.19	o 160
1349.62/1354.19	c d1354s|  1732 |   915 |  2529k| 863.3 |distribu| 134 |  22k|  26k|  27k|   0 |  2 |2333 |1516 | 0.000000e+00 | 1.600000e+02 |    Inf | unknown
1354.89/1359.48	o 159
1354.89/1359.48	c d1359s|  1782 |   917 |  2552k| 856.5 |distribu| 134 |  22k|  26k|  27k|   0 |  1 |2397 |1534 | 0.000000e+00 | 1.590000e+02 |    Inf | unknown
1356.19/1360.70	c  1361s|  1800 |   924 |  2558k| 853.2 |   695M | 134 |  22k|  26k|  27k|  11k|  1 |2402 |1534 | 0.000000e+00 | 1.590000e+02 |    Inf | unknown
1507.11/1512.12	c  1512s|  1900 |   985 |  2907k| 940.2 |   710M | 134 |  22k|  26k|  27k|  13k|  5 |2541 |1696 | 0.000000e+00 | 1.590000e+02 |    Inf | unknown
1550.17/1555.38	o 157
1550.17/1555.38	c d1555s|  1940 |   934 |  2985k| 953.1 |pscostdi| 134 |  22k|  26k|  27k|   0 |  1 |2652 |1743 | 0.000000e+00 | 1.570000e+02 |    Inf | unknown
1654.72/1660.29	c  1660s|  2000 |   968 |  3179k| 996.9 |   720M | 134 |  22k|  26k|   0 |  16k|  0 |2725 |1851 | 0.000000e+00 | 1.570000e+02 |    Inf | unknown
1771.56/1777.40	o 155
1771.56/1777.40	c d1777s|  2028 |   956 |  3420k|1064.0 |guideddi| 134 |  22k|  26k|  28k|   0 |  2 |2741 |1961 | 0.000000e+00 | 1.550000e+02 |    Inf | unknown
1798.97/1804.96	c  1805s|  2100 |   984 |  3511k|1068.4 |   739M | 134 |  22k|  26k|  27k|  17k|  2 |2846 |2021 | 0.000000e+00 | 1.550000e+02 |    Inf | unknown
1800.07/1806.06	o 154
1800.07/1806.06	c *1806s|  2162 |   989 |  3512k|1048.7 |    LP  | 147 |  22k|  26k|  27k|  17k|  1 |2860 |2021 | 0.000000e+00 | 1.540000e+02 |    Inf | unknown
1801.17/1807.15	c  1807s|  2200 |   997 |  3513k|1037.1 |   741M | 147 |  22k|  26k|  27k|  17k|  1 |2896 |2021 | 0.000000e+00 | 1.540000e+02 |    Inf | unknown
1801.46/1807.42	o 153
1801.46/1807.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1801.46/1807.42	c r1807s|  2220 |   977 |  3513k|1030.9 |shifting| 150 |  22k|  26k|  27k|  17k|  0 |2896 |2021 | 0.000000e+00 | 1.530000e+02 |    Inf | unknown
1933.25/1939.63	o 150
1933.25/1939.63	c r1940s|  2263 |   949 |  3901k|1131.9 |shifting| 150 |  22k|  26k|  27k|  17k|  0 |2901 |2124 | 0.000000e+00 | 1.500000e+02 |    Inf | unknown
1933.35/1939.75	o 149
1933.35/1939.75	c r1940s|  2265 |   894 |  3901k|1131.3 |shifting| 150 |  22k|  26k|  27k|  17k|  0 |2901 |2124 | 0.000000e+00 | 1.490000e+02 |    Inf | unknown
1934.05/1940.46	c  1940s|  2300 |   923 |  3901k|1119.9 |   749M | 150 |  22k|  26k|  27k|  17k|  1 |2917 |2124 | 0.000000e+00 | 1.490000e+02 |    Inf | unknown
1934.15/1940.52	o 138
1934.15/1940.52	c *1941s|  2304 |   833 |  3901k|1118.6 |    LP  | 150 |  22k|  26k|  27k|  17k|  1 |2917 |2124 | 0.000000e+00 | 1.380000e+02 |    Inf | unknown
1935.14/1941.53	o 136
1935.14/1941.53	c r1942s|  2347 |   803 |  3902k|1105.0 |shifting| 150 |  22k|  26k|  27k|  17k|  0 |2935 |2124 | 0.000000e+00 | 1.360000e+02 |    Inf | unknown
1936.14/1942.52	c  1943s|  2400 |   829 |  3902k|1088.5 |   752M | 150 |  22k|  26k|  27k|  17k|  1 |2955 |2124 | 0.000000e+00 | 1.360000e+02 |    Inf | unknown
1936.14/1942.55	o 133
1936.14/1942.55	c r1943s|  2401 |   777 |  3902k|1088.2 |shifting| 150 |  22k|  26k|  27k|  17k|  0 |2955 |2124 | 0.000000e+00 | 1.330000e+02 |    Inf | unknown
1939.03/1945.40	c  1945s|  2500 |   798 |  3904k|1059.2 |   757M | 154 |  22k|  26k|  27k|  17k|  1 |3066 |2124 | 0.000000e+00 | 1.330000e+02 |    Inf | unknown
1939.23/1945.62	o 132
1939.23/1945.62	c r1946s|  2508 |   769 |  3905k|1056.9 |randroun| 160 |  22k|  26k|  27k|  17k|  2 |3070 |2124 | 0.000000e+00 | 1.320000e+02 |    Inf | unknown
1939.53/1945.94	o 131
1939.53/1945.94	c *1946s|  2523 |   743 |  3905k|1052.6 |    LP  | 160 |  22k|  26k|  27k|  17k|  1 |3073 |2124 | 0.000000e+00 | 1.310000e+02 |    Inf | unknown
1940.73/1947.13	o 128
1940.73/1947.13	c r1947s|  2582 |   733 |  3905k|1036.0 |shifting| 160 |  22k|  26k|  27k|  17k|  0 |3125 |2124 | 0.000000e+00 | 1.280000e+02 |    Inf | unknown
1941.12/1947.59	c  1948s|  2600 |   749 |  3905k|1031.0 |   765M | 160 |  22k|  26k|  27k|  17k|  2 |3125 |2124 | 0.000000e+00 | 1.280000e+02 |    Inf | unknown
1941.82/1948.21	o 122
1941.82/1948.21	c *1948s|  2638 |   732 |  3905k|1020.7 |    LP  | 160 |  22k|  26k|  27k|  17k|  1 |3135 |2124 | 0.000000e+00 | 1.220000e+02 |    Inf | unknown
1941.92/1948.32	o 116
1941.92/1948.32	c *1948s|  2640 |   656 |  3905k|1020.2 |    LP  | 160 |  22k|  26k|  27k|  17k|  1 |3135 |2124 | 0.000000e+00 | 1.160000e+02 |    Inf | unknown
2069.82/2076.64	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2069.82/2076.64	c  2077s|  2700 |   703 |  4135k|1064.0 |   772M | 160 |  22k|  26k|  27k|  18k|  1 |3168 |2222 | 0.000000e+00 | 1.160000e+02 |    Inf | unknown
2069.82/2076.66	o 114
2069.82/2076.66	c *2077s|  2701 |   654 |  4135k|1063.7 |    LP  | 160 |  22k|  26k|  27k|  18k|  1 |3168 |2222 | 0.000000e+00 | 1.140000e+02 |    Inf | unknown
2139.01/2146.04	c  2146s|  2800 |   705 |  4333k|1087.4 |   784M | 160 |  22k|  26k|  27k|  19k|  1 |3304 |2332 | 0.000000e+00 | 1.140000e+02 |    Inf | unknown
2204.10/2211.31	c  2211s|  2900 |   777 |  4484k|1097.7 |   787M | 160 |  22k|  26k|  27k|  20k|  1 |3369 |2401 | 0.000000e+00 | 1.140000e+02 |    Inf | unknown
2204.30/2211.53	o 71
2204.30/2211.53	c L2212s|  2901 |   588 |  4484k|1097.4 |crossove| 160 |  22k|  26k|  27k|  20k|  0 |3371 |2401 | 0.000000e+00 | 7.100000e+01 |    Inf | unknown
2206.19/2213.42	o 69
2206.19/2213.42	c r2213s|  2964 |   589 |  4486k|1081.0 |shifting| 160 |  22k|  24k|  27k|  20k|  0 |3416 |2401 | 0.000000e+00 | 6.900000e+01 |    Inf | unknown
2207.68/2214.96	o 67
2207.68/2214.96	c *2215s|  2998 |   588 |  4490k|1073.1 |    LP  | 160 |  22k|  24k|  27k|  20k|  1 |3456 |2417 | 0.000000e+00 | 6.700000e+01 |    Inf | unknown
2207.98/2215.24	c  2215s|  3000 |   590 |  4490k|1072.6 |   796M | 160 |  22k|  23k|  27k|  20k|  1 |3456 |2417 | 0.000000e+00 | 6.700000e+01 |    Inf | unknown
2208.68/2215.99	o 64
2208.68/2215.99	c *2216s|  3038 |   577 |  4490k|1063.0 |    LP  | 160 |  22k|  24k|  27k|  20k|  1 |3479 |2427 | 0.000000e+00 | 6.400000e+01 |    Inf | unknown
2210.98/2218.27	o 60
2210.98/2218.27	c L2218s|  3065 |   577 |  4493k|1056.9 |    alns| 160 |  22k|  23k|   0 |  20k|  0 |3509 |2440 | 0.000000e+00 | 6.000000e+01 |    Inf | unknown
2221.55/2228.85	c  2229s|  3100 |   604 |  4494k|1048.2 |   800M | 160 |  22k|  23k|  27k|  20k|  0 |3521 |2440 | 0.000000e+00 | 6.000000e+01 |    Inf | unknown
2222.04/2229.38	o 58
2222.04/2229.38	c r2229s|  3129 |   580 |  4494k|1041.1 |shifting| 160 |  22k|  23k|  27k|  20k|  0 |3537 |2440 | 0.000000e+00 | 5.800000e+01 |    Inf | unknown
2223.14/2230.42	o 57
2223.14/2230.42	c r2230s|  3173 |   580 |  4494k|1030.6 |shifting| 160 |  22k|  23k|  27k|  20k|  0 |3541 |2440 | 0.000000e+00 | 5.700000e+01 |    Inf | unknown
2229.22/2236.56	c  2237s|  3200 |   607 |  4494k|1024.3 |   804M | 160 |  22k|  23k|  27k|  20k|  1 |3541 |2440 | 0.000000e+00 | 5.700000e+01 |    Inf | unknown
2229.52/2236.86	o 56
2229.52/2236.86	c *2237s|  3222 |   584 |  4494k|1019.1 |    LP  | 160 |  22k|  23k|  27k|  20k|  1 |3555 |2440 | 0.000000e+00 | 5.600000e+01 |    Inf | unknown
2230.41/2237.70	o 53
2230.41/2237.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2230.41/2237.70	c r2238s|  3263 |   565 |  4495k|1009.7 |shifting| 160 |  22k|  23k|  27k|  20k|  0 |3565 |2440 | 0.000000e+00 | 5.300000e+01 |    Inf | unknown
2233.20/2240.55	c  2241s|  3300 |   584 |  4503k|1003.2 |   808M | 160 |  22k|  22k|  27k|  20k|  1 |3610 |2446 | 0.000000e+00 | 5.300000e+01 |    Inf | unknown
2234.20/2241.52	o 51
2234.20/2241.52	c r2242s|  3363 |   566 |  4504k| 989.2 |shifting| 160 |  22k|  22k|  27k|  20k|  0 |3618 |2446 | 0.000000e+00 | 5.100000e+01 |    Inf | unknown
2240.58/2247.91	c  2248s|  3400 |   572 |  4524k| 985.7 |   818M | 160 |  22k|  22k|   0 |  20k|  0 |3670 |2460 | 0.000000e+00 | 5.100000e+01 |    Inf | unknown
2292.21/2299.76	c  2300s|  3500 |   644 |  4594k| 979.5 |   826M | 160 |  22k|  22k|  28k|  21k|  1 |3710 |2501 | 0.000000e+00 | 5.100000e+01 |    Inf | unknown
2292.71/2300.27	o 49
2292.71/2300.27	c r2300s|  3524 |   612 |  4594k| 974.5 |shifting| 160 |  22k|  22k|  28k|  21k|  0 |3722 |2501 | 0.000000e+00 | 4.900000e+01 |    Inf | unknown
2294.31/2301.82	o 48
2294.31/2301.82	c r2302s|  3595 |   616 |  4596k| 960.3 |shifting| 160 |  22k|  22k|  28k|  21k|  0 |3748 |2501 | 0.000000e+00 | 4.800000e+01 |    Inf | unknown
2294.71/2302.22	c  2302s|  3600 |   619 |  4597k| 959.4 |   829M | 160 |  22k|  22k|  28k|  21k|  0 |3751 |2501 | 0.000000e+00 | 4.800000e+01 |    Inf | unknown
2296.80/2304.35	o 46
2296.80/2304.35	c *2304s|  3680 |   564 |  4600k| 944.1 |    LP  | 160 |  22k|  22k|  28k|  21k|  1 |3783 |2501 | 0.000000e+00 | 4.600000e+01 |    Inf | unknown
2321.72/2329.35	c  2329s|  3700 |   576 |  4651k| 950.9 |   837M | 160 |  22k|  22k|  28k|  21k|  0 |3785 |2528 | 0.000000e+00 | 4.600000e+01 |    Inf | unknown
2365.39/2373.17	c  2373s|  3800 |   616 |  4760k| 953.6 |   849M | 160 |  22k|  22k|  28k|  21k|  1 |3815 |2580 | 0.000000e+00 | 4.600000e+01 |    Inf | unknown
2455.44/2463.44	c  2463s|  3900 |   644 |  4931k| 968.6 |   854M | 160 |  22k|  22k|  28k|  22k|  2 |3927 |2687 | 0.000000e+00 | 4.600000e+01 |    Inf | unknown
2455.64/2463.64	o 40
2455.64/2463.64	c L2464s|  3901 |   598 |  4931k| 968.4 |    rins| 160 |  22k|  22k|  28k|  22k|  2 |3927 |2687 | 0.000000e+00 | 4.000000e+01 |    Inf | unknown
2479.76/2487.83	c  2488s|  4000 |   656 |  4984k| 960.1 |   857M | 160 |  22k|  22k|   0 |  23k|  0 |3994 |2725 | 0.000000e+00 | 4.000000e+01 |    Inf | unknown
2480.26/2488.38	o 37
2480.26/2488.38	c *2488s|  4033 |   633 |  4984k| 954.0 |    LP  | 160 |  22k|  22k|  28k|  23k|  1 |4014 |2725 | 0.000000e+00 | 3.700000e+01 |    Inf | unknown
2481.65/2489.70	o 36
2481.65/2489.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2481.65/2489.70	c r2490s|  4079 |   634 |  4986k| 945.9 |shifting| 160 |  22k|  21k|  28k|  23k|  0 |4040 |2725 | 0.000000e+00 | 3.600000e+01 |    Inf | unknown
2505.08/2513.27	c  2513s|  4100 |   647 |  5059k| 956.0 |   867M | 160 |  22k|  21k|  28k|  23k|  0 |4094 |2753 | 0.000000e+00 | 3.600000e+01 |    Inf | unknown
2552.14/2560.40	c  2560s|  4200 |   723 |  5174k| 959.7 |   878M | 160 |  22k|  21k|  28k|  24k|  1 |4183 |2816 | 0.000000e+00 | 3.600000e+01 |    Inf | unknown
2552.34/2560.69	o 31
2552.34/2560.69	c r2561s|  4216 |   700 |  5174k| 956.8 |shifting| 160 |  22k|  21k|  28k|  24k|  0 |4191 |2816 | 0.000000e+00 | 3.100000e+01 |    Inf | unknown
2553.23/2561.55	o 28
2553.23/2561.55	c *2562s|  4239 |   657 |  5174k| 952.8 |    LP  | 160 |  22k|  21k|  28k|  24k|  1 |4201 |2816 | 0.000000e+00 | 2.800000e+01 |    Inf | unknown
2554.63/2562.94	o 27
2554.63/2562.94	c *2563s|  4296 |   654 |  5175k| 942.9 |    LP  | 160 |  22k|  21k|  28k|  24k|  1 |4220 |2816 | 0.000000e+00 | 2.700000e+01 |    Inf | unknown
2555.03/2563.32	c  2563s|  4300 |   658 |  5175k| 942.3 |   884M | 160 |  22k|  21k|  28k|  24k|  1 |4223 |2816 | 0.000000e+00 | 2.700000e+01 |    Inf | unknown
2555.73/2564.08	o 25
2555.73/2564.08	c *2564s|  4347 |   646 |  5176k| 934.3 |    LP  | 160 |  22k|  21k|  28k|  24k|  1 |4239 |2816 | 0.000000e+00 | 2.500000e+01 |    Inf | unknown
2562.81/2571.12	c  2571s|  4400 |   658 |  5193k| 928.5 |   891M | 160 |  22k|  21k|   0 |  24k|  0 |4296 |2829 | 0.000000e+00 | 2.500000e+01 |    Inf | unknown
2563.50/2571.88	o 24
2563.50/2571.88	c *2572s|  4450 |   665 |  5193k| 920.2 |    LP  | 160 |  22k|  21k|  28k|  24k|  1 |4309 |2829 | 0.000000e+00 | 2.400000e+01 |    Inf | unknown
2566.59/2574.96	o 20
2566.59/2574.96	c *2575s|  4500 |   607 |  5210k| 915.0 |    LP  | 160 |  22k|  20k|  28k|  24k|  1 |4329 |2829 | 0.000000e+00 | 2.000000e+01 |    Inf | unknown
2572.07/2580.42	o 19
2572.07/2580.42	c *2580s|  4585 |   610 |  5231k| 905.0 |    LP  | 160 |  22k|  20k|  28k|  24k|  1 |4376 |2848 | 0.000000e+00 | 1.900000e+01 |    Inf | unknown
2575.16/2583.50	c  2583s|  4600 |   625 |  5240k| 904.2 |   903M | 160 |  22k|  20k|  28k|  24k|  2 |4381 |2869 | 0.000000e+00 | 1.900000e+01 |    Inf | unknown
2578.95/2587.34	c  2587s|  4700 |   704 |  5250k| 890.6 |   904M | 160 |  22k|  20k|  28k|  24k|  1 |4431 |2887 | 0.000000e+00 | 1.900000e+01 |    Inf | unknown
2580.24/2588.60	o 15
2580.24/2588.60	c r2589s|  4771 |   667 |  5251k| 880.0 |rounding| 160 |  22k|  20k|  28k|  24k|  0 |4457 |2893 | 0.000000e+00 | 1.500000e+01 |    Inf | unknown
2581.54/2589.90	o 14
2581.54/2589.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2581.54/2589.90	c r2590s|  4799 |   659 |  5252k| 876.0 |shifting| 160 |  22k|  20k|  28k|  24k|  0 |4496 |2916 | 0.000000e+00 | 1.400000e+01 |    Inf | unknown
2581.54/2589.96	c  2590s|  4800 |   660 |  5252k| 875.9 |   906M | 160 |  22k|  20k|  28k|  24k|  1 |4496 |2916 | 0.000000e+00 | 1.400000e+01 |    Inf | unknown
2582.04/2590.48	o 13
2582.04/2590.48	c r2590s|  4820 |   599 |  5252k| 872.9 |randroun| 160 |  22k|  20k|  28k|  24k|  0 |4496 |2916 | 0.000000e+00 | 1.300000e+01 |    Inf | unknown
2587.02/2595.47	c  2595s|  4900 |   654 |  5263k| 863.1 |   908M | 160 |  22k|  20k|  28k|  24k|  1 |4550 |2928 | 0.000000e+00 | 1.300000e+01 |    Inf | unknown
2587.32/2595.75	o 12
2587.32/2595.75	c r2596s|  4913 |   576 |  5263k| 861.3 |shifting| 160 |  22k|  20k|  28k|  24k|  0 |4559 |2928 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
2590.01/2598.46	c  2598s|  5000 |   616 |  5269k| 850.2 |   910M | 160 |  22k|  20k|  28k|  24k|  2 |4633 |2928 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
2591.80/2600.28	o 11
2591.80/2600.28	c *2600s|  5096 |   630 |  5270k| 837.2 |    LP  | 160 |  22k|  20k|  28k|  24k|  1 |4686 |2928 | 0.000000e+00 | 1.100000e+01 |    Inf | unknown
2592.20/2600.64	c  2601s|  5100 |   629 |  5270k| 836.7 |   911M | 160 |  22k|  20k|   0 |  24k|  0 |4697 |2928 | 0.000000e+00 | 1.100000e+01 |    Inf | unknown
2592.70/2601.10	o 9
2592.70/2601.10	c *2601s|  5127 |   543 |  5271k| 833.1 |    LP  | 160 |  22k|  20k|  28k|  24k|  1 |4703 |2928 | 0.000000e+00 | 9.000000e+00 |    Inf | unknown
2593.99/2602.46	o 6
2593.99/2602.46	c r2602s|  5179 |   446 |  5272k| 826.4 |shifting| 160 |  22k|  20k|  28k|  24k|  0 |4718 |2928 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
2619.40/2627.90	c  2628s|  5200 |   467 |  5278k| 824.7 |   918M | 160 |  22k|  19k|  28k|  25k|  1 |4721 |2933 | 0.000000e+00 | 6.000000e+00 |    Inf | unknown
2621.89/2630.43	o 5
2621.89/2630.43	c *2630s|  5282 |   482 |  5281k| 814.7 |    LP  | 160 |  22k|  19k|  28k|  25k|  1 |4765 |2946 | 0.000000e+00 | 5.000000e+00 |    Inf | unknown
2622.49/2631.07	c  2631s|  5300 |   496 |  5281k| 812.4 |   921M | 160 |  22k|  19k|  28k|  25k|  1 |4773 |2946 | 0.000000e+00 | 5.000000e+00 |    Inf | unknown
2622.79/2631.39	o 3
2622.79/2631.39	c *2631s|  5323 |   407 |  5281k| 809.5 |    LP  | 160 |  22k|  19k|  28k|  25k|  1 |4778 |2946 | 0.000000e+00 | 3.000000e+00 |    Inf |  11.87%
2633.95/2642.55	c  2643s|  5400 |   374 |  5315k| 805.1 |   956M | 160 |  22k|  19k|  27k|  25k|  2 |4883 |2994 | 0.000000e+00 | 3.000000e+00 |    Inf |  17.42%
2639.23/2647.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2639.23/2647.89	c  2648s|  5500 |   460 |  5331k| 795.3 |   970M | 160 |  22k|  19k|  28k|  25k|  1 |4909 |3006 | 0.000000e+00 | 3.000000e+00 |    Inf |  17.42%
2639.63/2648.21	o 2
2639.63/2648.21	c r2648s|  5523 |   368 |  5331k| 792.6 |shifting| 160 |  22k|  19k|  28k|  25k|  0 |4914 |3006 | 0.000000e+00 | 2.000000e+00 |    Inf |  18.35%
2645.21/2653.87	c  2654s|  5600 |   412 |  5348k| 786.1 |   976M | 160 |  22k|  19k|  28k|  25k|  1 |4934 |3027 | 0.000000e+00 | 2.000000e+00 |    Inf |  19.44%
2646.21/2654.85	o 1
2646.21/2654.85	c *2655s|  5652 |   344 |  5348k| 780.1 |    LP  | 160 |  22k|  19k|  28k|  25k|  1 |4940 |3027 | 0.000000e+00 | 1.000000e+00 |    Inf |  20.88%
2661.56/2670.20	c  2670s|  5700 |   250 |  5380k| 779.4 |   983M | 160 |  22k|  19k|  27k|  26k|  1 |5041 |3073 | 0.000000e+00 | 1.000000e+00 |    Inf |  36.48%
2677.11/2685.87	c  2686s|  5800 |   203 |  5428k| 775.1 |   990M | 160 |  22k|  19k|  27k|  27k|  1 |5165 |3112 | 0.000000e+00 | 1.000000e+00 |    Inf |  41.28%
2685.39/2694.14	c  2694s|  5900 |   219 |  5451k| 767.3 |  1004M | 160 |  22k|  19k|   0 |  27k|  0 |5296 |3144 | 0.000000e+00 | 1.000000e+00 |    Inf |  41.41%
2704.42/2713.26	c  2713s|  6000 |   220 |  5500k| 763.4 |  1016M | 160 |  22k|  19k|  27k|  28k|  4 |5395 |3189 | 0.000000e+00 | 1.000000e+00 |    Inf |  41.41%
2731.34/2740.22	c  2740s|  6100 |   178 |  5548k| 759.5 |  1025M | 160 |  22k|  19k|  28k|  29k|  3 |5482 |3231 | 0.000000e+00 | 1.000000e+00 |    Inf |  46.15%
2797.43/2806.56	c  2807s|  6200 |   176 |  5685k| 767.8 |  1045M | 160 |  22k|  19k|  28k|  29k|  2 |5683 |3325 | 0.000000e+00 | 1.000000e+00 |    Inf |  46.40%
2824.85/2834.06	c  2834s|  6300 |   124 |  5744k| 765.4 |  1080M | 160 |  22k|  19k|  27k|  31k|  3 |5741 |3394 | 0.000000e+00 | 1.000000e+00 |    Inf |  55.38%
2905.31/2914.70	c  2915s|  6400 |   102 |  5913k| 777.6 |  1104M | 160 |  22k|  19k|  28k|  34k|  2 |5910 |3548 | 0.000000e+00 | 1.000000e+00 |    Inf |  62.07%
2947.68/2957.25	c  2957s|  6500 |    89 |  6009k| 780.0 |  1111M | 160 |  22k|  19k|  28k|  35k|  2 |6027 |3620 | 0.000000e+00 | 1.000000e+00 |    Inf |  62.27%
2970.51/2980.16	c  2980s|  6600 |    91 |  6071k| 778.0 |  1124M | 160 |  22k|  19k|  28k|  35k|  2 |6165 |3691 | 0.000000e+00 | 1.000000e+00 |    Inf |  62.27%
3000.51/3010.28	c  3010s|  6700 |   110 |  6148k| 777.8 |  1136M | 160 |  22k|  19k|  28k|  37k|  2 |6236 |3734 | 0.000000e+00 | 1.000000e+00 |    Inf |  62.29%
3051.26/3061.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3051.35/3061.20	c  3061s|  6800 |    33 |  6271k| 783.5 |  1145M | 160 |  22k|  19k|  28k|  39k|  2 |6312 |3804 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.56%
3059.02/3068.93	c  3069s|  6900 |    86 |  6288k| 776.0 |  1171M | 160 |  22k|  19k|  28k|  39k|  1 |6395 |3830 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.56%
3066.00/3075.93	c  3076s|  7000 |   104 |  6309k| 769.0 |  1191M | 160 |  22k|  20k|  28k|  39k|  2 |6585 |3866 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3072.58/3082.55	c  3083s|  7100 |   106 |  6329k| 762.0 |  1199M | 160 |  22k|  20k|  28k|  40k|  2 |6757 |3895 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3080.06/3090.06	c  3090s|  7200 |    91 |  6353k| 755.8 |  1207M | 160 |  22k|  20k|  28k|  40k|  2 |6881 |3929 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3092.22/3102.22	c  3102s|  7300 |   111 |  6388k| 751.0 |  1231M | 160 |  22k|  20k|  28k|  41k|  1 |7031 |3974 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3103.68/3113.70	c  3114s|  7400 |    94 |  6427k| 746.7 |  1237M | 160 |  22k|  20k|  28k|  41k|  1 |7140 |4020 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3115.54/3125.65	c  3126s|  7500 |    40 |  6468k| 742.9 |  1248M | 160 |  22k|  20k|  28k|  42k|  1 |7316 |4083 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3129.40/3139.58	c  3140s|  7600 |    37 |  6515k| 739.7 |  1249M | 160 |  22k|  20k|  28k|  42k|  2 |7413 |4120 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3148.14/3158.38	c  3158s|  7700 |    71 |  6569k| 737.4 |  1265M | 160 |  22k|  20k|  28k|  43k|  4 |7550 |4194 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3185.83/3196.13	c  3196s|  7800 |    95 |  6663k| 739.8 |  1271M | 160 |  22k|  20k|  28k|  44k|  2 |7759 |4292 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3204.87/3215.26	c  3215s|  7900 |   130 |  6723k| 738.2 |  1272M | 160 |  22k|  20k|  28k|  45k|  2 |7860 |4341 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.71%
3236.07/3246.50	c  3246s|  8000 |   122 |  6823k| 741.1 |  1283M | 160 |  22k|  20k|  28k|  46k|  2 |8204 |4447 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.72%
3269.27/3279.81	c  3280s|  8100 |    99 |  6923k| 743.9 |  1287M | 160 |  22k|  20k|  27k|  47k|  2 |8453 |4567 | 0.000000e+00 | 1.000000e+00 |    Inf |  72.73%
3382.35/3393.21	c  3393s|  8200 |    25 |  7186k| 764.1 |  1314M | 160 |  22k|  19k|  28k|  51k|  1 |8811 |4856 | 0.000000e+00 | 1.000000e+00 |    Inf |  74.96%
3417.64/3428.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3417.64/3428.63	c  3429s|  8300 |    80 |  7272k| 765.1 |  1320M | 160 |  22k|  19k|  28k|  52k|  3 |8886 |4913 | 0.000000e+00 | 1.000000e+00 |    Inf |  74.97%
3479.85/3491.00	c  3491s|  8400 |   106 |  7355k| 765.8 |  1321M | 160 |  22k|  20k|   0 |  53k|  0 |9045 |4998 | 0.000000e+00 | 1.000000e+00 |    Inf |  74.97%
3503.47/3514.74	c  3515s|  8500 |   137 |  7431k| 765.7 |  1322M | 160 |  22k|  20k|  27k|  54k|  2 |9233 |5066 | 0.000000e+00 | 1.000000e+00 |    Inf |  74.97%
3539.95/3551.33	c  3551s|  8600 |   147 |  7539k| 769.0 |  1326M | 160 |  22k|  20k|  27k|  56k|  2 |9483 |5164 | 0.000000e+00 | 1.000000e+00 |    Inf |  74.98%
3574.04/3585.51	c  3586s|  8700 |   101 |  7639k| 771.3 |  1340M | 160 |  22k|  20k|  27k|  57k|  1 |9755 |5284 | 0.000000e+00 | 1.000000e+00 |    Inf |  75.10%
3585.51/3597.01	c 
3585.51/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3585.51/3597.01	c Solving Time (sec) : 3597.00
3585.51/3597.01	c Solving Nodes      : 8741 (total of 9880 nodes in 2 runs)
3585.51/3597.01	c Primal Bound       : +1.00000000000000e+00 (89 solutions)
3585.51/3597.01	c Dual Bound         : +0.00000000000000e+00
3585.51/3597.01	c Gap                : infinite
3585.51/3597.03	s SATISFIABLE
3585.51/3597.04	v -x7578 -x7577 -x7576 -x7575 -x7574 x7573 x7572 x7571 x7570 -x7569 -x7568 x7567 x7566 x7565 -x7564 x7563 -x7562 -x7561 -x7560 x7559 
3585.51/3597.04	v x7558 -x7557 x7556 x7555 x7554 -x7553 x7552 x7551 x7550 x7549 -x7548 x7547 x7546 x7545 x7544 -x7543 x7542 -x7541 -x7540 x7539 
3585.51/3597.04	v x7538 x7537 -x7536 -x7535 x7534 -x7533 x7532 -x7531 x7530 x7529 -x7528 -x7527 x7526 -x7525 x7524 x7523 x7522 -x7521 -x7520 
3585.51/3597.04	v x7519 x7518 x7517 -x7516 -x7515 -x7514 x7513 x7512 x7511 x7510 x7509 x7508 x7507 -x7506 x7505 -x7504 x7503 x7502 x7501 x7500 
3585.51/3597.04	v -x7499 -x7498 -x7497 -x7496 x7495 x7494 x7493 -x7492 -x7491 -x7490 x7489 x7488 x7487 -x7486 x7485 x7484 -x7483 x7482 x7481 
3585.51/3597.04	v x7480 -x7479 x7478 x7477 x7476 x7475 -x7474 x7473 x7472 x7471 x7470 -x7469 x7468 -x7467 x7466 x7465 -x7464 x7463 x7462 x7461 
3585.51/3597.04	v x7460 x7459 x7458 -x7457 x7456 -x7455 x7454 x7453 x7452 -x7451 -x7450 -x7449 x7448 -x7447 x7446 -x7445 x7444 x7443 x7442 x7441 
3585.51/3597.04	v -x7440 x7439 x7438 -x7437 x7436 x7435 x7434 x7433 -x7432 -x7431 -x7430 -x7429 x7428 x7427 x7426 x7425 x7424 x7423 x7422 x7421 
3585.51/3597.04	v x7420 -x7419 x7418 -x7417 x7416 x7415 x7414 -x7413 -x7412 -x7411 x7410 -x7409 -x7408 x7407 -x7406 x7405 x7404 x7403 -x7402 
3585.51/3597.04	v x7401 -x7400 -x7399 x7398 x7397 x7396 x7395 x7394 x7393 x7392 x7391 x7390 x7389 x7388 x7387 x7386 x7385 x7384 x7383 x7382 x7381 
3585.51/3597.04	v -x7380 -x7379 -x7378 x7377 -x7376 -x7375 -x7374 -x7373 -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 
3585.51/3597.04	v -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 
3585.51/3597.04	v -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 
3585.51/3597.04	v -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 x7311 x7310 x7309 
3585.51/3597.04	v x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 -x7300 -x7299 -x7298 x7297 x7296 x7295 x7294 -x7293 -x7292 -x7291 
3585.51/3597.04	v -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7283 -x7282 -x7281 -x7280 -x7279 x7278 -x7277 -x7276 -x7275 -x7274 -x7273 
3585.51/3597.04	v -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 x7266 x7265 x7264 x7263 x7262 x7261 x7260 x7259 x7258 x7257 x7256 x7255 x7254 x7253 
3585.51/3597.04	v x7252 x7251 x7250 x7249 x7248 x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 
3585.51/3597.04	v -x7233 -x7232 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 
3585.51/3597.04	v -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 x7199 x7198 
3585.51/3597.04	v x7197 x7196 x7195 x7194 -x7193 x7192 -x7191 -x7190 x7189 x7188 x7187 x7186 x7185 -x7184 x7183 x7182 x7181 -x7180 -x7179 -x7178 
3585.51/3597.04	v -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 
3585.51/3597.04	v -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 
3585.51/3597.04	v -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 
3585.51/3597.04	v -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7107 
3585.51/3597.04	v -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 
3585.51/3597.04	v -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 
3585.51/3597.04	v -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 
3585.51/3597.04	v -x7052 -x7051 x7050 x7049 x7048 x7047 x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7036 -x7035 
3585.51/3597.04	v -x7034 -x7033 -x7032 -x7031 x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 
3585.51/3597.04	v -x7016 x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 
3585.51/3597.04	v x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 
3585.51/3597.04	v -x6980 -x6979 x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6965 -x6964 -x6963 
3585.51/3597.04	v -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 
3585.51/3597.04	v -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 x6930 x6929 x6928 x6927 
3585.51/3597.04	v x6926 -x6925 x6924 -x6923 -x6922 x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 
3585.51/3597.04	v -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 
3585.51/3597.04	v -x6889 -x6888 -x6887 -x6886 x6885 -x6884 -x6883 x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 
3585.51/3597.04	v -x6871 -x6870 x6869 -x6868 -x6867 -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 x6860 -x6859 -x6858 -x6857 -x6856 -x6855 x6854 
3585.51/3597.04	v x6853 -x6852 x6851 -x6850 -x6849 -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 x6839 -x6838 -x6837 -x6836 
3585.51/3597.04	v -x6835 -x6834 -x6833 -x6832 -x6831 -x6830 -x6829 -x6828 x6827 x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 
3585.51/3597.04	v -x6817 -x6816 -x6815 -x6814 -x6813 -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 
3585.51/3597.04	v -x6799 -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 
3585.51/3597.04	v -x6781 -x6780 -x6779 -x6778 -x6777 -x6776 x6775 x6774 x6773 x6772 x6771 x6770 x6769 x6768 x6767 x6766 x6765 x6764 x6763 x6762 
3585.51/3597.04	v x6761 x6760 -x6759 -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 
3585.51/3597.04	v -x6743 -x6742 -x6741 -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 x6727 -x6726 
3585.51/3597.04	v -x6725 -x6724 -x6723 -x6722 x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 
3585.51/3597.04	v -x6707 -x6706 -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 
3585.51/3597.04	v -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 
3585.51/3597.04	v -x6671 -x6670 -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 x6663 -x6662 -x6661 x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 
3585.51/3597.04	v -x6653 -x6652 x6651 -x6650 x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 
3585.51/3597.04	v -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 
3585.51/3597.04	v -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 
3585.51/3597.04	v -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 x6584 -x6583 -x6582 
3585.51/3597.04	v -x6581 x6580 x6579 x6578 x6577 x6576 x6575 x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 
3585.51/3597.04	v x6562 -x6561 -x6560 -x6559 -x6558 -x6557 x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 x6549 -x6548 -x6547 -x6546 -x6545 
3585.51/3597.04	v -x6544 x6543 -x6542 -x6541 x6540 -x6539 -x6538 -x6537 -x6536 x6535 -x6534 -x6533 -x6532 -x6531 x6530 -x6529 -x6528 -x6527 -x6526 
3585.51/3597.04	v -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 
3585.51/3597.04	v -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 
3585.51/3597.04	v -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 
3585.51/3597.04	v -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 
3585.51/3597.04	v -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 
3585.51/3597.04	v -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 
3585.51/3597.04	v -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 
3585.51/3597.04	v -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 
3585.51/3597.04	v -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 
3585.51/3597.04	v -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 
3585.51/3597.04	v -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 
3585.51/3597.04	v -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 
3585.51/3597.04	v -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 
3585.51/3597.04	v -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 
3585.51/3597.04	v -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 
3585.51/3597.04	v -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 
3585.51/3597.04	v -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 
3585.51/3597.04	v -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 
3585.51/3597.04	v -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 x6193 x6192 -x6191 -x6190 -x6189 -x6188 -x6187 
3585.51/3597.04	v -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 
3585.51/3597.04	v -x6168 -x6167 -x6166 x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 
3585.51/3597.04	v -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 
3585.51/3597.04	v -x6132 x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 
3585.51/3597.04	v -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 x6099 -x6098 -x6097 
3585.51/3597.04	v -x6096 -x6095 -x6094 -x6093 x6092 -x6091 -x6090 -x6089 -x6088 -x6087 x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 x6079 
3585.51/3597.04	v -x6078 -x6077 -x6076 x6075 -x6074 -x6073 -x6072 -x6071 x6070 -x6069 -x6068 -x6067 x6066 -x6065 -x6064 -x6063 -x6062 x6061 -x6060 
3585.51/3597.04	v -x6059 -x6058 x6057 -x6056 -x6055 -x6054 -x6053 x6052 -x6051 -x6050 -x6049 x6048 x6047 x6046 -x6045 -x6044 x6043 -x6042 
3585.51/3597.04	v -x6041 x6040 -x6039 -x6038 -x6037 x6036 -x6035 -x6034 x6033 -x6032 -x6031 -x6030 x6029 -x6028 x6027 -x6026 x6025 -x6024 -x6023 
3585.51/3597.04	v -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 
3585.51/3597.04	v x6004 -x6003 -x6002 x6001 -x6000 -x5999 x5998 -x5997 x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 
3585.51/3597.04	v -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 
3585.51/3597.04	v x5968 -x5967 -x5966 x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 
3585.51/3597.04	v -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 x5933 -x5932 
3585.51/3597.04	v -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 x5919 -x5918 -x5917 -x5916 -x5915 -x5914 
3585.51/3597.04	v -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 
3585.51/3597.04	v -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 x5881 x5880 x5879 x5878 
3585.51/3597.04	v x5877 x5876 x5875 x5874 x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 
3585.51/3597.04	v -x5858 x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 
3585.51/3597.04	v -x5840 -x5839 -x5838 -x5837 x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 
3585.51/3597.04	v -x5822 -x5821 -x5820 x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 x5811 -x5810 -x5809 -x5808 x5807 -x5806 -x5805 
3585.51/3597.04	v -x5804 -x5803 x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 x5794 -x5793 -x5792 x5791 x5790 x5789 -x5788 -x5787 
3585.51/3597.04	v -x5786 x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 x5772 x5771 x5770 x5769 -x5768 
3585.51/3597.04	v -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 x5755 -x5754 -x5753 -x5752 -x5751 x5750 
3585.51/3597.04	v -x5749 -x5748 x5747 -x5746 -x5745 -x5744 -x5743 x5742 -x5741 -x5740 x5739 -x5738 -x5737 -x5736 -x5735 -x5734 x5733 -x5732 -x5731 
3585.51/3597.04	v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 x5718 -x5717 -x5716 -x5715 -x5714 -x5713 
3585.51/3597.04	v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 
3585.51/3597.04	v -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 x5686 -x5685 -x5684 x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 
3585.51/3597.04	v -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 
3585.51/3597.04	v x5658 -x5657 x5656 -x5655 x5654 -x5653 -x5652 -x5651 x5650 x5649 x5648 x5647 -x5646 -x5645 -x5644 -x5643 x5642 -x5641 -x5640 
3585.51/3597.04	v -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 
3585.51/3597.04	v -x5621 x5620 x5619 -x5618 x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
3585.51/3597.04	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 x5589 -x5588 -x5587 x5586 
3585.51/3597.04	v -x5585 x5584 -x5583 -x5582 x5581 x5580 -x5579 x5578 x5577 x5576 x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 
3585.51/3597.04	v x5566 x5565 -x5564 x5563 -x5562 -x5561 -x5560 -x5559 -x5558 x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 x5549 -x5548 
3585.51/3597.04	v -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 x5541 -x5540 -x5539 -x5538 -x5537 -x5536 x5535 -x5534 x5533 x5532 x5531 -x5530 
3585.51/3597.04	v x5529 -x5528 -x5527 -x5526 -x5525 -x5524 x5523 -x5522 -x5521 -x5520 -x5519 x5518 -x5517 -x5516 x5515 -x5514 -x5513 -x5512 -x5511 
3585.51/3597.04	v -x5510 -x5509 -x5508 x5507 x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 
3585.51/3597.04	v -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 
3585.51/3597.04	v -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 
3585.51/3597.04	v -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 
3585.51/3597.04	v -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 
3585.51/3597.04	v x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 
3585.51/3597.04	v -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 
3585.51/3597.04	v -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 
3585.51/3597.04	v -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 x5356 x5355 x5354 x5353 x5352 x5351 x5350 x5349 
3585.51/3597.04	v x5348 x5347 x5346 x5345 x5344 x5343 x5342 x5341 x5340 x5339 x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 
3585.51/3597.04	v -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 
3585.51/3597.04	v -x5310 -x5309 -x5308 -x5307 x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 x5293 
3585.51/3597.04	v -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 
3585.51/3597.04	v -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 
3585.51/3597.04	v -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 x5250 x5249 -x5248 -x5247 -x5246 x5245 -x5244 -x5243 x5242 -x5241 x5240 -x5239 
3585.51/3597.04	v -x5238 -x5237 -x5236 x5235 x5234 x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 x5223 -x5222 -x5221 -x5220 
3585.51/3597.04	v -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 x5212 -x5211 x5210 x5209 x5208 x5207 x5206 -x5205 -x5204 x5203 x5202 x5201 
3585.51/3597.04	v -x5200 x5199 x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 x5183 
3585.51/3597.04	v -x5182 -x5181 -x5180 x5179 -x5178 -x5177 -x5176 x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 x5165 
3585.51/3597.04	v -x5164 -x5163 -x5162 -x5161 -x5160 x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 
3585.51/3597.04	v -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 
3585.51/3597.04	v -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 
3585.51/3597.04	v -x5110 x5109 x5108 x5107 x5106 x5105 x5104 x5103 x5102 x5101 x5100 x5099 x5098 x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 
3585.51/3597.04	v -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 
3585.51/3597.04	v -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 x5060 x5059 x5058 x5057 x5056 x5055 
3585.51/3597.04	v x5054 x5053 x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 
3585.51/3597.04	v -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 
3585.51/3597.04	v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 x5002 -x5001 -x5000 
3585.51/3597.04	v -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 
3585.51/3597.04	v -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 
3585.51/3597.04	v -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 
3585.51/3597.04	v -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 x4929 
3585.51/3597.04	v -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 
3585.51/3597.04	v -x4910 -x4909 -x4908 -x4907 x4906 x4905 x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 
3585.51/3597.04	v -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 
3585.51/3597.04	v -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 
3585.51/3597.04	v -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 
3585.51/3597.04	v -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 x4832 x4831 x4830 x4829 x4828 x4827 x4826 x4825 x4824 x4823 x4822 x4821 x4820 -x4819 
3585.51/3597.04	v -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 
3585.51/3597.04	v -x4800 -x4799 -x4798 -x4797 -x4796 x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 
3585.51/3597.04	v -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 x4770 -x4769 -x4768 -x4767 -x4766 -x4765 
3585.51/3597.04	v -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 
3585.51/3597.04	v -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 x4733 -x4732 -x4731 -x4730 -x4729 
3585.51/3597.04	v -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 
3585.51/3597.04	v -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 
3585.51/3597.04	v x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 
3585.51/3597.04	v -x4675 -x4674 -x4673 -x4672 x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 x4663 -x4662 -x4661 -x4660 -x4659 -x4658 
3585.51/3597.04	v -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 
3585.51/3597.04	v -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 
3585.51/3597.04	v -x4621 x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 
3585.51/3597.04	v -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 x4593 x4592 x4591 x4590 x4589 x4588 x4587 x4586 x4585 
3585.51/3597.04	v x4584 x4583 x4582 x4581 x4580 x4579 x4578 x4577 -x4576 -x4575 -x4574 -x4573 -x4572 x4571 -x4570 -x4569 -x4568 -x4567 -x4566 
3585.51/3597.04	v -x4565 -x4564 -x4563 x4562 x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 
3585.51/3597.04	v -x4546 x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 
3585.51/3597.04	v -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 
3585.51/3597.04	v -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 
3585.51/3597.04	v x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 
3585.51/3597.04	v x4475 x4474 x4473 x4472 x4471 x4470 x4469 x4468 x4467 x4466 x4465 x4464 x4463 x4462 x4461 x4460 x4459 x4458 -x4457 -x4456 -x4455 
3585.51/3597.04	v -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 x4441 x4440 x4439 x4438 -x4437 
3585.51/3597.04	v -x4436 -x4435 -x4434 -x4433 x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 
3585.51/3597.04	v -x4418 x4417 x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 
3585.51/3597.04	v -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 
3585.51/3597.04	v -x4382 -x4381 -x4380 x4379 x4378 x4377 x4376 x4375 -x4374 -x4373 -x4372 -x4371 x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 
3585.51/3597.04	v -x4363 -x4362 -x4361 x4360 x4359 -x4358 x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 
3585.51/3597.04	v -x4345 -x4344 x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 x4332 x4331 x4330 x4329 x4328 x4327 
3585.51/3597.04	v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 x4320 x4319 x4318 -x4317 -x4316 x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 
3585.51/3597.04	v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 
3585.51/3597.04	v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 
3585.51/3597.04	v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 
3585.51/3597.04	v -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 x4240 -x4239 -x4238 -x4237 
3585.51/3597.04	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 x4219 
3585.51/3597.04	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 
3585.51/3597.04	v -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 
3585.51/3597.04	v -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 
3585.51/3597.04	v -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 
3585.51/3597.04	v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 
3585.51/3597.04	v -x4128 x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 
3585.51/3597.04	v -x4110 -x4109 -x4108 x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 
3585.51/3597.04	v -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 x4078 x4077 x4076 x4075 
3585.51/3597.04	v x4074 x4073 x4072 -x4071 -x4070 -x4069 x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 x4061 x4060 -x4059 -x4058 -x4057 -x4056 
3585.51/3597.04	v -x4055 -x4054 -x4053 -x4052 x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 
3585.51/3597.04	v -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 
3585.51/3597.04	v -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 
3585.51/3597.04	v -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 x3987 -x3986 -x3985 -x3984 
3585.51/3597.04	v -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 
3585.51/3597.04	v -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 
3585.51/3597.04	v -x3948 -x3947 -x3946 -x3945 x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 
3585.51/3597.04	v -x3930 -x3929 x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 
3585.51/3597.04	v -x3912 -x3911 x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 
3585.51/3597.04	v -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 
3585.51/3597.04	v -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 
3585.51/3597.04	v -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 
3585.51/3597.04	v -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 
3585.51/3597.04	v -x3822 -x3821 -x3820 -x3819 -x3818 x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 
3585.51/3597.04	v -x3804 -x3803 -x3802 -x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 
3585.51/3597.04	v -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 
3585.51/3597.04	v -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 
3585.51/3597.04	v x3750 x3749 -x3748 -x3747 -x3746 x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 
3585.51/3597.04	v -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 
3585.51/3597.04	v -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 x3699 -x3698 -x3697 
3585.51/3597.04	v -x3696 -x3695 -x3694 x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 
3585.51/3597.04	v -x3678 x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 
3585.51/3597.04	v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 
3585.51/3597.04	v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 x3628 -x3627 -x3626 -x3625 -x3624 
3585.51/3597.04	v -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 x3610 -x3609 -x3608 -x3607 -x3606 
3585.51/3597.04	v -x3605 -x3604 x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 x3590 -x3589 -x3588 
3585.51/3597.04	v -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 
3585.51/3597.04	v -x3569 -x3568 -x3567 -x3566 -x3565 x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 x3557 x3556 -x3555 x3554 x3553 x3552 
3585.51/3597.04	v x3551 x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 
3585.51/3597.04	v -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 x3516 x3515 
3585.51/3597.04	v x3514 x3513 x3512 -x3511 -x3510 x3509 -x3508 -x3507 -x3506 x3505 -x3504 -x3503 -x3502 x3501 -x3500 -x3499 -x3498 -x3497 
3585.51/3597.04	v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 x3482 -x3481 -x3480 -x3479 
3585.51/3597.04	v -x3478 -x3477 -x3476 x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 
3585.51/3597.04	v -x3460 -x3459 -x3458 x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 
3585.51/3597.04	v -x3441 -x3440 -x3439 -x3438 x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 
3585.51/3597.04	v x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 
3585.51/3597.04	v -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 x3399 -x3398 -x3397 x3396 x3395 x3394 x3393 x3392 x3391 x3390 -x3389 -x3388 -x3387 
3585.51/3597.04	v -x3386 x3385 x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 x3369 
3585.51/3597.04	v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 x3354 -x3353 -x3352 -x3351 
3585.51/3597.04	v -x3350 -x3349 -x3348 -x3347 x3346 x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 x3336 -x3335 -x3334 -x3333 
3585.51/3597.04	v -x3332 -x3331 -x3330 -x3329 x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 
3585.51/3597.04	v -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 
3585.51/3597.04	v -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 x3290 -x3289 -x3288 x3287 -x3286 -x3285 -x3284 x3283 -x3282 -x3281 -x3280 x3279 -x3278 
3585.51/3597.04	v -x3277 -x3276 x3275 -x3274 -x3273 -x3272 x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 x3261 -x3260 
3585.51/3597.04	v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 x3247 -x3246 -x3245 -x3244 -x3243 -x3242 
3585.51/3597.04	v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229 -x3228 x3227 -x3226 -x3225 -x3224 
3585.51/3597.04	v -x3223 x3222 -x3221 -x3220 x3219 -x3218 x3217 -x3216 -x3215 -x3214 -x3213 x3212 -x3211 -x3210 -x3209 -x3208 x3207 -x3206 -x3205 
3585.51/3597.04	v -x3204 x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 
3585.51/3597.04	v -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 
3585.51/3597.04	v x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 
3585.51/3597.04	v -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 x3144 x3143 x3142 x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 x3134 x3133 x3132 
3585.51/3597.04	v x3131 x3130 x3129 x3128 x3127 x3126 x3125 x3124 -x3123 -x3122 -x3121 x3120 x3119 x3118 x3117 x3116 -x3115 -x3114 -x3113 x3112 
3585.51/3597.04	v -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 x3097 -x3096 -x3095 x3094 
3585.51/3597.04	v -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 
3585.51/3597.04	v -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 x3062 -x3061 -x3060 -x3059 -x3058 
3585.51/3597.04	v -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 
3585.51/3597.04	v -x3039 -x3038 -x3037 -x3036 x3035 x3034 x3033 x3032 x3031 x3030 x3029 x3028 x3027 x3026 x3025 x3024 -x3023 -x3022 -x3021 
3585.51/3597.04	v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 x3003 
3585.51/3597.04	v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 
3585.51/3597.04	v -x2984 -x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 
3585.51/3597.04	v -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 
3585.51/3597.04	v x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
3585.51/3597.04	v -x2930 -x2929 x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 
3585.51/3597.04	v -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
3585.51/3597.04	v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 
3585.51/3597.04	v -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 
3585.51/3597.04	v -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 
3585.51/3597.04	v -x2840 -x2839 -x2838 x2837 -x2836 x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 
3585.51/3597.04	v -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 
3585.51/3597.04	v x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 x2793 x2792 x2791 x2790 x2789 -x2788 x2787 -x2786 
3585.51/3597.04	v -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 
3585.51/3597.04	v -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 x2751 -x2750 
3585.51/3597.04	v -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 x2734 -x2733 -x2732 
3585.51/3597.04	v -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 x2717 -x2716 -x2715 -x2714 
3585.51/3597.04	v -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 
3585.51/3597.04	v -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 
3585.51/3597.04	v -x2677 -x2676 -x2675 -x2674 x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 
3585.51/3597.04	v -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 
3585.51/3597.04	v -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 
3585.51/3597.04	v -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 x2609 -x2608 -x2607 -x2606 
3585.51/3597.04	v -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 
3585.51/3597.04	v -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 
3585.51/3597.04	v -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 x2557 -x2556 -x2555 -x2554 x2553 
3585.51/3597.04	v -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 
3585.51/3597.04	v -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 
3585.51/3597.04	v -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 
3585.51/3597.04	v -x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 
3585.51/3597.04	v -x2480 -x2479 -x2478 x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 
3585.51/3597.04	v -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 
3585.51/3597.04	v -x2444 -x2443 -x2442 -x2441 -x2440 x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 
3585.51/3597.04	v x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 x2410 -x2409 
3585.51/3597.04	v -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 x2395 -x2394 -x2393 -x2392 -x2391 
3585.51/3597.04	v -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 
3585.51/3597.04	v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 
3585.51/3597.04	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
3585.51/3597.04	v -x2336 -x2335 x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 x2321 -x2320 -x2319 
3585.51/3597.04	v -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
3585.51/3597.04	v -x2300 x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 
3585.51/3597.04	v -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 
3585.51/3597.04	v -x2264 x2263 -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 
3585.51/3597.04	v -x2246 x2245 -x2244 -x2243 -x2242 -x2241 -x2240 x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 x2232 -x2231 -x2230 -x2229 
3585.51/3597.04	v -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 
3585.51/3597.04	v x2210 -x2209 -x2208 -x2207 -x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 
3585.51/3597.04	v -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 
3585.51/3597.04	v x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 
3585.51/3597.04	v -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 -x2139 -x2138 
3585.51/3597.04	v -x2137 x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 
3585.51/3597.04	v -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 x2107 -x2106 -x2105 -x2104 -x2103 -x2102 
3585.51/3597.04	v x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 x2087 -x2086 -x2085 -x2084 
3585.51/3597.04	v -x2083 -x2082 x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 
3585.51/3597.04	v -x2065 x2064 x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 x2049 -x2048 -x2047 
3585.51/3597.04	v -x2046 -x2045 -x2044 -x2043 x2042 -x2041 -x2040 -x2039 -x2038 -x2037 x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 x2029 
3585.51/3597.04	v x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 x2013 -x2012 -x2011 
3585.51/3597.04	v -x2010 -x2009 -x2008 x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x1995 -x1994 -x1993 
3585.51/3597.04	v -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 
3585.51/3597.04	v -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 
3585.51/3597.04	v x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 x1939 -x1938 
3585.51/3597.04	v -x1937 x1936 x1935 x1934 x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 x1924 x1923 -x1922 -x1921 -x1920 
3585.51/3597.04	v -x1919 -x1918 x1917 -x1916 -x1915 x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 x1902 -x1901 
3585.51/3597.04	v x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 x1884 -x1883 
3585.51/3597.04	v -x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1865 
3585.51/3597.04	v -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 
3585.51/3597.04	v -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 
3585.51/3597.04	v -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 
3585.51/3597.04	v -x1810 -x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 
3585.51/3597.04	v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
3585.51/3597.04	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 
3585.51/3597.04	v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 x1740 -x1739 
3585.51/3597.04	v -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 
3585.51/3597.04	v -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 
3585.51/3597.04	v -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 
3585.51/3597.04	v -x1685 -x1684 -x1683 -x1682 x1681 x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668 -x1667 
3585.51/3597.04	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 x1650 -x1649 
3585.51/3597.04	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
3585.51/3597.04	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 
3585.51/3597.04	v -x1612 -x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 x1602 x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595 -x1594 
3585.51/3597.04	v -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 x1579 x1578 x1577 -x1576 -x1575 
3585.51/3597.04	v -x1574 -x1573 -x1572 -x1571 -x1570 x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 x1557 
3585.51/3597.04	v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
3585.51/3597.04	v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 
3585.51/3597.04	v -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 
3585.51/3597.04	v -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
3585.51/3597.04	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 x1467 
3585.51/3597.04	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 x1453 -x1452 -x1451 -x1450 x1449 
3585.51/3597.04	v -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 x1431 
3585.51/3597.04	v -x1430 -x1429 -x1428 -x1427 -x1426 x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
3585.51/3597.04	v -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395 
3585.51/3597.04	v -x1394 -x1393 x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 
3585.51/3597.04	v -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 
3585.51/3597.04	v -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 x1352 -x1351 -x1350 -x1349 x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 
3585.51/3597.04	v x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 x1332 x1331 x1330 x1329 x1328 x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 
3585.51/3597.04	v -x1320 -x1319 -x1318 -x1317 -x1316 x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 x1308 x1307 x1306 x1305 x1304 -x1303 
3585.51/3597.04	v -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 
3585.51/3597.04	v -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 
3585.51/3597.04	v -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 
3585.51/3597.04	v -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 
3585.51/3597.04	v -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 x1218 x1217 x1216 x1215 x1214 x1213 -x1212 
3585.51/3597.04	v -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 
3585.51/3597.04	v x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 x1179 -x1178 -x1177 -x1176 
3585.51/3597.04	v x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 x1158 -x1157 
3585.51/3597.04	v -x1156 -x1155 x1154 -x1153 -x1152 x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 
3585.51/3597.04	v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 
3585.51/3597.04	v -x1120 x1119 -x1118 -x1117 -x1116 -x1115 -x1114 x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 
3585.51/3597.04	v x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 
3585.51/3597.04	v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 x1066 
3585.51/3597.04	v -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 
3585.51/3597.04	v -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 
3585.51/3597.04	v -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 
3585.51/3597.04	v -x1010 -x1009 x1008 -x1007 -x1006 -x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997 x996 x995 x994 x993 x992 -x991 -x990 -x989 
3585.51/3597.04	v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 x977 x976 x975 -x974 -x973 -x972 -x971 -x970 x969 x968 
3585.51/3597.04	v x967 x966 x965 -x964 -x963 x962 -x961 -x960 -x959 x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 
3585.51/3597.04	v -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 
3585.51/3597.04	v -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 
3585.51/3597.04	v -x903 -x902 x901 x900 x899 x898 x897 x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 
3585.51/3597.04	v -x881 -x880 x879 x878 x877 x876 x875 x874 x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 -x863 -x862 x861 -x860 -x859 -x858 
3585.51/3597.04	v x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 
3585.51/3597.04	v -x836 -x835 x834 -x833 -x832 -x831 x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 x816 -x815 
3585.51/3597.04	v -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 
3585.51/3597.04	v -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 x773 -x772 
3585.51/3597.04	v -x771 x770 -x769 -x768 -x767 -x766 x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 x754 x753 x752 x751 x750 
3585.51/3597.04	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 
3585.51/3597.04	v -x728 x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 x711 x710 x709 -x708 
3585.51/3597.04	v -x707 x706 -x705 x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 
3585.51/3597.04	v x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 x673 x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 
3585.51/3597.04	v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 
3585.51/3597.04	v x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 
3585.51/3597.04	v -x621 -x620 -x619 x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 
3585.51/3597.04	v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 x592 x591 x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 
3585.51/3597.04	v x578 -x577 x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 
3585.51/3597.04	v -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 
3585.51/3597.04	v -x535 -x534 -x533 x532 x531 -x530 -x529 -x528 x527 x526 x525 x524 x523 x522 x521 -x520 x519 -x518 -x517 x516 -x515 x514 -x513 
3585.51/3597.04	v -x512 -x511 x510 -x509 -x508 -x507 -x506 x505 x504 -x503 -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 x493 -x492 
3585.51/3597.04	v -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 
3585.51/3597.04	v -x469 -x468 x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 
3585.51/3597.04	v x448 x447 -x446 -x445 -x444 x443 -x442 x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 x432 x431 x430 -x429 -x428 -x427 
3585.51/3597.04	v -x426 -x425 x424 x423 x422 x421 x420 -x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 
3585.51/3597.04	v -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 x391 x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 
3585.51/3597.04	v -x382 x381 x380 x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 x370 -x369 x368 -x367 -x366 -x365 -x364 x363 -x362 x361 
3585.51/3597.04	v -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 x346 x345 x344 x343 x342 x341 -x340 -x339 
3585.51/3597.04	v x338 -x337 x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 x319 -x318 -x317 
3585.51/3597.04	v x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
3585.51/3597.04	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283 x282 x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 
3585.51/3597.04	v x273 -x272 -x271 x270 x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 x253 -x252 
3585.51/3597.04	v -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 
3585.51/3597.04	v -x230 -x229 x228 x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 x216 x215 x214 -x213 -x212 -x211 -x210 -x209 
3585.51/3597.04	v x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 x187 
3585.51/3597.04	v x186 x185 x184 x183 x182 x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 x171 x170 x169 x168 x167 x166 x165 x164 
3585.51/3597.04	v x163 x162 -x161 x160 -x159 -x158 x157 -x156 -x155 -x154 x153 x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 x143 -x142 
3585.51/3597.04	v -x141 x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 
3585.51/3597.04	v -x119 x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 x105 -x104 -x103 -x102 x101 x100 x99 -x98 
3585.51/3597.04	v -x97 -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 
3585.51/3597.04	v -x70 x69 -x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 -x44 -x43 
3585.51/3597.04	v x42 x41 -x40 -x39 x38 x37 -x36 -x35 x34 x33 -x32 -x31 x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 x16 
3585.51/3597.04	v -x15 x14 -x13 -x12 x11 x10 x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1 
3585.51/3597.04	c SCIP Status        : solving was interrupted [time limit reached]
3585.51/3597.04	c Total Time         :    3597.00
3585.51/3597.04	c   solving          :    3597.00
3585.51/3597.04	c   presolving       :       8.67 (included in solving)
3585.51/3597.04	c   reading          :       0.06 (included in solving)
3585.51/3597.04	c   copying          :       2.02 (33 #copies) (minimal 0.05, maximal 0.09, average 0.06)
3585.51/3597.04	c Original Problem   :
3585.51/3597.04	c   Problem name     : HOME/instance-4525021-1751617113.wbo
3585.51/3597.04	c   Variables        : 14931 (14931 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.51/3597.04	c   Constraints      : 28755 initial, 28755 maximal
3585.51/3597.04	c   Objective        : minimize, 7353 non-zeros (abs.min = 1, abs.max = 100)
3585.51/3597.04	c Presolved Problem  :
3585.51/3597.04	c   Problem name     : t_HOME/instance-4525021-1751617113.wbo
3585.51/3597.04	c   Variables        : 22094 (14749 binary, 0 integer, 7345 implicit integer, 0 continuous)
3585.51/3597.04	c   Constraints      : 25702 initial, 26603 maximal
3585.51/3597.04	c   Objective        : minimize, 7345 non-zeros (abs.min = 1, abs.max = 100)
3585.51/3597.04	c   Nonzeros         : 103606 constraint, 77058 clique table
3585.51/3597.04	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.51/3597.04	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   domcol           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   gateextraction   :       0.08       0.00      8          0          0          0          0          0       5654       1884          0          0
3585.51/3597.04	c   implics          :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   trivial          :       0.01       0.00     15          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   dualfix          :       0.01       0.00     15          8          0          0          0          0          0          0          0          0
3585.51/3597.04	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   probing          :       7.65       0.00      2         15         11          0          0          0          0          0          0          0
3585.51/3597.04	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   symmetry         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   vbounds          :       0.02       0.00      3          0        140          0          0          0          0          0          0          0
3585.51/3597.04	c   knapsack         :       0.01       0.00     24          0          0          0          0          0          2          4          2          9
3585.51/3597.04	c   setppc           :       0.08       0.00     24          0          0          0          0          0         24          0          0          0
3585.51/3597.04	c   and              :       0.04       0.00     15          0          5          0          0          0         22         16          0          6
3585.51/3597.04	c   linear           :       0.15       0.01     21          1          2          0       7353          0        294          0        471        950
3585.51/3597.04	c   logicor          :       0.33       0.01     22          0          0          0          0          0         79          0          0         53
3585.51/3597.04	c   bounddisjunction :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   indicator        :       0.01       0.00      8          8          0          0          0          0          8          0          0          0
3585.51/3597.04	c   components       :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   root node        :          -          -      -      14881          -          -      14881          -          -          -          -          -
3585.51/3597.04	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.51/3597.04	c   benderslp        :          0          0          0          0       8775          0          0      15851          0          0          0          0          0          0          0
3585.51/3597.04	c   integral         :          0          0          0          0       8775          0          0      15851          0          0       8144          0          0       1437      16828
3585.51/3597.04	c   knapsack         :        681+       684         23     332400         22          0          0      15844      12750        834      36468       4614        281          0          0
3585.51/3597.04	c   setppc           :       5477+      5603         23     331485         22          0          0      13203     110660        308     312871          3          0          0          0
3585.51/3597.04	c   and              :       1850       1850      13287     331207         22          0          0       7164      66750        296     288605      54041      46459          0          0
3585.51/3597.04	c   linear           :       7356+      7419         23     330982         22          0          0       3707     102707        801     456177          0          0          0          0
3585.51/3597.04	c   logicor          :       2985+      4655         23     190501         22          0          0       2984      38937        947     135382         43          7          0          0
3585.51/3597.04	c   bounddisjunction :          8+       679          0      16425          0          0          0          0        504         22       1539          0          0          0          0
3585.51/3597.04	c   benders          :          0          0          0          0         22          0          0       1567          0          0          0          0          0          0          0
3585.51/3597.04	c   indicator        :       7345       7345       1063     238859         14          0          0       1565       9178          8    1113973          0          0          0          0
3585.51/3597.04	c   fixedvar         :          0          0          0          0         22          0          0         69          0          0          0          0          0          0          0
3585.51/3597.04	c   countsols        :          0          0          0          0         22          0          0         69          0          0          0          0          0          0          0
3585.51/3597.04	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.51/3597.04	c   benderslp        :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c   integral         :    1398.69       0.00       0.00       0.00    1392.79       0.00       0.00       5.91       0.00       0.00
3585.51/3597.04	c   knapsack         :       3.51       0.00       0.04       1.02       0.00       0.00       0.00       2.35       0.01       0.09
3585.51/3597.04	c   setppc           :      15.98       0.00       0.02       2.18       0.00       0.00       0.00      13.11       0.05       0.62
3585.51/3597.04	c   and              :      12.16       0.00       4.09       4.29       0.00       0.00       0.00       2.30       0.03       1.44
3585.51/3597.04	c   linear           :      12.08       0.01       0.03       2.51       0.00       0.00       0.00       8.55       0.06       0.93
3585.51/3597.04	c   logicor          :       3.47       0.01       0.02       1.32       0.00       0.00       0.00       1.66       0.04       0.42
3585.51/3597.04	c   bounddisjunction :       0.18       0.00       0.00       0.17       0.00       0.00       0.00       0.00       0.00       0.01
3585.51/3597.04	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c   indicator        :      13.64       0.00       0.68       7.54       0.00       0.00       0.00       5.29       0.00       0.11
3585.51/3597.04	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.51/3597.04	c   dualfix          :          4          0          0          0
3585.51/3597.04	c   genvbounds       :          0          0          0          0
3585.51/3597.04	c   nlobbt           :          0          0          0          0
3585.51/3597.04	c   obbt             :          0          0          0          0
3585.51/3597.04	c   probing          :          0          0          0          0
3585.51/3597.04	c   pseudoobj        :     105615       5362          3     688689
3585.51/3597.04	c   redcost          :      25568          0          0     644821
3585.51/3597.04	c   rootredcost      :         66          0          0       7120
3585.51/3597.04	c   symmetry         :          0          0          0          0
3585.51/3597.04	c   vbounds          :     245474          0          0          0
3585.51/3597.04	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.51/3597.04	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
3585.51/3597.04	c   genvbounds       :       0.04       0.00       0.00       0.03       0.00       0.01
3585.51/3597.04	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.51/3597.04	c   probing          :       7.65       0.00       7.65       0.00       0.00       0.00
3585.51/3597.04	c   pseudoobj        :       2.49       0.00       0.00       1.22       1.26       0.00
3585.51/3597.04	c   redcost          :      18.96       0.00       0.00      18.95       0.00       0.00
3585.51/3597.04	c   rootredcost      :       0.04       0.00       0.00       0.04       0.00       0.01
3585.51/3597.04	c   symmetry         :       0.12       0.00       0.07       0.04       0.00       0.01
3585.51/3597.04	c   vbounds          :      31.07       0.00       0.02      30.96       0.00       0.08
3585.51/3597.04	c Symmetry           :
3585.51/3597.04	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.51/3597.04	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.51/3597.04	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.51/3597.04	c   shadow tree time :       0.00 s
3585.51/3597.04	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.51/3597.04	c   propagation      :       1.39       3065       3041          -      14613       31.1        520       12.8          -          -          -
3585.51/3597.04	c   infeasible LP    :       1.21        391        369          -        937       19.9         59       17.0        369        7.3          0
3585.51/3597.04	c   bound exceed. LP :       2.08        259         18          -        197      107.3          2       50.5          5     2592.0       2130
3585.51/3597.04	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.51/3597.04	c   pseudo solution  :       0.05         16         16          -         91       43.5          3       15.0          -          -          -
3585.51/3597.04	c   applied globally :       0.64          -          -          0       9435       22.4          -          -        374          -          -
3585.51/3597.04	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.51/3597.04	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.51/3597.04	c   cut pool         :       1.48          -       2093         45          -          -      28067     137632          -          -          -          -          -    (maximal pool size:       7148)
3585.51/3597.04	c   aggregation      :       2.79       0.00        255         23          0          0       4504      57440         76       5969       5948         21          0
3585.51/3597.04	c   > cmir           :          -          -          -          -          -          -          -      38077          2       3767       3767          0          -
3585.51/3597.04	c   > flowcover      :          -          -          -          -          -          -          -      18035          2       2006       2006          0          -
3585.51/3597.04	c   > knapsackcover  :          -          -          -          -          -          -          -       1328         72        196        175         21          -
3585.51/3597.04	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   clique           :       3.13       0.00         23         23          0          0         69        110          0         23         23          0          0
3585.51/3597.04	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   gomory           :      34.18       0.00        253         20          0          0      15572      60601        887       6608       6482        126          0
3585.51/3597.04	c   > gomorymi       :          -          -          -          -          -          -          -      23345        448       2420       2343         77          -
3585.51/3597.04	c   > strongcg       :          -          -          -          -          -          -          -      37256        439       4188       4139         49          -
3585.51/3597.04	c   impliedbounds    :       0.69       0.00        256         23          0         42       7952      12006          0       5555       5555          0          0
3585.51/3597.04	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   mcf              :       0.04       0.00          2          2          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   mixing           :       0.00       0.00        256         23          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   multilinear      :       0.00       0.00        293         23          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   rapidlearning    :       0.38       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.51/3597.04	c   rlt              :       7.95       0.00        154         20          0          0        668        641        433        644        354        290          0
3585.51/3597.04	c   zerohalf         :       4.42       0.00        255         23          0          0       1014       6834        316       3568       3370        198          0
3585.51/3597.04	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.51/3597.04	c   hybrid           :       0.23       0.00       6338         24      69030         88     129015       2731          0      22565
3585.51/3597.04	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.51/3597.04	c   problem variables:       0.00          -          0          0
3585.51/3597.04	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.51/3597.04	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c   relpscost        :    1392.77       0.00       8753          0          0          0       8144          0       2010      16828
3585.51/3597.04	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.51/3597.04	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.51/3597.04	c   LP solutions     :       0.08          -          -         22         22
3585.51/3597.04	c   relax solutions  :       0.00          -          -          0          0
3585.51/3597.04	c   pseudo solutions :       0.00          -          -          0          0
3585.51/3597.04	c   strong branching :       0.02          -          -          0          0
3585.51/3597.04	c   actconsdiving    :       0.00       0.00          0          0          0
3585.51/3597.04	c   adaptivediving   :       7.63       0.00         12          0          0
3585.51/3597.04	c   alns             :       7.40       0.00          9          9          9
3585.51/3597.04	c   bound            :       0.00       0.00          0          0          0
3585.51/3597.04	c   clique           :       0.67       0.00          1          0          0
3585.51/3597.04	c   coefdiving       :       0.00       0.00          0          0          0
3585.51/3597.04	c   completesol      :       0.00       0.00          0          0          0
3585.51/3597.04	c   conflictdiving   :      11.82       0.00         60          1          1
3585.51/3597.04	c   crossover        :       1.66       0.00          8          2          2
3585.51/3597.04	c   dins             :       0.00       0.00          0          0          0
3585.51/3597.04	c   distributiondivin:      25.44       0.00         43          4          4
3585.51/3597.04	c   dps              :       0.00       0.00          0          0          0
3585.51/3597.04	c   dualval          :       0.00       0.00          0          0          0
3585.51/3597.04	c   farkasdiving     :     102.79       0.00          2          0          0
3585.51/3597.04	c   feasjump         :       0.00       0.00          0          0          0
3585.51/3597.04	c   feaspump         :       5.77       0.00          3          0          0
3585.51/3597.04	c   fixandinfer      :       0.00       0.00          0          0          0
3585.51/3597.04	c   fracdiving       :      14.31       0.00         59          0          0
3585.51/3597.04	c   gins             :       0.04       0.00          0          0          0
3585.51/3597.04	c   guideddiving     :      14.92       0.00         42          4          4
3585.51/3597.04	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.51/3597.04	c   indicator        :       0.01       0.00          0          0          0
3585.51/3597.04	c   indicatordiving  :       0.00       0.00          0          0          0
3585.51/3597.04	c   indoneopt        :      51.79       0.01         67          0          0
3585.51/3597.04	c   indrounding      :       0.00       0.00          0          0          0
3585.51/3597.04	c   indtwoopt        :       0.00       0.01          0          0          0
3585.51/3597.04	c   intdiving        :       0.00       0.00          0          0          0
3585.51/3597.04	c   intshifting      :       0.00       0.00          0          0          0
3585.51/3597.04	c   linesearchdiving :       6.27       0.00         59          0          0
3585.51/3597.04	c   localbranching   :       0.00       0.00          0          0          0
3585.51/3597.04	c   locks            :       0.35       0.00          1          1          1
3585.51/3597.04	c   lpface           :     130.37       0.00          5          0          0
3585.51/3597.04	c   mpec             :       0.00       0.00          0          0          0
3585.51/3597.04	c   multistart       :       0.00       0.00          0          0          0
3585.51/3597.04	c   mutation         :       0.00       0.00          0          0          0
3585.51/3597.04	c   nlpdiving        :       0.00       0.00          0          0          0
3585.51/3597.04	c   objpscostdiving  :      32.72       0.00          4          0          0
3585.51/3597.04	c   octane           :       0.00       0.00          0          0          0
3585.51/3597.04	c   ofins            :       0.00       0.00          0          0          0
3585.51/3597.04	c   oneopt           :       0.47       0.00         66          1          1
3585.51/3597.04	c   padm             :       0.00       0.00          0          0          0
3585.51/3597.04	c   proximity        :       0.00       0.00          0          0          0
3585.51/3597.04	c   pscostdiving     :      12.30       0.00         43          1          1
3585.51/3597.04	c   randrounding     :       2.97       0.00       1273          2          2
3585.51/3597.04	c   rens             :       0.51       0.00          2          0          0
3585.51/3597.04	c   reoptsols        :       0.00       0.00          0          0          0
3585.51/3597.04	c   repair           :       0.00       0.00          0          0          0
3585.51/3597.04	c   rins             :       3.05       0.00         14          4          4
3585.51/3597.04	c   rootsoldiving    :      23.45       0.00          9          0          0
3585.51/3597.04	c   rounding         :       3.47       0.00       3781          1          1
3585.51/3597.04	c   scheduler        :       0.00       0.00          0          0          0
3585.51/3597.04	c   shiftandpropagate:       0.00       0.00          0          0          0
3585.51/3597.04	c   shifting         :      10.58       0.00       1877         19         19
3585.51/3597.04	c   simplerounding   :       0.58       0.00      15445          0          0
3585.51/3597.04	c   smallcard        :       0.00       0.00          0          0          0
3585.51/3597.04	c   subnlp           :       0.01       0.00          0          0          0
3585.51/3597.04	c   trivial          :       0.03       0.00          4          0          0
3585.51/3597.04	c   trivialnegation  :       0.00       0.00          0          0          0
3585.51/3597.04	c   trustregion      :       0.00       0.00          0          0          0
3585.51/3597.04	c   trysol           :       0.33       0.00         33         18          0
3585.51/3597.04	c   twoopt           :       0.00       0.00          0          0          0
3585.51/3597.04	c   undercover       :       0.00       0.00          1          0          0
3585.51/3597.04	c   vbounds          :       0.01       0.00          0          0          0
3585.51/3597.04	c   veclendiving     :      19.31       0.00         59          0          0
3585.51/3597.04	c   zeroobj          :       0.00       0.00          0          0          0
3585.51/3597.04	c   zirounding       :       0.77       0.00       1000          0          0
3585.51/3597.04	c   other solutions  :          -          -          -          0          -
3585.51/3597.04	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	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
3585.51/3597.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.51/3597.04	c   primal LP        :       2.42        549          0       0.00       0.00       2.42        549
3585.51/3597.04	c   dual LP          :    1478.40      16797    5661575     360.56    3829.54       5.82       1095
3585.51/3597.04	c   lex dual LP      :       0.00          0          0       0.00          -
3585.51/3597.04	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.51/3597.04	c   resolve instable :       0.00          0          0       0.00          -
3585.51/3597.04	c   diving/probing LP:     390.84       2359    2006900     850.74    5134.82
3585.51/3597.04	c   strong branching :    1189.08       5304    2966037     559.21    2494.39          -          -       5016
3585.51/3597.04	c     (at root node) :          -         38      31609     831.82          -
3585.51/3597.04	c   conflict analysis:       1.11        235       2130       9.06    1912.42
3585.51/3597.04	c B&B Tree           :
3585.51/3597.04	c   number of runs   :          2
3585.51/3597.04	c   nodes            :       8741 (7287 internal, 1454 leaves)
3585.51/3597.04	c   feasible leaves  :         22
3585.51/3597.04	c   infeas. leaves   :       1267
3585.51/3597.04	c   objective leaves :        164
3585.51/3597.04	c   nodes (total)    :       9880 (8414 internal, 1466 leaves)
3585.51/3597.04	c   nodes left       :         30
3585.51/3597.04	c   max depth        :        160
3585.51/3597.04	c   max depth (total):        160
3585.51/3597.04	c   backtracks       :       1027 (11.7%)
3585.51/3597.04	c   early backtracks :          0 (0.0%)
3585.51/3597.04	c   nodes exc. ref.  :          0 (0.0%)
3585.51/3597.04	c   delayed cutoffs  :       2564
3585.51/3597.04	c   repropagations   :      12639 (686539 domain reductions, 511 cutoffs)
3585.51/3597.04	c   avg switch length:       5.39
3585.51/3597.04	c   switching time   :      14.73
3585.51/3597.04	c Root Node          :
3585.51/3597.04	c   First LP value   : +0.00000000000000e+00
3585.51/3597.04	c   First LP Iters   :       5142 (6521.94 Iter/sec)
3585.51/3597.04	c   First LP Time    :       0.79
3585.51/3597.04	c   Final Dual Bound : +0.00000000000000e+00
3585.51/3597.04	c   Final Root Iters :      51598
3585.51/3597.04	c   Root LP Estimate : +2.98385141706820e+02
3585.51/3597.04	c Solution           :
3585.51/3597.04	c   Solutions found  :         89 (71 improvements)
3585.51/3597.04	c   First Solution   : +3.75824000000000e+05   (in run 1, after 1 nodes, 9.49 seconds, depth 2335, found by <locks>)
3585.51/3597.04	c   Gap First Sol.   :   infinite
3585.51/3597.04	c   Gap Last Sol.    :   infinite
3585.51/3597.04	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 5652 nodes, 2654.84 seconds, depth 129, found by <relaxation>)
3585.51/3597.04	c   Dual Bound       : +0.00000000000000e+00
3585.51/3597.04	c   Gap              :   infinite
3585.51/3597.04	c Integrals          :      Total       Avg%
3585.51/3597.04	c   primal-dual      :  359700.41     100.00
3585.51/3597.04	c   primal-ref       :          -          - (not evaluated)
3585.51/3597.04	c   dual-ref         :          -          - (not evaluated)
3585.61/3597.18	c Time complete: 3585.7.

OK	1

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 (60809 MiB free)
  memory of node 1: 64507 MiB (59004 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525021-1751617113/watcher-4525021-1751617113 -o /tmp/evaluation-result-4525021-1751617113/solver-4525021-1751617113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91488 --watchdog 3760 pbscip -f HOME/instance-4525021-1751617113.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92108, runsolver pid=92105

[startup+0.100065 s]*
/proc/loadavg: 4.15 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122633864/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=95592 memory=69728 CPUtime=0.09 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 14288 0 0 0 7 2 0 0 20 0 1 0 77389038 97886208 17432 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 23898 17432 3584 3530 0 15349 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95592 KiB
Current children cumulated memory: 69728 KiB

[startup+0.205867 s]*
/proc/loadavg: 4.15 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122593544/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=136420 memory=107872 CPUtime=0.18 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 23790 0 0 0 15 3 0 0 20 0 1 0 77389038 139694080 26968 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 34105 26968 3616 3530 0 25556 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 136420 KiB
Current children cumulated memory: 107872 KiB

[startup+0.305687 s]*
/proc/loadavg: 4.15 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122577416/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=152132 memory=120544 CPUtime=0.28 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 26971 0 0 0 24 4 0 0 20 0 1 0 77389038 155783168 30136 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 38033 30136 3616 3530 0 29484 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 152132 KiB
Current children cumulated memory: 120544 KiB

[startup+0.700194 s]
/proc/loadavg: 4.15 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122569752/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=163236 memory=131040 CPUtime=0.65 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 29589 0 0 0 61 4 0 0 20 0 1 0 77389038 167153664 32760 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 40809 32760 3680 3530 0 32260 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 163236 KiB
Current children cumulated memory: 131040 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122570004/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=164904 memory=132576 CPUtime=1.46 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 29972 0 0 0 141 5 0 0 20 0 1 0 77389038 168861696 33144 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 41226 33144 3680 3530 0 32677 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 164904 KiB
Current children cumulated memory: 132576 KiB

[startup+3.10559 s]
/proc/loadavg: 4.15 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122570004/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=166496 memory=134112 CPUtime=3.06 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 30373 0 0 0 301 5 0 0 20 0 1 0 77389038 170491904 33528 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 41624 33528 3680 3530 0 33075 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 166496 KiB
Current children cumulated memory: 134112 KiB

[startup+6.30018 s]
/proc/loadavg: 4.14 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122570256/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=168604 memory=136928 CPUtime=6.24 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 31074 0 0 0 619 5 0 0 20 0 1 0 77389038 172650496 34232 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 42151 34232 3680 3530 0 33602 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 168604 KiB
Current children cumulated memory: 136928 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.07 5/264 92109
/proc/meminfo: memFree=122511620/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=273720 memory=206024 CPUtime=12.62 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 51243 0 0 0 1254 8 0 0 20 0 1 0 77389038 280289280 51506 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 68430 51506 3872 3530 0 59881 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 273720 KiB
Current children cumulated memory: 206024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.07 5/264 92110
/proc/meminfo: memFree=122444460/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=354032 memory=274864 CPUtime=25.37 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 66436 0 0 0 2526 11 0 0 20 0 1 0 77389038 362528768 68716 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 88508 68716 3904 3530 0 79959 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 354032 KiB
Current children cumulated memory: 274864 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.12 4.06 5/264 92110
/proc/meminfo: memFree=122378676/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=415700 memory=325680 CPUtime=50.9 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 79188 0 0 0 5076 14 0 0 20 0 1 0 77389038 425676800 81420 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 103925 81420 3904 3530 0 95376 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 415700 KiB
Current children cumulated memory: 325680 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/264 92112
/proc/meminfo: memFree=122392408/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=421988 memory=328496 CPUtime=101.93 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 79881 0 0 0 10179 14 0 0 20 0 1 0 77389038 432115712 82124 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 105497 82124 3904 3530 0 96948 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 421988 KiB
Current children cumulated memory: 328496 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.06 5/264 92161
/proc/meminfo: memFree=122972872/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=536952 memory=443952 CPUtime=161.7 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 108695 0 0 0 16151 19 0 0 20 0 1 0 77389038 549838848 110988 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 134238 110988 4000 3530 0 125689 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 536952 KiB
Current children cumulated memory: 443952 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.07 5/264 92164
/proc/meminfo: memFree=122698976/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=536952 memory=444336 CPUtime=221.51 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 108793 0 0 0 22132 19 0 0 20 0 1 0 77389038 549838848 111084 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 134238 111084 4000 3530 0 125689 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 536952 KiB
Current children cumulated memory: 444336 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.06 5/264 92166
/proc/meminfo: memFree=122610208/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=623168 memory=517868 CPUtime=281.32 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 128074 0 0 0 28109 23 0 0 20 0 1 0 77389038 638124032 129467 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 155792 129467 4000 3530 0 147243 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 623168 KiB
Current children cumulated memory: 517868 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/264 92169
/proc/meminfo: memFree=122597056/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=626828 memory=528748 CPUtime=341.12 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 130881 0 0 0 34089 23 0 0 20 0 1 0 77389038 641871872 132187 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 156707 132187 4000 3530 0 148158 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 626828 KiB
Current children cumulated memory: 528748 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/264 92171
/proc/meminfo: memFree=122550732/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=626828 memory=529772 CPUtime=400.94 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 131059 0 0 0 40071 23 0 0 20 0 1 0 77389038 641871872 132443 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 156707 132443 4128 3530 0 148158 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 626828 KiB
Current children cumulated memory: 529772 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/264 92173
/proc/meminfo: memFree=122542920/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=626828 memory=534252 CPUtime=460.75 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 132209 0 0 0 46051 24 0 0 20 0 1 0 77389038 641871872 133563 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 156707 133563 4128 3530 0 148158 0

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

Current children cumulated memory: 1283692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.15 4.12 5/263 92361
/proc/meminfo: memFree=120429984/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1361324 memory=1283820 CPUtime=3152.13 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 327322 0 0 0 315149 64 0 0 20 0 1 0 77389038 1393995776 320955 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 340331 320955 4128 3530 0 331782 0
Current children cumulated CPU time: 3152.13 s
Current children cumulated vsize: 1361324 KiB
Current children cumulated memory: 1283820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.13 5/264 92366
/proc/meminfo: memFree=120366080/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1361324 memory=1283820 CPUtime=3211.95 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 327322 0 0 0 321131 64 0 0 20 0 1 0 77389038 1393995776 320955 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 340331 320955 4128 3530 0 331782 0
Current children cumulated CPU time: 3211.95 s
Current children cumulated vsize: 1361324 KiB
Current children cumulated memory: 1283820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/265 92369
/proc/meminfo: memFree=120288796/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1441136 memory=1358496 CPUtime=3271.76 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 343968 0 0 0 327110 66 0 0 20 0 1 0 77389038 1475723264 339624 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 360284 339624 4128 3530 0 351735 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 1441136 KiB
Current children cumulated memory: 1358496 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/264 92371
/proc/meminfo: memFree=120289168/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1441136 memory=1358496 CPUtime=3331.59 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 344091 0 0 0 333093 66 0 0 20 0 1 0 77389038 1475723264 339624 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 360284 339624 4128 3530 0 351735 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 1441136 KiB
Current children cumulated memory: 1358496 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/265 92418
/proc/meminfo: memFree=115722040/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1441136 memory=1358752 CPUtime=3391.42 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 344279 0 0 0 339075 67 0 0 20 0 1 0 77389038 1475723264 339688 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 360284 339688 4128 3530 0 351735 0
Current children cumulated CPU time: 3391.42 s
Current children cumulated vsize: 1441136 KiB
Current children cumulated memory: 1358752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/265 92420
/proc/meminfo: memFree=108701828/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1578584 memory=1487844 CPUtime=3451.23 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 375130 0 0 0 345051 72 0 0 20 0 1 0 77389038 1616470016 371961 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 394646 371961 4128 3530 0 386097 0
Current children cumulated CPU time: 3451.23 s
Current children cumulated vsize: 1578584 KiB
Current children cumulated memory: 1487844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 92422
/proc/meminfo: memFree=104194172/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1501960 CPUtime=3511.04 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 381594 0 0 0 351030 74 0 0 20 0 1 0 77389038 1630711808 375490 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375490 4128 3530 0 389574 0
Current children cumulated CPU time: 3511.04 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1501960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/264 92424
/proc/meminfo: memFree=99686544/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3570.85 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 357011 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

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

# cumulated CPU time of all completed processes:  user=3584.96 s, system=0.776204 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.10 5/264 92424
/proc/meminfo: memFree=99541408/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3572.55 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 357181 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.10 5/264 92424
/proc/meminfo: memFree=99089832/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3578.93 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 357819 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3578.93 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.11 4.10 5/264 92424
/proc/meminfo: memFree=98864040/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3582.12 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 358138 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3582.12 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.11 4.10 5/264 92424
/proc/meminfo: memFree=98710824/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3583.71 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 358297 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3583.71 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.10 5/264 92424
/proc/meminfo: memFree=98638248/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3584.51 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 358377 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3584.51 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.10 4.10 5/264 92424
/proc/meminfo: memFree=98638248/131249996 swapFree=33010672/33010684
[pid=92108] ppid=92105 vsize=1592492 memory=1503880 CPUtime=3585.31 cores=5,7
/proc/92108/stat : 92108 (pbscip) R 92105 92108 91475 0 -1 4194304 382097 0 0 0 358457 74 0 0 20 0 1 0 77389038 1630711808 375970 18446744073709551615 4235264 18693293 140729920436544 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34738176 140729920444807 140729920444906 140729920444906 140729920450510 0
/proc/92108/statm: 398123 375970 4128 3530 0 389574 0
Current children cumulated CPU time: 3585.31 s
Current children cumulated vsize: 1592492 KiB
Current children cumulated memory: 1503880 KiB

[startup+3597.2 s]*
/proc/loadavg: 4.07 4.10 4.10 5/264 92424
/proc/meminfo: memFree=99571960/131249996 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3597.22
CPU time (s): 3585.73
CPU user time (s): 3584.96
CPU system time (s): 0.776204
CPU usage (%): 99.6807
Max. virtual memory (cumulated for all children) (KiB): 1614636
Max. memory (cumulated for all children) (KiB): 1513700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.96
system time used= 0.776204
maximum resident set size= 1513700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382144
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= 120
involuntary context switches= 19141


# summary of solver processes directly reported to runsolver:
#   pid: 92108
#   total CPU time (s): 3585.73
#   total CPU user time (s): 3584.96
#   total CPU system time (s): 0.776204

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1324 second user time and 15.7284 second system time

The end

Begin job on nodeC017 at 2025-07-04 10:18:33
IDJOB=4525021
IDBENCH=143384
IDSOLVER=3382
FILE ID=nodeC017/4525021-1751617113
RUNJOBID= nodeC017-1751613033-91488
SLURM_JOB_ID= 9598916
Free space on /tmp= 432412 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525021-1751617113/watcher-4525021-1751617113 -o /tmp/evaluation-result-4525021-1751617113/solver-4525021-1751617113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751613033-91488 --watchdog 3760  pbscip -f HOME/instance-4525021-1751617113.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= f6e1341d84f93f3293ca3ab4698e14a4
RANDOM SEED=2060893994

nodeC017 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		: 3600.065
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	: 7000.12
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		: 3600.093
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	: 7000.12
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		: 3608.508
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	: 7000.12
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		: 3589.746
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	: 7000.12
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		: 3600.080
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	: 7000.12
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		: 3600.305
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	: 7000.12
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		: 3600.145
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	: 7000.12
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		: 3558.456
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	: 7000.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122690000 kB
MemAvailable:   127059524 kB
Buffers:            1688 kB
Cached:          5137272 kB
SwapCached:            8 kB
Active:          2991420 kB
Inactive:        4847160 kB
Active(anon):    2701564 kB
Inactive(anon):    16128 kB
Active(file):     289856 kB
Inactive(file):  4831032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19348 kB
Writeback:            48 kB
AnonPages:       2702688 kB
Mapped:           138184 kB
Shmem:             18072 kB
KReclaimable:     175348 kB
Slab:             266960 kB
SReclaimable:     175348 kB
SUnreclaim:        91612 kB
KernelStack:        4240 kB
PageTables:         8720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3470348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1167360 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:      176852 kB
DirectMap2M:     6934528 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432368 MiB
End job on nodeC017 at 2025-07-04 11:18:30