| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 4141056 | 3600.11 | 3609.11 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
| MD5SUM | 5c8d8ce64a950076da07daccd75facb4 |
| 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 | 4052992 |
| Best CPU time to get the best result obtained on this benchmark | 71226.5 |
| 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 | 7812 |
| Total number of constraints | 284 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 284 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 540 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1450667950777 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1450667950777 |
| Number of bits of the biggest sum of numbers | 41 |
| 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 0.00/0.01 c #variables 7812 #constraints 316 1.47/1.51 c bounds - >= 0 @ 0.011088 1.47/1.51 c bounds 7346171 >= 0 @ 0.054388 1.47/1.51 c #Conflicts: 1000 | #Constraints: 1318 1.47/1.51 c #Conflicts: 2000 | #Constraints: 2321 1.47/1.51 c INPROCESSING 1.47/1.51 c GARBAGE COLLECT 1.47/1.51 c rational objective 3.08935e+06 4.26/4.30 c bounds 7278587 >= 0 @ 1.54221 4.26/4.30 c bounds 7203835 >= 0 @ 1.60204 4.26/4.30 c bounds 7180685 >= 0 @ 2.13006 4.26/4.30 c bounds 6986125 >= 0 @ 2.19739 4.26/4.30 c bounds 6986118 >= 0 @ 2.20412 4.26/4.30 c bounds 6986104 >= 0 @ 2.20883 4.26/4.30 c bounds 6985999 >= 0 @ 2.23734 4.26/4.30 c bounds 6985992 >= 0 @ 2.24229 4.26/4.30 c bounds 6985988 >= 0 @ 2.4479 4.26/4.30 c #Conflicts: 3000 | #Constraints: 2353 4.26/4.30 c #Conflicts: 4000 | #Constraints: 3359 4.26/4.30 c INPROCESSING 4.26/4.30 c GARBAGE COLLECT 4.26/4.30 c rational objective 3.09073e+06 8.36/8.44 c bounds 6984203 >= 0 @ 4.60791 8.36/8.44 c bounds 6984196 >= 0 @ 4.72048 8.36/8.44 c bounds 6883849 >= 0 @ 4.90428 8.36/8.44 c bounds 6819842 >= 0 @ 6.04253 8.36/8.44 c bounds 6819828 >= 0 @ 6.06693 8.36/8.44 c #Conflicts: 5000 | #Constraints: 2771 8.36/8.44 c #Conflicts: 6000 | #Constraints: 3774 8.36/8.44 c INPROCESSING 8.36/8.44 c GARBAGE COLLECT 8.36/8.44 c rational objective 3.1207e+06 12.25/12.38 c bounds 6819800 >= 0 @ 8.45095 12.25/12.38 c bounds 6819790 >= 0 @ 8.61704 12.25/12.38 c #Conflicts: 7000 | #Constraints: 2770 12.25/12.38 c bounds 6819789 >= 0 @ 9.37571 12.25/12.38 c bounds 6819733 >= 0 @ 9.60822 12.25/12.38 c bounds 6819621 >= 0 @ 9.7505 12.25/12.38 c #Conflicts: 8000 | #Constraints: 3774 12.25/12.38 c #Conflicts: 9000 | #Constraints: 4779 12.25/12.38 c INPROCESSING 12.25/12.38 c GARBAGE COLLECT 12.25/12.38 c rational objective 3.11938e+06 30.70/30.81 c bounds 6819595 >= 0 @ 12.5233 30.70/30.81 c bounds 6819589 >= 0 @ 12.7825 30.70/30.81 c bounds 6819585 >= 0 @ 12.8382 30.70/30.81 c bounds 6819581 >= 0 @ 12.8456 30.70/30.81 c bounds 6819559 >= 0 @ 12.8917 30.70/30.81 c bounds 6819555 >= 0 @ 12.9491 30.70/30.81 c bounds 6760169 >= 0 @ 13.3304 30.70/30.81 c bounds 6760161 >= 0 @ 13.3446 30.70/30.81 c bounds 6759147 >= 0 @ 13.588 30.70/30.81 c bounds 6758997 >= 0 @ 13.9785 30.70/30.81 c bounds 6758989 >= 0 @ 14.0001 30.70/30.81 c bounds 6758983 >= 0 @ 14.0261 30.70/30.81 c #Conflicts: 10000 | #Constraints: 3481 30.70/30.81 c #Conflicts: 11000 | #Constraints: 4483 30.70/30.81 c #Conflicts: 12000 | #Constraints: 5484 30.70/30.81 c INPROCESSING 30.70/30.81 c GARBAGE COLLECT 30.70/30.81 c bounds 6758973 >= 0 @ 17.2776 30.70/30.81 c bounds 6758959 >= 0 @ 17.3064 30.70/30.81 c bounds 6758941 >= 0 @ 17.8676 30.70/30.81 c bounds 6686237 >= 0 @ 17.9436 30.70/30.81 c bounds 6619094 >= 0 @ 18.4286 30.70/30.81 c bounds 6619062 >= 0 @ 19.4555 30.70/30.81 c bounds 6619054 >= 0 @ 19.7252 30.70/30.81 c bounds 6619054 >= 147456 @ 19.7284 30.70/30.81 c bounds 6613692 >= 147456 @ 19.7852 30.70/30.81 c bounds 6613690 >= 147456 @ 19.8238 30.70/30.81 c bounds 6613690 >= 266240 @ 19.827 30.70/30.81 c bounds 6613690 >= 388096 @ 19.8283 30.70/30.81 c bounds 6613690 >= 502784 @ 19.8298 30.70/30.81 c bounds 6613690 >= 617472 @ 19.8616 30.70/30.81 c #Conflicts: 13000 | #Constraints: 3945 30.70/30.81 c bounds 6460188 >= 617472 @ 19.9219 30.70/30.81 c bounds 6393628 >= 617472 @ 19.9297 30.70/30.81 c bounds 6320924 >= 617472 @ 19.9344 30.70/30.81 c bounds 6227740 >= 617472 @ 19.9414 30.70/30.81 c bounds 6127388 >= 617472 @ 19.9556 30.70/30.81 c bounds 6127387 >= 617472 @ 20.0789 30.70/30.81 c bounds 6127387 >= 717824 @ 20.1076 30.70/30.81 c #Conflicts: 14000 | #Constraints: 4955 30.70/30.81 c bounds 6046957 >= 717824 @ 21.9989 30.70/30.81 c bounds 6046954 >= 717824 @ 22.016 30.70/30.81 c bounds 5865706 >= 717824 @ 22.0305 30.70/30.81 c bounds 5693674 >= 717824 @ 22.0412 30.70/30.81 c bounds 5650659 >= 717824 @ 22.3616 30.70/30.81 c bounds 5650654 >= 717824 @ 22.69 30.70/30.81 c bounds 5644541 >= 717824 @ 22.7998 30.70/30.81 c bounds 5644531 >= 717824 @ 22.9316 30.70/30.81 c bounds 5644529 >= 717824 @ 22.9467 30.70/30.81 c bounds 5644525 >= 717824 @ 23.6982 30.70/30.81 c bounds 5644523 >= 717824 @ 23.8249 30.70/30.81 c #Conflicts: 15000 | #Constraints: 5973 30.70/30.81 c INPROCESSING 30.70/30.81 c GARBAGE COLLECT 30.70/30.81 c bounds 5644523 >= 799744 @ 25.1433 30.70/30.81 c #Conflicts: 16000 | #Constraints: 4170 30.70/30.81 c #Conflicts: 17000 | #Constraints: 5172 30.70/30.81 c #Conflicts: 18000 | #Constraints: 6177 30.70/30.81 c INPROCESSING 30.70/30.81 c GARBAGE COLLECT 30.70/30.81 c rational objective 3.11941e+06 71.59/71.85 c bounds 5644517 >= 799744 @ 31.0182 71.59/71.85 c bounds 5644516 >= 799744 @ 31.0589 71.59/71.85 c bounds 5644511 >= 799744 @ 31.8047 71.59/71.85 c bounds 5644506 >= 799744 @ 31.8181 71.59/71.85 c bounds 5644466 >= 799744 @ 32.0629 71.59/71.85 c bounds 5644451 >= 799744 @ 32.0776 71.59/71.85 c bounds 5571747 >= 799744 @ 32.094 71.59/71.85 c bounds 5571742 >= 799744 @ 32.5901 71.59/71.85 c bounds 5571736 >= 799744 @ 32.6219 71.59/71.85 c bounds 5571710 >= 799744 @ 32.702 71.59/71.85 c bounds 5571705 >= 799744 @ 32.7304 71.59/71.85 c #Conflicts: 19000 | #Constraints: 4213 71.59/71.85 c bounds 5571695 >= 799744 @ 33.4424 71.59/71.85 c #Conflicts: 20000 | #Constraints: 5215 71.59/71.85 c #Conflicts: 21000 | #Constraints: 6217 71.59/71.85 c INPROCESSING 71.59/71.85 c GARBAGE COLLECT 71.59/71.85 c bounds 5571684 >= 799744 @ 38.4634 71.59/71.85 c bounds 5571672 >= 799744 @ 38.4929 71.59/71.85 c bounds 5571670 >= 799744 @ 38.5327 71.59/71.85 c bounds 5571663 >= 799744 @ 38.858 71.59/71.85 c bounds 5571658 >= 799744 @ 39.0358 71.59/71.85 c bounds 5571653 >= 799744 @ 39.0528 71.59/71.85 c bounds 5571648 >= 799744 @ 39.0958 71.59/71.85 c bounds 5571642 >= 799744 @ 39.2054 71.59/71.85 c bounds 5571636 >= 799744 @ 39.69 71.59/71.85 c bounds 5571632 >= 799744 @ 39.7646 71.59/71.85 c bounds 5571614 >= 799744 @ 39.784 71.59/71.85 c #Conflicts: 22000 | #Constraints: 4016 71.59/71.85 c bounds 5562694 >= 799744 @ 40.7897 71.59/71.85 c #Conflicts: 23000 | #Constraints: 5022 71.59/71.85 c #Conflicts: 24000 | #Constraints: 6022 71.59/71.85 c #Conflicts: 25000 | #Constraints: 7022 71.59/71.85 c INPROCESSING 71.59/71.85 c GARBAGE COLLECT 71.59/71.85 c bounds 5562692 >= 799744 @ 46.8373 71.59/71.85 c bounds 5562604 >= 799744 @ 46.8542 71.59/71.85 c bounds 5562602 >= 799744 @ 46.866 71.59/71.85 c bounds 5562474 >= 799744 @ 47.1077 71.59/71.85 c bounds 5562464 >= 799744 @ 47.3179 71.59/71.85 c bounds 5562459 >= 799744 @ 47.6045 71.59/71.85 c bounds 5466389 >= 799744 @ 47.7743 71.59/71.85 c bounds 5466388 >= 799744 @ 48.407 71.59/71.85 c bounds 5466387 >= 799744 @ 48.4907 71.59/71.85 c bounds 5466379 >= 799744 @ 49.6071 71.59/71.85 c bounds 5466369 >= 799744 @ 49.6547 71.59/71.85 c bounds 5466347 >= 799744 @ 49.691 71.59/71.85 c #Conflicts: 26000 | #Constraints: 4628 71.59/71.85 c bounds 5466346 >= 799744 @ 51.7923 71.59/71.85 c #Conflicts: 27000 | #Constraints: 5631 71.59/71.85 c #Conflicts: 28000 | #Constraints: 6631 71.59/71.85 c #Conflicts: 29000 | #Constraints: 7631 71.59/71.85 c INPROCESSING 71.59/71.85 c GARBAGE COLLECT 71.59/71.85 c bounds 5466344 >= 799744 @ 58.3405 71.59/71.85 c bounds 5466333 >= 799744 @ 58.5497 71.59/71.85 c bounds 5466323 >= 799744 @ 58.8953 71.59/71.85 c bounds 5466321 >= 799744 @ 60.1424 71.59/71.85 c bounds 5466320 >= 799744 @ 60.7914 71.59/71.85 c bounds 5466315 >= 799744 @ 61.1441 71.59/71.85 c bounds 5466314 >= 799744 @ 61.2483 71.59/71.85 c bounds 5466301 >= 799744 @ 61.3084 71.59/71.85 c bounds 5466289 >= 799744 @ 61.3834 71.59/71.85 c #Conflicts: 30000 | #Constraints: 5027 71.59/71.85 c #Conflicts: 31000 | #Constraints: 6027 71.59/71.85 c #Conflicts: 32000 | #Constraints: 7027 71.59/71.85 c #Conflicts: 33000 | #Constraints: 8033 71.59/71.85 c INPROCESSING 71.59/71.85 c GARBAGE COLLECT 71.59/71.85 c rational objective 3.12174e+06 101.31/101.60 c bounds 5465265 >= 799744 @ 70.8942 101.31/101.60 c bounds 5465260 >= 799744 @ 71.2232 101.31/101.60 c bounds 5465246 >= 799744 @ 71.3272 101.31/101.60 c bounds 5465239 >= 799744 @ 71.3434 101.31/101.60 c bounds 5465183 >= 799744 @ 71.4779 101.31/101.60 c bounds 5401707 >= 799744 @ 72.2747 101.31/101.60 c bounds 5401702 >= 799744 @ 72.2996 101.31/101.60 c bounds 5401696 >= 799744 @ 73.0961 101.31/101.60 c bounds 5401694 >= 799744 @ 73.1533 101.31/101.60 c bounds 5401688 >= 799744 @ 73.4183 101.31/101.60 c bounds 5401686 >= 799744 @ 73.4433 101.31/101.60 c bounds 5401664 >= 799744 @ 73.5576 101.31/101.60 c bounds 5401648 >= 799744 @ 73.918 101.31/101.60 c bounds 5401638 >= 799744 @ 74.0103 101.31/101.60 c bounds 5401636 >= 799744 @ 75.5117 101.31/101.60 c bounds 5401629 >= 799744 @ 75.6969 101.31/101.60 c bounds 5401619 >= 799744 @ 75.7286 101.31/101.60 c #Conflicts: 34000 | #Constraints: 5255 101.31/101.60 c bounds 5401612 >= 799744 @ 76.5894 101.31/101.60 c bounds 5401611 >= 799744 @ 77.9599 101.31/101.60 c #Conflicts: 35000 | #Constraints: 6257 101.31/101.60 c #Conflicts: 36000 | #Constraints: 7257 101.31/101.60 c #Conflicts: 37000 | #Constraints: 8257 101.31/101.60 c INPROCESSING 101.31/101.60 c GARBAGE COLLECT 101.31/101.60 c bounds 5368867 >= 799744 @ 86.9308 101.31/101.60 c bounds 5327927 >= 799744 @ 87.3375 101.31/101.60 c bounds 5327925 >= 799744 @ 87.4213 101.31/101.60 c bounds 5327875 >= 799744 @ 87.5687 101.31/101.60 c bounds 5327871 >= 799744 @ 87.6025 101.31/101.60 c bounds 5327869 >= 799744 @ 87.6234 101.31/101.60 c bounds 5327848 >= 799744 @ 87.7989 101.31/101.60 c bounds 5327832 >= 799744 @ 88.3519 101.31/101.60 c #Conflicts: 38000 | #Constraints: 5228 101.31/101.60 c bounds 5327828 >= 799744 @ 90.3169 101.31/101.60 c bounds 5327826 >= 799744 @ 91.4879 101.31/101.60 c #Conflicts: 39000 | #Constraints: 6230 101.31/101.60 c #Conflicts: 40000 | #Constraints: 7234 101.31/101.60 c #Conflicts: 41000 | #Constraints: 8236 101.31/101.60 c INPROCESSING 101.31/101.60 c GARBAGE COLLECT 101.31/101.60 c rational objective 3.12866e+06 160.55/161.05 c bounds 5327812 >= 799744 @ 100.275 160.55/161.05 c bounds 5327807 >= 799744 @ 100.698 160.55/161.05 c bounds 5327788 >= 799744 @ 102.083 160.55/161.05 c bounds 5327783 >= 799744 @ 102.106 160.55/161.05 c #Conflicts: 42000 | #Constraints: 5034 160.55/161.05 c bounds 5327748 >= 799744 @ 102.887 160.55/161.05 c bounds 5327744 >= 799744 @ 103.012 160.55/161.05 c bounds 5327730 >= 799744 @ 103.182 160.55/161.05 c bounds 5327719 >= 799744 @ 103.421 160.55/161.05 c bounds 5327708 >= 799744 @ 103.443 160.55/161.05 c bounds 5327702 >= 799744 @ 103.768 160.55/161.05 c bounds 5327696 >= 799744 @ 103.883 160.55/161.05 c bounds 5327690 >= 799744 @ 104.17 160.55/161.05 c bounds 5327683 >= 799744 @ 104.282 160.55/161.05 c bounds 5327681 >= 799744 @ 104.306 160.55/161.05 c bounds 5327673 >= 799744 @ 105.074 160.55/161.05 c #Conflicts: 43000 | #Constraints: 6045 160.55/161.05 c #Conflicts: 44000 | #Constraints: 7045 160.55/161.05 c #Conflicts: 45000 | #Constraints: 8047 160.55/161.05 c #Conflicts: 46000 | #Constraints: 9050 160.55/161.05 c INPROCESSING 160.55/161.05 c GARBAGE COLLECT 160.55/161.05 c bounds 5327666 >= 799744 @ 116.152 160.55/161.05 c bounds 5327659 >= 799744 @ 116.171 160.55/161.05 c bounds 5327571 >= 799744 @ 116.891 160.55/161.05 c bounds 5327539 >= 799744 @ 116.944 160.55/161.05 c bounds 5327531 >= 799744 @ 117.03 160.55/161.05 c bounds 5320353 >= 799744 @ 117.169 160.55/161.05 c bounds 5222231 >= 799744 @ 117.242 160.55/161.05 c bounds 5222220 >= 799744 @ 117.581 160.55/161.05 c bounds 5222218 >= 799744 @ 117.789 160.55/161.05 c bounds 5222213 >= 799744 @ 118.507 160.55/161.05 c bounds 5222211 >= 799744 @ 118.614 160.55/161.05 c bounds 5222019 >= 799744 @ 118.692 160.55/161.05 c bounds 5222011 >= 799744 @ 119.321 160.55/161.05 c #Conflicts: 47000 | #Constraints: 5647 160.55/161.05 c bounds 5222006 >= 799744 @ 120.981 160.55/161.05 c bounds 5221995 >= 799744 @ 122.074 160.55/161.05 c bounds 5221984 >= 799744 @ 122.272 160.55/161.05 c bounds 5221973 >= 799744 @ 122.296 160.55/161.05 c bounds 5173845 >= 799744 @ 122.477 160.55/161.05 c #Conflicts: 48000 | #Constraints: 6657 160.55/161.05 c #Conflicts: 49000 | #Constraints: 7660 160.55/161.05 c #Conflicts: 50000 | #Constraints: 8660 160.55/161.05 c #Conflicts: 51000 | #Constraints: 9661 160.55/161.05 c INPROCESSING 160.55/161.05 c GARBAGE COLLECT 160.55/161.05 c bounds 5173834 >= 799744 @ 136.835 160.55/161.05 c bounds 5173812 >= 799744 @ 136.88 160.55/161.05 c bounds 5173768 >= 799744 @ 137.423 160.55/161.05 c bounds 5106193 >= 799744 @ 137.623 160.55/161.05 c bounds 5106105 >= 799744 @ 138.112 160.55/161.05 c bounds 5083085 >= 799744 @ 138.493 160.55/161.05 c bounds 5083053 >= 799744 @ 138.532 160.55/161.05 c bounds 5082989 >= 799744 @ 139.057 160.55/161.05 c bounds 5082979 >= 799744 @ 139.189 160.55/161.05 c bounds 5082968 >= 799744 @ 139.295 160.55/161.05 c bounds 5082904 >= 799744 @ 139.321 160.55/161.05 c bounds 5082903 >= 799744 @ 139.626 160.55/161.05 c bounds 5082885 >= 799744 @ 140.239 160.55/161.05 c bounds 5082883 >= 799744 @ 140.293 160.55/161.05 c bounds 5082881 >= 799744 @ 140.618 160.55/161.05 c bounds 5082873 >= 799744 @ 140.645 160.55/161.05 c #Conflicts: 52000 | #Constraints: 6049 160.55/161.05 c bounds 5082871 >= 799744 @ 141.779 160.55/161.05 c bounds 5082870 >= 799744 @ 141.915 160.55/161.05 c bounds 5082862 >= 799744 @ 142.084 160.55/161.05 c bounds 5082861 >= 799744 @ 142.309 160.55/161.05 c bounds 5082860 >= 799744 @ 143.561 160.55/161.05 c bounds 5082859 >= 799744 @ 143.723 160.55/161.05 c bounds 5082851 >= 799744 @ 144.081 160.55/161.05 c bounds 5082841 >= 799744 @ 144.246 160.55/161.05 c bounds 5082823 >= 799744 @ 145.327 160.55/161.05 c bounds 5082822 >= 799744 @ 145.536 160.55/161.05 c bounds 5082815 >= 799744 @ 145.573 160.55/161.05 c bounds 5082814 >= 799744 @ 145.669 160.55/161.05 c bounds 5082813 >= 799744 @ 146.647 160.55/161.05 c #Conflicts: 53000 | #Constraints: 7066 160.55/161.05 c #Conflicts: 54000 | #Constraints: 8066 160.55/161.05 c #Conflicts: 55000 | #Constraints: 9068 160.55/161.05 c #Conflicts: 56000 | #Constraints: 10073 160.55/161.05 c INPROCESSING 160.55/161.05 c GARBAGE COLLECT 160.55/161.05 c rational objective 3.12869e+06 196.57/197.11 c bounds 5082812 >= 799744 @ 159.355 196.57/197.11 c bounds 4993724 >= 799744 @ 159.422 196.57/197.11 c bounds 4993723 >= 799744 @ 159.786 196.57/197.11 c bounds 4993717 >= 799744 @ 160.06 196.57/197.11 c bounds 4993716 >= 799744 @ 160.096 196.57/197.11 c bounds 4919988 >= 799744 @ 160.611 196.57/197.11 c bounds 4919980 >= 799744 @ 160.749 196.57/197.11 c bounds 4919974 >= 799744 @ 160.77 196.57/197.11 c bounds 4919973 >= 799744 @ 161.856 196.57/197.11 c bounds 4919972 >= 799744 @ 161.88 196.57/197.11 c bounds 4919969 >= 799744 @ 162.528 196.57/197.11 c bounds 4919968 >= 799744 @ 162.562 196.57/197.11 c bounds 4919967 >= 799744 @ 162.644 196.57/197.11 c bounds 4919963 >= 799744 @ 163.911 196.57/197.11 c bounds 4919955 >= 799744 @ 164.016 196.57/197.11 c bounds 4919949 >= 799744 @ 164.039 196.57/197.11 c bounds 4919943 >= 799744 @ 164.249 196.57/197.11 c bounds 4919931 >= 799744 @ 164.274 196.57/197.11 c #Conflicts: 57000 | #Constraints: 6273 196.57/197.11 c bounds 4919907 >= 799744 @ 165.351 196.57/197.11 c bounds 4919905 >= 799744 @ 165.615 196.57/197.11 c bounds 4919901 >= 799744 @ 165.915 196.57/197.11 c bounds 4919709 >= 799744 @ 165.941 196.57/197.11 c bounds 4919679 >= 799744 @ 166.155 196.57/197.11 c bounds 4919675 >= 799744 @ 166.483 196.57/197.11 c bounds 4919671 >= 799744 @ 168.925 196.57/197.11 c #Conflicts: 58000 | #Constraints: 7281 196.57/197.11 c #Conflicts: 59000 | #Constraints: 8284 196.57/197.11 c #Conflicts: 60000 | #Constraints: 9285 196.57/197.11 c #Conflicts: 61000 | #Constraints: 10285 196.57/197.11 c INPROCESSING 196.57/197.11 c GARBAGE COLLECT 196.57/197.11 c bounds 4919657 >= 799744 @ 180.607 196.57/197.11 c #Conflicts: 62000 | #Constraints: 6257 196.57/197.11 c bounds 4919643 >= 799744 @ 183.022 196.57/197.11 c #Conflicts: 63000 | #Constraints: 7260 196.57/197.11 c #Conflicts: 64000 | #Constraints: 8262 196.57/197.11 c #Conflicts: 65000 | #Constraints: 9263 196.57/197.11 c #Conflicts: 66000 | #Constraints: 10266 196.57/197.11 c INPROCESSING 196.57/197.11 c GARBAGE COLLECT 196.57/197.11 c rational objective 3.12873e+06 215.22/215.86 c #Conflicts: 67000 | #Constraints: 6065 215.22/215.86 c bounds 4919634 >= 799744 @ 196.87 215.22/215.86 c bounds 4919624 >= 799744 @ 196.892 215.22/215.86 c bounds 4919623 >= 799744 @ 196.993 215.22/215.86 c bounds 4919615 >= 799744 @ 197.477 215.22/215.86 c bounds 4919608 >= 799744 @ 197.623 215.22/215.86 c bounds 4919601 >= 799744 @ 197.681 215.22/215.86 c bounds 4919593 >= 799744 @ 197.779 215.22/215.86 c bounds 4919555 >= 799744 @ 198.242 215.22/215.86 c bounds 4919547 >= 799744 @ 198.295 215.22/215.86 c bounds 4919540 >= 799744 @ 199.072 215.22/215.86 c bounds 4919532 >= 799744 @ 200.139 215.22/215.86 c bounds 4919516 >= 799744 @ 200.519 215.22/215.86 c bounds 4919504 >= 799744 @ 200.594 215.22/215.86 c #Conflicts: 68000 | #Constraints: 7078 215.22/215.86 c bounds 4919498 >= 799744 @ 201.147 215.22/215.86 c bounds 4919480 >= 799744 @ 201.302 215.22/215.86 c bounds 4918712 >= 799744 @ 201.691 215.22/215.86 c #Conflicts: 69000 | #Constraints: 8082 215.22/215.86 c #Conflicts: 70000 | #Constraints: 9084 215.22/215.86 c #Conflicts: 71000 | #Constraints: 10087 215.22/215.86 c #Conflicts: 72000 | #Constraints: 11089 215.22/215.86 c INPROCESSING 215.22/215.86 c GARBAGE COLLECT 215.22/215.86 c rational objective 3.12874e+06 237.57/238.20 c bounds 4917176 >= 799744 @ 214.292 237.57/238.20 c bounds 4914104 >= 799744 @ 214.89 237.57/238.20 c #Conflicts: 73000 | #Constraints: 6670 237.57/238.20 c bounds 4831170 >= 799744 @ 217.091 237.57/238.20 c #Conflicts: 74000 | #Constraints: 7684 237.57/238.20 c bounds 4830882 >= 799744 @ 222.388 237.57/238.20 c #Conflicts: 75000 | #Constraints: 8687 237.57/238.20 c #Conflicts: 76000 | #Constraints: 9687 237.57/238.20 c #Conflicts: 77000 | #Constraints: 10687 237.57/238.20 c bounds 4830882 >= 865280 @ 230.961 237.57/238.20 c bounds 4830881 >= 865280 @ 231.494 237.57/238.20 c bounds 4757153 >= 865280 @ 231.652 237.57/238.20 c bounds 4757144 >= 865280 @ 233.014 237.57/238.20 c #Conflicts: 78000 | #Constraints: 11697 237.57/238.20 c INPROCESSING 237.57/238.20 c GARBAGE COLLECT 237.57/238.20 c rational objective 3.12935e+06 257.33/258.02 c bounds 4757143 >= 865280 @ 236.271 257.33/258.02 c #Conflicts: 79000 | #Constraints: 7066 257.33/258.02 c #Conflicts: 80000 | #Constraints: 8073 257.33/258.02 c #Conflicts: 81000 | #Constraints: 9074 257.33/258.02 c #Conflicts: 82000 | #Constraints: 10079 257.33/258.02 c #Conflicts: 83000 | #Constraints: 11081 257.33/258.02 c #Conflicts: 84000 | #Constraints: 12205 257.33/258.02 c INPROCESSING 257.33/258.02 c GARBAGE COLLECT 257.33/258.02 c rational objective 3.12935e+06 283.96/284.72 c #Conflicts: 85000 | #Constraints: 7344 283.96/284.72 c bounds 4757142 >= 865280 @ 261.331 283.96/284.72 c bounds 4757134 >= 865280 @ 261.379 283.96/284.72 c #Conflicts: 86000 | #Constraints: 8354 283.96/284.72 c bounds 4757133 >= 865280 @ 263.565 283.96/284.72 c bounds 4757126 >= 865280 @ 263.678 283.96/284.72 c bounds 4757124 >= 865280 @ 263.841 283.96/284.72 c bounds 4757123 >= 865280 @ 264.033 283.96/284.72 c bounds 4757120 >= 865280 @ 264.379 283.96/284.72 c bounds 4757119 >= 865280 @ 264.443 283.96/284.72 c bounds 4757115 >= 865280 @ 264.467 283.96/284.72 c bounds 4757113 >= 865280 @ 264.976 283.96/284.72 c bounds 4757097 >= 865280 @ 268.012 283.96/284.72 c #Conflicts: 87000 | #Constraints: 9363 283.96/284.72 c bounds 4757089 >= 865280 @ 272.594 283.96/284.72 c #Conflicts: 88000 | #Constraints: 10364 283.96/284.72 c #Conflicts: 89000 | #Constraints: 11366 283.96/284.72 c #Conflicts: 90000 | #Constraints: 12367 283.96/284.72 c INPROCESSING 283.96/284.72 c GARBAGE COLLECT 283.96/284.72 c rational objective 3.1305e+06 454.17/455.37 c bounds 4757080 >= 865280 @ 283.784 454.17/455.37 c #Conflicts: 91000 | #Constraints: 7305 454.17/455.37 c #Conflicts: 92000 | #Constraints: 8306 454.17/455.37 c #Conflicts: 93000 | #Constraints: 9309 454.17/455.37 c #Conflicts: 94000 | #Constraints: 10309 454.17/455.37 c #Conflicts: 95000 | #Constraints: 11313 454.17/455.37 c #Conflicts: 96000 | #Constraints: 12313 454.17/455.37 c INPROCESSING 454.17/455.37 c GARBAGE COLLECT 454.17/455.37 c bounds 4690232 >= 865280 @ 308.747 454.17/455.37 c #Conflicts: 97000 | #Constraints: 7095 454.17/455.37 c bounds 4690104 >= 865280 @ 310.576 454.17/455.37 c bounds 4690072 >= 865280 @ 310.667 454.17/455.37 c bounds 4690064 >= 865280 @ 311.104 454.17/455.37 c bounds 4690000 >= 865280 @ 311.477 454.17/455.37 c bounds 4689808 >= 865280 @ 314.05 454.17/455.37 c #Conflicts: 98000 | #Constraints: 8100 454.17/455.37 c bounds 4689322 >= 865280 @ 315.898 454.17/455.37 c bounds 4689316 >= 865280 @ 315.93 454.17/455.37 c bounds 4689304 >= 865280 @ 316.055 454.17/455.37 c bounds 4689298 >= 865280 @ 316.59 454.17/455.37 c bounds 4689292 >= 865280 @ 316.68 454.17/455.37 c #Conflicts: 99000 | #Constraints: 9107 454.17/455.37 c #Conflicts: 100000 | #Constraints: 10109 454.17/455.37 c bounds 4689290 >= 865280 @ 324.357 454.17/455.37 c #Conflicts: 101000 | #Constraints: 11112 454.17/455.37 c #Conflicts: 102000 | #Constraints: 12113 454.17/455.37 c #Conflicts: 103000 | #Constraints: 13117 454.17/455.37 c INPROCESSING 454.17/455.37 c GARBAGE COLLECT 454.17/455.37 c bounds 4689280 >= 865280 @ 336.175 454.17/455.37 c bounds 4637245 >= 865280 @ 336.25 454.17/455.37 c bounds 4637221 >= 865280 @ 337.017 454.17/455.37 c bounds 4636773 >= 865280 @ 337.393 454.17/455.37 c bounds 4636757 >= 865280 @ 337.426 454.17/455.37 c bounds 4636749 >= 865280 @ 337.453 454.17/455.37 c bounds 4636717 >= 865280 @ 337.58 454.17/455.37 c #Conflicts: 104000 | #Constraints: 7691 454.17/455.37 c bounds 4636714 >= 865280 @ 339.576 454.17/455.37 c bounds 4636708 >= 865280 @ 339.688 454.17/455.37 c bounds 4636700 >= 865280 @ 339.756 454.17/455.37 c bounds 4636691 >= 865280 @ 340.742 454.17/455.37 c #Conflicts: 105000 | #Constraints: 8695 454.17/455.37 c #Conflicts: 106000 | #Constraints: 9695 454.17/455.37 c #Conflicts: 107000 | #Constraints: 10696 454.17/455.37 c #Conflicts: 108000 | #Constraints: 11696 454.17/455.37 c #Conflicts: 109000 | #Constraints: 12696 454.17/455.37 c #Conflicts: 110000 | #Constraints: 13696 454.17/455.37 c INPROCESSING 454.17/455.37 c GARBAGE COLLECT 454.17/455.37 c bounds 4614163 >= 865280 @ 395.904 454.17/455.37 c bounds 4614160 >= 865280 @ 396.188 454.17/455.37 c #Conflicts: 111000 | #Constraints: 8082 454.17/455.37 c bounds 4614157 >= 865280 @ 397.813 454.17/455.37 c bounds 4614149 >= 865280 @ 397.854 454.17/455.37 c bounds 4614143 >= 865280 @ 398.169 454.17/455.37 c bounds 4614131 >= 865280 @ 398.317 454.17/455.37 c bounds 4614123 >= 865280 @ 398.39 454.17/455.37 c bounds 4614115 >= 865280 @ 398.442 454.17/455.37 c bounds 4614107 >= 865280 @ 398.559 454.17/455.37 c bounds 4614083 >= 865280 @ 398.628 454.17/455.37 c bounds 4614075 >= 865280 @ 398.667 454.17/455.37 c bounds 4614070 >= 865280 @ 400.224 454.17/455.37 c bounds 4613990 >= 865280 @ 400.253 454.17/455.37 c #Conflicts: 112000 | #Constraints: 9094 454.17/455.37 c bounds 4613985 >= 865280 @ 404.605 454.17/455.37 c bounds 4613980 >= 865280 @ 404.659 454.17/455.37 c bounds 4613975 >= 865280 @ 405.171 454.17/455.37 c bounds 4613965 >= 865280 @ 405.212 454.17/455.37 c #Conflicts: 113000 | #Constraints: 10100 454.17/455.37 c bounds 4613960 >= 865280 @ 410.95 454.17/455.37 c bounds 4613812 >= 865280 @ 411.385 454.17/455.37 c bounds 4613809 >= 865280 @ 411.458 454.17/455.37 c bounds 4613791 >= 865280 @ 412.142 454.17/455.37 c #Conflicts: 114000 | #Constraints: 11108 454.17/455.37 c bounds 4613788 >= 865280 @ 412.809 454.17/455.37 c bounds 4613785 >= 865280 @ 412.853 454.17/455.37 c #Conflicts: 115000 | #Constraints: 12110 454.17/455.37 c bounds 4613713 >= 865280 @ 419.694 454.17/455.37 c bounds 4613707 >= 865280 @ 419.805 454.17/455.37 c bounds 4613699 >= 865280 @ 420.556 454.17/455.37 c bounds 4613696 >= 865280 @ 420.906 454.17/455.37 c bounds 4613687 >= 865280 @ 420.961 454.17/455.37 c bounds 4613679 >= 865280 @ 421.371 454.17/455.37 c bounds 4613671 >= 865280 @ 421.947 454.17/455.37 c bounds 4613663 >= 865280 @ 422.003 454.17/455.37 c bounds 4613647 >= 865280 @ 422.756 454.17/455.37 c bounds 4613639 >= 865280 @ 422.814 454.17/455.37 c bounds 4613634 >= 865280 @ 425.543 454.17/455.37 c bounds 4613625 >= 865280 @ 425.65 454.17/455.37 c #Conflicts: 116000 | #Constraints: 13122 454.17/455.37 c bounds 4613481 >= 865280 @ 426.964 454.17/455.37 c bounds 4613476 >= 865280 @ 427.067 454.17/455.37 c bounds 4613092 >= 865280 @ 428.112 454.17/455.37 c bounds 4613089 >= 865280 @ 429.587 454.17/455.37 c bounds 4613017 >= 865280 @ 429.753 454.17/455.37 c bounds 4613008 >= 865280 @ 429.834 454.17/455.37 c #Conflicts: 117000 | #Constraints: 14128 454.17/455.37 c INPROCESSING 454.17/455.37 c GARBAGE COLLECT 454.17/455.37 c #Conflicts: 118000 | #Constraints: 8261 454.17/455.37 c #Conflicts: 119000 | #Constraints: 9264 454.17/455.37 c #Conflicts: 120000 | #Constraints: 10264 454.17/455.37 c #Conflicts: 121000 | #Constraints: 11267 621.77/623.39 c #Conflicts: 122000 | #Constraints: 12269 621.77/623.39 c #Conflicts: 123000 | #Constraints: 13271 621.77/623.39 c #Conflicts: 124000 | #Constraints: 14272 621.77/623.39 c INPROCESSING 621.77/623.39 c GARBAGE COLLECT 621.77/623.39 c #Conflicts: 125000 | #Constraints: 8269 621.77/623.39 c bounds 4612980 >= 865280 @ 476.341 621.77/623.39 c bounds 4612966 >= 865280 @ 476.391 621.77/623.39 c bounds 4612910 >= 865280 @ 478.113 621.77/623.39 c bounds 4612901 >= 865280 @ 478.238 621.77/623.39 c bounds 4612883 >= 865280 @ 478.294 621.77/623.39 c #Conflicts: 126000 | #Constraints: 9279 621.77/623.39 c bounds 4612847 >= 865280 @ 483.126 621.77/623.39 c bounds 4612775 >= 865280 @ 484.986 621.77/623.39 c bounds 4612631 >= 865280 @ 485.036 621.77/623.39 c #Conflicts: 127000 | #Constraints: 10286 621.77/623.39 c bounds 4612343 >= 865280 @ 487.777 621.77/623.39 c #Conflicts: 128000 | #Constraints: 11291 621.77/623.39 c bounds 4612329 >= 865280 @ 494.624 621.77/623.39 c bounds 4612324 >= 865280 @ 494.724 621.77/623.39 c bounds 4612315 >= 865280 @ 496.883 621.77/623.39 c #Conflicts: 129000 | #Constraints: 12296 621.77/623.39 c #Conflicts: 130000 | #Constraints: 13297 621.77/623.39 c bounds 4612287 >= 865280 @ 509.566 621.77/623.39 c #Conflicts: 131000 | #Constraints: 14302 621.77/623.39 c INPROCESSING 621.77/623.39 c GARBAGE COLLECT 621.77/623.39 c #Conflicts: 132000 | #Constraints: 8073 621.77/623.39 c #Conflicts: 133000 | #Constraints: 9073 621.77/623.39 c #Conflicts: 134000 | #Constraints: 10076 621.77/623.39 c #Conflicts: 135000 | #Constraints: 11076 621.77/623.39 c #Conflicts: 136000 | #Constraints: 12076 621.77/623.39 c #Conflicts: 137000 | #Constraints: 13076 621.77/623.39 c #Conflicts: 138000 | #Constraints: 14076 621.77/623.39 c #Conflicts: 139000 | #Constraints: 15080 621.77/623.39 c INPROCESSING 621.77/623.39 c GARBAGE COLLECT 621.77/623.39 c bounds 4612259 >= 865280 @ 573.742 621.77/623.39 c bounds 4612217 >= 865280 @ 575.34 621.77/623.39 c bounds 4612203 >= 865280 @ 575.387 621.77/623.39 c #Conflicts: 140000 | #Constraints: 8685 621.77/623.39 c #Conflicts: 141000 | #Constraints: 9685 621.77/623.39 c #Conflicts: 142000 | #Constraints: 10690 621.77/623.39 c #Conflicts: 143000 | #Constraints: 11690 621.77/623.39 c bounds 4612163 >= 865280 @ 593.664 621.77/623.39 c bounds 4612153 >= 865280 @ 596.524 621.77/623.39 c bounds 4612133 >= 865280 @ 596.598 621.77/623.39 c #Conflicts: 144000 | #Constraints: 12695 621.77/623.39 c bounds 4612049 >= 865280 @ 603.817 621.77/623.39 c bounds 4612035 >= 865280 @ 603.9 621.77/623.39 c #Conflicts: 145000 | #Constraints: 13699 621.77/623.39 c #Conflicts: 146000 | #Constraints: 14702 621.77/623.39 c #Conflicts: 147000 | #Constraints: 15702 621.77/623.39 c INPROCESSING 621.77/623.39 c GARBAGE COLLECT 621.77/623.39 c rational objective 3.13052e+06 969.31/971.78 c #Conflicts: 148000 | #Constraints: 9072 969.31/971.78 c #Conflicts: 149000 | #Constraints: 10075 969.31/971.78 c #Conflicts: 150000 | #Constraints: 11075 969.31/971.78 c #Conflicts: 151000 | #Constraints: 12075 969.31/971.78 c #Conflicts: 152000 | #Constraints: 13076 969.31/971.78 c #Conflicts: 153000 | #Constraints: 14076 969.31/971.78 c #Conflicts: 154000 | #Constraints: 15076 969.31/971.78 c #Conflicts: 155000 | #Constraints: 16076 969.31/971.78 c INPROCESSING 969.31/971.78 c GARBAGE COLLECT 969.31/971.78 c bounds 4612021 >= 865280 @ 725.173 969.31/971.78 c bounds 4611811 >= 865280 @ 728.039 969.31/971.78 c bounds 4611797 >= 865280 @ 728.126 969.31/971.78 c #Conflicts: 156000 | #Constraints: 9276 969.31/971.78 c bounds 4611285 >= 865280 @ 734.539 969.31/971.78 c bounds 4611279 >= 865280 @ 734.636 969.31/971.78 c bounds 4611243 >= 865280 @ 735.173 969.31/971.78 c bounds 4611225 >= 865280 @ 735.234 969.31/971.78 c bounds 4611153 >= 865280 @ 737.215 969.31/971.78 c bounds 4610865 >= 865280 @ 737.778 969.31/971.78 c bounds 4610289 >= 865280 @ 737.885 969.31/971.78 c #Conflicts: 157000 | #Constraints: 10285 969.31/971.78 c bounds 4610161 >= 865280 @ 739.913 969.31/971.78 c bounds 4610145 >= 865280 @ 740.063 969.31/971.78 c bounds 4610137 >= 865280 @ 740.23 969.31/971.78 c bounds 4610129 >= 865280 @ 741.082 969.31/971.78 c bounds 4610105 >= 865280 @ 741.273 969.31/971.78 c bounds 4610096 >= 865280 @ 741.502 969.31/971.78 c bounds 4610079 >= 865280 @ 741.598 969.31/971.78 c bounds 4610061 >= 865280 @ 744.276 969.31/971.78 c bounds 4609997 >= 865280 @ 744.81 969.31/971.78 c bounds 4609961 >= 865280 @ 746.744 969.31/971.78 c bounds 4609953 >= 865280 @ 749.003 969.31/971.78 c bounds 4609944 >= 865280 @ 749.115 969.31/971.78 c bounds 4609939 >= 865280 @ 749.224 969.31/971.78 c bounds 4609929 >= 865280 @ 749.571 969.31/971.78 c bounds 4609920 >= 865280 @ 749.708 969.31/971.78 c #Conflicts: 158000 | #Constraints: 11300 969.31/971.78 c #Conflicts: 159000 | #Constraints: 12301 969.31/971.78 c bounds 4609915 >= 865280 @ 760.904 969.31/971.78 c bounds 4609900 >= 865280 @ 761 969.31/971.78 c bounds 4609895 >= 865280 @ 761.137 969.31/971.78 c bounds 4609877 >= 865280 @ 763.314 969.31/971.78 c bounds 4609872 >= 865280 @ 764.757 969.31/971.78 c bounds 4609836 >= 865280 @ 765.337 969.31/971.78 c bounds 4609764 >= 865280 @ 766.492 969.31/971.78 c bounds 4609692 >= 865280 @ 766.682 969.31/971.78 c bounds 4609682 >= 865280 @ 768.058 969.31/971.78 c bounds 4609646 >= 865280 @ 769.396 969.31/971.78 c bounds 4609592 >= 865280 @ 769.561 969.31/971.78 c #Conflicts: 160000 | #Constraints: 13314 969.31/971.78 c bounds 4609536 >= 865280 @ 772.739 969.31/971.78 c bounds 4609527 >= 865280 @ 774.917 969.31/971.78 c #Conflicts: 161000 | #Constraints: 14316 969.31/971.78 c bounds 4609513 >= 865280 @ 781.096 969.31/971.78 c bounds 4609503 >= 865280 @ 781.242 969.31/971.78 c bounds 4609483 >= 865280 @ 781.348 969.31/971.78 c bounds 4609443 >= 865280 @ 781.485 969.31/971.78 c bounds 4609431 >= 865280 @ 787.31 969.31/971.78 c bounds 4609423 >= 865280 @ 787.464 969.31/971.78 c #Conflicts: 162000 | #Constraints: 15325 969.31/971.78 c bounds 4609417 >= 865280 @ 795.327 969.31/971.78 c #Conflicts: 163000 | #Constraints: 16328 969.31/971.78 c INPROCESSING 969.31/971.78 c GARBAGE COLLECT 969.31/971.78 c #Conflicts: 164000 | #Constraints: 9272 969.31/971.78 c #Conflicts: 165000 | #Constraints: 10274 969.31/971.78 c bounds 4592009 >= 865280 @ 816.353 969.31/971.78 c #Conflicts: 166000 | #Constraints: 11280 969.31/971.78 c #Conflicts: 167000 | #Constraints: 12281 969.31/971.78 c #Conflicts: 168000 | #Constraints: 13281 969.31/971.78 c #Conflicts: 169000 | #Constraints: 14285 969.31/971.78 c #Conflicts: 170000 | #Constraints: 15286 969.31/971.78 c #Conflicts: 171000 | #Constraints: 16286 969.31/971.78 c INPROCESSING 969.31/971.78 c GARBAGE COLLECT 969.31/971.78 c bounds 4591992 >= 865280 @ 933.603 969.31/971.78 c bounds 4591989 >= 865280 @ 933.997 969.31/971.78 c bounds 4591983 >= 865280 @ 934.06 969.31/971.78 c bounds 4591971 >= 865280 @ 934.121 969.31/971.78 c bounds 4591943 >= 865280 @ 934.483 969.31/971.78 c bounds 4591929 >= 865280 @ 934.591 969.31/971.78 c bounds 4591859 >= 865280 @ 937.176 969.31/971.78 c #Conflicts: 172000 | #Constraints: 9090 969.31/971.78 c bounds 4591845 >= 865280 @ 940.357 969.31/971.78 c bounds 4591817 >= 865280 @ 940.433 969.31/971.78 c bounds 4591803 >= 865280 @ 940.515 969.31/971.78 c bounds 4591789 >= 865280 @ 940.823 969.31/971.78 c bounds 4591761 >= 865280 @ 940.993 969.31/971.78 c bounds 4591753 >= 865280 @ 941.488 969.31/971.78 c #Conflicts: 173000 | #Constraints: 10096 969.31/971.78 c bounds 4590601 >= 865280 @ 948.841 969.31/971.78 c bounds 4590520 >= 865280 @ 952.054 969.31/971.78 c bounds 4590511 >= 865280 @ 952.165 969.31/971.78 c bounds 4590255 >= 865280 @ 953.439 969.31/971.78 c bounds 4590247 >= 865280 @ 953.565 969.31/971.78 c bounds 4590238 >= 865280 @ 955.451 969.31/971.78 c bounds 4590230 >= 865280 @ 955.779 969.31/971.78 c bounds 4589681 >= 865280 @ 956.461 969.31/971.78 c bounds 4589672 >= 865280 @ 957.128 969.31/971.78 c bounds 4589655 >= 865280 @ 957.804 969.31/971.78 c bounds 4589151 >= 865280 @ 959.626 969.31/971.78 c #Conflicts: 174000 | #Constraints: 11108 969.31/971.78 c bounds 4589137 >= 865280 @ 962.747 1179.28/1182.21 c #Conflicts: 175000 | #Constraints: 12111 1179.28/1182.21 c bounds 4589134 >= 865280 @ 971.488 1179.28/1182.21 c bounds 4589120 >= 865280 @ 971.626 1179.28/1182.21 c bounds 4589090 >= 865280 @ 980.118 1179.28/1182.21 c bounds 4589087 >= 865280 @ 980.833 1179.28/1182.21 c #Conflicts: 176000 | #Constraints: 13116 1179.28/1182.21 c bounds 4589071 >= 865280 @ 986.295 1179.28/1182.21 c bounds 4589055 >= 865280 @ 986.415 1179.28/1182.21 c #Conflicts: 177000 | #Constraints: 14119 1179.28/1182.21 c bounds 4588864 >= 865280 @ 993.485 1179.28/1182.21 c bounds 4588855 >= 865280 @ 993.581 1179.28/1182.21 c bounds 4588831 >= 865280 @ 993.789 1179.28/1182.21 c bounds 4588823 >= 865280 @ 994.732 1179.28/1182.21 c bounds 4588813 >= 865280 @ 995.421 1179.28/1182.21 c bounds 4588789 >= 865280 @ 997.119 1179.28/1182.21 c bounds 4588686 >= 865280 @ 997.294 1179.28/1182.21 c bounds 4588650 >= 865280 @ 997.412 1179.28/1182.21 c bounds 4588641 >= 865280 @ 998.485 1179.28/1182.21 c bounds 4588632 >= 865280 @ 998.694 1179.28/1182.21 c bounds 4588623 >= 865280 @ 998.835 1179.28/1182.21 c bounds 4588613 >= 865280 @ 1002.21 1179.28/1182.21 c bounds 4588568 >= 865280 @ 1002.93 1179.28/1182.21 c bounds 4588559 >= 865280 @ 1003.25 1179.28/1182.21 c #Conflicts: 178000 | #Constraints: 15135 1179.28/1182.21 c bounds 4588556 >= 865280 @ 1008.4 1179.28/1182.21 c #Conflicts: 179000 | #Constraints: 16138 1179.28/1182.21 c #Conflicts: 180000 | #Constraints: 17143 1179.28/1182.21 c INPROCESSING 1179.28/1182.21 c GARBAGE COLLECT 1179.28/1182.21 c bounds 4588547 >= 865280 @ 1050.49 1179.28/1182.21 c bounds 4588435 >= 865280 @ 1050.98 1179.28/1182.21 c bounds 4588421 >= 865280 @ 1051.95 1179.28/1182.21 c bounds 4588407 >= 865280 @ 1052.1 1179.28/1182.21 c bounds 4588351 >= 865280 @ 1052.38 1179.28/1182.21 c bounds 4588226 >= 865280 @ 1058.06 1179.28/1182.21 c bounds 4588198 >= 865280 @ 1058.18 1179.28/1182.21 c #Conflicts: 181000 | #Constraints: 9705 1179.28/1182.21 c bounds 4588189 >= 865280 @ 1058.82 1179.28/1182.21 c bounds 4588180 >= 865280 @ 1059.24 1179.28/1182.21 c bounds 4588171 >= 865280 @ 1059.87 1179.28/1182.21 c bounds 4588035 >= 865280 @ 1060.04 1179.28/1182.21 c bounds 4587987 >= 865280 @ 1061.46 1179.28/1182.21 c bounds 4587979 >= 865280 @ 1063.81 1179.28/1182.21 c bounds 4587971 >= 865280 @ 1063.91 1179.28/1182.21 c bounds 4587960 >= 865280 @ 1065.15 1179.28/1182.21 c bounds 4587951 >= 865280 @ 1065.24 1179.28/1182.21 c bounds 4587943 >= 865280 @ 1065.49 1179.28/1182.21 c bounds 4587935 >= 865280 @ 1066.96 1179.28/1182.21 c bounds 4587927 >= 865280 @ 1067.12 1179.28/1182.21 c bounds 4587919 >= 865280 @ 1068.8 1179.28/1182.21 c #Conflicts: 182000 | #Constraints: 10718 1179.28/1182.21 c bounds 4587914 >= 865280 @ 1072.97 1179.28/1182.21 c bounds 4587905 >= 865280 @ 1073.07 1179.28/1182.21 c bounds 4587890 >= 865280 @ 1073.29 1179.28/1182.21 c bounds 4587889 >= 865280 @ 1073.41 1179.28/1182.21 c bounds 4587881 >= 865280 @ 1077.25 1179.28/1182.21 c #Conflicts: 183000 | #Constraints: 11723 1179.28/1182.21 c bounds 4587881 >= 919552 @ 1096.83 1179.28/1182.21 c #Conflicts: 184000 | #Constraints: 12726 1179.28/1182.21 c bounds 4587879 >= 919552 @ 1106.75 1179.28/1182.21 c bounds 4587865 >= 919552 @ 1106.88 1179.28/1182.21 c bounds 4587801 >= 919552 @ 1109.19 1179.28/1182.21 c #Conflicts: 185000 | #Constraints: 13730 1179.28/1182.21 c #Conflicts: 186000 | #Constraints: 14919 1179.28/1182.21 c #Conflicts: 187000 | #Constraints: 15952 1179.28/1182.21 c #Conflicts: 188000 | #Constraints: 16955 1179.28/1182.21 c #Conflicts: 189000 | #Constraints: 17957 1179.28/1182.21 c INPROCESSING 1179.28/1182.21 c GARBAGE COLLECT 1179.28/1182.21 c bounds 4587793 >= 919552 @ 1131.54 1179.28/1182.21 c bounds 4587785 >= 919552 @ 1133.98 1179.28/1182.21 c bounds 4587779 >= 919552 @ 1134.17 1179.28/1182.21 c bounds 4587773 >= 919552 @ 1134.26 1179.28/1182.21 c bounds 4587761 >= 919552 @ 1134.54 1179.28/1182.21 c #Conflicts: 190000 | #Constraints: 10173 1179.28/1182.21 c bounds 4519897 >= 919552 @ 1138.6 1179.28/1182.21 c bounds 4519883 >= 919552 @ 1138.7 1179.28/1182.21 c bounds 4519869 >= 919552 @ 1141.29 1179.28/1182.21 c bounds 4519862 >= 919552 @ 1141.35 1179.28/1182.21 c #Conflicts: 191000 | #Constraints: 11181 1179.28/1182.21 c bounds 4519806 >= 919552 @ 1144.71 1179.28/1182.21 c #Conflicts: 192000 | #Constraints: 12183 1179.28/1182.21 c #Conflicts: 193000 | #Constraints: 13186 1179.28/1182.21 c #Conflicts: 194000 | #Constraints: 14190 1179.28/1182.21 c #Conflicts: 195000 | #Constraints: 15190 1179.28/1182.21 c #Conflicts: 196000 | #Constraints: 16192 1179.28/1182.21 c #Conflicts: 197000 | #Constraints: 17195 1179.28/1182.21 c #Conflicts: 198000 | #Constraints: 18198 1179.28/1182.21 c INPROCESSING 1179.28/1182.21 c GARBAGE COLLECT 1179.28/1182.21 c rational objective 3.13054e+06 1234.24/1237.32 c bounds 4519799 >= 919552 @ 1173.1 1234.24/1237.32 c bounds 4519771 >= 919552 @ 1173.16 1234.24/1237.32 c #Conflicts: 199000 | #Constraints: 10306 1234.24/1237.32 c bounds 4519715 >= 919552 @ 1180.74 1234.24/1237.32 c bounds 4519708 >= 919552 @ 1180.99 1234.24/1237.32 c bounds 4519701 >= 919552 @ 1182.11 1234.24/1237.32 c bounds 4519694 >= 919552 @ 1183.1 1234.24/1237.32 c bounds 4519687 >= 919552 @ 1183.17 1234.24/1237.32 c bounds 4497401 >= 919552 @ 1183.42 1234.24/1237.32 c bounds 4497391 >= 919552 @ 1183.85 1234.24/1237.32 c bounds 4497386 >= 919552 @ 1183.93 1234.24/1237.32 c bounds 4497382 >= 919552 @ 1184.01 1234.24/1237.32 c bounds 4497373 >= 919552 @ 1186.65 1234.24/1237.32 c bounds 4497364 >= 919552 @ 1186.73 1234.24/1237.32 c bounds 4497359 >= 919552 @ 1186.85 1234.24/1237.32 c bounds 4497350 >= 919552 @ 1186.92 1234.24/1237.32 c #Conflicts: 200000 | #Constraints: 11329 1234.24/1237.32 c #Conflicts: 201000 | #Constraints: 12329 1234.24/1237.32 c #Conflicts: 202000 | #Constraints: 13329 1234.24/1237.32 c #Conflicts: 203000 | #Constraints: 14332 1234.24/1237.32 c bounds 4497345 >= 919552 @ 1209.58 1234.24/1237.32 c #Conflicts: 204000 | #Constraints: 15334 1234.24/1237.32 c #Conflicts: 205000 | #Constraints: 16335 1234.24/1237.32 c #Conflicts: 206000 | #Constraints: 17336 1234.24/1237.32 c #Conflicts: 207000 | #Constraints: 18338 1234.24/1237.32 c INPROCESSING 1234.24/1237.32 c GARBAGE COLLECT 1234.24/1237.32 c rational objective 3.13057e+06 1388.55/1392.02 c #Conflicts: 208000 | #Constraints: 10282 1388.55/1392.02 c #Conflicts: 209000 | #Constraints: 11283 1388.55/1392.02 c #Conflicts: 210000 | #Constraints: 12284 1388.55/1392.02 c #Conflicts: 211000 | #Constraints: 13284 1388.55/1392.02 c #Conflicts: 212000 | #Constraints: 14288 1388.55/1392.02 c #Conflicts: 213000 | #Constraints: 15289 1388.55/1392.02 c #Conflicts: 214000 | #Constraints: 16289 1388.55/1392.02 c #Conflicts: 215000 | #Constraints: 17289 1388.55/1392.02 c #Conflicts: 216000 | #Constraints: 18291 1388.55/1392.02 c INPROCESSING 1388.55/1392.02 c GARBAGE COLLECT 1388.55/1392.02 c bounds 4448193 >= 919552 @ 1270.25 1388.55/1392.02 c bounds 4448121 >= 919552 @ 1271.21 1388.55/1392.02 c bounds 4447977 >= 919552 @ 1271.88 1388.55/1392.02 c bounds 4447968 >= 919552 @ 1272.04 1388.55/1392.02 c bounds 4447824 >= 919552 @ 1272.79 1388.55/1392.02 c #Conflicts: 217000 | #Constraints: 10071 1388.55/1392.02 c bounds 4446928 >= 919552 @ 1273.67 1388.55/1392.02 c #Conflicts: 218000 | #Constraints: 11075 1388.55/1392.02 c #Conflicts: 219000 | #Constraints: 12076 1388.55/1392.02 c #Conflicts: 220000 | #Constraints: 13076 1388.55/1392.02 c #Conflicts: 221000 | #Constraints: 14077 1388.55/1392.02 c #Conflicts: 222000 | #Constraints: 15077 1388.55/1392.02 c #Conflicts: 223000 | #Constraints: 16077 1388.55/1392.02 c #Conflicts: 224000 | #Constraints: 17078 1388.55/1392.02 c #Conflicts: 225000 | #Constraints: 18078 1388.55/1392.02 c #Conflicts: 226000 | #Constraints: 19078 1388.55/1392.02 c INPROCESSING 1388.55/1392.02 c GARBAGE COLLECT 1388.55/1392.02 c #Conflicts: 227000 | #Constraints: 10649 1388.55/1392.02 c #Conflicts: 228000 | #Constraints: 11650 1388.55/1392.02 c #Conflicts: 229000 | #Constraints: 12651 1388.55/1392.02 c #Conflicts: 230000 | #Constraints: 13654 1388.55/1392.02 c #Conflicts: 231000 | #Constraints: 14655 1388.55/1392.02 c #Conflicts: 232000 | #Constraints: 15656 1388.55/1392.02 c #Conflicts: 233000 | #Constraints: 16660 1388.55/1392.02 c #Conflicts: 234000 | #Constraints: 17662 1388.55/1392.02 c #Conflicts: 235000 | #Constraints: 18667 1388.55/1392.02 c #Conflicts: 236000 | #Constraints: 19669 1388.55/1392.02 c INPROCESSING 1388.55/1392.02 c GARBAGE COLLECT 1388.55/1392.02 c rational objective 3.13074e+06 1428.14/1431.75 c #Conflicts: 237000 | #Constraints: 11042 1428.14/1431.75 c #Conflicts: 238000 | #Constraints: 12042 1428.14/1431.75 c #Conflicts: 239000 | #Constraints: 13042 1428.14/1431.75 c #Conflicts: 240000 | #Constraints: 14043 1428.14/1431.75 c #Conflicts: 241000 | #Constraints: 15045 1428.14/1431.75 c #Conflicts: 242000 | #Constraints: 16048 1428.14/1431.75 c #Conflicts: 243000 | #Constraints: 17048 1428.14/1431.75 c #Conflicts: 244000 | #Constraints: 18050 1428.14/1431.75 c #Conflicts: 245000 | #Constraints: 19053 1428.14/1431.75 c #Conflicts: 246000 | #Constraints: 20054 1428.14/1431.75 c INPROCESSING 1428.14/1431.75 c GARBAGE COLLECT 1428.14/1431.75 c rational objective 3.13102e+06 1471.63/1475.37 c #Conflicts: 247000 | #Constraints: 11271 1471.63/1475.37 c #Conflicts: 248000 | #Constraints: 12271 1471.63/1475.37 c #Conflicts: 249000 | #Constraints: 13271 1471.63/1475.37 c #Conflicts: 250000 | #Constraints: 14271 1471.63/1475.37 c #Conflicts: 251000 | #Constraints: 15273 1471.63/1475.37 c #Conflicts: 252000 | #Constraints: 16275 1471.63/1475.37 c #Conflicts: 253000 | #Constraints: 17277 1471.63/1475.37 c #Conflicts: 254000 | #Constraints: 18278 1471.63/1475.37 c #Conflicts: 255000 | #Constraints: 19279 1471.63/1475.37 c #Conflicts: 256000 | #Constraints: 20280 1471.63/1475.37 c INPROCESSING 1471.63/1475.37 c GARBAGE COLLECT 1471.63/1475.37 c rational objective 3.13102e+06 1678.29/1682.58 c #Conflicts: 257000 | #Constraints: 11259 1678.29/1682.58 c #Conflicts: 258000 | #Constraints: 12262 1678.29/1682.58 c #Conflicts: 259000 | #Constraints: 13263 1678.29/1682.58 c #Conflicts: 260000 | #Constraints: 14263 1678.29/1682.58 c #Conflicts: 261000 | #Constraints: 15263 1678.29/1682.58 c #Conflicts: 262000 | #Constraints: 16266 1678.29/1682.58 c #Conflicts: 263000 | #Constraints: 17267 1678.29/1682.58 c #Conflicts: 264000 | #Constraints: 18269 1678.29/1682.58 c #Conflicts: 265000 | #Constraints: 19270 1678.29/1682.58 c #Conflicts: 266000 | #Constraints: 20271 1678.29/1682.58 c INPROCESSING 1678.29/1682.58 c GARBAGE COLLECT 1678.29/1682.58 c #Conflicts: 267000 | #Constraints: 11069 1678.29/1682.58 c #Conflicts: 268000 | #Constraints: 12069 1678.29/1682.58 c #Conflicts: 269000 | #Constraints: 13069 1678.29/1682.58 c #Conflicts: 270000 | #Constraints: 14069 1678.29/1682.58 c bounds 4446919 >= 919552 @ 1531.55 1678.29/1682.58 c #Conflicts: 271000 | #Constraints: 15070 1678.29/1682.58 c #Conflicts: 272000 | #Constraints: 16071 1678.29/1682.58 c #Conflicts: 273000 | #Constraints: 17072 1678.29/1682.58 c #Conflicts: 274000 | #Constraints: 18072 1678.29/1682.58 c #Conflicts: 275000 | #Constraints: 19072 1678.29/1682.58 c #Conflicts: 276000 | #Constraints: 20074 1678.29/1682.58 c #Conflicts: 277000 | #Constraints: 21077 1678.29/1682.58 c INPROCESSING 1678.29/1682.58 c GARBAGE COLLECT 1678.29/1682.58 c #Conflicts: 278000 | #Constraints: 11652 1678.29/1682.58 c bounds 4446901 >= 919552 @ 1569.83 1678.29/1682.58 c #Conflicts: 279000 | #Constraints: 12656 1678.29/1682.58 c #Conflicts: 280000 | #Constraints: 13656 1678.29/1682.58 c #Conflicts: 281000 | #Constraints: 14657 1678.29/1682.58 c #Conflicts: 282000 | #Constraints: 15660 1678.29/1682.58 c #Conflicts: 283000 | #Constraints: 16660 1678.29/1682.58 c #Conflicts: 284000 | #Constraints: 17661 1678.29/1682.58 c #Conflicts: 285000 | #Constraints: 18664 1678.29/1682.58 c #Conflicts: 286000 | #Constraints: 19666 1678.29/1682.58 c #Conflicts: 287000 | #Constraints: 20668 1678.29/1682.58 c #Conflicts: 288000 | #Constraints: 21669 1678.29/1682.58 c INPROCESSING 1678.29/1682.58 c GARBAGE COLLECT 1678.29/1682.58 c bounds 4446865 >= 919552 @ 1616.03 1678.29/1682.58 c bounds 4446856 >= 919552 @ 1616.45 1678.29/1682.58 c bounds 4446802 >= 919552 @ 1616.62 1678.29/1682.58 c bounds 4446793 >= 919552 @ 1616.66 1678.29/1682.58 c bounds 4446508 >= 919552 @ 1618.31 1678.29/1682.58 c bounds 4445986 >= 919552 @ 1619.2 1678.29/1682.58 c bounds 4445958 >= 919552 @ 1619.4 1678.29/1682.58 c bounds 4445902 >= 919552 @ 1619.44 1678.29/1682.58 c #Conflicts: 289000 | #Constraints: 12064 1678.29/1682.58 c bounds 4445897 >= 919552 @ 1622.42 1678.29/1682.58 c bounds 4445732 >= 919552 @ 1626.4 1678.29/1682.58 c bounds 4445722 >= 919552 @ 1626.51 1678.29/1682.58 c bounds 4445702 >= 919552 @ 1626.77 1678.29/1682.58 c bounds 4445697 >= 919552 @ 1627.61 1678.29/1682.58 c bounds 4445682 >= 919552 @ 1627.95 1678.29/1682.58 c #Conflicts: 290000 | #Constraints: 13074 1678.29/1682.58 c bounds 4445662 >= 919552 @ 1632.5 1678.29/1682.58 c #Conflicts: 291000 | #Constraints: 14077 1678.29/1682.58 c bounds 4445582 >= 919552 @ 1640.03 1678.29/1682.58 c #Conflicts: 292000 | #Constraints: 15080 1678.29/1682.58 c #Conflicts: 293000 | #Constraints: 16081 1678.29/1682.58 c #Conflicts: 294000 | #Constraints: 17081 1678.29/1682.58 c #Conflicts: 295000 | #Constraints: 18081 1678.29/1682.58 c #Conflicts: 296000 | #Constraints: 19081 1678.29/1682.58 c #Conflicts: 297000 | #Constraints: 20081 1678.29/1682.58 c #Conflicts: 298000 | #Constraints: 21083 1678.29/1682.58 c #Conflicts: 299000 | #Constraints: 22086 1678.29/1682.58 c INPROCESSING 1678.29/1682.58 c GARBAGE COLLECT 1678.29/1682.58 c rational objective 3.13121e+06 1733.65/1738.05 c bounds 4443790 >= 919552 @ 1670.69 1733.65/1738.05 c bounds 4440097 >= 919552 @ 1673.92 1733.65/1738.05 c bounds 4440083 >= 919552 @ 1674.53 1733.65/1738.05 c #Conflicts: 300000 | #Constraints: 12260 1733.65/1738.05 c #Conflicts: 301000 | #Constraints: 13263 1733.65/1738.05 c bounds 4440074 >= 919552 @ 1683.08 1733.65/1738.05 c bounds 4440069 >= 919552 @ 1683.17 1733.65/1738.05 c bounds 4440064 >= 919552 @ 1683.26 1733.65/1738.05 c bounds 4366336 >= 919552 @ 1683.3 1733.65/1738.05 c #Conflicts: 302000 | #Constraints: 14269 1733.65/1738.05 c #Conflicts: 303000 | #Constraints: 15276 1733.65/1738.05 c bounds 4366176 >= 919552 @ 1697.38 1733.65/1738.05 c #Conflicts: 304000 | #Constraints: 16282 1733.65/1738.05 c #Conflicts: 305000 | #Constraints: 17282 1733.65/1738.05 c #Conflicts: 306000 | #Constraints: 18284 1733.65/1738.05 c #Conflicts: 307000 | #Constraints: 19285 1733.65/1738.05 c #Conflicts: 308000 | #Constraints: 20287 1733.65/1738.05 c #Conflicts: 309000 | #Constraints: 21288 1733.65/1738.05 c #Conflicts: 310000 | #Constraints: 22290 1733.65/1738.05 c INPROCESSING 1733.65/1738.05 c GARBAGE COLLECT 1733.65/1738.05 c rational objective 3.13144e+06 1784.02/1788.54 c #Conflicts: 311000 | #Constraints: 12260 1784.02/1788.54 c #Conflicts: 312000 | #Constraints: 13261 1784.02/1788.54 c bounds 4365536 >= 919552 @ 1734.76 1784.02/1788.54 c #Conflicts: 313000 | #Constraints: 14264 1784.02/1788.54 c #Conflicts: 314000 | #Constraints: 15266 1784.02/1788.54 c #Conflicts: 315000 | #Constraints: 16268 1784.02/1788.54 c #Conflicts: 316000 | #Constraints: 17270 1784.02/1788.54 c #Conflicts: 317000 | #Constraints: 18271 1784.02/1788.54 c #Conflicts: 318000 | #Constraints: 19272 1784.02/1788.54 c #Conflicts: 319000 | #Constraints: 20274 1784.02/1788.54 c #Conflicts: 320000 | #Constraints: 21274 1784.02/1788.54 c #Conflicts: 321000 | #Constraints: 22277 1784.02/1788.54 c INPROCESSING 1784.02/1788.54 c GARBAGE COLLECT 1784.02/1788.54 c rational objective 3.13196e+06 1853.14/1857.82 c bounds 4365531 >= 919552 @ 1776.32 1853.14/1857.82 c bounds 4365521 >= 919552 @ 1776.36 1853.14/1857.82 c bounds 4365516 >= 919552 @ 1777.44 1853.14/1857.82 c bounds 4365511 >= 919552 @ 1777.48 1853.14/1857.82 c bounds 4365501 >= 919552 @ 1777.52 1853.14/1857.82 c #Conflicts: 322000 | #Constraints: 12085 1853.14/1857.82 c bounds 4365496 >= 919552 @ 1780.77 1853.14/1857.82 c bounds 4365456 >= 919552 @ 1781.22 1853.14/1857.82 c bounds 4365136 >= 919552 @ 1782.61 1853.14/1857.82 c #Conflicts: 323000 | #Constraints: 13090 1853.14/1857.82 c #Conflicts: 324000 | #Constraints: 14090 1853.14/1857.82 c #Conflicts: 325000 | #Constraints: 15090 1853.14/1857.82 c #Conflicts: 326000 | #Constraints: 16091 1853.14/1857.82 c bounds 4365126 >= 919552 @ 1816.9 1853.14/1857.82 c #Conflicts: 327000 | #Constraints: 17095 1853.14/1857.82 c #Conflicts: 328000 | #Constraints: 18096 1853.14/1857.82 c #Conflicts: 329000 | #Constraints: 19096 1853.14/1857.82 c #Conflicts: 330000 | #Constraints: 20096 1853.14/1857.82 c #Conflicts: 331000 | #Constraints: 21099 1853.14/1857.82 c #Conflicts: 332000 | #Constraints: 22099 1853.14/1857.82 c #Conflicts: 333000 | #Constraints: 23100 1853.14/1857.82 c INPROCESSING 1853.14/1857.82 c GARBAGE COLLECT 1853.14/1857.82 c rational objective 3.13215e+06 1893.83/1898.60 c #Conflicts: 334000 | #Constraints: 12675 1893.83/1898.60 c #Conflicts: 335000 | #Constraints: 13680 1893.83/1898.60 c #Conflicts: 336000 | #Constraints: 14682 1893.83/1898.60 c #Conflicts: 337000 | #Constraints: 15686 1893.83/1898.60 c #Conflicts: 338000 | #Constraints: 16690 1893.83/1898.60 c #Conflicts: 339000 | #Constraints: 17690 1893.83/1898.60 c #Conflicts: 340000 | #Constraints: 18694 1893.83/1898.60 c #Conflicts: 341000 | #Constraints: 19697 1893.83/1898.60 c #Conflicts: 342000 | #Constraints: 20701 1893.83/1898.60 c #Conflicts: 343000 | #Constraints: 21704 1893.83/1898.60 c #Conflicts: 344000 | #Constraints: 22706 1893.83/1898.60 c #Conflicts: 345000 | #Constraints: 23708 1893.83/1898.60 c INPROCESSING 1893.83/1898.60 c GARBAGE COLLECT 1893.83/1898.60 c rational objective 3.13221e+06 1960.85/1965.89 c bounds 4365106 >= 919552 @ 1884.65 1960.85/1965.89 c bounds 4365096 >= 919552 @ 1885.53 1960.85/1965.89 c bounds 4365086 >= 919552 @ 1887.77 1960.85/1965.89 c bounds 4365081 >= 919552 @ 1887.8 1960.85/1965.89 c bounds 4365061 >= 919552 @ 1887.84 1960.85/1965.89 c bounds 4365056 >= 919552 @ 1891.03 1960.85/1965.89 c bounds 4364421 >= 919552 @ 1893.26 1960.85/1965.89 c bounds 4363781 >= 919552 @ 1893.32 1960.85/1965.89 c #Conflicts: 346000 | #Constraints: 13096 1960.85/1965.89 c bounds 4361221 >= 919552 @ 1897.51 1960.85/1965.89 c #Conflicts: 347000 | #Constraints: 14097 1960.85/1965.89 c #Conflicts: 348000 | #Constraints: 15098 1960.85/1965.89 c bounds 4356101 >= 919552 @ 1913.23 1960.85/1965.89 c #Conflicts: 349000 | #Constraints: 16099 1960.85/1965.89 c #Conflicts: 350000 | #Constraints: 17102 1960.85/1965.89 c #Conflicts: 351000 | #Constraints: 18106 1960.85/1965.89 c #Conflicts: 352000 | #Constraints: 19107 1960.85/1965.89 c #Conflicts: 353000 | #Constraints: 20108 1960.85/1965.89 c #Conflicts: 354000 | #Constraints: 21111 1960.85/1965.89 c #Conflicts: 355000 | #Constraints: 22115 1960.85/1965.89 c #Conflicts: 356000 | #Constraints: 23116 1960.85/1965.89 c #Conflicts: 357000 | #Constraints: 24120 1960.85/1965.89 c INPROCESSING 1960.85/1965.89 c GARBAGE COLLECT 1960.85/1965.89 c rational objective 3.13298e+06 2016.02/2021.15 c bounds 4299787 >= 919552 @ 1951.19 2016.02/2021.15 c #Conflicts: 358000 | #Constraints: 13304 2016.02/2021.15 c bounds 4294667 >= 919552 @ 1959.07 2016.02/2021.15 c #Conflicts: 359000 | #Constraints: 14309 2016.02/2021.15 c bounds 4294656 >= 919552 @ 1963.14 2016.02/2021.15 c #Conflicts: 360000 | #Constraints: 15312 2016.02/2021.15 c bounds 4219904 >= 919552 @ 1970.96 2016.02/2021.15 c #Conflicts: 361000 | #Constraints: 16314 2016.02/2021.15 c #Conflicts: 362000 | #Constraints: 17315 2016.02/2021.15 c #Conflicts: 363000 | #Constraints: 18316 2016.02/2021.15 c #Conflicts: 364000 | #Constraints: 19316 2016.02/2021.15 c #Conflicts: 365000 | #Constraints: 20317 2016.02/2021.15 c #Conflicts: 366000 | #Constraints: 21317 2016.02/2021.15 c #Conflicts: 367000 | #Constraints: 22319 2016.02/2021.15 c #Conflicts: 368000 | #Constraints: 23322 2016.02/2021.15 c #Conflicts: 369000 | #Constraints: 24324 2016.02/2021.15 c INPROCESSING 2016.02/2021.15 c GARBAGE COLLECT 2016.02/2021.15 c rational objective 3.13301e+06 2122.64/2128.01 c #Conflicts: 370000 | #Constraints: 13293 2122.64/2128.01 c #Conflicts: 371000 | #Constraints: 14296 2122.64/2128.01 c #Conflicts: 372000 | #Constraints: 15298 2122.64/2128.01 c #Conflicts: 373000 | #Constraints: 16300 2122.64/2128.01 c #Conflicts: 374000 | #Constraints: 17302 2122.64/2128.01 c #Conflicts: 375000 | #Constraints: 18306 2122.64/2128.01 c #Conflicts: 376000 | #Constraints: 19309 2122.64/2128.01 c #Conflicts: 377000 | #Constraints: 20310 2122.64/2128.01 c #Conflicts: 378000 | #Constraints: 21311 2122.64/2128.01 c #Conflicts: 379000 | #Constraints: 22311 2122.64/2128.01 c #Conflicts: 380000 | #Constraints: 23311 2122.64/2128.01 c #Conflicts: 381000 | #Constraints: 24311 2122.64/2128.01 c INPROCESSING 2122.64/2128.01 c GARBAGE COLLECT 2122.64/2128.01 c #Conflicts: 382000 | #Constraints: 13062 2122.64/2128.01 c #Conflicts: 383000 | #Constraints: 14062 2122.64/2128.01 c #Conflicts: 384000 | #Constraints: 15062 2122.64/2128.01 c #Conflicts: 385000 | #Constraints: 16062 2122.64/2128.01 c #Conflicts: 386000 | #Constraints: 17062 2122.64/2128.01 c #Conflicts: 387000 | #Constraints: 18063 2122.64/2128.01 c #Conflicts: 388000 | #Constraints: 19064 2122.64/2128.01 c #Conflicts: 389000 | #Constraints: 20066 2122.64/2128.01 c #Conflicts: 390000 | #Constraints: 21069 2122.64/2128.01 c #Conflicts: 391000 | #Constraints: 22070 2122.64/2128.01 c #Conflicts: 392000 | #Constraints: 23070 2122.64/2128.01 c #Conflicts: 393000 | #Constraints: 24072 2122.64/2128.01 c #Conflicts: 394000 | #Constraints: 25073 2122.64/2128.01 c INPROCESSING 2122.64/2128.01 c GARBAGE COLLECT 2122.64/2128.01 c rational objective 3.13315e+06 2165.03/2170.51 c #Conflicts: 395000 | #Constraints: 13671 2165.03/2170.51 c #Conflicts: 396000 | #Constraints: 14673 2165.03/2170.51 c #Conflicts: 397000 | #Constraints: 15674 2165.03/2170.51 c #Conflicts: 398000 | #Constraints: 16675 2165.03/2170.51 c #Conflicts: 399000 | #Constraints: 17675 2165.03/2170.51 c #Conflicts: 400000 | #Constraints: 18678 2165.03/2170.51 c #Conflicts: 401000 | #Constraints: 19680 2165.03/2170.51 c #Conflicts: 402000 | #Constraints: 20682 2165.03/2170.51 c #Conflicts: 403000 | #Constraints: 21685 2165.03/2170.51 c #Conflicts: 404000 | #Constraints: 22686 2165.03/2170.51 c #Conflicts: 405000 | #Constraints: 23688 2165.03/2170.51 c #Conflicts: 406000 | #Constraints: 24690 2165.03/2170.51 c #Conflicts: 407000 | #Constraints: 25690 2165.03/2170.51 c INPROCESSING 2165.03/2170.51 c GARBAGE COLLECT 2165.03/2170.51 c rational objective 3.13317e+06 2236.65/2242.39 c #Conflicts: 408000 | #Constraints: 14083 2236.65/2242.39 c #Conflicts: 409000 | #Constraints: 15083 2236.65/2242.39 c #Conflicts: 410000 | #Constraints: 16084 2236.65/2242.39 c #Conflicts: 411000 | #Constraints: 17087 2236.65/2242.39 c #Conflicts: 412000 | #Constraints: 18095 2236.65/2242.39 c #Conflicts: 413000 | #Constraints: 19100 2236.65/2242.39 c #Conflicts: 414000 | #Constraints: 20103 2236.65/2242.39 c #Conflicts: 415000 | #Constraints: 21105 2236.65/2242.39 c #Conflicts: 416000 | #Constraints: 22107 2236.65/2242.39 c #Conflicts: 417000 | #Constraints: 23109 2236.65/2242.39 c bounds 4200448 >= 919552 @ 2212.25 2236.65/2242.39 c #Conflicts: 418000 | #Constraints: 24110 2236.65/2242.39 c #Conflicts: 419000 | #Constraints: 25112 2236.65/2242.39 c #Conflicts: 420000 | #Constraints: 26112 2236.65/2242.39 c INPROCESSING 2236.65/2242.39 c GARBAGE COLLECT 2236.65/2242.39 c rational objective 3.13342e+06 2280.14/2285.91 c #Conflicts: 421000 | #Constraints: 14288 2280.14/2285.91 c #Conflicts: 422000 | #Constraints: 15289 2280.14/2285.91 c #Conflicts: 423000 | #Constraints: 16293 2280.14/2285.91 c #Conflicts: 424000 | #Constraints: 17294 2280.14/2285.91 c #Conflicts: 425000 | #Constraints: 18295 2280.14/2285.91 c #Conflicts: 426000 | #Constraints: 19298 2280.14/2285.91 c #Conflicts: 427000 | #Constraints: 20298 2280.14/2285.91 c #Conflicts: 428000 | #Constraints: 21302 2280.14/2285.91 c #Conflicts: 429000 | #Constraints: 22306 2280.14/2285.91 c #Conflicts: 430000 | #Constraints: 23308 2280.14/2285.91 c #Conflicts: 431000 | #Constraints: 24314 2280.14/2285.91 c #Conflicts: 432000 | #Constraints: 25318 2280.14/2285.91 c #Conflicts: 433000 | #Constraints: 26320 2280.14/2285.91 c INPROCESSING 2280.14/2285.91 c GARBAGE COLLECT 2280.14/2285.91 c rational objective 3.13342e+06 2523.91/2530.31 c #Conflicts: 434000 | #Constraints: 14285 2523.91/2530.31 c #Conflicts: 435000 | #Constraints: 15287 2523.91/2530.31 c #Conflicts: 436000 | #Constraints: 16289 2523.91/2530.31 c #Conflicts: 437000 | #Constraints: 17291 2523.91/2530.31 c #Conflicts: 438000 | #Constraints: 18293 2523.91/2530.31 c #Conflicts: 439000 | #Constraints: 19294 2523.91/2530.31 c #Conflicts: 440000 | #Constraints: 20297 2523.91/2530.31 c #Conflicts: 441000 | #Constraints: 21301 2523.91/2530.31 c #Conflicts: 442000 | #Constraints: 22305 2523.91/2530.31 c #Conflicts: 443000 | #Constraints: 23309 2523.91/2530.31 c #Conflicts: 444000 | #Constraints: 24310 2523.91/2530.31 c #Conflicts: 445000 | #Constraints: 25314 2523.91/2530.31 c #Conflicts: 446000 | #Constraints: 26315 2523.91/2530.31 c INPROCESSING 2523.91/2530.31 c GARBAGE COLLECT 2523.91/2530.31 c #Conflicts: 447000 | #Constraints: 14072 2523.91/2530.31 c bounds 4141056 >= 919552 @ 2321.85 2523.91/2530.31 c #Conflicts: 448000 | #Constraints: 15076 2523.91/2530.31 c #Conflicts: 449000 | #Constraints: 16078 2523.91/2530.31 c #Conflicts: 450000 | #Constraints: 17078 2523.91/2530.31 c #Conflicts: 451000 | #Constraints: 18078 2523.91/2530.31 c #Conflicts: 452000 | #Constraints: 19078 2523.91/2530.31 c #Conflicts: 453000 | #Constraints: 20078 2523.91/2530.31 c #Conflicts: 454000 | #Constraints: 21078 2523.91/2530.31 c #Conflicts: 455000 | #Constraints: 22078 2523.91/2530.31 c #Conflicts: 456000 | #Constraints: 23078 2523.91/2530.31 c #Conflicts: 457000 | #Constraints: 24078 2523.91/2530.31 c #Conflicts: 458000 | #Constraints: 25078 2523.91/2530.31 c #Conflicts: 459000 | #Constraints: 26078 2523.91/2530.31 c #Conflicts: 460000 | #Constraints: 27080 2523.91/2530.31 c INPROCESSING 2523.91/2530.31 c GARBAGE COLLECT 2523.91/2530.31 c #Conflicts: 461000 | #Constraints: 14664 2523.91/2530.31 c #Conflicts: 462000 | #Constraints: 15666 2523.91/2530.31 c #Conflicts: 463000 | #Constraints: 16668 2523.91/2530.31 c #Conflicts: 464000 | #Constraints: 17670 2523.91/2530.31 c #Conflicts: 465000 | #Constraints: 18670 2523.91/2530.31 c #Conflicts: 466000 | #Constraints: 19672 2523.91/2530.31 c #Conflicts: 467000 | #Constraints: 20674 2523.91/2530.31 c #Conflicts: 468000 | #Constraints: 21677 2523.91/2530.31 c #Conflicts: 469000 | #Constraints: 22681 2523.91/2530.31 c #Conflicts: 470000 | #Constraints: 23686 2523.91/2530.31 c #Conflicts: 471000 | #Constraints: 24689 2523.91/2530.31 c #Conflicts: 472000 | #Constraints: 25691 2523.91/2530.31 c #Conflicts: 473000 | #Constraints: 26692 2523.91/2530.31 c #Conflicts: 474000 | #Constraints: 27696 2523.91/2530.31 c INPROCESSING 2523.91/2530.31 c GARBAGE COLLECT 2523.91/2530.31 c rational objective 3.13342e+06 2579.86/2586.44 c #Conflicts: 475000 | #Constraints: 15083 2579.86/2586.44 c #Conflicts: 476000 | #Constraints: 16085 2579.86/2586.44 c #Conflicts: 477000 | #Constraints: 17086 2579.86/2586.44 c #Conflicts: 478000 | #Constraints: 18087 2579.86/2586.44 c #Conflicts: 479000 | #Constraints: 19089 2579.86/2586.44 c #Conflicts: 480000 | #Constraints: 20089 2579.86/2586.44 c #Conflicts: 481000 | #Constraints: 21089 2579.86/2586.44 c #Conflicts: 482000 | #Constraints: 22092 2579.86/2586.44 c #Conflicts: 483000 | #Constraints: 23095 2579.86/2586.44 c #Conflicts: 484000 | #Constraints: 24098 2579.86/2586.44 c #Conflicts: 485000 | #Constraints: 25098 2579.86/2586.44 c #Conflicts: 486000 | #Constraints: 26099 2579.86/2586.44 c #Conflicts: 487000 | #Constraints: 27101 2579.86/2586.44 c #Conflicts: 488000 | #Constraints: 28107 2579.86/2586.44 c INPROCESSING 2579.86/2586.44 c GARBAGE COLLECT 2579.86/2586.44 c rational objective 3.13344e+06 2785.61/2792.73 c #Conflicts: 489000 | #Constraints: 15291 2785.61/2792.73 c #Conflicts: 490000 | #Constraints: 16291 2785.61/2792.73 c #Conflicts: 491000 | #Constraints: 17293 2785.61/2792.73 c #Conflicts: 492000 | #Constraints: 18293 2785.61/2792.73 c #Conflicts: 493000 | #Constraints: 19294 2785.61/2792.73 c #Conflicts: 494000 | #Constraints: 20294 2785.61/2792.73 c #Conflicts: 495000 | #Constraints: 21295 2785.61/2792.73 c #Conflicts: 496000 | #Constraints: 22295 2785.61/2792.73 c #Conflicts: 497000 | #Constraints: 23296 2785.61/2792.73 c #Conflicts: 498000 | #Constraints: 24298 2785.61/2792.73 c #Conflicts: 499000 | #Constraints: 25299 2785.61/2792.73 c #Conflicts: 500000 | #Constraints: 26299 2785.61/2792.73 c #Conflicts: 501000 | #Constraints: 27301 2785.61/2792.73 c #Conflicts: 502000 | #Constraints: 28302 2785.61/2792.73 c INPROCESSING 2785.61/2792.73 c GARBAGE COLLECT 2785.61/2792.73 c #Conflicts: 503000 | #Constraints: 15276 2785.61/2792.73 c #Conflicts: 504000 | #Constraints: 16278 2785.61/2792.73 c #Conflicts: 505000 | #Constraints: 17281 2785.61/2792.73 c #Conflicts: 506000 | #Constraints: 18283 2785.61/2792.73 c #Conflicts: 507000 | #Constraints: 19283 2785.61/2792.73 c #Conflicts: 508000 | #Constraints: 20285 2785.61/2792.73 c #Conflicts: 509000 | #Constraints: 21290 2785.61/2792.73 c #Conflicts: 510000 | #Constraints: 22293 2785.61/2792.73 c #Conflicts: 511000 | #Constraints: 23295 2785.61/2792.73 c #Conflicts: 512000 | #Constraints: 24298 2785.61/2792.73 c #Conflicts: 513000 | #Constraints: 25300 2785.61/2792.73 c #Conflicts: 514000 | #Constraints: 26302 2785.61/2792.73 c #Conflicts: 515000 | #Constraints: 27303 2785.61/2792.73 c #Conflicts: 516000 | #Constraints: 28306 2785.61/2792.73 c INPROCESSING 2785.61/2792.73 c GARBAGE COLLECT 2785.61/2792.73 c #Conflicts: 517000 | #Constraints: 15080 2785.61/2792.73 c #Conflicts: 518000 | #Constraints: 16082 2785.61/2792.73 c #Conflicts: 519000 | #Constraints: 17086 2785.61/2792.73 c #Conflicts: 520000 | #Constraints: 18092 2785.61/2792.73 c #Conflicts: 521000 | #Constraints: 19095 2785.61/2792.73 c #Conflicts: 522000 | #Constraints: 20098 2785.61/2792.73 c #Conflicts: 523000 | #Constraints: 21104 2785.61/2792.73 c #Conflicts: 524000 | #Constraints: 22106 2785.61/2792.73 c #Conflicts: 525000 | #Constraints: 23112 2785.61/2792.73 c #Conflicts: 526000 | #Constraints: 24117 2785.61/2792.73 c #Conflicts: 527000 | #Constraints: 25118 2785.61/2792.73 c #Conflicts: 528000 | #Constraints: 26125 2785.61/2792.73 c #Conflicts: 529000 | #Constraints: 27127 2785.61/2792.73 c #Conflicts: 530000 | #Constraints: 28135 2785.61/2792.73 c #Conflicts: 531000 | #Constraints: 29140 2785.61/2792.73 c INPROCESSING 2785.61/2792.73 c GARBAGE COLLECT 2785.61/2792.73 c rational objective 3.13344e+06 3245.72/3253.91 c #Conflicts: 532000 | #Constraints: 15707 3245.72/3253.91 c #Conflicts: 533000 | #Constraints: 16707 3245.72/3253.91 c #Conflicts: 534000 | #Constraints: 17707 3245.72/3253.91 c #Conflicts: 535000 | #Constraints: 18708 3245.72/3253.91 c #Conflicts: 536000 | #Constraints: 19712 3245.72/3253.91 c #Conflicts: 537000 | #Constraints: 20716 3245.72/3253.91 c #Conflicts: 538000 | #Constraints: 21721 3245.72/3253.91 c #Conflicts: 539000 | #Constraints: 22724 3245.72/3253.91 c #Conflicts: 540000 | #Constraints: 23727 3245.72/3253.91 c #Conflicts: 541000 | #Constraints: 24729 3245.72/3253.91 c #Conflicts: 542000 | #Constraints: 25734 3245.72/3253.91 c #Conflicts: 543000 | #Constraints: 26736 3245.72/3253.91 c #Conflicts: 544000 | #Constraints: 27739 3245.72/3253.91 c #Conflicts: 545000 | #Constraints: 28741 3245.72/3253.91 c #Conflicts: 546000 | #Constraints: 29743 3245.72/3253.91 c INPROCESSING 3245.72/3253.91 c GARBAGE COLLECT 3245.72/3253.91 c #Conflicts: 547000 | #Constraints: 16098 3245.72/3253.91 c #Conflicts: 548000 | #Constraints: 17098 3245.72/3253.91 c #Conflicts: 549000 | #Constraints: 18098 3245.72/3253.91 c #Conflicts: 550000 | #Constraints: 19098 3245.72/3253.91 c #Conflicts: 551000 | #Constraints: 20098 3245.72/3253.91 c #Conflicts: 552000 | #Constraints: 21098 3245.72/3253.91 c #Conflicts: 553000 | #Constraints: 22100 3245.72/3253.91 c #Conflicts: 554000 | #Constraints: 23103 3245.72/3253.91 c #Conflicts: 555000 | #Constraints: 24105 3245.72/3253.91 c #Conflicts: 556000 | #Constraints: 25105 3245.72/3253.91 c #Conflicts: 557000 | #Constraints: 26106 3245.72/3253.91 c #Conflicts: 558000 | #Constraints: 27106 3245.72/3253.91 c #Conflicts: 559000 | #Constraints: 28108 3245.72/3253.91 c #Conflicts: 560000 | #Constraints: 29109 3245.72/3253.91 c #Conflicts: 561000 | #Constraints: 30111 3245.72/3253.91 c INPROCESSING 3245.72/3253.91 c GARBAGE COLLECT 3245.72/3253.91 c #Conflicts: 562000 | #Constraints: 16292 3245.72/3253.91 c #Conflicts: 563000 | #Constraints: 17296 3245.72/3253.91 c #Conflicts: 564000 | #Constraints: 18299 3245.72/3253.91 c #Conflicts: 565000 | #Constraints: 19302 3245.72/3253.91 c #Conflicts: 566000 | #Constraints: 20304 3245.72/3253.91 c #Conflicts: 567000 | #Constraints: 21305 3245.72/3253.91 c #Conflicts: 568000 | #Constraints: 22306 3245.72/3253.91 c #Conflicts: 569000 | #Constraints: 23308 3245.72/3253.91 c #Conflicts: 570000 | #Constraints: 24313 3245.72/3253.91 c #Conflicts: 571000 | #Constraints: 25314 3245.72/3253.91 c #Conflicts: 572000 | #Constraints: 26319 3245.72/3253.91 c #Conflicts: 573000 | #Constraints: 27323 3245.72/3253.91 c #Conflicts: 574000 | #Constraints: 28326 3245.72/3253.91 c #Conflicts: 575000 | #Constraints: 29327 3245.72/3253.91 c #Conflicts: 576000 | #Constraints: 30330 3245.72/3253.91 c INPROCESSING 3245.72/3253.91 c GARBAGE COLLECT 3245.72/3253.91 c #Conflicts: 577000 | #Constraints: 16285 3245.72/3253.91 c #Conflicts: 578000 | #Constraints: 17286 3245.72/3253.91 c #Conflicts: 579000 | #Constraints: 18286 3245.72/3253.91 c #Conflicts: 580000 | #Constraints: 19287 3245.72/3253.91 c #Conflicts: 581000 | #Constraints: 20288 3245.72/3253.91 c #Conflicts: 582000 | #Constraints: 21291 3245.72/3253.91 c #Conflicts: 583000 | #Constraints: 22293 3245.72/3253.91 c #Conflicts: 584000 | #Constraints: 23293 3245.72/3253.91 c #Conflicts: 585000 | #Constraints: 24294 3245.72/3253.91 c #Conflicts: 586000 | #Constraints: 25294 3245.72/3253.91 c #Conflicts: 587000 | #Constraints: 26294 3245.72/3253.91 c #Conflicts: 588000 | #Constraints: 27294 3245.72/3253.91 c #Conflicts: 589000 | #Constraints: 28295 3245.72/3253.91 c #Conflicts: 590000 | #Constraints: 29295 3245.72/3253.91 c #Conflicts: 591000 | #Constraints: 30296 3245.72/3253.91 c INPROCESSING 3245.72/3253.91 c GARBAGE COLLECT 3245.72/3253.91 c #Conflicts: 592000 | #Constraints: 16060 3245.72/3253.91 c #Conflicts: 593000 | #Constraints: 17060 3245.72/3253.91 c #Conflicts: 594000 | #Constraints: 18060 3245.72/3253.91 c #Conflicts: 595000 | #Constraints: 19062 3245.72/3253.91 c #Conflicts: 596000 | #Constraints: 20065 3245.72/3253.91 c #Conflicts: 597000 | #Constraints: 21068 3245.72/3253.91 c #Conflicts: 598000 | #Constraints: 22070 3245.72/3253.91 c #Conflicts: 599000 | #Constraints: 23072 3245.72/3253.91 c #Conflicts: 600000 | #Constraints: 24074 3245.72/3253.91 c #Conflicts: 601000 | #Constraints: 25077 3245.72/3253.91 c #Conflicts: 602000 | #Constraints: 26079 3245.72/3253.91 c #Conflicts: 603000 | #Constraints: 27082 3245.72/3253.91 c #Conflicts: 604000 | #Constraints: 28085 3245.72/3253.91 c #Conflicts: 605000 | #Constraints: 29087 3245.72/3253.91 c #Conflicts: 606000 | #Constraints: 30088 3245.72/3253.91 c #Conflicts: 607000 | #Constraints: 31092 3245.72/3253.91 c INPROCESSING 3320.94/3329.34 c GARBAGE COLLECT 3320.94/3329.34 c #Conflicts: 608000 | #Constraints: 16668 3320.94/3329.34 c #Conflicts: 609000 | #Constraints: 17669 3320.94/3329.34 c #Conflicts: 610000 | #Constraints: 18670 3320.94/3329.34 c #Conflicts: 611000 | #Constraints: 19670 3320.94/3329.34 c #Conflicts: 612000 | #Constraints: 20673 3320.94/3329.34 c #Conflicts: 613000 | #Constraints: 21673 3320.94/3329.34 c #Conflicts: 614000 | #Constraints: 22675 3320.94/3329.34 c #Conflicts: 615000 | #Constraints: 23678 3320.94/3329.34 c #Conflicts: 616000 | #Constraints: 24678 3320.94/3329.34 c #Conflicts: 617000 | #Constraints: 25680 3320.94/3329.34 c #Conflicts: 618000 | #Constraints: 26683 3320.94/3329.34 c #Conflicts: 619000 | #Constraints: 27684 3320.94/3329.34 c #Conflicts: 620000 | #Constraints: 28685 3320.94/3329.34 c #Conflicts: 621000 | #Constraints: 29688 3320.94/3329.34 c #Conflicts: 622000 | #Constraints: 30689 3320.94/3329.34 c #Conflicts: 623000 | #Constraints: 31691 3320.94/3329.34 c INPROCESSING 3320.94/3329.34 c GARBAGE COLLECT 3320.94/3329.34 c rational objective 3.13345e+06 3397.06/3405.68 c #Conflicts: 624000 | #Constraints: 17059 3397.06/3405.68 c #Conflicts: 625000 | #Constraints: 18059 3397.06/3405.68 c #Conflicts: 626000 | #Constraints: 19061 3397.06/3405.68 c #Conflicts: 627000 | #Constraints: 20063 3397.06/3405.68 c #Conflicts: 628000 | #Constraints: 21065 3397.06/3405.68 c #Conflicts: 629000 | #Constraints: 22067 3397.06/3405.68 c #Conflicts: 630000 | #Constraints: 23068 3397.06/3405.68 c #Conflicts: 631000 | #Constraints: 24070 3397.06/3405.68 c #Conflicts: 632000 | #Constraints: 25075 3397.06/3405.68 c #Conflicts: 633000 | #Constraints: 26078 3397.06/3405.68 c #Conflicts: 634000 | #Constraints: 27080 3397.06/3405.68 c #Conflicts: 635000 | #Constraints: 28082 3397.06/3405.68 c #Conflicts: 636000 | #Constraints: 29085 3397.06/3405.68 c #Conflicts: 637000 | #Constraints: 30088 3397.06/3405.68 c #Conflicts: 638000 | #Constraints: 31091 3397.06/3405.68 c #Conflicts: 639000 | #Constraints: 32092 3397.06/3405.68 c INPROCESSING 3397.06/3405.68 c GARBAGE COLLECT 3397.06/3405.68 c rational objective 3.13349e+06 3600.09/3609.10 c #Conflicts: 640000 | #Constraints: 17271 3600.09/3609.10 c #Conflicts: 641000 | #Constraints: 18271 3600.09/3609.10 c #Conflicts: 642000 | #Constraints: 19274 3600.09/3609.10 c #Conflicts: 643000 | #Constraints: 20275 3600.09/3609.10 c #Conflicts: 644000 | #Constraints: 21277 3600.09/3609.10 c #Conflicts: 645000 | #Constraints: 22278 3600.09/3609.10 c #Conflicts: 646000 | #Constraints: 23278 3600.09/3609.10 c #Conflicts: 647000 | #Constraints: 24278 3600.09/3609.10 c #Conflicts: 648000 | #Constraints: 25279 3600.09/3609.10 c #Conflicts: 649000 | #Constraints: 26279 3600.09/3609.10 c #Conflicts: 650000 | #Constraints: 27279 3600.09/3609.10 c #Conflicts: 651000 | #Constraints: 28279 3600.09/3609.10 c #Conflicts: 652000 | #Constraints: 29279 3600.09/3609.10 c #Conflicts: 653000 | #Constraints: 30281 3600.09/3609.10 c #Conflicts: 654000 | #Constraints: 31283 3600.09/3609.10 c #Conflicts: 655000 | #Constraints: 32283 3600.09/3609.10 c INPROCESSING 3600.09/3609.10 c GARBAGE COLLECT 3600.09/3609.10 c #Conflicts: 656000 | #Constraints: 17267 3600.09/3609.10 c #Conflicts: 657000 | #Constraints: 18268 3600.09/3609.10 c #Conflicts: 658000 | #Constraints: 19268 3600.09/3609.10 c #Conflicts: 659000 | #Constraints: 20268 3600.09/3609.10 c #Conflicts: 660000 | #Constraints: 21270 3600.09/3609.10 c #Conflicts: 661000 | #Constraints: 22270 3600.09/3609.10 c #Conflicts: 662000 | #Constraints: 23270 3600.09/3609.10 c #Conflicts: 663000 | #Constraints: 24274 3600.09/3609.10 c #Conflicts: 664000 | #Constraints: 25274 3600.09/3609.10 c #Conflicts: 665000 | #Constraints: 26277 3600.09/3609.10 c #Conflicts: 666000 | #Constraints: 27280 3600.09/3609.10 c #Conflicts: 667000 | #Constraints: 28283 3600.09/3609.10 c #Conflicts: 668000 | #Constraints: 29283 3600.09/3609.10 c #Conflicts: 669000 | #Constraints: 30284 3600.09/3609.10 c #Conflicts: 670000 | #Constraints: 31284 3600.09/3609.10 c #Conflicts: 671000 | #Constraints: 32284 3600.09/3609.10 c INPROCESSING 3600.09/3609.10 c GARBAGE COLLECT 3600.09/3609.10 c Program interrupted by user. 3600.09/3609.10 c cpu time 3581.58 s 3600.09/3609.10 c deterministic time 464748886644 4.65e+11 3600.09/3609.10 c optimization time 0.402858 s 3600.09/3609.10 c total solve time 3581.16 s 3600.09/3609.10 c core-guided solve time 2089.66 s 3600.09/3609.10 c propagation time 2621.24 s 3600.09/3609.10 c conflict analysis time 778.742 s 3600.09/3609.10 c propagations 258770051 3600.09/3609.10 c resolve steps 7422986 3600.09/3609.10 c decisions 9416193 3600.09/3609.10 c conflicts 671634 3600.09/3609.10 c restarts 1450 3600.09/3609.10 c inprocessing phases 73 3600.09/3609.10 c input clauses 1 3600.09/3609.10 c input cardinalities 9 3600.09/3609.10 c input general constraints 884 3600.09/3609.10 c input average constraint length 2423.29 3600.09/3609.10 c input average constraint degree 343705789.13 3600.09/3609.10 c learned clauses 364137 3600.09/3609.10 c learned cardinalities 28 3600.09/3609.10 c learned general constraints 309322 3600.09/3609.10 c learned average constraint length 1888.25 3600.09/3609.10 c learned average constraint degree 4180056645.34 3600.09/3609.10 c watched constraints 307792 3600.09/3609.10 c counting constraints 2414 3600.09/3609.10 c gcd simplifications 97646 3600.09/3609.10 c detected cardinalities 20 3600.09/3609.10 c weakened non-implied lits 186547603 3600.09/3609.10 c weakened non-implying lits 13279585 3600.09/3609.10 c original variables 7812 3600.09/3609.10 c clausal propagations 1394060 3600.09/3609.10 c cardinality propagations 183741 3600.09/3609.10 c watched propagations 65342186 3600.09/3609.10 c counting propagations 190828185 3600.09/3609.10 c watch lookups 35735367792 3600.09/3609.10 c watch backjump lookups 32427647752 3600.09/3609.10 c watch checks 346138120188 3600.09/3609.10 c propagation checks 42068814368 3600.09/3609.10 c constraint additions 7840888371 3600.09/3609.10 c trail pops 268849755 3600.09/3609.10 c formula constraints 316 3600.09/3609.10 c learned constraints 670765 3600.09/3609.10 c bound constraints 557 3600.09/3609.10 c core-guided constraints 21 3600.09/3609.10 c encountered formula constraints 3771630 3600.09/3609.10 c encountered learned constraints 3826788 3600.09/3609.10 c encountered bound constraints 40795 3600.09/3609.10 c encountered core-guided constraints 15512 3600.09/3609.10 c LP total time 196.386 s 3600.09/3609.10 c LP solve time 158.48 s 3600.09/3609.10 c LP constraints added 1021 3600.09/3609.10 c LP constraints removed 590 3600.09/3609.10 c LP pivots internal 681679 3600.09/3609.10 c LP pivots root 330494 3600.09/3609.10 c LP calls 2352 3600.09/3609.10 c LP optimalities 426 3600.09/3609.10 c LP no pivot count 46 3600.09/3609.10 c LP infeasibilities 1673 3600.09/3609.10 c LP valid Farkas constraints 1548 3600.09/3609.10 c LP learned Farkas constraints 871 3600.09/3609.10 c LP basis resets 345 3600.09/3609.10 c LP cycling count 0 3600.09/3609.10 c LP singular count 247 3600.09/3609.10 c LP no primal count 0 3600.09/3609.10 c LP no farkas count 96 3600.09/3609.10 c LP other issue count 2 3600.09/3609.10 c LP Gomory cuts 303 3600.09/3609.10 c LP learned cuts 402 3600.09/3609.10 c LP deleted cuts 590 3600.09/3609.10 c LP encountered Gomory constraints 23209 3600.09/3609.10 c LP encountered Farkas constraints 396054 3600.09/3609.10 c LP encountered learned Farkas constraints 19761 3600.09/3609.10 c CG auxiliary variables introduced 10 3600.09/3609.10 c CG solutions found 548 3600.09/3609.10 c CG cores constructed 9 3600.09/3609.10 c CG core cardinality constraints returned 0 3600.09/3609.10 c CG unit cores 0 3600.09/3609.10 c CG single cores 8 3600.09/3609.10 c CG blocks removed during cardinality reduction 0 3600.09/3609.10 c CG first core best 0 3600.09/3609.10 c CG decision core best 0 3600.09/3609.10 c CG core reduction tie 1 3600.09/3609.10 c CG core degree average 1.00 3600.09/3609.10 c CG core slack average 49.67 3600.09/3609.10 s SATISFIABLE 3600.09/3609.10 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
OK 4141056
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60822 MiB free)
memory of node 1: 64510 MiB (61457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455059-1721456524/watcher-4455059-1721456524 -o /tmp/evaluation-result-4455059-1721456524/solver-4455059-1721456524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067953 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455059-1721456524.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1067996, runsolver pid=1067991
[startup+0.1004 s]*
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125152884/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=45304 memory=15980 CPUtime=0.09 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 2927 0 0 0 8 1 0 0 20 0 1 0 197822163 46391296 3995 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 11326 3995 1852 922 0 3278 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45304 KiB
Current children cumulated memory: 15980 KiB
[startup+0.206398 s]*
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125120472/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=45460 memory=16508 CPUtime=0.18 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 3089 0 0 0 17 1 0 0 20 0 1 0 197822163 46551040 4127 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 11365 4127 1852 922 0 3317 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45460 KiB
Current children cumulated memory: 16508 KiB
[startup+0.305399 s]*
/proc/loadavg: 1.09 2.00 3.15 7/258 1068015
/proc/meminfo: memFree=125088264/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=45980 memory=17564 CPUtime=0.29 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 3330 0 0 0 27 2 0 0 20 0 1 0 197822163 47083520 4391 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 11495 4391 1852 922 0 3447 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45980 KiB
Current children cumulated memory: 17564 KiB
[startup+0.700202 s]
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125076976/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=47852 memory=21780 CPUtime=0.67 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 3890 0 0 0 65 2 0 0 20 0 1 0 197822163 49000448 5445 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 11963 5445 1868 922 0 3915 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 47852 KiB
Current children cumulated memory: 21780 KiB
[startup+1.5002 s]
/proc/loadavg: 1.09 2.00 3.15 6/258 1068015
/proc/meminfo: memFree=125058600/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=56508 memory=29780 CPUtime=1.47 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 4842 0 0 0 143 4 0 0 20 0 1 0 197822163 57864192 7445 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 14127 7445 1868 922 0 6079 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56508 KiB
Current children cumulated memory: 29780 KiB
[startup+3.10597 s]
/proc/loadavg: 1.09 2.00 3.15 6/258 1068016
/proc/meminfo: memFree=124958700/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=70120 memory=40268 CPUtime=3.08 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 6949 0 0 0 300 8 0 0 20 0 1 0 197822163 71802880 10067 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 17530 10067 1868 922 0 9482 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 70120 KiB
Current children cumulated memory: 40268 KiB
[startup+6.3002 s]
/proc/loadavg: 1.32 2.03 3.15 6/258 1068016
/proc/meminfo: memFree=124826672/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=88364 memory=54532 CPUtime=6.27 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 9013 0 0 0 610 17 0 0 20 0 1 0 197822163 90484736 13633 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 22091 13633 1868 922 0 14043 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88364 KiB
Current children cumulated memory: 54532 KiB
[startup+12.7002 s]
/proc/loadavg: 1.54 2.06 3.16 6/258 1068018
/proc/meminfo: memFree=124667952/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=95272 memory=66068 CPUtime=12.65 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 11641 0 0 0 1241 24 0 0 20 0 1 0 197822163 97558528 16517 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 23818 16517 1990 922 0 15770 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 95272 KiB
Current children cumulated memory: 66068 KiB
[startup+25.5002 s]
/proc/loadavg: 2.15 2.18 3.18 6/258 1068019
/proc/meminfo: memFree=124468232/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=121936 memory=86280 CPUtime=25.41 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 15830 0 0 0 2485 56 0 0 20 0 1 0 197822163 124862464 21570 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 30484 21570 1990 922 0 22436 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 121936 KiB
Current children cumulated memory: 86280 KiB
[startup+51.106 s]
/proc/loadavg: 2.78 2.32 3.20 6/258 1068024
/proc/meminfo: memFree=124304300/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=130732 memory=103072 CPUtime=50.95 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 19956 0 0 0 4994 101 0 0 20 0 1 0 197822163 133869568 25768 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 32683 25768 1990 922 0 24635 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 130732 KiB
Current children cumulated memory: 103072 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.60 3.25 6/257 1068033
/proc/meminfo: memFree=124062032/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=175064 memory=137568 CPUtime=102.01 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 24071 0 0 0 10035 166 0 0 20 0 1 0 197822163 179265536 34392 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 43766 34392 1990 922 0 35718 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 175064 KiB
Current children cumulated memory: 137568 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.87 3.31 6/257 1068044
/proc/meminfo: memFree=123845936/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=244208 memory=173024 CPUtime=161.85 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 29159 0 0 0 15947 238 0 0 20 0 1 0 197822163 250068992 43256 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 61052 43256 1990 922 0 53004 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 244208 KiB
Current children cumulated memory: 173024 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.11 3.36 6/259 1068438
/proc/meminfo: memFree=123683004/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=251288 memory=182132 CPUtime=221.71 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 31296 0 0 0 21880 291 0 0 20 0 1 0 197822163 257318912 45533 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 62822 45533 1990 922 0 54774 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 251288 KiB
Current children cumulated memory: 182132 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.31 3.42 6/256 1068448
/proc/meminfo: memFree=123589984/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=266864 memory=216152 CPUtime=281.57 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 36735 0 0 0 27819 338 0 0 20 0 1 0 197822163 273268736 54038 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 66716 54038 1990 922 0 58668 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 266864 KiB
Current children cumulated memory: 216152 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.45 3.46 6/257 1068460
/proc/meminfo: memFree=123317860/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=278604 memory=229956 CPUtime=341.43 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 38793 0 0 0 33766 377 0 0 20 0 1 0 197822163 285290496 57489 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 69651 57489 1990 922 0 61603 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 278604 KiB
Current children cumulated memory: 229956 KiB
[startup+402.3 s]
/proc/loadavg: 4.89 3.79 3.58 6/259 1068640
/proc/meminfo: memFree=123234612/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=283876 memory=249508 CPUtime=401.29 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 39703 0 0 0 39725 404 0 0 20 0 1 0 197822163 290689024 62377 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 70969 62377 1990 922 0 62921 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 283876 KiB
Current children cumulated memory: 249508 KiB
[startup+462.3 s]
/proc/loadavg: 4.78 3.94 3.64 6/260 1068651
/proc/meminfo: memFree=123189936/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=290844 memory=256528 CPUtime=461.15 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 40511 0 0 0 45669 446 0 0 20 0 1 0 197822163 297824256 64132 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 72711 64132 1990 922 0 64663 0
################
# More data... #
################
Current children cumulated memory: 518176 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/256 1069718
/proc/meminfo: memFree=119862868/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=638488 memory=518176 CPUtime=2914.89 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 74725 0 0 0 289967 1522 0 0 20 0 1 0 197822163 653811712 129544 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159622 129544 1990 922 0 151574 0
Current children cumulated CPU time: 2914.89 s
Current children cumulated vsize: 638488 KiB
Current children cumulated memory: 518176 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/256 1069728
/proc/meminfo: memFree=119840164/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=638488 memory=518176 CPUtime=2974.75 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 74831 0 0 0 295920 1555 0 0 20 0 1 0 197822163 653811712 129544 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159622 129544 1990 922 0 151574 0
Current children cumulated CPU time: 2974.75 s
Current children cumulated vsize: 638488 KiB
Current children cumulated memory: 518176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.20 4.16 4.10 6/256 1069739
/proc/meminfo: memFree=119818012/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=638488 memory=518176 CPUtime=3034.61 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 75034 0 0 0 301851 1610 0 0 20 0 1 0 197822163 653811712 129544 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159622 129544 1990 922 0 151574 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 638488 KiB
Current children cumulated memory: 518176 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/256 1069749
/proc/meminfo: memFree=119790148/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=638488 memory=518176 CPUtime=3094.47 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 75167 0 0 0 307801 1646 0 0 20 0 1 0 197822163 653811712 129544 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159622 129544 1990 922 0 151574 0
Current children cumulated CPU time: 3094.47 s
Current children cumulated vsize: 638488 KiB
Current children cumulated memory: 518176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.09 6/256 1069760
/proc/meminfo: memFree=119733024/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=639432 memory=537464 CPUtime=3154.33 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 75555 0 0 0 313751 1682 0 0 20 0 1 0 197822163 654778368 134366 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159858 134366 1990 922 0 151810 0
Current children cumulated CPU time: 3154.33 s
Current children cumulated vsize: 639432 KiB
Current children cumulated memory: 537464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/256 1069770
/proc/meminfo: memFree=119682080/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=639432 memory=541648 CPUtime=3214.19 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 75751 0 0 0 319712 1707 0 0 20 0 1 0 197822163 654778368 135412 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159858 135412 1990 922 0 151810 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 639432 KiB
Current children cumulated memory: 541648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/254 1069780
/proc/meminfo: memFree=119639616/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=639432 memory=541648 CPUtime=3274.05 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 75963 0 0 0 325683 1722 0 0 20 0 1 0 197822163 654778368 135412 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 159858 135412 1990 922 0 151810 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 639432 KiB
Current children cumulated memory: 541648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/255 1069792
/proc/meminfo: memFree=119580972/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=654940 memory=557096 CPUtime=3333.91 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 77055 0 0 0 331650 1741 0 0 20 0 1 0 197822163 670658560 139274 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 163735 139274 1990 922 0 155687 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 654940 KiB
Current children cumulated memory: 557096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/255 1069802
/proc/meminfo: memFree=119520844/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=654940 memory=557156 CPUtime=3393.77 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 77267 0 0 0 337617 1760 0 0 20 0 1 0 197822163 670658560 139289 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 163735 139289 1990 922 0 155687 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 654940 KiB
Current children cumulated memory: 557156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.14 4.10 6/255 1069812
/proc/meminfo: memFree=119522720/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=640560 memory=542776 CPUtime=3453.62 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 78648 0 0 0 343583 1779 0 0 20 0 1 0 197822163 655933440 135694 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 160140 135694 1990 922 0 152092 0
Current children cumulated CPU time: 3453.62 s
Current children cumulated vsize: 640560 KiB
Current children cumulated memory: 542776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/257 1069827
/proc/meminfo: memFree=119513048/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=640560 memory=542776 CPUtime=3513.48 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 78850 0 0 0 349539 1809 0 0 20 0 1 0 197822163 655933440 135694 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 160140 135694 1990 922 0 152092 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 640560 KiB
Current children cumulated memory: 542776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/257 1069837
/proc/meminfo: memFree=119512516/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=640560 memory=542776 CPUtime=3573.35 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 79122 0 0 0 355501 1834 0 0 20 0 1 0 197822163 655933440 135694 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 160140 135694 1990 922 0 152092 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 640560 KiB
Current children cumulated memory: 542776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.06 4.10 4.09 6/257 1069843
/proc/meminfo: memFree=119512028/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=640560 memory=542776 CPUtime=3600.09 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 79248 0 0 0 358157 1852 0 0 20 0 1 0 197822163 655933440 135694 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 160140 135694 1990 922 0 152092 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 640560 KiB
Current children cumulated memory: 542776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 1067996 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.58 s, system=18.5277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.06 4.10 4.09 6/257 1069843
/proc/meminfo: memFree=119512028/131524600 swapFree=131071996/131071996
[pid=1067996] ppid=1067991 vsize=640560 memory=542776 CPUtime=3600.09 cores=4,6
/proc/1067996/stat : 1067996 (roundingsat) R 1067991 1067996 1067942 0 -1 4194304 79248 0 0 0 358157 1852 0 0 20 0 1 0 197822163 655933440 135694 134679101440 4194304 7968373 140730615930432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 15527936 140730615931836 140730615932000 140730615932000 140730615939017 0
/proc/1067996/statm: 160140 135694 1990 922 0 152092 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 640560 KiB
Current children cumulated memory: 542776 KiB
Child status: 0
Real time (s): 3609.11
CPU time (s): 3600.11
CPU user time (s): 3581.58
CPU system time (s): 18.5277
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 654940
Max. memory (cumulated for all children) (KiB): 557156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.58
system time used= 18.5277
maximum resident set size= 557156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 1466
# summary of solver processes directly reported to runsolver:
# pid: 1067996
# total CPU time (s): 3600.11
# total CPU user time (s): 3581.58
# total CPU system time (s): 18.5277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68595 second user time and 19.2479 second system time
The end
Begin job on nodeC033 at 2024-07-20 08:22:17 IDJOB=4455059 IDBENCH=146763 IDSOLVER=3084 FILE ID=nodeC033/4455059-1721456524 RUNJOBID= nodeC033-1721456537-1067953 SLURM_JOB_ID= 7545693 Free space on /tmp= 890084 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455059-1721456524/watcher-4455059-1721456524 -o /tmp/evaluation-result-4455059-1721456524/solver-4455059-1721456524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721456537-1067953 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455059-1721456524.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=32815579 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3548.776 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3625.517 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3844.931 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3738.493 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3618.891 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3927.709 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3735.689 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3754.771 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125226188 kB MemAvailable: 129626196 kB Buffers: 600156 kB Cached: 4592616 kB SwapCached: 0 kB Active: 1086280 kB Inactive: 4482084 kB Active(anon): 1468 kB Inactive(anon): 420356 kB Active(file): 1084812 kB Inactive(file): 4061728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17684 kB Writeback: 0 kB AnonPages: 373316 kB Mapped: 107872 kB Shmem: 45908 kB KReclaimable: 186896 kB Slab: 311028 kB SReclaimable: 186896 kB SUnreclaim: 124132 kB KernelStack: 3920 kB PageTables: 9648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 798696 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 72448 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890052 MiB End job on nodeC033 at 2024-07-20 09:22:26