| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 338 | 3600.31 | 3609.92 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb |
| MD5SUM | 0cfe35c6a899c796e17247c8eb2f096e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 241 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 493167 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 493167 |
| Number of bits of the biggest sum of numbers | 19 |
| 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 RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.86/3.08 c #variables 10000 #constraints 656900 5.25/5.43 c bounds - >= 0 @ 2.19773 5.25/5.43 c rational objective 174.399 60.09/60.41 c bounds 6467 >= 0 @ 5.17047 60.09/60.41 c bounds 6255 >= 0 @ 5.17742 60.09/60.41 c bounds 6172 >= 0 @ 5.19346 60.09/60.41 c bounds 6132 >= 0 @ 5.19887 60.09/60.41 c bounds 6038 >= 0 @ 5.2044 60.09/60.41 c bounds 5924 >= 0 @ 5.21197 60.09/60.41 c bounds 5824 >= 0 @ 5.21747 60.09/60.41 c bounds 5802 >= 0 @ 5.23325 60.09/60.41 c bounds 5744 >= 0 @ 5.23797 60.09/60.41 c bounds 5669 >= 0 @ 5.24657 60.09/60.41 c bounds 5448 >= 0 @ 5.25268 60.09/60.41 c bounds 5399 >= 0 @ 5.25936 60.09/60.41 c bounds 5320 >= 0 @ 5.26649 60.09/60.41 c bounds 5263 >= 0 @ 5.28115 60.09/60.41 c bounds 5208 >= 0 @ 5.28551 60.09/60.41 c bounds 5206 >= 0 @ 5.2913 60.09/60.41 c bounds 5143 >= 0 @ 5.29845 60.09/60.41 c bounds 5137 >= 0 @ 5.30698 60.09/60.41 c bounds 5129 >= 0 @ 5.31317 60.09/60.41 c bounds 5121 >= 0 @ 5.32033 60.09/60.41 c bounds 5116 >= 0 @ 5.47608 60.09/60.41 c bounds 4993 >= 0 @ 5.4849 60.09/60.41 c bounds 4979 >= 0 @ 5.57362 60.09/60.41 c bounds 4965 >= 0 @ 5.58254 60.09/60.41 c bounds 4794 >= 0 @ 5.6148 60.09/60.41 c bounds 4744 >= 0 @ 5.62708 60.09/60.41 c bounds 4592 >= 0 @ 5.63231 60.09/60.41 c bounds 4591 >= 0 @ 5.65335 60.09/60.41 c bounds 4543 >= 0 @ 5.66496 60.09/60.41 c bounds 4442 >= 0 @ 5.67023 60.09/60.41 c bounds 4429 >= 0 @ 5.71652 60.09/60.41 c bounds 4364 >= 0 @ 5.72769 60.09/60.41 c bounds 4361 >= 0 @ 5.73541 60.09/60.41 c bounds 4360 >= 0 @ 5.74336 60.09/60.41 c bounds 4356 >= 0 @ 5.75411 60.09/60.41 c bounds 4293 >= 0 @ 5.76333 60.09/60.41 c bounds 4225 >= 0 @ 5.76934 60.09/60.41 c bounds 4189 >= 0 @ 5.80173 60.09/60.41 c bounds 4165 >= 0 @ 5.80809 60.09/60.41 c bounds 4056 >= 0 @ 5.81475 60.09/60.41 c bounds 4030 >= 0 @ 5.82191 60.09/60.41 c bounds 4009 >= 0 @ 5.83235 60.09/60.41 c bounds 3993 >= 0 @ 5.8397 60.09/60.41 c bounds 3987 >= 0 @ 5.84552 60.09/60.41 c bounds 3959 >= 0 @ 5.85205 60.09/60.41 c bounds 3923 >= 0 @ 5.85829 60.09/60.41 c bounds 3720 >= 0 @ 5.86603 60.09/60.41 c bounds 3706 >= 0 @ 6.18531 60.09/60.41 c bounds 3682 >= 0 @ 6.19398 60.09/60.41 c bounds 3597 >= 0 @ 6.19905 60.09/60.41 c bounds 3545 >= 0 @ 6.20659 60.09/60.41 c bounds 3541 >= 0 @ 6.21619 60.09/60.41 c bounds 3528 >= 0 @ 6.22404 60.09/60.41 c bounds 3462 >= 0 @ 6.2333 60.09/60.41 c bounds 3376 >= 0 @ 6.23904 60.09/60.41 c bounds 3253 >= 0 @ 6.2474 60.09/60.41 c bounds 3234 >= 0 @ 6.34942 60.09/60.41 c bounds 3205 >= 0 @ 6.36128 60.09/60.41 c bounds 3132 >= 0 @ 6.37013 60.09/60.41 c bounds 3086 >= 0 @ 6.37702 60.09/60.41 c bounds 3080 >= 0 @ 6.38493 60.09/60.41 c bounds 3048 >= 0 @ 6.39663 60.09/60.41 c bounds 3004 >= 0 @ 6.40679 60.09/60.41 c bounds 2972 >= 0 @ 6.41203 60.09/60.41 c bounds 2808 >= 0 @ 6.4223 60.09/60.41 c bounds 2793 >= 0 @ 6.4314 60.09/60.41 c bounds 2658 >= 0 @ 6.44198 60.09/60.41 c bounds 2637 >= 0 @ 7.071 60.09/60.41 c bounds 2561 >= 0 @ 7.17142 60.09/60.41 c bounds 2459 >= 0 @ 7.18142 60.09/60.41 c bounds 2439 >= 0 @ 7.19045 60.09/60.41 c bounds 2328 >= 0 @ 7.19714 60.09/60.41 c bounds 2321 >= 0 @ 7.20571 60.09/60.41 c bounds 2291 >= 0 @ 7.21605 60.09/60.41 c bounds 2138 >= 0 @ 7.22591 60.09/60.41 c bounds 1995 >= 0 @ 7.23569 60.09/60.41 c bounds 1994 >= 0 @ 7.25139 60.09/60.41 c bounds 1931 >= 0 @ 7.26141 60.09/60.41 c bounds 1900 >= 0 @ 7.27156 60.09/60.41 c bounds 1866 >= 0 @ 7.28221 60.09/60.41 c bounds 1687 >= 0 @ 7.29283 60.09/60.41 c bounds 1606 >= 0 @ 7.40733 60.09/60.41 c bounds 1445 >= 0 @ 7.42023 60.09/60.41 c bounds 1383 >= 0 @ 7.42891 60.09/60.41 c bounds 1347 >= 0 @ 7.43887 60.09/60.41 c bounds 1331 >= 0 @ 7.48692 60.09/60.41 c bounds 1302 >= 0 @ 7.49454 60.09/60.41 c bounds 1223 >= 0 @ 7.50685 60.09/60.41 c bounds 1219 >= 0 @ 7.62795 60.09/60.41 c bounds 1176 >= 0 @ 7.63725 60.09/60.41 c bounds 1083 >= 0 @ 7.64689 60.09/60.41 c bounds 1082 >= 0 @ 7.66137 60.09/60.41 c bounds 1075 >= 0 @ 7.85734 60.09/60.41 c bounds 1021 >= 0 @ 7.86971 60.09/60.41 c bounds 971 >= 0 @ 8.0364 60.09/60.41 c bounds 888 >= 0 @ 8.04927 60.09/60.41 c bounds 763 >= 0 @ 8.07846 60.09/60.41 c #Conflicts: 1000 | #Constraints: 658001 60.09/60.41 c bounds 755 >= 0 @ 8.85716 60.09/60.41 c bounds 752 >= 0 @ 8.87106 60.09/60.41 c bounds 740 >= 0 @ 8.88025 60.09/60.41 c bounds 734 >= 0 @ 9.01474 60.09/60.41 c bounds 665 >= 0 @ 9.08722 60.09/60.41 c bounds 612 >= 0 @ 9.10795 60.09/60.41 c bounds 512 >= 0 @ 9.16473 60.09/60.41 c #Conflicts: 2000 | #Constraints: 659008 60.09/60.41 c INPROCESSING 60.09/60.41 c GARBAGE COLLECT 60.09/60.41 c bounds 506 >= 0 @ 11.5144 60.09/60.41 c bounds 503 >= 0 @ 13.2086 60.09/60.41 c #Conflicts: 3000 | #Constraints: 658918 60.09/60.41 c #Conflicts: 4000 | #Constraints: 659918 60.09/60.41 c INPROCESSING 60.09/60.41 c GARBAGE COLLECT 60.09/60.41 c #Conflicts: 5000 | #Constraints: 659318 60.09/60.41 c #Conflicts: 6000 | #Constraints: 660318 60.09/60.41 c INPROCESSING 60.09/60.41 c GARBAGE COLLECT 60.09/60.41 c bounds 502 >= 0 @ 30.4983 60.09/60.41 c #Conflicts: 7000 | #Constraints: 659332 60.09/60.41 c #Conflicts: 8000 | #Constraints: 660345 60.09/60.41 c bounds 500 >= 0 @ 48.6921 60.09/60.41 c #Conflicts: 9000 | #Constraints: 661350 60.09/60.41 c INPROCESSING 60.09/60.41 c GARBAGE COLLECT 60.09/60.41 c rational objective 174.399 77.76/78.14 c #Conflicts: 10000 | #Constraints: 660038 77.76/78.14 c #Conflicts: 11000 | #Constraints: 661038 77.76/78.14 c #Conflicts: 12000 | #Constraints: 662038 77.76/78.14 c INPROCESSING 77.76/78.14 c rational objective 174.57 107.37/107.81 c #Conflicts: 13000 | #Constraints: 660479 107.37/107.81 c #Conflicts: 14000 | #Constraints: 661479 107.37/107.81 c #Conflicts: 15000 | #Constraints: 662479 107.37/107.81 c INPROCESSING 107.37/107.81 c GARBAGE COLLECT 107.37/107.81 c #Conflicts: 16000 | #Constraints: 660710 107.37/107.81 c #Conflicts: 17000 | #Constraints: 661710 107.37/107.81 c #Conflicts: 18000 | #Constraints: 662710 107.37/107.81 c INPROCESSING 107.37/107.81 c GARBAGE COLLECT 107.37/107.81 c rational objective 174.693 126.92/127.48 c #Conflicts: 19000 | #Constraints: 660741 126.92/127.48 c #Conflicts: 20000 | #Constraints: 661741 126.92/127.48 c #Conflicts: 21000 | #Constraints: 662741 126.92/127.48 c INPROCESSING 126.92/127.48 c GARBAGE COLLECT 126.92/127.48 c rational objective 174.723 148.47/149.05 c #Conflicts: 22000 | #Constraints: 660540 148.47/149.05 c #Conflicts: 23000 | #Constraints: 661540 148.47/149.05 c #Conflicts: 24000 | #Constraints: 662540 148.47/149.05 c #Conflicts: 25000 | #Constraints: 663540 148.47/149.05 c INPROCESSING 148.47/149.05 c GARBAGE COLLECT 148.47/149.05 c rational objective 174.755 168.51/169.15 c #Conflicts: 26000 | #Constraints: 661140 168.51/169.15 c #Conflicts: 27000 | #Constraints: 662140 168.51/169.15 c #Conflicts: 28000 | #Constraints: 663140 168.51/169.15 c #Conflicts: 29000 | #Constraints: 664140 168.51/169.15 c INPROCESSING 168.51/169.15 c GARBAGE COLLECT 168.51/169.15 c rational objective 175.334 191.03/191.75 c #Conflicts: 30000 | #Constraints: 661548 191.03/191.75 c #Conflicts: 31000 | #Constraints: 662548 191.03/191.75 c #Conflicts: 32000 | #Constraints: 663548 191.03/191.75 c #Conflicts: 33000 | #Constraints: 664548 191.03/191.75 c INPROCESSING 191.03/191.75 c GARBAGE COLLECT 191.03/191.75 c rational objective 175.335 220.95/221.71 c #Conflicts: 34000 | #Constraints: 661746 220.95/221.71 c #Conflicts: 35000 | #Constraints: 662746 220.95/221.71 c #Conflicts: 36000 | #Constraints: 663746 220.95/221.71 c #Conflicts: 37000 | #Constraints: 664746 220.95/221.71 c INPROCESSING 220.95/221.71 c GARBAGE COLLECT 220.95/221.71 c rational objective 175.335 278.89/279.88 c #Conflicts: 38000 | #Constraints: 661758 278.89/279.88 c #Conflicts: 39000 | #Constraints: 662758 278.89/279.88 c #Conflicts: 40000 | #Constraints: 663758 278.89/279.88 c bounds 382 >= 0 @ 232.389 278.89/279.88 c bounds 377 >= 0 @ 232.425 278.89/279.88 c bounds 376 >= 0 @ 232.452 278.89/279.88 c #Conflicts: 41000 | #Constraints: 664765 278.89/279.88 c INPROCESSING 278.89/279.88 c GARBAGE COLLECT 278.89/279.88 c #Conflicts: 42000 | #Constraints: 661560 278.89/279.88 c #Conflicts: 43000 | #Constraints: 662560 278.89/279.88 c #Conflicts: 44000 | #Constraints: 663560 278.89/279.88 c #Conflicts: 45000 | #Constraints: 664560 278.89/279.88 c #Conflicts: 46000 | #Constraints: 665560 278.89/279.88 c INPROCESSING 278.89/279.88 c GARBAGE COLLECT 278.89/279.88 c rational objective 175.335 374.02/375.26 c bounds 374 >= 0 @ 275.697 374.02/375.26 c #Conflicts: 47000 | #Constraints: 662166 374.02/375.26 c #Conflicts: 48000 | #Constraints: 663182 374.02/375.26 c #Conflicts: 49000 | #Constraints: 664193 374.02/375.26 c #Conflicts: 50000 | #Constraints: 665209 374.02/375.26 c bounds 372 >= 0 @ 359.11 374.02/375.26 c bounds 372 >= 5 @ 359.162 374.02/375.26 c bounds 372 >= 10 @ 359.483 374.02/375.26 c #Conflicts: 51000 | #Constraints: 666229 374.02/375.26 c INPROCESSING 374.02/375.26 c GARBAGE COLLECT 374.02/375.26 c rational objective 175.681 487.91/489.40 c #Conflicts: 52000 | #Constraints: 662593 487.91/489.40 c #Conflicts: 53000 | #Constraints: 663593 487.91/489.40 c #Conflicts: 54000 | #Constraints: 664593 487.91/489.40 c bounds 372 >= 15 @ 431.49 487.91/489.40 c #Conflicts: 55000 | #Constraints: 665602 487.91/489.40 c #Conflicts: 56000 | #Constraints: 666602 487.91/489.40 c INPROCESSING 487.91/489.40 c GARBAGE COLLECT 487.91/489.40 c rational objective 175.7 618.53/620.47 c #Conflicts: 57000 | #Constraints: 662783 618.53/620.47 c #Conflicts: 58000 | #Constraints: 663783 618.53/620.47 c #Conflicts: 59000 | #Constraints: 664783 618.53/620.47 c #Conflicts: 60000 | #Constraints: 665783 618.53/620.47 c #Conflicts: 61000 | #Constraints: 666783 618.53/620.47 c INPROCESSING 618.53/620.47 c GARBAGE COLLECT 618.53/620.47 c rational objective 175.7 804.01/806.46 c #Conflicts: 62000 | #Constraints: 662786 804.01/806.46 c #Conflicts: 63000 | #Constraints: 663794 804.01/806.46 c #Conflicts: 64000 | #Constraints: 664802 804.01/806.46 c bounds 371 >= 15 @ 639.735 804.01/806.46 c bounds 369 >= 15 @ 639.889 804.01/806.46 c #Conflicts: 65000 | #Constraints: 665832 804.01/806.46 c #Conflicts: 66000 | #Constraints: 666846 804.01/806.46 c INPROCESSING 804.01/806.46 c GARBAGE COLLECT 804.01/806.46 c bounds 369 >= 19 @ 740.4 804.01/806.46 c #Conflicts: 67000 | #Constraints: 662605 804.01/806.46 c #Conflicts: 68000 | #Constraints: 663605 804.01/806.46 c #Conflicts: 69000 | #Constraints: 664605 804.01/806.46 c #Conflicts: 70000 | #Constraints: 665605 804.01/806.46 c #Conflicts: 71000 | #Constraints: 666605 804.01/806.46 c #Conflicts: 72000 | #Constraints: 667605 804.01/806.46 c INPROCESSING 804.01/806.46 c GARBAGE COLLECT 804.01/806.46 c rational objective 175.7 1003.26/1006.26 c #Conflicts: 73000 | #Constraints: 663184 1003.26/1006.26 c #Conflicts: 74000 | #Constraints: 664198 1003.26/1006.26 c #Conflicts: 75000 | #Constraints: 665209 1003.26/1006.26 c #Conflicts: 76000 | #Constraints: 666222 1003.26/1006.26 c #Conflicts: 77000 | #Constraints: 667231 1003.26/1006.26 c #Conflicts: 78000 | #Constraints: 668240 1003.26/1006.26 c INPROCESSING 1003.26/1006.26 c GARBAGE COLLECT 1003.26/1006.26 c rational objective 175.768 1065.29/1068.42 c #Conflicts: 79000 | #Constraints: 663602 1065.29/1068.42 c #Conflicts: 80000 | #Constraints: 664602 1065.29/1068.42 c #Conflicts: 81000 | #Constraints: 665602 1065.29/1068.42 c #Conflicts: 82000 | #Constraints: 666602 1065.29/1068.42 c #Conflicts: 83000 | #Constraints: 667602 1065.29/1068.42 c #Conflicts: 84000 | #Constraints: 668602 1065.29/1068.42 c INPROCESSING 1065.29/1068.42 c GARBAGE COLLECT 1065.29/1068.42 c rational objective 175.773 1131.09/1134.43 c #Conflicts: 85000 | #Constraints: 663779 1131.09/1134.43 c #Conflicts: 86000 | #Constraints: 664779 1131.09/1134.43 c #Conflicts: 87000 | #Constraints: 665779 1131.09/1134.43 c #Conflicts: 88000 | #Constraints: 666779 1131.09/1134.43 c #Conflicts: 89000 | #Constraints: 667779 1131.09/1134.43 c #Conflicts: 90000 | #Constraints: 668779 1131.09/1134.43 c INPROCESSING 1131.09/1134.43 c GARBAGE COLLECT 1131.09/1134.43 c rational objective 175.773 1205.59/1209.11 c #Conflicts: 91000 | #Constraints: 663762 1205.59/1209.11 c #Conflicts: 92000 | #Constraints: 664762 1205.59/1209.11 c #Conflicts: 93000 | #Constraints: 665762 1205.59/1209.11 c #Conflicts: 94000 | #Constraints: 666762 1205.59/1209.11 c #Conflicts: 95000 | #Constraints: 667762 1205.59/1209.11 c #Conflicts: 96000 | #Constraints: 668762 1205.59/1209.11 c INPROCESSING 1205.59/1209.11 c GARBAGE COLLECT 1205.59/1209.11 c rational objective 175.773 1279.37/1283.13 c #Conflicts: 97000 | #Constraints: 663569 1279.37/1283.13 c #Conflicts: 98000 | #Constraints: 664569 1279.37/1283.13 c #Conflicts: 99000 | #Constraints: 665569 1279.37/1283.13 c #Conflicts: 100000 | #Constraints: 666569 1279.37/1283.13 c #Conflicts: 101000 | #Constraints: 667569 1279.37/1283.13 c #Conflicts: 102000 | #Constraints: 668569 1279.37/1283.13 c #Conflicts: 103000 | #Constraints: 669569 1279.37/1283.13 c INPROCESSING 1279.37/1283.13 c GARBAGE COLLECT 1279.37/1283.13 c rational objective 175.773 1363.82/1367.81 c #Conflicts: 104000 | #Constraints: 664168 1363.82/1367.81 c #Conflicts: 105000 | #Constraints: 665168 1363.82/1367.81 c #Conflicts: 106000 | #Constraints: 666168 1363.82/1367.81 c #Conflicts: 107000 | #Constraints: 667168 1363.82/1367.81 c #Conflicts: 108000 | #Constraints: 668168 1363.82/1367.81 c #Conflicts: 109000 | #Constraints: 669168 1363.82/1367.81 c #Conflicts: 110000 | #Constraints: 670168 1363.82/1367.81 c INPROCESSING 1363.82/1367.81 c GARBAGE COLLECT 1363.82/1367.81 c rational objective 175.773 1449.19/1453.45 c #Conflicts: 111000 | #Constraints: 664566 1449.19/1453.45 c #Conflicts: 112000 | #Constraints: 665566 1449.19/1453.45 c #Conflicts: 113000 | #Constraints: 666566 1449.19/1453.45 c #Conflicts: 114000 | #Constraints: 667566 1449.19/1453.45 c #Conflicts: 115000 | #Constraints: 668566 1449.19/1453.45 c #Conflicts: 116000 | #Constraints: 669566 1449.19/1453.45 c #Conflicts: 117000 | #Constraints: 670566 1449.19/1453.45 c INPROCESSING 1449.19/1453.45 c GARBAGE COLLECT 1449.19/1453.45 c rational objective 175.773 1535.85/1540.35 c #Conflicts: 118000 | #Constraints: 664771 1535.85/1540.35 c #Conflicts: 119000 | #Constraints: 665771 1535.85/1540.35 c #Conflicts: 120000 | #Constraints: 666771 1535.85/1540.35 c #Conflicts: 121000 | #Constraints: 667771 1535.85/1540.35 c #Conflicts: 122000 | #Constraints: 668771 1535.85/1540.35 c #Conflicts: 123000 | #Constraints: 669771 1535.85/1540.35 c #Conflicts: 124000 | #Constraints: 670771 1535.85/1540.35 c INPROCESSING 1535.85/1540.35 c GARBAGE COLLECT 1535.85/1540.35 c rational objective 175.773 1712.89/1717.83 c #Conflicts: 125000 | #Constraints: 664764 1712.89/1717.83 c #Conflicts: 126000 | #Constraints: 665778 1712.89/1717.83 c #Conflicts: 127000 | #Constraints: 666789 1712.89/1717.83 c #Conflicts: 128000 | #Constraints: 667800 1712.89/1717.83 c #Conflicts: 129000 | #Constraints: 668814 1712.89/1717.83 c #Conflicts: 130000 | #Constraints: 669822 1712.89/1717.83 c #Conflicts: 131000 | #Constraints: 670830 1712.89/1717.83 c bounds 367 >= 19 @ 1681.85 1712.89/1717.83 c bounds 367 >= 22 @ 1681.95 1712.89/1717.83 c INPROCESSING 1712.89/1717.83 c GARBAGE COLLECT 1712.89/1717.83 c rational objective 175.903 1822.98/1828.25 c #Conflicts: 132000 | #Constraints: 664588 1822.98/1828.25 c #Conflicts: 133000 | #Constraints: 665594 1822.98/1828.25 c #Conflicts: 134000 | #Constraints: 666598 1822.98/1828.25 c #Conflicts: 135000 | #Constraints: 667607 1822.98/1828.25 c #Conflicts: 136000 | #Constraints: 668614 1822.98/1828.25 c #Conflicts: 137000 | #Constraints: 669620 1822.98/1828.25 c #Conflicts: 138000 | #Constraints: 670627 1822.98/1828.25 c #Conflicts: 139000 | #Constraints: 671636 1822.98/1828.25 c INPROCESSING 1822.98/1828.25 c GARBAGE COLLECT 1822.98/1828.25 c rational objective 175.913 1933.28/1938.84 c #Conflicts: 140000 | #Constraints: 665196 1933.28/1938.84 c #Conflicts: 141000 | #Constraints: 666196 1933.28/1938.84 c #Conflicts: 142000 | #Constraints: 667203 1933.28/1938.84 c #Conflicts: 143000 | #Constraints: 668209 1933.28/1938.84 c #Conflicts: 144000 | #Constraints: 669217 1933.28/1938.84 c #Conflicts: 145000 | #Constraints: 670223 1933.28/1938.84 c #Conflicts: 146000 | #Constraints: 671230 1933.28/1938.84 c #Conflicts: 147000 | #Constraints: 672237 1933.28/1938.84 c INPROCESSING 1933.28/1938.84 c GARBAGE COLLECT 1933.28/1938.84 c rational objective 175.913 2048.89/2054.79 c #Conflicts: 148000 | #Constraints: 665607 2048.89/2054.79 c #Conflicts: 149000 | #Constraints: 666610 2048.89/2054.79 c #Conflicts: 150000 | #Constraints: 667614 2048.89/2054.79 c #Conflicts: 151000 | #Constraints: 668619 2048.89/2054.79 c #Conflicts: 152000 | #Constraints: 669621 2048.89/2054.79 c #Conflicts: 153000 | #Constraints: 670625 2048.89/2054.79 c #Conflicts: 154000 | #Constraints: 671631 2048.89/2054.79 c #Conflicts: 155000 | #Constraints: 672637 2048.89/2054.79 c INPROCESSING 2048.89/2054.79 c GARBAGE COLLECT 2048.89/2054.79 c rational objective 175.913 2189.33/2195.55 c #Conflicts: 156000 | #Constraints: 665802 2189.33/2195.55 c #Conflicts: 157000 | #Constraints: 666808 2189.33/2195.55 c #Conflicts: 158000 | #Constraints: 667812 2189.33/2195.55 c #Conflicts: 159000 | #Constraints: 668821 2189.33/2195.55 c #Conflicts: 160000 | #Constraints: 669823 2189.33/2195.55 c #Conflicts: 161000 | #Constraints: 670828 2189.33/2195.55 c #Conflicts: 162000 | #Constraints: 671834 2189.33/2195.55 c #Conflicts: 163000 | #Constraints: 672842 2189.33/2195.55 c INPROCESSING 2189.33/2195.55 c GARBAGE COLLECT 2189.33/2195.55 c rational objective 175.913 2306.55/2313.08 c #Conflicts: 164000 | #Constraints: 665802 2306.55/2313.08 c #Conflicts: 165000 | #Constraints: 666810 2306.55/2313.08 c #Conflicts: 166000 | #Constraints: 667819 2306.55/2313.08 c #Conflicts: 167000 | #Constraints: 668827 2306.55/2313.08 c #Conflicts: 168000 | #Constraints: 669832 2306.55/2313.08 c #Conflicts: 169000 | #Constraints: 670835 2306.55/2313.08 c #Conflicts: 170000 | #Constraints: 671840 2306.55/2313.08 c #Conflicts: 171000 | #Constraints: 672844 2306.55/2313.08 c INPROCESSING 2306.55/2313.08 c GARBAGE COLLECT 2306.55/2313.08 c rational objective 175.913 2409.50/2416.27 c #Conflicts: 172000 | #Constraints: 665608 2409.50/2416.27 c #Conflicts: 173000 | #Constraints: 666612 2409.50/2416.27 c #Conflicts: 174000 | #Constraints: 667615 2409.50/2416.27 c #Conflicts: 175000 | #Constraints: 668623 2409.50/2416.27 c #Conflicts: 176000 | #Constraints: 669628 2409.50/2416.27 c #Conflicts: 177000 | #Constraints: 670631 2409.50/2416.27 c #Conflicts: 178000 | #Constraints: 671636 2409.50/2416.27 c #Conflicts: 179000 | #Constraints: 672642 2409.50/2416.27 c #Conflicts: 180000 | #Constraints: 673645 2409.50/2416.27 c INPROCESSING 2409.50/2416.27 c GARBAGE COLLECT 2409.50/2416.27 c rational objective 175.913 2566.05/2573.18 c #Conflicts: 181000 | #Constraints: 666201 2566.05/2573.18 c #Conflicts: 182000 | #Constraints: 667208 2566.05/2573.18 c #Conflicts: 183000 | #Constraints: 668213 2566.05/2573.18 c #Conflicts: 184000 | #Constraints: 669216 2566.05/2573.18 c #Conflicts: 185000 | #Constraints: 670223 2566.05/2573.18 c #Conflicts: 186000 | #Constraints: 671228 2566.05/2573.18 c #Conflicts: 187000 | #Constraints: 672233 2566.05/2573.18 c #Conflicts: 188000 | #Constraints: 673243 2566.05/2573.18 c #Conflicts: 189000 | #Constraints: 674251 2566.05/2573.18 c INPROCESSING 2566.05/2573.18 c GARBAGE COLLECT 2566.05/2573.18 c rational objective 175.913 2757.31/2764.86 c bounds 366 >= 22 @ 2544.64 2757.31/2764.86 c bounds 364 >= 22 @ 2544.76 2757.31/2764.86 c bounds 362 >= 22 @ 2550.23 2757.31/2764.86 c bounds 360 >= 22 @ 2551.94 2757.31/2764.86 c bounds 359 >= 22 @ 2552.11 2757.31/2764.86 c bounds 356 >= 22 @ 2554.15 2757.31/2764.86 c #Conflicts: 190000 | #Constraints: 666630 2757.31/2764.86 c #Conflicts: 191000 | #Constraints: 667643 2757.31/2764.86 c #Conflicts: 192000 | #Constraints: 668652 2757.31/2764.86 c #Conflicts: 193000 | #Constraints: 669655 2757.31/2764.86 c #Conflicts: 194000 | #Constraints: 670665 2757.31/2764.86 c bounds 355 >= 22 @ 2618.1 2757.31/2764.86 c bounds 355 >= 24 @ 2618.18 2757.31/2764.86 c bounds 355 >= 26 @ 2618.84 2757.31/2764.86 c #Conflicts: 195000 | #Constraints: 671678 2757.31/2764.86 c #Conflicts: 196000 | #Constraints: 672678 2757.31/2764.86 c #Conflicts: 197000 | #Constraints: 673678 2757.31/2764.86 c #Conflicts: 198000 | #Constraints: 674678 2757.31/2764.86 c INPROCESSING 2757.31/2764.86 c GARBAGE COLLECT 2757.31/2764.86 c rational objective 175.913 2983.67/2991.74 c bounds 354 >= 26 @ 2733.38 2983.67/2991.74 c #Conflicts: 199000 | #Constraints: 666876 2983.67/2991.74 c bounds 353 >= 26 @ 2754.41 2983.67/2991.74 c #Conflicts: 200000 | #Constraints: 667887 2983.67/2991.74 c #Conflicts: 201000 | #Constraints: 668890 2983.67/2991.74 c #Conflicts: 202000 | #Constraints: 669902 2983.67/2991.74 c #Conflicts: 203000 | #Constraints: 670912 2983.67/2991.74 c #Conflicts: 204000 | #Constraints: 671921 2983.67/2991.74 c bounds 351 >= 26 @ 2848.97 2983.67/2991.74 c bounds 351 >= 27 @ 2849.04 2983.67/2991.74 c bounds 351 >= 28 @ 2849.14 2983.67/2991.74 c bounds 351 >= 29 @ 2849.2 2983.67/2991.74 c bounds 351 >= 30 @ 2849.28 2983.67/2991.74 c bounds 351 >= 31 @ 2849.35 2983.67/2991.74 c bounds 351 >= 32 @ 2849.42 2983.67/2991.74 c bounds 351 >= 33 @ 2849.49 2983.67/2991.74 c bounds 351 >= 34 @ 2849.58 2983.67/2991.74 c bounds 351 >= 35 @ 2849.66 2983.67/2991.74 c bounds 351 >= 36 @ 2849.75 2983.67/2991.74 c bounds 351 >= 37 @ 2849.84 2983.67/2991.74 c bounds 351 >= 38 @ 2849.93 2983.67/2991.74 c bounds 351 >= 39 @ 2850.03 2983.67/2991.74 c bounds 351 >= 40 @ 2850.12 2983.67/2991.74 c bounds 351 >= 41 @ 2850.22 2983.67/2991.74 c bounds 351 >= 42 @ 2850.31 2983.67/2991.74 c bounds 351 >= 43 @ 2850.41 2983.67/2991.74 c bounds 351 >= 44 @ 2850.51 2983.67/2991.74 c bounds 351 >= 45 @ 2850.61 2983.67/2991.74 c bounds 351 >= 46 @ 2850.7 2983.67/2991.74 c bounds 351 >= 47 @ 2850.8 2983.67/2991.74 c bounds 351 >= 48 @ 2850.9 2983.67/2991.74 c bounds 351 >= 49 @ 2851.05 2983.67/2991.74 c bounds 351 >= 50 @ 2851.27 2983.67/2991.74 c bounds 351 >= 51 @ 2851.44 2983.67/2991.74 c bounds 351 >= 52 @ 2853.75 2983.67/2991.74 c bounds 351 >= 53 @ 2854.14 2983.67/2991.74 c bounds 351 >= 54 @ 2854.44 2983.67/2991.74 c bounds 351 >= 55 @ 2855.06 2983.67/2991.74 c bounds 351 >= 56 @ 2855.84 2983.67/2991.74 c #Conflicts: 205000 | #Constraints: 673129 2983.67/2991.74 c bounds 351 >= 57 @ 2858.26 2983.67/2991.74 c bounds 351 >= 58 @ 2860.25 2983.67/2991.74 c bounds 351 >= 59 @ 2868.09 2983.67/2991.74 c bounds 351 >= 60 @ 2875.86 2983.67/2991.74 c #Conflicts: 206000 | #Constraints: 674210 2983.67/2991.74 c bounds 351 >= 61 @ 2882.57 2983.67/2991.74 c bounds 351 >= 62 @ 2897.53 2983.67/2991.74 c bounds 351 >= 63 @ 2907.76 2983.67/2991.74 c #Conflicts: 207000 | #Constraints: 675279 2983.67/2991.74 c INPROCESSING 2983.67/2991.74 c GARBAGE COLLECT 2983.67/2991.74 c rational objective 175.913 3144.96/3153.42 c bounds 351 >= 64 @ 2960.19 3144.96/3153.42 c #Conflicts: 208000 | #Constraints: 667196 3144.96/3153.42 c bounds 351 >= 65 @ 2973.34 3144.96/3153.42 c #Conflicts: 209000 | #Constraints: 668235 3144.96/3153.42 c #Conflicts: 210000 | #Constraints: 669235 3144.96/3153.42 c bounds 351 >= 66 @ 3001.53 3144.96/3153.42 c #Conflicts: 211000 | #Constraints: 670271 3144.96/3153.42 c #Conflicts: 212000 | #Constraints: 671271 3144.96/3153.42 c #Conflicts: 213000 | #Constraints: 672271 3144.96/3153.42 c bounds 351 >= 67 @ 3029.99 3144.96/3153.42 c #Conflicts: 214000 | #Constraints: 673298 3144.96/3153.42 c #Conflicts: 215000 | #Constraints: 674298 3144.96/3153.42 c bounds 351 >= 68 @ 3058.54 3144.96/3153.42 c #Conflicts: 216000 | #Constraints: 675325 3144.96/3153.42 c INPROCESSING 3144.96/3153.42 c GARBAGE COLLECT 3144.96/3153.42 c rational objective 175.913 3304.06/3312.91 c bounds 349 >= 68 @ 3115.71 3304.06/3312.91 c bounds 348 >= 68 @ 3117 3304.06/3312.91 c #Conflicts: 217000 | #Constraints: 667114 3304.06/3312.91 c #Conflicts: 218000 | #Constraints: 668131 3304.06/3312.91 c #Conflicts: 219000 | #Constraints: 669144 3304.06/3312.91 c #Conflicts: 220000 | #Constraints: 670156 3304.06/3312.91 c bounds 347 >= 68 @ 3175.44 3304.06/3312.91 c #Conflicts: 221000 | #Constraints: 671163 3304.06/3312.91 c #Conflicts: 222000 | #Constraints: 672163 3304.06/3312.91 c bounds 347 >= 69 @ 3203.14 3304.06/3312.91 c #Conflicts: 223000 | #Constraints: 673181 3304.06/3312.91 c #Conflicts: 224000 | #Constraints: 674181 3304.06/3312.91 c bounds 347 >= 70 @ 3230.07 3304.06/3312.91 c #Conflicts: 225000 | #Constraints: 675208 3304.06/3312.91 c #Conflicts: 226000 | #Constraints: 676208 3304.06/3312.91 c INPROCESSING 3304.06/3312.91 c GARBAGE COLLECT 3304.06/3312.91 c rational objective 175.913 3502.87/3512.27 c #Conflicts: 227000 | #Constraints: 667764 3502.87/3512.27 c bounds 347 >= 71 @ 3279.97 3502.87/3512.27 c #Conflicts: 228000 | #Constraints: 668800 3502.87/3512.27 c #Conflicts: 229000 | #Constraints: 669800 3502.87/3512.27 c #Conflicts: 230000 | #Constraints: 670800 3502.87/3512.27 c bounds 347 >= 72 @ 3313.2 3502.87/3512.27 c #Conflicts: 231000 | #Constraints: 671849 3502.87/3512.27 c bounds 346 >= 72 @ 3329.94 3502.87/3512.27 c bounds 343 >= 72 @ 3330.68 3502.87/3512.27 c bounds 341 >= 72 @ 3330.76 3502.87/3512.27 c #Conflicts: 232000 | #Constraints: 672865 3502.87/3512.27 c #Conflicts: 233000 | #Constraints: 673865 3502.87/3512.27 c #Conflicts: 234000 | #Constraints: 674865 3502.87/3512.27 c #Conflicts: 235000 | #Constraints: 675865 3502.87/3512.27 c bounds 341 >= 73 @ 3380.31 3502.87/3512.27 c bounds 338 >= 73 @ 3380.43 3502.87/3512.27 c #Conflicts: 236000 | #Constraints: 676905 3502.87/3512.27 c INPROCESSING 3502.87/3512.27 c GARBAGE COLLECT 3502.87/3512.27 c rational objective 175.913 3600.22/3609.84 c #Conflicts: 237000 | #Constraints: 668264 3600.22/3609.84 c #Conflicts: 238000 | #Constraints: 669274 3600.22/3609.84 c #Conflicts: 239000 | #Constraints: 670285 3600.22/3609.84 c #Conflicts: 240000 | #Constraints: 671297 3600.22/3609.84 c #Conflicts: 241000 | #Constraints: 672302 3600.22/3609.84 c Program interrupted by user. 3600.22/3609.84 c cpu time 3565.65 s 3600.22/3609.84 c deterministic time 329142240220 3.29e+11 3600.22/3609.84 c optimization time 96.905 s 3600.22/3609.84 c total solve time 3466.54 s 3600.22/3609.84 c core-guided solve time 2448.54 s 3600.22/3609.84 c propagation time 1995.29 s 3600.22/3609.84 c conflict analysis time 797.238 s 3600.22/3609.84 c propagations 44746363 3600.22/3609.84 c resolve steps 4418269 3600.22/3609.84 c decisions 10358858 3600.22/3609.84 c conflicts 241153 3600.22/3609.84 c restarts 556 3600.22/3609.84 c inprocessing phases 40 3600.22/3609.84 c input clauses 657074 3600.22/3609.84 c input cardinalities 54 3600.22/3609.84 c input general constraints 589 3600.22/3609.84 c input average constraint length 5.61 3600.22/3609.84 c input average constraint degree 100.55 3600.22/3609.84 c learned clauses 128277 3600.22/3609.84 c learned cardinalities 9 3600.22/3609.84 c learned general constraints 113774 3600.22/3609.84 c learned average constraint length 4302.73 3600.22/3609.84 c learned average constraint degree 127974899976.90 3600.22/3609.84 c watched constraints 12306 3600.22/3609.84 c counting constraints 102057 3600.22/3609.84 c gcd simplifications 2573 3600.22/3609.84 c detected cardinalities 0 3600.22/3609.84 c weakened non-implied lits 234579438 3600.22/3609.84 c weakened non-implying lits 83356 3600.22/3609.84 c original variables 10000 3600.22/3609.84 c clausal propagations 23982436 3600.22/3609.84 c cardinality propagations 29477 3600.22/3609.84 c watched propagations 589287 3600.22/3609.84 c counting propagations 19674065 3600.22/3609.84 c watch lookups 23997139319 3600.22/3609.84 c watch backjump lookups 23876947554 3600.22/3609.84 c watch checks 49225310782 3600.22/3609.84 c propagation checks 228868180799 3600.22/3609.84 c constraint additions 3063782241 3600.22/3609.84 c trail pops 55335655 3600.22/3609.84 c formula constraints 656900 3600.22/3609.84 c learned constraints 240256 3600.22/3609.84 c bound constraints 187 3600.22/3609.84 c core-guided constraints 630 3600.22/3609.84 c encountered formula constraints 3580086 3600.22/3609.84 c encountered learned constraints 935848 3600.22/3609.84 c encountered bound constraints 2908 3600.22/3609.84 c encountered core-guided constraints 68499 3600.22/3609.84 c LP total time 1066.15 s 3600.22/3609.84 c LP solve time 1005.27 s 3600.22/3609.84 c LP constraints added 656941 3600.22/3609.84 c LP constraints removed 29 3600.22/3609.84 c LP pivots internal 241336 3600.22/3609.84 c LP pivots root 197312 3600.22/3609.84 c LP calls 1217 3600.22/3609.84 c LP optimalities 310 3600.22/3609.84 c LP no pivot count 15 3600.22/3609.84 c LP infeasibilities 903 3600.22/3609.84 c LP valid Farkas constraints 902 3600.22/3609.84 c LP learned Farkas constraints 902 3600.22/3609.84 c LP basis resets 0 3600.22/3609.84 c LP cycling count 0 3600.22/3609.84 c LP singular count 0 3600.22/3609.84 c LP no primal count 0 3600.22/3609.84 c LP no farkas count 0 3600.22/3609.84 c LP other issue count 0 3600.22/3609.84 c LP Gomory cuts 0 3600.22/3609.84 c LP learned cuts 41 3600.22/3609.84 c LP deleted cuts 29 3600.22/3609.84 c LP encountered Gomory constraints 0 3600.22/3609.84 c LP encountered Farkas constraints 67266 3600.22/3609.84 c LP encountered learned Farkas constraints 3912 3600.22/3609.84 c CG auxiliary variables introduced 228 3600.22/3609.84 c CG solutions found 133 3600.22/3609.84 c CG cores constructed 54 3600.22/3609.84 c CG core cardinality constraints returned 0 3600.22/3609.84 c CG unit cores 0 3600.22/3609.84 c CG single cores 54 3600.22/3609.84 c CG blocks removed during cardinality reduction 0 3600.22/3609.84 c CG first core best 0 3600.22/3609.84 c CG decision core best 0 3600.22/3609.84 c CG core reduction tie 0 3600.22/3609.84 c CG core degree average 1.00 3600.22/3609.84 c CG core slack average 836.69 3600.22/3609.84 s SATISFIABLE 3600.22/3609.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 x7571 -x7572 -x7573 -x7574 -x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
OK 338
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: 64059 MiB (583 MiB free)
memory of node 1: 64510 MiB (169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456760-1721770818/watcher-4456760-1721770818 -o /tmp/evaluation-result-4456760-1721770818/solver-4456760-1721770818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124353 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456760-1721770818 --lp-cut-gomory=0 HOME/instance-4456760-1721770818.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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=128156, runsolver pid=128153
[startup+0.100073 s]*
/proc/loadavg: 4.25 4.28 4.32 6/281 128157
/proc/meminfo: memFree=918388/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=37376 memory=2632 CPUtime=0 cores=4,6
/proc/128156/stat : 128156 (roundingsat) D 128153 128156 124342 0 -1 1078198272 210 0 1 0 0 0 0 0 20 0 1 0 13071412 38273024 658 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 9344 658 602 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2632 KiB
[startup+0.215451 s]*
/proc/loadavg: 4.25 4.28 4.32 5/282 128164
/proc/meminfo: memFree=994184/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=40828 memory=9220 CPUtime=0.08 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 1508 0 1 0 6 2 0 0 20 0 1 0 13071412 41807872 2305 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 10207 2305 1370 992 0 2065 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9220 KiB
[startup+0.315446 s]*
/proc/loadavg: 4.25 4.28 4.32 7/282 128164
/proc/meminfo: memFree=993080/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=40828 memory=10012 CPUtime=0.18 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 1671 0 1 0 14 4 0 0 20 0 1 0 13071412 41807872 2503 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 10207 2503 1370 992 0 2065 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10012 KiB
[startup+0.700284 s]
/proc/loadavg: 4.25 4.28 4.32 8/282 128164
/proc/meminfo: memFree=999440/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=42536 memory=14168 CPUtime=0.56 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 2258 0 1 0 41 15 0 0 20 0 1 0 13071412 43556864 3542 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 10634 3542 1370 992 0 2492 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 42536 KiB
Current children cumulated memory: 14168 KiB
[startup+1.50026 s]
/proc/loadavg: 4.25 4.28 4.32 5/282 128164
/proc/meminfo: memFree=1008552/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=56400 memory=26656 CPUtime=1.35 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 4335 0 1 0 99 36 0 0 20 0 1 0 13071412 57753600 6664 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 14100 6664 1370 992 0 5958 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 56400 KiB
Current children cumulated memory: 26656 KiB
[startup+3.11572 s]
/proc/loadavg: 4.31 4.29 4.32 5/282 128164
/proc/meminfo: memFree=833848/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=350220 memory=304280 CPUtime=2.97 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 43884 0 1 0 220 77 0 0 20 0 1 0 13071412 358625280 76004 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 87555 76004 1733 992 0 79413 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 350220 KiB
Current children cumulated memory: 304280 KiB
[startup+6.30027 s]
/proc/loadavg: 4.31 4.29 4.32 5/282 128166
/proc/meminfo: memFree=649120/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=361148 memory=332324 CPUtime=6.14 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 113443 0 1 0 521 93 0 0 20 0 1 0 13071412 369815552 83081 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 90287 83081 1813 992 0 82145 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 332324 KiB
[startup+12.7003 s]
/proc/loadavg: 4.37 4.30 4.32 5/282 128166
/proc/meminfo: memFree=488652/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=425928 memory=370604 CPUtime=12.53 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 139945 0 1 0 1094 159 0 0 20 0 1 0 13071412 436150272 92651 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 106482 92651 1908 992 0 98340 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 425928 KiB
Current children cumulated memory: 370604 KiB
[startup+25.5003 s]
/proc/loadavg: 4.51 4.34 4.34 5/280 128169
/proc/meminfo: memFree=638960/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=436380 memory=391828 CPUtime=25.29 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 140638 0 1 0 2343 186 0 0 20 0 1 0 13071412 446853120 97957 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 109095 97957 1908 992 0 100953 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 436380 KiB
Current children cumulated memory: 391828 KiB
[startup+51.1155 s]
/proc/loadavg: 4.45 4.34 4.34 5/280 128172
/proc/meminfo: memFree=539328/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=704240 memory=609992 CPUtime=50.84 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 180940 0 1 0 4850 234 0 0 20 0 1 0 13071412 721141760 152498 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 176060 152498 1908 992 0 167918 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 704240 KiB
Current children cumulated memory: 609992 KiB
[startup+102.3 s]
/proc/loadavg: 4.50 4.37 4.35 5/277 128181
/proc/meminfo: memFree=535528/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=835376 memory=697852 CPUtime=101.88 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 235353 0 1 0 9896 292 0 0 20 0 1 0 13071412 855425024 174463 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 208844 174463 1908 992 0 200702 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 835376 KiB
Current children cumulated memory: 697852 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.33 4.33 5/275 128192
/proc/meminfo: memFree=556468/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=855904 memory=718380 CPUtime=161.71 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 241525 0 1 0 15814 357 0 0 20 0 1 0 13071412 876445696 179595 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 213976 179595 1908 992 0 205834 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 855904 KiB
Current children cumulated memory: 718380 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.28 4.32 6/274 128203
/proc/meminfo: memFree=560296/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=855904 memory=718380 CPUtime=221.55 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 267827 0 1 0 21747 408 0 0 20 0 1 0 13071412 876445696 179595 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 213976 179595 1908 992 0 205834 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 855904 KiB
Current children cumulated memory: 718380 KiB
[startup+282.3 s]
/proc/loadavg: 4.43 4.32 4.33 6/269 128213
/proc/meminfo: memFree=599516/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=1005328 memory=778892 CPUtime=281.38 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 289323 0 1 0 27675 463 0 0 20 0 1 0 13071412 1029455872 194723 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 251332 194723 1908 992 0 243190 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 1005328 KiB
Current children cumulated memory: 778892 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.28 4.31 5/264 128228
/proc/meminfo: memFree=575752/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=1570836 memory=1295480 CPUtime=341.22 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 368412 0 1 0 33563 559 0 0 20 0 1 0 13071412 1608536064 323870 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 392709 323870 1908 992 0 384567 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1570836 KiB
Current children cumulated memory: 1295480 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.27 4.30 5/257 128239
/proc/meminfo: memFree=639292/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=1611440 memory=1409552 CPUtime=401.05 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 393955 0 1 0 39485 620 0 0 20 0 1 0 13071412 1650114560 352388 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 402860 352388 1924 992 0 394718 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 1611440 KiB
Current children cumulated memory: 1409552 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.25 4.29 5/263 128255
/proc/meminfo: memFree=723432/131655788 swapFree=131071472/131071996
[pid=128156] ppid=128153 vsize=1616576 memory=1411700 CPUtime=460.88 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 402347 0 1 0 45401 687 0 0 20 0 1 0 13071412 1655373824 352925 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 404144 352925 1924 992 0 396002 0
################
# More data... #
################
/proc/128156/statm: 814203 655760 1924 992 0 806061 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 3256812 KiB
Current children cumulated memory: 2623040 KiB
[startup+2982.3 s]
/proc/loadavg: 4.85 4.49 4.29 5/274 130634
/proc/meminfo: memFree=565156/131655788 swapFree=131070960/131071996
[pid=128156] ppid=128153 vsize=3282104 memory=2669388 CPUtime=2974.3 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 620869 0 1 0 294594 2836 0 0 20 0 1 0 13071412 3360874496 667347 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 820526 667347 1924 992 0 812384 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 3282104 KiB
Current children cumulated memory: 2669388 KiB
[startup+3042.3 s]
/proc/loadavg: 4.87 4.53 4.31 5/269 130701
/proc/meminfo: memFree=545604/131655788 swapFree=131070960/131071996
[pid=128156] ppid=128153 vsize=3289368 memory=2671500 CPUtime=3034.15 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 622892 0 1 0 300518 2897 0 0 20 0 1 0 13071412 3368312832 667875 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 822342 667875 1924 992 0 814200 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 3289368 KiB
Current children cumulated memory: 2671500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.32 4.43 4.29 5/271 130714
/proc/meminfo: memFree=575992/131655788 swapFree=131069668/131071996
[pid=128156] ppid=128153 vsize=3289368 memory=2671504 CPUtime=3093.99 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 624623 0 1 0 306434 2965 0 0 20 0 1 0 13071412 3368312832 667876 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 822342 667876 1924 992 0 814200 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 3289368 KiB
Current children cumulated memory: 2671504 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.36 4.27 5/272 130725
/proc/meminfo: memFree=509128/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3293564 memory=2675608 CPUtime=3153.84 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 626730 0 1 0 312390 2994 0 0 20 0 1 0 13071412 3372609536 668902 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 823391 668902 1924 992 0 815249 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 3293564 KiB
Current children cumulated memory: 2675608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.34 4.27 5/262 130736
/proc/meminfo: memFree=569432/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3293564 memory=2675608 CPUtime=3213.7 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 627927 0 1 0 318303 3067 0 0 20 0 1 0 13071412 3372609536 668902 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 823391 668902 1924 992 0 815249 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 3293564 KiB
Current children cumulated memory: 2675608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.29 4.26 5/262 130747
/proc/meminfo: memFree=524508/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3293564 memory=2675608 CPUtime=3273.53 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 629158 0 1 0 324231 3122 0 0 20 0 1 0 13071412 3372609536 668902 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 823391 668902 1924 992 0 815249 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 3293564 KiB
Current children cumulated memory: 2675608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.25 4.25 6/261 130758
/proc/meminfo: memFree=535560/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3295496 memory=2676116 CPUtime=3333.38 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 630501 0 1 0 330150 3188 0 0 20 0 1 0 13071412 3374587904 669029 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 823874 669029 1924 992 0 815732 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 3295496 KiB
Current children cumulated memory: 2676116 KiB
[startup+3402.3 s]
/proc/loadavg: 4.29 4.28 4.26 5/256 130770
/proc/meminfo: memFree=525816/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3295496 memory=2676116 CPUtime=3393.23 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 631778 0 1 0 336033 3290 0 0 20 0 1 0 13071412 3374587904 669029 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 823874 669029 1924 992 0 815732 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 3295496 KiB
Current children cumulated memory: 2676116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.24 4.25 5/256 130780
/proc/meminfo: memFree=504576/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3295496 memory=2678968 CPUtime=3453.08 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 633815 0 1 0 341963 3345 0 0 20 0 1 0 13071412 3374587904 669742 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 823874 669742 1924 992 0 815732 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 3295496 KiB
Current children cumulated memory: 2678968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.22 4.24 6/256 130790
/proc/meminfo: memFree=578016/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3304452 memory=2685000 CPUtime=3512.94 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 637011 0 1 0 347927 3367 0 0 20 0 1 0 13071412 3383758848 671250 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 826113 671250 1924 992 0 817971 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2685000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.24 4.24 5/263 130809
/proc/meminfo: memFree=513096/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3304452 memory=2687048 CPUtime=3572.78 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 639380 0 1 0 353839 3439 0 0 20 0 1 0 13071412 3383758848 671762 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 826113 671762 1924 992 0 817971 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2687048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.20 4.23 4.24 5/258 130820
/proc/meminfo: memFree=522388/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3304452 memory=2687048 CPUtime=3600.02 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 639961 0 1 0 356540 3462 0 0 20 0 1 0 13071412 3383758848 671762 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 826113 671762 1924 992 0 817971 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2687048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 128156 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.66 s, system=34.6549 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.8 s]
/proc/loadavg: 4.20 4.23 4.24 5/258 130820
/proc/meminfo: memFree=522388/131655788 swapFree=131065036/131071996
[pid=128156] ppid=128153 vsize=3304452 memory=2687048 CPUtime=3600.22 cores=4,6
/proc/128156/stat : 128156 (roundingsat) R 128153 128156 124342 0 -1 4194304 639963 0 1 0 356560 3462 0 0 20 0 1 0 13071412 3383758848 671762 134679101440 4194304 8254037 140729493984592 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34521088 140729493992284 140729493992546 140729493992546 140729493999561 0
/proc/128156/statm: 826113 671762 1924 992 0 817971 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 3304452 KiB
Current children cumulated memory: 2687048 KiB
[startup+3609.9 s]*
/proc/loadavg: 4.20 4.23 4.24 5/258 130820
/proc/meminfo: memFree=2226632/131655788 swapFree=131065036/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): 3609.92
CPU time (s): 3600.31
CPU user time (s): 3565.66
CPU system time (s): 34.6549
CPU usage (%): 99.7337
Max. virtual memory (cumulated for all children) (KiB): 3304452
Max. memory (cumulated for all children) (KiB): 2687048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.66
system time used= 34.6549
maximum resident set size= 2687048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639994
page faults= 1
swaps= 0
block input operations= 96
block output operations= 56552056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2438
involuntary context switches= 4655
# summary of solver processes directly reported to runsolver:
# pid: 128156
# total CPU time (s): 3600.31
# total CPU user time (s): 3565.66
# total CPU system time (s): 34.6549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3826 second user time and 37.9646 second system time
The end
Begin job on nodeC010 at 2024-07-23 23:40:19 IDJOB=4456760 IDBENCH=147553 IDSOLVER=3085 FILE ID=nodeC010/4456760-1721770818 RUNJOBID= nodeC010-1721765593-124353 SLURM_JOB_ID= 7770665 Free space on /tmp= 723744 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456760-1721770818/watcher-4456760-1721770818 -o /tmp/evaluation-result-4456760-1721770818/solver-4456760-1721770818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721765593-124353 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456760-1721770818 --lp-cut-gomory=0 HOME/instance-4456760-1721770818.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0cfe35c6a899c796e17247c8eb2f096e RANDOM SEED=76681830 nodeC010.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 : 0xb00001f cpu MHz : 3648.512 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 3503.240 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1215.585 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1197.191 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.190 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 3498.563 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 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 : 0xb00001f cpu MHz : 1197.251 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.61 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 : 0xb00001f cpu MHz : 1255.423 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 770848 kB MemAvailable: 115981432 kB Buffers: 183108 kB Cached: 115580684 kB SwapCached: 40 kB Active: 1239316 kB Inactive: 128594716 kB Active(anon): 1644 kB Inactive(anon): 14114516 kB Active(file): 1237672 kB Inactive(file): 114480200 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 127380 kB Writeback: 1149404 kB AnonPages: 14065788 kB Mapped: 116608 kB Shmem: 45784 kB KReclaimable: 554456 kB Slab: 704692 kB SReclaimable: 554456 kB SUnreclaim: 150236 kB KernelStack: 4544 kB PageTables: 37456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 14859636 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18816 kB HardwareCorrupted: 0 kB AnonHugePages: 9873408 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: 357192 kB DirectMap2M: 46733312 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723728 MiB End job on nodeC010 at 2024-07-24 00:40:29