Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 423.898 | 425.606 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-pedck1000_wcsp.wbo |
| MD5SUM | 1c46f022378038623af46a7f02f30d6d |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 6.20112 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 6000 |
| Total number of constraints | 126390 |
| Number of soft constraints | 125390 |
| Number of constraints which are clauses | 125390 |
| Number of constraints which are cardinality constraints (but not clauses) | 1000 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 6 |
| Top cost | 791 |
| Min constraint cost | 1 |
| Max constraint cost | 791 |
| Sum of constraints costs | 96062990 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 7 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4456632-1721722549.wbo>
0.49/0.52 c original problem has 131390 variables (131390 bin, 0 int, 0 impl, 0 cont) and 251781 constraints
0.49/0.52 c problem read in 0.52
1.88/1.90 c presolving:
2.57/2.69 c (round 1, fast) 242880 del vars, 121440 del conss, 0 add conss, 242880 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3950 impls, 1000 clqs
2.78/2.83 c (round 2, fast) 242880 del vars, 121440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3950 impls, 1000 clqs
3.09/3.12 c (round 3, exhaustive) 242880 del vars, 121440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1000 clqs
5.37/5.45 c (round 4, exhaustive) 242905 del vars, 121440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1047 clqs
7.56/7.64 c (round 5, exhaustive) 242930 del vars, 121440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1101 clqs
9.76/9.87 c (round 6, exhaustive) 242955 del vars, 121465 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1153 clqs
12.06/12.12 c (round 7, exhaustive) 242980 del vars, 121490 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1207 clqs
14.24/14.35 c (round 8, exhaustive) 243005 del vars, 121515 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1249 clqs
16.43/16.56 c (round 9, exhaustive) 243030 del vars, 121540 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1290 clqs
18.63/18.75 c (round 10, exhaustive) 243055 del vars, 121565 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1331 clqs
20.83/20.95 c (round 11, exhaustive) 243080 del vars, 121590 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1387 clqs
23.02/23.14 c (round 12, exhaustive) 243105 del vars, 121615 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1434 clqs
25.21/25.31 c (round 13, exhaustive) 243130 del vars, 121640 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1480 clqs
27.30/27.47 c (round 14, exhaustive) 243155 del vars, 121665 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1530 clqs
29.49/29.62 c (round 15, exhaustive) 243180 del vars, 121690 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1565 clqs
31.58/31.75 c (round 16, exhaustive) 243205 del vars, 121715 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1613 clqs
33.68/33.89 c (round 17, exhaustive) 243230 del vars, 121740 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1667 clqs
35.77/36.00 c (round 18, exhaustive) 243255 del vars, 121765 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1708 clqs
37.97/38.12 c (round 19, exhaustive) 243280 del vars, 121790 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1762 clqs
40.06/40.20 c (round 20, exhaustive) 243305 del vars, 121815 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1795 clqs
42.06/42.29 c (round 21, exhaustive) 243330 del vars, 121840 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1844 clqs
44.15/44.37 c (round 22, exhaustive) 243355 del vars, 121865 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1897 clqs
46.24/46.42 c (46.4s) probing: 1000/13900 (7.2%) - 0 fixings, 495 aggregations, 972 implications, 0 bound changes
46.24/46.44 c (round 23, exhaustive) 243380 del vars, 121890 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1943 clqs
48.24/48.48 c (round 24, exhaustive) 243405 del vars, 121915 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 1984 clqs
50.33/50.52 c (round 25, exhaustive) 243430 del vars, 121940 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2033 clqs
52.32/52.53 c (round 26, exhaustive) 243455 del vars, 121965 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2071 clqs
54.31/54.55 c (round 27, exhaustive) 243480 del vars, 121990 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2120 clqs
56.31/56.54 c (round 28, exhaustive) 243505 del vars, 122015 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2160 clqs
58.30/58.51 c (round 29, exhaustive) 243530 del vars, 122040 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2200 clqs
60.20/60.48 c (round 30, exhaustive) 243555 del vars, 122065 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2235 clqs
62.19/62.44 c (round 31, exhaustive) 243580 del vars, 122090 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2280 clqs
64.18/64.42 c (round 32, exhaustive) 243605 del vars, 122115 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2327 clqs
66.07/66.35 c (round 33, exhaustive) 243630 del vars, 122140 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2364 clqs
67.96/68.29 c (round 34, exhaustive) 243655 del vars, 122165 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2406 clqs
69.96/70.21 c (round 35, exhaustive) 243680 del vars, 122190 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2445 clqs
71.86/72.10 c (round 36, exhaustive) 243705 del vars, 122215 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2477 clqs
73.64/74.00 c (round 37, exhaustive) 243730 del vars, 122240 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2522 clqs
75.54/75.87 c (round 38, exhaustive) 243755 del vars, 122265 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2562 clqs
77.43/77.73 c (round 39, exhaustive) 243780 del vars, 122290 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2606 clqs
79.22/79.58 c (round 40, exhaustive) 243805 del vars, 122315 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2644 clqs
81.11/81.41 c (round 41, exhaustive) 243830 del vars, 122340 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2667 clqs
82.91/83.23 c (round 42, exhaustive) 243855 del vars, 122365 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2696 clqs
84.71/85.05 c (round 43, exhaustive) 243880 del vars, 122390 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2739 clqs
86.40/86.78 c (86.8s) probing: 2000/13900 (14.4%) - 0 fixings, 1002 aggregations, 1888 implications, 0 bound changes
86.49/86.86 c (round 44, exhaustive) 243905 del vars, 122415 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2784 clqs
88.29/88.66 c (round 45, exhaustive) 243930 del vars, 122440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2831 clqs
90.08/90.43 c (round 46, exhaustive) 243955 del vars, 122465 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2874 clqs
91.78/92.18 c (round 47, exhaustive) 243980 del vars, 122490 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2896 clqs
93.57/93.92 c (round 48, exhaustive) 244005 del vars, 122515 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2929 clqs
95.27/95.64 c (round 49, exhaustive) 244030 del vars, 122540 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2963 clqs
96.96/97.35 c (round 50, exhaustive) 244055 del vars, 122565 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 2995 clqs
98.66/99.05 c (round 51, exhaustive) 244080 del vars, 122590 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3034 clqs
100.35/100.74 c (round 52, exhaustive) 244105 del vars, 122615 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3072 clqs
102.05/102.41 c (round 53, exhaustive) 244130 del vars, 122640 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3108 clqs
103.65/104.08 c (round 54, exhaustive) 244155 del vars, 122665 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3156 clqs
105.33/105.71 c (round 55, exhaustive) 244180 del vars, 122690 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3194 clqs
106.93/107.33 c (round 56, exhaustive) 244205 del vars, 122715 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3220 clqs
108.52/108.91 c (round 57, exhaustive) 244230 del vars, 122740 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3253 clqs
110.01/110.49 c (round 58, exhaustive) 244255 del vars, 122765 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3282 clqs
111.61/112.06 c (round 59, exhaustive) 244280 del vars, 122790 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3324 clqs
113.10/113.59 c (round 60, exhaustive) 244305 del vars, 122815 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3350 clqs
114.60/115.09 c (round 61, exhaustive) 244330 del vars, 122840 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3369 clqs
116.09/116.57 c (round 62, exhaustive) 244355 del vars, 122865 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3399 clqs
117.59/118.03 c (118.0s) probing: 3000/13900 (21.6%) - 0 fixings, 1493 aggregations, 2724 implications, 0 bound changes
117.59/118.05 c (round 63, exhaustive) 244380 del vars, 122890 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3424 clqs
119.08/119.51 c (round 64, exhaustive) 244405 del vars, 122915 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3453 clqs
120.48/120.95 c (round 65, exhaustive) 244430 del vars, 122940 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3485 clqs
121.87/122.38 c (round 66, exhaustive) 244455 del vars, 122965 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3525 clqs
123.27/123.78 c (round 67, exhaustive) 244480 del vars, 122990 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3550 clqs
124.66/125.18 c (round 68, exhaustive) 244505 del vars, 123015 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3588 clqs
126.05/126.53 c (round 69, exhaustive) 244530 del vars, 123040 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3610 clqs
127.35/127.86 c (round 70, exhaustive) 244555 del vars, 123065 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3634 clqs
128.65/129.18 c (round 71, exhaustive) 244580 del vars, 123090 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3673 clqs
129.94/130.49 c (round 72, exhaustive) 244605 del vars, 123115 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3705 clqs
131.23/131.76 c (round 73, exhaustive) 244630 del vars, 123140 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3731 clqs
132.53/133.01 c (round 74, exhaustive) 244655 del vars, 123165 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3762 clqs
133.72/134.24 c (round 75, exhaustive) 244680 del vars, 123190 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3785 clqs
134.92/135.44 c (round 76, exhaustive) 244705 del vars, 123215 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3814 clqs
136.12/136.61 c (round 77, exhaustive) 244730 del vars, 123240 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3843 clqs
137.21/137.75 c (round 78, exhaustive) 244755 del vars, 123265 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3873 clqs
138.31/138.89 c (round 79, exhaustive) 244780 del vars, 123290 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3905 clqs
139.51/140.01 c (round 80, exhaustive) 244805 del vars, 123315 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3931 clqs
140.50/141.09 c (round 81, exhaustive) 244830 del vars, 123340 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3957 clqs
141.60/142.15 c (round 82, exhaustive) 244855 del vars, 123365 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 3982 clqs
142.60/143.16 c (143.2s) probing: 4000/13900 (28.8%) - 0 fixings, 1995 aggregations, 3518 implications, 0 bound changes
142.60/143.17 c (round 83, exhaustive) 244880 del vars, 123390 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4008 clqs
143.59/144.17 c (round 84, exhaustive) 244905 del vars, 123415 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4025 clqs
144.59/145.16 c (round 85, exhaustive) 244930 del vars, 123440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4046 clqs
145.59/146.12 c (round 86, exhaustive) 244955 del vars, 123465 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4080 clqs
146.48/147.06 c (round 87, exhaustive) 244980 del vars, 123490 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4101 clqs
147.37/147.99 c (round 88, exhaustive) 245005 del vars, 123515 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4125 clqs
148.27/148.89 c (round 89, exhaustive) 245030 del vars, 123540 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4148 clqs
149.17/149.75 c (round 90, exhaustive) 245055 del vars, 123565 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4165 clqs
150.06/150.61 c (round 91, exhaustive) 245080 del vars, 123590 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4185 clqs
150.86/151.44 c (round 92, exhaustive) 245105 del vars, 123615 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4202 clqs
151.66/152.26 c (round 93, exhaustive) 245130 del vars, 123640 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4223 clqs
152.46/153.06 c (round 94, exhaustive) 245155 del vars, 123665 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4245 clqs
153.25/153.84 c (round 95, exhaustive) 245180 del vars, 123690 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4266 clqs
154.05/154.61 c (round 96, exhaustive) 245205 del vars, 123715 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4289 clqs
154.75/155.35 c (round 97, exhaustive) 245230 del vars, 123740 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4308 clqs
155.46/156.07 c (round 98, exhaustive) 245255 del vars, 123765 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4329 clqs
156.15/156.78 c (round 99, exhaustive) 245280 del vars, 123790 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4348 clqs
156.85/157.48 c (round 100, exhaustive) 245305 del vars, 123815 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4371 clqs
157.55/158.16 c (round 101, exhaustive) 245330 del vars, 123840 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4391 clqs
158.24/158.82 c (158.8s) probing: 5000/13900 (36.0%) - 0 fixings, 2473 aggregations, 4225 implications, 0 bound changes
158.24/158.83 c (round 102, exhaustive) 245355 del vars, 123865 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4411 clqs
158.84/159.47 c (round 103, exhaustive) 245380 del vars, 123890 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4426 clqs
159.54/160.12 c (round 104, exhaustive) 245405 del vars, 123915 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4446 clqs
160.13/160.74 c (round 105, exhaustive) 245430 del vars, 123940 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4467 clqs
160.73/161.36 c (round 106, exhaustive) 245455 del vars, 123965 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4483 clqs
161.33/161.96 c (round 107, exhaustive) 245480 del vars, 123990 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4502 clqs
161.93/162.55 c (round 108, exhaustive) 245505 del vars, 124015 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4518 clqs
162.53/163.12 c (round 109, exhaustive) 245530 del vars, 124040 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4532 clqs
163.02/163.69 c (round 110, exhaustive) 245555 del vars, 124065 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4545 clqs
163.62/164.24 c (round 111, exhaustive) 245580 del vars, 124090 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4555 clqs
164.12/164.78 c (round 112, exhaustive) 245605 del vars, 124115 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4569 clqs
164.72/165.31 c (round 113, exhaustive) 245630 del vars, 124140 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4586 clqs
165.21/165.85 c (round 114, exhaustive) 245655 del vars, 124165 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4604 clqs
165.71/166.36 c (round 115, exhaustive) 245680 del vars, 124190 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4622 clqs
166.21/166.86 c (round 116, exhaustive) 245705 del vars, 124215 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4641 clqs
166.71/167.34 c (round 117, exhaustive) 245730 del vars, 124240 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4650 clqs
167.21/167.81 c (round 118, exhaustive) 245755 del vars, 124265 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4665 clqs
167.60/168.28 c (round 119, exhaustive) 245780 del vars, 124290 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4684 clqs
168.10/168.73 c (round 120, exhaustive) 245805 del vars, 124315 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4695 clqs
168.51/169.18 c (round 121, exhaustive) 245830 del vars, 124340 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4706 clqs
169.00/169.61 c (round 122, exhaustive) 245855 del vars, 124365 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4720 clqs
169.40/170.03 c (170.0s) probing: 6000/13900 (43.2%) - 0 fixings, 2989 aggregations, 4901 implications, 0 bound changes
169.40/170.04 c (round 123, exhaustive) 245880 del vars, 124390 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4728 clqs
169.79/170.46 c (round 124, exhaustive) 245905 del vars, 124415 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4742 clqs
170.19/170.86 c (round 125, exhaustive) 245930 del vars, 124440 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4752 clqs
170.59/171.26 c (round 126, exhaustive) 245955 del vars, 124465 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4762 clqs
170.99/171.65 c (round 127, exhaustive) 245980 del vars, 124490 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4776 clqs
171.39/172.04 c (round 128, exhaustive) 246005 del vars, 124515 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4784 clqs
171.79/172.41 c (round 129, exhaustive) 246030 del vars, 124540 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4793 clqs
172.08/172.77 c (round 130, exhaustive) 246055 del vars, 124565 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4798 clqs
172.49/173.14 c (round 131, exhaustive) 246080 del vars, 124590 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4808 clqs
172.88/173.50 c (round 132, exhaustive) 246105 del vars, 124615 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4819 clqs
173.18/173.86 c (round 133, exhaustive) 246130 del vars, 124640 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4827 clqs
173.58/174.21 c (round 134, exhaustive) 246155 del vars, 124665 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4837 clqs
173.88/174.54 c (round 135, exhaustive) 246180 del vars, 124690 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4848 clqs
174.18/174.86 c (round 136, exhaustive) 246205 del vars, 124715 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4851 clqs
174.58/175.20 c (round 137, exhaustive) 246230 del vars, 124740 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4865 clqs
174.87/175.52 c (round 138, exhaustive) 246255 del vars, 124765 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4875 clqs
175.17/175.84 c (round 139, exhaustive) 246280 del vars, 124790 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4879 clqs
175.48/176.15 c (round 140, exhaustive) 246305 del vars, 124815 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4884 clqs
175.77/176.44 c (round 141, exhaustive) 246330 del vars, 124840 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4893 clqs
176.07/176.70 c (176.7s) probing: 7000/13900 (50.4%) - 0 fixings, 3460 aggregations, 5461 implications, 0 bound changes
176.07/176.72 c (round 142, exhaustive) 246355 del vars, 124865 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4902 clqs
176.27/176.99 c (round 143, exhaustive) 246380 del vars, 124890 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4906 clqs
176.57/177.25 c (round 144, exhaustive) 246405 del vars, 124915 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4911 clqs
176.87/177.50 c (round 145, exhaustive) 246430 del vars, 124940 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4917 clqs
177.06/177.76 c (round 146, exhaustive) 246455 del vars, 124965 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4919 clqs
177.26/178.00 c (round 147, exhaustive) 246480 del vars, 124990 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4925 clqs
177.56/178.24 c (round 148, exhaustive) 246505 del vars, 125015 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4927 clqs
177.76/178.47 c (round 149, exhaustive) 246530 del vars, 125040 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4932 clqs
177.96/178.69 c (round 150, exhaustive) 246555 del vars, 125065 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4935 clqs
178.26/178.91 c (round 151, exhaustive) 246580 del vars, 125090 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4937 clqs
178.47/179.11 c (round 152, exhaustive) 246605 del vars, 125115 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4940 clqs
178.66/179.31 c (round 153, exhaustive) 246630 del vars, 125140 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4941 clqs
178.86/179.52 c (round 154, exhaustive) 246655 del vars, 125165 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4942 clqs
179.06/179.71 c (round 155, exhaustive) 246680 del vars, 125190 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4945 clqs
179.16/179.89 c (round 156, exhaustive) 246705 del vars, 125215 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4948 clqs
179.36/180.07 c (round 157, exhaustive) 246730 del vars, 125240 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4948 clqs
179.46/180.18 c (round 158, exhaustive) 246755 del vars, 125265 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4948 clqs
179.56/180.28 c (round 159, exhaustive) 246780 del vars, 125290 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4948 clqs
179.66/180.38 c (round 160, exhaustive) 246805 del vars, 125315 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4950 clqs
179.85/180.53 c (round 161, exhaustive) 246830 del vars, 125340 del conss, 0 add conss, 246830 chg bounds, 0 chg sides, 0 chg coeffs, 122441 upgd conss, 3950 impls, 4950 clqs
179.95/180.64 c (180.6s) probing: 7951/13900 (57.2%) - 0 fixings, 3950 aggregations, 5969 implications, 0 bound changes
179.95/180.64 c (180.6s) probing aborted: 50/50 successive totally useless probings
179.95/180.64 c (180.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
180.16/180.84 c (180.8s) symmetry computation finished: 19 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
180.16/180.85 c dynamic symmetry handling statistics:
180.16/180.85 c orbitopal reduction: no components
180.16/180.85 c orbital reduction: no components
180.16/180.85 c lexicographic reduction: 19 permutations with support sizes 22, 22, 22, 22, 22, 12, 22, 22, 22, 12, 22, 22, 22, 22, 22, 22, 22, 22, 12
180.16/180.85 c handled 19 out of 19 symmetry components
180.25/180.96 c presolving (162 rounds: 162 fast, 160 medium, 160 exhaustive):
180.25/180.96 c 246830 deleted vars, 125365 deleted constraints, 0 added constraints, 246830 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
180.25/180.96 c 3950 implications, 4950 cliques
180.25/180.96 c presolved problem has 9950 variables (9950 bin, 0 int, 0 impl, 0 cont) and 126416 constraints
180.25/180.96 c 1 constraints of type <knapsack>
180.25/180.96 c 1000 constraints of type <setppc>
180.25/180.96 c 3950 constraints of type <linear>
180.25/180.96 c 121440 constraints of type <logicor>
180.25/180.96 c 25 constraints of type <indicator>
180.25/180.96 c transformed objective value is always integral (scale: 1)
180.25/180.96 c Presolving Time: 180.01
180.25/180.96 c - non default parameters ----------------------------------------------------------------------
180.25/180.96 c # SCIP version 10.0.0
180.25/180.96 c
180.25/180.96 c # maximal time in seconds to run
180.25/180.96 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
180.25/180.96 c limits/time = 3596.997045
180.25/180.96 c
180.25/180.96 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
180.25/180.96 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
180.25/180.96 c limits/memory = 27900
180.25/180.96 c
180.25/180.96 c # belongs reading time to solving time?
180.25/180.96 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
180.25/180.96 c timing/reading = TRUE
180.25/180.96 c
180.25/180.96 c -----------------------------------------------------------------------------------------------
180.25/180.96 c start solving
180.25/180.97 c
180.66/181.35 o 720
180.66/181.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
180.66/181.35 c p 181s| 1 | 0 | 0 | - | clique| 0 |9950 | 126k| 126k| 0 | 0 | 0 | 0 | 0.000000e+00 | 7.200000e+02 | Inf | unknown
181.15/181.86 o 457
181.15/181.86 c p 182s| 1 | 0 | 0 | - | vbounds| 0 |9950 | 126k| 126k| 0 | 0 | 56 | 0 | 0.000000e+00 | 4.570000e+02 | Inf | unknown
182.35/183.07 c 183s| 1 | 0 | 5160 | - | 1086M | 0 |9950 | 126k| 126k| 0 | 0 | 58 | 0 | 1.470000e+01 | 4.570000e+02 |3008.84%| unknown
186.73/187.42 c 187s| 1 | 0 | 5386 | - | 1106M | 0 |9950 | 126k| 126k| 42 | 1 | 59 | 0 | 1.660000e+01 | 4.570000e+02 |2653.01%| unknown
187.73/188.43 c 188s| 1 | 0 | 5537 | - | 1119M | 0 |9950 | 126k| 126k| 81 | 2 | 61 | 0 | 1.672500e+01 | 4.570000e+02 |2632.44%| unknown
190.12/190.82 c 191s| 1 | 0 | 5677 | - | 1133M | 0 |9950 | 126k| 126k| 116 | 3 | 62 | 0 | 1.710000e+01 | 4.570000e+02 |2572.51%| unknown
191.71/192.40 c 192s| 1 | 0 | 5770 | - | 1146M | 0 |9950 | 126k| 126k| 139 | 4 | 63 | 0 | 1.733333e+01 | 4.570000e+02 |2536.54%| unknown
193.41/194.14 c 194s| 1 | 0 | 5876 | - | 1160M | 0 |9950 | 126k| 126k| 162 | 5 | 64 | 0 | 1.733333e+01 | 4.570000e+02 |2536.54%| unknown
194.40/195.14 c 195s| 1 | 0 | 5979 | - | 1172M | 0 |9950 | 126k| 126k| 176 | 6 | 65 | 0 | 1.733333e+01 | 4.570000e+02 |2536.54%| unknown
196.09/196.84 c 197s| 1 | 0 | 6038 | - | 1184M | 0 |9950 | 126k| 126k| 190 | 7 | 66 | 0 | 1.733333e+01 | 4.570000e+02 |2536.54%| unknown
197.48/198.25 c 198s| 1 | 0 | 6118 | - | 1199M | 0 |9950 | 126k| 126k| 205 | 8 | 67 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
198.78/199.50 c 199s| 1 | 0 | 6153 | - | 1214M | 0 |9950 | 126k| 126k| 217 | 9 | 68 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
200.08/200.83 c 201s| 1 | 0 | 6195 | - | 1229M | 0 |9950 | 126k| 126k| 228 | 10 | 69 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
200.28/201.04 c 201s| 1 | 0 | 6226 | - | 1242M | 0 |9950 | 126k| 126k| 240 | 11 | 70 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
200.48/201.23 c 201s| 1 | 0 | 6254 | - | 1254M | 0 |9950 | 126k| 126k| 245 | 12 | 70 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
200.68/201.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
200.68/201.41 c 201s| 1 | 0 | 6279 | - | 1267M | 0 |9950 | 126k| 126k| 250 | 13 | 71 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
200.87/201.60 c 202s| 1 | 0 | 6286 | - | 1281M | 0 |9950 | 126k| 126k| 254 | 14 | 72 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
200.97/201.78 c 202s| 1 | 0 | 6294 | - | 1294M | 0 |9950 | 126k| 126k| 258 | 15 | 73 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
201.17/201.96 c 202s| 1 | 0 | 6303 | - | 1307M | 0 |9950 | 126k| 126k| 262 | 16 | 74 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
201.38/202.17 c 202s| 1 | 0 | 6315 | - | 1320M | 0 |9950 | 126k| 126k| 266 | 17 | 75 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
201.57/202.35 c 202s| 1 | 0 | 6326 | - | 1332M | 0 |9950 | 126k| 126k| 269 | 18 | 76 | 0 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
206.15/206.90 c 207s| 1 | 2 | 21466 | - | 1340M | 0 |9950 | 126k| 126k| 269 | 18 | 152 | 19 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
356.59/358.04 c 358s| 100 | 97 | 37480 | 314.7 | 1664M | 19 |9950 | 126k| 126k| 640 | 1 | 375 |2354 | 1.800000e+01 | 4.570000e+02 |2438.89%| unknown
377.89/379.44 o 48
377.89/379.44 c d 379s| 145 | 136 | 43814 | 260.3 |fracdivi| 19 |9950 | 126k| 126k| 0 | 1 | 426 |2613 | 1.800000e+01 | 4.800000e+01 | 166.67%| unknown
378.09/379.65 o 45
378.09/379.65 c i 380s| 146 | 135 | 43819 | 258.6 | oneopt| 19 |9950 | 126k| 126k| 740 | 0 | 426 |2613 | 1.800000e+01 | 4.500000e+01 | 150.00%| unknown
407.26/408.99 c 409s| 200 | 183 | 51361 | 226.3 | 1830M | 19 |9950 | 126k| 126k| 998 | 1 | 452 |2966 | 1.800000e+01 | 4.500000e+01 | 150.00%| 1.43%
420.10/421.80 o 34
420.10/421.80 c L 422s| 243 | 142 | 57003 | 209.4 | alns| 20 |9950 | 126k| 126k|1130 | 2 | 507 |3108 | 1.800000e+01 | 3.400000e+01 | 88.89%| 1.61%
420.10/421.83 o 21
420.10/421.83 c L 422s| 243 | 25 | 57003 | 209.4 | alns| 20 |9950 | 126k| 126k|1130 | 2 | 507 |3108 | 1.800000e+01 | 2.100000e+01 | 16.67%| 17.94%
420.10/421.85 o 20
420.10/421.85 c L 422s| 243 | 9 | 57003 | 209.4 | alns| 20 |9950 | 126k| 126k|1130 | 2 | 507 |3108 | 1.800000e+01 | 2.000000e+01 | 11.11%| 53.53%
422.29/424.07 o 19
422.29/424.07 c r 424s| 250 | 1 | 57267 | 204.6 |shifting| 20 |9950 | 126k| 126k|1185 | 9 | 507 |3108 | 1.800000e+01 | 1.900000e+01 | 5.56%| 77.86%
422.99/424.70 c
422.99/424.70 c SCIP Status : problem is solved [optimal solution found]
422.99/424.70 c Solving Time (sec) : 424.70
422.99/424.70 c Solving Nodes : 252
422.99/424.70 c Primal Bound : +1.90000000000000e+01 (10 solutions)
422.99/424.70 c Dual Bound : +1.90000000000000e+01
422.99/424.70 c Gap : 0.00 %
423.18/424.91 s OPTIMUM FOUND
423.18/424.92 v -x6000 -x5999 x5998 -x5997 -x5996 -x5995 -x5994 -x5993 x5992 -x5991 -x5990 -x5989 -x5988 -x5987 x5986 -x5985 -x5984 -x5983 -x5982
423.18/424.92 v -x5981 -x5980 -x5979 x5978 -x5977 -x5976 -x5975 x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 x5966 -x5965 -x5964
423.18/424.92 v -x5963 -x5962 -x5961 x5960 -x5959 -x5958 -x5957 x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 x5948 -x5947 -x5946 -x5945
423.18/424.92 v x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 x5936 -x5935 -x5934 -x5933 x5932 -x5931 -x5930 -x5929 -x5928 -x5927
423.18/424.92 v x5926 -x5925 -x5924 -x5923 -x5922 -x5921 x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 x5912 -x5911 -x5910 -x5909
423.18/424.92 v -x5908 -x5907 x5906 -x5905 -x5904 -x5903 x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 x5894 -x5893 -x5892 -x5891
423.18/424.92 v x5890 -x5889 -x5888 -x5887 -x5886 -x5885 x5884 -x5883 -x5882 -x5881 -x5880 -x5879 x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872
423.18/424.92 v -x5871 x5870 -x5869 -x5868 -x5867 x5866 -x5865 -x5864 -x5863 -x5862 -x5861 x5860 -x5859 -x5858 -x5857 -x5856 -x5855 x5854
423.18/424.92 v -x5853 -x5852 -x5851 -x5850 -x5849 x5848 -x5847 -x5846 -x5845 -x5844 -x5843 x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836
423.18/424.92 v -x5835 x5834 -x5833 -x5832 -x5831 x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 x5822 -x5821 -x5820 -x5819 x5818 -x5817
423.18/424.92 v -x5816 -x5815 -x5814 -x5813 x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5803 -x5802 -x5801 x5800 -x5799
423.18/424.92 v -x5798 -x5797 -x5796 -x5795 x5794 -x5793 -x5792 -x5791 -x5790 -x5789 x5788 -x5787 -x5786 -x5785 -x5784 -x5783 x5782 -x5781
423.18/424.92 v -x5780 -x5779 -x5778 -x5777 x5776 -x5775 -x5774 -x5773 -x5772 -x5771 x5770 -x5769 -x5768 -x5767 -x5766 -x5765 x5764 -x5763 -x5762
423.18/424.92 v -x5761 -x5760 -x5759 x5758 -x5757 -x5756 -x5755 -x5754 -x5753 x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 x5744
423.18/424.92 v -x5743 -x5742 -x5741 x5740 -x5739 -x5738 -x5737 -x5736 -x5735 x5734 -x5733 -x5732 -x5731 -x5730 -x5729 x5728 -x5727 -x5726
423.18/424.92 v -x5725 -x5724 -x5723 x5722 -x5721 -x5720 -x5719 -x5718 -x5717 x5716 -x5715 -x5714 -x5713 -x5712 -x5711 x5710 -x5709 -x5708
423.18/424.92 v -x5707 -x5706 -x5705 x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 x5696 -x5695 -x5694 -x5693 -x5692 -x5691 x5690 -x5689
423.18/424.92 v -x5688 -x5687 x5686 -x5685 -x5684 -x5683 -x5682 -x5681 x5680 -x5679 -x5678 -x5677 -x5676 -x5675 x5674 -x5673 -x5672 -x5671
423.18/424.92 v -x5670 -x5669 x5668 -x5667 -x5666 -x5665 -x5664 -x5663 x5662 -x5661 -x5660 -x5659 -x5658 -x5657 x5656 -x5655 -x5654 -x5653
423.18/424.92 v -x5652 -x5651 x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 x5642 -x5641 -x5640 -x5639 x5638 -x5637 -x5636 -x5635 -x5634
423.18/424.92 v -x5633 x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 x5624 -x5623 -x5622 -x5621 x5620 -x5619 -x5618 -x5617 -x5616
423.18/424.92 v -x5615 -x5614 -x5613 x5612 -x5611 -x5610 -x5609 x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 x5600 -x5599 -x5598
423.18/424.92 v -x5597 -x5596 -x5595 -x5594 x5593 -x5592 -x5591 x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 x5582 -x5581 -x5580
423.18/424.92 v -x5579 x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 x5569 -x5568 -x5567 -x5566 -x5565 x5564 -x5563 -x5562 -x5561
423.18/424.92 v x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 x5552 -x5551 -x5550 -x5549 x5548 -x5547 -x5546 -x5545 -x5544 -x5543
423.18/424.92 v x5542 -x5541 -x5540 -x5539 -x5538 -x5537 x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 x5528 -x5527 -x5526 -x5525
423.18/424.92 v -x5524 -x5523 -x5522 x5521 -x5520 -x5519 x5518 -x5517 -x5516 -x5515 -x5514 -x5513 x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506
423.18/424.92 v -x5505 x5504 -x5503 -x5502 -x5501 -x5500 -x5499 x5498 -x5497 -x5496 -x5495 x5494 -x5493 -x5492 -x5491 -x5490 -x5489 x5488
423.18/424.92 v -x5487 -x5486 -x5485 -x5484 -x5483 x5482 -x5481 -x5480 -x5479 -x5478 -x5477 x5476 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470
423.18/424.92 v -x5469 x5468 -x5467 -x5466 -x5465 x5464 -x5463 -x5462 -x5461 -x5460 -x5459 x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452
423.18/424.92 v -x5451 x5450 -x5449 -x5448 -x5447 -x5446 -x5445 x5444 -x5443 -x5442 -x5441 x5440 -x5439 -x5438 -x5437 -x5436 -x5435 x5434 -x5433
423.18/424.92 v -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 x5426 -x5425 -x5424 -x5423 x5422 -x5421 -x5420 -x5419 -x5418 -x5417 x5416 -x5415
423.18/424.92 v -x5414 -x5413 -x5412 -x5411 x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 x5401 -x5400 -x5399 x5398 -x5397
423.18/424.92 v -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 x5390 -x5389 -x5388 -x5387 x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 x5378
423.18/424.92 v -x5377 -x5376 -x5375 x5374 -x5373 -x5372 -x5371 -x5370 -x5369 x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 -x5361 -x5360
423.18/424.92 v -x5359 -x5358 -x5357 -x5356 -x5355 x5354 -x5353 -x5352 -x5351 -x5350 -x5349 x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342
423.18/424.92 v x5341 -x5340 -x5339 x5338 -x5337 -x5336 -x5335 -x5334 -x5333 x5332 -x5331 -x5330 -x5329 -x5328 -x5327 x5326 -x5325 -x5324 -x5323
423.18/424.92 v -x5322 -x5321 -x5320 -x5319 x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 x5311 -x5310 -x5309 -x5308 -x5307 x5306 -x5305
423.18/424.92 v -x5304 -x5303 x5302 -x5301 -x5300 -x5299 -x5298 -x5297 x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 x5288 -x5287
423.18/424.92 v -x5286 -x5285 x5284 -x5283 -x5282 -x5281 -x5280 -x5279 x5278 -x5277 -x5276 -x5275 -x5274 -x5273 x5272 -x5271 -x5270 -x5269
423.18/424.92 v -x5268 -x5267 x5266 -x5265 -x5264 -x5263 -x5262 -x5261 x5260 -x5259 -x5258 -x5257 -x5256 -x5255 x5254 -x5253 -x5252 -x5251 -x5250
423.18/424.92 v -x5249 x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 x5240 -x5239 -x5238 -x5237 -x5236 -x5235 x5234 -x5233 -x5232
423.18/424.92 v -x5231 -x5230 -x5229 x5228 -x5227 -x5226 -x5225 x5224 -x5223 -x5222 -x5221 -x5220 -x5219 x5218 -x5217 -x5216 -x5215 -x5214
423.18/424.92 v -x5213 x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 x5204 -x5203 -x5202 -x5201 x5200 -x5199 -x5198 -x5197 -x5196 -x5195
423.18/424.92 v -x5194 -x5193 x5192 -x5191 -x5190 -x5189 -x5188 -x5187 x5186 -x5185 -x5184 -x5183 x5182 -x5181 -x5180 -x5179 -x5178 -x5177
423.18/424.92 v -x5176 -x5175 x5174 -x5173 -x5172 -x5171 x5170 -x5169 -x5168 -x5167 -x5166 -x5165 x5164 -x5163 -x5162 -x5161 -x5160 -x5159
423.18/424.92 v x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 x5150 -x5149 -x5148 -x5147 x5146 -x5145 -x5144 -x5143 -x5142 -x5141
423.18/424.92 v x5140 -x5139 -x5138 -x5137 -x5136 -x5135 x5134 -x5133 -x5132 -x5131 -x5130 -x5129 x5128 -x5127 -x5126 -x5125 -x5124 -x5123 x5122
423.18/424.92 v -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 x5114 -x5113 -x5112 -x5111 x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104
423.18/424.92 v -x5103 x5102 -x5101 -x5100 -x5099 x5098 -x5097 -x5096 -x5095 -x5094 -x5093 x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086
423.18/424.92 v -x5085 x5084 -x5083 -x5082 -x5081 x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 x5072 -x5071 -x5070 -x5069 -x5068 -x5067
423.18/424.92 v x5066 -x5065 -x5064 -x5063 x5062 -x5061 -x5060 -x5059 -x5058 -x5057 x5056 -x5055 -x5054 -x5053 -x5052 -x5051 x5050 -x5049
423.18/424.92 v -x5048 -x5047 -x5046 -x5045 x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 x5036 -x5035 -x5034 -x5033 -x5032 -x5031
423.18/424.92 v x5030 -x5029 -x5028 -x5027 -x5026 -x5025 x5024 -x5023 -x5022 -x5021 -x5020 -x5019 x5018 -x5017 -x5016 -x5015 -x5014 -x5013
423.18/424.92 v x5012 -x5011 -x5010 -x5009 -x5008 -x5007 x5006 -x5005 -x5004 -x5003 -x5002 -x5001 x5000 -x4999 -x4998 -x4997 x4996 -x4995 -x4994
423.18/424.92 v -x4993 -x4992 -x4991 x4990 -x4989 -x4988 -x4987 -x4986 -x4985 x4984 -x4983 -x4982 -x4981 -x4980 -x4979 x4978 -x4977 -x4976
423.18/424.92 v -x4975 -x4974 -x4973 x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 x4964 -x4963 -x4962 -x4961 -x4960 -x4959 x4958
423.18/424.92 v -x4957 -x4956 -x4955 x4954 -x4953 -x4952 -x4951 -x4950 -x4949 x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 x4940 -x4939
423.18/424.92 v -x4938 -x4937 x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 x4927 -x4926 -x4925 -x4924 -x4923 -x4922 x4921
423.18/424.92 v -x4920 -x4919 -x4918 -x4917 x4916 -x4915 -x4914 -x4913 -x4912 -x4911 x4910 -x4909 -x4908 -x4907 x4906 -x4905 -x4904 -x4903
423.18/424.92 v -x4902 -x4901 x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 x4892 -x4891 -x4890 -x4889 -x4888 -x4887 x4886 -x4885 -x4884
423.18/424.92 v -x4883 x4882 -x4881 -x4880 -x4879 -x4878 -x4877 x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 x4868 -x4867 -x4866
423.18/424.92 v -x4865 x4864 -x4863 -x4862 -x4861 -x4860 -x4859 x4858 -x4857 -x4856 -x4855 -x4854 -x4853 x4852 -x4851 -x4850 -x4849 -x4848
423.18/424.92 v -x4847 x4846 -x4845 -x4844 -x4843 -x4842 -x4841 x4840 -x4839 -x4838 -x4837 -x4836 -x4835 x4834 -x4833 -x4832 -x4831 -x4830
423.18/424.92 v -x4829 x4828 -x4827 -x4826 -x4825 -x4824 -x4823 x4822 -x4821 -x4820 -x4819 -x4818 -x4817 x4816 -x4815 -x4814 -x4813 -x4812 -x4811
423.18/424.92 v x4810 -x4809 -x4808 -x4807 -x4806 -x4805 x4804 -x4803 -x4802 -x4801 -x4800 -x4799 x4798 -x4797 -x4796 -x4795 -x4794 -x4793
423.18/424.92 v x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 x4784 -x4783 -x4782 -x4781 -x4780 -x4779 x4778 -x4777 -x4776 -x4775
423.18/424.92 v x4774 -x4773 -x4772 -x4771 -x4770 -x4769 x4768 -x4767 -x4766 -x4765 -x4764 -x4763 x4762 -x4761 -x4760 -x4759 -x4758 -x4757 x4756
423.18/424.92 v -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 x4747 -x4746 -x4745 -x4744 -x4743 -x4742 x4741 -x4740 -x4739 x4738
423.18/424.92 v -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 x4730 -x4729 -x4728 -x4727 x4726 -x4725 -x4724 -x4723 -x4722 -x4721 x4720
423.18/424.92 v -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 x4712 -x4711 -x4710 -x4709 -x4708 -x4707 x4706 -x4705 -x4704 -x4703 x4702 -x4701
423.18/424.92 v -x4700 -x4699 -x4698 -x4697 x4696 -x4695 -x4694 -x4693 -x4692 -x4691 x4690 -x4689 -x4688 -x4687 -x4686 -x4685 x4684 -x4683
423.18/424.92 v -x4682 -x4681 -x4680 -x4679 x4678 -x4677 -x4676 -x4675 -x4674 -x4673 x4672 -x4671 -x4670 -x4669 -x4668 -x4667 x4666 -x4665
423.18/424.92 v -x4664 -x4663 -x4662 -x4661 x4660 -x4659 -x4658 -x4657 -x4656 -x4655 x4654 -x4653 -x4652 -x4651 -x4650 -x4649 x4648 -x4647
423.18/424.92 v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 x4640 -x4639 -x4638 -x4637 x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 x4628
423.18/424.92 v -x4627 -x4626 -x4625 -x4624 -x4623 x4622 -x4621 -x4620 -x4619 x4618 -x4617 -x4616 -x4615 -x4614 -x4613 x4612 -x4611 -x4610
423.18/424.92 v -x4609 -x4608 -x4607 -x4606 -x4605 x4604 -x4603 -x4602 -x4601 -x4600 -x4599 x4598 -x4597 -x4596 -x4595 -x4594 -x4593 x4592
423.18/424.92 v -x4591 -x4590 -x4589 -x4588 -x4587 x4586 -x4585 -x4584 -x4583 x4582 -x4581 -x4580 -x4579 -x4578 -x4577 x4576 -x4575 -x4574 -x4573
423.18/424.92 v -x4572 -x4571 -x4570 -x4569 x4568 -x4567 -x4566 -x4565 -x4564 -x4563 x4562 -x4561 -x4560 -x4559 -x4558 -x4557 x4556 -x4555
423.18/424.92 v -x4554 -x4553 -x4552 -x4551 -x4550 x4549 -x4548 -x4547 x4546 -x4545 -x4544 -x4543 -x4542 -x4541 x4540 -x4539 -x4538 -x4537
423.18/424.92 v -x4536 -x4535 x4534 -x4533 -x4532 -x4531 -x4530 -x4529 x4528 -x4527 -x4526 -x4525 -x4524 -x4523 x4522 -x4521 -x4520 -x4519
423.18/424.92 v -x4518 -x4517 -x4516 -x4515 x4514 -x4513 -x4512 -x4511 x4510 -x4509 -x4508 -x4507 -x4506 -x4505 x4504 -x4503 -x4502 -x4501 -x4500
423.18/424.92 v -x4499 x4498 -x4497 -x4496 -x4495 -x4494 -x4493 x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 x4483 -x4482
423.18/424.92 v -x4481 x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 x4472 -x4471 -x4470 -x4469 x4468 -x4467 -x4466 -x4465 -x4464
423.18/424.92 v -x4463 -x4462 -x4461 x4460 -x4459 -x4458 -x4457 -x4456 -x4455 x4454 -x4453 -x4452 -x4451 -x4450 -x4449 x4448 -x4447 -x4446 -x4445
423.18/424.92 v x4444 -x4443 -x4442 -x4441 -x4440 -x4439 x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427
423.18/424.92 v x4426 -x4425 -x4424 -x4423 -x4422 -x4421 x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 x4412 -x4411 -x4410 -x4409
423.18/424.92 v x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 x4400 -x4399 -x4398 -x4397 x4396 -x4395 -x4394 -x4393 -x4392 -x4391
423.18/424.92 v x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 x4382 -x4381 -x4380 -x4379 -x4378 -x4377 x4376 -x4375 -x4374 -x4373 x4372
423.18/424.92 v -x4371 -x4370 -x4369 -x4368 -x4367 x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 x4358 -x4357 -x4356 -x4355 -x4354
423.18/424.92 v -x4353 x4352 -x4351 -x4350 -x4349 -x4348 -x4347 x4346 -x4345 -x4344 -x4343 -x4342 -x4341 x4340 -x4339 -x4338 -x4337 x4336
423.18/424.92 v -x4335 -x4334 -x4333 -x4332 -x4331 x4330 -x4329 -x4328 -x4327 -x4326 -x4325 x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317
423.18/424.92 v x4316 -x4315 -x4314 -x4313 x4312 -x4311 -x4310 -x4309 -x4308 -x4307 x4306 -x4305 -x4304 -x4303 -x4302 -x4301 x4300 -x4299
423.18/424.92 v -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 -x4284 -x4283 -x4282 -x4281
423.18/424.92 v x4280 -x4279 -x4278 -x4277 -x4276 -x4275 x4274 -x4273 -x4272 -x4271 x4270 -x4269 -x4268 -x4267 -x4266 -x4265 x4264 -x4263 -x4262
423.18/424.92 v -x4261 -x4260 -x4259 x4258 -x4257 -x4256 -x4255 -x4254 -x4253 x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244
423.18/424.92 v x4243 -x4242 -x4241 x4240 -x4239 -x4238 -x4237 -x4236 -x4235 x4234 -x4233 -x4232 -x4231 -x4230 -x4229 x4228 -x4227 -x4226
423.18/424.92 v -x4225 -x4224 -x4223 x4222 -x4221 -x4220 -x4219 -x4218 -x4217 x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208
423.18/424.92 v x4207 -x4206 -x4205 -x4204 -x4203 -x4202 x4201 -x4200 -x4199 -x4198 -x4197 x4196 -x4195 -x4194 -x4193 x4192 -x4191 -x4190 -x4189
423.18/424.92 v -x4188 -x4187 -x4186 -x4185 x4184 -x4183 -x4182 -x4181 x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 x4172 -x4171
423.18/424.92 v -x4170 -x4169 -x4168 -x4167 x4166 -x4165 -x4164 -x4163 x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 x4154 -x4153
423.18/424.92 v -x4152 -x4151 -x4150 -x4149 x4148 -x4147 -x4146 -x4145 x4144 -x4143 -x4142 -x4141 -x4140 -x4139 x4138 -x4137 -x4136 -x4135 -x4134
423.18/424.92 v -x4133 -x4132 -x4131 x4130 -x4129 -x4128 -x4127 -x4126 -x4125 x4124 -x4123 -x4122 -x4121 -x4120 -x4119 x4118 -x4117 -x4116
423.18/424.92 v -x4115 x4114 -x4113 -x4112 -x4111 -x4110 -x4109 x4108 -x4107 -x4106 -x4105 -x4104 -x4103 x4102 -x4101 -x4100 -x4099 -x4098
423.18/424.92 v -x4097 x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 x4088 -x4087 -x4086 -x4085 -x4084 -x4083 x4082 -x4081 -x4080
423.18/424.92 v -x4079 x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 x4070 -x4069 -x4068 -x4067 -x4066 -x4065 x4064 -x4063 -x4062 -x4061
423.18/424.92 v x4060 -x4059 -x4058 -x4057 -x4056 -x4055 x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 x4046 -x4045 -x4044 -x4043
423.18/424.92 v -x4042 -x4041 x4040 -x4039 -x4038 -x4037 x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 x4028 -x4027 -x4026 -x4025
423.18/424.92 v -x4024 -x4023 x4022 -x4021 -x4020 -x4019 x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 x4010 -x4009 -x4008 -x4007 -x4006
423.18/424.92 v -x4005 x4004 -x4003 -x4002 -x4001 -x4000 -x3999 x3998 -x3997 -x3996 -x3995 -x3994 -x3993 x3992 -x3991 -x3990 -x3989 x3988
423.18/424.92 v -x3987 -x3986 -x3985 -x3984 -x3983 x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 x3974 -x3973 -x3972 -x3971 x3970
423.18/424.92 v -x3969 -x3968 -x3967 -x3966 -x3965 x3964 -x3963 -x3962 -x3961 -x3960 -x3959 x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952
423.18/424.92 v -x3951 x3950 -x3949 -x3948 -x3947 -x3946 -x3945 x3944 -x3943 -x3942 -x3941 -x3940 -x3939 x3938 -x3937 -x3936 -x3935 x3934 -x3933
423.18/424.92 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 x3926 -x3925 -x3924 -x3923 x3922 -x3921 -x3920 -x3919 -x3918 x3917 -x3916 -x3915
423.18/424.92 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 x3908 -x3907 -x3906 -x3905 x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
423.18/424.92 v x3896 -x3895 -x3894 -x3893 -x3892 -x3891 x3890 -x3889 -x3888 -x3887 x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 x3878
423.18/424.92 v -x3877 -x3876 -x3875 -x3874 -x3873 x3872 -x3871 -x3870 -x3869 -x3868 -x3867 x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860
423.18/424.92 v x3859 -x3858 -x3857 -x3856 -x3855 x3854 -x3853 -x3852 -x3851 -x3850 -x3849 x3848 -x3847 -x3846 -x3845 x3844 -x3843 -x3842
423.18/424.92 v -x3841 -x3840 -x3839 x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 x3830 -x3829 -x3828 -x3827 x3826 -x3825 -x3824 -x3823
423.18/424.92 v -x3822 -x3821 x3820 -x3819 -x3818 -x3817 -x3816 -x3815 x3814 -x3813 -x3812 -x3811 -x3810 -x3809 x3808 -x3807 -x3806 -x3805
423.18/424.92 v -x3804 -x3803 -x3802 -x3801 -x3800 x3799 -x3798 -x3797 -x3796 -x3795 x3794 -x3793 -x3792 -x3791 x3790 -x3789 -x3788 -x3787
423.18/424.92 v -x3786 -x3785 -x3784 -x3783 -x3782 x3781 -x3780 -x3779 -x3778 -x3777 -x3776 x3775 -x3774 -x3773 -x3772 -x3771 -x3770 x3769
423.18/424.92 v -x3768 -x3767 -x3766 -x3765 -x3764 x3763 -x3762 -x3761 x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 x3752 -x3751 -x3750
423.18/424.92 v -x3749 x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 x3740 -x3739 -x3738 -x3737 -x3736 -x3735 x3734 -x3733 -x3732
423.18/424.92 v -x3731 -x3730 -x3729 x3728 -x3727 -x3726 -x3725 x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 x3716 -x3715 -x3714
423.18/424.92 v -x3713 -x3712 -x3711 x3710 -x3709 -x3708 -x3707 -x3706 -x3705 x3704 -x3703 -x3702 -x3701 -x3700 -x3699 x3698 -x3697 -x3696 -x3695
423.18/424.92 v x3694 -x3693 -x3692 -x3691 -x3690 -x3689 x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 x3680 -x3679 -x3678 -x3677
423.18/424.92 v x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 x3668 -x3667 -x3666 -x3665 -x3664 -x3663 x3662 -x3661 -x3660 -x3659
423.18/424.92 v x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 x3650 -x3649 -x3648 -x3647 x3646 -x3645 -x3644 -x3643 -x3642 -x3641
423.18/424.92 v x3640 -x3639 -x3638 -x3637 -x3636 -x3635 x3634 -x3633 -x3632 -x3631 -x3630 -x3629 x3628 -x3627 -x3626 -x3625 -x3624 -x3623 x3622
423.18/424.92 v -x3621 -x3620 -x3619 -x3618 -x3617 x3616 -x3615 -x3614 -x3613 -x3612 -x3611 x3610 -x3609 -x3608 -x3607 -x3606 -x3605 x3604
423.18/424.92 v -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 x3596 -x3595 -x3594 -x3593 x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586
423.18/424.92 v -x3585 x3584 -x3583 -x3582 -x3581 x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567
423.18/424.92 v x3566 -x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 x3554 -x3553 -x3552 -x3551 x3550 -x3549
423.18/424.92 v -x3548 -x3547 -x3546 -x3545 x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 x3536 -x3535 -x3534 -x3533 -x3532 -x3531
423.18/424.92 v x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 -x3523 -x3522 -x3521 -x3520 -x3519 x3518 -x3517 -x3516 -x3515 -x3514 -x3513
423.18/424.92 v x3512 -x3511 -x3510 -x3509 x3508 -x3507 -x3506 -x3505 -x3504 -x3503 x3502 -x3501 -x3500 -x3499 -x3498 -x3497 x3496 -x3495 -x3494
423.18/424.92 v -x3493 -x3492 -x3491 -x3490 -x3489 x3488 -x3487 -x3486 -x3485 x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 x3476
423.18/424.92 v -x3475 -x3474 -x3473 x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 x3463 -x3462 -x3461 -x3460 -x3459 x3458
423.18/424.92 v -x3457 -x3456 -x3455 -x3454 -x3453 x3452 -x3451 -x3450 -x3449 -x3448 -x3447 x3446 -x3445 -x3444 -x3443 x3442 -x3441 -x3440 -x3439
423.18/424.92 v -x3438 -x3437 -x3436 -x3435 x3434 -x3433 -x3432 -x3431 x3430 -x3429 -x3428 -x3427 -x3426 -x3425 x3424 -x3423 -x3422 -x3421
423.18/424.92 v -x3420 -x3419 -x3418 -x3417 x3416 -x3415 -x3414 -x3413 x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 x3404 -x3403
423.18/424.92 v -x3402 -x3401 -x3400 -x3399 x3398 -x3397 -x3396 -x3395 x3394 -x3393 -x3392 -x3391 -x3390 -x3389 x3388 -x3387 -x3386 -x3385 -x3384
423.18/424.92 v -x3383 -x3382 -x3381 x3380 -x3379 -x3378 -x3377 x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 x3368 -x3367 -x3366
423.18/424.92 v -x3365 -x3364 -x3363 x3362 -x3361 -x3360 -x3359 x3358 -x3357 -x3356 -x3355 -x3354 -x3353 x3352 -x3351 -x3350 -x3349 -x3348
423.18/424.92 v -x3347 -x3346 -x3345 x3344 -x3343 -x3342 -x3341 -x3340 -x3339 x3338 -x3337 -x3336 -x3335 -x3334 -x3333 x3332 -x3331 -x3330
423.18/424.92 v -x3329 -x3328 -x3327 x3326 -x3325 -x3324 -x3323 x3322 -x3321 -x3320 -x3319 -x3318 -x3317 x3316 -x3315 -x3314 -x3313 -x3312 -x3311
423.18/424.92 v x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 x3298 -x3297 -x3296 -x3295 -x3294 -x3293
423.18/424.92 v x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 x3284 -x3283 -x3282 -x3281 -x3280 -x3279 x3278 -x3277 -x3276 -x3275
423.18/424.92 v -x3274 -x3273 x3272 -x3271 -x3270 -x3269 -x3268 -x3267 x3266 -x3265 -x3264 -x3263 x3262 -x3261 -x3260 -x3259 -x3258 -x3257 x3256
423.18/424.92 v -x3255 -x3254 -x3253 -x3252 -x3251 x3250 -x3249 -x3248 -x3247 -x3246 -x3245 x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238
423.18/424.92 v -x3237 x3236 -x3235 -x3234 -x3233 -x3232 -x3231 x3230 -x3229 -x3228 -x3227 x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220
423.18/424.92 v -x3219 -x3218 x3217 -x3216 -x3215 x3214 -x3213 -x3212 -x3211 -x3210 -x3209 x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202
423.18/424.92 v -x3201 x3200 -x3199 -x3198 x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 x3188 -x3187 -x3186 -x3185 x3184 -x3183
423.18/424.92 v -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 x3176 -x3175 -x3174 -x3173 -x3172 -x3171 x3170 -x3169 -x3168 -x3167 x3166 -x3165
423.18/424.92 v -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 x3158 -x3157 -x3156 -x3155 -x3154 -x3153 x3152 -x3151 -x3150 -x3149 -x3148 -x3147
423.18/424.92 v x3146 -x3145 -x3144 -x3143 -x3142 -x3141 x3140 -x3139 -x3138 -x3137 -x3136 -x3135 x3134 -x3133 -x3132 -x3131 -x3130 -x3129 x3128
423.18/424.92 v -x3127 -x3126 -x3125 -x3124 -x3123 x3122 -x3121 -x3120 -x3119 x3118 -x3117 -x3116 -x3115 -x3114 -x3113 x3112 -x3111 -x3110
423.18/424.92 v -x3109 -x3108 -x3107 x3106 -x3105 -x3104 -x3103 -x3102 -x3101 x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 x3092
423.18/424.92 v -x3091 -x3090 -x3089 x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 x3080 -x3079 -x3078 -x3077 -x3076 -x3075 x3074 -x3073
423.18/424.92 v -x3072 -x3071 -x3070 -x3069 -x3068 x3067 -x3066 -x3065 x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 x3056 -x3055
423.18/424.92 v -x3054 -x3053 x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 x3037
423.18/424.92 v -x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 x3020 -x3019
423.18/424.92 v -x3018 -x3017 -x3016 -x3015 x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 x3007 -x3006 -x3005 -x3004 -x3003 -x3002 x3001 -x3000
423.18/424.92 v -x2999 -x2998 -x2997 x2996 -x2995 -x2994 -x2993 x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 x2984 -x2983 -x2982
423.18/424.92 v -x2981 -x2980 -x2979 x2978 -x2977 -x2976 -x2975 x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 x2965 -x2964
423.18/424.92 v -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 x2954 -x2953 -x2952 -x2951 -x2950 -x2949 x2948 -x2947 -x2946 -x2945
423.18/424.92 v -x2944 -x2943 -x2942 x2941 -x2940 x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927
423.18/424.92 v -x2926 -x2925 x2924 -x2923 -x2922 -x2921 -x2920 -x2919 x2918 -x2917 -x2916 -x2915 x2914 -x2913 -x2912 -x2911 -x2910 -x2909
423.18/424.92 v x2908 -x2907 -x2906 -x2905 -x2904 -x2903 x2902 -x2901 -x2900 -x2899 -x2898 -x2897 x2896 -x2895 -x2894 -x2893 -x2892 -x2891
423.18/424.92 v x2890 -x2889 -x2888 -x2887 -x2886 -x2885 x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 x2876 -x2875 -x2874 -x2873 x2872
423.18/424.92 v -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 x2864 -x2863 -x2862 -x2861 -x2860 -x2859 x2858 -x2857 -x2856 -x2855 x2854
423.18/424.92 v -x2853 -x2852 -x2851 -x2850 -x2849 x2848 -x2847 -x2846 -x2845 -x2844 -x2843 x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836
423.18/424.92 v -x2835 x2834 -x2833 -x2832 -x2831 x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 x2822 -x2821 -x2820 -x2819 -x2818 -x2817
423.18/424.92 v x2816 -x2815 -x2814 -x2813 x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2803 -x2802 -x2801 -x2800 -x2799
423.18/424.92 v x2798 -x2797 -x2796 -x2795 x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 x2786 -x2785 -x2784 -x2783 x2782 -x2781
423.18/424.92 v -x2780 -x2779 -x2778 -x2777 x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 x2768 -x2767 -x2766 -x2765 x2764 -x2763 -x2762
423.18/424.92 v -x2761 -x2760 -x2759 -x2758 -x2757 x2756 -x2755 -x2754 -x2753 -x2752 -x2751 x2750 -x2749 -x2748 -x2747 x2746 -x2745 -x2744
423.18/424.92 v -x2743 -x2742 -x2741 -x2740 -x2739 x2738 -x2737 -x2736 -x2735 -x2734 -x2733 x2732 -x2731 -x2730 -x2729 x2728 -x2727 -x2726
423.18/424.92 v -x2725 -x2724 -x2723 x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 x2714 -x2713 -x2712 -x2711 -x2710 -x2709 x2708
423.18/424.92 v -x2707 -x2706 -x2705 x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 x2696 -x2695 -x2694 -x2693 x2692 -x2691 -x2690 -x2689
423.18/424.92 v -x2688 -x2687 x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 x2678 -x2677 -x2676 -x2675 -x2674 -x2673 x2672 -x2671
423.18/424.92 v -x2670 -x2669 x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 x2660 -x2659 -x2658 -x2657 x2656 -x2655 -x2654 -x2653
423.18/424.92 v -x2652 -x2651 -x2650 -x2649 x2648 -x2647 -x2646 -x2645 -x2644 -x2643 x2642 -x2641 -x2640 -x2639 -x2638 -x2637 x2636 -x2635 -x2634
423.18/424.92 v -x2633 -x2632 -x2631 x2630 -x2629 -x2628 -x2627 x2626 -x2625 -x2624 -x2623 -x2622 -x2621 x2620 -x2619 -x2618 -x2617 -x2616
423.18/424.92 v -x2615 x2614 -x2613 -x2612 -x2611 -x2610 -x2609 x2608 -x2607 -x2606 -x2605 -x2604 -x2603 x2602 -x2601 -x2600 -x2599 -x2598
423.18/424.92 v -x2597 x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 x2588 -x2587 -x2586 -x2585 x2584 -x2583 -x2582 -x2581 -x2580
423.18/424.92 v -x2579 -x2578 -x2577 x2576 -x2575 -x2574 -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 -x2566 -x2565 x2564 -x2563 -x2562 -x2561
423.18/424.92 v x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 x2548 -x2547 -x2546 -x2545 -x2544 -x2543
423.18/424.92 v -x2542 -x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 -x2526 -x2525
423.18/424.92 v -x2524 -x2523 x2522 -x2521 -x2520 -x2519 x2518 -x2517 -x2516 -x2515 -x2514 -x2513 x2512 -x2511 -x2510 -x2509 -x2508 -x2507 x2506
423.18/424.92 v -x2505 -x2504 -x2503 -x2502 -x2501 x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 x2492 -x2491 -x2490 -x2489 -x2488
423.18/424.92 v -x2487 x2486 -x2485 -x2484 -x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470
423.18/424.92 v -x2469 -x2468 x2467 -x2466 -x2465 -x2464 -x2463 -x2462 x2461 -x2460 -x2459 -x2458 -x2457 x2456 -x2455 -x2454 -x2453 -x2452
423.18/424.92 v -x2451 x2450 -x2449 -x2448 -x2447 -x2446 -x2445 x2444 -x2443 -x2442 -x2441 x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433
423.18/424.92 v x2432 -x2431 -x2430 -x2429 -x2428 -x2427 x2426 -x2425 -x2424 -x2423 x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415
423.18/424.92 v x2414 -x2413 -x2412 x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 x2398 -x2397
423.18/424.92 v -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 x2390 -x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 -x2382 -x2381 x2380 -x2379 -x2378
423.18/424.92 v -x2377 -x2376 -x2375 x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2367 -x2366 -x2365 -x2364 -x2363 x2362 -x2361 -x2360
423.18/424.92 v -x2359 -x2358 -x2357 -x2356 -x2355 x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 x2347 -x2346 -x2345 x2344 -x2343 -x2342
423.18/424.92 v -x2341 -x2340 -x2339 -x2338 -x2337 x2336 -x2335 -x2334 -x2333 x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 -x2323
423.18/424.92 v -x2322 -x2321 -x2320 -x2319 x2318 -x2317 -x2316 -x2315 x2314 -x2313 -x2312 -x2311 -x2310 -x2309 x2308 -x2307 -x2306 -x2305
423.18/424.92 v -x2304 -x2303 x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 x2287
423.18/424.92 v -x2286 -x2285 -x2284 -x2283 -x2282 x2281 -x2280 -x2279 x2278 -x2277 -x2276 -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269
423.18/424.92 v -x2268 -x2267 -x2266 -x2265 x2264 -x2263 -x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 -x2250
423.18/424.92 v -x2249 x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 -x2241 -x2240 -x2239 -x2238 -x2237 x2236 -x2235 -x2234 -x2233 -x2232
423.18/424.92 v -x2231 -x2230 -x2229 -x2228 x2227 -x2226 -x2225 x2224 -x2223 -x2222 -x2221 -x2220 -x2219 x2218 -x2217 -x2216 -x2215 -x2214
423.18/424.92 v -x2213 x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 x2204 -x2203 -x2202 -x2201 -x2200 -x2199 x2198 -x2197 -x2196 -x2195
423.18/424.92 v x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 -x2187 -x2186 -x2185 -x2184 -x2183 x2182 -x2181 -x2180 -x2179 -x2178 -x2177
423.18/424.92 v x2176 -x2175 -x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 -x2167 -x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159
423.18/424.92 v -x2158 -x2157 x2156 -x2155 -x2154 -x2153 -x2152 -x2151 x2150 -x2149 -x2148 -x2147 x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140
423.18/424.92 v -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 -x2123 -x2122
423.18/424.92 v -x2121 x2120 -x2119 -x2118 -x2117 -x2116 -x2115 x2114 -x2113 -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 -x2105 x2104
423.18/424.92 v -x2103 -x2102 -x2101 -x2100 -x2099 x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 x2090 -x2089 -x2088 -x2087 x2086
423.18/424.92 v -x2085 -x2084 -x2083 -x2082 -x2081 x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 x2072 -x2071 -x2070 -x2069 -x2068 -x2067
423.18/424.92 v -x2066 x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051 x2050 -x2049
423.18/424.92 v -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 x2042 -x2041 -x2040 -x2039 x2038 -x2037 -x2036 -x2035 -x2034 -x2033 x2032 -x2031
423.18/424.92 v -x2030 -x2029 -x2028 -x2027 x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 x2018 -x2017 -x2016 -x2015 -x2014 -x2013
423.18/424.92 v x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 x1994
423.18/424.92 v -x1993 -x1992 -x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976
423.18/424.92 v x1975 -x1974 -x1973 x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 x1964 -x1963 -x1962 -x1961 -x1960 -x1959 x1958
423.18/424.92 v -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 -x1949 x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 x1940 -x1939
423.18/424.92 v -x1938 -x1937 x1936 -x1935 -x1934 -x1933 -x1932 -x1931 x1930 -x1929 -x1928 -x1927 -x1926 -x1925 x1924 -x1923 -x1922 -x1921
423.18/424.92 v -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 -x1913 -x1912 -x1911 x1910 -x1909 -x1908 -x1907 x1906 -x1905 -x1904 -x1903
423.18/424.92 v -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 x1888 -x1887 -x1886 -x1885 -x1884
423.18/424.92 v -x1883 -x1882 -x1881 x1880 -x1879 -x1878 -x1877 x1876 -x1875 -x1874 -x1873 -x1872 -x1871 x1870 -x1869 -x1868 -x1867 -x1866
423.18/424.92 v -x1865 x1864 -x1863 -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852 -x1851 -x1850 -x1849 -x1848
423.18/424.92 v -x1847 -x1846 -x1845 x1844 -x1843 -x1842 -x1841 x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830
423.18/424.92 v -x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 x1820 -x1819 -x1818 -x1817 x1816 -x1815 -x1814 -x1813 -x1812 -x1811
423.18/424.92 v x1810 -x1809 -x1808 -x1807 -x1806 -x1805 x1804 -x1803 -x1802 -x1801 -x1800 -x1799 x1798 -x1797 -x1796 -x1795 -x1794 -x1793
423.18/424.92 v x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 x1784 -x1783 -x1782 -x1781 -x1780 -x1779 x1778 -x1777 -x1776 -x1775
423.18/424.92 v -x1774 -x1773 x1772 -x1771 -x1770 -x1769 -x1768 -x1767 x1766 -x1765 -x1764 -x1763 -x1762 -x1761 x1760 -x1759 -x1758 -x1757 -x1756
423.18/424.92 v -x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741 -x1740 -x1739 -x1738
423.18/424.92 v -x1737 x1736 -x1735 -x1734 -x1733 x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 x1724 -x1723 -x1722 -x1721 x1720
423.18/424.92 v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702
423.18/424.92 v -x1701 x1700 -x1699 -x1698 -x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 -x1690 -x1689 x1688 -x1687 -x1686 -x1685 x1684 -x1683
423.18/424.92 v -x1682 -x1681 -x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 x1670 -x1669 -x1668 -x1667 -x1666 -x1665
423.18/424.92 v x1664 -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647
423.18/424.92 v x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628
423.18/424.92 v -x1627 -x1626 -x1625 x1624 -x1623 -x1622 -x1621 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610
423.18/424.92 v -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 -x1602 -x1601 x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592
423.18/424.92 v -x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 -x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573
423.18/424.92 v -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 -x1557 -x1556 -x1555
423.18/424.92 v -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 x1538 -x1537
423.18/424.92 v -x1536 -x1535 -x1534 -x1533 x1532 -x1531 -x1530 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 x1522 -x1521 -x1520 -x1519
423.18/424.92 v -x1518 -x1517 x1516 -x1515 -x1514 -x1513 -x1512 -x1511 x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500
423.18/424.92 v -x1499 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482
423.18/424.92 v -x1481 -x1480 -x1479 x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464
423.18/424.92 v -x1463 -x1462 -x1461 x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445
423.18/424.92 v -x1444 -x1443 x1442 -x1441 -x1440 -x1439 x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 x1430 -x1429 -x1428 -x1427
423.18/424.92 v x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 x1412 -x1411 -x1410 -x1409
423.18/424.92 v -x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391
423.18/424.92 v x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372
423.18/424.92 v -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
423.18/424.92 v -x1353 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 x1345 -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
423.18/424.92 v -x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 x1328 -x1327 -x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318 -x1317
423.18/424.92 v -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300 -x1299
423.18/424.92 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 x1282 -x1281
423.18/424.92 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262
423.18/424.92 v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244
423.18/424.92 v -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 x1228 -x1227 -x1226
423.18/424.92 v -x1225 -x1224 -x1223 x1222 -x1221 -x1220 -x1219 -x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 x1208
423.18/424.92 v -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189
423.18/424.92 v -x1188 -x1187 -x1186 -x1185 x1184 -x1183 -x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171
423.18/424.92 v -x1170 -x1169 x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 x1154 -x1153
423.18/424.92 v -x1152 -x1151 -x1150 -x1149 x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 x1137 -x1136 -x1135 -x1134
423.18/424.92 v -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116
423.18/424.92 v -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098
423.18/424.92 v -x1097 -x1096 -x1095 -x1094 x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 -x1080
423.18/424.92 v -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 x1061
423.18/424.92 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043
423.18/424.92 v -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025
423.18/424.92 v -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
423.18/424.92 v -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 x986
423.18/424.92 v -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965
423.18/424.92 v -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943
423.18/424.92 v -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 x928 -x927 -x926 -x925 -x924 -x923 -x922
423.18/424.92 v x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900
423.18/424.92 v -x899 -x898 -x897 x896 -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
423.18/424.92 v x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858
423.18/424.92 v -x857 -x856 -x855 x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836
423.18/424.92 v -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815
423.18/424.92 v -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793
423.18/424.92 v -x792 -x791 x790 -x789 -x788 -x787 -x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772
423.18/424.92 v -x771 x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750
423.18/424.92 v -x749 x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 x730 -x729
423.18/424.92 v -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 x709 -x708
423.18/424.92 v -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 -x699 x698 -x697 -x696 -x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 x686
423.18/424.92 v -x685 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665
423.18/424.92 v x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643
423.18/424.92 v -x642 -x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 x622
423.18/424.92 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600
423.18/424.92 v -x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 x580 -x579
423.18/424.92 v -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558
423.18/424.92 v -x557 -x556 x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 x536
423.18/424.92 v -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515
423.18/424.92 v -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 x494 -x493
423.18/424.92 v -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472
423.18/424.92 v -x471 x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450
423.18/424.92 v -x449 -x448 -x447 x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 x430 -x429
423.18/424.92 v -x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408
423.18/424.92 v -x407 x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386
423.18/424.92 v -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 x370 -x369 -x368 -x367 -x366 -x365
423.18/424.92 v x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343
423.18/424.92 v -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 x322
423.18/424.92 v -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300
423.18/424.92 v -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 x280 -x279
423.18/424.92 v -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258
423.18/424.92 v -x257 -x256 -x255 x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 x239 -x238 -x237 -x236
423.18/424.92 v -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215
423.18/424.92 v x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193
423.18/424.92 v -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 x173 -x172
423.18/424.92 v -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150
423.18/424.92 v -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129
423.18/424.92 v -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108
423.18/424.92 v -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83
423.18/424.92 v -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 x58 -x57
423.18/424.92 v -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32
423.18/424.92 v -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5
423.18/424.92 v -x4 -x3 x2 -x1
423.18/424.92 c SCIP Status : problem is solved [optimal solution found]
423.18/424.92 c Total Time : 424.70
423.18/424.92 c solving : 424.70
423.18/424.92 c presolving : 180.01 (included in solving)
423.18/424.92 c reading : 0.52 (included in solving)
423.18/424.92 c copying : 0.56 (3 #copies) (minimal 0.18, maximal 0.20, average 0.19)
423.18/424.92 c Original Problem :
423.18/424.92 c Problem name : HOME/instance-4456632-1721722549.wbo
423.18/424.92 c Variables : 131390 (131390 binary, 0 integer, 0 implicit integer, 0 continuous)
423.18/424.92 c Constraints : 251781 initial, 251781 maximal
423.18/424.93 c Objective : minimize, 125390 non-zeros (abs.min = 1, abs.max = 791)
423.18/424.93 c Presolved Problem :
423.18/424.93 c Problem name : t_HOME/instance-4456632-1721722549.wbo
423.18/424.93 c Variables : 9950 (9950 binary, 0 integer, 0 implicit integer, 0 continuous)
423.18/424.93 c Constraints : 126416 initial, 126913 maximal
423.18/424.93 c Objective : minimize, 3950 non-zeros (abs.min = 1, abs.max = 1)
423.18/424.93 c Nonzeros : 382270 constraint, 14390 clique table
423.18/424.93 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
423.18/424.93 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c domcol : 0.00 0.00 159 0 0 0 0 0 0 0 0 0
423.18/424.93 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
423.18/424.93 c gateextraction : 4.20 0.00 159 0 0 0 0 0 0 0 0 0
423.18/424.93 c implics : 0.04 0.00 160 0 0 0 0 0 0 0 0 0
423.18/424.93 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
423.18/424.93 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c trivial : 0.06 0.00 162 0 0 0 0 0 0 0 0 0
423.18/424.93 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c dualfix : 0.05 0.00 162 0 0 0 0 0 0 0 0 0
423.18/424.93 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c probing : 8.90 0.00 159 0 3950 0 0 0 0 0 0 0
423.18/424.93 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
423.18/424.93 c symmetry : 0.21 0.00 1 0 0 0 0 0 0 0 0 0
423.18/424.93 c vbounds : 0.05 0.00 16 0 0 0 0 0 0 0 0 0
423.18/424.93 c knapsack : 0.01 0.00 477 0 0 0 0 0 0 0 0 0
423.18/424.93 c setppc : 0.24 0.00 477 0 0 0 0 0 0 0 0 0
423.18/424.93 c linear : 1.34 0.02 322 121440 0 0 125390 0 0 0 0 0
423.18/424.93 c logicor : 163.45 0.06 477 0 0 0 0 0 0 0 0 0
423.18/424.93 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c indicator : 0.27 0.00 160 121440 0 0 121440 0 125365 0 0 0
423.18/424.93 c components : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
423.18/424.93 c root node : - - - 8905 - - 8905 - - - - -
423.18/424.93 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
423.18/424.93 c benderslp : 0 0 0 0 363 0 0 608 0 0 0 0 0 0 0
423.18/424.93 c integral : 0 0 0 0 363 0 0 608 0 0 296 0 0 329 466
423.18/424.93 c knapsack : 1 1 0 55708 0 0 0 602 1 1 0 0 0 0 0
423.18/424.93 c setppc : 1000+ 1240 18 52788 0 0 0 600 1808 363 4259 1 0 0 0
423.18/424.93 c linear : 3950 3950 18 52849 0 0 0 599 1499 2 13591 0 0 0 0
423.18/424.93 c logicor : 121440+ 121697 18 17885 0 0 0 13 8886 9 3539 4 1 0 0
423.18/424.93 c benders : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
423.18/424.93 c indicator : 25 25 120 56077 0 0 0 13 0 0 0 0 0 0 0
423.18/424.93 c fixedvar : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
423.18/424.93 c countsols : 0 0 0 0 0 0 0 15 0 0 0 0 0 0 0
423.18/424.93 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
423.18/424.93 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c integral : 169.68 0.00 0.00 0.00 169.58 0.00 0.00 0.10 0.00 0.00
423.18/424.93 c knapsack : 0.15 0.00 0.00 0.10 0.00 0.00 0.00 0.02 0.00 0.02
423.18/424.93 c setppc : 0.34 0.00 0.00 0.25 0.00 0.00 0.00 0.06 0.00 0.03
423.18/424.93 c linear : 0.52 0.02 0.19 0.09 0.00 0.00 0.00 0.20 0.00 0.02
423.18/424.93 c logicor : 0.85 0.06 0.20 0.35 0.00 0.00 0.00 0.13 0.00 0.11
423.18/424.93 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c indicator : 1.08 0.00 0.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c fixedvar : 0.13 0.01 0.00 0.00 0.00 0.00 0.00 0.12 0.00 0.00
423.18/424.93 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c Propagators : #Propagate #ResProp Cutoffs DomReds
423.18/424.93 c dualfix : 2 0 0 0
423.18/424.93 c genvbounds : 0 0 0 0
423.18/424.93 c nlobbt : 0 0 0 0
423.18/424.93 c obbt : 0 0 0 0
423.18/424.93 c probing : 0 0 0 0
423.18/424.93 c pseudoobj : 1138 0 0 0
423.18/424.93 c redcost : 75 0 0 10492
423.18/424.93 c rootredcost : 5 0 0 4321
423.18/424.93 c symmetry : 0 0 0 0
423.18/424.93 c vbounds : 15800 0 0 0
423.18/424.93 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
423.18/424.93 c dualfix : 0.06 0.00 0.05 0.00 0.00 0.00
423.18/424.93 c genvbounds : 0.01 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
423.18/424.93 c probing : 8.90 0.00 8.90 0.00 0.00 0.00
423.18/424.93 c pseudoobj : 0.03 0.00 0.00 0.02 0.00 0.00
423.18/424.93 c redcost : 0.04 0.00 0.00 0.04 0.00 0.00
423.18/424.93 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
423.18/424.93 c symmetry : 0.26 0.00 0.21 0.01 0.00 0.05
423.18/424.93 c vbounds : 0.08 0.00 0.05 0.02 0.00 0.01
423.18/424.93 c Symmetry :
423.18/424.93 c orbitopal red. : 0 reductions applied, 0 cutoffs
423.18/424.93 c orbital reduction: 0 reductions applied, 0 cutoffs
423.18/424.93 c lexicographic red: 0 reductions applied, 0 cutoffs
423.18/424.93 c shadow tree time : 0.00 s
423.18/424.93 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
423.18/424.93 c propagation : 0.02 374 372 - 684 231.2 99 3.6 - - -
423.18/424.93 c infeasible LP : 0.00 1 2 - 1 1.0 0 0.0 1 1.0 0
423.18/424.93 c bound exceed. LP : 0.05 9 6 - 188 318.3 10 3.0 3 4.7 20
423.18/424.93 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
423.18/424.93 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
423.18/424.93 c applied globally : 0.00 - - 1 521 4.0 - - 4 - -
423.18/424.93 c applied locally : - - - 0 0 0.0 - - 0 - -
423.18/424.93 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
423.18/424.93 c cut pool : 0.19 - 236 35 - - 5951 25268 - - - - - (maximal pool size: 4156)
423.18/424.93 c aggregation : 1.20 0.00 118 18 0 0 0 0 0 0 0 0 0
423.18/424.93 c > cmir : - - - - - - - 0 0 0 0 0 -
423.18/424.93 c > flowcover : - - - - - - - 0 0 0 0 0 -
423.18/424.93 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
423.18/424.93 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c clique : 1.53 0.00 18 18 0 0 0 0 0 0 0 0 0
423.18/424.93 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c gomory : 40.42 0.00 78 10 0 0 5410 23766 0 512 512 0 0
423.18/424.93 c > gomorymi : - - - - - - - 8938 0 104 104 0 -
423.18/424.93 c > strongcg : - - - - - - - 14828 0 408 408 0 -
423.18/424.93 c impliedbounds : 0.08 0.00 118 18 0 0 49 122 0 72 72 0 0
423.18/424.93 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c mcf : 0.13 0.00 1 1 0 0 0 0 0 0 0 0 0
423.18/424.93 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c multilinear : 0.00 0.00 48 18 0 0 0 0 0 0 0 0 0
423.18/424.93 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c rapidlearning : 0.10 0.00 0 0 0 0 0 0 0 0 0 0 0
423.18/424.93 c rlt : 0.00 0.00 26 10 0 0 0 0 0 0 0 0 0
423.18/424.93 c zerohalf : 0.97 0.00 86 18 0 0 492 1380 0 600 600 0 0
423.18/424.93 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
423.18/424.93 c hybrid : 0.02 0.00 141 18 1185 0 24088 269 0 2812
423.18/424.93 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c Pricers : ExecTime SetupTime Calls Vars
423.18/424.93 c problem variables: 0.00 - 0 0
423.18/424.93 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
423.18/424.93 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c random : 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c relpscost : 169.58 0.00 363 0 0 0 296 0 329 466
423.18/424.93 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
423.18/424.93 c Primal Heuristics : ExecTime SetupTime Calls Found Best
423.18/424.93 c LP solutions : 0.00 - - 0 0
423.18/424.93 c relax solutions : 0.00 - - 0 0
423.18/424.93 c pseudo solutions : 0.00 - - 0 0
423.18/424.93 c strong branching : 0.29 - - 0 0
423.18/424.93 c actconsdiving : 0.00 0.00 0 0 0
423.18/424.93 c adaptivediving : 0.00 0.00 1 0 0
423.18/424.93 c alns : 1.03 0.00 2 3 3
423.18/424.93 c bound : 0.00 0.00 0 0 0
423.18/424.93 c clique : 0.40 0.00 1 1 1
423.18/424.93 c coefdiving : 0.00 0.00 0 0 0
423.18/424.93 c completesol : 0.00 0.00 0 0 0
423.18/424.93 c conflictdiving : 0.78 0.00 1 0 0
423.18/424.93 c crossover : 0.00 0.00 0 0 0
423.18/424.93 c dins : 0.00 0.00 0 0 0
423.18/424.93 c distributiondivin: 0.25 0.00 1 0 0
423.18/424.93 c dps : 0.00 0.00 0 0 0
423.18/424.93 c dualval : 0.00 0.00 0 0 0
423.18/424.93 c farkasdiving : 0.00 0.00 0 0 0
423.18/424.93 c feasjump : 0.00 0.00 0 0 0
423.18/424.93 c feaspump : 1.68 0.00 1 0 0
423.18/424.93 c fixandinfer : 0.00 0.00 0 0 0
423.18/424.93 c fracdiving : 0.28 0.00 1 1 1
423.18/424.93 c gins : 0.01 0.00 0 0 0
423.18/424.93 c guideddiving : 0.00 0.00 0 0 0
423.18/424.93 c indcoefdiving : 0.00 0.00 0 0 0
423.18/424.93 c indicator : 0.00 0.00 0 0 0
423.18/424.93 c indicatordiving : 0.00 0.00 0 0 0
423.18/424.93 c indoneopt : 0.60 0.00 5 1 0
423.18/424.93 c indrounding : 0.00 0.00 0 0 0
423.18/424.93 c indtwoopt : 0.00 0.00 0 0 0
423.18/424.93 c intdiving : 0.00 0.00 0 0 0
423.18/424.93 c intshifting : 0.00 0.00 0 0 0
423.18/424.93 c linesearchdiving : 0.00 0.00 0 0 0
423.18/424.93 c localbranching : 0.00 0.00 0 0 0
423.18/424.93 c locks : 0.16 0.00 1 0 0
423.18/424.93 c lpface : 0.64 0.00 1 0 0
423.18/424.93 c mpec : 0.00 0.00 0 0 0
423.18/424.93 c multistart : 0.00 0.00 0 0 0
423.18/424.93 c mutation : 0.00 0.00 0 0 0
423.18/424.93 c nlpdiving : 0.00 0.00 0 0 0
423.18/424.93 c objpscostdiving : 0.00 0.00 0 0 0
423.18/424.93 c octane : 0.00 0.00 0 0 0
423.18/424.93 c ofins : 0.00 0.00 0 0 0
423.18/424.93 c oneopt : 0.07 0.00 4 1 1
423.18/424.93 c padm : 0.00 0.00 0 0 0
423.18/424.93 c proximity : 0.00 0.00 0 0 0
423.18/424.93 c pscostdiving : 0.26 0.00 1 0 0
423.18/424.93 c randrounding : 0.04 0.00 21 0 0
423.18/424.93 c rens : 0.47 0.00 1 0 0
423.18/424.93 c reoptsols : 0.00 0.00 0 0 0
423.18/424.93 c repair : 0.00 0.00 0 0 0
423.18/424.93 c rins : 0.00 0.00 0 0 0
423.18/424.93 c rootsoldiving : 0.00 0.00 0 0 0
423.18/424.93 c rounding : 0.85 0.00 240 0 0
423.18/424.93 c scheduler : 0.00 0.00 0 0 0
423.18/424.93 c shiftandpropagate: 0.00 0.00 0 0 0
423.18/424.93 c shifting : 1.83 0.00 168 2 1
423.18/424.93 c simplerounding : 0.00 0.00 0 0 0
423.18/424.93 c smallcard : 0.00 0.00 0 0 0
423.18/424.93 c subnlp : 0.00 0.00 0 0 0
423.18/424.93 c trivial : 0.09 0.00 2 0 0
423.18/424.93 c trivialnegation : 0.00 0.00 0 0 0
423.18/424.93 c trustregion : 0.00 0.00 0 0 0
423.18/424.93 c trysol : 0.00 0.00 0 0 0
423.18/424.93 c twoopt : 0.00 0.00 0 0 0
423.18/424.93 c undercover : 0.00 0.00 0 0 0
423.18/424.93 c vbounds : 0.45 0.00 1 1 1
423.18/424.93 c veclendiving : 0.00 0.00 0 0 0
423.18/424.93 c zeroobj : 0.00 0.00 0 0 0
423.18/424.93 c zirounding : 0.11 0.00 233 0 0
423.18/424.93 c other solutions : - - - 0 -
423.18/424.93 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 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
423.18/424.93 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
423.18/424.93 c primal LP : 0.45 36 0 0.00 0.00 0.45 36
423.18/424.93 c dual LP : 11.51 518 28481 56.74 2474.40 0.23 16
423.18/424.93 c lex dual LP : 0.00 0 0 0.00 -
423.18/424.93 c barrier LP : 0.00 0 0 0.00 - 0.00 0
423.18/424.93 c resolve instable : 0.00 0 0 0.00 -
423.18/424.93 c diving/probing LP: 10.71 279 29269 104.91 2732.94
423.18/424.93 c strong branching : 98.95 3119 111336 35.70 1125.14 - - 509
423.18/424.93 c (at root node) : - 19 602 31.68 -
423.18/424.93 c conflict analysis: 0.03 3 20 6.67 789.61
423.18/424.93 c B&B Tree :
423.18/424.93 c number of runs : 1
423.18/424.93 c nodes : 252 (233 internal, 19 leaves)
423.18/424.93 c feasible leaves : 0
423.18/424.93 c infeas. leaves : 16
423.18/424.93 c objective leaves : 3
423.18/424.93 c nodes (total) : 252 (233 internal, 19 leaves)
423.18/424.93 c nodes left : 0
423.18/424.93 c max depth : 20
423.18/424.93 c max depth (total): 20
423.18/424.93 c backtracks : 19 (7.5%)
423.18/424.93 c early backtracks : 0 (0.0%)
423.18/424.93 c nodes exc. ref. : 0 (0.0%)
423.18/424.93 c delayed cutoffs : 1
423.18/424.93 c repropagations : 62 (35 domain reductions, 1 cutoffs)
423.18/424.93 c avg switch length: 2.50
423.18/424.93 c switching time : 0.77
423.18/424.93 c Root Node :
423.18/424.93 c First LP value : +1.47000000000000e+01
423.18/424.93 c First LP Iters : 5160 (7987.81 Iter/sec)
423.18/424.93 c First LP Time : 0.65
423.18/424.93 c Final Dual Bound : +1.90000000000000e+01
423.18/424.93 c Final Root Iters : 6326
423.18/424.93 c Root LP Estimate : +1.87906804640844e+01
423.18/424.93 c Solution :
423.18/424.93 c Solutions found : 10 (8 improvements)
423.18/424.93 c First Solution : +7.20000000000000e+02 (in run 1, after 1 nodes, 181.34 seconds, depth 3356, found by <clique>)
423.18/424.93 c Gap First Sol. : infinite
423.18/424.93 c Gap Last Sol. : 5.56 %
423.18/424.93 c Primal Bound : +1.90000000000000e+01 (in run 1, after 250 nodes, 424.04 seconds, depth 10, found by <shifting>)
423.18/424.93 c Dual Bound : +1.90000000000000e+01
423.18/424.93 c Gap : 0.00 %
423.18/424.93 c Integrals : Total Avg%
423.18/424.93 c primal-dual : 39745.07 93.58
423.18/424.93 c primal-ref : - - (not evaluated)
423.18/424.93 c dual-ref : - - (not evaluated)
423.79/425.56 c Time complete: 423.858.
OK 19
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: 63931 MiB (41114 MiB free)
memory of node 1: 64510 MiB (43663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456632-1721722549/watcher-4456632-1721722549 -o /tmp/evaluation-result-4456632-1721722549/solver-4456632-1721722549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88165 --watchdog 3760 pbscip -f HOME/instance-4456632-1721722549.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=91550, runsolver pid=91547
[startup+0.100414 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86760588/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=106864 memory=66164 CPUtime=0.09 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 13639 0 0 0 8 1 0 0 20 0 1 0 8784135 109428736 16541 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 26716 16541 3242 3540 0 14973 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106864 KiB
Current children cumulated memory: 66164 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86719764/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=147296 memory=106912 CPUtime=0.19 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 23841 0 0 0 17 2 0 0 20 0 1 0 8784135 150831104 26728 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 36824 26728 3242 3540 0 25081 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147296 KiB
Current children cumulated memory: 106912 KiB
[startup+0.305711 s]*
/proc/loadavg: 4.14 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86681684/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=186204 memory=145780 CPUtime=0.3 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 33575 0 0 0 26 4 0 0 20 0 1 0 8784135 190672896 36445 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 46551 36445 3242 3540 0 34808 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 186204 KiB
Current children cumulated memory: 145780 KiB
[startup+0.700243 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86606368/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=421640 memory=381800 CPUtime=0.69 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 93570 0 0 0 57 12 0 0 20 0 1 0 8784135 431759360 95450 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 105410 95450 3561 3540 0 93667 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 421640 KiB
Current children cumulated memory: 381800 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 91551
/proc/meminfo: memFree=86312976/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=812640 memory=766432 CPUtime=1.48 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 188682 0 0 0 124 24 0 0 20 0 1 0 8784135 832143360 191608 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 203160 191608 3593 3540 0 191417 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 812640 KiB
Current children cumulated memory: 766432 KiB
[startup+3.10577 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 91551
/proc/meminfo: memFree=85617900/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1003932 memory=957420 CPUtime=3.09 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 234850 0 0 0 278 31 0 0 20 0 1 0 8784135 1028026368 239355 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 250983 239355 3609 3540 0 239240 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1003932 KiB
Current children cumulated memory: 957420 KiB
[startup+6.30025 s]
/proc/loadavg: 4.13 4.12 4.09 4/248 91584
/proc/meminfo: memFree=88921048/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1003932 memory=957864 CPUtime=6.27 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 234931 0 0 0 596 31 0 0 20 0 1 0 8784135 1028026368 239466 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 250983 239466 3657 3540 0 239240 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1003932 KiB
Current children cumulated memory: 957864 KiB
[startup+12.7002 s]
/proc/loadavg: 3.96 4.08 4.08 4/248 91584
/proc/meminfo: memFree=87837596/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1003932 memory=957864 CPUtime=12.65 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 234934 0 0 0 1233 32 0 0 20 0 1 0 8784135 1028026368 239466 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 250983 239466 3657 3540 0 239240 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1003932 KiB
Current children cumulated memory: 957864 KiB
[startup+25.5003 s]
/proc/loadavg: 3.81 4.04 4.07 4/248 91588
/proc/meminfo: memFree=88296052/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1003932 memory=957864 CPUtime=25.41 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 234938 0 0 0 2508 33 0 0 20 0 1 0 8784135 1028026368 239466 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 250983 239466 3657 3540 0 239240 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1003932 KiB
Current children cumulated memory: 957864 KiB
[startup+51.1056 s]
/proc/loadavg: 3.61 3.97 4.04 4/248 91591
/proc/meminfo: memFree=86978900/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1003932 memory=957864 CPUtime=50.93 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 234942 0 0 0 5059 34 0 0 20 0 1 0 8784135 1028026368 239466 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 250983 239466 3657 3540 0 239240 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1003932 KiB
Current children cumulated memory: 957864 KiB
[startup+102.3 s]
/proc/loadavg: 2.67 3.65 3.93 3/241 91629
/proc/meminfo: memFree=97177788/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1003932 memory=957864 CPUtime=101.95 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 234946 0 0 0 10160 35 0 0 20 0 1 0 8784135 1028026368 239466 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 250983 239466 3657 3540 0 239240 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1003932 KiB
Current children cumulated memory: 957864 KiB
[startup+162.3 s]
/proc/loadavg: 2.29 3.36 3.81 3/241 91639
/proc/meminfo: memFree=97050252/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1004956 memory=958852 CPUtime=161.73 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 235209 0 0 0 16137 36 0 0 20 0 1 0 8784135 1029074944 239713 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 251239 239713 3657 3540 0 239496 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1004956 KiB
Current children cumulated memory: 958852 KiB
[startup+222.3 s]
/proc/loadavg: 2.20 3.14 3.70 3/241 91650
/proc/meminfo: memFree=96649664/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1649816 memory=1359064 CPUtime=221.48 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 332658 0 0 0 22095 53 0 0 20 0 1 0 8784135 1689411584 339766 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 412454 339766 3975 3540 0 400711 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1649816 KiB
Current children cumulated memory: 1359064 KiB
[startup+282.3 s]
/proc/loadavg: 2.13 2.95 3.60 3/243 91665
/proc/meminfo: memFree=96646752/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1710092 memory=1361112 CPUtime=281.22 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 332678 0 0 0 28068 54 0 0 20 0 1 0 8784135 1751134208 340278 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 427523 340278 3975 3540 0 415780 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 1710092 KiB
Current children cumulated memory: 1361112 KiB
[startup+342.3 s]
/proc/loadavg: 2.16 2.80 3.51 3/243 91676
/proc/meminfo: memFree=96615828/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=1804944 memory=1361112 CPUtime=340.95 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 332706 0 0 0 34041 54 0 0 20 0 1 0 8784135 1848262656 340278 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 451236 340278 3975 3540 0 439493 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 1804944 KiB
Current children cumulated memory: 1361112 KiB
[startup+402.3 s]
/proc/loadavg: 2.11 2.67 3.42 3/243 91687
/proc/meminfo: memFree=96441564/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2084412 memory=1534064 CPUtime=400.69 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 375422 0 0 0 40008 61 0 0 20 0 1 0 8784135 2134437888 383516 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 521103 383516 3992 3540 0 509360 0
Current children cumulated CPU time: 400.69 s
Current children cumulated vsize: 2084412 KiB
Current children cumulated memory: 1534064 KiB
[startup+425.606 s]
# the end of solver process 91550 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=423.197 s, system=0.701757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.10 2.66 3.41 3/243 91688
/proc/meminfo: memFree=96441440/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2086876 memory=1536784 CPUtime=407.96 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 376112 0 0 0 40734 62 0 0 20 0 1 0 8784135 2136961024 384196 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 521719 384196 4008 3540 0 509976 0
Current children cumulated CPU time: 407.96 s
Current children cumulated vsize: 2086876 KiB
Current children cumulated memory: 1536784 KiB
[startup+416 s]*
/proc/loadavg: 2.10 2.65 3.40 3/243 91691
/proc/meminfo: memFree=96438620/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2086876 memory=1536784 CPUtime=414.34 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 376124 0 0 0 41372 62 0 0 20 0 1 0 8784135 2136961024 384196 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 521719 384196 4008 3540 0 509976 0
Current children cumulated CPU time: 414.34 s
Current children cumulated vsize: 2086876 KiB
Current children cumulated memory: 1536784 KiB
[startup+422.4 s]
/proc/loadavg: 2.08 2.63 3.39 3/243 91692
/proc/meminfo: memFree=96356984/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2192192 memory=1618324 CPUtime=420.69 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 396501 0 0 0 42005 64 0 0 20 0 1 0 8784135 2244804608 404581 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 548048 404581 4008 3540 0 536305 0
Current children cumulated CPU time: 420.69 s
Current children cumulated vsize: 2192192 KiB
Current children cumulated memory: 1618324 KiB
[startup+424 s]*
/proc/loadavg: 2.08 2.63 3.39 3/243 91693
/proc/meminfo: memFree=96356912/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2192192 memory=1618324 CPUtime=422.29 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 396501 0 0 0 42165 64 0 0 20 0 1 0 8784135 2244804608 404581 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 548048 404581 4008 3540 0 536305 0
Current children cumulated CPU time: 422.29 s
Current children cumulated vsize: 2192192 KiB
Current children cumulated memory: 1618324 KiB
[startup+424.8 s]
/proc/loadavg: 2.08 2.63 3.39 3/243 91693
/proc/meminfo: memFree=96356912/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2192192 memory=1618420 CPUtime=423.08 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 396559 0 0 0 42244 64 0 0 20 0 1 0 8784135 2244804608 404605 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 548048 404605 4008 3540 0 536305 0
Current children cumulated CPU time: 423.08 s
Current children cumulated vsize: 2192192 KiB
Current children cumulated memory: 1618420 KiB
[startup+425.2 s]
/proc/loadavg: 2.08 2.63 3.39 3/243 91693
/proc/meminfo: memFree=96356800/131524600 swapFree=131071996/131071996
[pid=91550] ppid=91547 vsize=2187808 memory=1614444 CPUtime=423.48 cores=5,7
/proc/91550/stat : 91550 (pbscip) R 91547 91550 88152 0 -1 4194304 396559 0 0 0 42284 64 0 0 20 0 1 0 8784135 2240315392 403611 134679101440 4194304 18693293 140730277249824 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 53235712 140730277254147 140730277254246 140730277254246 140730277261262 0
/proc/91550/statm: 546952 403611 4008 3540 0 535209 0
Current children cumulated CPU time: 423.48 s
Current children cumulated vsize: 2187808 KiB
Current children cumulated memory: 1614444 KiB
[startup+425.6 s]*
/proc/loadavg: 2.08 2.63 3.39 3/243 91693
/proc/meminfo: memFree=97950396/131524600 swapFree=131071996/131071996
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): 425.606
CPU time (s): 423.898
CPU user time (s): 423.197
CPU system time (s): 0.701757
CPU usage (%): 99.5988
Max. virtual memory (cumulated for all children) (KiB): 2192192
Max. memory (cumulated for all children) (KiB): 1618420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 423.197
system time used= 0.701757
maximum resident set size= 1618420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396567
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= 10
involuntary context switches= 290
# summary of solver processes directly reported to runsolver:
# pid: 91550
# total CPU time (s): 423.898
# total CPU user time (s): 423.197
# total CPU system time (s): 0.701757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.704806 second user time and 2.18932 second system time
The end
Begin job on nodeC023 at 2024-07-23 10:15:49 IDJOB=4456632 IDBENCH=144112 IDSOLVER=3038 FILE ID=nodeC023/4456632-1721722549 RUNJOBID= nodeC023-1721718429-88165 SLURM_JOB_ID= 7770414 Free space on /tmp= 889932 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/pedigree/normalized-pedck1000_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456632-1721722549/watcher-4456632-1721722549 -o /tmp/evaluation-result-4456632-1721722549/solver-4456632-1721722549 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721718429-88165 --watchdog 3760 pbscip -f HOME/instance-4456632-1721722549.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1c46f022378038623af46a7f02f30d6d RANDOM SEED=1219580956 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3666.026 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3675.561 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.966 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3600.356 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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 : 3666.051 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3673.443 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 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.169 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.85 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 : 3664.964 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 86812836 kB MemAvailable: 108091820 kB Buffers: 149100 kB Cached: 21864320 kB SwapCached: 0 kB Active: 1038624 kB Inactive: 42883084 kB Active(anon): 1536 kB Inactive(anon): 21944448 kB Active(file): 1037088 kB Inactive(file): 20938636 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23768 kB Writeback: 4 kB AnonPages: 21907956 kB Mapped: 133360 kB Shmem: 37720 kB KReclaimable: 285816 kB Slab: 393644 kB SReclaimable: 285816 kB SUnreclaim: 107828 kB KernelStack: 4064 kB PageTables: 52640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 23717728 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20288 kB HardwareCorrupted: 0 kB AnonHugePages: 5251072 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279252 kB DirectMap2M: 32000000 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 889996 MiB End job on nodeC023 at 2024-07-23 10:22:54