| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.13 | 3633.99 |
| 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.01 c #variables 4676 #constraints 509 1.49/1.57 c bounds - >= 0 @ 0.01 1.49/1.57 c bounds 156 >= 0 @ 0.085133 1.49/1.57 c bounds 156 >= 1 @ 0.087362 1.49/1.57 c bounds 156 >= 2 @ 0.089466 1.49/1.57 c bounds 156 >= 3 @ 0.09062 1.49/1.57 c bounds 156 >= 4 @ 0.09107 1.49/1.57 c bounds 156 >= 5 @ 0.091722 1.49/1.57 c bounds 156 >= 6 @ 0.092827 1.49/1.57 c bounds 156 >= 7 @ 0.095857 1.49/1.57 c bounds 156 >= 8 @ 0.098873 1.49/1.57 c bounds 156 >= 9 @ 0.102281 1.49/1.57 c bounds 156 >= 10 @ 0.103637 1.49/1.57 c bounds 155 >= 10 @ 0.111705 1.49/1.57 c bounds 155 >= 11 @ 0.1151 1.49/1.57 c bounds 155 >= 12 @ 0.116529 1.49/1.57 c bounds 155 >= 13 @ 0.117901 1.49/1.57 c bounds 155 >= 14 @ 0.121236 1.49/1.57 c bounds 155 >= 15 @ 0.122712 1.49/1.57 c bounds 155 >= 16 @ 0.125139 1.49/1.57 c bounds 155 >= 17 @ 0.126644 1.49/1.57 c bounds 155 >= 18 @ 0.1275 1.49/1.57 c bounds 155 >= 19 @ 0.129782 1.49/1.57 c bounds 155 >= 20 @ 0.132743 1.49/1.57 c bounds 155 >= 21 @ 0.134794 1.49/1.57 c bounds 155 >= 22 @ 0.137755 1.49/1.57 c bounds 155 >= 23 @ 0.139857 1.49/1.57 c bounds 155 >= 24 @ 0.141552 1.49/1.57 c bounds 155 >= 25 @ 0.144013 1.49/1.57 c bounds 154 >= 25 @ 0.151242 1.49/1.57 c bounds 154 >= 26 @ 0.152819 1.49/1.57 c bounds 154 >= 27 @ 0.154452 1.49/1.57 c bounds 154 >= 28 @ 0.156956 1.49/1.57 c bounds 154 >= 29 @ 0.159557 1.49/1.57 c bounds 154 >= 30 @ 0.160389 1.49/1.57 c bounds 154 >= 31 @ 0.162065 1.49/1.57 c bounds 154 >= 32 @ 0.163472 1.49/1.57 c bounds 154 >= 33 @ 0.164732 1.49/1.57 c bounds 154 >= 34 @ 0.167487 1.49/1.57 c bounds 154 >= 35 @ 0.17031 1.49/1.57 c bounds 154 >= 36 @ 0.172945 1.49/1.57 c bounds 154 >= 37 @ 0.175654 1.49/1.57 c bounds 154 >= 38 @ 0.175654 1.49/1.57 c bounds 153 >= 38 @ 0.182293 1.49/1.57 c bounds 153 >= 39 @ 0.184338 1.49/1.57 c bounds 153 >= 40 @ 0.186363 1.49/1.57 c bounds 153 >= 41 @ 0.187395 1.49/1.57 c bounds 153 >= 42 @ 0.189387 1.49/1.57 c bounds 153 >= 43 @ 0.191324 1.49/1.57 c bounds 153 >= 44 @ 0.191525 1.49/1.57 c bounds 153 >= 45 @ 0.192206 1.49/1.57 c bounds 153 >= 46 @ 0.196318 1.49/1.57 c bounds 153 >= 47 @ 0.198373 1.49/1.57 c bounds 153 >= 48 @ 0.200967 1.49/1.57 c bounds 152 >= 48 @ 0.206248 1.49/1.57 c bounds 152 >= 49 @ 0.207045 1.49/1.57 c bounds 152 >= 50 @ 0.209629 1.49/1.57 c bounds 152 >= 51 @ 0.288274 1.49/1.57 c bounds 152 >= 52 @ 0.303795 1.49/1.57 c bounds 151 >= 52 @ 0.307493 1.49/1.57 c bounds 150 >= 52 @ 0.311555 1.49/1.57 c bounds 149 >= 52 @ 0.317534 1.49/1.57 c bounds 148 >= 52 @ 0.32327 1.49/1.57 c bounds 148 >= 53 @ 0.368035 1.49/1.57 c bounds 147 >= 53 @ 0.375289 1.49/1.57 c bounds 146 >= 53 @ 0.386387 1.49/1.57 c bounds 145 >= 53 @ 0.394002 1.49/1.57 c bounds 144 >= 53 @ 0.408011 1.49/1.57 c bounds 143 >= 53 @ 0.412846 1.49/1.57 c bounds 142 >= 53 @ 0.420165 1.49/1.57 c bounds 141 >= 53 @ 0.425759 1.49/1.57 c bounds 140 >= 53 @ 0.433495 1.49/1.57 c bounds 139 >= 53 @ 0.437292 1.49/1.57 c bounds 138 >= 53 @ 0.449316 1.49/1.57 c bounds 137 >= 53 @ 0.454209 1.49/1.57 c bounds 136 >= 53 @ 0.458842 1.49/1.57 c bounds 135 >= 53 @ 0.468547 1.49/1.57 c bounds 134 >= 53 @ 0.471418 1.49/1.57 c bounds 133 >= 53 @ 0.478223 1.49/1.57 c bounds 133 >= 54 @ 0.552511 1.49/1.57 c bounds 132 >= 54 @ 0.556675 1.49/1.57 c bounds 131 >= 54 @ 0.563796 1.49/1.57 c bounds 130 >= 54 @ 0.585784 1.49/1.57 c bounds 129 >= 54 @ 0.635649 1.49/1.57 c #Conflicts: 1000 | #Constraints: 1827 1.49/1.57 c bounds 128 >= 54 @ 0.660726 1.49/1.57 c bounds 127 >= 54 @ 0.676823 1.49/1.57 c bounds 126 >= 54 @ 0.699353 1.49/1.57 c bounds 125 >= 54 @ 0.711739 1.49/1.57 c bounds 124 >= 54 @ 0.724513 1.49/1.57 c bounds 123 >= 54 @ 0.737183 1.49/1.57 c bounds 122 >= 54 @ 0.749924 1.49/1.57 c bounds 121 >= 54 @ 0.764172 1.49/1.57 c bounds 120 >= 54 @ 0.777748 1.49/1.57 c bounds 119 >= 54 @ 0.828325 1.49/1.57 c #Conflicts: 2000 | #Constraints: 2837 1.49/1.57 c INPROCESSING 1.49/1.57 c GARBAGE COLLECT 1.49/1.57 c rational objective 60 3.27/3.31 c bounds 118 >= 54 @ 1.16256 3.27/3.31 c bounds 117 >= 54 @ 1.19227 3.27/3.31 c bounds 116 >= 54 @ 1.21222 3.27/3.31 c bounds 115 >= 54 @ 1.23454 3.27/3.31 c bounds 114 >= 54 @ 1.24968 3.27/3.31 c bounds 113 >= 54 @ 1.26343 3.27/3.31 c bounds 112 >= 54 @ 1.27788 3.27/3.31 c bounds 111 >= 54 @ 1.2896 3.27/3.31 c bounds 110 >= 54 @ 1.32005 3.27/3.31 c bounds 109 >= 54 @ 1.33104 3.27/3.31 c bounds 108 >= 54 @ 1.348 3.27/3.31 c bounds 107 >= 54 @ 1.36441 3.27/3.31 c bounds 106 >= 54 @ 1.38013 3.27/3.31 c bounds 105 >= 54 @ 1.45577 3.27/3.31 c bounds 104 >= 54 @ 1.4987 3.27/3.31 c #Conflicts: 3000 | #Constraints: 2789 3.27/3.31 c bounds 103 >= 54 @ 2.2508 3.27/3.31 c bounds 103 >= 55 @ 2.35251 3.27/3.31 c #Conflicts: 4000 | #Constraints: 3809 3.27/3.31 c INPROCESSING 3.27/3.31 c GARBAGE COLLECT 3.27/3.31 c rational objective 60 5.07/5.16 c bounds 102 >= 55 @ 2.75992 5.07/5.16 c bounds 101 >= 55 @ 2.78203 5.07/5.16 c bounds 100 >= 55 @ 2.857 5.07/5.16 c bounds 99 >= 55 @ 2.90862 5.07/5.16 c bounds 98 >= 55 @ 2.97585 5.07/5.16 c bounds 97 >= 55 @ 3.0046 5.07/5.16 c bounds 96 >= 55 @ 3.06005 5.07/5.16 c bounds 95 >= 55 @ 3.2222 5.07/5.16 c bounds 94 >= 55 @ 3.36731 5.07/5.16 c #Conflicts: 5000 | #Constraints: 3226 5.07/5.16 c bounds 93 >= 55 @ 3.55093 5.07/5.16 c bounds 92 >= 55 @ 3.83351 5.07/5.16 c #Conflicts: 6000 | #Constraints: 4228 5.07/5.16 c INPROCESSING 5.07/5.16 c GARBAGE COLLECT 5.07/5.16 c rational objective 60 8.55/8.69 c bounds 91 >= 55 @ 4.62507 8.55/8.69 c bounds 90 >= 55 @ 4.6627 8.55/8.69 c bounds 89 >= 55 @ 4.68721 8.55/8.69 c #Conflicts: 7000 | #Constraints: 3227 8.55/8.69 c #Conflicts: 8000 | #Constraints: 4237 8.55/8.69 c bounds 88 >= 55 @ 7.23214 8.55/8.69 c bounds 88 >= 56 @ 7.41937 8.55/8.69 c #Conflicts: 9000 | #Constraints: 5264 8.55/8.69 c INPROCESSING 8.55/8.69 c GARBAGE COLLECT 8.55/8.69 c rational objective 60 10.55/10.66 c #Conflicts: 10000 | #Constraints: 3950 10.55/10.66 c #Conflicts: 11000 | #Constraints: 4950 10.55/10.66 c #Conflicts: 12000 | #Constraints: 5950 10.55/10.66 c INPROCESSING 10.55/10.66 c GARBAGE COLLECT 10.55/10.66 c rational objective 60 14.34/14.49 c bounds 87 >= 56 @ 9.62525 14.34/14.49 c bounds 86 >= 56 @ 9.68276 14.34/14.49 c bounds 85 >= 56 @ 9.7249 14.34/14.49 c bounds 84 >= 56 @ 9.75489 14.34/14.49 c bounds 83 >= 56 @ 9.77195 14.34/14.49 c bounds 82 >= 56 @ 9.87898 14.34/14.49 c bounds 81 >= 56 @ 10.0658 14.34/14.49 c bounds 80 >= 56 @ 10.2296 14.34/14.49 c bounds 79 >= 56 @ 10.3757 14.34/14.49 c bounds 78 >= 56 @ 10.4621 14.34/14.49 c bounds 77 >= 56 @ 10.5437 14.34/14.49 c bounds 76 >= 56 @ 10.6862 14.34/14.49 c #Conflicts: 13000 | #Constraints: 4453 14.34/14.49 c bounds 75 >= 56 @ 10.7489 14.34/14.49 c bounds 74 >= 56 @ 10.7719 14.34/14.49 c bounds 73 >= 56 @ 10.905 14.34/14.49 c bounds 72 >= 56 @ 11.2886 14.34/14.49 c bounds 71 >= 56 @ 11.4419 14.34/14.49 c #Conflicts: 14000 | #Constraints: 5489 14.34/14.49 c bounds 70 >= 56 @ 12.8415 14.34/14.49 c #Conflicts: 15000 | #Constraints: 6501 14.34/14.49 c INPROCESSING 14.34/14.49 c GARBAGE COLLECT 14.34/14.49 c rational objective 60 23.00/23.13 c #Conflicts: 16000 | #Constraints: 4674 23.00/23.13 c bounds 69 >= 56 @ 15.6975 23.00/23.13 c #Conflicts: 17000 | #Constraints: 5686 23.00/23.13 c #Conflicts: 18000 | #Constraints: 6691 23.00/23.13 c INPROCESSING 23.00/23.13 c GARBAGE COLLECT 23.00/23.13 c #Conflicts: 19000 | #Constraints: 4678 23.00/23.13 c bounds 69 >= 57 @ 19.6422 23.00/23.13 c #Conflicts: 20000 | #Constraints: 5714 23.00/23.13 c #Conflicts: 21000 | #Constraints: 6714 23.00/23.13 c INPROCESSING 23.00/23.13 c GARBAGE COLLECT 23.00/23.13 c rational objective 60 29.67/29.80 c bounds 68 >= 57 @ 21.4474 29.67/29.80 c #Conflicts: 22000 | #Constraints: 4520 29.67/29.80 c #Conflicts: 23000 | #Constraints: 5541 29.67/29.80 c #Conflicts: 24000 | #Constraints: 6578 29.67/29.80 c #Conflicts: 25000 | #Constraints: 7617 29.67/29.80 c INPROCESSING 29.67/29.80 c GARBAGE COLLECT 29.67/29.80 c rational objective 60 33.76/33.95 c #Conflicts: 26000 | #Constraints: 5158 33.76/33.95 c #Conflicts: 27000 | #Constraints: 6158 33.76/33.95 c #Conflicts: 28000 | #Constraints: 7158 33.76/33.95 c #Conflicts: 29000 | #Constraints: 8158 33.76/33.95 c INPROCESSING 33.76/33.95 c GARBAGE COLLECT 33.76/33.95 c rational objective 60 40.34/40.53 c bounds 67 >= 57 @ 31.7829 40.34/40.53 c bounds 66 >= 57 @ 32.17 40.34/40.53 c #Conflicts: 30000 | #Constraints: 5551 40.34/40.53 c #Conflicts: 31000 | #Constraints: 6566 40.34/40.53 c bounds 65 >= 57 @ 35.6416 40.34/40.53 c #Conflicts: 32000 | #Constraints: 7581 40.34/40.53 c #Conflicts: 33000 | #Constraints: 8609 40.34/40.53 c INPROCESSING 40.34/40.53 c GARBAGE COLLECT 40.34/40.53 c rational objective 60 49.40/49.69 c bounds 64 >= 57 @ 38.1994 49.40/49.69 c #Conflicts: 34000 | #Constraints: 5770 49.40/49.69 c #Conflicts: 35000 | #Constraints: 6776 49.40/49.69 c #Conflicts: 36000 | #Constraints: 7789 49.40/49.69 c #Conflicts: 37000 | #Constraints: 8794 49.40/49.69 c INPROCESSING 49.40/49.69 c GARBAGE COLLECT 49.40/49.69 c rational objective 60 54.89/55.14 c #Conflicts: 38000 | #Constraints: 5736 54.89/55.14 c #Conflicts: 39000 | #Constraints: 6737 54.89/55.14 c #Conflicts: 40000 | #Constraints: 7739 54.89/55.14 c #Conflicts: 41000 | #Constraints: 8739 54.89/55.14 c INPROCESSING 54.89/55.14 c GARBAGE COLLECT 54.89/55.14 c rational objective 60 65.54/65.80 c #Conflicts: 42000 | #Constraints: 5528 65.54/65.80 c #Conflicts: 43000 | #Constraints: 6554 65.54/65.80 c #Conflicts: 44000 | #Constraints: 7579 65.54/65.80 c #Conflicts: 45000 | #Constraints: 8589 65.54/65.80 c #Conflicts: 46000 | #Constraints: 9604 65.54/65.80 c INPROCESSING 65.54/65.80 c GARBAGE COLLECT 65.54/65.80 c rational objective 60 76.39/76.71 c #Conflicts: 47000 | #Constraints: 6170 76.39/76.71 c #Conflicts: 48000 | #Constraints: 7191 76.39/76.71 c #Conflicts: 49000 | #Constraints: 8198 76.39/76.71 c #Conflicts: 50000 | #Constraints: 9204 76.39/76.71 c #Conflicts: 51000 | #Constraints: 10248 76.39/76.71 c INPROCESSING 76.39/76.71 c GARBAGE COLLECT 76.39/76.71 c rational objective 60 83.07/83.48 c #Conflicts: 52000 | #Constraints: 6573 83.07/83.48 c #Conflicts: 53000 | #Constraints: 7573 83.07/83.48 c #Conflicts: 54000 | #Constraints: 8575 83.07/83.48 c #Conflicts: 55000 | #Constraints: 9576 83.07/83.48 c #Conflicts: 56000 | #Constraints: 10576 83.07/83.48 c INPROCESSING 83.07/83.48 c GARBAGE COLLECT 83.07/83.48 c rational objective 60 94.63/95.08 c #Conflicts: 57000 | #Constraints: 6780 94.63/95.08 c #Conflicts: 58000 | #Constraints: 7794 94.63/95.08 c #Conflicts: 59000 | #Constraints: 8822 94.63/95.08 c #Conflicts: 60000 | #Constraints: 9825 94.63/95.08 c #Conflicts: 61000 | #Constraints: 10836 94.63/95.08 c INPROCESSING 94.63/95.08 c GARBAGE COLLECT 94.63/95.08 c rational objective 60 108.37/108.86 c #Conflicts: 62000 | #Constraints: 6785 108.37/108.86 c #Conflicts: 63000 | #Constraints: 7797 108.37/108.86 c #Conflicts: 64000 | #Constraints: 8815 108.37/108.86 c #Conflicts: 65000 | #Constraints: 9821 108.37/108.86 c #Conflicts: 66000 | #Constraints: 10833 108.37/108.86 c INPROCESSING 108.37/108.86 c GARBAGE COLLECT 108.37/108.86 c rational objective 60 116.34/116.89 c #Conflicts: 67000 | #Constraints: 6572 116.34/116.89 c #Conflicts: 68000 | #Constraints: 7572 116.34/116.89 c #Conflicts: 69000 | #Constraints: 8572 116.34/116.89 c #Conflicts: 70000 | #Constraints: 9572 116.34/116.89 c #Conflicts: 71000 | #Constraints: 10573 116.34/116.89 c #Conflicts: 72000 | #Constraints: 11573 116.34/116.89 c INPROCESSING 116.34/116.89 c GARBAGE COLLECT 116.34/116.89 c rational objective 60 129.79/130.30 c #Conflicts: 73000 | #Constraints: 7153 129.79/130.30 c #Conflicts: 74000 | #Constraints: 8159 129.79/130.30 c #Conflicts: 75000 | #Constraints: 9175 129.79/130.30 c #Conflicts: 76000 | #Constraints: 10202 129.79/130.30 c #Conflicts: 77000 | #Constraints: 11211 129.79/130.30 c #Conflicts: 78000 | #Constraints: 12222 129.79/130.30 c INPROCESSING 129.79/130.30 c GARBAGE COLLECT 129.79/130.30 c rational objective 60 139.05/139.66 c #Conflicts: 79000 | #Constraints: 7574 139.05/139.66 c #Conflicts: 80000 | #Constraints: 8576 139.05/139.66 c #Conflicts: 81000 | #Constraints: 9576 139.05/139.66 c #Conflicts: 82000 | #Constraints: 10577 139.05/139.66 c #Conflicts: 83000 | #Constraints: 11577 139.05/139.66 c bounds 64 >= 58 @ 133.142 139.05/139.66 c #Conflicts: 84000 | #Constraints: 12627 139.05/139.66 c INPROCESSING 139.05/139.66 c GARBAGE COLLECT 139.05/139.66 c rational objective 60 154.00/154.66 c #Conflicts: 85000 | #Constraints: 7802 154.00/154.66 c #Conflicts: 86000 | #Constraints: 8805 154.00/154.66 c #Conflicts: 87000 | #Constraints: 9822 154.00/154.66 c #Conflicts: 88000 | #Constraints: 10829 154.00/154.66 c #Conflicts: 89000 | #Constraints: 11861 154.00/154.66 c bounds 63 >= 58 @ 145.333 154.00/154.66 c #Conflicts: 90000 | #Constraints: 12874 154.00/154.66 c INPROCESSING 154.00/154.66 c GARBAGE COLLECT 154.00/154.66 c rational objective 60 173.63/174.38 c #Conflicts: 91000 | #Constraints: 7826 173.63/174.38 c #Conflicts: 92000 | #Constraints: 8845 173.63/174.38 c #Conflicts: 93000 | #Constraints: 9850 173.63/174.38 c #Conflicts: 94000 | #Constraints: 10860 173.63/174.38 c #Conflicts: 95000 | #Constraints: 11867 173.63/174.38 c #Conflicts: 96000 | #Constraints: 12874 173.63/174.38 c INPROCESSING 173.63/174.38 c GARBAGE COLLECT 173.63/174.38 c rational objective 60 189.67/190.49 c #Conflicts: 97000 | #Constraints: 7624 189.67/190.49 c #Conflicts: 98000 | #Constraints: 8625 189.67/190.49 c #Conflicts: 99000 | #Constraints: 9626 189.67/190.49 c #Conflicts: 100000 | #Constraints: 10628 189.67/190.49 c #Conflicts: 101000 | #Constraints: 11630 189.67/190.49 c #Conflicts: 102000 | #Constraints: 12632 189.67/190.49 c #Conflicts: 103000 | #Constraints: 13632 189.67/190.49 c INPROCESSING 189.67/190.49 c GARBAGE COLLECT 189.67/190.49 c rational objective 60 211.11/211.93 c #Conflicts: 104000 | #Constraints: 8210 211.11/211.93 c #Conflicts: 105000 | #Constraints: 9219 211.11/211.93 c #Conflicts: 106000 | #Constraints: 10230 211.11/211.93 c #Conflicts: 107000 | #Constraints: 11236 211.11/211.93 c #Conflicts: 108000 | #Constraints: 12250 211.11/211.93 c #Conflicts: 109000 | #Constraints: 13263 211.11/211.93 c #Conflicts: 110000 | #Constraints: 14265 211.11/211.93 c INPROCESSING 211.11/211.93 c GARBAGE COLLECT 211.11/211.93 c rational objective 60 233.81/234.71 c #Conflicts: 111000 | #Constraints: 8621 233.81/234.71 c #Conflicts: 112000 | #Constraints: 9622 233.81/234.71 c #Conflicts: 113000 | #Constraints: 10622 233.81/234.71 c #Conflicts: 114000 | #Constraints: 11624 233.81/234.71 c #Conflicts: 115000 | #Constraints: 12626 233.81/234.71 c #Conflicts: 116000 | #Constraints: 13628 233.81/234.71 c #Conflicts: 117000 | #Constraints: 14628 233.81/234.71 c INPROCESSING 233.81/234.71 c GARBAGE COLLECT 233.81/234.71 c rational objective 60 258.91/260.04 c #Conflicts: 118000 | #Constraints: 8815 258.91/260.04 c #Conflicts: 119000 | #Constraints: 9822 258.91/260.04 c #Conflicts: 120000 | #Constraints: 10826 258.91/260.04 c #Conflicts: 121000 | #Constraints: 11840 258.91/260.04 c #Conflicts: 122000 | #Constraints: 12848 258.91/260.04 c #Conflicts: 123000 | #Constraints: 13859 258.91/260.04 c #Conflicts: 124000 | #Constraints: 14866 258.91/260.04 c INPROCESSING 258.91/260.04 c GARBAGE COLLECT 258.91/260.04 c rational objective 60 286.04/287.48 c #Conflicts: 125000 | #Constraints: 8820 286.04/287.48 c #Conflicts: 126000 | #Constraints: 9832 286.04/287.48 c #Conflicts: 127000 | #Constraints: 10837 286.04/287.48 c #Conflicts: 128000 | #Constraints: 11841 286.04/287.48 c #Conflicts: 129000 | #Constraints: 12849 286.04/287.48 c #Conflicts: 130000 | #Constraints: 13853 286.04/287.48 c #Conflicts: 131000 | #Constraints: 14861 286.04/287.48 c INPROCESSING 286.04/287.48 c GARBAGE COLLECT 286.04/287.48 c rational objective 60 315.14/316.64 c #Conflicts: 132000 | #Constraints: 8624 315.14/316.64 c #Conflicts: 133000 | #Constraints: 9626 315.14/316.64 c #Conflicts: 134000 | #Constraints: 10627 315.14/316.64 c #Conflicts: 135000 | #Constraints: 11631 315.14/316.64 c #Conflicts: 136000 | #Constraints: 12633 315.14/316.64 c #Conflicts: 137000 | #Constraints: 13633 315.14/316.64 c #Conflicts: 138000 | #Constraints: 14636 315.14/316.64 c #Conflicts: 139000 | #Constraints: 15636 315.14/316.64 c INPROCESSING 315.14/316.64 c GARBAGE COLLECT 315.14/316.64 c rational objective 60 341.47/343.01 c #Conflicts: 140000 | #Constraints: 9250 341.47/343.01 c #Conflicts: 141000 | #Constraints: 10255 341.47/343.01 c #Conflicts: 142000 | #Constraints: 11265 341.47/343.01 c #Conflicts: 143000 | #Constraints: 12265 341.47/343.01 c #Conflicts: 144000 | #Constraints: 13276 341.47/343.01 c #Conflicts: 145000 | #Constraints: 14292 341.47/343.01 c #Conflicts: 146000 | #Constraints: 15301 341.47/343.01 c #Conflicts: 147000 | #Constraints: 16306 341.47/343.01 c INPROCESSING 341.47/343.01 c GARBAGE COLLECT 341.47/343.01 c rational objective 60 370.57/372.22 c #Conflicts: 148000 | #Constraints: 9646 370.57/372.22 c #Conflicts: 149000 | #Constraints: 10655 370.57/372.22 c #Conflicts: 150000 | #Constraints: 11658 370.57/372.22 c #Conflicts: 151000 | #Constraints: 12662 370.57/372.22 c #Conflicts: 152000 | #Constraints: 13668 370.57/372.22 c #Conflicts: 153000 | #Constraints: 14678 370.57/372.22 c #Conflicts: 154000 | #Constraints: 15686 370.57/372.22 c #Conflicts: 155000 | #Constraints: 16698 370.57/372.22 c INPROCESSING 370.57/372.22 c GARBAGE COLLECT 370.57/372.22 c rational objective 60 405.56/407.33 c #Conflicts: 156000 | #Constraints: 9847 405.56/407.33 c #Conflicts: 157000 | #Constraints: 10849 405.56/407.33 c #Conflicts: 158000 | #Constraints: 11851 405.56/407.33 c #Conflicts: 159000 | #Constraints: 12853 405.56/407.33 c #Conflicts: 160000 | #Constraints: 13855 405.56/407.33 c #Conflicts: 161000 | #Constraints: 14857 405.56/407.33 c #Conflicts: 162000 | #Constraints: 15860 405.56/407.33 c #Conflicts: 163000 | #Constraints: 16862 405.56/407.33 c INPROCESSING 405.56/407.33 c GARBAGE COLLECT 405.56/407.33 c rational objective 60 437.54/439.46 c #Conflicts: 164000 | #Constraints: 9870 437.54/439.46 c #Conflicts: 165000 | #Constraints: 10881 437.54/439.46 c #Conflicts: 166000 | #Constraints: 11897 437.54/439.46 c #Conflicts: 167000 | #Constraints: 12909 437.54/439.46 c #Conflicts: 168000 | #Constraints: 13913 437.54/439.46 c #Conflicts: 169000 | #Constraints: 14923 437.54/439.46 c #Conflicts: 170000 | #Constraints: 15928 437.54/439.46 c #Conflicts: 171000 | #Constraints: 16934 437.54/439.46 c INPROCESSING 437.54/439.46 c GARBAGE COLLECT 437.54/439.46 c rational objective 60 471.31/473.30 c #Conflicts: 172000 | #Constraints: 9667 471.31/473.30 c #Conflicts: 173000 | #Constraints: 10677 471.31/473.30 c #Conflicts: 174000 | #Constraints: 11682 471.31/473.30 c #Conflicts: 175000 | #Constraints: 12686 471.31/473.30 c #Conflicts: 176000 | #Constraints: 13698 471.31/473.30 c #Conflicts: 177000 | #Constraints: 14702 471.31/473.30 c #Conflicts: 178000 | #Constraints: 15707 471.31/473.30 c #Conflicts: 179000 | #Constraints: 16715 471.31/473.30 c #Conflicts: 180000 | #Constraints: 17720 471.31/473.30 c INPROCESSING 471.31/473.30 c GARBAGE COLLECT 471.31/473.30 c rational objective 60 513.86/516.03 c #Conflicts: 181000 | #Constraints: 10257 513.86/516.03 c #Conflicts: 182000 | #Constraints: 11257 513.86/516.03 c #Conflicts: 183000 | #Constraints: 12257 513.86/516.03 c #Conflicts: 184000 | #Constraints: 13260 513.86/516.03 c #Conflicts: 185000 | #Constraints: 14262 513.86/516.03 c #Conflicts: 186000 | #Constraints: 15263 513.86/516.03 c #Conflicts: 187000 | #Constraints: 16264 513.86/516.03 c #Conflicts: 188000 | #Constraints: 17265 513.86/516.03 c #Conflicts: 189000 | #Constraints: 18266 513.86/516.03 c INPROCESSING 513.86/516.03 c GARBAGE COLLECT 513.86/516.03 c rational objective 60 553.31/555.60 c #Conflicts: 190000 | #Constraints: 10664 553.31/555.60 c #Conflicts: 191000 | #Constraints: 11675 553.31/555.60 c #Conflicts: 192000 | #Constraints: 12679 553.31/555.60 c #Conflicts: 193000 | #Constraints: 13687 553.31/555.60 c #Conflicts: 194000 | #Constraints: 14691 553.31/555.60 c #Conflicts: 195000 | #Constraints: 15697 553.31/555.60 c #Conflicts: 196000 | #Constraints: 16697 553.31/555.60 c #Conflicts: 197000 | #Constraints: 17703 553.31/555.60 c #Conflicts: 198000 | #Constraints: 18710 553.31/555.60 c INPROCESSING 553.31/555.60 c GARBAGE COLLECT 553.31/555.60 c rational objective 60 591.96/594.44 c #Conflicts: 199000 | #Constraints: 10860 591.96/594.44 c #Conflicts: 200000 | #Constraints: 11867 591.96/594.44 c #Conflicts: 201000 | #Constraints: 12872 591.96/594.44 c #Conflicts: 202000 | #Constraints: 13878 591.96/594.44 c #Conflicts: 203000 | #Constraints: 14884 591.96/594.44 c #Conflicts: 204000 | #Constraints: 15889 591.96/594.44 c #Conflicts: 205000 | #Constraints: 16900 591.96/594.44 c #Conflicts: 206000 | #Constraints: 17909 591.96/594.44 c #Conflicts: 207000 | #Constraints: 18930 591.96/594.44 c INPROCESSING 591.96/594.44 c GARBAGE COLLECT 591.96/594.44 c rational objective 60 638.89/641.53 c #Conflicts: 208000 | #Constraints: 10858 638.89/641.53 c #Conflicts: 209000 | #Constraints: 11860 638.89/641.53 c #Conflicts: 210000 | #Constraints: 12861 638.89/641.53 c #Conflicts: 211000 | #Constraints: 13862 638.89/641.53 c #Conflicts: 212000 | #Constraints: 14865 638.89/641.53 c #Conflicts: 213000 | #Constraints: 15865 638.89/641.53 c #Conflicts: 214000 | #Constraints: 16865 638.89/641.53 c #Conflicts: 215000 | #Constraints: 17868 638.89/641.53 c #Conflicts: 216000 | #Constraints: 18870 638.89/641.53 c INPROCESSING 638.89/641.53 c GARBAGE COLLECT 638.89/641.53 c rational objective 60 684.62/687.41 c #Conflicts: 217000 | #Constraints: 10662 684.62/687.41 c #Conflicts: 218000 | #Constraints: 11664 684.62/687.41 c #Conflicts: 219000 | #Constraints: 12670 684.62/687.41 c #Conflicts: 220000 | #Constraints: 13674 684.62/687.41 c #Conflicts: 221000 | #Constraints: 14680 684.62/687.41 c #Conflicts: 222000 | #Constraints: 15681 684.62/687.41 c #Conflicts: 223000 | #Constraints: 16685 684.62/687.41 c #Conflicts: 224000 | #Constraints: 17694 684.62/687.41 c #Conflicts: 225000 | #Constraints: 18699 684.62/687.41 c #Conflicts: 226000 | #Constraints: 19701 684.62/687.41 c INPROCESSING 684.62/687.41 c GARBAGE COLLECT 684.62/687.41 c rational objective 60 727.96/730.92 c #Conflicts: 227000 | #Constraints: 11246 727.96/730.92 c #Conflicts: 228000 | #Constraints: 12258 727.96/730.92 c #Conflicts: 229000 | #Constraints: 13284 727.96/730.92 c #Conflicts: 230000 | #Constraints: 14296 727.96/730.92 c #Conflicts: 231000 | #Constraints: 15297 727.96/730.92 c #Conflicts: 232000 | #Constraints: 16305 727.96/730.92 c #Conflicts: 233000 | #Constraints: 17313 727.96/730.92 c #Conflicts: 234000 | #Constraints: 18314 727.96/730.92 c #Conflicts: 235000 | #Constraints: 19320 727.96/730.92 c #Conflicts: 236000 | #Constraints: 20326 727.96/730.92 c INPROCESSING 727.96/730.92 c GARBAGE COLLECT 727.96/730.92 c rational objective 60 788.13/791.34 c #Conflicts: 237000 | #Constraints: 11657 788.13/791.34 c #Conflicts: 238000 | #Constraints: 12657 788.13/791.34 c #Conflicts: 239000 | #Constraints: 13660 788.13/791.34 c #Conflicts: 240000 | #Constraints: 14660 788.13/791.34 c #Conflicts: 241000 | #Constraints: 15663 788.13/791.34 c #Conflicts: 242000 | #Constraints: 16663 788.13/791.34 c #Conflicts: 243000 | #Constraints: 17664 788.13/791.34 c #Conflicts: 244000 | #Constraints: 18664 788.13/791.34 c #Conflicts: 245000 | #Constraints: 19666 788.13/791.34 c #Conflicts: 246000 | #Constraints: 20668 788.13/791.34 c INPROCESSING 788.13/791.34 c GARBAGE COLLECT 788.13/791.34 c rational objective 60 831.55/834.92 c #Conflicts: 247000 | #Constraints: 11858 831.55/834.92 c #Conflicts: 248000 | #Constraints: 12862 831.55/834.92 c #Conflicts: 249000 | #Constraints: 13875 831.55/834.92 c #Conflicts: 250000 | #Constraints: 14885 831.55/834.92 c #Conflicts: 251000 | #Constraints: 15897 831.55/834.92 c #Conflicts: 252000 | #Constraints: 16901 831.55/834.92 c #Conflicts: 253000 | #Constraints: 17907 831.55/834.92 c #Conflicts: 254000 | #Constraints: 18914 831.55/834.92 c #Conflicts: 255000 | #Constraints: 19918 831.55/834.92 c #Conflicts: 256000 | #Constraints: 20931 831.55/834.92 c INPROCESSING 831.55/834.92 c GARBAGE COLLECT 831.55/834.92 c rational objective 60 875.79/879.35 c #Conflicts: 257000 | #Constraints: 11886 875.79/879.35 c #Conflicts: 258000 | #Constraints: 12897 875.79/879.35 c #Conflicts: 259000 | #Constraints: 13899 875.79/879.35 c #Conflicts: 260000 | #Constraints: 14905 875.79/879.35 c #Conflicts: 261000 | #Constraints: 15908 875.79/879.35 c #Conflicts: 262000 | #Constraints: 16909 875.79/879.35 c #Conflicts: 263000 | #Constraints: 17913 875.79/879.35 c #Conflicts: 264000 | #Constraints: 18918 875.79/879.35 c #Conflicts: 265000 | #Constraints: 19924 875.79/879.35 c #Conflicts: 266000 | #Constraints: 20928 875.79/879.35 c INPROCESSING 875.79/879.35 c GARBAGE COLLECT 875.79/879.35 c rational objective 60 929.79/933.59 c #Conflicts: 267000 | #Constraints: 11660 929.79/933.59 c #Conflicts: 268000 | #Constraints: 12660 929.79/933.59 c #Conflicts: 269000 | #Constraints: 13662 929.79/933.59 c #Conflicts: 270000 | #Constraints: 14663 929.79/933.59 c #Conflicts: 271000 | #Constraints: 15664 929.79/933.59 c #Conflicts: 272000 | #Constraints: 16666 929.79/933.59 c #Conflicts: 273000 | #Constraints: 17667 929.79/933.59 c #Conflicts: 274000 | #Constraints: 18667 929.79/933.59 c bounds 63 >= 59 @ 890.169 929.79/933.59 c #Conflicts: 275000 | #Constraints: 19747 929.79/933.59 c #Conflicts: 276000 | #Constraints: 20757 929.79/933.59 c #Conflicts: 277000 | #Constraints: 21759 929.79/933.59 c INPROCESSING 929.79/933.59 c GARBAGE COLLECT 929.79/933.59 c rational objective 60 977.62/981.53 c #Conflicts: 278000 | #Constraints: 12317 977.62/981.53 c #Conflicts: 279000 | #Constraints: 13328 977.62/981.53 c #Conflicts: 280000 | #Constraints: 14328 977.62/981.53 c #Conflicts: 281000 | #Constraints: 15329 977.62/981.53 c #Conflicts: 282000 | #Constraints: 16334 977.62/981.53 c #Conflicts: 283000 | #Constraints: 17340 977.62/981.53 c #Conflicts: 284000 | #Constraints: 18343 977.62/981.53 c #Conflicts: 285000 | #Constraints: 19350 977.62/981.53 c #Conflicts: 286000 | #Constraints: 20355 977.62/981.53 c #Conflicts: 287000 | #Constraints: 21357 977.62/981.53 c #Conflicts: 288000 | #Constraints: 22363 977.62/981.53 c INPROCESSING 977.62/981.53 c GARBAGE COLLECT 977.62/981.53 c rational objective 60 1032.32/1036.40 c #Conflicts: 289000 | #Constraints: 12719 1032.32/1036.40 c #Conflicts: 290000 | #Constraints: 13729 1032.32/1036.40 c #Conflicts: 291000 | #Constraints: 14732 1032.32/1036.40 c #Conflicts: 292000 | #Constraints: 15736 1032.32/1036.40 c #Conflicts: 293000 | #Constraints: 16740 1032.32/1036.40 c #Conflicts: 294000 | #Constraints: 17746 1032.32/1036.40 c #Conflicts: 295000 | #Constraints: 18748 1032.32/1036.40 c #Conflicts: 296000 | #Constraints: 19751 1032.32/1036.40 c #Conflicts: 297000 | #Constraints: 20754 1032.32/1036.40 c #Conflicts: 298000 | #Constraints: 21757 1032.32/1036.40 c #Conflicts: 299000 | #Constraints: 22760 1032.32/1036.40 c INPROCESSING 1032.32/1036.40 c GARBAGE COLLECT 1032.32/1036.40 c rational objective 60 1100.58/1104.95 c #Conflicts: 300000 | #Constraints: 12911 1100.58/1104.95 c #Conflicts: 301000 | #Constraints: 13911 1100.58/1104.95 c #Conflicts: 302000 | #Constraints: 14913 1100.58/1104.95 c #Conflicts: 303000 | #Constraints: 15913 1100.58/1104.95 c #Conflicts: 304000 | #Constraints: 16914 1100.58/1104.95 c #Conflicts: 305000 | #Constraints: 17914 1100.58/1104.95 c #Conflicts: 306000 | #Constraints: 18916 1100.58/1104.95 c #Conflicts: 307000 | #Constraints: 19917 1100.58/1104.95 c #Conflicts: 308000 | #Constraints: 20920 1100.58/1104.95 c #Conflicts: 309000 | #Constraints: 21920 1100.58/1104.95 c #Conflicts: 310000 | #Constraints: 22921 1100.58/1104.95 c INPROCESSING 1100.58/1104.95 c GARBAGE COLLECT 1100.58/1104.95 c rational objective 60 1879.66/1886.61 c #Conflicts: 311000 | #Constraints: 12910 1879.66/1886.61 c #Conflicts: 312000 | #Constraints: 13928 1879.66/1886.61 c #Conflicts: 313000 | #Constraints: 14960 1879.66/1886.61 c #Conflicts: 314000 | #Constraints: 15974 1879.66/1886.61 c #Conflicts: 315000 | #Constraints: 16987 1879.66/1886.61 c #Conflicts: 316000 | #Constraints: 17990 1879.66/1886.61 c #Conflicts: 317000 | #Constraints: 19000 1879.66/1886.61 c #Conflicts: 318000 | #Constraints: 20005 1879.66/1886.61 c #Conflicts: 319000 | #Constraints: 21007 1879.66/1886.61 c #Conflicts: 320000 | #Constraints: 22007 1879.66/1886.61 c #Conflicts: 321000 | #Constraints: 23007 1879.66/1886.61 c #Conflicts: 322000 | #Constraints: 24009 1879.66/1886.61 c #Conflicts: 323000 | #Constraints: 25020 1879.66/1886.61 c #Conflicts: 324000 | #Constraints: 26026 1879.66/1886.61 c #Conflicts: 325000 | #Constraints: 27034 1879.66/1886.61 c #Conflicts: 326000 | #Constraints: 28038 1879.66/1886.61 c #Conflicts: 327000 | #Constraints: 29038 1879.66/1886.61 c #Conflicts: 328000 | #Constraints: 30044 1879.66/1886.61 c #Conflicts: 329000 | #Constraints: 31049 1879.66/1886.61 c #Conflicts: 330000 | #Constraints: 32054 1879.66/1886.61 c #Conflicts: 331000 | #Constraints: 33056 1879.66/1886.61 c #Conflicts: 332000 | #Constraints: 34062 1879.66/1886.61 c #Conflicts: 333000 | #Constraints: 35066 1879.66/1886.61 c #Conflicts: 334000 | #Constraints: 36070 1879.66/1886.61 c #Conflicts: 335000 | #Constraints: 37070 1879.66/1886.61 c #Conflicts: 336000 | #Constraints: 38073 1879.66/1886.61 c #Conflicts: 337000 | #Constraints: 39078 1879.66/1886.61 c #Conflicts: 338000 | #Constraints: 40083 1879.66/1886.61 c #Conflicts: 339000 | #Constraints: 41084 1879.66/1886.61 c #Conflicts: 340000 | #Constraints: 42091 1879.66/1886.61 c #Conflicts: 341000 | #Constraints: 43093 1879.66/1886.61 c #Conflicts: 342000 | #Constraints: 44098 1879.66/1886.61 c #Conflicts: 343000 | #Constraints: 45099 1879.66/1886.61 c #Conflicts: 344000 | #Constraints: 46100 1879.66/1886.61 c #Conflicts: 345000 | #Constraints: 47104 1879.66/1886.61 c #Conflicts: 346000 | #Constraints: 48109 1879.66/1886.61 c #Conflicts: 347000 | #Constraints: 49114 1879.66/1886.61 c #Conflicts: 348000 | #Constraints: 50117 1879.66/1886.61 c #Conflicts: 349000 | #Constraints: 51120 1879.66/1886.61 c #Conflicts: 350000 | #Constraints: 52126 1879.66/1886.61 c #Conflicts: 351000 | #Constraints: 53131 1879.66/1886.61 c #Conflicts: 352000 | #Constraints: 54137 1879.66/1886.61 c #Conflicts: 353000 | #Constraints: 55139 1879.66/1886.61 c #Conflicts: 354000 | #Constraints: 56142 1879.66/1886.61 c #Conflicts: 355000 | #Constraints: 57145 1879.66/1886.61 c #Conflicts: 356000 | #Constraints: 58150 1879.66/1886.61 c #Conflicts: 357000 | #Constraints: 59150 1879.66/1886.61 c #Conflicts: 358000 | #Constraints: 60152 1879.66/1886.61 c #Conflicts: 359000 | #Constraints: 61152 1879.66/1886.61 c #Conflicts: 360000 | #Constraints: 62160 1879.66/1886.61 c #Conflicts: 361000 | #Constraints: 63161 1879.66/1886.61 c #Conflicts: 362000 | #Constraints: 64161 1879.66/1886.61 c #Conflicts: 363000 | #Constraints: 65162 1879.66/1886.61 c #Conflicts: 364000 | #Constraints: 66165 1879.66/1886.61 c INPROCESSING 1879.66/1886.61 c GARBAGE COLLECT 1879.66/1886.61 c rational objective 60 2080.20/2087.84 c #Conflicts: 365000 | #Constraints: 34224 2080.20/2087.84 c #Conflicts: 366000 | #Constraints: 35227 2080.20/2087.84 c #Conflicts: 367000 | #Constraints: 36228 2080.20/2087.84 c #Conflicts: 368000 | #Constraints: 37228 2080.20/2087.84 c #Conflicts: 369000 | #Constraints: 38230 2080.20/2087.84 c #Conflicts: 370000 | #Constraints: 39232 2080.20/2087.84 c #Conflicts: 371000 | #Constraints: 40232 2080.20/2087.84 c #Conflicts: 372000 | #Constraints: 41232 2080.20/2087.84 c #Conflicts: 373000 | #Constraints: 42232 2080.20/2087.84 c #Conflicts: 374000 | #Constraints: 43233 2080.20/2087.84 c #Conflicts: 375000 | #Constraints: 44237 2080.20/2087.84 c #Conflicts: 376000 | #Constraints: 45237 2080.20/2087.84 c #Conflicts: 377000 | #Constraints: 46237 2080.20/2087.84 c INPROCESSING 2080.20/2087.84 c GARBAGE COLLECT 2080.20/2087.84 c rational objective 60 2237.97/2246.15 c #Conflicts: 378000 | #Constraints: 24500 2237.97/2246.15 c #Conflicts: 379000 | #Constraints: 25500 2237.97/2246.15 c #Conflicts: 380000 | #Constraints: 26501 2237.97/2246.15 c #Conflicts: 381000 | #Constraints: 27504 2237.97/2246.15 c #Conflicts: 382000 | #Constraints: 28504 2237.97/2246.15 c #Conflicts: 383000 | #Constraints: 29506 2237.97/2246.15 c #Conflicts: 384000 | #Constraints: 30506 2237.97/2246.15 c #Conflicts: 385000 | #Constraints: 31506 2237.97/2246.15 c #Conflicts: 386000 | #Constraints: 32508 2237.97/2246.15 c #Conflicts: 387000 | #Constraints: 33508 2237.97/2246.15 c #Conflicts: 388000 | #Constraints: 34509 2237.97/2246.15 c #Conflicts: 389000 | #Constraints: 35509 2237.97/2246.15 c #Conflicts: 390000 | #Constraints: 36512 2237.97/2246.15 c INPROCESSING 2237.97/2246.15 c GARBAGE COLLECT 2237.97/2246.15 c rational objective 60 2394.46/2403.17 c #Conflicts: 391000 | #Constraints: 19788 2394.46/2403.17 c #Conflicts: 392000 | #Constraints: 20788 2394.46/2403.17 c #Conflicts: 393000 | #Constraints: 21788 2394.46/2403.17 c #Conflicts: 394000 | #Constraints: 22791 2394.46/2403.17 c #Conflicts: 395000 | #Constraints: 23791 2394.46/2403.17 c #Conflicts: 396000 | #Constraints: 24793 2394.46/2403.17 c #Conflicts: 397000 | #Constraints: 25794 2394.46/2403.17 c #Conflicts: 398000 | #Constraints: 26796 2394.46/2403.17 c #Conflicts: 399000 | #Constraints: 27797 2394.46/2403.17 c #Conflicts: 400000 | #Constraints: 28798 2394.46/2403.17 c #Conflicts: 401000 | #Constraints: 29800 2394.46/2403.17 c #Conflicts: 402000 | #Constraints: 30800 2394.46/2403.17 c INPROCESSING 2394.46/2403.17 c GARBAGE COLLECT 2394.46/2403.17 c rational objective 60 3352.74/3364.72 c #Conflicts: 403000 | #Constraints: 16508 3352.74/3364.72 c #Conflicts: 404000 | #Constraints: 17520 3352.74/3364.72 c #Conflicts: 405000 | #Constraints: 18520 3352.74/3364.72 c #Conflicts: 406000 | #Constraints: 19524 3352.74/3364.72 c #Conflicts: 407000 | #Constraints: 20537 3352.74/3364.72 c #Conflicts: 408000 | #Constraints: 21541 3352.74/3364.72 c #Conflicts: 409000 | #Constraints: 22546 3352.74/3364.72 c #Conflicts: 410000 | #Constraints: 23553 3352.74/3364.72 c #Conflicts: 411000 | #Constraints: 24557 3352.74/3364.72 c #Conflicts: 412000 | #Constraints: 25563 3352.74/3364.72 c #Conflicts: 413000 | #Constraints: 26568 3352.74/3364.72 c #Conflicts: 414000 | #Constraints: 27586 3352.74/3364.72 c #Conflicts: 415000 | #Constraints: 28596 3352.74/3364.72 c #Conflicts: 416000 | #Constraints: 29608 3352.74/3364.72 c #Conflicts: 417000 | #Constraints: 30614 3352.74/3364.72 c #Conflicts: 418000 | #Constraints: 31624 3352.74/3364.72 c #Conflicts: 419000 | #Constraints: 32644 3352.74/3364.72 c #Conflicts: 420000 | #Constraints: 33651 3352.74/3364.72 c #Conflicts: 421000 | #Constraints: 34654 3352.74/3364.72 c #Conflicts: 422000 | #Constraints: 35661 3352.74/3364.72 c #Conflicts: 423000 | #Constraints: 36670 3352.74/3364.72 c #Conflicts: 424000 | #Constraints: 37672 3352.74/3364.72 c #Conflicts: 425000 | #Constraints: 38677 3352.74/3364.72 c #Conflicts: 426000 | #Constraints: 39690 3352.74/3364.72 c #Conflicts: 427000 | #Constraints: 40702 3352.74/3364.72 c #Conflicts: 428000 | #Constraints: 41710 3352.74/3364.72 c #Conflicts: 429000 | #Constraints: 42712 3352.74/3364.72 c #Conflicts: 430000 | #Constraints: 43713 3352.74/3364.72 c #Conflicts: 431000 | #Constraints: 44716 3352.74/3364.72 c #Conflicts: 432000 | #Constraints: 45723 3352.74/3364.72 c #Conflicts: 433000 | #Constraints: 46733 3352.74/3364.72 c #Conflicts: 434000 | #Constraints: 47781 3352.74/3364.72 c #Conflicts: 435000 | #Constraints: 48792 3352.74/3364.72 c #Conflicts: 436000 | #Constraints: 49800 3352.74/3364.72 c #Conflicts: 437000 | #Constraints: 50802 3352.74/3364.72 c #Conflicts: 438000 | #Constraints: 51814 3352.74/3364.72 c #Conflicts: 439000 | #Constraints: 52821 3352.74/3364.72 c #Conflicts: 440000 | #Constraints: 53823 3352.74/3364.72 c #Conflicts: 441000 | #Constraints: 54824 3352.74/3364.72 c #Conflicts: 442000 | #Constraints: 55826 3352.74/3364.72 c #Conflicts: 443000 | #Constraints: 56829 3352.74/3364.72 c #Conflicts: 444000 | #Constraints: 57837 3352.74/3364.72 c #Conflicts: 445000 | #Constraints: 58842 3352.74/3364.72 c #Conflicts: 446000 | #Constraints: 59854 3352.74/3364.72 c #Conflicts: 447000 | #Constraints: 60859 3352.74/3364.72 c #Conflicts: 448000 | #Constraints: 61862 3352.74/3364.72 c #Conflicts: 449000 | #Constraints: 62867 3352.74/3364.72 c #Conflicts: 450000 | #Constraints: 63897 3352.74/3364.72 c #Conflicts: 451000 | #Constraints: 64901 3352.74/3364.72 c #Conflicts: 452000 | #Constraints: 65909 3352.74/3364.72 c #Conflicts: 453000 | #Constraints: 66917 3352.74/3364.72 c #Conflicts: 454000 | #Constraints: 67921 3352.74/3364.72 c #Conflicts: 455000 | #Constraints: 68927 3352.74/3364.72 c #Conflicts: 456000 | #Constraints: 69936 3352.74/3364.72 c #Conflicts: 457000 | #Constraints: 70936 3352.74/3364.72 c #Conflicts: 458000 | #Constraints: 71938 3352.74/3364.72 c #Conflicts: 459000 | #Constraints: 72940 3352.74/3364.72 c #Conflicts: 460000 | #Constraints: 73943 3352.74/3364.72 c #Conflicts: 461000 | #Constraints: 74947 3352.74/3364.72 c #Conflicts: 462000 | #Constraints: 75952 3352.74/3364.72 c INPROCESSING 3352.74/3364.72 c GARBAGE COLLECT 3352.74/3364.72 c rational objective 60 3570.98/3583.78 c #Conflicts: 463000 | #Constraints: 39118 3570.98/3583.78 c #Conflicts: 464000 | #Constraints: 40119 3570.98/3583.78 c #Conflicts: 465000 | #Constraints: 41119 3570.98/3583.78 c #Conflicts: 466000 | #Constraints: 42119 3570.98/3583.78 c #Conflicts: 467000 | #Constraints: 43120 3570.98/3583.78 c #Conflicts: 468000 | #Constraints: 44120 3570.98/3583.78 c #Conflicts: 469000 | #Constraints: 45123 3570.98/3583.78 c #Conflicts: 470000 | #Constraints: 46123 3570.98/3583.78 c #Conflicts: 471000 | #Constraints: 47124 3570.98/3583.78 c #Conflicts: 472000 | #Constraints: 48126 3570.98/3583.78 c #Conflicts: 473000 | #Constraints: 49127 3570.98/3583.78 c #Conflicts: 474000 | #Constraints: 50127 3570.98/3583.78 c #Conflicts: 475000 | #Constraints: 51128 3570.98/3583.78 c #Conflicts: 476000 | #Constraints: 52129 3570.98/3583.78 c #Conflicts: 477000 | #Constraints: 53131 3570.98/3583.78 c INPROCESSING 3570.98/3583.78 c GARBAGE COLLECT 3570.98/3583.78 c rational objective 60 3600.09/3612.90 c #Conflicts: 478000 | #Constraints: 28109 3600.09/3612.90 c #Conflicts: 479000 | #Constraints: 29109 3600.09/3612.90 c Program interrupted by user. 3600.09/3612.90 c cpu time 3541.48 s 3600.09/3612.90 c deterministic time 280599500736 2.81e+11 3600.09/3612.90 c optimization time 28.3662 s 3600.09/3612.90 c total solve time 3513.11 s 3600.09/3612.90 c core-guided solve time 1108.09 s 3600.09/3612.90 c propagation time 2338.27 s 3600.09/3612.90 c conflict analysis time 1058.94 s 3600.09/3612.90 c propagations 289949521 3600.09/3612.90 c resolve steps 2317770 3600.09/3612.90 c decisions 26162864 3600.09/3612.90 c conflicts 479798 3600.09/3612.90 c restarts 1022 3600.09/3612.90 c inprocessing phases 53 3600.09/3612.90 c input clauses 615 3600.09/3612.90 c input cardinalities 211 3600.09/3612.90 c input general constraints 263 3600.09/3612.90 c input average constraint length 698.03 3600.09/3612.90 c input average constraint degree 405.09 3600.09/3612.90 c learned clauses 108262 3600.09/3612.90 c learned cardinalities 9857 3600.09/3612.90 c learned general constraints 364578 3600.09/3612.90 c learned average constraint length 2291.36 3600.09/3612.90 c learned average constraint degree 154026185864.59 3600.09/3612.90 c watched constraints 55653 3600.09/3612.90 c counting constraints 309188 3600.09/3612.90 c gcd simplifications 16655 3600.09/3612.90 c detected cardinalities 297 3600.09/3612.90 c weakened non-implied lits 301662476 3600.09/3612.90 c weakened non-implying lits 139530 3600.09/3612.90 c original variables 4676 3600.09/3612.90 c clausal propagations 3026348 3600.09/3612.90 c cardinality propagations 1668862 3600.09/3612.90 c watched propagations 13458936 3600.09/3612.90 c counting propagations 266450540 3600.09/3612.90 c watch lookups 53149555965 3600.09/3612.90 c watch backjump lookups 52195634185 3600.09/3612.90 c watch checks 77942168291 3600.09/3612.90 c propagation checks 92256889641 3600.09/3612.90 c constraint additions 4422037889 3600.09/3612.90 c trail pops 316586155 3600.09/3612.90 c formula constraints 509 3600.09/3612.90 c learned constraints 476906 3600.09/3612.90 c bound constraints 153 3600.09/3612.90 c core-guided constraints 427 3600.09/3612.90 c encountered formula constraints 286780 3600.09/3612.90 c encountered learned constraints 1664971 3600.09/3612.90 c encountered bound constraints 116 3600.09/3612.90 c encountered core-guided constraints 308868 3600.09/3612.90 c LP total time 51.6261 s 3600.09/3612.90 c LP solve time 40.78 s 3600.09/3612.90 c LP constraints added 509 3600.09/3612.90 c LP constraints removed 0 3600.09/3612.90 c LP pivots internal 480070 3600.09/3612.90 c LP pivots root 36154 3600.09/3612.90 c LP calls 5032 3600.09/3612.90 c LP optimalities 2134 3600.09/3612.90 c LP no pivot count 1221 3600.09/3612.90 c LP infeasibilities 2896 3600.09/3612.90 c LP valid Farkas constraints 2896 3600.09/3612.90 c LP learned Farkas constraints 2895 3600.09/3612.90 c LP basis resets 0 3600.09/3612.90 c LP cycling count 0 3600.09/3612.90 c LP singular count 0 3600.09/3612.90 c LP no primal count 0 3600.09/3612.90 c LP no farkas count 0 3600.09/3612.90 c LP other issue count 0 3600.09/3612.90 c LP Gomory cuts 0 3600.09/3612.90 c LP learned cuts 0 3600.09/3612.90 c LP deleted cuts 0 3600.09/3612.90 c LP encountered Gomory constraints 0 3600.09/3612.90 c LP encountered Farkas constraints 466750 3600.09/3612.90 c LP encountered learned Farkas constraints 67187 3600.09/3612.90 c CG auxiliary variables introduced 162 3600.09/3612.90 c CG solutions found 94 3600.09/3612.90 c CG cores constructed 59 3600.09/3612.90 c CG core cardinality constraints returned 0 3600.09/3612.90 c CG unit cores 0 3600.09/3612.90 c CG single cores 59 3600.09/3612.90 c CG blocks removed during cardinality reduction 0 3600.09/3612.90 c CG first core best 0 3600.09/3612.90 c CG decision core best 0 3600.09/3612.90 c CG core reduction tie 0 3600.09/3612.90 c CG core degree average 1.00 3600.09/3612.90 c CG core slack average 51.42 3600.09/3612.90 s SATISFIABLE 3600.09/3612.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 -
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61805 MiB free)
memory of node 1: 64473 MiB (61023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460138-1722064837/watcher-4460138-1722064837 -o /tmp/evaluation-result-4460138-1722064837/solver-4460138-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316997 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460138-1722064837 --lp-cut-gomory=0 HOME/instance-4460138-1722064837.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=317059, runsolver pid=317056
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.20 0.13 0.10 3/249 317068
/proc/meminfo: memFree=125773876/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=44332 memory=14336 CPUtime=0.1 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 2300 0 0 0 9 1 0 0 20 0 1 0 43013362 45395968 3584 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 11083 3584 1807 992 0 2941 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44332 KiB
Current children cumulated memory: 14336 KiB
[startup+0.205495 s]*
/proc/loadavg: 0.20 0.13 0.10 2/247 317076
/proc/meminfo: memFree=125770616/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=45200 memory=15920 CPUtime=0.2 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 2686 0 0 0 15 5 0 0 20 0 1 0 43013362 46284800 3980 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 11300 3980 1807 992 0 3158 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45200 KiB
Current children cumulated memory: 15920 KiB
[startup+0.30509 s]*
/proc/loadavg: 0.20 0.13 0.10 2/243 317084
/proc/meminfo: memFree=125768692/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=45336 memory=16448 CPUtime=0.29 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 2869 0 0 0 18 11 0 0 20 0 1 0 43013362 46424064 4112 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 11334 4112 1807 992 0 3192 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45336 KiB
Current children cumulated memory: 16448 KiB
[startup+0.700163 s]
/proc/loadavg: 0.20 0.13 0.10 2/243 317084
/proc/meminfo: memFree=125762252/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=55212 memory=29280 CPUtime=0.69 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 5497 0 0 0 44 25 0 0 20 0 1 0 43013362 56537088 7320 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 13803 7320 1868 992 0 5661 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55212 KiB
Current children cumulated memory: 29280 KiB
[startup+1.50017 s]
/proc/loadavg: 0.20 0.13 0.10 3/243 317084
/proc/meminfo: memFree=125734572/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=98244 memory=68040 CPUtime=1.49 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 13649 0 0 0 108 41 0 0 20 0 1 0 43013362 100601856 17010 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 24561 17010 1868 992 0 16419 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 98244 KiB
Current children cumulated memory: 68040 KiB
[startup+3.10528 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125570868/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=118760 memory=85896 CPUtime=3.08 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 16059 0 0 0 254 54 0 0 20 0 1 0 43013362 121610240 21474 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 29690 21474 1884 992 0 21548 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118760 KiB
Current children cumulated memory: 85896 KiB
[startup+6.30019 s]
/proc/loadavg: 0.58 0.21 0.12 5/258 317203
/proc/meminfo: memFree=125347232/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=143868 memory=108260 CPUtime=6.26 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 21139 0 0 0 547 79 0 0 20 0 1 0 43013362 147320832 27065 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 35967 27065 1884 992 0 27825 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 143868 KiB
Current children cumulated memory: 108260 KiB
[startup+12.7002 s]
/proc/loadavg: 0.86 0.28 0.14 5/262 317209
/proc/meminfo: memFree=125003772/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=178156 memory=139028 CPUtime=12.64 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 26277 0 0 0 1146 118 0 0 20 0 1 0 43013362 182431744 34757 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 44539 34757 1884 992 0 36397 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 178156 KiB
Current children cumulated memory: 139028 KiB
[startup+25.5002 s]
/proc/loadavg: 1.55 0.46 0.21 5/262 317210
/proc/meminfo: memFree=124274268/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=323776 memory=241528 CPUtime=25.39 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 41887 0 0 0 2365 174 0 0 20 0 1 0 43013362 331546624 60382 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 80944 60382 1884 992 0 72802 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 323776 KiB
Current children cumulated memory: 241528 KiB
[startup+51.1055 s]
/proc/loadavg: 2.45 0.76 0.31 5/263 317262
/proc/meminfo: memFree=123176180/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=343784 memory=288844 CPUtime=50.9 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 48845 0 0 0 4822 268 0 0 20 0 1 0 43013362 352034816 72211 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 85946 72211 1884 992 0 77804 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 343784 KiB
Current children cumulated memory: 288844 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.29 0.52 5/263 317272
/proc/meminfo: memFree=120817488/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=416716 memory=357196 CPUtime=101.89 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 61929 0 0 0 9754 435 0 0 20 0 1 0 43013362 426717184 89299 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 104179 89299 1884 992 0 96037 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 416716 KiB
Current children cumulated memory: 357196 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 1.80 0.75 5/264 317283
/proc/meminfo: memFree=118587952/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=537388 memory=432856 CPUtime=161.68 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 73016 0 0 0 15571 597 0 0 20 0 1 0 43013362 550285312 108214 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 134347 108214 1884 992 0 126205 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 537388 KiB
Current children cumulated memory: 432856 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.24 0.96 5/264 317294
/proc/meminfo: memFree=116553520/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=567420 memory=498124 CPUtime=221.47 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 80749 0 0 0 21365 782 0 0 20 0 1 0 43013362 581038080 124531 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 141855 124531 1884 992 0 133713 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 567420 KiB
Current children cumulated memory: 498124 KiB
[startup+282.3 s]
/proc/loadavg: 4.02 2.56 1.16 5/262 317687
/proc/meminfo: memFree=114129016/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=581244 memory=529000 CPUtime=280.96 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 84740 0 0 0 27134 962 0 0 20 0 1 0 43013362 595193856 132250 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 145311 132250 1884 992 0 137169 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 581244 KiB
Current children cumulated memory: 529000 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.86 1.35 5/260 317697
/proc/meminfo: memFree=112135080/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=598308 memory=560256 CPUtime=340.77 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 90836 0 0 0 32892 1185 0 0 20 0 1 0 43013362 612667392 140064 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 149577 140064 1884 992 0 141435 0
Current children cumulated CPU time: 340.77 s
Current children cumulated vsize: 598308 KiB
Current children cumulated memory: 560256 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 3.11 1.53 5/262 317712
/proc/meminfo: memFree=110121048/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=601188 memory=571256 CPUtime=400.57 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 91682 0 0 0 38638 1419 0 0 20 0 1 0 43013362 615616512 142814 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 150297 142814 1884 992 0 142155 0
Current children cumulated CPU time: 400.57 s
Current children cumulated vsize: 601188 KiB
Current children cumulated memory: 571256 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.31 1.70 5/264 317892
/proc/meminfo: memFree=107692372/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=737328 memory=589404 CPUtime=460.35 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 93365 0 0 0 44455 1580 0 0 20 0 1 0 43013362 755023872 147351 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 184332 147351 1884 992 0 176190 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.52 4.28 4.09 5/262 319026
/proc/meminfo: memFree=60727856/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3741268 memory=3554308 CPUtime=3151.07 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 512628 0 0 0 309640 5467 0 0 20 0 1 0 43013362 3831058432 888577 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 935317 888577 1884 992 0 927175 0
Current children cumulated CPU time: 3151.07 s
Current children cumulated vsize: 3741268 KiB
Current children cumulated memory: 3554308 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.24 4.09 5/261 319037
/proc/meminfo: memFree=60117896/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3773132 memory=3614016 CPUtime=3210.85 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 519820 0 0 0 315589 5496 0 0 20 0 1 0 43013362 3863687168 903504 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 943283 903504 1884 992 0 935141 0
Current children cumulated CPU time: 3210.85 s
Current children cumulated vsize: 3773132 KiB
Current children cumulated memory: 3614016 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.09 5/261 319047
/proc/meminfo: memFree=59551304/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3787856 memory=3661980 CPUtime=3270.63 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 524693 0 0 0 321541 5522 0 0 20 0 1 0 43013362 3878764544 915495 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 946964 915495 1884 992 0 938822 0
Current children cumulated CPU time: 3270.63 s
Current children cumulated vsize: 3787856 KiB
Current children cumulated memory: 3661980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.18 4.08 5/258 319057
/proc/meminfo: memFree=59002984/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3797708 memory=3702380 CPUtime=3330.42 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 528659 0 0 0 327492 5550 0 0 20 0 1 0 43013362 3888852992 925595 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 949427 925595 1884 992 0 941285 0
Current children cumulated CPU time: 3330.42 s
Current children cumulated vsize: 3797708 KiB
Current children cumulated memory: 3702380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/258 319069
/proc/meminfo: memFree=58496660/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3802912 memory=3717660 CPUtime=3390.21 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 531447 0 0 0 333409 5612 0 0 20 0 1 0 43013362 3894181888 929415 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950728 929415 1884 992 0 942586 0
Current children cumulated CPU time: 3390.21 s
Current children cumulated vsize: 3802912 KiB
Current children cumulated memory: 3717660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/257 319079
/proc/meminfo: memFree=58004200/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3802912 memory=3717704 CPUtime=3450 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 532832 0 0 0 339317 5683 0 0 20 0 1 0 43013362 3894181888 929426 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950728 929426 1884 992 0 942586 0
Current children cumulated CPU time: 3450 s
Current children cumulated vsize: 3802912 KiB
Current children cumulated memory: 3717704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.25 4.12 5/257 319090
/proc/meminfo: memFree=57486972/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3509.79 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 534381 0 0 0 345227 5752 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3509.79 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.22 4.12 5/259 319105
/proc/meminfo: memFree=57002836/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3569.59 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 535923 0 0 0 351144 5815 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3569.59 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.21 4.21 4.12 5/259 319109
/proc/meminfo: memFree=56740528/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3600.09 cores=0,2
/proc/317059/stat : 317059 (roundingsat) R 317056 317059 316987 0 -1 4194304 536849 0 0 0 354148 5861 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.19 4.21 4.12 2/257 319109
/proc/meminfo: memFree=56728532/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3600.1 cores=0,2
/proc/317059/stat : 317059 (roundingsat) D 317056 317059 316987 0 -1 4194304 536856 0 0 0 354148 5862 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 256 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
??? kill 317059 sig 9
??? end of watcher thread
[startup+3633.99 s]
# the end of solver process 317059 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3541.49 s, system=58.6394 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.21 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56731524/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3600.1 cores=0,2
/proc/317059/stat : 317059 (roundingsat) D 317056 317059 316987 0 -1 4194304 536856 0 0 0 354148 5862 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
[startup+3614.4 s]
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3600.1 cores=0,2
/proc/317059/stat : 317059 (roundingsat) D 317056 317059 316987 0 -1 4194304 536856 0 0 0 354148 5862 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
[startup+3614.8 s]
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3600.1 cores=0,2
/proc/317059/stat : 317059 (roundingsat) D 317056 317059 316987 0 -1 4194304 536856 0 0 0 354148 5862 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
[startup+3614.9 s]
/proc/loadavg: 4.19 4.21 4.12 2/259 319109
/proc/meminfo: memFree=56730760/131524600 swapFree=131055836/131071996
[pid=317059] ppid=317056 vsize=3803044 memory=3717768 CPUtime=3600.1 cores=0,2
/proc/317059/stat : 317059 (roundingsat) D 317056 317059 316987 0 -1 4194304 536856 0 0 0 354148 5862 0 0 20 0 1 0 43013362 3894317056 929442 134679101440 4194304 8254357 140726337670336 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 25837568 140726337672027 140726337672289 140726337672289 140726337679305 0
/proc/317059/statm: 950761 929442 1884 992 0 942619 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 3803044 KiB
Current children cumulated memory: 3717768 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3633.99
CPU time (s): 3600.13
CPU user time (s): 3541.49
CPU system time (s): 58.6394
CPU usage (%): 99.0681
Max. virtual memory (cumulated for all children) (KiB): 3803044
Max. memory (cumulated for all children) (KiB): 3717768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3541.49
system time used= 58.6394
maximum resident set size= 3718148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 90888072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3130
involuntary context switches= 25739
# summary of solver processes directly reported to runsolver:
# pid: 317059
# total CPU time (s): 3600.13
# total CPU user time (s): 3541.49
# total CPU system time (s): 58.6394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90604 second user time and 16.8454 second system time
The end
Begin job on nodeC033 at 2024-07-27 09:20:37 IDJOB=4460138 IDBENCH=147201 IDSOLVER=3086 FILE ID=nodeC033/4460138-1722064837 RUNJOBID= nodeC033-1722064836-316997 SLURM_JOB_ID= 8248101 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460138-1722064837/watcher-4460138-1722064837 -o /tmp/evaluation-result-4460138-1722064837/solver-4460138-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722064836-316997 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460138-1722064837 --lp-cut-gomory=0 HOME/instance-4460138-1722064837.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c6607e81ef495ea554e89cc8679fc78c RANDOM SEED=1191205797 nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3656.907 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.307 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.338 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3619.800 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.654 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.378 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.091 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.494 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125773864 kB MemAvailable: 129698796 kB Buffers: 370516 kB Cached: 4352800 kB SwapCached: 300 kB Active: 2594740 kB Inactive: 2493212 kB Active(anon): 2108 kB Inactive(anon): 415924 kB Active(file): 2592632 kB Inactive(file): 2077288 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131055836 kB Dirty: 23168 kB Writeback: 0 kB AnonPages: 364900 kB Mapped: 113144 kB Shmem: 53064 kB KReclaimable: 189672 kB Slab: 307216 kB SReclaimable: 189672 kB SUnreclaim: 117544 kB KernelStack: 3972 kB PageTables: 9520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 758036 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 391892 kB DirectMap2M: 39227392 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 890056 MiB End job on nodeC033 at 2024-07-27 10:21:11