| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 63 | 3600.09 | 3608.95 |
| 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.39 c bounds - >= 0 @ 0.031678 2.28/2.39 c bounds 156 >= 0 @ 0.240487 2.28/2.39 c bounds 156 >= 1 @ 0.242614 2.28/2.39 c bounds 156 >= 2 @ 0.245443 2.28/2.39 c bounds 156 >= 3 @ 0.247649 2.28/2.39 c bounds 156 >= 4 @ 0.250072 2.28/2.39 c bounds 156 >= 5 @ 0.252843 2.28/2.39 c bounds 156 >= 6 @ 0.254646 2.28/2.39 c bounds 156 >= 7 @ 0.256204 2.28/2.39 c bounds 156 >= 8 @ 0.258773 2.28/2.39 c bounds 156 >= 9 @ 0.26022 2.28/2.39 c bounds 156 >= 10 @ 0.261805 2.28/2.39 c bounds 155 >= 10 @ 0.280049 2.28/2.39 c bounds 155 >= 11 @ 0.283725 2.28/2.39 c bounds 155 >= 12 @ 0.28709 2.28/2.39 c bounds 155 >= 13 @ 0.290109 2.28/2.39 c bounds 155 >= 14 @ 0.294089 2.28/2.39 c bounds 155 >= 15 @ 0.296125 2.28/2.39 c bounds 155 >= 16 @ 0.298233 2.28/2.39 c bounds 155 >= 17 @ 0.299382 2.28/2.39 c bounds 155 >= 18 @ 0.300637 2.28/2.39 c bounds 155 >= 19 @ 0.306005 2.28/2.39 c bounds 155 >= 20 @ 0.309858 2.28/2.39 c bounds 155 >= 21 @ 0.31284 2.28/2.39 c bounds 155 >= 22 @ 0.314833 2.28/2.39 c bounds 155 >= 23 @ 0.317781 2.28/2.39 c bounds 155 >= 24 @ 0.321991 2.28/2.39 c bounds 155 >= 25 @ 0.325155 2.28/2.39 c bounds 154 >= 25 @ 0.344767 2.28/2.39 c bounds 154 >= 26 @ 0.347059 2.28/2.39 c bounds 154 >= 27 @ 0.350298 2.28/2.39 c bounds 154 >= 28 @ 0.356499 2.28/2.39 c bounds 154 >= 29 @ 0.360987 2.28/2.39 c bounds 154 >= 30 @ 0.366657 2.28/2.39 c bounds 154 >= 31 @ 0.369542 2.28/2.39 c bounds 154 >= 32 @ 0.373519 2.28/2.39 c bounds 154 >= 33 @ 0.37551 2.28/2.39 c bounds 154 >= 34 @ 0.380526 2.28/2.39 c bounds 154 >= 35 @ 0.384683 2.28/2.39 c bounds 154 >= 36 @ 0.390269 2.28/2.39 c bounds 154 >= 37 @ 0.393648 2.28/2.39 c bounds 154 >= 38 @ 0.39932 2.28/2.39 c bounds 153 >= 38 @ 0.424698 2.28/2.39 c bounds 153 >= 39 @ 0.430464 2.28/2.39 c bounds 153 >= 40 @ 0.43409 2.28/2.39 c bounds 153 >= 41 @ 0.438169 2.28/2.39 c bounds 153 >= 42 @ 0.443199 2.28/2.39 c bounds 153 >= 43 @ 0.446871 2.28/2.39 c bounds 153 >= 44 @ 0.450308 2.28/2.39 c bounds 153 >= 45 @ 0.454104 2.28/2.39 c bounds 153 >= 46 @ 0.45849 2.28/2.39 c bounds 153 >= 47 @ 0.461598 2.28/2.39 c bounds 153 >= 48 @ 0.464098 2.28/2.39 c bounds 152 >= 48 @ 0.473512 2.28/2.39 c bounds 152 >= 49 @ 0.477728 2.28/2.39 c bounds 152 >= 50 @ 0.479025 2.28/2.39 c bounds 152 >= 51 @ 0.624387 2.28/2.39 c bounds 152 >= 52 @ 0.648588 2.28/2.39 c bounds 151 >= 52 @ 0.660271 2.28/2.39 c bounds 150 >= 52 @ 0.671914 2.28/2.39 c bounds 149 >= 52 @ 0.686806 2.28/2.39 c bounds 148 >= 52 @ 0.695313 2.28/2.39 c bounds 148 >= 53 @ 0.755294 2.28/2.39 c bounds 147 >= 53 @ 0.765156 2.28/2.39 c bounds 146 >= 53 @ 0.78341 2.28/2.39 c bounds 145 >= 53 @ 0.794154 2.28/2.39 c bounds 144 >= 53 @ 0.813836 2.28/2.39 c bounds 143 >= 53 @ 0.821444 2.28/2.39 c bounds 142 >= 53 @ 0.831775 2.28/2.39 c bounds 141 >= 53 @ 0.838997 2.28/2.39 c bounds 140 >= 53 @ 0.848929 2.28/2.39 c bounds 139 >= 53 @ 0.854641 2.28/2.39 c bounds 138 >= 53 @ 0.871328 2.28/2.39 c bounds 137 >= 53 @ 0.878257 2.28/2.39 c bounds 136 >= 53 @ 0.887433 2.28/2.39 c bounds 135 >= 53 @ 0.900896 2.28/2.39 c bounds 134 >= 53 @ 0.905427 2.28/2.39 c bounds 133 >= 53 @ 0.917439 2.28/2.39 c bounds 133 >= 54 @ 0.999985 2.28/2.39 c bounds 132 >= 54 @ 1.00577 2.28/2.39 c bounds 131 >= 54 @ 1.01545 2.28/2.39 c bounds 130 >= 54 @ 1.04706 2.28/2.39 c bounds 129 >= 54 @ 1.10999 2.28/2.39 c #Conflicts: 1000 | #Constraints: 1827 2.28/2.39 c bounds 128 >= 54 @ 1.13434 2.28/2.39 c bounds 127 >= 54 @ 1.15209 2.28/2.39 c bounds 126 >= 54 @ 1.17777 2.28/2.39 c bounds 125 >= 54 @ 1.19331 2.28/2.39 c bounds 124 >= 54 @ 1.21312 2.28/2.39 c bounds 123 >= 54 @ 1.22669 2.28/2.39 c bounds 122 >= 54 @ 1.24533 2.28/2.39 c bounds 121 >= 54 @ 1.25825 2.28/2.39 c bounds 120 >= 54 @ 1.27701 2.28/2.39 c bounds 119 >= 54 @ 1.33358 2.28/2.39 c #Conflicts: 2000 | #Constraints: 2837 2.28/2.39 c INPROCESSING 2.28/2.39 c GARBAGE COLLECT 2.28/2.39 c rational objective 60 4.17/4.21 c bounds 118 >= 54 @ 1.85495 4.17/4.21 c bounds 117 >= 54 @ 1.88289 4.17/4.21 c bounds 116 >= 54 @ 1.89727 4.17/4.21 c bounds 115 >= 54 @ 1.92171 4.17/4.21 c bounds 114 >= 54 @ 1.94498 4.17/4.21 c bounds 113 >= 54 @ 1.95878 4.17/4.21 c bounds 112 >= 54 @ 1.97887 4.17/4.21 c bounds 111 >= 54 @ 1.99289 4.17/4.21 c bounds 110 >= 54 @ 2.0044 4.17/4.21 c bounds 109 >= 54 @ 2.02455 4.17/4.21 c bounds 108 >= 54 @ 2.03426 4.17/4.21 c bounds 107 >= 54 @ 2.04597 4.17/4.21 c bounds 106 >= 54 @ 2.06027 4.17/4.21 c bounds 105 >= 54 @ 2.0919 4.17/4.21 c bounds 104 >= 54 @ 2.10888 4.17/4.21 c bounds 103 >= 54 @ 2.13433 4.17/4.21 c bounds 102 >= 54 @ 2.17504 4.17/4.21 c bounds 101 >= 54 @ 2.19517 4.17/4.21 c bounds 100 >= 54 @ 2.21168 4.17/4.21 c bounds 99 >= 54 @ 2.2253 4.17/4.21 c bounds 98 >= 54 @ 2.25079 4.17/4.21 c bounds 97 >= 54 @ 2.30827 4.17/4.21 c bounds 96 >= 54 @ 2.33404 4.17/4.21 c bounds 95 >= 54 @ 2.37099 4.17/4.21 c bounds 94 >= 54 @ 2.44134 4.17/4.21 c #Conflicts: 3000 | #Constraints: 2807 4.17/4.21 c bounds 93 >= 54 @ 2.72624 4.17/4.21 c bounds 93 >= 55 @ 2.80891 4.17/4.21 c bounds 92 >= 55 @ 2.87829 4.17/4.21 c bounds 91 >= 55 @ 2.92785 4.17/4.21 c bounds 90 >= 55 @ 2.96794 4.17/4.21 c #Conflicts: 4000 | #Constraints: 3839 4.17/4.21 c INPROCESSING 4.17/4.21 c GARBAGE COLLECT 4.17/4.21 c rational objective 60.1667 5.88/5.95 c bounds 89 >= 55 @ 3.59009 5.88/5.95 c bounds 88 >= 55 @ 3.62941 5.88/5.95 c bounds 87 >= 55 @ 3.9514 5.88/5.95 c bounds 86 >= 55 @ 3.99336 5.88/5.95 c bounds 85 >= 55 @ 4.04508 5.88/5.95 c #Conflicts: 5000 | #Constraints: 3230 5.88/5.95 c bounds 84 >= 55 @ 4.15512 5.88/5.95 c #Conflicts: 6000 | #Constraints: 4234 5.88/5.95 c INPROCESSING 5.88/5.95 c GARBAGE COLLECT 5.88/5.95 c rational objective 60.3611 8.57/8.67 c bounds 83 >= 55 @ 5.14731 8.57/8.67 c bounds 82 >= 55 @ 5.1826 8.57/8.67 c bounds 81 >= 55 @ 5.21531 8.57/8.67 c bounds 80 >= 55 @ 5.39744 8.57/8.67 c #Conflicts: 7000 | #Constraints: 3242 8.57/8.67 c #Conflicts: 8000 | #Constraints: 4242 8.57/8.67 c bounds 79 >= 55 @ 7.06069 8.57/8.67 c #Conflicts: 9000 | #Constraints: 5297 8.57/8.67 c INPROCESSING 8.57/8.67 c GARBAGE COLLECT 8.57/8.67 c rational objective 60.3611 11.36/11.42 c bounds 79 >= 56 @ 7.98951 11.36/11.42 c #Conflicts: 10000 | #Constraints: 4001 11.36/11.42 c #Conflicts: 11000 | #Constraints: 5001 11.36/11.42 c #Conflicts: 12000 | #Constraints: 6001 11.36/11.42 c INPROCESSING 11.36/11.42 c GARBAGE COLLECT 11.36/11.42 c rational objective 60.3611 14.65/14.79 c bounds 78 >= 56 @ 10.3426 14.65/14.79 c bounds 77 >= 56 @ 10.8592 14.65/14.79 c #Conflicts: 13000 | #Constraints: 4440 14.65/14.79 c #Conflicts: 14000 | #Constraints: 5440 14.65/14.79 c bounds 76 >= 56 @ 13.1473 14.65/14.79 c bounds 75 >= 56 @ 13.1757 14.65/14.79 c #Conflicts: 15000 | #Constraints: 6442 14.65/14.79 c INPROCESSING 14.65/14.79 c GARBAGE COLLECT 14.65/14.79 c rational objective 60.3611 18.14/18.29 c #Conflicts: 16000 | #Constraints: 4647 18.14/18.29 c bounds 74 >= 56 @ 15.3281 18.14/18.29 c #Conflicts: 17000 | #Constraints: 5670 18.14/18.29 c #Conflicts: 18000 | #Constraints: 6672 18.14/18.29 c INPROCESSING 18.14/18.29 c GARBAGE COLLECT 18.14/18.29 c rational objective 61 22.43/22.57 c bounds 73 >= 56 @ 17.3483 22.43/22.57 c bounds 72 >= 56 @ 17.7156 22.43/22.57 c #Conflicts: 19000 | #Constraints: 4724 22.43/22.57 c bounds 71 >= 56 @ 18.4446 22.43/22.57 c #Conflicts: 20000 | #Constraints: 5725 22.43/22.57 c bounds 70 >= 56 @ 19.2241 22.43/22.57 c #Conflicts: 21000 | #Constraints: 6726 22.43/22.57 c bounds 70 >= 57 @ 20.0328 22.43/22.57 c bounds 69 >= 57 @ 20.2613 22.43/22.57 c INPROCESSING 22.43/22.57 c GARBAGE COLLECT 22.43/22.57 c rational objective 61 26.22/26.39 c #Conflicts: 22000 | #Constraints: 4525 26.22/26.39 c bounds 68 >= 57 @ 21.4313 26.22/26.39 c bounds 67 >= 57 @ 21.5195 26.22/26.39 c #Conflicts: 23000 | #Constraints: 5533 26.22/26.39 c bounds 66 >= 57 @ 22.7095 26.22/26.39 c #Conflicts: 24000 | #Constraints: 6584 26.22/26.39 c #Conflicts: 25000 | #Constraints: 7585 26.22/26.39 c INPROCESSING 26.22/26.39 c GARBAGE COLLECT 26.22/26.39 c rational objective 61 45.66/45.82 c bounds 65 >= 57 @ 24.8676 45.66/45.82 c bounds 64 >= 57 @ 25.2242 45.66/45.82 c #Conflicts: 26000 | #Constraints: 5161 45.66/45.82 c #Conflicts: 27000 | #Constraints: 6275 45.66/45.82 c #Conflicts: 28000 | #Constraints: 7289 45.66/45.82 c #Conflicts: 29000 | #Constraints: 8302 45.66/45.82 c INPROCESSING 45.66/45.82 c GARBAGE COLLECT 45.66/45.82 c #Conflicts: 30000 | #Constraints: 5624 45.66/45.82 c #Conflicts: 31000 | #Constraints: 6629 45.66/45.82 c #Conflicts: 32000 | #Constraints: 7641 45.66/45.82 c #Conflicts: 33000 | #Constraints: 8675 45.66/45.82 c INPROCESSING 45.66/45.82 c GARBAGE COLLECT 45.66/45.82 c #Conflicts: 34000 | #Constraints: 5834 45.66/45.82 c #Conflicts: 35000 | #Constraints: 6842 45.66/45.82 c #Conflicts: 36000 | #Constraints: 7851 45.66/45.82 c #Conflicts: 37000 | #Constraints: 8863 45.66/45.82 c INPROCESSING 45.66/45.82 c GARBAGE COLLECT 45.66/45.82 c rational objective 61 53.85/54.06 c #Conflicts: 38000 | #Constraints: 5872 53.85/54.06 c #Conflicts: 39000 | #Constraints: 6931 53.85/54.06 c #Conflicts: 40000 | #Constraints: 7974 53.85/54.06 c #Conflicts: 41000 | #Constraints: 9019 53.85/54.06 c INPROCESSING 53.85/54.06 c GARBAGE COLLECT 53.85/54.06 c rational objective 61 62.02/62.26 c #Conflicts: 42000 | #Constraints: 5682 62.02/62.26 c #Conflicts: 43000 | #Constraints: 6683 62.02/62.26 c #Conflicts: 44000 | #Constraints: 7684 62.02/62.26 c #Conflicts: 45000 | #Constraints: 8687 62.02/62.26 c #Conflicts: 46000 | #Constraints: 9701 62.02/62.26 c INPROCESSING 62.02/62.26 c GARBAGE COLLECT 62.02/62.26 c rational objective 61 107.70/108.07 c #Conflicts: 47000 | #Constraints: 6245 107.70/108.07 c #Conflicts: 48000 | #Constraints: 7282 107.70/108.07 c #Conflicts: 49000 | #Constraints: 8290 107.70/108.07 c #Conflicts: 50000 | #Constraints: 9293 107.70/108.07 c #Conflicts: 51000 | #Constraints: 10294 107.70/108.07 c #Conflicts: 52000 | #Constraints: 11299 107.70/108.07 c #Conflicts: 53000 | #Constraints: 12305 107.70/108.07 c #Conflicts: 54000 | #Constraints: 13310 107.70/108.07 c #Conflicts: 55000 | #Constraints: 14313 107.70/108.07 c #Conflicts: 56000 | #Constraints: 15320 107.70/108.07 c #Conflicts: 57000 | #Constraints: 16330 107.70/108.07 c bounds 63 >= 57 @ 81.0173 107.70/108.07 c #Conflicts: 58000 | #Constraints: 17341 107.70/108.07 c #Conflicts: 59000 | #Constraints: 18341 107.70/108.07 c #Conflicts: 60000 | #Constraints: 19342 107.70/108.07 c #Conflicts: 61000 | #Constraints: 20343 107.70/108.07 c #Conflicts: 62000 | #Constraints: 21344 107.70/108.07 c #Conflicts: 63000 | #Constraints: 22346 107.70/108.07 c bounds 63 >= 58 @ 100.002 107.70/108.07 c #Conflicts: 64000 | #Constraints: 23544 107.70/108.07 c INPROCESSING 107.70/108.07 c GARBAGE COLLECT 107.70/108.07 c rational objective 61 143.39/143.85 c #Conflicts: 65000 | #Constraints: 13018 143.39/143.85 c #Conflicts: 66000 | #Constraints: 14024 143.39/143.85 c #Conflicts: 67000 | #Constraints: 15024 143.39/143.85 c #Conflicts: 68000 | #Constraints: 16024 143.39/143.85 c #Conflicts: 69000 | #Constraints: 17024 143.39/143.85 c #Conflicts: 70000 | #Constraints: 18024 143.39/143.85 c INPROCESSING 143.39/143.85 c GARBAGE COLLECT 143.39/143.85 c #Conflicts: 71000 | #Constraints: 10310 143.39/143.85 c #Conflicts: 72000 | #Constraints: 11321 143.39/143.85 c #Conflicts: 73000 | #Constraints: 12332 143.39/143.85 c #Conflicts: 74000 | #Constraints: 13339 143.39/143.85 c #Conflicts: 75000 | #Constraints: 14346 143.39/143.85 c #Conflicts: 76000 | #Constraints: 15346 143.39/143.85 c INPROCESSING 143.39/143.85 c GARBAGE COLLECT 143.39/143.85 c rational objective 61 157.04/157.50 c #Conflicts: 77000 | #Constraints: 8920 157.04/157.50 c #Conflicts: 78000 | #Constraints: 9926 157.04/157.50 c #Conflicts: 79000 | #Constraints: 10937 157.04/157.50 c #Conflicts: 80000 | #Constraints: 11949 157.04/157.50 c #Conflicts: 81000 | #Constraints: 12951 157.04/157.50 c #Conflicts: 82000 | #Constraints: 13966 157.04/157.50 c INPROCESSING 157.04/157.50 c GARBAGE COLLECT 157.04/157.50 c rational objective 61 171.91/172.47 c #Conflicts: 83000 | #Constraints: 8088 171.91/172.47 c #Conflicts: 84000 | #Constraints: 9095 171.91/172.47 c #Conflicts: 85000 | #Constraints: 10097 171.91/172.47 c #Conflicts: 86000 | #Constraints: 11097 171.91/172.47 c #Conflicts: 87000 | #Constraints: 12198 171.91/172.47 c #Conflicts: 88000 | #Constraints: 13270 171.91/172.47 c #Conflicts: 89000 | #Constraints: 14278 171.91/172.47 c INPROCESSING 171.91/172.47 c GARBAGE COLLECT 171.91/172.47 c rational objective 61 200.34/200.92 c #Conflicts: 90000 | #Constraints: 8498 200.34/200.92 c #Conflicts: 91000 | #Constraints: 9499 200.34/200.92 c #Conflicts: 92000 | #Constraints: 10500 200.34/200.92 c #Conflicts: 93000 | #Constraints: 11500 200.34/200.92 c #Conflicts: 94000 | #Constraints: 12500 200.34/200.92 c #Conflicts: 95000 | #Constraints: 13501 200.34/200.92 c #Conflicts: 96000 | #Constraints: 14505 200.34/200.92 c INPROCESSING 200.34/200.92 c GARBAGE COLLECT 200.34/200.92 c rational objective 61 326.98/328.01 c #Conflicts: 97000 | #Constraints: 8780 326.98/328.01 c #Conflicts: 98000 | #Constraints: 9791 326.98/328.01 c #Conflicts: 99000 | #Constraints: 10797 326.98/328.01 c #Conflicts: 100000 | #Constraints: 11804 326.98/328.01 c #Conflicts: 101000 | #Constraints: 12807 326.98/328.01 c #Conflicts: 102000 | #Constraints: 13813 326.98/328.01 c #Conflicts: 103000 | #Constraints: 14821 326.98/328.01 c #Conflicts: 104000 | #Constraints: 15825 326.98/328.01 c #Conflicts: 105000 | #Constraints: 16829 326.98/328.01 c #Conflicts: 106000 | #Constraints: 17835 326.98/328.01 c #Conflicts: 107000 | #Constraints: 18843 326.98/328.01 c #Conflicts: 108000 | #Constraints: 19852 326.98/328.01 c #Conflicts: 109000 | #Constraints: 20857 326.98/328.01 c #Conflicts: 110000 | #Constraints: 21864 326.98/328.01 c #Conflicts: 111000 | #Constraints: 22867 326.98/328.01 c #Conflicts: 112000 | #Constraints: 23875 326.98/328.01 c #Conflicts: 113000 | #Constraints: 24877 326.98/328.01 c #Conflicts: 114000 | #Constraints: 25883 326.98/328.01 c #Conflicts: 115000 | #Constraints: 26885 326.98/328.01 c #Conflicts: 116000 | #Constraints: 27887 326.98/328.01 c #Conflicts: 117000 | #Constraints: 28892 326.98/328.01 c #Conflicts: 118000 | #Constraints: 29895 326.98/328.01 c #Conflicts: 119000 | #Constraints: 30896 326.98/328.01 c #Conflicts: 120000 | #Constraints: 31899 326.98/328.01 c #Conflicts: 121000 | #Constraints: 32902 326.98/328.01 c INPROCESSING 326.98/328.01 c GARBAGE COLLECT 326.98/328.01 c rational objective 61 384.54/385.67 c #Conflicts: 122000 | #Constraints: 17559 384.54/385.67 c #Conflicts: 123000 | #Constraints: 18563 384.54/385.67 c #Conflicts: 124000 | #Constraints: 19563 384.54/385.67 c #Conflicts: 125000 | #Constraints: 20563 384.54/385.67 c #Conflicts: 126000 | #Constraints: 21563 384.54/385.67 c #Conflicts: 127000 | #Constraints: 22563 384.54/385.67 c #Conflicts: 128000 | #Constraints: 23563 384.54/385.67 c #Conflicts: 129000 | #Constraints: 24563 384.54/385.67 c INPROCESSING 384.54/385.67 c GARBAGE COLLECT 384.54/385.67 c rational objective 61 449.98/451.22 c #Conflicts: 130000 | #Constraints: 13396 449.98/451.22 c #Conflicts: 131000 | #Constraints: 14396 449.98/451.22 c #Conflicts: 132000 | #Constraints: 15397 449.98/451.22 c #Conflicts: 133000 | #Constraints: 16400 449.98/451.22 c #Conflicts: 134000 | #Constraints: 17403 449.98/451.22 c #Conflicts: 135000 | #Constraints: 18404 449.98/451.22 c #Conflicts: 136000 | #Constraints: 19407 449.98/451.22 c #Conflicts: 137000 | #Constraints: 20408 449.98/451.22 c #Conflicts: 138000 | #Constraints: 21411 449.98/451.22 c INPROCESSING 449.98/451.22 c GARBAGE COLLECT 449.98/451.22 c rational objective 61 473.83/475.17 c #Conflicts: 139000 | #Constraints: 12257 473.83/475.17 c #Conflicts: 140000 | #Constraints: 13267 473.83/475.17 c #Conflicts: 141000 | #Constraints: 14268 473.83/475.17 c #Conflicts: 142000 | #Constraints: 15276 473.83/475.17 c #Conflicts: 143000 | #Constraints: 16294 473.83/475.17 c #Conflicts: 144000 | #Constraints: 17299 473.83/475.17 c #Conflicts: 145000 | #Constraints: 18304 473.83/475.17 c #Conflicts: 146000 | #Constraints: 19314 473.83/475.17 c INPROCESSING 473.83/475.17 c GARBAGE COLLECT 473.83/475.17 c rational objective 61 682.36/684.26 c #Conflicts: 147000 | #Constraints: 10956 682.36/684.26 c #Conflicts: 148000 | #Constraints: 11961 682.36/684.26 c #Conflicts: 149000 | #Constraints: 12970 682.36/684.26 c #Conflicts: 150000 | #Constraints: 13973 682.36/684.26 c #Conflicts: 151000 | #Constraints: 14977 682.36/684.26 c #Conflicts: 152000 | #Constraints: 15978 682.36/684.26 c #Conflicts: 153000 | #Constraints: 16980 682.36/684.26 c #Conflicts: 154000 | #Constraints: 17985 682.36/684.26 c #Conflicts: 155000 | #Constraints: 18991 682.36/684.26 c #Conflicts: 156000 | #Constraints: 20003 682.36/684.26 c #Conflicts: 157000 | #Constraints: 21004 682.36/684.26 c #Conflicts: 158000 | #Constraints: 22009 682.36/684.26 c #Conflicts: 159000 | #Constraints: 23012 682.36/684.26 c #Conflicts: 160000 | #Constraints: 24015 682.36/684.26 c #Conflicts: 161000 | #Constraints: 25017 682.36/684.26 c #Conflicts: 162000 | #Constraints: 26020 682.36/684.26 c #Conflicts: 163000 | #Constraints: 27025 682.36/684.26 c #Conflicts: 164000 | #Constraints: 28029 682.36/684.26 c #Conflicts: 165000 | #Constraints: 29034 682.36/684.26 c #Conflicts: 166000 | #Constraints: 30037 682.36/684.26 c #Conflicts: 167000 | #Constraints: 31037 682.36/684.26 c #Conflicts: 168000 | #Constraints: 32040 682.36/684.26 c #Conflicts: 169000 | #Constraints: 33047 682.36/684.26 c #Conflicts: 170000 | #Constraints: 34048 682.36/684.26 c #Conflicts: 171000 | #Constraints: 35051 682.36/684.26 c #Conflicts: 172000 | #Constraints: 36054 682.36/684.26 c #Conflicts: 173000 | #Constraints: 37056 682.36/684.26 c #Conflicts: 174000 | #Constraints: 38059 682.36/684.26 c #Conflicts: 175000 | #Constraints: 39059 682.36/684.26 c #Conflicts: 176000 | #Constraints: 40067 682.36/684.26 c #Conflicts: 177000 | #Constraints: 41069 682.36/684.26 c INPROCESSING 682.36/684.26 c GARBAGE COLLECT 682.36/684.26 c rational objective 61 1172.06/1175.21 c #Conflicts: 178000 | #Constraints: 21784 1172.06/1175.21 c #Conflicts: 179000 | #Constraints: 22784 1172.06/1175.21 c #Conflicts: 180000 | #Constraints: 23785 1172.06/1175.21 c #Conflicts: 181000 | #Constraints: 24785 1172.06/1175.21 c #Conflicts: 182000 | #Constraints: 25785 1172.06/1175.21 c #Conflicts: 183000 | #Constraints: 26786 1172.06/1175.21 c #Conflicts: 184000 | #Constraints: 27787 1172.06/1175.21 c #Conflicts: 185000 | #Constraints: 28795 1172.06/1175.21 c #Conflicts: 186000 | #Constraints: 29800 1172.06/1175.21 c #Conflicts: 187000 | #Constraints: 30809 1172.06/1175.21 c INPROCESSING 1172.06/1175.21 c GARBAGE COLLECT 1172.06/1175.21 c #Conflicts: 188000 | #Constraints: 16875 1172.06/1175.21 c #Conflicts: 189000 | #Constraints: 17906 1172.06/1175.21 c #Conflicts: 190000 | #Constraints: 18906 1172.06/1175.21 c #Conflicts: 191000 | #Constraints: 19906 1172.06/1175.21 c #Conflicts: 192000 | #Constraints: 20906 1172.06/1175.21 c #Conflicts: 193000 | #Constraints: 21908 1172.06/1175.21 c #Conflicts: 194000 | #Constraints: 22908 1172.06/1175.21 c #Conflicts: 195000 | #Constraints: 23911 1172.06/1175.21 c #Conflicts: 196000 | #Constraints: 24920 1172.06/1175.21 c #Conflicts: 197000 | #Constraints: 25922 1172.06/1175.21 c INPROCESSING 1172.06/1175.21 c GARBAGE COLLECT 1172.06/1175.21 c #Conflicts: 198000 | #Constraints: 14476 1172.06/1175.21 c #Conflicts: 199000 | #Constraints: 15487 1172.06/1175.21 c #Conflicts: 200000 | #Constraints: 16599 1172.06/1175.21 c #Conflicts: 201000 | #Constraints: 17677 1172.06/1175.21 c #Conflicts: 202000 | #Constraints: 18712 1172.06/1175.21 c #Conflicts: 203000 | #Constraints: 19720 1172.06/1175.21 c #Conflicts: 204000 | #Constraints: 20730 1172.06/1175.21 c #Conflicts: 205000 | #Constraints: 21736 1172.06/1175.21 c #Conflicts: 206000 | #Constraints: 22741 1172.06/1175.21 c #Conflicts: 207000 | #Constraints: 23753 1172.06/1175.21 c INPROCESSING 1172.06/1175.21 c GARBAGE COLLECT 1172.06/1175.21 c #Conflicts: 208000 | #Constraints: 13329 1172.06/1175.21 c #Conflicts: 209000 | #Constraints: 14347 1172.06/1175.21 c #Conflicts: 210000 | #Constraints: 15350 1172.06/1175.21 c #Conflicts: 211000 | #Constraints: 16352 1172.06/1175.21 c #Conflicts: 212000 | #Constraints: 17358 1172.06/1175.21 c #Conflicts: 213000 | #Constraints: 18360 1172.06/1175.21 c #Conflicts: 214000 | #Constraints: 19363 1172.06/1175.21 c #Conflicts: 215000 | #Constraints: 20366 1172.06/1175.21 c #Conflicts: 216000 | #Constraints: 21371 1172.06/1175.21 c #Conflicts: 217000 | #Constraints: 22375 1172.06/1175.21 c #Conflicts: 218000 | #Constraints: 23376 1172.06/1175.21 c #Conflicts: 219000 | #Constraints: 24378 1172.06/1175.21 c #Conflicts: 220000 | #Constraints: 25378 1172.06/1175.21 c #Conflicts: 221000 | #Constraints: 26383 1172.06/1175.21 c #Conflicts: 222000 | #Constraints: 27390 1172.06/1175.21 c #Conflicts: 223000 | #Constraints: 28398 1172.06/1175.21 c #Conflicts: 224000 | #Constraints: 29411 1172.06/1175.21 c #Conflicts: 225000 | #Constraints: 30415 1172.06/1175.21 c #Conflicts: 226000 | #Constraints: 31417 1172.06/1175.21 c #Conflicts: 227000 | #Constraints: 32428 1172.06/1175.21 c #Conflicts: 228000 | #Constraints: 33429 1172.06/1175.21 c #Conflicts: 229000 | #Constraints: 34432 1172.06/1175.21 c #Conflicts: 230000 | #Constraints: 35437 1172.06/1175.21 c #Conflicts: 231000 | #Constraints: 36438 1172.06/1175.21 c #Conflicts: 232000 | #Constraints: 37443 1172.06/1175.21 c #Conflicts: 233000 | #Constraints: 38448 1172.06/1175.21 c #Conflicts: 234000 | #Constraints: 39453 1172.06/1175.21 c #Conflicts: 235000 | #Constraints: 40455 1172.06/1175.21 c #Conflicts: 236000 | #Constraints: 41455 1172.06/1175.21 c #Conflicts: 237000 | #Constraints: 42459 1172.06/1175.21 c #Conflicts: 238000 | #Constraints: 43460 1172.06/1175.21 c #Conflicts: 239000 | #Constraints: 44462 1172.06/1175.21 c #Conflicts: 240000 | #Constraints: 45469 1172.06/1175.21 c #Conflicts: 241000 | #Constraints: 46470 1172.06/1175.21 c #Conflicts: 242000 | #Constraints: 47472 1172.06/1175.21 c #Conflicts: 243000 | #Constraints: 48475 1172.06/1175.21 c INPROCESSING 1172.06/1175.21 c GARBAGE COLLECT 1172.06/1175.21 c rational objective 61 1300.46/1303.90 c #Conflicts: 244000 | #Constraints: 25446 1300.46/1303.90 c #Conflicts: 245000 | #Constraints: 26447 1300.46/1303.90 c #Conflicts: 246000 | #Constraints: 27448 1300.46/1303.90 c #Conflicts: 247000 | #Constraints: 28450 1300.46/1303.90 c #Conflicts: 248000 | #Constraints: 29452 1300.46/1303.90 c #Conflicts: 249000 | #Constraints: 30453 1300.46/1303.90 c #Conflicts: 250000 | #Constraints: 31456 1300.46/1303.90 c #Conflicts: 251000 | #Constraints: 32458 1300.46/1303.90 c #Conflicts: 252000 | #Constraints: 33459 1300.46/1303.90 c #Conflicts: 253000 | #Constraints: 34460 1300.46/1303.90 c #Conflicts: 254000 | #Constraints: 35464 1300.46/1303.90 c #Conflicts: 255000 | #Constraints: 36465 1300.46/1303.90 c INPROCESSING 1300.46/1303.90 c GARBAGE COLLECT 1300.46/1303.90 c rational objective 61 1345.76/1349.31 c #Conflicts: 256000 | #Constraints: 19753 1345.76/1349.31 c #Conflicts: 257000 | #Constraints: 20760 1345.76/1349.31 c #Conflicts: 258000 | #Constraints: 21763 1345.76/1349.31 c #Conflicts: 259000 | #Constraints: 22767 1345.76/1349.31 c #Conflicts: 260000 | #Constraints: 23767 1345.76/1349.31 c #Conflicts: 261000 | #Constraints: 24772 1345.76/1349.31 c #Conflicts: 262000 | #Constraints: 25773 1345.76/1349.31 c #Conflicts: 263000 | #Constraints: 26778 1345.76/1349.31 c #Conflicts: 264000 | #Constraints: 27780 1345.76/1349.31 c #Conflicts: 265000 | #Constraints: 28783 1345.76/1349.31 c #Conflicts: 266000 | #Constraints: 29787 1345.76/1349.31 c INPROCESSING 1345.76/1349.31 c GARBAGE COLLECT 1345.76/1349.31 c rational objective 61 1472.47/1476.32 c #Conflicts: 267000 | #Constraints: 16095 1472.47/1476.32 c #Conflicts: 268000 | #Constraints: 17097 1472.47/1476.32 c #Conflicts: 269000 | #Constraints: 18099 1472.47/1476.32 c #Conflicts: 270000 | #Constraints: 19101 1472.47/1476.32 c #Conflicts: 271000 | #Constraints: 20104 1472.47/1476.32 c #Conflicts: 272000 | #Constraints: 21107 1472.47/1476.32 c #Conflicts: 273000 | #Constraints: 22108 1472.47/1476.32 c #Conflicts: 274000 | #Constraints: 23108 1472.47/1476.32 c #Conflicts: 275000 | #Constraints: 24109 1472.47/1476.32 c #Conflicts: 276000 | #Constraints: 25111 1472.47/1476.32 c #Conflicts: 277000 | #Constraints: 26112 1472.47/1476.32 c #Conflicts: 278000 | #Constraints: 27113 1472.47/1476.32 c INPROCESSING 1472.47/1476.32 c GARBAGE COLLECT 1472.47/1476.32 c rational objective 61 1861.16/1865.94 c #Conflicts: 279000 | #Constraints: 14877 1861.16/1865.94 c #Conflicts: 280000 | #Constraints: 15894 1861.16/1865.94 c #Conflicts: 281000 | #Constraints: 16954 1861.16/1865.94 c #Conflicts: 282000 | #Constraints: 18074 1861.16/1865.94 c #Conflicts: 283000 | #Constraints: 19078 1861.16/1865.94 c #Conflicts: 284000 | #Constraints: 20084 1861.16/1865.94 c #Conflicts: 285000 | #Constraints: 21090 1861.16/1865.94 c #Conflicts: 286000 | #Constraints: 22108 1861.16/1865.94 c #Conflicts: 287000 | #Constraints: 23116 1861.16/1865.94 c #Conflicts: 288000 | #Constraints: 24184 1861.16/1865.94 c #Conflicts: 289000 | #Constraints: 25200 1861.16/1865.94 c #Conflicts: 290000 | #Constraints: 26210 1861.16/1865.94 c #Conflicts: 291000 | #Constraints: 27239 1861.16/1865.94 c #Conflicts: 292000 | #Constraints: 28243 1861.16/1865.94 c #Conflicts: 293000 | #Constraints: 29246 1861.16/1865.94 c #Conflicts: 294000 | #Constraints: 30251 1861.16/1865.94 c #Conflicts: 295000 | #Constraints: 31255 1861.16/1865.94 c #Conflicts: 296000 | #Constraints: 32261 1861.16/1865.94 c #Conflicts: 297000 | #Constraints: 33263 1861.16/1865.94 c #Conflicts: 298000 | #Constraints: 34269 1861.16/1865.94 c #Conflicts: 299000 | #Constraints: 35274 1861.16/1865.94 c #Conflicts: 300000 | #Constraints: 36276 1861.16/1865.94 c #Conflicts: 301000 | #Constraints: 37279 1861.16/1865.94 c #Conflicts: 302000 | #Constraints: 38285 1861.16/1865.94 c #Conflicts: 303000 | #Constraints: 39292 1861.16/1865.94 c #Conflicts: 304000 | #Constraints: 40295 1861.16/1865.94 c #Conflicts: 305000 | #Constraints: 41298 1861.16/1865.94 c #Conflicts: 306000 | #Constraints: 42303 1861.16/1865.94 c #Conflicts: 307000 | #Constraints: 43307 1861.16/1865.94 c #Conflicts: 308000 | #Constraints: 44314 1861.16/1865.94 c #Conflicts: 309000 | #Constraints: 45314 1861.16/1865.94 c #Conflicts: 310000 | #Constraints: 46316 1861.16/1865.94 c #Conflicts: 311000 | #Constraints: 47322 1861.16/1865.94 c #Conflicts: 312000 | #Constraints: 48325 1861.16/1865.94 c #Conflicts: 313000 | #Constraints: 49329 1861.16/1865.94 c #Conflicts: 314000 | #Constraints: 50335 1861.16/1865.94 c #Conflicts: 315000 | #Constraints: 51337 1861.16/1865.94 c #Conflicts: 316000 | #Constraints: 52338 1861.16/1865.94 c #Conflicts: 317000 | #Constraints: 53343 1861.16/1865.94 c #Conflicts: 318000 | #Constraints: 54348 1861.16/1865.94 c #Conflicts: 319000 | #Constraints: 55351 1861.16/1865.94 c #Conflicts: 320000 | #Constraints: 56356 1861.16/1865.94 c INPROCESSING 1861.16/1865.94 c GARBAGE COLLECT 1861.16/1865.94 c rational objective 61 2036.97/2042.14 c #Conflicts: 321000 | #Constraints: 29639 2036.97/2042.14 c #Conflicts: 322000 | #Constraints: 30644 2036.97/2042.14 c #Conflicts: 323000 | #Constraints: 31646 2036.97/2042.14 c #Conflicts: 324000 | #Constraints: 32647 2036.97/2042.14 c #Conflicts: 325000 | #Constraints: 33650 2036.97/2042.14 c #Conflicts: 326000 | #Constraints: 34652 2036.97/2042.14 c #Conflicts: 327000 | #Constraints: 35675 2036.97/2042.14 c #Conflicts: 328000 | #Constraints: 36675 2036.97/2042.14 c #Conflicts: 329000 | #Constraints: 37675 2036.97/2042.14 c #Conflicts: 330000 | #Constraints: 38675 2036.97/2042.14 c #Conflicts: 331000 | #Constraints: 39677 2036.97/2042.14 c #Conflicts: 332000 | #Constraints: 40677 2036.97/2042.14 c #Conflicts: 333000 | #Constraints: 41677 2036.97/2042.14 c INPROCESSING 2036.97/2042.14 c GARBAGE COLLECT 2036.97/2042.14 c rational objective 61 2164.76/2170.25 c #Conflicts: 334000 | #Constraints: 22263 2164.76/2170.25 c #Conflicts: 335000 | #Constraints: 23263 2164.76/2170.25 c #Conflicts: 336000 | #Constraints: 24265 2164.76/2170.25 c #Conflicts: 337000 | #Constraints: 25269 2164.76/2170.25 c #Conflicts: 338000 | #Constraints: 26270 2164.76/2170.25 c #Conflicts: 339000 | #Constraints: 27271 2164.76/2170.25 c #Conflicts: 340000 | #Constraints: 28271 2164.76/2170.25 c #Conflicts: 341000 | #Constraints: 29271 2164.76/2170.25 c #Conflicts: 342000 | #Constraints: 30271 2164.76/2170.25 c #Conflicts: 343000 | #Constraints: 31271 2164.76/2170.25 c bounds 63 >= 59 @ 2136.01 2164.76/2170.25 c #Conflicts: 344000 | #Constraints: 32301 2164.76/2170.25 c #Conflicts: 345000 | #Constraints: 33302 2164.76/2170.25 c #Conflicts: 346000 | #Constraints: 34305 2164.76/2170.25 c INPROCESSING 2164.76/2170.25 c GARBAGE COLLECT 2164.76/2170.25 c rational objective 61 2228.02/2233.64 c #Conflicts: 347000 | #Constraints: 18422 2228.02/2233.64 c #Conflicts: 348000 | #Constraints: 19426 2228.02/2233.64 c #Conflicts: 349000 | #Constraints: 20433 2228.02/2233.64 c #Conflicts: 350000 | #Constraints: 21438 2228.02/2233.64 c #Conflicts: 351000 | #Constraints: 22442 2228.02/2233.64 c #Conflicts: 352000 | #Constraints: 23448 2228.02/2233.64 c #Conflicts: 353000 | #Constraints: 24449 2228.02/2233.64 c #Conflicts: 354000 | #Constraints: 25452 2228.02/2233.64 c #Conflicts: 355000 | #Constraints: 26456 2228.02/2233.64 c #Conflicts: 356000 | #Constraints: 27460 2228.02/2233.64 c #Conflicts: 357000 | #Constraints: 28461 2228.02/2233.64 c #Conflicts: 358000 | #Constraints: 29463 2228.02/2233.64 c #Conflicts: 359000 | #Constraints: 30469 2228.02/2233.64 c #Conflicts: 360000 | #Constraints: 31471 2228.02/2233.64 c INPROCESSING 2228.02/2233.64 c GARBAGE COLLECT 2228.02/2233.64 c rational objective 61 2736.38/2743.29 c #Conflicts: 361000 | #Constraints: 17260 2736.38/2743.29 c #Conflicts: 362000 | #Constraints: 18264 2736.38/2743.29 c #Conflicts: 363000 | #Constraints: 19268 2736.38/2743.29 c #Conflicts: 364000 | #Constraints: 20272 2736.38/2743.29 c #Conflicts: 365000 | #Constraints: 21280 2736.38/2743.29 c #Conflicts: 366000 | #Constraints: 22283 2736.38/2743.29 c #Conflicts: 367000 | #Constraints: 23289 2736.38/2743.29 c #Conflicts: 368000 | #Constraints: 24291 2736.38/2743.29 c #Conflicts: 369000 | #Constraints: 25296 2736.38/2743.29 c #Conflicts: 370000 | #Constraints: 26300 2736.38/2743.29 c #Conflicts: 371000 | #Constraints: 27304 2736.38/2743.29 c #Conflicts: 372000 | #Constraints: 28307 2736.38/2743.29 c #Conflicts: 373000 | #Constraints: 29307 2736.38/2743.29 c #Conflicts: 374000 | #Constraints: 30315 2736.38/2743.29 c #Conflicts: 375000 | #Constraints: 31320 2736.38/2743.29 c #Conflicts: 376000 | #Constraints: 32323 2736.38/2743.29 c #Conflicts: 377000 | #Constraints: 33329 2736.38/2743.29 c #Conflicts: 378000 | #Constraints: 34333 2736.38/2743.29 c #Conflicts: 379000 | #Constraints: 35337 2736.38/2743.29 c #Conflicts: 380000 | #Constraints: 36338 2736.38/2743.29 c #Conflicts: 381000 | #Constraints: 37339 2736.38/2743.29 c #Conflicts: 382000 | #Constraints: 38344 2736.38/2743.29 c #Conflicts: 383000 | #Constraints: 39345 2736.38/2743.29 c #Conflicts: 384000 | #Constraints: 40346 2736.38/2743.29 c #Conflicts: 385000 | #Constraints: 41354 2736.38/2743.29 c #Conflicts: 386000 | #Constraints: 42358 2736.38/2743.29 c #Conflicts: 387000 | #Constraints: 43359 2736.38/2743.29 c #Conflicts: 388000 | #Constraints: 44362 2736.38/2743.29 c #Conflicts: 389000 | #Constraints: 45368 2736.38/2743.29 c #Conflicts: 390000 | #Constraints: 46369 2736.38/2743.29 c #Conflicts: 391000 | #Constraints: 47372 2736.38/2743.29 c #Conflicts: 392000 | #Constraints: 48372 2736.38/2743.29 c #Conflicts: 393000 | #Constraints: 49376 2736.38/2743.29 c #Conflicts: 394000 | #Constraints: 50378 2736.38/2743.29 c #Conflicts: 395000 | #Constraints: 51382 2736.38/2743.29 c #Conflicts: 396000 | #Constraints: 52386 2736.38/2743.29 c #Conflicts: 397000 | #Constraints: 53389 2736.38/2743.29 c #Conflicts: 398000 | #Constraints: 54390 2736.38/2743.29 c #Conflicts: 399000 | #Constraints: 55392 2736.38/2743.29 c #Conflicts: 400000 | #Constraints: 56394 2736.38/2743.29 c #Conflicts: 401000 | #Constraints: 57395 2736.38/2743.29 c #Conflicts: 402000 | #Constraints: 58397 2736.38/2743.29 c #Conflicts: 403000 | #Constraints: 59397 2736.38/2743.29 c #Conflicts: 404000 | #Constraints: 60399 2736.38/2743.29 c #Conflicts: 405000 | #Constraints: 61403 2736.38/2743.29 c #Conflicts: 406000 | #Constraints: 62406 2736.38/2743.29 c #Conflicts: 407000 | #Constraints: 63408 2736.38/2743.29 c INPROCESSING 2736.38/2743.29 c GARBAGE COLLECT 2736.38/2743.29 c rational objective 61 2904.49/2911.78 c #Conflicts: 408000 | #Constraints: 33237 2904.49/2911.78 c #Conflicts: 409000 | #Constraints: 34239 2904.49/2911.78 c #Conflicts: 410000 | #Constraints: 35239 2904.49/2911.78 c #Conflicts: 411000 | #Constraints: 36243 2904.49/2911.78 c #Conflicts: 412000 | #Constraints: 37243 2904.49/2911.78 c #Conflicts: 413000 | #Constraints: 38245 2904.49/2911.78 c #Conflicts: 414000 | #Constraints: 39246 2904.49/2911.78 c #Conflicts: 415000 | #Constraints: 40247 2904.49/2911.78 c #Conflicts: 416000 | #Constraints: 41247 2904.49/2911.78 c #Conflicts: 417000 | #Constraints: 42254 2904.49/2911.78 c #Conflicts: 418000 | #Constraints: 43256 2904.49/2911.78 c #Conflicts: 419000 | #Constraints: 44281 2904.49/2911.78 c #Conflicts: 420000 | #Constraints: 45282 2904.49/2911.78 c #Conflicts: 421000 | #Constraints: 46291 2904.49/2911.78 c INPROCESSING 2904.49/2911.78 c GARBAGE COLLECT 2904.49/2911.78 c rational objective 61 3044.57/3052.15 c #Conflicts: 422000 | #Constraints: 24274 3044.57/3052.15 c #Conflicts: 423000 | #Constraints: 25274 3044.57/3052.15 c #Conflicts: 424000 | #Constraints: 26278 3044.57/3052.15 c #Conflicts: 425000 | #Constraints: 27284 3044.57/3052.15 c #Conflicts: 426000 | #Constraints: 28284 3044.57/3052.15 c #Conflicts: 427000 | #Constraints: 29284 3044.57/3052.15 c #Conflicts: 428000 | #Constraints: 30284 3044.57/3052.15 c #Conflicts: 429000 | #Constraints: 31285 3044.57/3052.15 c #Conflicts: 430000 | #Constraints: 32286 3044.57/3052.15 c #Conflicts: 431000 | #Constraints: 33291 3044.57/3052.15 c #Conflicts: 432000 | #Constraints: 34291 3044.57/3052.15 c #Conflicts: 433000 | #Constraints: 35291 3044.57/3052.15 c #Conflicts: 434000 | #Constraints: 36291 3044.57/3052.15 c #Conflicts: 435000 | #Constraints: 37291 3044.57/3052.15 c #Conflicts: 436000 | #Constraints: 38294 3044.57/3052.15 c INPROCESSING 3044.57/3052.15 c GARBAGE COLLECT 3044.57/3052.15 c rational objective 61 3197.39/3205.36 c #Conflicts: 437000 | #Constraints: 20274 3197.39/3205.36 c #Conflicts: 438000 | #Constraints: 21274 3197.39/3205.36 c #Conflicts: 439000 | #Constraints: 22275 3197.39/3205.36 c #Conflicts: 440000 | #Constraints: 23280 3197.39/3205.36 c #Conflicts: 441000 | #Constraints: 24280 3197.39/3205.36 c #Conflicts: 442000 | #Constraints: 25288 3197.39/3205.36 c #Conflicts: 443000 | #Constraints: 26293 3197.39/3205.36 c #Conflicts: 444000 | #Constraints: 27297 3197.39/3205.36 c #Conflicts: 445000 | #Constraints: 28320 3197.39/3205.36 c #Conflicts: 446000 | #Constraints: 29321 3197.39/3205.36 c #Conflicts: 447000 | #Constraints: 30367 3197.39/3205.36 c #Conflicts: 448000 | #Constraints: 31367 3197.39/3205.36 c #Conflicts: 449000 | #Constraints: 32367 3197.39/3205.36 c #Conflicts: 450000 | #Constraints: 33369 3197.39/3205.36 c #Conflicts: 451000 | #Constraints: 34372 3197.39/3205.36 c #Conflicts: 452000 | #Constraints: 35373 3197.39/3205.36 c INPROCESSING 3197.39/3205.36 c GARBAGE COLLECT 3197.39/3205.36 c rational objective 61 3600.04/3608.90 c #Conflicts: 453000 | #Constraints: 19224 3600.04/3608.90 c #Conflicts: 454000 | #Constraints: 20227 3600.04/3608.90 c #Conflicts: 455000 | #Constraints: 21228 3600.04/3608.90 c #Conflicts: 456000 | #Constraints: 22228 3600.04/3608.90 c #Conflicts: 457000 | #Constraints: 23275 3600.04/3608.90 c #Conflicts: 458000 | #Constraints: 24286 3600.04/3608.90 c #Conflicts: 459000 | #Constraints: 25297 3600.04/3608.90 c #Conflicts: 460000 | #Constraints: 26299 3600.04/3608.90 c #Conflicts: 461000 | #Constraints: 27300 3600.04/3608.90 c #Conflicts: 462000 | #Constraints: 28309 3600.04/3608.90 c #Conflicts: 463000 | #Constraints: 29323 3600.04/3608.90 c #Conflicts: 464000 | #Constraints: 30323 3600.04/3608.90 c #Conflicts: 465000 | #Constraints: 31328 3600.04/3608.90 c #Conflicts: 466000 | #Constraints: 32333 3600.04/3608.90 c #Conflicts: 467000 | #Constraints: 33340 3600.04/3608.90 c #Conflicts: 468000 | #Constraints: 34341 3600.04/3608.90 c #Conflicts: 469000 | #Constraints: 35348 3600.04/3608.90 c #Conflicts: 470000 | #Constraints: 36354 3600.04/3608.90 c #Conflicts: 471000 | #Constraints: 37359 3600.04/3608.90 c #Conflicts: 472000 | #Constraints: 38365 3600.04/3608.90 c #Conflicts: 473000 | #Constraints: 39372 3600.04/3608.90 c #Conflicts: 474000 | #Constraints: 40376 3600.04/3608.90 c #Conflicts: 475000 | #Constraints: 41380 3600.04/3608.90 c #Conflicts: 476000 | #Constraints: 42384 3600.04/3608.90 c #Conflicts: 477000 | #Constraints: 43386 3600.04/3608.90 c #Conflicts: 478000 | #Constraints: 44391 3600.04/3608.90 c #Conflicts: 479000 | #Constraints: 45397 3600.04/3608.90 c #Conflicts: 480000 | #Constraints: 46401 3600.04/3608.90 c #Conflicts: 481000 | #Constraints: 47406 3600.04/3608.90 c #Conflicts: 482000 | #Constraints: 48415 3600.04/3608.90 c #Conflicts: 483000 | #Constraints: 49417 3600.04/3608.90 c #Conflicts: 484000 | #Constraints: 50421 3600.04/3608.90 c #Conflicts: 485000 | #Constraints: 51422 3600.04/3608.90 c #Conflicts: 486000 | #Constraints: 52428 3600.04/3608.90 c #Conflicts: 487000 | #Constraints: 53429 3600.04/3608.90 c #Conflicts: 488000 | #Constraints: 54431 3600.04/3608.90 c #Conflicts: 489000 | #Constraints: 55437 3600.04/3608.90 c #Conflicts: 490000 | #Constraints: 56447 3600.04/3608.90 c #Conflicts: 491000 | #Constraints: 57454 3600.04/3608.90 c #Conflicts: 492000 | #Constraints: 58462 3600.04/3608.90 c #Conflicts: 493000 | #Constraints: 59471 3600.04/3608.90 c Program interrupted by user. 3600.04/3608.90 c cpu time 3575.62 s 3600.04/3608.90 c deterministic time 411520794920 4.12e+11 3600.04/3608.90 c optimization time 400.638 s 3600.04/3608.90 c total solve time 3174.95 s 3600.04/3608.90 c core-guided solve time 1407.02 s 3600.04/3608.90 c propagation time 2696.55 s 3600.04/3608.90 c conflict analysis time 765.708 s 3600.04/3608.90 c propagations 361930665 3600.04/3608.90 c resolve steps 2409996 3600.04/3608.90 c decisions 16138891 3600.04/3608.90 c conflicts 493798 3600.04/3608.90 c restarts 1022 3600.04/3608.90 c inprocessing phases 40 3600.04/3608.90 c input clauses 607 3600.04/3608.90 c input cardinalities 211 3600.04/3608.90 c input general constraints 250 3600.04/3608.90 c input average constraint length 711.37 3600.04/3608.90 c input average constraint degree 412.86 3600.04/3608.90 c learned clauses 107724 3600.04/3608.90 c learned cardinalities 9555 3600.04/3608.90 c learned general constraints 380192 3600.04/3608.90 c learned average constraint length 2230.57 3600.04/3608.90 c learned average constraint degree 157687235364.83 3600.04/3608.90 c watched constraints 68284 3600.04/3608.90 c counting constraints 312158 3600.04/3608.90 c gcd simplifications 15433 3600.04/3608.90 c detected cardinalities 192 3600.04/3608.90 c weakened non-implied lits 318023433 3600.04/3608.90 c weakened non-implying lits 104636 3600.04/3608.90 c original variables 4676 3600.04/3608.90 c clausal propagations 2784563 3600.04/3608.90 c cardinality propagations 2056679 3600.04/3608.90 c watched propagations 15160471 3600.04/3608.90 c counting propagations 334987237 3600.04/3608.90 c watch lookups 67792873191 3600.04/3608.90 c watch backjump lookups 66542396344 3600.04/3608.90 c watch checks 140607651827 3600.04/3608.90 c propagation checks 131121777055 3600.04/3608.90 c constraint additions 4698926822 3600.04/3608.90 c trail pops 378558057 3600.04/3608.90 c formula constraints 509 3600.04/3608.90 c learned constraints 492559 3600.04/3608.90 c bound constraints 153 3600.04/3608.90 c core-guided constraints 406 3600.04/3608.90 c encountered formula constraints 277129 3600.04/3608.90 c encountered learned constraints 1776506 3600.04/3608.90 c encountered bound constraints 106 3600.04/3608.90 c encountered core-guided constraints 337906 3600.04/3608.90 c LP total time 78.5858 s 3600.04/3608.90 c LP solve time 52.25 s 3600.04/3608.90 c LP constraints added 551 3600.04/3608.90 c LP constraints removed 35 3600.04/3608.90 c LP pivots internal 493828 3600.04/3608.90 c LP pivots root 48239 3600.04/3608.90 c LP calls 3932 3600.04/3608.90 c LP optimalities 267 3600.04/3608.90 c LP no pivot count 55 3600.04/3608.90 c LP infeasibilities 3645 3600.04/3608.90 c LP valid Farkas constraints 3629 3600.04/3608.90 c LP learned Farkas constraints 1241 3600.04/3608.90 c LP basis resets 33 3600.04/3608.90 c LP cycling count 16 3600.04/3608.90 c LP singular count 1 3600.04/3608.90 c LP no primal count 0 3600.04/3608.90 c LP no farkas count 16 3600.04/3608.90 c LP other issue count 0 3600.04/3608.90 c LP Gomory cuts 42 3600.04/3608.90 c LP learned cuts 0 3600.04/3608.90 c LP deleted cuts 35 3600.04/3608.90 c LP encountered Gomory constraints 86 3600.04/3608.90 c LP encountered Farkas constraints 456399 3600.04/3608.90 c LP encountered learned Farkas constraints 54421 3600.04/3608.90 c CG auxiliary variables introduced 155 3600.04/3608.90 c CG solutions found 94 3600.04/3608.90 c CG cores constructed 59 3600.04/3608.90 c CG core cardinality constraints returned 0 3600.04/3608.90 c CG unit cores 0 3600.04/3608.90 c CG single cores 59 3600.04/3608.90 c CG blocks removed during cardinality reduction 0 3600.04/3608.90 c CG first core best 0 3600.04/3608.90 c CG decision core best 0 3600.04/3608.90 c CG core reduction tie 0 3600.04/3608.90 c CG core degree average 1.00 3600.04/3608.90 c CG core slack average 45.34 3600.04/3608.90 s SATISFIABLE 3600.04/3608.90 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
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 (62964 MiB free)
memory of node 1: 64510 MiB (61626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455094-1721458035/watcher-4455094-1721458035 -o /tmp/evaluation-result-4455094-1721458035/solver-4455094-1721458035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047957 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455094-1721458035.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=1048599, runsolver pid=1048596
[startup+0.100586 s]*
/proc/loadavg: 1.35 1.17 1.37 5/237 1048610
/proc/meminfo: memFree=127575840/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=42640 memory=12844 CPUtime=0.1 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 1978 0 0 0 10 0 0 0 20 0 1 0 197961568 43663360 3211 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 10660 3211 1772 922 0 2612 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42640 KiB
Current children cumulated memory: 12844 KiB
[startup+0.212794 s]*
/proc/loadavg: 1.56 1.21 1.39 5/243 1048620
/proc/meminfo: memFree=127573648/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=42784 memory=13108 CPUtime=0.22 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 2017 0 0 0 21 1 0 0 20 0 1 0 197961568 43810816 3277 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 10696 3277 1772 922 0 2648 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42784 KiB
Current children cumulated memory: 13108 KiB
[startup+0.313282 s]*
/proc/loadavg: 1.56 1.21 1.39 4/241 1048620
/proc/meminfo: memFree=127572836/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=43852 memory=14276 CPUtime=0.31 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 2278 0 0 0 26 5 0 0 20 0 1 0 197961568 44904448 3569 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 10963 3569 1802 922 0 2915 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43852 KiB
Current children cumulated memory: 14276 KiB
[startup+0.70026 s]
/proc/loadavg: 1.56 1.21 1.39 4/240 1048634
/proc/meminfo: memFree=127568964/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=44648 memory=17640 CPUtime=0.68 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 2628 0 0 0 41 27 0 0 20 0 1 0 197961568 45719552 4410 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 11162 4410 1802 922 0 3114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44648 KiB
Current children cumulated memory: 17640 KiB
[startup+1.50029 s]
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127549016/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=57884 memory=30468 CPUtime=1.49 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 5797 0 0 0 92 57 0 0 20 0 1 0 197961568 59273216 7617 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 14471 7617 1872 922 0 6423 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57884 KiB
Current children cumulated memory: 30468 KiB
[startup+3.11344 s]
/proc/loadavg: 1.56 1.21 1.39 5/243 1048666
/proc/meminfo: memFree=127468544/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=102740 memory=71904 CPUtime=3.09 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 15084 0 0 0 227 82 0 0 20 0 1 0 197961568 105205760 17976 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 25685 17976 1872 922 0 17637 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102740 KiB
Current children cumulated memory: 71904 KiB
[startup+6.30029 s]
/proc/loadavg: 1.76 1.26 1.40 5/243 1048666
/proc/meminfo: memFree=127336472/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=152080 memory=119600 CPUtime=6.28 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 24168 0 0 0 522 106 0 0 20 0 1 0 197961568 155729920 29900 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 38020 29900 1872 922 0 29972 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 152080 KiB
Current children cumulated memory: 119600 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 1.31 1.42 5/243 1048667
/proc/meminfo: memFree=127275380/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=152068 memory=122344 CPUtime=12.66 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 24905 0 0 0 1131 135 0 0 20 0 1 0 197961568 155717632 30586 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 38017 30586 1872 922 0 29969 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 152068 KiB
Current children cumulated memory: 122344 KiB
[startup+25.5003 s]
/proc/loadavg: 2.25 1.40 1.45 5/243 1048945
/proc/meminfo: memFree=127207508/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=274684 memory=207416 CPUtime=25.42 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 41533 0 0 0 2352 190 0 0 20 0 1 0 197961568 281276416 51854 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 68671 51854 1872 922 0 60623 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 274684 KiB
Current children cumulated memory: 207416 KiB
[startup+51.1136 s]
/proc/loadavg: 3.00 1.66 1.53 5/243 1048950
/proc/meminfo: memFree=127088784/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=342764 memory=277348 CPUtime=50.96 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 49402 0 0 0 4820 276 0 0 20 0 1 0 197961568 350990336 69337 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 85691 69337 2005 922 0 77643 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 342764 KiB
Current children cumulated memory: 277348 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.04 1.67 5/242 1048958
/proc/meminfo: memFree=126637056/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=865960 memory=672296 CPUtime=102 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 111738 0 0 0 9822 378 0 0 20 0 1 0 197961568 886743040 168074 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 216490 168074 2005 922 0 208442 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 865960 KiB
Current children cumulated memory: 672296 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.41 1.82 5/242 1049014
/proc/meminfo: memFree=126511928/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=888944 memory=720708 CPUtime=161.83 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 118651 0 0 0 15690 493 0 0 20 0 1 0 197961568 910278656 180177 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 222236 180177 2005 922 0 214188 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 888944 KiB
Current children cumulated memory: 720708 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.74 1.97 5/245 1049029
/proc/meminfo: memFree=126265912/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=891444 memory=724588 CPUtime=221.67 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 119456 0 0 0 21604 563 0 0 20 0 1 0 197961568 912838656 181147 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 222861 181147 2005 922 0 214813 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 891444 KiB
Current children cumulated memory: 724588 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.00 2.11 5/246 1049041
/proc/meminfo: memFree=125820828/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=1378800 memory=1141016 CPUtime=281.51 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 175028 0 0 0 27515 636 0 0 20 0 1 0 197961568 1411891200 285254 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 344700 285254 2005 922 0 336652 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1378800 KiB
Current children cumulated memory: 1141016 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.20 2.24 5/245 1049052
/proc/meminfo: memFree=125438236/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=1961536 memory=1433232 CPUtime=341.35 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 220677 0 0 0 33450 685 0 0 20 0 1 0 197961568 2008612864 358308 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 490384 358308 2005 922 0 482336 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1961536 KiB
Current children cumulated memory: 1433232 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.36 2.36 5/245 1049062
/proc/meminfo: memFree=125365136/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=1961536 memory=1440656 CPUtime=401.21 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 221077 0 0 0 39392 729 0 0 20 0 1 0 197961568 2008612864 360164 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 490384 360164 2005 922 0 482336 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1961536 KiB
Current children cumulated memory: 1440656 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.47 5/245 1049074
/proc/meminfo: memFree=125283100/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=1965348 memory=1471012 CPUtime=461.05 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 221964 0 0 0 45336 769 0 0 20 0 1 0 197961568 2012516352 367753 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 491337 367753 2005 922 0 483289 0
################
# More data... #
################
Current children cumulated memory: 2981932 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/241 1050705
/proc/meminfo: memFree=120811780/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3606684 memory=2981932 CPUtime=2915.07 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 430552 0 0 0 289443 2064 0 0 20 0 1 0 197961568 3693244416 745483 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 901671 745483 2005 922 0 893623 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 3606684 KiB
Current children cumulated memory: 2981932 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.15 4.09 5/241 1050715
/proc/meminfo: memFree=120804484/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=2974.92 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 433058 0 0 0 295382 2110 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/241 1050725
/proc/meminfo: memFree=120803452/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3034.78 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 434018 0 0 0 301329 2149 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/241 1050735
/proc/meminfo: memFree=120798856/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3094.64 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 434983 0 0 0 307254 2210 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3094.64 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/241 1050746
/proc/meminfo: memFree=120795248/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3154.5 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 436026 0 0 0 313203 2247 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/243 1050761
/proc/meminfo: memFree=120788688/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3214.35 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 436977 0 0 0 319136 2299 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3214.35 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/243 1050772
/proc/meminfo: memFree=120342988/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3274.21 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 438340 0 0 0 325090 2331 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.22 4.12 5/243 1050784
/proc/meminfo: memFree=119981380/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3334.07 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 439569 0 0 0 331046 2361 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3402.3 s]
/proc/loadavg: 4.67 4.34 4.17 5/243 1050795
/proc/meminfo: memFree=119616512/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3393.94 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 440843 0 0 0 337013 2381 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3462.3 s]
/proc/loadavg: 4.36 4.31 4.17 5/243 1050807
/proc/meminfo: memFree=119191772/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3453.8 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 442059 0 0 0 342979 2401 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3453.8 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.27 4.17 5/241 1050819
/proc/meminfo: memFree=119187508/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988500 CPUtime=3513.65 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 443427 0 0 0 348948 2417 0 0 20 0 1 0 197961568 3699970048 747125 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747125 2005 922 0 895265 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.23 4.16 5/241 1050829
/proc/meminfo: memFree=119186480/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988600 CPUtime=3573.5 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 444823 0 0 0 354917 2433 0 0 20 0 1 0 197961568 3699970048 747150 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747150 2005 922 0 895265 0
Current children cumulated CPU time: 3573.5 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988600 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.14 4.23 4.16 5/241 1050835
/proc/meminfo: memFree=119185808/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988836 CPUtime=3600.04 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 445478 0 0 0 357561 2443 0 0 20 0 1 0 197961568 3699970048 747209 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747209 2005 922 0 895265 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.95 s]
# the end of solver process 1048599 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.62 s, system=24.47 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.14 4.23 4.16 5/241 1050835
/proc/meminfo: memFree=119185808/131655788 swapFree=131071996/131071996
[pid=1048599] ppid=1048596 vsize=3613252 memory=2988836 CPUtime=3600.04 cores=4,6
/proc/1048599/stat : 1048599 (roundingsat) R 1048596 1048599 1047946 0 -1 4194304 445478 0 0 0 357561 2443 0 0 20 0 1 0 197961568 3699970048 747209 134679101440 4194304 7968373 140731932236368 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 29564928 140731932242876 140731932243040 140731932243040 140731932250057 0
/proc/1048599/statm: 903313 747209 2005 922 0 895265 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3613252 KiB
Current children cumulated memory: 2988836 KiB
Child status: 0
Real time (s): 3608.95
CPU time (s): 3600.09
CPU user time (s): 3575.62
CPU system time (s): 24.47
CPU usage (%): 99.7547
Max. virtual memory (cumulated for all children) (KiB): 3613252
Max. memory (cumulated for all children) (KiB): 2988836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.62
system time used= 24.47
maximum resident set size= 2988836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445487
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= 370
involuntary context switches= 2083
# summary of solver processes directly reported to runsolver:
# pid: 1048599
# total CPU time (s): 3600.09
# total CPU user time (s): 3575.62
# total CPU system time (s): 24.47
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0709 second user time and 37.5386 second system time
The end
Begin job on nodeC002 at 2024-07-20 08:47:28 IDJOB=4455094 IDBENCH=147201 IDSOLVER=3084 FILE ID=nodeC002/4455094-1721458035 RUNJOBID= nodeC002-1721458043-1047957 SLURM_JOB_ID= 7545699 Free space on /tmp= 723768 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-4455094-1721458035/watcher-4455094-1721458035 -o /tmp/evaluation-result-4455094-1721458035/solver-4455094-1721458035 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047957 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455094-1721458035.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c RANDOM SEED=946019144 nodeC002.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 : 3658.781 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.38 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 : 3677.736 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.31 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.320 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.38 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.295 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.157 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.38 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 : 1396.711 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.31 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.171 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.38 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.174 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127581004 kB MemAvailable: 129820560 kB Buffers: 578268 kB Cached: 2486744 kB SwapCached: 0 kB Active: 1056084 kB Inactive: 2414076 kB Active(anon): 2692 kB Inactive(anon): 448396 kB Active(file): 1053392 kB Inactive(file): 1965680 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21784 kB Writeback: 16 kB AnonPages: 405272 kB Mapped: 113784 kB Shmem: 45896 kB KReclaimable: 121032 kB Slab: 228556 kB SReclaimable: 121032 kB SUnreclaim: 107524 kB KernelStack: 3856 kB PageTables: 9884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 665940 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63392 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 252744 kB DirectMap2M: 34254848 kB DirectMap1G: 101711872 kB Free space on /tmp at the end= 723756 MiB End job on nodeC002 at 2024-07-20 09:47:37