| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 315 | 3600.07 | 3610.03 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
| MD5SUM | 37dc22c6a12cddf588c55f8d6ee6d8c2 |
| 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 | 240 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| 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 | 492823 |
| 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 | 492823 |
| 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.29/2.37 c #variables 10000 #constraints 656900 4.09/4.19 c bounds - >= 0 @ 1.62409 4.09/4.19 c rational objective 165.925 48.46/48.66 c bounds 6998 >= 0 @ 7.62926 48.46/48.66 c bounds 6800 >= 0 @ 7.63344 48.46/48.66 c bounds 6758 >= 0 @ 7.63784 48.46/48.66 c bounds 6321 >= 0 @ 7.64421 48.46/48.66 c bounds 6285 >= 0 @ 7.64868 48.46/48.66 c bounds 6247 >= 0 @ 7.65906 48.46/48.66 c bounds 6206 >= 0 @ 7.66422 48.46/48.66 c bounds 6165 >= 0 @ 7.66793 48.46/48.66 c bounds 6056 >= 0 @ 7.67419 48.46/48.66 c bounds 6007 >= 0 @ 7.69435 48.46/48.66 c bounds 5977 >= 0 @ 7.70276 48.46/48.66 c bounds 5926 >= 0 @ 7.71073 48.46/48.66 c bounds 5751 >= 0 @ 7.71497 48.46/48.66 c bounds 5744 >= 0 @ 7.71951 48.46/48.66 c bounds 5671 >= 0 @ 7.72388 48.46/48.66 c bounds 5637 >= 0 @ 7.728 48.46/48.66 c bounds 5554 >= 0 @ 7.73317 48.46/48.66 c bounds 5347 >= 0 @ 7.73777 48.46/48.66 c bounds 5169 >= 0 @ 7.74414 48.46/48.66 c bounds 5163 >= 0 @ 7.75255 48.46/48.66 c bounds 5091 >= 0 @ 7.757 48.46/48.66 c bounds 4963 >= 0 @ 7.7604 48.46/48.66 c bounds 4872 >= 0 @ 7.76489 48.46/48.66 c bounds 4868 >= 0 @ 7.77181 48.46/48.66 c bounds 4845 >= 0 @ 7.77889 48.46/48.66 c bounds 4652 >= 0 @ 7.78298 48.46/48.66 c bounds 4594 >= 0 @ 7.7871 48.46/48.66 c bounds 4548 >= 0 @ 7.79467 48.46/48.66 c bounds 4527 >= 0 @ 7.80497 48.46/48.66 c bounds 4505 >= 0 @ 7.81633 48.46/48.66 c bounds 4365 >= 0 @ 7.82242 48.46/48.66 c bounds 4193 >= 0 @ 7.82725 48.46/48.66 c bounds 4152 >= 0 @ 7.83707 48.46/48.66 c bounds 3966 >= 0 @ 7.84166 48.46/48.66 c bounds 3849 >= 0 @ 7.84659 48.46/48.66 c bounds 3848 >= 0 @ 7.85154 48.46/48.66 c bounds 3844 >= 0 @ 7.9122 48.46/48.66 c bounds 3816 >= 0 @ 7.92392 48.46/48.66 c bounds 3702 >= 0 @ 7.93171 48.46/48.66 c bounds 3681 >= 0 @ 7.93539 48.46/48.66 c bounds 3675 >= 0 @ 7.94881 48.46/48.66 c bounds 3624 >= 0 @ 8.04328 48.46/48.66 c bounds 3599 >= 0 @ 8.05347 48.46/48.66 c bounds 3564 >= 0 @ 8.14506 48.46/48.66 c bounds 3559 >= 0 @ 8.1511 48.46/48.66 c bounds 3521 >= 0 @ 8.24767 48.46/48.66 c bounds 3506 >= 0 @ 8.25984 48.46/48.66 c bounds 3392 >= 0 @ 8.26621 48.46/48.66 c bounds 3366 >= 0 @ 8.27144 48.46/48.66 c bounds 3325 >= 0 @ 8.36409 48.46/48.66 c bounds 3308 >= 0 @ 8.37633 48.46/48.66 c bounds 3257 >= 0 @ 8.38134 48.46/48.66 c bounds 3164 >= 0 @ 8.38585 48.46/48.66 c bounds 3126 >= 0 @ 8.44168 48.46/48.66 c bounds 3044 >= 0 @ 8.44812 48.46/48.66 c bounds 2926 >= 0 @ 8.45709 48.46/48.66 c bounds 2831 >= 0 @ 8.46551 48.46/48.66 c bounds 2772 >= 0 @ 8.47277 48.46/48.66 c bounds 2769 >= 0 @ 8.48399 48.46/48.66 c bounds 2625 >= 0 @ 8.58552 48.46/48.66 c bounds 2591 >= 0 @ 8.59485 48.46/48.66 c bounds 2549 >= 0 @ 8.60082 48.46/48.66 c bounds 2480 >= 0 @ 8.60893 48.46/48.66 c bounds 2465 >= 0 @ 8.61493 48.46/48.66 c bounds 2380 >= 0 @ 8.62124 48.46/48.66 c bounds 2368 >= 0 @ 8.63986 48.46/48.66 c bounds 2357 >= 0 @ 8.64534 48.46/48.66 c bounds 2355 >= 0 @ 8.68872 48.46/48.66 c bounds 2213 >= 0 @ 8.69826 48.46/48.66 c bounds 2187 >= 0 @ 8.71673 48.46/48.66 c bounds 1979 >= 0 @ 8.72491 48.46/48.66 c bounds 1800 >= 0 @ 8.73137 48.46/48.66 c bounds 1793 >= 0 @ 8.74276 48.46/48.66 c bounds 1755 >= 0 @ 8.74842 48.46/48.66 c bounds 1742 >= 0 @ 8.75879 48.46/48.66 c bounds 1737 >= 0 @ 8.76865 48.46/48.66 c bounds 1731 >= 0 @ 8.8878 48.46/48.66 c bounds 1642 >= 0 @ 8.89648 48.46/48.66 c bounds 1641 >= 0 @ 8.91334 48.46/48.66 c bounds 1635 >= 0 @ 8.92822 48.46/48.66 c bounds 1619 >= 0 @ 8.93723 48.46/48.66 c bounds 1567 >= 0 @ 8.9469 48.46/48.66 c bounds 1474 >= 0 @ 9.01992 48.46/48.66 c bounds 1445 >= 0 @ 9.75739 48.46/48.66 c bounds 1360 >= 0 @ 9.76799 48.46/48.66 c bounds 1342 >= 0 @ 9.77799 48.46/48.66 c bounds 1300 >= 0 @ 9.78452 48.46/48.66 c bounds 1205 >= 0 @ 9.79056 48.46/48.66 c bounds 1198 >= 0 @ 9.80005 48.46/48.66 c bounds 1147 >= 0 @ 9.85326 48.46/48.66 c bounds 1143 >= 0 @ 9.86604 48.46/48.66 c bounds 1140 >= 0 @ 9.87536 48.46/48.66 c bounds 1139 >= 0 @ 9.89878 48.46/48.66 c #Conflicts: 1000 | #Constraints: 658002 48.46/48.66 c bounds 1132 >= 0 @ 11.1448 48.46/48.66 c bounds 1119 >= 0 @ 11.1577 48.46/48.66 c bounds 928 >= 0 @ 11.2323 48.46/48.66 c bounds 907 >= 0 @ 11.2422 48.46/48.66 c bounds 905 >= 0 @ 11.262 48.46/48.66 c bounds 887 >= 0 @ 11.2709 48.46/48.66 c bounds 768 >= 0 @ 11.4527 48.46/48.66 c bounds 761 >= 0 @ 11.4602 48.46/48.66 c bounds 679 >= 0 @ 11.4741 48.46/48.66 c bounds 619 >= 0 @ 11.4903 48.46/48.66 c bounds 567 >= 0 @ 11.7529 48.46/48.66 c #Conflicts: 2000 | #Constraints: 659013 48.46/48.67 c INPROCESSING 48.46/48.67 c GARBAGE COLLECT 48.46/48.67 c #Conflicts: 3000 | #Constraints: 658911 48.46/48.67 c #Conflicts: 4000 | #Constraints: 659911 48.46/48.67 c INPROCESSING 48.46/48.67 c GARBAGE COLLECT 48.46/48.67 c bounds 562 >= 0 @ 24.4143 48.46/48.67 c bounds 559 >= 0 @ 24.675 48.46/48.67 c #Conflicts: 5000 | #Constraints: 659320 48.46/48.67 c #Conflicts: 6000 | #Constraints: 660320 48.46/48.67 c INPROCESSING 48.46/48.67 c GARBAGE COLLECT 48.46/48.67 c bounds 558 >= 0 @ 29.1216 48.46/48.67 c bounds 552 >= 0 @ 29.1364 48.46/48.67 c bounds 547 >= 0 @ 29.1474 48.46/48.67 c bounds 546 >= 0 @ 29.1666 48.46/48.67 c #Conflicts: 7000 | #Constraints: 659329 48.46/48.67 c #Conflicts: 8000 | #Constraints: 660351 48.46/48.67 c bounds 545 >= 0 @ 40.381 48.46/48.67 c #Conflicts: 9000 | #Constraints: 661363 48.46/48.67 c INPROCESSING 48.46/48.67 c GARBAGE COLLECT 48.46/48.67 c rational objective 167.755 63.21/63.43 c #Conflicts: 10000 | #Constraints: 660045 63.21/63.43 c #Conflicts: 11000 | #Constraints: 661045 63.21/63.43 c #Conflicts: 12000 | #Constraints: 662045 63.21/63.43 c INPROCESSING 63.21/63.43 c GARBAGE COLLECT 63.21/63.43 c rational objective 168.618 79.79/80.09 c #Conflicts: 13000 | #Constraints: 660488 79.79/80.09 c bounds 377 >= 0 @ 68.9453 79.79/80.09 c bounds 377 >= 6 @ 68.9544 79.79/80.09 c #Conflicts: 14000 | #Constraints: 661492 79.79/80.09 c #Conflicts: 15000 | #Constraints: 662492 79.79/80.09 c INPROCESSING 79.79/80.09 c GARBAGE COLLECT 79.79/80.09 c rational objective 169.141 98.42/98.73 c #Conflicts: 16000 | #Constraints: 660717 98.42/98.73 c #Conflicts: 17000 | #Constraints: 661717 98.42/98.73 c #Conflicts: 18000 | #Constraints: 662717 98.42/98.73 c INPROCESSING 98.42/98.73 c GARBAGE COLLECT 98.42/98.73 c rational objective 169.182 117.47/117.81 c #Conflicts: 19000 | #Constraints: 660743 117.47/117.81 c #Conflicts: 20000 | #Constraints: 661743 117.47/117.81 c #Conflicts: 21000 | #Constraints: 662743 117.47/117.81 c INPROCESSING 117.47/117.81 c GARBAGE COLLECT 117.47/117.81 c rational objective 169.182 174.01/174.58 c bounds 376 >= 6 @ 119.373 174.01/174.58 c bounds 375 >= 6 @ 119.394 174.01/174.58 c bounds 372 >= 6 @ 119.414 174.01/174.58 c bounds 367 >= 6 @ 119.457 174.01/174.58 c bounds 362 >= 6 @ 119.486 174.01/174.58 c bounds 360 >= 6 @ 119.509 174.01/174.58 c #Conflicts: 22000 | #Constraints: 660551 174.01/174.58 c bounds 358 >= 6 @ 123.763 174.01/174.58 c bounds 358 >= 11 @ 123.778 174.01/174.58 c bounds 358 >= 16 @ 124.251 174.01/174.58 c #Conflicts: 23000 | #Constraints: 661565 174.01/174.58 c #Conflicts: 24000 | #Constraints: 662565 174.01/174.58 c bounds 358 >= 21 @ 135.479 174.01/174.58 c bounds 355 >= 21 @ 135.552 174.01/174.58 c #Conflicts: 25000 | #Constraints: 663640 174.01/174.58 c INPROCESSING 174.01/174.58 c GARBAGE COLLECT 174.01/174.58 c rational objective 169.415 248.01/248.74 c #Conflicts: 26000 | #Constraints: 661191 248.01/248.74 c #Conflicts: 27000 | #Constraints: 662192 248.01/248.74 c #Conflicts: 28000 | #Constraints: 663192 248.01/248.74 c #Conflicts: 29000 | #Constraints: 664193 248.01/248.74 c INPROCESSING 248.01/248.74 c GARBAGE COLLECT 248.01/248.74 c rational objective 169.708 387.42/388.53 c bounds 354 >= 21 @ 255.512 387.42/388.53 c #Conflicts: 30000 | #Constraints: 661613 387.42/388.53 c #Conflicts: 31000 | #Constraints: 662810 387.42/388.53 c #Conflicts: 32000 | #Constraints: 664256 387.42/388.53 c bounds 351 >= 21 @ 354.386 387.42/388.53 c bounds 351 >= 25 @ 357.05 387.42/388.53 c #Conflicts: 33000 | #Constraints: 665953 387.42/388.53 c INPROCESSING 387.42/388.53 c GARBAGE COLLECT 387.42/388.53 c rational objective 169.708 617.48/619.20 c #Conflicts: 34000 | #Constraints: 662450 617.48/619.20 c #Conflicts: 35000 | #Constraints: 663451 617.48/619.20 c #Conflicts: 36000 | #Constraints: 664453 617.48/619.20 c #Conflicts: 37000 | #Constraints: 665458 617.48/619.20 c INPROCESSING 617.48/619.20 c GARBAGE COLLECT 617.48/619.20 c #Conflicts: 38000 | #Constraints: 662108 617.48/619.20 c #Conflicts: 39000 | #Constraints: 663112 617.48/619.20 c #Conflicts: 40000 | #Constraints: 664115 617.48/619.20 c #Conflicts: 41000 | #Constraints: 665118 617.48/619.20 c INPROCESSING 617.48/619.20 c GARBAGE COLLECT 617.48/619.20 c #Conflicts: 42000 | #Constraints: 661742 617.48/619.20 c #Conflicts: 43000 | #Constraints: 662747 617.48/619.20 c #Conflicts: 44000 | #Constraints: 663755 617.48/619.20 c #Conflicts: 45000 | #Constraints: 664762 617.48/619.20 c #Conflicts: 46000 | #Constraints: 665763 617.48/619.20 c INPROCESSING 617.48/619.20 c GARBAGE COLLECT 617.48/619.20 c #Conflicts: 47000 | #Constraints: 662259 617.48/619.20 c #Conflicts: 48000 | #Constraints: 663259 617.48/619.20 c #Conflicts: 49000 | #Constraints: 664259 617.48/619.20 c #Conflicts: 50000 | #Constraints: 665260 617.48/619.20 c #Conflicts: 51000 | #Constraints: 666262 617.48/619.20 c INPROCESSING 617.48/619.20 c GARBAGE COLLECT 617.48/619.20 c #Conflicts: 52000 | #Constraints: 662609 617.48/619.20 c #Conflicts: 53000 | #Constraints: 663610 617.48/619.20 c #Conflicts: 54000 | #Constraints: 664612 617.48/619.20 c #Conflicts: 55000 | #Constraints: 665615 617.48/619.20 c #Conflicts: 56000 | #Constraints: 666618 617.48/619.20 c INPROCESSING 617.48/619.20 c GARBAGE COLLECT 617.48/619.20 c rational objective 169.708 682.01/683.97 c #Conflicts: 57000 | #Constraints: 662794 682.01/683.97 c #Conflicts: 58000 | #Constraints: 663797 682.01/683.97 c #Conflicts: 59000 | #Constraints: 664800 682.01/683.97 c #Conflicts: 60000 | #Constraints: 665803 682.01/683.97 c #Conflicts: 61000 | #Constraints: 666803 682.01/683.97 c INPROCESSING 682.01/683.97 c GARBAGE COLLECT 682.01/683.97 c rational objective 169.791 743.24/745.37 c #Conflicts: 62000 | #Constraints: 662784 743.24/745.37 c #Conflicts: 63000 | #Constraints: 663784 743.24/745.37 c #Conflicts: 64000 | #Constraints: 664785 743.24/745.37 c #Conflicts: 65000 | #Constraints: 665787 743.24/745.37 c #Conflicts: 66000 | #Constraints: 666788 743.24/745.37 c INPROCESSING 743.24/745.37 c GARBAGE COLLECT 743.24/745.37 c rational objective 170.784 854.03/856.43 c #Conflicts: 67000 | #Constraints: 662570 854.03/856.43 c bounds 350 >= 25 @ 749.454 854.03/856.43 c bounds 350 >= 28 @ 749.48 854.03/856.43 c #Conflicts: 68000 | #Constraints: 663579 854.03/856.43 c #Conflicts: 69000 | #Constraints: 664589 854.03/856.43 c #Conflicts: 70000 | #Constraints: 665596 854.03/856.43 c #Conflicts: 71000 | #Constraints: 666616 854.03/856.43 c #Conflicts: 72000 | #Constraints: 667633 854.03/856.43 c INPROCESSING 854.03/856.43 c GARBAGE COLLECT 854.03/856.43 c #Conflicts: 73000 | #Constraints: 663194 854.03/856.43 c #Conflicts: 74000 | #Constraints: 664195 854.03/856.43 c #Conflicts: 75000 | #Constraints: 665198 854.03/856.43 c #Conflicts: 76000 | #Constraints: 666202 854.03/856.43 c #Conflicts: 77000 | #Constraints: 667203 854.03/856.43 c #Conflicts: 78000 | #Constraints: 668205 854.03/856.43 c INPROCESSING 854.03/856.43 c GARBAGE COLLECT 854.03/856.43 c rational objective 169.723 959.83/962.55 c #Conflicts: 79000 | #Constraints: 663593 959.83/962.55 c #Conflicts: 80000 | #Constraints: 664692 959.83/962.55 c #Conflicts: 81000 | #Constraints: 665767 959.83/962.55 c #Conflicts: 82000 | #Constraints: 666795 959.83/962.55 c #Conflicts: 83000 | #Constraints: 667897 959.83/962.55 c #Conflicts: 84000 | #Constraints: 668967 959.83/962.55 c INPROCESSING 959.83/962.55 c GARBAGE COLLECT 959.83/962.55 c rational objective 170.518 1084.59/1087.66 c bounds 348 >= 28 @ 959.423 1084.59/1087.66 c #Conflicts: 85000 | #Constraints: 663990 1084.59/1087.66 c #Conflicts: 86000 | #Constraints: 664998 1084.59/1087.66 c #Conflicts: 87000 | #Constraints: 666005 1084.59/1087.66 c #Conflicts: 88000 | #Constraints: 667010 1084.59/1087.66 c #Conflicts: 89000 | #Constraints: 668018 1084.59/1087.66 c #Conflicts: 90000 | #Constraints: 669027 1084.59/1087.66 c INPROCESSING 1084.59/1087.66 c GARBAGE COLLECT 1084.59/1087.66 c rational objective 170.522 1293.68/1297.38 c bounds 348 >= 30 @ 1081.67 1293.68/1297.38 c bounds 348 >= 32 @ 1081.68 1293.68/1297.38 c bounds 348 >= 34 @ 1081.71 1293.68/1297.38 c bounds 348 >= 36 @ 1085.23 1293.68/1297.38 c #Conflicts: 91000 | #Constraints: 663923 1293.68/1297.38 c #Conflicts: 92000 | #Constraints: 664923 1293.68/1297.38 c #Conflicts: 93000 | #Constraints: 665923 1293.68/1297.38 c #Conflicts: 94000 | #Constraints: 666924 1293.68/1297.38 c bounds 348 >= 38 @ 1191.35 1293.68/1297.38 c #Conflicts: 95000 | #Constraints: 667933 1293.68/1297.38 c #Conflicts: 96000 | #Constraints: 668933 1293.68/1297.38 c INPROCESSING 1293.68/1297.38 c GARBAGE COLLECT 1293.68/1297.38 c rational objective 170.522 1382.35/1386.25 c #Conflicts: 97000 | #Constraints: 663666 1382.35/1386.25 c #Conflicts: 98000 | #Constraints: 664674 1382.35/1386.25 c #Conflicts: 99000 | #Constraints: 665683 1382.35/1386.25 c #Conflicts: 100000 | #Constraints: 666689 1382.35/1386.25 c #Conflicts: 101000 | #Constraints: 667703 1382.35/1386.25 c #Conflicts: 102000 | #Constraints: 668714 1382.35/1386.25 c #Conflicts: 103000 | #Constraints: 669727 1382.35/1386.25 c INPROCESSING 1382.35/1386.25 c GARBAGE COLLECT 1382.35/1386.25 c rational objective 170.591 1612.55/1617.03 c #Conflicts: 104000 | #Constraints: 664272 1612.55/1617.03 c #Conflicts: 105000 | #Constraints: 665272 1612.55/1617.03 c #Conflicts: 106000 | #Constraints: 666273 1612.55/1617.03 c #Conflicts: 107000 | #Constraints: 667274 1612.55/1617.03 c #Conflicts: 108000 | #Constraints: 668274 1612.55/1617.03 c #Conflicts: 109000 | #Constraints: 669274 1612.55/1617.03 c #Conflicts: 110000 | #Constraints: 670276 1612.55/1617.03 c INPROCESSING 1612.55/1617.03 c GARBAGE COLLECT 1612.55/1617.03 c rational objective 170.592 1722.53/1727.39 c #Conflicts: 111000 | #Constraints: 664644 1722.53/1727.39 c #Conflicts: 112000 | #Constraints: 665656 1722.53/1727.39 c bounds 347 >= 38 @ 1634.27 1722.53/1727.39 c bounds 345 >= 38 @ 1643.79 1722.53/1727.39 c bounds 344 >= 38 @ 1649.2 1722.53/1727.39 c bounds 343 >= 38 @ 1649.46 1722.53/1727.39 c bounds 340 >= 38 @ 1651.27 1722.53/1727.39 c #Conflicts: 113000 | #Constraints: 666797 1722.53/1727.39 c bounds 339 >= 38 @ 1653.29 1722.53/1727.39 c bounds 336 >= 38 @ 1654 1722.53/1727.39 c bounds 335 >= 38 @ 1654.4 1722.53/1727.39 c bounds 332 >= 38 @ 1655.16 1722.53/1727.39 c bounds 331 >= 38 @ 1662.22 1722.53/1727.39 c bounds 331 >= 39 @ 1662.26 1722.53/1727.39 c bounds 331 >= 40 @ 1662.3 1722.53/1727.39 c bounds 331 >= 41 @ 1662.35 1722.53/1727.39 c bounds 331 >= 42 @ 1662.39 1722.53/1727.39 c bounds 331 >= 43 @ 1662.44 1722.53/1727.39 c bounds 331 >= 44 @ 1662.5 1722.53/1727.39 c bounds 331 >= 45 @ 1662.55 1722.53/1727.39 c bounds 331 >= 46 @ 1662.6 1722.53/1727.39 c bounds 331 >= 47 @ 1662.72 1722.53/1727.39 c bounds 331 >= 48 @ 1662.83 1722.53/1727.39 c bounds 331 >= 49 @ 1662.99 1722.53/1727.39 c bounds 331 >= 50 @ 1665.07 1722.53/1727.39 c bounds 331 >= 51 @ 1665.52 1722.53/1727.39 c bounds 331 >= 52 @ 1665.68 1722.53/1727.39 c bounds 331 >= 53 @ 1665.89 1722.53/1727.39 c bounds 331 >= 54 @ 1666.52 1722.53/1727.39 c #Conflicts: 114000 | #Constraints: 667972 1722.53/1727.39 c bounds 331 >= 55 @ 1668.34 1722.53/1727.39 c bounds 331 >= 56 @ 1669.91 1722.53/1727.39 c bounds 331 >= 57 @ 1672.32 1722.53/1727.39 c #Conflicts: 115000 | #Constraints: 669047 1722.53/1727.39 c bounds 330 >= 57 @ 1682.15 1722.53/1727.39 c bounds 330 >= 58 @ 1691.45 1722.53/1727.39 c #Conflicts: 116000 | #Constraints: 670077 1722.53/1727.39 c bounds 330 >= 59 @ 1696.98 1722.53/1727.39 c bounds 330 >= 60 @ 1702.88 1722.53/1727.39 c #Conflicts: 117000 | #Constraints: 671143 1722.53/1727.39 c INPROCESSING 1722.53/1727.39 c GARBAGE COLLECT 1722.53/1727.39 c rational objective 170.601 1778.10/1783.06 c bounds 330 >= 61 @ 1716.21 1778.10/1783.06 c #Conflicts: 118000 | #Constraints: 665217 1778.10/1783.06 c bounds 330 >= 62 @ 1719.38 1778.10/1783.06 c #Conflicts: 119000 | #Constraints: 666241 1778.10/1783.06 c bounds 330 >= 63 @ 1724.06 1778.10/1783.06 c #Conflicts: 120000 | #Constraints: 667278 1778.10/1783.06 c #Conflicts: 121000 | #Constraints: 668281 1778.10/1783.06 c bounds 329 >= 63 @ 1742.4 1778.10/1783.06 c #Conflicts: 122000 | #Constraints: 669283 1778.10/1783.06 c bounds 329 >= 64 @ 1750.39 1778.10/1783.06 c bounds 328 >= 64 @ 1750.45 1778.10/1783.06 c bounds 327 >= 64 @ 1750.53 1778.10/1783.06 c #Conflicts: 123000 | #Constraints: 670309 1778.10/1783.06 c bounds 325 >= 64 @ 1755.8 1778.10/1783.06 c #Conflicts: 124000 | #Constraints: 671310 1778.10/1783.06 c INPROCESSING 1778.10/1783.06 c GARBAGE COLLECT 1778.10/1783.06 c rational objective 170.602 1907.54/1912.86 c bounds 325 >= 65 @ 1774.72 1907.54/1912.86 c #Conflicts: 125000 | #Constraints: 665287 1907.54/1912.86 c bounds 323 >= 65 @ 1778.71 1907.54/1912.86 c #Conflicts: 126000 | #Constraints: 666293 1907.54/1912.86 c #Conflicts: 127000 | #Constraints: 667293 1907.54/1912.86 c bounds 323 >= 66 @ 1791.08 1907.54/1912.86 c bounds 322 >= 66 @ 1791.72 1907.54/1912.86 c #Conflicts: 128000 | #Constraints: 668315 1907.54/1912.86 c #Conflicts: 129000 | #Constraints: 669389 1907.54/1912.86 c #Conflicts: 130000 | #Constraints: 670504 1907.54/1912.86 c #Conflicts: 131000 | #Constraints: 671529 1907.54/1912.86 c INPROCESSING 1907.54/1912.86 c GARBAGE COLLECT 1907.54/1912.86 c rational objective 170.607 2476.95/2483.83 c #Conflicts: 132000 | #Constraints: 665214 2476.95/2483.83 c #Conflicts: 133000 | #Constraints: 666214 2476.95/2483.83 c bounds 322 >= 67 @ 1915.2 2476.95/2483.83 c #Conflicts: 134000 | #Constraints: 667253 2476.95/2483.83 c #Conflicts: 135000 | #Constraints: 668253 2476.95/2483.83 c #Conflicts: 136000 | #Constraints: 669253 2476.95/2483.83 c #Conflicts: 137000 | #Constraints: 670254 2476.95/2483.83 c bounds 322 >= 68 @ 1952.19 2476.95/2483.83 c #Conflicts: 138000 | #Constraints: 671281 2476.95/2483.83 c #Conflicts: 139000 | #Constraints: 672281 2476.95/2483.83 c INPROCESSING 2476.95/2483.83 c GARBAGE COLLECT 2476.95/2483.83 c #Conflicts: 140000 | #Constraints: 665806 2476.95/2483.83 c #Conflicts: 141000 | #Constraints: 666806 2476.95/2483.83 c #Conflicts: 142000 | #Constraints: 667806 2476.95/2483.83 c #Conflicts: 143000 | #Constraints: 668807 2476.95/2483.83 c bounds 322 >= 69 @ 2070.15 2476.95/2483.83 c #Conflicts: 144000 | #Constraints: 669834 2476.95/2483.83 c #Conflicts: 145000 | #Constraints: 670834 2476.95/2483.83 c #Conflicts: 146000 | #Constraints: 671834 2476.95/2483.83 c #Conflicts: 147000 | #Constraints: 672834 2476.95/2483.83 c INPROCESSING 2476.95/2483.83 c GARBAGE COLLECT 2476.95/2483.83 c #Conflicts: 148000 | #Constraints: 666198 2476.95/2483.83 c #Conflicts: 149000 | #Constraints: 667198 2476.95/2483.83 c #Conflicts: 150000 | #Constraints: 668198 2476.95/2483.83 c #Conflicts: 151000 | #Constraints: 669198 2476.95/2483.83 c bounds 322 >= 70 @ 2302.94 2476.95/2483.83 c #Conflicts: 152000 | #Constraints: 670229 2476.95/2483.83 c #Conflicts: 153000 | #Constraints: 671229 2476.95/2483.83 c #Conflicts: 154000 | #Constraints: 672229 2476.95/2483.83 c #Conflicts: 155000 | #Constraints: 673229 2476.95/2483.83 c INPROCESSING 2476.95/2483.83 c GARBAGE COLLECT 2476.95/2483.83 c #Conflicts: 156000 | #Constraints: 666415 2476.95/2483.83 c #Conflicts: 157000 | #Constraints: 667415 2476.95/2483.83 c #Conflicts: 158000 | #Constraints: 668415 2476.95/2483.83 c bounds 322 >= 71 @ 2389.49 2476.95/2483.83 c #Conflicts: 159000 | #Constraints: 669457 2476.95/2483.83 c #Conflicts: 160000 | #Constraints: 670474 2476.95/2483.83 c #Conflicts: 161000 | #Constraints: 671489 2476.95/2483.83 c #Conflicts: 162000 | #Constraints: 672496 2476.95/2483.83 c #Conflicts: 163000 | #Constraints: 673504 2476.95/2483.83 c INPROCESSING 2476.95/2483.83 c GARBAGE COLLECT 2476.95/2483.83 c rational objective 170.612 2596.62/2603.80 c #Conflicts: 164000 | #Constraints: 666472 2596.62/2603.80 c #Conflicts: 165000 | #Constraints: 667473 2596.62/2603.80 c #Conflicts: 166000 | #Constraints: 668473 2596.62/2603.80 c #Conflicts: 167000 | #Constraints: 669473 2596.62/2603.80 c #Conflicts: 168000 | #Constraints: 670473 2596.62/2603.80 c #Conflicts: 169000 | #Constraints: 671473 2596.62/2603.80 c #Conflicts: 170000 | #Constraints: 672474 2596.62/2603.80 c bounds 322 >= 72 @ 2550.72 2596.62/2603.80 c #Conflicts: 171000 | #Constraints: 673504 2596.62/2603.80 c INPROCESSING 2596.62/2603.80 c GARBAGE COLLECT 2596.62/2603.80 c rational objective 170.648 2854.38/2862.34 c #Conflicts: 172000 | #Constraints: 666284 2854.38/2862.34 c #Conflicts: 173000 | #Constraints: 667284 2854.38/2862.34 c #Conflicts: 174000 | #Constraints: 668284 2854.38/2862.34 c #Conflicts: 175000 | #Constraints: 669286 2854.38/2862.34 c #Conflicts: 176000 | #Constraints: 670287 2854.38/2862.34 c #Conflicts: 177000 | #Constraints: 671288 2854.38/2862.34 c #Conflicts: 178000 | #Constraints: 672288 2854.38/2862.34 c #Conflicts: 179000 | #Constraints: 673289 2854.38/2862.34 c #Conflicts: 180000 | #Constraints: 674290 2854.38/2862.34 c INPROCESSING 2854.38/2862.34 c GARBAGE COLLECT 2854.38/2862.34 c bounds 321 >= 72 @ 2686.74 2854.38/2862.34 c bounds 319 >= 72 @ 2687.42 2854.38/2862.34 c #Conflicts: 181000 | #Constraints: 666887 2854.38/2862.34 c bounds 317 >= 72 @ 2694 2854.38/2862.34 c #Conflicts: 182000 | #Constraints: 667903 2854.38/2862.34 c bounds 316 >= 72 @ 2710.72 2854.38/2862.34 c #Conflicts: 183000 | #Constraints: 668919 2854.38/2862.34 c bounds 315 >= 72 @ 2716.33 2854.38/2862.34 c #Conflicts: 184000 | #Constraints: 669933 2854.38/2862.34 c #Conflicts: 185000 | #Constraints: 670945 2854.38/2862.34 c #Conflicts: 186000 | #Constraints: 671959 2854.38/2862.34 c #Conflicts: 187000 | #Constraints: 672970 2854.38/2862.34 c #Conflicts: 188000 | #Constraints: 673974 2854.38/2862.34 c #Conflicts: 189000 | #Constraints: 674982 2854.38/2862.34 c INPROCESSING 2854.38/2862.34 c GARBAGE COLLECT 2854.38/2862.34 c rational objective 170.647 3068.99/3077.51 c #Conflicts: 190000 | #Constraints: 667327 3068.99/3077.51 c #Conflicts: 191000 | #Constraints: 668327 3068.99/3077.51 c #Conflicts: 192000 | #Constraints: 669327 3068.99/3077.51 c #Conflicts: 193000 | #Constraints: 670327 3068.99/3077.51 c #Conflicts: 194000 | #Constraints: 671327 3068.99/3077.51 c #Conflicts: 195000 | #Constraints: 672327 3068.99/3077.51 c #Conflicts: 196000 | #Constraints: 673327 3068.99/3077.51 c bounds 315 >= 73 @ 2935.71 3068.99/3077.51 c #Conflicts: 197000 | #Constraints: 674381 3068.99/3077.51 c #Conflicts: 198000 | #Constraints: 675381 3068.99/3077.51 c INPROCESSING 3068.99/3077.51 c GARBAGE COLLECT 3068.99/3077.51 c rational objective 170.654 3489.82/3499.57 c #Conflicts: 199000 | #Constraints: 667547 3489.82/3499.57 c #Conflicts: 200000 | #Constraints: 668547 3489.82/3499.57 c #Conflicts: 201000 | #Constraints: 669547 3489.82/3499.57 c #Conflicts: 202000 | #Constraints: 670547 3489.82/3499.57 c #Conflicts: 203000 | #Constraints: 671547 3489.82/3499.57 c #Conflicts: 204000 | #Constraints: 672547 3489.82/3499.57 c #Conflicts: 205000 | #Constraints: 673548 3489.82/3499.57 c #Conflicts: 206000 | #Constraints: 674548 3489.82/3499.57 c #Conflicts: 207000 | #Constraints: 675549 3489.82/3499.57 c INPROCESSING 3489.82/3499.57 c GARBAGE COLLECT 3489.82/3499.57 c #Conflicts: 208000 | #Constraints: 667531 3489.82/3499.57 c #Conflicts: 209000 | #Constraints: 668531 3489.82/3499.57 c #Conflicts: 210000 | #Constraints: 669531 3489.82/3499.57 c #Conflicts: 211000 | #Constraints: 670531 3489.82/3499.57 c #Conflicts: 212000 | #Constraints: 671531 3489.82/3499.57 c #Conflicts: 213000 | #Constraints: 672550 3489.82/3499.57 c #Conflicts: 214000 | #Constraints: 673559 3489.82/3499.57 c #Conflicts: 215000 | #Constraints: 674567 3489.82/3499.57 c #Conflicts: 216000 | #Constraints: 675578 3489.82/3499.57 c INPROCESSING 3489.82/3499.57 c GARBAGE COLLECT 3489.82/3499.57 c rational objective 170.659 3600.04/3610.01 c #Conflicts: 217000 | #Constraints: 667348 3600.04/3610.01 c #Conflicts: 218000 | #Constraints: 668348 3600.04/3610.01 c #Conflicts: 219000 | #Constraints: 669350 3600.04/3610.01 c #Conflicts: 220000 | #Constraints: 670350 3600.04/3610.01 c #Conflicts: 221000 | #Constraints: 671350 3600.04/3610.01 c #Conflicts: 222000 | #Constraints: 672350 3600.04/3610.01 c #Conflicts: 223000 | #Constraints: 673350 3600.04/3610.01 c #Conflicts: 224000 | #Constraints: 674350 3600.04/3610.01 c Program interrupted by user. 3600.04/3610.01 c cpu time 3580.77 s 3600.04/3610.01 c deterministic time 317266389281 3.17e+11 3600.04/3610.01 c optimization time 106.105 s 3600.04/3610.01 c total solve time 3473.04 s 3600.04/3610.01 c core-guided solve time 2512.64 s 3600.04/3610.01 c propagation time 1958.48 s 3600.04/3610.01 c conflict analysis time 496.465 s 3600.04/3610.01 c propagations 66481641 3600.04/3610.01 c resolve steps 3500103 3600.04/3610.01 c decisions 10855193 3600.04/3610.01 c conflicts 224681 3600.04/3610.01 c restarts 510 3600.04/3610.01 c inprocessing phases 38 3600.04/3610.01 c input clauses 657106 3600.04/3610.01 c input cardinalities 46 3600.04/3610.01 c input general constraints 650 3600.04/3610.01 c input average constraint length 5.82 3600.04/3610.01 c input average constraint degree 110.28 3600.04/3610.01 c learned clauses 102266 3600.04/3610.01 c learned cardinalities 384 3600.04/3610.01 c learned general constraints 124897 3600.04/3610.01 c learned average constraint length 3869.05 3600.04/3610.01 c learned average constraint degree 80343461258.83 3600.04/3610.01 c watched constraints 24799 3600.04/3610.01 c counting constraints 100748 3600.04/3610.01 c gcd simplifications 3234 3600.04/3610.01 c detected cardinalities 365 3600.04/3610.01 c weakened non-implied lits 256582454 3600.04/3610.01 c weakened non-implying lits 51970 3600.04/3610.01 c original variables 10000 3600.04/3610.01 c clausal propagations 20538943 3600.04/3610.01 c cardinality propagations 61053 3600.04/3610.01 c watched propagations 1669112 3600.04/3610.01 c counting propagations 43625066 3600.04/3610.01 c watch lookups 16957253728 3600.04/3610.01 c watch backjump lookups 16769704221 3600.04/3610.01 c watch checks 104516058314 3600.04/3610.01 c propagation checks 175079811372 3600.04/3610.01 c constraint additions 3788249707 3600.04/3610.01 c trail pops 77551972 3600.04/3610.01 c formula constraints 656900 3600.04/3610.01 c learned constraints 224247 3600.04/3610.01 c bound constraints 192 3600.04/3610.01 c core-guided constraints 710 3600.04/3610.01 c encountered formula constraints 2185206 3600.04/3610.01 c encountered learned constraints 1209136 3600.04/3610.01 c encountered bound constraints 2908 3600.04/3610.01 c encountered core-guided constraints 283817 3600.04/3610.01 c LP total time 1722.45 s 3600.04/3610.01 c LP solve time 1565.83 s 3600.04/3610.01 c LP constraints added 656959 3600.04/3610.01 c LP constraints removed 38 3600.04/3610.01 c LP pivots internal 225979 3600.04/3610.01 c LP pivots root 197153 3600.04/3610.01 c LP calls 3081 3600.04/3610.01 c LP optimalities 195 3600.04/3610.01 c LP no pivot count 24 3600.04/3610.01 c LP infeasibilities 2858 3600.04/3610.01 c LP valid Farkas constraints 2834 3600.04/3610.01 c LP learned Farkas constraints 437 3600.04/3610.01 c LP basis resets 30 3600.04/3610.01 c LP cycling count 12 3600.04/3610.01 c LP singular count 6 3600.04/3610.01 c LP no primal count 0 3600.04/3610.01 c LP no farkas count 7 3600.04/3610.01 c LP other issue count 5 3600.04/3610.01 c LP Gomory cuts 29 3600.04/3610.01 c LP learned cuts 30 3600.04/3610.01 c LP deleted cuts 38 3600.04/3610.01 c LP encountered Gomory constraints 3047 3600.04/3610.01 c LP encountered Farkas constraints 39489 3600.04/3610.01 c LP encountered learned Farkas constraints 744 3600.04/3610.01 c CG auxiliary variables introduced 252 3600.04/3610.01 c CG solutions found 146 3600.04/3610.01 c CG cores constructed 46 3600.04/3610.01 c CG core cardinality constraints returned 0 3600.04/3610.01 c CG unit cores 0 3600.04/3610.01 c CG single cores 45 3600.04/3610.01 c CG blocks removed during cardinality reduction 0 3600.04/3610.01 c CG first core best 0 3600.04/3610.01 c CG decision core best 0 3600.04/3610.01 c CG core reduction tie 1 3600.04/3610.01 c CG core degree average 1.00 3600.04/3610.01 c CG core slack average 1048.24 3600.04/3610.01 s SATISFIABLE 3600.04/3610.01 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 315
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 (62797 MiB free)
memory of node 1: 64510 MiB (63038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455141-1721459292/watcher-4455141-1721459292 -o /tmp/evaluation-result-4455141-1721459292/solver-4455141-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045847 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455141-1721459292.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=1045903, runsolver pid=1045899
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128843200/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=40436 memory=9008 CPUtime=0.1 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 1538 0 0 0 7 3 0 0 20 0 1 0 198088794 41406464 2252 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 10109 2252 1254 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 9008 KiB
[startup+0.212483 s]*
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128835928/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=40820 memory=11580 CPUtime=0.21 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 1668 0 0 0 14 7 0 0 20 0 1 0 198088794 41799680 2895 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 10205 2895 1254 922 0 2157 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 11580 KiB
[startup+0.31271 s]*
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128827604/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=40952 memory=11844 CPUtime=0.32 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 1757 0 0 0 21 11 0 0 20 0 1 0 198088794 41934848 2961 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 10238 2961 1254 922 0 2190 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 11844 KiB
[startup+0.700273 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128817440/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=47156 memory=17732 CPUtime=0.69 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 3263 0 0 0 44 25 0 0 20 0 1 0 198088794 48287744 4433 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 11789 4433 1254 922 0 3741 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47156 KiB
Current children cumulated memory: 17732 KiB
[startup+1.50031 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128780232/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=65296 memory=36004 CPUtime=1.49 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 5740 0 0 0 98 51 0 0 20 0 1 0 198088794 66863104 9001 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 16324 9001 1254 922 0 8276 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 65296 KiB
Current children cumulated memory: 36004 KiB
[startup+3.11351 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=127568592/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=360716 memory=329844 CPUtime=3.1 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 59924 0 0 0 225 85 0 0 20 0 1 0 198088794 369373184 82461 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 90179 82461 1636 922 0 82131 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 329844 KiB
[startup+6.30034 s]
/proc/loadavg: 1.88 3.14 3.75 5/242 1045910
/proc/meminfo: memFree=127569044/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=360716 memory=329844 CPUtime=6.27 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 59961 0 0 0 542 85 0 0 20 0 1 0 198088794 369373184 82461 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 90179 82461 1636 922 0 82131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 329844 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 3.16 3.75 5/242 1045910
/proc/meminfo: memFree=127371464/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=509364 memory=399000 CPUtime=12.65 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 68680 0 0 0 1124 141 0 0 20 0 1 0 198088794 521588736 99750 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 127341 99750 1857 922 0 119293 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 509364 KiB
Current children cumulated memory: 399000 KiB
[startup+25.5004 s]
/proc/loadavg: 2.48 3.20 3.75 5/242 1045913
/proc/meminfo: memFree=127051832/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=541232 memory=426916 CPUtime=25.42 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 71704 0 0 0 2376 166 0 0 20 0 1 0 198088794 554221568 106729 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 135308 106729 1857 922 0 127260 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 541232 KiB
Current children cumulated memory: 426916 KiB
[startup+51.113 s]
/proc/loadavg: 3.13 3.30 3.77 5/242 1045919
/proc/meminfo: memFree=126554372/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=805316 memory=641488 CPUtime=50.96 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 96319 0 0 0 4898 198 0 0 20 0 1 0 198088794 824643584 160372 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 201329 160372 1857 922 0 193281 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 805316 KiB
Current children cumulated memory: 641488 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 3.42 3.79 5/242 1045928
/proc/meminfo: memFree=126160832/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=819048 memory=650076 CPUtime=102.01 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 97105 0 0 0 9958 243 0 0 20 0 1 0 198088794 838705152 162519 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 204762 162519 1857 922 0 196714 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 819048 KiB
Current children cumulated memory: 650076 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.56 3.82 5/244 1045942
/proc/meminfo: memFree=125141888/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=1072172 memory=891060 CPUtime=161.85 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 123449 0 0 0 15871 314 0 0 20 0 1 0 198088794 1097904128 222765 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 268043 222765 1857 922 0 259995 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1072172 KiB
Current children cumulated memory: 891060 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 3.69 3.85 5/244 1045952
/proc/meminfo: memFree=124542384/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=1157204 memory=998692 CPUtime=221.69 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 136873 0 0 0 21784 385 0 0 20 0 1 0 198088794 1184976896 249673 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 289301 249673 1991 922 0 281253 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1157204 KiB
Current children cumulated memory: 998692 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.78 3.87 5/244 1045963
/proc/meminfo: memFree=124303084/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=1225284 memory=1069540 CPUtime=281.52 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 149113 0 0 0 27746 406 0 0 20 0 1 0 198088794 1254690816 267385 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 306321 267385 1991 922 0 298273 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1225284 KiB
Current children cumulated memory: 1069540 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.85 3.89 5/243 1045973
/proc/meminfo: memFree=123974560/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=1556284 memory=1291788 CPUtime=341.35 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 182398 0 0 0 33708 427 0 0 20 0 1 0 198088794 1593634816 322947 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 389071 322947 1991 922 0 381023 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1556284 KiB
Current children cumulated memory: 1291788 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.90 3.91 5/243 1045984
/proc/meminfo: memFree=123487324/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=1706156 memory=1468016 CPUtime=401.18 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 195113 0 0 0 39668 450 0 0 20 0 1 0 198088794 1747103744 367004 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 426539 367004 1991 922 0 418491 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1706156 KiB
Current children cumulated memory: 1468016 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.95 3.93 5/241 1045995
/proc/meminfo: memFree=123351408/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=1706152 memory=1468968 CPUtime=461.02 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 196110 0 0 0 45618 484 0 0 20 0 1 0 198088794 1747099648 367242 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 426538 367242 1991 922 0 418490 0
################
# More data... #
################
Current children cumulated memory: 2251020 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/243 1047424
/proc/meminfo: memFree=118654544/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2685476 memory=2397880 CPUtime=2854.38 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 290016 0 0 0 283706 1732 0 0 20 0 1 0 198088794 2749927424 599470 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 671369 599470 1991 922 0 663321 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 2685476 KiB
Current children cumulated memory: 2397880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/243 1047434
/proc/meminfo: memFree=118516164/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2685552 memory=2398264 CPUtime=2914.21 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 302013 0 0 0 289661 1760 0 0 20 0 1 0 198088794 2750005248 599566 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 671388 599566 1991 922 0 663340 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 2685552 KiB
Current children cumulated memory: 2398264 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.15 5/243 1047444
/proc/meminfo: memFree=118396792/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2685100 memory=2401064 CPUtime=2974.05 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 308235 0 0 0 295628 1777 0 0 20 0 1 0 198088794 2749542400 600266 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 671275 600266 1991 922 0 663227 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 2685100 KiB
Current children cumulated memory: 2401064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/243 1047623
/proc/meminfo: memFree=118312468/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2685100 memory=2401064 CPUtime=3033.88 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 308391 0 0 0 301603 1785 0 0 20 0 1 0 198088794 2749542400 600266 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 671275 600266 1991 922 0 663227 0
Current children cumulated CPU time: 3033.88 s
Current children cumulated vsize: 2685100 KiB
Current children cumulated memory: 2401064 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/243 1047634
/proc/meminfo: memFree=118038796/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2510980 CPUtime=3093.73 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 315682 0 0 0 307567 1806 0 0 20 0 1 0 198088794 2855415808 627745 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 627745 1991 922 0 689075 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2510980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/242 1047657
/proc/meminfo: memFree=118038328/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2510980 CPUtime=3153.56 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 316522 0 0 0 313529 1827 0 0 20 0 1 0 198088794 2855415808 627745 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 627745 1991 922 0 689075 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2510980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.17 4.15 5/242 1047667
/proc/meminfo: memFree=118035460/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2510980 CPUtime=3213.39 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 319573 0 0 0 319497 1842 0 0 20 0 1 0 198088794 2855415808 627745 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 627745 1991 922 0 689075 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2510980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/242 1047678
/proc/meminfo: memFree=118042412/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2510980 CPUtime=3273.21 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 319793 0 0 0 325472 1849 0 0 20 0 1 0 198088794 2855415808 627745 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 627745 1991 922 0 689075 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2510980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/241 1047688
/proc/meminfo: memFree=118032796/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2520380 CPUtime=3333.05 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 320018 0 0 0 331452 1853 0 0 20 0 1 0 198088794 2855415808 630095 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 630095 1991 922 0 689075 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2520380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/242 1047700
/proc/meminfo: memFree=118013832/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2539012 CPUtime=3392.88 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 321119 0 0 0 337418 1870 0 0 20 0 1 0 198088794 2855415808 634753 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 634753 1991 922 0 689075 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2539012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/242 1047711
/proc/meminfo: memFree=118003732/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2551196 CPUtime=3452.72 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 323487 0 0 0 343385 1887 0 0 20 0 1 0 198088794 2855415808 637799 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 637799 1991 922 0 689075 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2551196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.15 5/242 1047721
/proc/meminfo: memFree=117988760/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2559676 CPUtime=3512.55 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 324403 0 0 0 349353 1902 0 0 20 0 1 0 198088794 2855415808 639919 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 639919 1991 922 0 689075 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2559676 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/242 1047731
/proc/meminfo: memFree=117942088/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2825472 memory=2596512 CPUtime=3572.39 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 325881 0 0 0 355319 1920 0 0 20 0 1 0 198088794 2893283328 649128 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 706368 649128 1991 922 0 698320 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 2825472 KiB
Current children cumulated memory: 2596512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.16 4.16 4.15 5/238 1047765
/proc/meminfo: memFree=123403336/131655788 swapFree=131071996/131071996
[pid=1045903] ppid=1045899 vsize=2788492 memory=2559676 CPUtime=3600.04 cores=1,3
/proc/1045903/stat : 1045903 (roundingsat) R 1045899 1045903 1045835 0 -1 4194304 326662 0 0 0 358077 1927 0 0 20 0 1 0 198088794 2855415808 639919 134679101440 4194304 7968373 140735369911392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31981568 140735369913276 140735369913440 140735369913440 140735369920457 0
/proc/1045903/statm: 697123 639919 1991 922 0 689075 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2788492 KiB
Current children cumulated memory: 2559676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.03 s]
# the end of solver process 1045903 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.78 s, system=19.291 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.03
CPU time (s): 3600.07
CPU user time (s): 3580.78
CPU system time (s): 19.291
CPU usage (%): 99.7239
Max. virtual memory (cumulated for all children) (KiB): 2825472
Max. memory (cumulated for all children) (KiB): 2596512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.78
system time used= 19.291
maximum resident set size= 2596532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76
involuntary context switches= 1807
# summary of solver processes directly reported to runsolver:
# pid: 1045903
# total CPU time (s): 3600.07
# total CPU user time (s): 3580.78
# total CPU system time (s): 19.291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.7475 second user time and 30.1159 second system time
The end
Begin job on nodeC009 at 2024-07-20 09:08:24 IDJOB=4455141 IDBENCH=147559 IDSOLVER=3084 FILE ID=nodeC009/4455141-1721459292 RUNJOBID= nodeC009-1721459303-1045847 SLURM_JOB_ID= 7545707 Free space on /tmp= 723692 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455141-1721459292/watcher-4455141-1721459292 -o /tmp/evaluation-result-4455141-1721459292/solver-4455141-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045847 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455141-1721459292.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2 RANDOM SEED=1089709519 nodeC009.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 : 1197.318 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 : 6984.34 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 : 1197.332 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.27 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 : 1197.325 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 : 6984.34 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.318 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.27 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.360 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 : 6984.34 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 : 2294.855 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.27 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.317 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 : 6984.34 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 : 1197.536 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128861240 kB MemAvailable: 129897072 kB Buffers: 600408 kB Cached: 1279440 kB SwapCached: 0 kB Active: 1159068 kB Inactive: 1080404 kB Active(anon): 1412 kB Inactive(anon): 404132 kB Active(file): 1157656 kB Inactive(file): 676272 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 88172 kB Writeback: 0 kB AnonPages: 359712 kB Mapped: 108676 kB Shmem: 45892 kB KReclaimable: 83868 kB Slab: 185196 kB SReclaimable: 83868 kB SUnreclaim: 101328 kB KernelStack: 3728 kB PageTables: 9900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 721212 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61952 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 187208 kB DirectMap2M: 19640320 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723684 MiB End job on nodeC009 at 2024-07-20 10:08:34