| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 63 | 3600.09 | 3609.71 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
| MD5SUM | c6607e81ef495ea554e89cc8679fc78c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 63 |
| Best CPU time to get the best result obtained on this benchmark | 2.08211 |
| 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 | 4676 |
| Total number of constraints | 509 |
| Number of constraints which are clauses | 509 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 166 |
| Number of terms in the objective function | 4676 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4676 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4676 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.03 c #variables 4676 #constraints 509 2.28/2.35 c bounds 4677 >= 0 @ 0.0314 2.28/2.35 c bounds 156 >= 0 @ 0.235414 2.28/2.35 c bounds 156 >= 1 @ 0.237427 2.28/2.35 c bounds 156 >= 2 @ 0.239326 2.28/2.35 c bounds 156 >= 3 @ 0.242394 2.28/2.35 c bounds 156 >= 4 @ 0.245905 2.28/2.35 c bounds 156 >= 5 @ 0.248609 2.28/2.35 c bounds 156 >= 6 @ 0.250397 2.28/2.35 c bounds 156 >= 7 @ 0.25208 2.28/2.35 c bounds 156 >= 8 @ 0.256596 2.28/2.35 c bounds 156 >= 9 @ 0.25906 2.28/2.35 c bounds 156 >= 10 @ 0.262583 2.28/2.35 c bounds 155 >= 10 @ 0.286916 2.28/2.35 c bounds 155 >= 11 @ 0.290691 2.28/2.35 c bounds 155 >= 12 @ 0.293072 2.28/2.35 c bounds 155 >= 13 @ 0.29706 2.28/2.35 c bounds 155 >= 14 @ 0.299075 2.28/2.35 c bounds 155 >= 15 @ 0.302099 2.28/2.35 c bounds 155 >= 16 @ 0.306181 2.28/2.35 c bounds 155 >= 17 @ 0.309259 2.28/2.35 c bounds 155 >= 18 @ 0.311381 2.28/2.35 c bounds 155 >= 19 @ 0.31589 2.28/2.35 c bounds 155 >= 20 @ 0.319868 2.28/2.35 c bounds 155 >= 21 @ 0.321867 2.28/2.35 c bounds 155 >= 22 @ 0.326789 2.28/2.35 c bounds 155 >= 23 @ 0.331861 2.28/2.35 c bounds 155 >= 24 @ 0.337946 2.28/2.35 c bounds 155 >= 25 @ 0.342938 2.28/2.35 c bounds 154 >= 25 @ 0.36153 2.28/2.35 c bounds 154 >= 26 @ 0.365725 2.28/2.35 c bounds 154 >= 27 @ 0.37076 2.28/2.35 c bounds 154 >= 28 @ 0.372424 2.28/2.35 c bounds 154 >= 29 @ 0.376681 2.28/2.35 c bounds 154 >= 30 @ 0.380558 2.28/2.35 c bounds 154 >= 31 @ 0.382462 2.28/2.35 c bounds 154 >= 32 @ 0.386411 2.28/2.35 c bounds 154 >= 33 @ 0.387386 2.28/2.35 c bounds 154 >= 34 @ 0.391396 2.28/2.35 c bounds 154 >= 35 @ 0.395386 2.28/2.35 c bounds 154 >= 36 @ 0.400957 2.28/2.35 c bounds 154 >= 37 @ 0.406224 2.28/2.35 c bounds 154 >= 38 @ 0.407886 2.28/2.35 c bounds 153 >= 38 @ 0.427084 2.28/2.35 c bounds 153 >= 39 @ 0.430165 2.28/2.35 c bounds 153 >= 40 @ 0.432095 2.28/2.35 c bounds 153 >= 41 @ 0.437123 2.28/2.35 c bounds 153 >= 42 @ 0.441121 2.28/2.35 c bounds 153 >= 43 @ 0.445533 2.28/2.35 c bounds 153 >= 44 @ 0.448091 2.28/2.35 c bounds 153 >= 45 @ 0.452924 2.28/2.35 c bounds 153 >= 46 @ 0.457382 2.28/2.35 c bounds 153 >= 47 @ 0.462427 2.28/2.35 c bounds 153 >= 48 @ 0.466029 2.28/2.35 c bounds 152 >= 48 @ 0.477638 2.28/2.35 c bounds 152 >= 49 @ 0.48058 2.28/2.35 c bounds 152 >= 50 @ 0.484117 2.28/2.35 c bounds 152 >= 51 @ 0.632782 2.28/2.35 c bounds 152 >= 52 @ 0.651428 2.28/2.35 c bounds 151 >= 52 @ 0.658964 2.28/2.35 c bounds 150 >= 52 @ 0.670449 2.28/2.35 c bounds 149 >= 52 @ 0.686135 2.28/2.35 c bounds 148 >= 52 @ 0.69552 2.28/2.35 c bounds 148 >= 53 @ 0.752867 2.28/2.35 c bounds 147 >= 53 @ 0.762986 2.28/2.35 c bounds 146 >= 53 @ 0.77889 2.28/2.35 c bounds 145 >= 53 @ 0.789524 2.28/2.35 c bounds 144 >= 53 @ 0.806954 2.28/2.35 c bounds 143 >= 53 @ 0.818425 2.28/2.35 c bounds 142 >= 53 @ 0.830618 2.28/2.35 c bounds 141 >= 53 @ 0.836942 2.28/2.35 c bounds 140 >= 53 @ 0.845596 2.28/2.35 c bounds 139 >= 53 @ 0.851366 2.28/2.35 c bounds 138 >= 53 @ 0.863951 2.28/2.35 c bounds 137 >= 53 @ 0.869895 2.28/2.35 c bounds 136 >= 53 @ 0.877122 2.28/2.35 c bounds 135 >= 53 @ 0.892494 2.28/2.35 c bounds 134 >= 53 @ 0.898928 2.28/2.35 c bounds 133 >= 53 @ 0.907477 2.28/2.35 c bounds 133 >= 54 @ 0.991683 2.28/2.35 c bounds 132 >= 54 @ 1.00017 2.28/2.35 c bounds 131 >= 54 @ 1.01269 2.28/2.35 c bounds 130 >= 54 @ 1.04173 2.28/2.35 c bounds 129 >= 54 @ 1.09959 2.28/2.35 c #Conflicts: 1000 | #Constraints: 1827 2.28/2.35 c bounds 128 >= 54 @ 1.12607 2.28/2.35 c bounds 127 >= 54 @ 1.1454 2.28/2.35 c bounds 126 >= 54 @ 1.17288 2.28/2.35 c bounds 125 >= 54 @ 1.18895 2.28/2.35 c bounds 124 >= 54 @ 1.20574 2.28/2.35 c bounds 123 >= 54 @ 1.22114 2.28/2.35 c bounds 122 >= 54 @ 1.23666 2.28/2.35 c bounds 121 >= 54 @ 1.25064 2.28/2.35 c bounds 120 >= 54 @ 1.27058 2.28/2.35 c bounds 119 >= 54 @ 1.32717 2.28/2.35 c #Conflicts: 2000 | #Constraints: 2837 2.28/2.35 c INPROCESSING 2.28/2.35 c GARBAGE COLLECT 2.28/2.35 c rational objective 60 4.09/4.18 c bounds 118 >= 54 @ 1.84369 4.09/4.18 c bounds 117 >= 54 @ 1.86842 4.09/4.18 c bounds 116 >= 54 @ 1.8859 4.09/4.18 c bounds 115 >= 54 @ 1.91067 4.09/4.18 c bounds 114 >= 54 @ 1.93308 4.09/4.18 c bounds 113 >= 54 @ 1.94692 4.09/4.18 c bounds 112 >= 54 @ 1.96714 4.09/4.18 c bounds 111 >= 54 @ 1.97844 4.09/4.18 c bounds 110 >= 54 @ 1.98997 4.09/4.18 c bounds 109 >= 54 @ 2.01137 4.09/4.18 c bounds 108 >= 54 @ 2.02216 4.09/4.18 c bounds 107 >= 54 @ 2.03792 4.09/4.18 c bounds 106 >= 54 @ 2.0523 4.09/4.18 c bounds 105 >= 54 @ 2.08507 4.09/4.18 c bounds 104 >= 54 @ 2.10417 4.09/4.18 c bounds 103 >= 54 @ 2.12888 4.09/4.18 c bounds 102 >= 54 @ 2.16989 4.09/4.18 c bounds 101 >= 54 @ 2.18986 4.09/4.18 c bounds 100 >= 54 @ 2.20336 4.09/4.18 c bounds 99 >= 54 @ 2.21886 4.09/4.18 c bounds 98 >= 54 @ 2.24162 4.09/4.18 c bounds 97 >= 54 @ 2.29518 4.09/4.18 c bounds 96 >= 54 @ 2.32057 4.09/4.18 c bounds 95 >= 54 @ 2.35508 4.09/4.18 c bounds 94 >= 54 @ 2.42506 4.09/4.18 c #Conflicts: 3000 | #Constraints: 2807 4.09/4.18 c bounds 93 >= 54 @ 2.70403 4.09/4.18 c bounds 93 >= 55 @ 2.79649 4.09/4.18 c bounds 92 >= 55 @ 2.86276 4.09/4.18 c bounds 91 >= 55 @ 2.90827 4.09/4.18 c bounds 90 >= 55 @ 2.94918 4.09/4.18 c #Conflicts: 4000 | #Constraints: 3839 4.09/4.18 c INPROCESSING 4.09/4.18 c GARBAGE COLLECT 4.09/4.18 c rational objective 60.1667 5.87/5.90 c bounds 89 >= 55 @ 3.5762 5.87/5.90 c bounds 88 >= 55 @ 3.61467 5.87/5.90 c bounds 87 >= 55 @ 3.92931 5.87/5.90 c bounds 86 >= 55 @ 3.9716 5.87/5.90 c bounds 85 >= 55 @ 4.01766 5.87/5.90 c #Conflicts: 5000 | #Constraints: 3230 5.87/5.90 c bounds 84 >= 55 @ 4.12842 5.87/5.90 c #Conflicts: 6000 | #Constraints: 4234 5.87/5.90 c INPROCESSING 5.87/5.90 c GARBAGE COLLECT 5.87/5.90 c rational objective 60.3611 8.46/8.58 c bounds 83 >= 55 @ 5.1279 8.46/8.58 c bounds 82 >= 55 @ 5.15832 8.46/8.58 c bounds 81 >= 55 @ 5.19199 8.46/8.58 c bounds 80 >= 55 @ 5.37167 8.46/8.58 c #Conflicts: 7000 | #Constraints: 3242 8.46/8.58 c #Conflicts: 8000 | #Constraints: 4242 8.46/8.58 c bounds 79 >= 55 @ 7.00521 8.46/8.58 c #Conflicts: 9000 | #Constraints: 5297 8.46/8.58 c INPROCESSING 8.46/8.58 c GARBAGE COLLECT 8.46/8.58 c rational objective 60.3611 11.26/11.31 c bounds 79 >= 56 @ 7.9328 11.26/11.31 c #Conflicts: 10000 | #Constraints: 4001 11.26/11.31 c #Conflicts: 11000 | #Constraints: 5001 11.26/11.31 c #Conflicts: 12000 | #Constraints: 6001 11.26/11.31 c INPROCESSING 11.26/11.31 c GARBAGE COLLECT 11.26/11.31 c rational objective 60.3611 14.65/14.72 c bounds 78 >= 56 @ 10.2655 14.65/14.72 c bounds 77 >= 56 @ 10.7823 14.65/14.72 c #Conflicts: 13000 | #Constraints: 4440 14.65/14.72 c #Conflicts: 14000 | #Constraints: 5440 14.65/14.72 c bounds 76 >= 56 @ 13.1124 14.65/14.72 c bounds 75 >= 56 @ 13.142 14.65/14.72 c #Conflicts: 15000 | #Constraints: 6442 14.65/14.72 c INPROCESSING 14.65/14.72 c GARBAGE COLLECT 14.65/14.72 c rational objective 60.3611 18.24/18.36 c #Conflicts: 16000 | #Constraints: 4647 18.24/18.36 c bounds 74 >= 56 @ 15.3261 18.24/18.36 c #Conflicts: 17000 | #Constraints: 5670 18.24/18.36 c #Conflicts: 18000 | #Constraints: 6672 18.24/18.36 c INPROCESSING 18.24/18.36 c GARBAGE COLLECT 18.24/18.36 c rational objective 61 22.72/22.82 c bounds 73 >= 56 @ 17.4451 22.72/22.82 c bounds 72 >= 56 @ 17.8276 22.72/22.82 c #Conflicts: 19000 | #Constraints: 4724 22.72/22.82 c bounds 71 >= 56 @ 18.5803 22.72/22.82 c #Conflicts: 20000 | #Constraints: 5725 22.72/22.82 c bounds 70 >= 56 @ 19.4088 22.72/22.82 c #Conflicts: 21000 | #Constraints: 6726 22.72/22.82 c bounds 70 >= 57 @ 20.2893 22.72/22.82 c bounds 69 >= 57 @ 20.5357 22.72/22.82 c INPROCESSING 22.72/22.82 c GARBAGE COLLECT 22.72/22.82 c rational objective 61 26.71/26.82 c #Conflicts: 22000 | #Constraints: 4525 26.71/26.82 c bounds 68 >= 57 @ 21.7346 26.71/26.82 c bounds 67 >= 57 @ 21.8273 26.71/26.82 c #Conflicts: 23000 | #Constraints: 5533 26.71/26.82 c bounds 66 >= 57 @ 23.073 26.71/26.82 c #Conflicts: 24000 | #Constraints: 6584 26.71/26.82 c #Conflicts: 25000 | #Constraints: 7585 26.71/26.82 c INPROCESSING 26.71/26.82 c GARBAGE COLLECT 26.71/26.82 c rational objective 61 46.61/46.81 c bounds 65 >= 57 @ 25.3222 46.61/46.81 c bounds 64 >= 57 @ 25.6918 46.61/46.81 c #Conflicts: 26000 | #Constraints: 5161 46.61/46.81 c #Conflicts: 27000 | #Constraints: 6275 46.61/46.81 c #Conflicts: 28000 | #Constraints: 7289 46.61/46.81 c #Conflicts: 29000 | #Constraints: 8302 46.61/46.81 c INPROCESSING 46.61/46.81 c GARBAGE COLLECT 46.61/46.81 c #Conflicts: 30000 | #Constraints: 5624 46.61/46.81 c #Conflicts: 31000 | #Constraints: 6629 46.61/46.81 c #Conflicts: 32000 | #Constraints: 7641 46.61/46.81 c #Conflicts: 33000 | #Constraints: 8675 46.61/46.81 c INPROCESSING 46.61/46.81 c GARBAGE COLLECT 46.61/46.81 c #Conflicts: 34000 | #Constraints: 5834 46.61/46.81 c #Conflicts: 35000 | #Constraints: 6842 46.61/46.81 c #Conflicts: 36000 | #Constraints: 7851 46.61/46.81 c #Conflicts: 37000 | #Constraints: 8863 46.61/46.81 c INPROCESSING 46.61/46.81 c GARBAGE COLLECT 46.61/46.81 c rational objective 61 54.80/55.04 c #Conflicts: 38000 | #Constraints: 5872 54.80/55.04 c #Conflicts: 39000 | #Constraints: 6931 54.80/55.04 c #Conflicts: 40000 | #Constraints: 7974 54.80/55.04 c #Conflicts: 41000 | #Constraints: 9019 54.80/55.04 c INPROCESSING 54.80/55.04 c GARBAGE COLLECT 54.80/55.04 c rational objective 61 63.07/63.31 c #Conflicts: 42000 | #Constraints: 5682 63.07/63.31 c #Conflicts: 43000 | #Constraints: 6683 63.07/63.31 c #Conflicts: 44000 | #Constraints: 7684 63.07/63.31 c #Conflicts: 45000 | #Constraints: 8687 63.07/63.31 c #Conflicts: 46000 | #Constraints: 9701 63.07/63.31 c INPROCESSING 63.07/63.31 c GARBAGE COLLECT 63.07/63.31 c rational objective 61 107.16/107.58 c #Conflicts: 47000 | #Constraints: 6245 107.16/107.58 c #Conflicts: 48000 | #Constraints: 7282 107.16/107.58 c #Conflicts: 49000 | #Constraints: 8290 107.16/107.58 c #Conflicts: 50000 | #Constraints: 9293 107.16/107.58 c #Conflicts: 51000 | #Constraints: 10294 107.16/107.58 c #Conflicts: 52000 | #Constraints: 11299 107.16/107.58 c #Conflicts: 53000 | #Constraints: 12305 107.16/107.58 c #Conflicts: 54000 | #Constraints: 13310 107.16/107.58 c #Conflicts: 55000 | #Constraints: 14313 107.16/107.58 c #Conflicts: 56000 | #Constraints: 15320 107.16/107.58 c #Conflicts: 57000 | #Constraints: 16330 107.16/107.58 c bounds 63 >= 57 @ 81.5718 107.16/107.58 c #Conflicts: 58000 | #Constraints: 17341 107.16/107.58 c #Conflicts: 59000 | #Constraints: 18341 107.16/107.58 c #Conflicts: 60000 | #Constraints: 19342 107.16/107.58 c #Conflicts: 61000 | #Constraints: 20343 107.16/107.58 c #Conflicts: 62000 | #Constraints: 21344 107.16/107.58 c #Conflicts: 63000 | #Constraints: 22346 107.16/107.58 c bounds 63 >= 58 @ 99.637 107.16/107.58 c #Conflicts: 64000 | #Constraints: 23544 107.16/107.58 c INPROCESSING 107.16/107.58 c GARBAGE COLLECT 107.16/107.58 c rational objective 61 142.26/142.73 c #Conflicts: 65000 | #Constraints: 13018 142.26/142.73 c #Conflicts: 66000 | #Constraints: 14024 142.26/142.73 c #Conflicts: 67000 | #Constraints: 15024 142.26/142.73 c #Conflicts: 68000 | #Constraints: 16024 142.26/142.73 c #Conflicts: 69000 | #Constraints: 17024 142.26/142.73 c #Conflicts: 70000 | #Constraints: 18024 142.26/142.73 c INPROCESSING 142.26/142.73 c GARBAGE COLLECT 142.26/142.73 c #Conflicts: 71000 | #Constraints: 10310 142.26/142.73 c #Conflicts: 72000 | #Constraints: 11321 142.26/142.73 c #Conflicts: 73000 | #Constraints: 12332 142.26/142.73 c #Conflicts: 74000 | #Constraints: 13339 142.26/142.73 c #Conflicts: 75000 | #Constraints: 14346 142.26/142.73 c #Conflicts: 76000 | #Constraints: 15346 142.26/142.73 c INPROCESSING 142.26/142.73 c GARBAGE COLLECT 142.26/142.73 c rational objective 61 155.81/156.38 c #Conflicts: 77000 | #Constraints: 8920 155.81/156.38 c #Conflicts: 78000 | #Constraints: 9926 155.81/156.38 c #Conflicts: 79000 | #Constraints: 10937 155.81/156.38 c #Conflicts: 80000 | #Constraints: 11949 155.81/156.38 c #Conflicts: 81000 | #Constraints: 12951 155.81/156.38 c #Conflicts: 82000 | #Constraints: 13966 155.81/156.38 c INPROCESSING 155.81/156.38 c GARBAGE COLLECT 155.81/156.38 c rational objective 61 171.47/172.02 c #Conflicts: 83000 | #Constraints: 8088 171.47/172.02 c #Conflicts: 84000 | #Constraints: 9095 171.47/172.02 c #Conflicts: 85000 | #Constraints: 10097 171.47/172.02 c #Conflicts: 86000 | #Constraints: 11097 171.47/172.02 c #Conflicts: 87000 | #Constraints: 12198 171.47/172.02 c #Conflicts: 88000 | #Constraints: 13270 171.47/172.02 c #Conflicts: 89000 | #Constraints: 14278 171.47/172.02 c INPROCESSING 171.47/172.02 c GARBAGE COLLECT 171.47/172.02 c rational objective 61 200.89/201.57 c #Conflicts: 90000 | #Constraints: 8498 200.89/201.57 c #Conflicts: 91000 | #Constraints: 9499 200.89/201.57 c #Conflicts: 92000 | #Constraints: 10500 200.89/201.57 c #Conflicts: 93000 | #Constraints: 11500 200.89/201.57 c #Conflicts: 94000 | #Constraints: 12500 200.89/201.57 c #Conflicts: 95000 | #Constraints: 13501 200.89/201.57 c #Conflicts: 96000 | #Constraints: 14505 200.89/201.57 c INPROCESSING 200.89/201.57 c GARBAGE COLLECT 200.89/201.57 c rational objective 61 326.94/327.99 c #Conflicts: 97000 | #Constraints: 8780 326.94/327.99 c #Conflicts: 98000 | #Constraints: 9791 326.94/327.99 c #Conflicts: 99000 | #Constraints: 10797 326.94/327.99 c #Conflicts: 100000 | #Constraints: 11804 326.94/327.99 c #Conflicts: 101000 | #Constraints: 12807 326.94/327.99 c #Conflicts: 102000 | #Constraints: 13813 326.94/327.99 c #Conflicts: 103000 | #Constraints: 14821 326.94/327.99 c #Conflicts: 104000 | #Constraints: 15825 326.94/327.99 c #Conflicts: 105000 | #Constraints: 16829 326.94/327.99 c #Conflicts: 106000 | #Constraints: 17835 326.94/327.99 c #Conflicts: 107000 | #Constraints: 18843 326.94/327.99 c #Conflicts: 108000 | #Constraints: 19852 326.94/327.99 c #Conflicts: 109000 | #Constraints: 20857 326.94/327.99 c #Conflicts: 110000 | #Constraints: 21864 326.94/327.99 c #Conflicts: 111000 | #Constraints: 22867 326.94/327.99 c #Conflicts: 112000 | #Constraints: 23875 326.94/327.99 c #Conflicts: 113000 | #Constraints: 24877 326.94/327.99 c #Conflicts: 114000 | #Constraints: 25883 326.94/327.99 c #Conflicts: 115000 | #Constraints: 26885 326.94/327.99 c #Conflicts: 116000 | #Constraints: 27887 326.94/328.00 c #Conflicts: 117000 | #Constraints: 28892 326.94/328.00 c #Conflicts: 118000 | #Constraints: 29895 326.94/328.00 c #Conflicts: 119000 | #Constraints: 30896 326.94/328.00 c #Conflicts: 120000 | #Constraints: 31899 326.94/328.00 c #Conflicts: 121000 | #Constraints: 32902 326.94/328.00 c INPROCESSING 326.94/328.00 c GARBAGE COLLECT 326.94/328.00 c rational objective 61 386.18/387.31 c #Conflicts: 122000 | #Constraints: 17559 386.18/387.31 c #Conflicts: 123000 | #Constraints: 18563 386.18/387.31 c #Conflicts: 124000 | #Constraints: 19563 386.18/387.31 c #Conflicts: 125000 | #Constraints: 20563 386.18/387.31 c #Conflicts: 126000 | #Constraints: 21563 386.18/387.31 c #Conflicts: 127000 | #Constraints: 22563 386.18/387.31 c #Conflicts: 128000 | #Constraints: 23563 386.18/387.31 c #Conflicts: 129000 | #Constraints: 24563 386.18/387.31 c INPROCESSING 386.18/387.31 c GARBAGE COLLECT 386.18/387.31 c rational objective 61 451.42/452.71 c #Conflicts: 130000 | #Constraints: 13396 451.42/452.71 c #Conflicts: 131000 | #Constraints: 14396 451.42/452.71 c #Conflicts: 132000 | #Constraints: 15397 451.42/452.71 c #Conflicts: 133000 | #Constraints: 16400 451.42/452.71 c #Conflicts: 134000 | #Constraints: 17403 451.42/452.71 c #Conflicts: 135000 | #Constraints: 18404 451.42/452.71 c #Conflicts: 136000 | #Constraints: 19407 451.42/452.71 c #Conflicts: 137000 | #Constraints: 20408 451.42/452.71 c #Conflicts: 138000 | #Constraints: 21411 451.42/452.71 c INPROCESSING 451.42/452.71 c GARBAGE COLLECT 451.42/452.71 c rational objective 61 474.45/475.81 c #Conflicts: 139000 | #Constraints: 12257 474.45/475.81 c #Conflicts: 140000 | #Constraints: 13267 474.45/475.81 c #Conflicts: 141000 | #Constraints: 14268 474.45/475.81 c #Conflicts: 142000 | #Constraints: 15276 474.45/475.81 c #Conflicts: 143000 | #Constraints: 16294 474.45/475.81 c #Conflicts: 144000 | #Constraints: 17299 474.45/475.81 c #Conflicts: 145000 | #Constraints: 18304 474.45/475.81 c #Conflicts: 146000 | #Constraints: 19314 474.45/475.81 c INPROCESSING 474.45/475.81 c GARBAGE COLLECT 474.45/475.81 c rational objective 61 684.89/686.86 c #Conflicts: 147000 | #Constraints: 10956 684.89/686.86 c #Conflicts: 148000 | #Constraints: 11961 684.89/686.86 c #Conflicts: 149000 | #Constraints: 12970 684.89/686.86 c #Conflicts: 150000 | #Constraints: 13973 684.89/686.86 c #Conflicts: 151000 | #Constraints: 14977 684.89/686.86 c #Conflicts: 152000 | #Constraints: 15978 684.89/686.86 c #Conflicts: 153000 | #Constraints: 16980 684.89/686.86 c #Conflicts: 154000 | #Constraints: 17985 684.89/686.86 c #Conflicts: 155000 | #Constraints: 18991 684.89/686.86 c #Conflicts: 156000 | #Constraints: 20003 684.89/686.86 c #Conflicts: 157000 | #Constraints: 21004 684.89/686.86 c #Conflicts: 158000 | #Constraints: 22009 684.89/686.86 c #Conflicts: 159000 | #Constraints: 23012 684.89/686.86 c #Conflicts: 160000 | #Constraints: 24015 684.89/686.86 c #Conflicts: 161000 | #Constraints: 25017 684.89/686.86 c #Conflicts: 162000 | #Constraints: 26020 684.89/686.86 c #Conflicts: 163000 | #Constraints: 27025 684.89/686.86 c #Conflicts: 164000 | #Constraints: 28029 684.89/686.86 c #Conflicts: 165000 | #Constraints: 29034 684.89/686.86 c #Conflicts: 166000 | #Constraints: 30037 684.89/686.86 c #Conflicts: 167000 | #Constraints: 31037 684.89/686.86 c #Conflicts: 168000 | #Constraints: 32040 684.89/686.86 c #Conflicts: 169000 | #Constraints: 33047 684.89/686.86 c #Conflicts: 170000 | #Constraints: 34048 684.89/686.86 c #Conflicts: 171000 | #Constraints: 35051 684.89/686.86 c #Conflicts: 172000 | #Constraints: 36054 684.89/686.86 c #Conflicts: 173000 | #Constraints: 37056 684.89/686.86 c #Conflicts: 174000 | #Constraints: 38059 684.89/686.86 c #Conflicts: 175000 | #Constraints: 39059 684.89/686.86 c #Conflicts: 176000 | #Constraints: 40067 684.89/686.86 c #Conflicts: 177000 | #Constraints: 41069 684.89/686.86 c INPROCESSING 684.89/686.86 c GARBAGE COLLECT 684.89/686.86 c rational objective 61 1197.82/1201.23 c #Conflicts: 178000 | #Constraints: 21784 1197.82/1201.23 c #Conflicts: 179000 | #Constraints: 22784 1197.82/1201.23 c #Conflicts: 180000 | #Constraints: 23785 1197.82/1201.23 c #Conflicts: 181000 | #Constraints: 24785 1197.82/1201.23 c #Conflicts: 182000 | #Constraints: 25785 1197.82/1201.23 c #Conflicts: 183000 | #Constraints: 26786 1197.82/1201.23 c #Conflicts: 184000 | #Constraints: 27787 1197.82/1201.23 c #Conflicts: 185000 | #Constraints: 28795 1197.82/1201.23 c #Conflicts: 186000 | #Constraints: 29800 1197.82/1201.23 c #Conflicts: 187000 | #Constraints: 30809 1197.82/1201.23 c INPROCESSING 1197.82/1201.23 c GARBAGE COLLECT 1197.82/1201.23 c #Conflicts: 188000 | #Constraints: 16875 1197.82/1201.23 c #Conflicts: 189000 | #Constraints: 17906 1197.82/1201.23 c #Conflicts: 190000 | #Constraints: 18906 1197.82/1201.23 c #Conflicts: 191000 | #Constraints: 19906 1197.82/1201.23 c #Conflicts: 192000 | #Constraints: 20906 1197.82/1201.23 c #Conflicts: 193000 | #Constraints: 21908 1197.82/1201.23 c #Conflicts: 194000 | #Constraints: 22908 1197.82/1201.23 c #Conflicts: 195000 | #Constraints: 23911 1197.82/1201.23 c #Conflicts: 196000 | #Constraints: 24920 1197.82/1201.23 c #Conflicts: 197000 | #Constraints: 25922 1197.82/1201.23 c INPROCESSING 1197.82/1201.23 c GARBAGE COLLECT 1197.82/1201.23 c #Conflicts: 198000 | #Constraints: 14476 1197.82/1201.23 c #Conflicts: 199000 | #Constraints: 15487 1197.82/1201.23 c #Conflicts: 200000 | #Constraints: 16599 1197.82/1201.23 c #Conflicts: 201000 | #Constraints: 17677 1197.82/1201.23 c #Conflicts: 202000 | #Constraints: 18712 1197.82/1201.23 c #Conflicts: 203000 | #Constraints: 19720 1197.82/1201.23 c #Conflicts: 204000 | #Constraints: 20730 1197.82/1201.23 c #Conflicts: 205000 | #Constraints: 21736 1197.82/1201.23 c #Conflicts: 206000 | #Constraints: 22741 1197.82/1201.23 c #Conflicts: 207000 | #Constraints: 23753 1197.82/1201.23 c INPROCESSING 1197.82/1201.23 c GARBAGE COLLECT 1197.82/1201.23 c #Conflicts: 208000 | #Constraints: 13329 1197.82/1201.23 c #Conflicts: 209000 | #Constraints: 14347 1197.82/1201.23 c #Conflicts: 210000 | #Constraints: 15350 1197.82/1201.23 c #Conflicts: 211000 | #Constraints: 16352 1197.82/1201.23 c #Conflicts: 212000 | #Constraints: 17358 1197.82/1201.23 c #Conflicts: 213000 | #Constraints: 18360 1197.82/1201.23 c #Conflicts: 214000 | #Constraints: 19363 1197.82/1201.23 c #Conflicts: 215000 | #Constraints: 20366 1197.82/1201.23 c #Conflicts: 216000 | #Constraints: 21371 1197.82/1201.23 c #Conflicts: 217000 | #Constraints: 22375 1197.82/1201.23 c #Conflicts: 218000 | #Constraints: 23376 1197.82/1201.23 c #Conflicts: 219000 | #Constraints: 24378 1197.82/1201.23 c #Conflicts: 220000 | #Constraints: 25378 1197.82/1201.23 c #Conflicts: 221000 | #Constraints: 26383 1197.82/1201.23 c #Conflicts: 222000 | #Constraints: 27390 1197.82/1201.23 c #Conflicts: 223000 | #Constraints: 28398 1197.82/1201.23 c #Conflicts: 224000 | #Constraints: 29411 1197.82/1201.23 c #Conflicts: 225000 | #Constraints: 30415 1197.82/1201.23 c #Conflicts: 226000 | #Constraints: 31417 1197.82/1201.23 c #Conflicts: 227000 | #Constraints: 32428 1197.82/1201.23 c #Conflicts: 228000 | #Constraints: 33429 1197.82/1201.23 c #Conflicts: 229000 | #Constraints: 34432 1197.82/1201.23 c #Conflicts: 230000 | #Constraints: 35437 1197.82/1201.23 c #Conflicts: 231000 | #Constraints: 36438 1197.82/1201.23 c #Conflicts: 232000 | #Constraints: 37443 1197.82/1201.23 c #Conflicts: 233000 | #Constraints: 38448 1197.82/1201.23 c #Conflicts: 234000 | #Constraints: 39453 1197.82/1201.23 c #Conflicts: 235000 | #Constraints: 40455 1197.82/1201.23 c #Conflicts: 236000 | #Constraints: 41455 1197.82/1201.23 c #Conflicts: 237000 | #Constraints: 42459 1197.82/1201.23 c #Conflicts: 238000 | #Constraints: 43460 1197.82/1201.23 c #Conflicts: 239000 | #Constraints: 44462 1197.82/1201.23 c #Conflicts: 240000 | #Constraints: 45469 1197.82/1201.23 c #Conflicts: 241000 | #Constraints: 46470 1197.82/1201.23 c #Conflicts: 242000 | #Constraints: 47472 1197.82/1201.23 c #Conflicts: 243000 | #Constraints: 48475 1197.82/1201.23 c INPROCESSING 1197.82/1201.23 c GARBAGE COLLECT 1197.82/1201.23 c rational objective 61 1326.42/1330.12 c #Conflicts: 244000 | #Constraints: 25446 1326.42/1330.12 c #Conflicts: 245000 | #Constraints: 26447 1326.42/1330.12 c #Conflicts: 246000 | #Constraints: 27448 1326.42/1330.12 c #Conflicts: 247000 | #Constraints: 28450 1326.42/1330.12 c #Conflicts: 248000 | #Constraints: 29452 1326.42/1330.12 c #Conflicts: 249000 | #Constraints: 30453 1326.42/1330.12 c #Conflicts: 250000 | #Constraints: 31456 1326.42/1330.12 c #Conflicts: 251000 | #Constraints: 32458 1326.42/1330.12 c #Conflicts: 252000 | #Constraints: 33459 1326.42/1330.12 c #Conflicts: 253000 | #Constraints: 34460 1326.42/1330.12 c #Conflicts: 254000 | #Constraints: 35464 1326.42/1330.12 c #Conflicts: 255000 | #Constraints: 36465 1326.42/1330.12 c INPROCESSING 1326.42/1330.12 c GARBAGE COLLECT 1326.42/1330.12 c rational objective 61 1371.32/1375.14 c #Conflicts: 256000 | #Constraints: 19753 1371.32/1375.14 c #Conflicts: 257000 | #Constraints: 20760 1371.32/1375.14 c #Conflicts: 258000 | #Constraints: 21763 1371.32/1375.14 c #Conflicts: 259000 | #Constraints: 22767 1371.32/1375.14 c #Conflicts: 260000 | #Constraints: 23767 1371.32/1375.14 c #Conflicts: 261000 | #Constraints: 24772 1371.32/1375.14 c #Conflicts: 262000 | #Constraints: 25773 1371.32/1375.14 c #Conflicts: 263000 | #Constraints: 26778 1371.32/1375.14 c #Conflicts: 264000 | #Constraints: 27780 1371.32/1375.14 c #Conflicts: 265000 | #Constraints: 28783 1371.32/1375.14 c #Conflicts: 266000 | #Constraints: 29787 1371.32/1375.14 c INPROCESSING 1371.32/1375.14 c GARBAGE COLLECT 1371.32/1375.14 c rational objective 61 1498.81/1502.91 c #Conflicts: 267000 | #Constraints: 16095 1498.81/1502.91 c #Conflicts: 268000 | #Constraints: 17097 1498.81/1502.91 c #Conflicts: 269000 | #Constraints: 18099 1498.81/1502.91 c #Conflicts: 270000 | #Constraints: 19101 1498.81/1502.91 c #Conflicts: 271000 | #Constraints: 20104 1498.81/1502.91 c #Conflicts: 272000 | #Constraints: 21107 1498.81/1502.91 c #Conflicts: 273000 | #Constraints: 22108 1498.81/1502.91 c #Conflicts: 274000 | #Constraints: 23108 1498.81/1502.91 c #Conflicts: 275000 | #Constraints: 24109 1498.81/1502.91 c #Conflicts: 276000 | #Constraints: 25111 1498.81/1502.91 c #Conflicts: 277000 | #Constraints: 26112 1498.81/1502.91 c #Conflicts: 278000 | #Constraints: 27113 1498.81/1502.91 c INPROCESSING 1498.81/1502.91 c GARBAGE COLLECT 1498.81/1502.91 c rational objective 61 1888.78/1893.85 c #Conflicts: 279000 | #Constraints: 14877 1888.78/1893.85 c #Conflicts: 280000 | #Constraints: 15894 1888.78/1893.85 c #Conflicts: 281000 | #Constraints: 16954 1888.78/1893.85 c #Conflicts: 282000 | #Constraints: 18074 1888.78/1893.85 c #Conflicts: 283000 | #Constraints: 19078 1888.78/1893.85 c #Conflicts: 284000 | #Constraints: 20084 1888.78/1893.85 c #Conflicts: 285000 | #Constraints: 21090 1888.78/1893.85 c #Conflicts: 286000 | #Constraints: 22108 1888.78/1893.85 c #Conflicts: 287000 | #Constraints: 23116 1888.78/1893.85 c #Conflicts: 288000 | #Constraints: 24184 1888.78/1893.85 c #Conflicts: 289000 | #Constraints: 25200 1888.78/1893.85 c #Conflicts: 290000 | #Constraints: 26210 1888.78/1893.85 c #Conflicts: 291000 | #Constraints: 27239 1888.78/1893.85 c #Conflicts: 292000 | #Constraints: 28243 1888.78/1893.85 c #Conflicts: 293000 | #Constraints: 29246 1888.78/1893.85 c #Conflicts: 294000 | #Constraints: 30251 1888.78/1893.85 c #Conflicts: 295000 | #Constraints: 31255 1888.78/1893.85 c #Conflicts: 296000 | #Constraints: 32261 1888.78/1893.85 c #Conflicts: 297000 | #Constraints: 33263 1888.78/1893.85 c #Conflicts: 298000 | #Constraints: 34269 1888.78/1893.85 c #Conflicts: 299000 | #Constraints: 35274 1888.78/1893.85 c #Conflicts: 300000 | #Constraints: 36276 1888.78/1893.85 c #Conflicts: 301000 | #Constraints: 37279 1888.78/1893.85 c #Conflicts: 302000 | #Constraints: 38285 1888.78/1893.85 c #Conflicts: 303000 | #Constraints: 39292 1888.78/1893.85 c #Conflicts: 304000 | #Constraints: 40295 1888.78/1893.85 c #Conflicts: 305000 | #Constraints: 41298 1888.78/1893.85 c #Conflicts: 306000 | #Constraints: 42303 1888.78/1893.85 c #Conflicts: 307000 | #Constraints: 43307 1888.78/1893.85 c #Conflicts: 308000 | #Constraints: 44314 1888.78/1893.85 c #Conflicts: 309000 | #Constraints: 45314 1888.78/1893.85 c #Conflicts: 310000 | #Constraints: 46316 1888.78/1893.85 c #Conflicts: 311000 | #Constraints: 47322 1888.78/1893.85 c #Conflicts: 312000 | #Constraints: 48325 1888.78/1893.85 c #Conflicts: 313000 | #Constraints: 49329 1888.78/1893.85 c #Conflicts: 314000 | #Constraints: 50335 1888.78/1893.85 c #Conflicts: 315000 | #Constraints: 51337 1888.78/1893.85 c #Conflicts: 316000 | #Constraints: 52338 1888.78/1893.85 c #Conflicts: 317000 | #Constraints: 53343 1888.78/1893.85 c #Conflicts: 318000 | #Constraints: 54348 1888.78/1893.85 c #Conflicts: 319000 | #Constraints: 55351 1888.78/1893.85 c #Conflicts: 320000 | #Constraints: 56356 1888.78/1893.85 c INPROCESSING 1888.78/1893.85 c GARBAGE COLLECT 1888.78/1893.85 c rational objective 61 2065.79/2071.39 c #Conflicts: 321000 | #Constraints: 29639 2065.79/2071.39 c #Conflicts: 322000 | #Constraints: 30644 2065.79/2071.39 c #Conflicts: 323000 | #Constraints: 31646 2065.79/2071.39 c #Conflicts: 324000 | #Constraints: 32647 2065.79/2071.39 c #Conflicts: 325000 | #Constraints: 33650 2065.79/2071.39 c #Conflicts: 326000 | #Constraints: 34652 2065.79/2071.39 c #Conflicts: 327000 | #Constraints: 35675 2065.79/2071.39 c #Conflicts: 328000 | #Constraints: 36675 2065.79/2071.39 c #Conflicts: 329000 | #Constraints: 37675 2065.79/2071.39 c #Conflicts: 330000 | #Constraints: 38675 2065.79/2071.39 c #Conflicts: 331000 | #Constraints: 39677 2065.79/2071.39 c #Conflicts: 332000 | #Constraints: 40677 2065.79/2071.39 c #Conflicts: 333000 | #Constraints: 41677 2065.79/2071.39 c INPROCESSING 2065.79/2071.39 c GARBAGE COLLECT 2065.79/2071.39 c rational objective 61 2194.13/2200.04 c #Conflicts: 334000 | #Constraints: 22263 2194.13/2200.04 c #Conflicts: 335000 | #Constraints: 23263 2194.13/2200.04 c #Conflicts: 336000 | #Constraints: 24265 2194.13/2200.04 c #Conflicts: 337000 | #Constraints: 25269 2194.13/2200.04 c #Conflicts: 338000 | #Constraints: 26270 2194.13/2200.04 c #Conflicts: 339000 | #Constraints: 27271 2194.13/2200.04 c #Conflicts: 340000 | #Constraints: 28271 2194.13/2200.04 c #Conflicts: 341000 | #Constraints: 29271 2194.13/2200.04 c #Conflicts: 342000 | #Constraints: 30271 2194.13/2200.04 c #Conflicts: 343000 | #Constraints: 31271 2194.13/2200.04 c bounds 63 >= 59 @ 2164.75 2194.13/2200.04 c #Conflicts: 344000 | #Constraints: 32301 2194.13/2200.04 c #Conflicts: 345000 | #Constraints: 33302 2194.13/2200.04 c #Conflicts: 346000 | #Constraints: 34305 2194.13/2200.04 c INPROCESSING 2194.13/2200.04 c GARBAGE COLLECT 2194.13/2200.04 c rational objective 61 2259.32/2265.40 c #Conflicts: 347000 | #Constraints: 18422 2259.32/2265.40 c #Conflicts: 348000 | #Constraints: 19426 2259.32/2265.40 c #Conflicts: 349000 | #Constraints: 20433 2259.32/2265.40 c #Conflicts: 350000 | #Constraints: 21438 2259.32/2265.40 c #Conflicts: 351000 | #Constraints: 22442 2259.32/2265.40 c #Conflicts: 352000 | #Constraints: 23448 2259.32/2265.40 c #Conflicts: 353000 | #Constraints: 24449 2259.32/2265.40 c #Conflicts: 354000 | #Constraints: 25452 2259.32/2265.40 c #Conflicts: 355000 | #Constraints: 26456 2259.32/2265.40 c #Conflicts: 356000 | #Constraints: 27460 2259.32/2265.40 c #Conflicts: 357000 | #Constraints: 28461 2259.32/2265.40 c #Conflicts: 358000 | #Constraints: 29463 2259.32/2265.40 c #Conflicts: 359000 | #Constraints: 30469 2259.32/2265.40 c #Conflicts: 360000 | #Constraints: 31471 2259.32/2265.40 c INPROCESSING 2259.32/2265.40 c GARBAGE COLLECT 2259.32/2265.40 c rational objective 61 2768.21/2775.82 c #Conflicts: 361000 | #Constraints: 17260 2768.21/2775.82 c #Conflicts: 362000 | #Constraints: 18264 2768.21/2775.82 c #Conflicts: 363000 | #Constraints: 19268 2768.21/2775.82 c #Conflicts: 364000 | #Constraints: 20272 2768.21/2775.82 c #Conflicts: 365000 | #Constraints: 21280 2768.21/2775.82 c #Conflicts: 366000 | #Constraints: 22283 2768.21/2775.82 c #Conflicts: 367000 | #Constraints: 23289 2768.21/2775.82 c #Conflicts: 368000 | #Constraints: 24291 2768.21/2775.82 c #Conflicts: 369000 | #Constraints: 25296 2768.21/2775.82 c #Conflicts: 370000 | #Constraints: 26300 2768.21/2775.82 c #Conflicts: 371000 | #Constraints: 27304 2768.21/2775.82 c #Conflicts: 372000 | #Constraints: 28307 2768.21/2775.82 c #Conflicts: 373000 | #Constraints: 29307 2768.21/2775.82 c #Conflicts: 374000 | #Constraints: 30315 2768.21/2775.82 c #Conflicts: 375000 | #Constraints: 31320 2768.21/2775.82 c #Conflicts: 376000 | #Constraints: 32323 2768.21/2775.82 c #Conflicts: 377000 | #Constraints: 33329 2768.21/2775.82 c #Conflicts: 378000 | #Constraints: 34333 2768.21/2775.82 c #Conflicts: 379000 | #Constraints: 35337 2768.21/2775.82 c #Conflicts: 380000 | #Constraints: 36338 2768.21/2775.82 c #Conflicts: 381000 | #Constraints: 37339 2768.21/2775.82 c #Conflicts: 382000 | #Constraints: 38344 2768.21/2775.82 c #Conflicts: 383000 | #Constraints: 39345 2768.21/2775.82 c #Conflicts: 384000 | #Constraints: 40346 2768.21/2775.82 c #Conflicts: 385000 | #Constraints: 41354 2768.21/2775.82 c #Conflicts: 386000 | #Constraints: 42358 2768.21/2775.82 c #Conflicts: 387000 | #Constraints: 43359 2768.21/2775.82 c #Conflicts: 388000 | #Constraints: 44362 2768.21/2775.82 c #Conflicts: 389000 | #Constraints: 45368 2768.21/2775.82 c #Conflicts: 390000 | #Constraints: 46369 2768.21/2775.82 c #Conflicts: 391000 | #Constraints: 47372 2768.21/2775.82 c #Conflicts: 392000 | #Constraints: 48372 2768.21/2775.82 c #Conflicts: 393000 | #Constraints: 49376 2768.21/2775.82 c #Conflicts: 394000 | #Constraints: 50378 2768.21/2775.82 c #Conflicts: 395000 | #Constraints: 51382 2768.21/2775.82 c #Conflicts: 396000 | #Constraints: 52386 2768.21/2775.82 c #Conflicts: 397000 | #Constraints: 53389 2768.21/2775.82 c #Conflicts: 398000 | #Constraints: 54390 2768.21/2775.82 c #Conflicts: 399000 | #Constraints: 55392 2768.21/2775.82 c #Conflicts: 400000 | #Constraints: 56394 2768.21/2775.82 c #Conflicts: 401000 | #Constraints: 57395 2768.21/2775.82 c #Conflicts: 402000 | #Constraints: 58397 2768.21/2775.82 c #Conflicts: 403000 | #Constraints: 59397 2768.21/2775.82 c #Conflicts: 404000 | #Constraints: 60399 2768.21/2775.82 c #Conflicts: 405000 | #Constraints: 61403 2768.21/2775.82 c #Conflicts: 406000 | #Constraints: 62406 2768.21/2775.82 c #Conflicts: 407000 | #Constraints: 63408 2768.21/2775.82 c INPROCESSING 2768.21/2775.82 c GARBAGE COLLECT 2768.21/2775.82 c rational objective 61 2934.69/2942.74 c #Conflicts: 408000 | #Constraints: 33237 2934.69/2942.74 c #Conflicts: 409000 | #Constraints: 34239 2934.69/2942.74 c #Conflicts: 410000 | #Constraints: 35239 2934.69/2942.74 c #Conflicts: 411000 | #Constraints: 36243 2934.69/2942.74 c #Conflicts: 412000 | #Constraints: 37243 2934.69/2942.74 c #Conflicts: 413000 | #Constraints: 38245 2934.69/2942.74 c #Conflicts: 414000 | #Constraints: 39246 2934.69/2942.74 c #Conflicts: 415000 | #Constraints: 40247 2934.69/2942.74 c #Conflicts: 416000 | #Constraints: 41247 2934.69/2942.74 c #Conflicts: 417000 | #Constraints: 42254 2934.69/2942.74 c #Conflicts: 418000 | #Constraints: 43256 2934.69/2942.74 c #Conflicts: 419000 | #Constraints: 44281 2934.69/2942.74 c #Conflicts: 420000 | #Constraints: 45282 2934.69/2942.74 c #Conflicts: 421000 | #Constraints: 46291 2934.69/2942.74 c INPROCESSING 2934.69/2942.74 c GARBAGE COLLECT 2934.69/2942.74 c rational objective 61 3070.67/3079.08 c #Conflicts: 422000 | #Constraints: 24274 3070.67/3079.08 c #Conflicts: 423000 | #Constraints: 25274 3070.67/3079.08 c #Conflicts: 424000 | #Constraints: 26278 3070.67/3079.08 c #Conflicts: 425000 | #Constraints: 27284 3070.67/3079.08 c #Conflicts: 426000 | #Constraints: 28284 3070.67/3079.08 c #Conflicts: 427000 | #Constraints: 29284 3070.67/3079.08 c #Conflicts: 428000 | #Constraints: 30284 3070.67/3079.08 c #Conflicts: 429000 | #Constraints: 31285 3070.67/3079.08 c #Conflicts: 430000 | #Constraints: 32286 3070.67/3079.08 c #Conflicts: 431000 | #Constraints: 33291 3070.67/3079.08 c #Conflicts: 432000 | #Constraints: 34291 3070.67/3079.08 c #Conflicts: 433000 | #Constraints: 35291 3070.67/3079.08 c #Conflicts: 434000 | #Constraints: 36291 3070.67/3079.08 c #Conflicts: 435000 | #Constraints: 37291 3070.67/3079.08 c #Conflicts: 436000 | #Constraints: 38294 3070.67/3079.08 c INPROCESSING 3070.67/3079.08 c GARBAGE COLLECT 3070.67/3079.08 c rational objective 61 3219.89/3228.62 c #Conflicts: 437000 | #Constraints: 20274 3219.89/3228.62 c #Conflicts: 438000 | #Constraints: 21274 3219.89/3228.62 c #Conflicts: 439000 | #Constraints: 22275 3219.89/3228.62 c #Conflicts: 440000 | #Constraints: 23280 3219.89/3228.62 c #Conflicts: 441000 | #Constraints: 24280 3219.89/3228.62 c #Conflicts: 442000 | #Constraints: 25288 3219.89/3228.62 c #Conflicts: 443000 | #Constraints: 26293 3219.89/3228.62 c #Conflicts: 444000 | #Constraints: 27297 3219.89/3228.62 c #Conflicts: 445000 | #Constraints: 28320 3219.89/3228.62 c #Conflicts: 446000 | #Constraints: 29321 3219.89/3228.62 c #Conflicts: 447000 | #Constraints: 30367 3219.89/3228.62 c #Conflicts: 448000 | #Constraints: 31367 3219.89/3228.62 c #Conflicts: 449000 | #Constraints: 32367 3219.89/3228.62 c #Conflicts: 450000 | #Constraints: 33369 3219.89/3228.62 c #Conflicts: 451000 | #Constraints: 34372 3219.89/3228.62 c #Conflicts: 452000 | #Constraints: 35373 3219.89/3228.62 c INPROCESSING 3219.89/3228.62 c GARBAGE COLLECT 3219.89/3228.62 c rational objective 61 3600.07/3609.70 c 3600.07/3609.70 s SATISFIABLE 3600.07/3609.70 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 3600.07/3609.70 c #Conflicts: 453000 | #Constraints: 19224 3600.07/3609.70 c #Conflicts: 454000 | #Constraints: 20227 3600.07/3609.70 c #Conflicts: 455000 | #Constraints: 21228 3600.07/3609.70 c #Conflicts: 456000 | #Constraints: 22228 3600.07/3609.70 c #Conflicts: 457000 | #Constraints: 23275 3600.07/3609.70 c #Conflicts: 458000 | #Constraints: 24286 3600.07/3609.70 c #Conflicts: 459000 | #Constraints: 25297 3600.07/3609.70 c #Conflicts: 460000 | #Constraints: 26299 3600.07/3609.70 c #Conflicts: 461000 | #Constraints: 27300 3600.07/3609.70 c #Conflicts: 462000 | #Constraints: 28309 3600.07/3609.70 c #Conflicts: 463000 | #Constraints: 29323 3600.07/3609.70 c #Conflicts: 464000 | #Constraints: 30323 3600.07/3609.70 c #Conflicts: 465000 | #Constraints: 31328 3600.07/3609.70 c #Conflicts: 466000 | #Constraints: 32333 3600.07/3609.70 c #Conflicts: 467000 | #Constraints: 33340 3600.07/3609.70 c #Conflicts: 468000 | #Constraints: 34341 3600.07/3609.70 c #Conflicts: 469000 | #Constraints: 35348 3600.07/3609.70 c #Conflicts: 470000 | #Constraints: 36354 3600.07/3609.70 c #Conflicts: 471000 | #Constraints: 37359 3600.07/3609.70 c #Conflicts: 472000 | #Constraints: 38365 3600.07/3609.70 c #Conflicts: 473000 | #Constraints: 39372 3600.07/3609.70 c #Conflicts: 474000 | #Constraints: 40376 3600.07/3609.70 c #Conflicts: 475000 | #Constraints: 41380 3600.07/3609.70 c #Conflicts: 476000 | #Constraints: 42384 3600.07/3609.70 c #Conflicts: 477000 | #Constraints: 43386 3600.07/3609.70 c #Conflicts: 478000 | #Constraints: 44391 3600.07/3609.70 c #Conflicts: 479000 | #Constraints: 45397 3600.07/3609.70 c #Conflicts: 480000 | #Constraints: 46401 3600.07/3609.70 c #Conflicts: 481000 | #Constraints: 47406 3600.07/3609.70 c #Conflicts: 482000 | #Constraints: 48415 3600.07/3609.70 c #Conflicts: 483000 | #Constraints: 49417 3600.07/3609.70 c #Conflicts: 484000 | #Constraints: 50421 3600.07/3609.70 c #Conflicts: 485000 | #Constraints: 51422 3600.07/3609.70 c #Conflicts: 486000 | #Constraints: 52428 3600.07/3609.70 c #Conflicts: 487000 | #Constraints: 53429 3600.07/3609.70 c #Conflicts: 488000 | #Constraints: 54431 3600.07/3609.70 c #Conflicts: 489000 | #Constraints: 55437 3600.07/3609.70 c #Conflicts: 490000 | #Constraints: 56447 3600.07/3609.70 c #Conflicts: 491000 | #Constraints: 57454 3600.07/3609.70 c #Conflicts: 492000 | #Constraints: 58462
OK 63
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63231 MiB free)
memory of node 1: 64510 MiB (62655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429378-1721048310/watcher-4429378-1721048310 -o /tmp/evaluation-result-4429378-1721048310/solver-4429378-1721048310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721048295-796636 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429378-1721048310.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=797393, runsolver pid=797390
[startup+0.101033 s]*
/proc/loadavg: 3.86 4.03 4.06 5/244 797394
/proc/meminfo: memFree=128902124/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=42644 memory=12780 CPUtime=0.1 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 1976 0 0 0 10 0 0 0 20 0 1 0 156987125 43667456 3195 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 10661 3195 1754 922 0 2613 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42644 KiB
Current children cumulated memory: 12780 KiB
[startup+0.212597 s]*
/proc/loadavg: 3.86 4.03 4.06 6/244 797394
/proc/meminfo: memFree=128901676/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=42788 memory=13044 CPUtime=0.21 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 2015 0 0 0 20 1 0 0 20 0 1 0 156987125 43814912 3261 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 10697 3261 1754 922 0 2649 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42788 KiB
Current children cumulated memory: 13044 KiB
[startup+0.312668 s]*
/proc/loadavg: 3.86 4.03 4.06 5/244 797394
/proc/meminfo: memFree=128900496/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=43856 memory=14220 CPUtime=0.31 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 2276 0 0 0 26 5 0 0 20 0 1 0 156987125 44908544 3555 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 10964 3555 1786 922 0 2916 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43856 KiB
Current children cumulated memory: 14220 KiB
[startup+0.700271 s]
/proc/loadavg: 3.86 4.03 4.06 5/244 797394
/proc/meminfo: memFree=128898812/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=44808 memory=16068 CPUtime=0.69 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 2786 0 0 0 43 26 0 0 20 0 1 0 156987125 45883392 4017 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 11202 4017 1786 922 0 3154 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44808 KiB
Current children cumulated memory: 16068 KiB
[startup+1.5003 s]
/proc/loadavg: 3.86 4.03 4.06 5/244 797394
/proc/meminfo: memFree=128894780/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=58044 memory=32480 CPUtime=1.48 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 5788 0 0 0 94 54 0 0 20 0 1 0 156987125 59437056 8120 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 14511 8120 1862 922 0 6463 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58044 KiB
Current children cumulated memory: 32480 KiB
[startup+3.11343 s]
/proc/loadavg: 3.87 4.03 4.06 5/244 797394
/proc/meminfo: memFree=128840500/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=103300 memory=73436 CPUtime=3.09 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 15007 0 0 0 230 79 0 0 20 0 1 0 156987125 105779200 18359 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 25825 18359 1862 922 0 17777 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103300 KiB
Current children cumulated memory: 73436 KiB
[startup+6.30028 s]
/proc/loadavg: 3.87 4.03 4.06 5/244 797396
/proc/meminfo: memFree=128791708/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=151860 memory=120444 CPUtime=6.27 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 23845 0 0 0 524 103 0 0 20 0 1 0 156987125 155504640 30111 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 37965 30111 1862 922 0 29917 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 151860 KiB
Current children cumulated memory: 120444 KiB
[startup+12.7003 s]
/proc/loadavg: 3.89 4.03 4.06 6/241 797505
/proc/meminfo: memFree=128849472/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=152288 memory=123092 CPUtime=12.66 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 24768 0 0 0 1134 132 0 0 20 0 1 0 156987125 155942912 30773 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 38072 30773 1862 922 0 30024 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 152288 KiB
Current children cumulated memory: 123092 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.06 4.07 5/244 797675
/proc/meminfo: memFree=128722976/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=275040 memory=208504 CPUtime=25.42 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 41488 0 0 0 2358 184 0 0 20 0 1 0 156987125 281640960 52126 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 68760 52126 1862 922 0 60712 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 275040 KiB
Current children cumulated memory: 208504 KiB
[startup+51.1133 s]
/proc/loadavg: 4.04 4.06 4.07 5/244 797678
/proc/meminfo: memFree=128629860/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=343432 memory=275848 CPUtime=50.92 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 49272 0 0 0 4824 268 0 0 20 0 1 0 156987125 351674368 68962 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 85858 68962 1989 922 0 77810 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 343432 KiB
Current children cumulated memory: 275848 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.06 4.07 5/246 797737
/proc/meminfo: memFree=128270712/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=865696 memory=671152 CPUtime=101.97 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 112199 0 0 0 9824 373 0 0 20 0 1 0 156987125 886472704 167788 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 216424 167788 1989 922 0 208376 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 865696 KiB
Current children cumulated memory: 671152 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.06 4.07 5/245 797759
/proc/meminfo: memFree=128163108/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=889936 memory=718876 CPUtime=161.8 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 118549 0 0 0 15693 487 0 0 20 0 1 0 156987125 911294464 179719 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 222484 179719 1989 922 0 214436 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 889936 KiB
Current children cumulated memory: 718876 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.06 4.07 5/246 797772
/proc/meminfo: memFree=128087380/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=892436 memory=722496 CPUtime=221.62 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 119280 0 0 0 21608 554 0 0 20 0 1 0 156987125 913854464 180624 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 223109 180624 1989 922 0 215061 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 892436 KiB
Current children cumulated memory: 722496 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.06 4.07 5/244 797782
/proc/meminfo: memFree=127665048/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=1378640 memory=1138652 CPUtime=281.46 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 179261 0 0 0 27516 630 0 0 20 0 1 0 156987125 1411727360 284663 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 344660 284663 1989 922 0 336612 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 1378640 KiB
Current children cumulated memory: 1138652 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.09 4.08 5/244 797793
/proc/meminfo: memFree=127348212/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=1958560 memory=1431084 CPUtime=341.3 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 225414 0 0 0 33450 680 0 0 20 0 1 0 156987125 2005565440 357771 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 489640 357771 1989 922 0 481592 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1958560 KiB
Current children cumulated memory: 1431084 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/244 797804
/proc/meminfo: memFree=127303192/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=1958560 memory=1431484 CPUtime=401.15 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 225711 0 0 0 39393 722 0 0 20 0 1 0 156987125 2005565440 357871 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 489640 357871 1989 922 0 481592 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1958560 KiB
Current children cumulated memory: 1431484 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/242 797814
/proc/meminfo: memFree=127289224/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=1962372 memory=1438952 CPUtime=460.99 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 226540 0 0 0 45335 764 0 0 20 0 1 0 156987125 2009468928 359738 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 490593 359738 1989 922 0 482545 0
################
# More data... #
################
Current children cumulated memory: 3031880 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/241 798978
/proc/meminfo: memFree=125337760/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3602884 memory=3064388 CPUtime=2914.34 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 439317 0 0 0 289382 2052 0 0 20 0 1 0 156987125 3689353216 766097 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 900721 766097 1989 922 0 892673 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 3602884 KiB
Current children cumulated memory: 3064388 KiB
[startup+2982.3 s]
/proc/loadavg: 4.54 4.23 4.19 5/241 798990
/proc/meminfo: memFree=125302928/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3602884 memory=3091424 CPUtime=2974.19 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 440323 0 0 0 295314 2105 0 0 20 0 1 0 156987125 3689353216 772856 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 900721 772856 1989 922 0 892673 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 3602884 KiB
Current children cumulated memory: 3091424 KiB
[startup+3042.3 s]
/proc/loadavg: 4.51 4.29 4.21 5/241 799002
/proc/meminfo: memFree=125259944/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3130952 CPUtime=3034.04 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 442664 0 0 0 301269 2135 0 0 20 0 1 0 156987125 3696078848 782738 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 782738 1989 922 0 894315 0
Current children cumulated CPU time: 3034.04 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3130952 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.25 4.20 5/243 799016
/proc/meminfo: memFree=125224620/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3165580 CPUtime=3093.9 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 443684 0 0 0 307198 2192 0 0 20 0 1 0 156987125 3696078848 791395 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 791395 1989 922 0 894315 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3165580 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.22 4.19 5/243 799026
/proc/meminfo: memFree=125180892/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3203776 CPUtime=3153.74 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 444772 0 0 0 313138 2236 0 0 20 0 1 0 156987125 3696078848 800944 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 800944 1989 922 0 894315 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3203776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.19 4.18 5/243 799037
/proc/meminfo: memFree=125142512/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3241284 CPUtime=3213.6 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 445995 0 0 0 319072 2288 0 0 20 0 1 0 156987125 3696078848 810321 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 810321 1989 922 0 894315 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3241284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/243 799047
/proc/meminfo: memFree=125095960/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3285444 CPUtime=3273.45 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 447415 0 0 0 325017 2328 0 0 20 0 1 0 156987125 3696078848 821361 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 821361 1989 922 0 894315 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3285444 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.20 4.18 5/243 799057
/proc/meminfo: memFree=125050896/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3333.31 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 448917 0 0 0 330971 2360 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/243 799450
/proc/meminfo: memFree=125045860/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3393.17 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 450476 0 0 0 336936 2381 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/242 799461
/proc/meminfo: memFree=125035004/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3453.02 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 451946 0 0 0 342899 2403 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/242 799471
/proc/meminfo: memFree=125034696/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3512.88 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 453456 0 0 0 348872 2416 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/244 799651
/proc/meminfo: memFree=125033736/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3572.74 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 455015 0 0 0 354841 2433 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 799702
/proc/meminfo: memFree=124704772/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3600.07 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 455803 0 0 0 357566 2441 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 797393 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3575.67 s, system=24.4184 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 799702
/proc/meminfo: memFree=124704772/131655788 swapFree=131071996/131071996
[pid=797393] ppid=797390 vsize=3609452 memory=3324880 CPUtime=3600.07 cores=4,6
/proc/797393/stat : 797393 (roundingsat) R 797390 797393 796625 0 -1 4194304 455803 0 0 0 357566 2441 0 0 20 0 1 0 156987125 3696078848 831220 134679101440 4194304 7968869 140724397461472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 8652288 8659944 36696064 140724397466558 140724397466722 140724397466722 140724397473737 0
/proc/797393/statm: 902363 831220 1989 922 0 894315 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3609452 KiB
Current children cumulated memory: 3324880 KiB
Child status: 1
Real time (s): 3609.71
CPU time (s): 3600.09
CPU user time (s): 3575.67
CPU system time (s): 24.4184
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 3609452
Max. memory (cumulated for all children) (KiB): 3324880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.67
system time used= 24.4184
maximum resident set size= 3324880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455813
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= 461
involuntary context switches= 1924
# summary of solver processes directly reported to runsolver:
# pid: 797393
# total CPU time (s): 3600.09
# total CPU user time (s): 3575.67
# total CPU system time (s): 24.4184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4573 second user time and 33.9359 second system time
The end
Begin job on nodeC003 at 2024-07-15 14:58:42 IDJOB=4429378 IDBENCH=147201 IDSOLVER=3051 FILE ID=nodeC003/4429378-1721048310 RUNJOBID= nodeC003-1721048295-796636 SLURM_JOB_ID= 7505458 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.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-4429378-1721048310/watcher-4429378-1721048310 -o /tmp/evaluation-result-4429378-1721048310/solver-4429378-1721048310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721048295-796636 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429378-1721048310.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c RANDOM SEED=1553996838 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3657.273 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.407 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.422 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.332 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1296.989 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.564 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.245 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.503 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128908560 kB MemAvailable: 129735164 kB Buffers: 375828 kB Cached: 1285972 kB SwapCached: 0 kB Active: 579760 kB Inactive: 1631672 kB Active(anon): 1452 kB Inactive(anon): 585912 kB Active(file): 578308 kB Inactive(file): 1045760 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22888 kB Writeback: 0 kB AnonPages: 549684 kB Mapped: 113132 kB Shmem: 37704 kB KReclaimable: 85132 kB Slab: 180028 kB SReclaimable: 85132 kB SUnreclaim: 94896 kB KernelStack: 3968 kB PageTables: 10272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 852132 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 50976 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 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: 224072 kB DirectMap2M: 13312000 kB DirectMap1G: 122683392 kB Free space on /tmp at the end= 723760 MiB End job on nodeC003 at 2024-07-15 15:58:52