| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | No Cert. | 3600.18 | 3706.94 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
| MD5SUM | e06e3866d9960a7084ad077c8fb9619e |
| 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 | 248 |
| 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 | 495457 |
| 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 | 495457 |
| 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 3.05/3.16 c #variables 10000 #constraints 656900 4.53/4.65 c bounds - >= 0 @ 2.29469 4.53/4.65 c rational objective 174.592 21.01/21.11 c bounds 6222 >= 0 @ 4.32544 21.01/21.11 c bounds 6180 >= 0 @ 4.34582 21.01/21.11 c bounds 6026 >= 0 @ 4.3507 21.01/21.11 c bounds 5981 >= 0 @ 4.35725 21.01/21.11 c bounds 5900 >= 0 @ 4.36449 21.01/21.11 c bounds 5899 >= 0 @ 4.48638 21.01/21.11 c bounds 5863 >= 0 @ 4.4922 21.01/21.11 c bounds 5814 >= 0 @ 4.49559 21.01/21.11 c bounds 5767 >= 0 @ 4.50122 21.01/21.11 c bounds 5626 >= 0 @ 4.50564 21.01/21.11 c bounds 5573 >= 0 @ 4.51026 21.01/21.11 c bounds 5513 >= 0 @ 4.51586 21.01/21.11 c bounds 5453 >= 0 @ 4.52079 21.01/21.11 c bounds 5452 >= 0 @ 4.53152 21.01/21.11 c bounds 5364 >= 0 @ 4.53541 21.01/21.11 c bounds 5320 >= 0 @ 4.54108 21.01/21.11 c bounds 5300 >= 0 @ 4.55112 21.01/21.11 c bounds 5277 >= 0 @ 4.56576 21.01/21.11 c bounds 5253 >= 0 @ 4.57181 21.01/21.11 c bounds 5235 >= 0 @ 4.57682 21.01/21.11 c bounds 5233 >= 0 @ 4.58451 21.01/21.11 c bounds 5067 >= 0 @ 4.59097 21.01/21.11 c bounds 5024 >= 0 @ 4.59462 21.01/21.11 c bounds 5023 >= 0 @ 4.59916 21.01/21.11 c bounds 4955 >= 0 @ 4.60487 21.01/21.11 c bounds 4908 >= 0 @ 4.61059 21.01/21.11 c bounds 4799 >= 0 @ 4.61432 21.01/21.11 c bounds 4777 >= 0 @ 4.62106 21.01/21.11 c bounds 4715 >= 0 @ 4.62793 21.01/21.11 c bounds 4568 >= 0 @ 4.63393 21.01/21.11 c bounds 4445 >= 0 @ 4.63756 21.01/21.11 c bounds 4431 >= 0 @ 4.64516 21.01/21.11 c bounds 4361 >= 0 @ 4.65325 21.01/21.11 c bounds 4310 >= 0 @ 4.68749 21.01/21.11 c bounds 4229 >= 0 @ 4.69179 21.01/21.11 c bounds 4225 >= 0 @ 4.69966 21.01/21.11 c bounds 4040 >= 0 @ 4.7077 21.01/21.11 c bounds 4025 >= 0 @ 4.71386 21.01/21.11 c bounds 4005 >= 0 @ 4.71706 21.01/21.11 c bounds 3972 >= 0 @ 4.7296 21.01/21.11 c bounds 3825 >= 0 @ 4.73574 21.01/21.11 c bounds 3823 >= 0 @ 4.77063 21.01/21.11 c bounds 3804 >= 0 @ 4.78158 21.01/21.11 c bounds 3745 >= 0 @ 4.79069 21.01/21.11 c bounds 3731 >= 0 @ 4.79421 21.01/21.11 c bounds 3684 >= 0 @ 4.79871 21.01/21.11 c bounds 3619 >= 0 @ 4.80399 21.01/21.11 c bounds 3595 >= 0 @ 4.82555 21.01/21.11 c bounds 3582 >= 0 @ 4.83024 21.01/21.11 c bounds 3401 >= 0 @ 4.92153 21.01/21.11 c bounds 3382 >= 0 @ 4.92864 21.01/21.11 c bounds 3266 >= 0 @ 4.93354 21.01/21.11 c bounds 3241 >= 0 @ 4.94316 21.01/21.11 c bounds 3205 >= 0 @ 4.95229 21.01/21.11 c bounds 3195 >= 0 @ 4.96749 21.01/21.11 c bounds 3193 >= 0 @ 4.98945 21.01/21.11 c bounds 3158 >= 0 @ 4.9957 21.01/21.11 c bounds 3126 >= 0 @ 5.00398 21.01/21.11 c bounds 3092 >= 0 @ 5.01299 21.01/21.11 c bounds 3078 >= 0 @ 5.02496 21.01/21.11 c bounds 3053 >= 0 @ 5.03181 21.01/21.11 c bounds 3010 >= 0 @ 5.03865 21.01/21.11 c bounds 2968 >= 0 @ 5.04544 21.01/21.11 c bounds 2927 >= 0 @ 5.05811 21.01/21.11 c bounds 2922 >= 0 @ 5.06082 21.01/21.11 c bounds 2772 >= 0 @ 5.06793 21.01/21.11 c bounds 2753 >= 0 @ 5.11953 21.01/21.11 c bounds 2711 >= 0 @ 5.12877 21.01/21.11 c bounds 2610 >= 0 @ 5.13535 21.01/21.11 c bounds 2531 >= 0 @ 5.14178 21.01/21.11 c bounds 2524 >= 0 @ 5.17371 21.01/21.11 c bounds 2523 >= 0 @ 5.17928 21.01/21.11 c bounds 2501 >= 0 @ 5.19146 21.01/21.11 c bounds 2491 >= 0 @ 5.20441 21.01/21.11 c bounds 2481 >= 0 @ 5.21446 21.01/21.11 c bounds 2460 >= 0 @ 5.22262 21.01/21.11 c bounds 2444 >= 0 @ 5.22851 21.01/21.11 c bounds 2423 >= 0 @ 5.31732 21.01/21.11 c bounds 2344 >= 0 @ 5.44569 21.01/21.11 c bounds 2151 >= 0 @ 5.45873 21.01/21.11 c bounds 2148 >= 0 @ 5.46325 21.01/21.11 c bounds 2130 >= 0 @ 5.47606 21.01/21.11 c bounds 2016 >= 0 @ 5.48423 21.01/21.11 c bounds 1988 >= 0 @ 5.48999 21.01/21.11 c bounds 1960 >= 0 @ 5.50017 21.01/21.11 c bounds 1774 >= 0 @ 5.50645 21.01/21.11 c bounds 1768 >= 0 @ 5.51138 21.01/21.11 c bounds 1642 >= 0 @ 5.52216 21.01/21.11 c bounds 1628 >= 0 @ 5.52618 21.01/21.11 c bounds 1618 >= 0 @ 5.536 21.01/21.11 c bounds 1591 >= 0 @ 5.54434 21.01/21.11 c bounds 1584 >= 0 @ 5.55598 21.01/21.11 c bounds 1551 >= 0 @ 5.56365 21.01/21.11 c bounds 1550 >= 0 @ 5.57393 21.01/21.11 c bounds 1549 >= 0 @ 5.57946 21.01/21.11 c bounds 1536 >= 0 @ 5.58954 21.01/21.11 c bounds 1522 >= 0 @ 5.60102 21.01/21.11 c bounds 1512 >= 0 @ 5.61001 21.01/21.11 c bounds 1508 >= 0 @ 5.72021 21.01/21.11 c bounds 1499 >= 0 @ 5.7296 21.01/21.11 c bounds 1498 >= 0 @ 5.75213 21.01/21.11 c bounds 1495 >= 0 @ 5.96416 21.01/21.11 c bounds 1386 >= 0 @ 5.96854 21.01/21.11 c bounds 1358 >= 0 @ 5.97576 21.01/21.11 c bounds 1355 >= 0 @ 5.98871 21.01/21.11 c bounds 1353 >= 0 @ 6.48857 21.01/21.11 c bounds 1338 >= 0 @ 6.69613 21.01/21.11 c bounds 1335 >= 0 @ 7.09076 21.01/21.11 c bounds 1332 >= 0 @ 7.11409 21.01/21.11 c bounds 1312 >= 0 @ 7.12167 21.01/21.11 c bounds 1302 >= 0 @ 7.22146 21.01/21.11 c bounds 1276 >= 0 @ 7.37393 21.01/21.11 c bounds 1156 >= 0 @ 7.38233 21.01/21.11 c bounds 1134 >= 0 @ 7.38946 21.01/21.11 c bounds 1060 >= 0 @ 7.4019 21.01/21.11 c #Conflicts: 1000 | #Constraints: 658023 21.01/21.11 c bounds 984 >= 0 @ 7.43129 21.01/21.11 c bounds 967 >= 0 @ 7.57506 21.01/21.11 c bounds 919 >= 0 @ 7.95542 21.01/21.11 c bounds 915 >= 0 @ 7.96344 21.01/21.11 c bounds 907 >= 0 @ 7.96873 21.01/21.11 c bounds 900 >= 0 @ 7.97656 21.01/21.11 c bounds 899 >= 0 @ 9.04224 21.01/21.11 c bounds 855 >= 0 @ 9.16894 21.01/21.11 c bounds 832 >= 0 @ 9.1809 21.01/21.11 c bounds 827 >= 0 @ 9.59384 21.01/21.11 c bounds 740 >= 0 @ 9.66954 21.01/21.11 c bounds 698 >= 0 @ 9.76526 21.01/21.11 c #Conflicts: 2000 | #Constraints: 659038 21.01/21.11 c INPROCESSING 21.01/21.11 c GARBAGE COLLECT 21.01/21.11 c bounds 596 >= 0 @ 14.2547 21.01/21.11 c bounds 595 >= 0 @ 14.7547 21.01/21.11 c #Conflicts: 3000 | #Constraints: 658913 21.01/21.11 c #Conflicts: 4000 | #Constraints: 659913 21.01/21.11 c INPROCESSING 21.01/21.11 c GARBAGE COLLECT 21.01/21.11 c rational objective 174.592 31.37/31.51 c bounds 594 >= 0 @ 19.3679 31.37/31.51 c bounds 589 >= 0 @ 19.493 31.37/31.51 c bounds 585 >= 0 @ 19.5341 31.37/31.51 c bounds 578 >= 0 @ 19.6837 31.37/31.51 c bounds 574 >= 0 @ 19.7 31.37/31.51 c bounds 565 >= 0 @ 19.7077 31.37/31.51 c bounds 559 >= 0 @ 19.722 31.37/31.51 c bounds 557 >= 0 @ 19.8437 31.37/31.51 c bounds 555 >= 0 @ 19.8507 31.37/31.51 c bounds 553 >= 0 @ 20.2304 31.37/31.51 c bounds 552 >= 0 @ 21.7901 31.37/31.51 c bounds 552 >= 8 @ 21.8001 31.37/31.51 c #Conflicts: 5000 | #Constraints: 659343 31.37/31.51 c bounds 461 >= 8 @ 24.393 31.37/31.51 c #Conflicts: 6000 | #Constraints: 660344 31.37/31.51 c INPROCESSING 31.37/31.51 c GARBAGE COLLECT 31.37/31.51 c rational objective 174.592 40.44/40.68 c bounds 460 >= 8 @ 29.616 40.44/40.68 c bounds 456 >= 8 @ 29.6235 40.44/40.68 c bounds 449 >= 8 @ 30.6053 40.44/40.68 c #Conflicts: 7000 | #Constraints: 659338 40.44/40.68 c #Conflicts: 8000 | #Constraints: 660338 40.44/40.68 c #Conflicts: 9000 | #Constraints: 661338 40.44/40.68 c INPROCESSING 40.44/40.68 c GARBAGE COLLECT 40.44/40.68 c rational objective 174.592 63.98/64.27 c bounds 445 >= 8 @ 38.6244 63.98/64.27 c #Conflicts: 10000 | #Constraints: 660050 63.98/64.27 c bounds 443 >= 8 @ 53.5812 63.98/64.27 c bounds 443 >= 13 @ 53.598 63.98/64.27 c #Conflicts: 11000 | #Constraints: 661071 63.98/64.27 c bounds 443 >= 18 @ 54.2802 63.98/64.27 c #Conflicts: 12000 | #Constraints: 662076 63.98/64.27 c INPROCESSING 63.98/64.27 c GARBAGE COLLECT 63.98/64.27 c rational objective 175.209 85.72/86.03 c #Conflicts: 13000 | #Constraints: 660511 85.72/86.03 c #Conflicts: 14000 | #Constraints: 661511 85.72/86.03 c #Conflicts: 15000 | #Constraints: 662511 85.72/86.03 c INPROCESSING 85.72/86.03 c GARBAGE COLLECT 85.72/86.03 c rational objective 176.186 145.70/146.26 c bounds 442 >= 18 @ 83.0691 145.70/146.26 c #Conflicts: 16000 | #Constraints: 660743 145.70/146.26 c #Conflicts: 17000 | #Constraints: 661759 145.70/146.26 c #Conflicts: 18000 | #Constraints: 662772 145.70/146.26 c INPROCESSING 145.70/146.26 c GARBAGE COLLECT 145.70/146.26 c bounds 442 >= 22 @ 125.557 145.70/146.26 c #Conflicts: 19000 | #Constraints: 660760 145.70/146.26 c #Conflicts: 20000 | #Constraints: 661760 145.70/146.26 c #Conflicts: 21000 | #Constraints: 662760 145.70/146.26 c INPROCESSING 145.70/146.26 c rational objective 176.447 171.62/172.21 c #Conflicts: 22000 | #Constraints: 660549 171.62/172.21 c #Conflicts: 23000 | #Constraints: 661549 171.62/172.21 c #Conflicts: 24000 | #Constraints: 662549 171.62/172.21 c #Conflicts: 25000 | #Constraints: 663549 171.62/172.21 c INPROCESSING 171.62/172.21 c GARBAGE COLLECT 171.62/172.21 c #Conflicts: 26000 | #Constraints: 661146 171.62/172.21 c bounds 441 >= 22 @ 154.462 171.62/172.21 c bounds 441 >= 25 @ 154.472 171.62/172.21 c bounds 441 >= 28 @ 154.481 171.62/172.21 c #Conflicts: 27000 | #Constraints: 662153 171.62/172.21 c #Conflicts: 28000 | #Constraints: 663153 171.62/172.21 c #Conflicts: 29000 | #Constraints: 664153 171.62/172.21 c INPROCESSING 171.62/172.21 c rational objective 176.447 188.26/189.00 c #Conflicts: 30000 | #Constraints: 661551 188.26/189.00 c #Conflicts: 31000 | #Constraints: 662551 188.26/189.00 c #Conflicts: 32000 | #Constraints: 663551 188.26/189.00 c #Conflicts: 33000 | #Constraints: 664551 188.26/189.00 c INPROCESSING 188.26/189.00 c GARBAGE COLLECT 188.26/189.00 c rational objective 176.638 206.01/206.75 c #Conflicts: 34000 | #Constraints: 661768 206.01/206.75 c #Conflicts: 35000 | #Constraints: 662768 206.01/206.75 c #Conflicts: 36000 | #Constraints: 663768 206.01/206.75 c #Conflicts: 37000 | #Constraints: 664768 206.01/206.75 c INPROCESSING 206.01/206.75 c GARBAGE COLLECT 206.01/206.75 c rational objective 176.652 223.84/224.60 c #Conflicts: 38000 | #Constraints: 661767 223.84/224.60 c #Conflicts: 39000 | #Constraints: 662767 223.84/224.60 c #Conflicts: 40000 | #Constraints: 663767 223.84/224.60 c #Conflicts: 41000 | #Constraints: 664767 223.84/224.60 c INPROCESSING 223.84/224.60 c GARBAGE COLLECT 223.84/224.60 c rational objective 176.652 243.66/244.58 c #Conflicts: 42000 | #Constraints: 661569 243.66/244.58 c #Conflicts: 43000 | #Constraints: 662569 243.66/244.58 c #Conflicts: 44000 | #Constraints: 663569 243.66/244.58 c #Conflicts: 45000 | #Constraints: 664569 243.66/244.58 c #Conflicts: 46000 | #Constraints: 665569 243.66/244.58 c INPROCESSING 243.66/244.58 c GARBAGE COLLECT 243.66/244.58 c rational objective 176.659 281.32/282.31 c bounds 438 >= 28 @ 239.47 281.32/282.31 c bounds 437 >= 28 @ 240.261 281.32/282.31 c bounds 429 >= 28 @ 240.416 281.32/282.31 c bounds 428 >= 28 @ 241.357 281.32/282.31 c #Conflicts: 47000 | #Constraints: 662170 281.32/282.31 c bounds 427 >= 28 @ 247.33 281.32/282.31 c bounds 427 >= 30 @ 247.347 281.32/282.31 c bounds 427 >= 32 @ 247.366 281.32/282.31 c bounds 427 >= 34 @ 247.388 281.32/282.31 c bounds 427 >= 36 @ 247.412 281.32/282.31 c bounds 427 >= 38 @ 247.473 281.32/282.31 c bounds 427 >= 40 @ 248.82 281.32/282.31 c #Conflicts: 48000 | #Constraints: 663208 281.32/282.31 c bounds 427 >= 42 @ 251.713 281.32/282.31 c #Conflicts: 49000 | #Constraints: 664222 281.32/282.31 c #Conflicts: 50000 | #Constraints: 665222 281.32/282.31 c #Conflicts: 51000 | #Constraints: 666222 281.32/282.31 c INPROCESSING 281.32/282.31 c GARBAGE COLLECT 281.32/282.31 c rational objective 176.659 334.41/335.64 c #Conflicts: 52000 | #Constraints: 662641 334.41/335.64 c bounds 426 >= 42 @ 284.999 334.41/335.64 c #Conflicts: 53000 | #Constraints: 663659 334.41/335.64 c bounds 425 >= 42 @ 300.733 334.41/335.64 c bounds 425 >= 43 @ 300.757 334.41/335.64 c bounds 425 >= 44 @ 300.784 334.41/335.64 c bounds 425 >= 45 @ 300.818 334.41/335.64 c bounds 425 >= 46 @ 300.851 334.41/335.64 c bounds 425 >= 47 @ 300.876 334.41/335.64 c bounds 425 >= 48 @ 300.903 334.41/335.64 c bounds 425 >= 49 @ 300.932 334.41/335.64 c bounds 425 >= 50 @ 300.959 334.41/335.64 c bounds 425 >= 51 @ 300.988 334.41/335.64 c bounds 425 >= 52 @ 301.016 334.41/335.64 c bounds 425 >= 53 @ 301.044 334.41/335.64 c bounds 425 >= 54 @ 301.077 334.41/335.64 c bounds 425 >= 55 @ 301.107 334.41/335.64 c bounds 425 >= 56 @ 301.135 334.41/335.64 c bounds 425 >= 57 @ 301.169 334.41/335.64 c bounds 425 >= 58 @ 301.195 334.41/335.64 c bounds 425 >= 59 @ 301.224 334.41/335.64 c bounds 425 >= 60 @ 301.25 334.41/335.64 c bounds 425 >= 61 @ 301.282 334.41/335.64 c bounds 425 >= 62 @ 301.312 334.41/335.64 c bounds 425 >= 63 @ 301.393 334.41/335.64 c bounds 425 >= 64 @ 301.469 334.41/335.64 c bounds 425 >= 65 @ 301.519 334.41/335.64 c bounds 425 >= 66 @ 301.612 334.41/335.64 c bounds 425 >= 67 @ 306.576 334.41/335.64 c bounds 425 >= 68 @ 306.725 334.41/335.64 c bounds 425 >= 69 @ 307.389 334.41/335.64 c #Conflicts: 54000 | #Constraints: 664847 334.41/335.64 c bounds 425 >= 70 @ 308.346 334.41/335.64 c bounds 425 >= 71 @ 309.317 334.41/335.64 c bounds 425 >= 72 @ 310.694 334.41/335.64 c bounds 419 >= 72 @ 312.865 334.41/335.64 c bounds 419 >= 73 @ 314.406 334.41/335.64 c bounds 419 >= 74 @ 315.396 334.41/335.64 c #Conflicts: 55000 | #Constraints: 665954 334.41/335.64 c bounds 419 >= 75 @ 319.274 334.41/335.64 c #Conflicts: 56000 | #Constraints: 666983 334.41/335.64 c INPROCESSING 334.41/335.64 c GARBAGE COLLECT 334.41/335.64 c rational objective 176.659 460.71/462.45 c bounds 419 >= 76 @ 329.596 460.71/462.45 c #Conflicts: 57000 | #Constraints: 663167 460.71/462.45 c bounds 419 >= 77 @ 332.555 460.71/462.45 c bounds 419 >= 78 @ 338.905 460.71/462.45 c #Conflicts: 58000 | #Constraints: 664216 460.71/462.45 c bounds 417 >= 78 @ 339.374 460.71/462.45 c #Conflicts: 59000 | #Constraints: 665217 460.71/462.45 c bounds 417 >= 79 @ 349.462 460.71/462.45 c bounds 416 >= 79 @ 349.687 460.71/462.45 c bounds 413 >= 79 @ 352.236 460.71/462.45 c bounds 408 >= 79 @ 352.322 460.71/462.45 c #Conflicts: 60000 | #Constraints: 666262 460.71/462.45 c #Conflicts: 61000 | #Constraints: 667278 460.71/462.45 c INPROCESSING 460.71/462.45 c GARBAGE COLLECT 460.71/462.45 c #Conflicts: 62000 | #Constraints: 663259 460.71/462.45 c bounds 408 >= 80 @ 390.383 460.71/462.45 c #Conflicts: 63000 | #Constraints: 664289 460.71/462.45 c #Conflicts: 64000 | #Constraints: 665298 460.71/462.45 c #Conflicts: 65000 | #Constraints: 666310 460.71/462.45 c bounds 405 >= 80 @ 430.574 460.71/462.45 c #Conflicts: 66000 | #Constraints: 667319 460.71/462.45 c bounds 405 >= 81 @ 448.082 460.71/462.45 c INPROCESSING 460.71/462.45 c GARBAGE COLLECT 460.71/462.45 c rational objective 176.659 502.96/504.81 c #Conflicts: 67000 | #Constraints: 663123 502.96/504.81 c #Conflicts: 68000 | #Constraints: 664123 502.96/504.81 c bounds 405 >= 82 @ 462.105 502.96/504.81 c #Conflicts: 69000 | #Constraints: 665155 502.96/504.81 c #Conflicts: 70000 | #Constraints: 666155 502.96/504.81 c #Conflicts: 71000 | #Constraints: 667155 502.96/504.81 c bounds 405 >= 83 @ 481.677 502.96/504.81 c bounds 404 >= 83 @ 481.749 502.96/504.81 c #Conflicts: 72000 | #Constraints: 668188 502.96/504.81 c INPROCESSING 502.96/504.81 c GARBAGE COLLECT 502.96/504.81 c rational objective 176.659 564.63/566.72 c #Conflicts: 73000 | #Constraints: 663764 564.63/566.72 c #Conflicts: 74000 | #Constraints: 664764 564.63/566.72 c #Conflicts: 75000 | #Constraints: 665764 564.63/566.72 c bounds 404 >= 84 @ 519.212 564.63/566.72 c #Conflicts: 76000 | #Constraints: 666799 564.63/566.72 c bounds 401 >= 84 @ 533.899 564.63/566.72 c #Conflicts: 77000 | #Constraints: 667805 564.63/566.72 c bounds 399 >= 84 @ 538.024 564.63/566.72 c #Conflicts: 78000 | #Constraints: 668806 564.63/566.72 c INPROCESSING 564.63/566.72 c GARBAGE COLLECT 564.63/566.72 c rational objective 176.659 670.93/673.35 c #Conflicts: 79000 | #Constraints: 664211 670.93/673.35 c #Conflicts: 80000 | #Constraints: 665211 670.93/673.35 c #Conflicts: 81000 | #Constraints: 666218 670.93/673.35 c #Conflicts: 82000 | #Constraints: 667234 670.93/673.35 c #Conflicts: 83000 | #Constraints: 668254 670.93/673.35 c #Conflicts: 84000 | #Constraints: 669271 670.93/673.35 c INPROCESSING 670.93/673.35 c GARBAGE COLLECT 670.93/673.35 c rational objective 176.659 733.03/735.69 c #Conflicts: 85000 | #Constraints: 664434 733.03/735.69 c #Conflicts: 86000 | #Constraints: 665434 733.03/735.69 c #Conflicts: 87000 | #Constraints: 666434 733.03/735.69 c #Conflicts: 88000 | #Constraints: 667434 733.03/735.69 c bounds 399 >= 85 @ 694.503 733.03/735.69 c #Conflicts: 89000 | #Constraints: 668472 733.03/735.69 c #Conflicts: 90000 | #Constraints: 669472 733.03/735.69 c INPROCESSING 733.03/735.69 c GARBAGE COLLECT 733.03/735.69 c rational objective 176.659 805.26/808.19 c #Conflicts: 91000 | #Constraints: 664465 805.26/808.19 c #Conflicts: 92000 | #Constraints: 665465 805.26/808.19 c #Conflicts: 93000 | #Constraints: 666465 805.26/808.19 c bounds 399 >= 86 @ 753.182 805.26/808.19 c #Conflicts: 94000 | #Constraints: 667501 805.26/808.19 c #Conflicts: 95000 | #Constraints: 668508 805.26/808.19 c #Conflicts: 96000 | #Constraints: 669509 805.26/808.19 c INPROCESSING 805.26/808.19 c GARBAGE COLLECT 805.26/808.19 c rational objective 176.659 878.02/881.14 c bounds 398 >= 86 @ 792.973 878.02/881.14 c #Conflicts: 97000 | #Constraints: 664303 878.02/881.14 c bounds 397 >= 86 @ 797.818 878.02/881.14 c #Conflicts: 98000 | #Constraints: 665311 878.02/881.14 c #Conflicts: 99000 | #Constraints: 666311 878.02/881.14 c #Conflicts: 100000 | #Constraints: 667311 878.02/881.14 c #Conflicts: 101000 | #Constraints: 668311 878.02/881.14 c #Conflicts: 102000 | #Constraints: 669311 878.02/881.14 c #Conflicts: 103000 | #Constraints: 670311 878.02/881.14 c INPROCESSING 878.02/881.14 c GARBAGE COLLECT 878.02/881.14 c rational objective 176.659 999.23/1002.77 c bounds 396 >= 86 @ 862.266 999.23/1002.77 c bounds 395 >= 86 @ 865.092 999.23/1002.77 c #Conflicts: 104000 | #Constraints: 664918 999.23/1002.77 c bounds 394 >= 86 @ 869.768 999.23/1002.77 c #Conflicts: 105000 | #Constraints: 665939 999.23/1002.77 c bounds 392 >= 86 @ 887.883 999.23/1002.77 c #Conflicts: 106000 | #Constraints: 666954 999.23/1002.77 c #Conflicts: 107000 | #Constraints: 667967 999.23/1002.77 c #Conflicts: 108000 | #Constraints: 668978 999.23/1002.77 c #Conflicts: 109000 | #Constraints: 669989 999.23/1002.77 c #Conflicts: 110000 | #Constraints: 671002 999.23/1002.77 c INPROCESSING 999.23/1002.77 c GARBAGE COLLECT 999.23/1002.77 c rational objective 176.659 1087.07/1090.84 c #Conflicts: 111000 | #Constraints: 665333 1087.07/1090.84 c #Conflicts: 112000 | #Constraints: 666333 1087.07/1090.84 c #Conflicts: 113000 | #Constraints: 667333 1087.07/1090.84 c #Conflicts: 114000 | #Constraints: 668333 1087.07/1090.84 c bounds 392 >= 87 @ 1035.54 1087.07/1090.84 c #Conflicts: 115000 | #Constraints: 669371 1087.07/1090.84 c #Conflicts: 116000 | #Constraints: 670371 1087.07/1090.84 c #Conflicts: 117000 | #Constraints: 671371 1087.07/1090.84 c INPROCESSING 1087.07/1090.84 c GARBAGE COLLECT 1087.07/1090.84 c rational objective 176.659 1181.80/1185.81 c #Conflicts: 118000 | #Constraints: 665558 1181.80/1185.81 c #Conflicts: 119000 | #Constraints: 666558 1181.80/1185.81 c #Conflicts: 120000 | #Constraints: 667558 1181.80/1185.81 c #Conflicts: 121000 | #Constraints: 668558 1181.80/1185.81 c #Conflicts: 122000 | #Constraints: 669558 1181.80/1185.81 c bounds 392 >= 88 @ 1125.26 1181.80/1185.81 c #Conflicts: 123000 | #Constraints: 670605 1181.80/1185.81 c #Conflicts: 124000 | #Constraints: 671618 1181.80/1185.81 c bounds 391 >= 88 @ 1148.64 1181.80/1185.81 c INPROCESSING 1181.80/1185.81 c GARBAGE COLLECT 1181.80/1185.81 c rational objective 176.659 1307.13/1311.56 c #Conflicts: 125000 | #Constraints: 665598 1307.13/1311.56 c #Conflicts: 126000 | #Constraints: 666608 1307.13/1311.56 c #Conflicts: 127000 | #Constraints: 667618 1307.13/1311.56 c bounds 390 >= 88 @ 1213.68 1307.13/1311.56 c #Conflicts: 128000 | #Constraints: 668631 1307.13/1311.56 c #Conflicts: 129000 | #Constraints: 669631 1307.13/1311.56 c #Conflicts: 130000 | #Constraints: 670631 1307.13/1311.56 c #Conflicts: 131000 | #Constraints: 671631 1307.13/1311.56 c INPROCESSING 1307.13/1311.56 c GARBAGE COLLECT 1307.13/1311.56 c rational objective 176.659 1408.34/1413.02 c #Conflicts: 132000 | #Constraints: 665415 1408.34/1413.02 c #Conflicts: 133000 | #Constraints: 666415 1408.34/1413.02 c #Conflicts: 134000 | #Constraints: 667415 1408.34/1413.02 c #Conflicts: 135000 | #Constraints: 668415 1408.34/1413.02 c #Conflicts: 136000 | #Constraints: 669415 1408.34/1413.02 c #Conflicts: 137000 | #Constraints: 670415 1408.34/1413.02 c bounds 390 >= 89 @ 1359.65 1408.34/1413.02 c bounds 389 >= 89 @ 1360.35 1408.34/1413.02 c #Conflicts: 138000 | #Constraints: 671449 1408.34/1413.02 c #Conflicts: 139000 | #Constraints: 672455 1408.34/1413.02 c INPROCESSING 1408.34/1413.02 c GARBAGE COLLECT 1408.34/1413.02 c rational objective 176.659 1528.61/1533.66 c bounds 386 >= 89 @ 1385.59 1528.61/1533.66 c bounds 384 >= 89 @ 1386.67 1528.61/1533.66 c bounds 383 >= 89 @ 1386.7 1528.61/1533.66 c #Conflicts: 140000 | #Constraints: 666033 1528.61/1533.66 c #Conflicts: 141000 | #Constraints: 667048 1528.61/1533.66 c bounds 381 >= 89 @ 1408.27 1528.61/1533.66 c #Conflicts: 142000 | #Constraints: 668063 1528.61/1533.66 c #Conflicts: 143000 | #Constraints: 669073 1528.61/1533.66 c bounds 380 >= 89 @ 1441.01 1528.61/1533.66 c #Conflicts: 144000 | #Constraints: 670076 1528.61/1533.66 c #Conflicts: 145000 | #Constraints: 671076 1528.61/1533.66 c #Conflicts: 146000 | #Constraints: 672076 1528.61/1533.66 c #Conflicts: 147000 | #Constraints: 673076 1528.61/1533.66 c INPROCESSING 1528.61/1533.66 c GARBAGE COLLECT 1528.61/1533.66 c rational objective 176.659 1631.06/1636.35 c #Conflicts: 148000 | #Constraints: 666446 1631.06/1636.35 c #Conflicts: 149000 | #Constraints: 667446 1631.06/1636.35 c #Conflicts: 150000 | #Constraints: 668446 1631.06/1636.35 c #Conflicts: 151000 | #Constraints: 669446 1631.06/1636.35 c #Conflicts: 152000 | #Constraints: 670446 1631.06/1636.35 c #Conflicts: 153000 | #Constraints: 671446 1631.06/1636.35 c #Conflicts: 154000 | #Constraints: 672446 1631.06/1636.35 c #Conflicts: 155000 | #Constraints: 673446 1631.06/1636.35 c INPROCESSING 1631.06/1636.35 c GARBAGE COLLECT 1631.06/1636.35 c rational objective 176.659 1753.15/1758.79 c bounds 378 >= 89 @ 1604.95 1753.15/1758.79 c bounds 375 >= 89 @ 1615.8 1753.15/1758.79 c bounds 374 >= 89 @ 1619.72 1753.15/1758.79 c #Conflicts: 156000 | #Constraints: 666645 1753.15/1758.79 c bounds 372 >= 89 @ 1621.04 1753.15/1758.79 c bounds 371 >= 89 @ 1621.2 1753.15/1758.79 c #Conflicts: 157000 | #Constraints: 667647 1753.15/1758.79 c #Conflicts: 158000 | #Constraints: 668647 1753.15/1758.79 c #Conflicts: 159000 | #Constraints: 669647 1753.15/1758.79 c #Conflicts: 160000 | #Constraints: 670655 1753.15/1758.79 c bounds 370 >= 89 @ 1679.33 1753.15/1758.79 c #Conflicts: 161000 | #Constraints: 671657 1753.15/1758.79 c #Conflicts: 162000 | #Constraints: 672657 1753.15/1758.79 c #Conflicts: 163000 | #Constraints: 673657 1753.15/1758.79 c INPROCESSING 1753.15/1758.79 c GARBAGE COLLECT 1753.15/1758.79 c rational objective 176.659 1862.58/1868.43 c #Conflicts: 164000 | #Constraints: 666646 1862.58/1868.43 c #Conflicts: 165000 | #Constraints: 667646 1862.58/1868.43 c #Conflicts: 166000 | #Constraints: 668646 1862.58/1868.43 c #Conflicts: 167000 | #Constraints: 669646 1862.58/1868.43 c bounds 370 >= 90 @ 1771.96 1862.58/1868.43 c bounds 369 >= 90 @ 1772.01 1862.58/1868.43 c #Conflicts: 168000 | #Constraints: 670696 1862.58/1868.43 c #Conflicts: 169000 | #Constraints: 671710 1862.58/1868.43 c bounds 368 >= 90 @ 1801.96 1862.58/1868.43 c bounds 367 >= 90 @ 1802.06 1862.58/1868.43 c #Conflicts: 170000 | #Constraints: 672727 1862.58/1868.43 c bounds 366 >= 90 @ 1809.38 1862.58/1868.43 c #Conflicts: 171000 | #Constraints: 673728 1862.58/1868.43 c INPROCESSING 1862.58/1868.43 c GARBAGE COLLECT 1862.58/1868.43 c rational objective 176.659 2020.67/2026.93 c bounds 361 >= 90 @ 1832.61 2020.67/2026.93 c bounds 358 >= 90 @ 1832.64 2020.67/2026.93 c #Conflicts: 172000 | #Constraints: 666492 2020.67/2026.93 c #Conflicts: 173000 | #Constraints: 667492 2020.67/2026.93 c #Conflicts: 174000 | #Constraints: 668507 2020.67/2026.93 c #Conflicts: 175000 | #Constraints: 669524 2020.67/2026.93 c #Conflicts: 176000 | #Constraints: 670540 2020.67/2026.93 c #Conflicts: 177000 | #Constraints: 671547 2020.67/2026.93 c #Conflicts: 178000 | #Constraints: 672557 2020.67/2026.93 c #Conflicts: 179000 | #Constraints: 673564 2020.67/2026.93 c #Conflicts: 180000 | #Constraints: 674575 2020.67/2026.93 c INPROCESSING 2020.67/2026.93 c GARBAGE COLLECT 2020.67/2026.93 c rational objective 176.659 2139.48/2146.03 c #Conflicts: 181000 | #Constraints: 667119 2139.48/2146.03 c #Conflicts: 182000 | #Constraints: 668119 2139.48/2146.03 c #Conflicts: 183000 | #Constraints: 669119 2139.48/2146.03 c #Conflicts: 184000 | #Constraints: 670119 2139.48/2146.03 c #Conflicts: 185000 | #Constraints: 671119 2139.48/2146.03 c #Conflicts: 186000 | #Constraints: 672119 2139.48/2146.03 c #Conflicts: 187000 | #Constraints: 673119 2139.48/2146.03 c #Conflicts: 188000 | #Constraints: 674119 2139.48/2146.03 c #Conflicts: 189000 | #Constraints: 675119 2139.48/2146.03 c INPROCESSING 2139.48/2146.03 c GARBAGE COLLECT 2139.48/2146.03 c rational objective 176.669 2261.96/2268.88 c #Conflicts: 190000 | #Constraints: 667493 2261.96/2268.88 c #Conflicts: 191000 | #Constraints: 668493 2261.96/2268.88 c #Conflicts: 192000 | #Constraints: 669493 2261.96/2268.88 c #Conflicts: 193000 | #Constraints: 670493 2261.96/2268.88 c #Conflicts: 194000 | #Constraints: 671493 2261.96/2268.88 c #Conflicts: 195000 | #Constraints: 672493 2261.96/2268.88 c #Conflicts: 196000 | #Constraints: 673493 2261.96/2268.88 c #Conflicts: 197000 | #Constraints: 674493 2261.96/2268.88 c #Conflicts: 198000 | #Constraints: 675493 2261.96/2268.88 c INPROCESSING 2261.96/2268.88 c GARBAGE COLLECT 2261.96/2268.88 c rational objective 176.669 2440.11/2447.46 c #Conflicts: 199000 | #Constraints: 667685 2440.11/2447.46 c #Conflicts: 200000 | #Constraints: 668692 2440.11/2447.46 c #Conflicts: 201000 | #Constraints: 669697 2440.11/2447.46 c #Conflicts: 202000 | #Constraints: 670704 2440.11/2447.46 c bounds 357 >= 90 @ 2274.93 2440.11/2447.46 c #Conflicts: 203000 | #Constraints: 671713 2440.11/2447.46 c #Conflicts: 204000 | #Constraints: 672721 2440.11/2447.46 c #Conflicts: 205000 | #Constraints: 673731 2440.11/2447.46 c #Conflicts: 206000 | #Constraints: 674742 2440.11/2447.46 c #Conflicts: 207000 | #Constraints: 675749 2440.11/2447.46 c INPROCESSING 2440.11/2447.46 c GARBAGE COLLECT 2440.11/2447.46 c rational objective 176.669 2573.39/2581.08 c #Conflicts: 208000 | #Constraints: 667699 2573.39/2581.08 c #Conflicts: 209000 | #Constraints: 668699 2573.39/2581.08 c #Conflicts: 210000 | #Constraints: 669699 2573.39/2581.08 c #Conflicts: 211000 | #Constraints: 670699 2573.39/2581.08 c #Conflicts: 212000 | #Constraints: 671699 2573.39/2581.08 c #Conflicts: 213000 | #Constraints: 672699 2573.39/2581.08 c #Conflicts: 214000 | #Constraints: 673699 2573.39/2581.08 c #Conflicts: 215000 | #Constraints: 674699 2573.39/2581.08 c #Conflicts: 216000 | #Constraints: 675699 2573.39/2581.08 c INPROCESSING 2573.39/2581.08 c GARBAGE COLLECT 2573.39/2581.08 c rational objective 176.669 2781.66/2789.84 c bounds 353 >= 90 @ 2535.88 2781.66/2789.84 c #Conflicts: 217000 | #Constraints: 667493 2781.66/2789.84 c #Conflicts: 218000 | #Constraints: 668505 2781.66/2789.84 c #Conflicts: 219000 | #Constraints: 669515 2781.66/2789.84 c #Conflicts: 220000 | #Constraints: 670526 2781.66/2789.84 c #Conflicts: 221000 | #Constraints: 671533 2781.66/2789.84 c #Conflicts: 222000 | #Constraints: 672540 2781.66/2789.84 c #Conflicts: 223000 | #Constraints: 673547 2781.66/2789.84 c #Conflicts: 224000 | #Constraints: 674554 2781.66/2789.84 c #Conflicts: 225000 | #Constraints: 675563 2781.66/2789.84 c #Conflicts: 226000 | #Constraints: 676569 2781.66/2789.84 c INPROCESSING 2781.66/2789.84 c GARBAGE COLLECT 2781.66/2789.84 c rational objective 176.669 2932.48/2941.03 c #Conflicts: 227000 | #Constraints: 668115 2932.48/2941.03 c #Conflicts: 228000 | #Constraints: 669115 2932.48/2941.03 c #Conflicts: 229000 | #Constraints: 670115 2932.48/2941.03 c #Conflicts: 230000 | #Constraints: 671115 2932.48/2941.03 c #Conflicts: 231000 | #Constraints: 672115 2932.48/2941.03 c #Conflicts: 232000 | #Constraints: 673115 2932.48/2941.03 c #Conflicts: 233000 | #Constraints: 674115 2932.48/2941.03 c #Conflicts: 234000 | #Constraints: 675115 2932.48/2941.03 c bounds 353 >= 91 @ 2858.95 2932.48/2941.03 c #Conflicts: 235000 | #Constraints: 676144 2932.48/2941.03 c #Conflicts: 236000 | #Constraints: 677144 2932.48/2941.03 c INPROCESSING 2932.48/2941.03 c GARBAGE COLLECT 2932.48/2941.03 c rational objective 176.669 3081.69/3090.64 c #Conflicts: 237000 | #Constraints: 668525 3081.69/3090.64 c #Conflicts: 238000 | #Constraints: 669525 3081.69/3090.64 c #Conflicts: 239000 | #Constraints: 670525 3081.69/3090.64 c #Conflicts: 240000 | #Constraints: 671525 3081.69/3090.64 c #Conflicts: 241000 | #Constraints: 672525 3081.69/3090.64 c #Conflicts: 242000 | #Constraints: 673525 3081.69/3090.64 c #Conflicts: 243000 | #Constraints: 674525 3081.69/3090.64 c #Conflicts: 244000 | #Constraints: 675525 3081.69/3090.64 c #Conflicts: 245000 | #Constraints: 676525 3081.69/3090.64 c #Conflicts: 246000 | #Constraints: 677525 3081.69/3090.64 c INPROCESSING 3081.69/3090.64 c GARBAGE COLLECT 3081.69/3090.64 c rational objective 176.669 3242.48/3251.89 c #Conflicts: 247000 | #Constraints: 668732 3242.48/3251.89 c #Conflicts: 248000 | #Constraints: 669732 3242.48/3251.89 c #Conflicts: 249000 | #Constraints: 670732 3242.48/3251.89 c #Conflicts: 250000 | #Constraints: 671732 3242.48/3251.89 c #Conflicts: 251000 | #Constraints: 672732 3242.48/3251.89 c #Conflicts: 252000 | #Constraints: 673732 3242.48/3251.89 c #Conflicts: 253000 | #Constraints: 674732 3242.48/3251.89 c #Conflicts: 254000 | #Constraints: 675732 3242.48/3251.89 c #Conflicts: 255000 | #Constraints: 676732 3242.48/3251.89 c #Conflicts: 256000 | #Constraints: 677732 3242.48/3251.89 c bounds 353 >= 92 @ 3193.71 3242.48/3251.89 c INPROCESSING 3242.48/3251.89 c GARBAGE COLLECT 3242.48/3251.89 c rational objective 176.669 3458.03/3468.00 c #Conflicts: 257000 | #Constraints: 668758 3458.03/3468.00 c #Conflicts: 258000 | #Constraints: 669768 3458.03/3468.00 c #Conflicts: 259000 | #Constraints: 670777 3458.03/3468.00 c #Conflicts: 260000 | #Constraints: 671787 3458.03/3468.00 c #Conflicts: 261000 | #Constraints: 672800 3458.03/3468.00 c #Conflicts: 262000 | #Constraints: 673808 3458.03/3468.00 c #Conflicts: 263000 | #Constraints: 674819 3458.03/3468.00 c bounds 352 >= 92 @ 3320.74 3458.03/3468.00 c #Conflicts: 264000 | #Constraints: 675827 3458.03/3468.00 c #Conflicts: 265000 | #Constraints: 676827 3458.03/3468.00 c #Conflicts: 266000 | #Constraints: 677827 3458.03/3468.00 c INPROCESSING 3458.03/3468.00 c GARBAGE COLLECT 3458.03/3468.00 c rational objective 176.669 3600.06/3610.33 c #Conflicts: 267000 | #Constraints: 668590 3600.06/3610.33 c #Conflicts: 268000 | #Constraints: 669590 3600.06/3610.33 c #Conflicts: 269000 | #Constraints: 670590 3600.06/3610.33 c #Conflicts: 270000 | #Constraints: 671590 3600.06/3610.33 c #Conflicts: 271000 | #Constraints: 672590 3600.06/3610.33 c #Conflicts: 272000 | #Constraints: 673590 3600.06/3610.33 c #Conflicts: 273000 | #Constraints: 674590 3600.06/3610.33 c #Conflicts: 274000 | #Constraints: 675590 3600.06/3610.33 c #Conflicts: 275000 | #Constraints: 676590 3600.06/3610.33 c #Conflicts: 276000 | #Constraints: 677590 3600.06/3610.33 c Program interrupted by user. 3600.06/3610.33 c cpu time 3548.99 s 3600.06/3610.33 c deterministic time 524019815849 5.24e+11 3600.06/3610.33 c optimization time 140.698 s 3600.06/3610.33 c total solve time 3406 s 3600.06/3610.33 c core-guided solve time 1976.22 s 3600.06/3610.33 c propagation time 2091.67 s 3600.06/3610.33 c conflict analysis time 1057.12 s 3600.06/3610.33 c propagations 94767217 3600.06/3610.33 c resolve steps 3560535 3600.06/3610.33 c decisions 14975365 3600.06/3610.33 c conflicts 276193 3600.06/3610.33 c restarts 644 3600.06/3610.33 c inprocessing phases 43 3600.06/3610.33 c input clauses 657160 3600.06/3610.33 c input cardinalities 63 3600.06/3610.33 c input general constraints 776 3600.06/3610.33 c input average constraint length 6.02 3600.06/3610.33 c input average constraint degree 146.22 3600.06/3610.33 c learned clauses 102340 3600.06/3610.33 c learned cardinalities 4 3600.06/3610.33 c learned general constraints 174734 3600.06/3610.33 c learned average constraint length 4186.55 3600.06/3610.33 c learned average constraint degree 96589266823.77 3600.06/3610.33 c watched constraints 34315 3600.06/3610.33 c counting constraints 141195 3600.06/3610.33 c gcd simplifications 4571 3600.06/3610.33 c detected cardinalities 0 3600.06/3610.33 c weakened non-implied lits 444932514 3600.06/3610.33 c weakened non-implying lits 94576 3600.06/3610.33 c original variables 10000 3600.06/3610.33 c clausal propagations 19555497 3600.06/3610.33 c cardinality propagations 167701 3600.06/3610.33 c watched propagations 5256708 3600.06/3610.33 c counting propagations 68797158 3600.06/3610.33 c watch lookups 19843579627 3600.06/3610.33 c watch backjump lookups 19626702874 3600.06/3610.33 c watch checks 222977067798 3600.06/3610.33 c propagation checks 255417492874 3600.06/3610.33 c constraint additions 5934819763 3600.06/3610.33 c trail pops 110008705 3600.06/3610.33 c formula constraints 656900 3600.06/3610.33 c learned constraints 275336 3600.06/3610.33 c bound constraints 193 3600.06/3610.33 c core-guided constraints 906 3600.06/3610.33 c encountered formula constraints 1691219 3600.06/3610.33 c encountered learned constraints 1649648 3600.06/3610.33 c encountered bound constraints 9573 3600.06/3610.33 c encountered core-guided constraints 418647 3600.06/3610.33 c LP total time 727.683 s 3600.06/3610.33 c LP solve time 702.43 s 3600.06/3610.33 c LP constraints added 656929 3600.06/3610.33 c LP constraints removed 14 3600.06/3610.33 c LP pivots internal 276314 3600.06/3610.33 c LP pivots root 125311 3600.06/3610.33 c LP calls 1750 3600.06/3610.33 c LP optimalities 875 3600.06/3610.33 c LP no pivot count 281 3600.06/3610.33 c LP infeasibilities 871 3600.06/3610.33 c LP valid Farkas constraints 871 3600.06/3610.33 c LP learned Farkas constraints 871 3600.06/3610.33 c LP basis resets 0 3600.06/3610.33 c LP cycling count 0 3600.06/3610.33 c LP singular count 0 3600.06/3610.33 c LP no primal count 0 3600.06/3610.33 c LP no farkas count 0 3600.06/3610.33 c LP other issue count 0 3600.06/3610.33 c LP Gomory cuts 0 3600.06/3610.33 c LP learned cuts 29 3600.06/3610.33 c LP deleted cuts 14 3600.06/3610.33 c LP encountered Gomory constraints 0 3600.06/3610.33 c LP encountered Farkas constraints 64165 3600.06/3610.33 c LP encountered learned Farkas constraints 2605 3600.06/3610.33 c CG auxiliary variables introduced 323 3600.06/3610.33 c CG solutions found 193 3600.06/3610.33 c CG cores constructed 63 3600.06/3610.33 c CG core cardinality constraints returned 0 3600.06/3610.33 c CG unit cores 0 3600.06/3610.33 c CG single cores 57 3600.06/3610.33 c CG blocks removed during cardinality reduction 0 3600.06/3610.33 c CG first core best 0 3600.06/3610.33 c CG decision core best 0 3600.06/3610.33 c CG core reduction tie 6 3600.06/3610.33 c CG core degree average 1.00 3600.06/3610.33 c CG core slack average 865.19 3600.06/3610.33 s SATISFIABLE 3600.06/3610.33 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 -x9
ERROR: no interpretation found !
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: 64096 MiB (63615 MiB free)
memory of node 1: 64473 MiB (63838 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462574-1722340764/watcher-4462574-1722340764 -o /tmp/evaluation-result-4462574-1722340764/solver-4462574-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722340763-5678 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462574-1722340764 --lp-cut-gomory=0 HOME/instance-4462574-1722340764.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=5738, runsolver pid=5735
Current StackSize limit: 8192 KiB
[startup+0.100329 s]*
/proc/loadavg: 0.38 0.15 0.11 5/243 5743
/proc/meminfo: memFree=130508744/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=40828 memory=9320 CPUtime=0.06 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 1492 0 0 0 4 2 0 0 20 0 1 0 446592 41807872 2330 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 10207 2330 1394 992 0 2065 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9320 KiB
[startup+0.21233 s]*
/proc/loadavg: 0.38 0.15 0.11 4/241 5747
/proc/meminfo: memFree=130501216/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=40828 memory=11632 CPUtime=0.17 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 1573 0 0 0 12 5 0 0 20 0 1 0 446592 41807872 2908 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 10207 2908 1394 992 0 2065 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 11632 KiB
[startup+0.311285 s]*
/proc/loadavg: 0.38 0.15 0.11 4/241 5747
/proc/meminfo: memFree=130499740/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=41212 memory=11892 CPUtime=0.26 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 1614 0 0 0 19 7 0 0 20 0 1 0 446592 42201088 2973 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 10303 2973 1394 992 0 2161 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11892 KiB
[startup+0.700228 s]
/proc/loadavg: 0.38 0.15 0.11 4/241 5747
/proc/meminfo: memFree=130494600/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=42668 memory=14268 CPUtime=0.64 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 2204 0 0 0 45 19 0 0 20 0 1 0 446592 43692032 3567 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 10667 3567 1394 992 0 2525 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 14268 KiB
[startup+1.5003 s]
/proc/loadavg: 0.38 0.15 0.11 4/241 5747
/proc/meminfo: memFree=130479896/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=54080 memory=25960 CPUtime=1.44 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 4647 0 0 0 103 41 0 0 20 0 1 0 446592 55377920 6490 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 13520 6490 1394 992 0 5378 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 54080 KiB
Current children cumulated memory: 25960 KiB
[startup+3.11282 s]
/proc/loadavg: 0.38 0.15 0.11 5/246 5786
/proc/meminfo: memFree=130319804/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=207144 memory=176028 CPUtime=3.05 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 38460 0 0 0 224 81 0 0 20 0 1 0 446592 212115456 43941 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 51786 43941 1681 992 0 43644 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 207144 KiB
Current children cumulated memory: 176028 KiB
[startup+6.30028 s]
/proc/loadavg: 0.75 0.23 0.14 5/246 5786
/proc/meminfo: memFree=130031688/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=367240 memory=322452 CPUtime=6.23 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 61786 0 0 0 507 116 0 0 20 0 1 0 446592 376053760 80613 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 91810 80613 1822 992 0 83668 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 322452 KiB
[startup+12.7003 s]
/proc/loadavg: 1.09 0.31 0.16 5/246 5788
/proc/meminfo: memFree=129553720/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=446260 memory=399476 CPUtime=12.61 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 67284 0 0 0 1096 165 0 0 20 0 1 0 446592 456970240 99869 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 111565 99869 1891 992 0 103423 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 446260 KiB
Current children cumulated memory: 399476 KiB
[startup+25.5003 s]
/proc/loadavg: 1.96 0.54 0.24 5/250 5793
/proc/meminfo: memFree=129042988/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=554236 memory=452236 CPUtime=25.38 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 69638 0 0 0 2341 197 0 0 20 0 1 0 446592 567537664 113059 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 138559 113059 1891 992 0 130417 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 554236 KiB
Current children cumulated memory: 452236 KiB
[startup+51.1133 s]
/proc/loadavg: 3.06 0.92 0.37 6/250 5798
/proc/meminfo: memFree=127749716/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=686940 memory=602136 CPUtime=50.92 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 78150 0 0 0 4846 246 0 0 20 0 1 0 446592 703426560 150534 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 171735 150534 1907 992 0 163593 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 686940 KiB
Current children cumulated memory: 602136 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 1.44 0.58 5/251 5823
/proc/meminfo: memFree=125947756/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1040340 memory=832376 CPUtime=101.97 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 94670 0 0 0 9839 358 0 0 20 0 1 0 446592 1065308160 208094 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 260085 208094 1907 992 0 251943 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1040340 KiB
Current children cumulated memory: 832376 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 1.99 0.82 5/254 5836
/proc/meminfo: memFree=123759916/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1218660 memory=1080232 CPUtime=161.76 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 121067 0 0 0 15722 454 0 0 20 0 1 0 446592 1247907840 270058 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 304665 270058 1907 992 0 296523 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1218660 KiB
Current children cumulated memory: 1080232 KiB
[startup+222.3 s]
/proc/loadavg: 4.74 2.55 1.09 5/257 5850
/proc/meminfo: memFree=123036348/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1231492 memory=1098748 CPUtime=221.55 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 123572 0 0 0 21639 516 0 0 20 0 1 0 446592 1261047808 274687 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 307873 274687 1907 992 0 299731 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1231492 KiB
Current children cumulated memory: 1098748 KiB
[startup+282.3 s]
/proc/loadavg: 4.38 2.86 1.29 5/255 5860
/proc/meminfo: memFree=120951588/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1255532 memory=1134256 CPUtime=281.32 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 128642 0 0 0 27519 613 0 0 20 0 1 0 446592 1285664768 283564 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 313883 283564 1907 992 0 305741 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1255532 KiB
Current children cumulated memory: 1134256 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 3.11 1.48 5/254 5871
/proc/meminfo: memFree=118357192/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1562028 memory=1294564 CPUtime=341.08 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 147000 0 0 0 33343 765 0 0 20 0 1 0 446592 1599516672 323641 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 390507 323641 1907 992 0 382365 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 1562028 KiB
Current children cumulated memory: 1294564 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.29 1.65 5/252 5884
/proc/meminfo: memFree=116218116/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1586032 memory=1316568 CPUtime=400.86 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 151211 0 0 0 39229 857 0 0 20 0 1 0 446592 1624096768 329142 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 396508 329142 1907 992 0 388366 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1586032 KiB
Current children cumulated memory: 1316568 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.47 1.81 5/252 5894
/proc/meminfo: memFree=113151452/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=1621028 memory=1375308 CPUtime=460.61 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 157455 0 0 0 45114 947 0 0 20 0 1 0 446592 1659932672 343827 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 405257 343827 1907 992 0 397115 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.30 4.30 4.15 5/266 7101
/proc/meminfo: memFree=18172636/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2726436 memory=2579820 CPUtime=3153.21 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 333236 0 0 0 310723 4598 0 0 20 0 1 0 446592 2791870464 644955 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 681609 644955 1907 992 0 673467 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 2726436 KiB
Current children cumulated memory: 2579820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.29 4.16 5/267 7113
/proc/meminfo: memFree=15594432/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2726436 memory=2579820 CPUtime=3213.06 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 334245 0 0 0 316634 4672 0 0 20 0 1 0 446592 2791870464 644955 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 681609 644955 1907 992 0 673467 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 2726436 KiB
Current children cumulated memory: 2579820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.28 4.16 5/270 7128
/proc/meminfo: memFree=12782204/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2731572 memory=2579828 CPUtime=3272.9 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 335172 0 0 0 322548 4742 0 0 20 0 1 0 446592 2797129728 644957 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 682893 644957 1907 992 0 674751 0
Current children cumulated CPU time: 3272.9 s
Current children cumulated vsize: 2731572 KiB
Current children cumulated memory: 2579828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.24 4.16 5/271 7140
/proc/meminfo: memFree=10188796/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2731572 memory=2579828 CPUtime=3332.75 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 336217 0 0 0 328471 4804 0 0 20 0 1 0 446592 2797129728 644957 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 682893 644957 1907 992 0 674751 0
Current children cumulated CPU time: 3332.75 s
Current children cumulated vsize: 2731572 KiB
Current children cumulated memory: 2579828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.22 4.16 5/269 7533
/proc/meminfo: memFree=7870188/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2731572 memory=2579836 CPUtime=3392.6 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 337149 0 0 0 334402 4858 0 0 20 0 1 0 446592 2797129728 644959 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 682893 644959 1907 992 0 674751 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 2731572 KiB
Current children cumulated memory: 2579836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.21 4.16 5/269 7543
/proc/meminfo: memFree=5583084/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2733000 memory=2581896 CPUtime=3452.45 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 338239 0 0 0 340337 4908 0 0 20 0 1 0 446592 2798592000 645474 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 683250 645474 1907 992 0 675108 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 2733000 KiB
Current children cumulated memory: 2581896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/268 7555
/proc/meminfo: memFree=2713372/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591000 CPUtime=3512.29 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 340303 0 0 0 346239 4990 0 0 20 0 1 0 446592 2805547008 647750 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647750 1907 992 0 676806 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/263 7737
/proc/meminfo: memFree=552076/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3572.14 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 341260 0 0 0 352149 5065 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.15 4.17 4.15 4/258 7770
/proc/meminfo: memFree=908408/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3600.06 cores=1,3
/proc/5738/stat : 5738 (roundingsat) R 5735 5738 5666 0 -1 4194304 341874 0 0 0 354898 5108 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.14 4.17 4.15 2/258 7770
/proc/meminfo: memFree=797524/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3600.1 cores=1,3
/proc/5738/stat : 5738 (roundingsat) D 5735 5738 5666 0 -1 4194304 341882 0 1 0 354899 5111 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 256 0 0 25182210 0 0 0 17 1 0 0 162 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
??? kill 5738 sig 9
??? end of watcher thread
[startup+3706.94 s]
# the end of solver process 5738 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3549 s, system=51.1799 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.14 4.17 4.15 3/258 7770
/proc/meminfo: memFree=867292/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3600.1 cores=1,3
/proc/5738/stat : 5738 (roundingsat) D 5735 5738 5666 0 -1 4194304 341882 0 1 0 354899 5111 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 16 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591004 KiB
[startup+3612 s]*
/proc/loadavg: 4.14 4.17 4.15 2/258 7770
/proc/meminfo: memFree=822628/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3600.1 cores=1,3
/proc/5738/stat : 5738 (roundingsat) D 5735 5738 5666 0 -1 4194304 341882 0 1 0 354899 5111 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 162 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591004 KiB
[startup+3612.2 s]
/proc/loadavg: 4.14 4.17 4.15 2/258 7770
/proc/meminfo: memFree=822628/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3600.1 cores=1,3
/proc/5738/stat : 5738 (roundingsat) D 5735 5738 5666 0 -1 4194304 341882 0 1 0 354899 5111 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 162 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591004 KiB
[startup+3612.3 s]
/proc/loadavg: 4.14 4.17 4.15 2/258 7770
/proc/meminfo: memFree=822628/131655788 swapFree=131071996/131071996
[pid=5738] ppid=5735 vsize=2739792 memory=2591004 CPUtime=3600.1 cores=1,3
/proc/5738/stat : 5738 (roundingsat) D 5735 5738 5666 0 -1 4194304 341882 0 1 0 354899 5111 0 0 20 0 1 0 446592 2805547008 647751 134679101440 4194304 8255733 140721734807872 0 0 0 0 0 25182210 0 0 0 17 1 0 0 162 0 0 9037040 9046032 23973888 140721734812510 140721734812772 140721734812772 140721734819785 0
/proc/5738/statm: 684948 647751 1907 992 0 676806 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2739792 KiB
Current children cumulated memory: 2591004 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3706.94
CPU time (s): 3600.18
CPU user time (s): 3549
CPU system time (s): 51.1799
CPU usage (%): 97.1199
Max. virtual memory (cumulated for all children) (KiB): 2739792
Max. memory (cumulated for all children) (KiB): 2591004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549
system time used= 51.1799
maximum resident set size= 2591440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341882
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 114524880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11018
involuntary context switches= 7708
# summary of solver processes directly reported to runsolver:
# pid: 5738
# total CPU time (s): 3600.18
# total CPU user time (s): 3549
# total CPU system time (s): 51.1799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6808 second user time and 36.8499 second system time
The end
Begin job on nodeC012 at 2024-07-30 13:59:25 IDJOB=4462574 IDBENCH=147551 IDSOLVER=3089 FILE ID=nodeC012/4462574-1722340764 RUNJOBID= nodeC012-1722340763-5678 SLURM_JOB_ID= 8248992 Free space on /tmp= 723748 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462574-1722340764/watcher-4462574-1722340764 -o /tmp/evaluation-result-4462574-1722340764/solver-4462574-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722340763-5678 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462574-1722340764 --lp-cut-gomory=0 HOME/instance-4462574-1722340764.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e RANDOM SEED=1492646933 nodeC012.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.211 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 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.226 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.37 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.244 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 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 : 1246.569 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.37 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.207 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 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 : 1197.357 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.37 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.209 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 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.207 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130510884 kB MemAvailable: 130091720 kB Buffers: 38040 kB Cached: 339412 kB SwapCached: 0 kB Active: 127008 kB Inactive: 607088 kB Active(anon): 1420 kB Inactive(anon): 376544 kB Active(file): 125588 kB Inactive(file): 230544 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 41292 kB Writeback: 240 kB AnonPages: 355908 kB Mapped: 96748 kB Shmem: 21320 kB KReclaimable: 42516 kB Slab: 112688 kB SReclaimable: 42516 kB SUnreclaim: 70172 kB KernelStack: 3952 kB PageTables: 9864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 798232 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 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: 146248 kB DirectMap2M: 7098368 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723712 MiB End job on nodeC012 at 2024-07-30 15:01:12