| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | OPT cert. | 18 | 3220.2 | 3239.04 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
| MD5SUM | beae51edba02eeda3c8007d8306fd545 |
| 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 | 18 |
| Best CPU time to get the best result obtained on this benchmark | 16.5068 |
| 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 | 4318 |
| Total number of constraints | 15120 |
| Number of constraints which are clauses | 15112 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 490 |
| Number of terms in the objective function | 490 |
| 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 | 490 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 518 |
| Number of bits of the biggest sum of numbers | 10 |
| 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/9.89 c #variables 4318 #constraints 15120 26.08/36.07 c bounds - >= 0 @ 0.036049 26.08/36.07 c bounds 24 >= 0 @ 0.177954 26.08/36.07 c bounds 24 >= 5 @ 0.178046 26.08/36.07 c bounds 24 >= 6 @ 0.221003 26.08/36.07 c bounds 24 >= 7 @ 0.221978 26.08/36.07 c bounds 23 >= 7 @ 0.467962 26.08/36.07 c bounds 23 >= 8 @ 0.468543 26.08/36.07 c bounds 23 >= 9 @ 0.469079 26.08/36.07 c bounds 23 >= 10 @ 0.469596 26.08/36.07 c bounds 23 >= 11 @ 0.470441 26.08/36.07 c bounds 23 >= 12 @ 0.470653 26.08/36.07 c bounds 23 >= 13 @ 0.483411 26.08/36.07 c bounds 23 >= 14 @ 1.12614 26.08/36.07 c #Conflicts: 1000 | #Constraints: 16168 26.08/36.07 c #Conflicts: 2000 | #Constraints: 17168 26.08/36.07 c INPROCESSING 26.08/36.07 c GARBAGE COLLECT 26.08/36.07 c #Conflicts: 3000 | #Constraints: 17178 26.08/36.07 c #Conflicts: 4000 | #Constraints: 18178 26.08/36.07 c INPROCESSING 26.08/36.07 c GARBAGE COLLECT 26.08/36.07 c bounds 22 >= 14 @ 8.20489 26.08/36.07 c #Conflicts: 5000 | #Constraints: 17601 26.08/36.07 c bounds 21 >= 14 @ 8.51657 26.08/36.07 c bounds 20 >= 14 @ 8.61145 26.08/36.07 c #Conflicts: 6000 | #Constraints: 18603 26.08/36.07 c INPROCESSING 26.08/36.07 c GARBAGE COLLECT 26.08/36.07 c #Conflicts: 7000 | #Constraints: 17601 26.08/36.07 c #Conflicts: 8000 | #Constraints: 18601 26.08/36.07 c bounds 19 >= 14 @ 13.98 26.08/36.07 c #Conflicts: 9000 | #Constraints: 19602 26.08/36.07 c INPROCESSING 26.08/36.07 c GARBAGE COLLECT 26.08/36.07 c #Conflicts: 10000 | #Constraints: 18313 26.08/36.07 c #Conflicts: 11000 | #Constraints: 19313 26.08/36.07 c #Conflicts: 12000 | #Constraints: 20313 26.08/36.07 c INPROCESSING 26.08/36.07 c GARBAGE COLLECT 26.08/36.07 c #Conflicts: 13000 | #Constraints: 18765 26.08/36.07 c #Conflicts: 14000 | #Constraints: 19766 26.08/36.07 c #Conflicts: 15000 | #Constraints: 20767 26.08/36.07 c INPROCESSING 26.08/36.07 c GARBAGE COLLECT 26.08/36.07 c rational objective 10.6057 63.88/73.99 c bounds 19 >= 15 @ 25.6604 63.88/73.99 c #Conflicts: 16000 | #Constraints: 19002 63.88/73.99 c #Conflicts: 17000 | #Constraints: 20002 63.88/73.99 c bounds 19 >= 16 @ 34.0949 63.88/73.99 c #Conflicts: 18000 | #Constraints: 21022 63.88/73.99 c INPROCESSING 63.88/73.99 c GARBAGE COLLECT 63.88/73.99 c #Conflicts: 19000 | #Constraints: 19048 63.88/73.99 c #Conflicts: 20000 | #Constraints: 20050 63.88/73.99 c #Conflicts: 21000 | #Constraints: 21050 63.88/73.99 c INPROCESSING 63.88/73.99 c GARBAGE COLLECT 63.88/73.99 c #Conflicts: 22000 | #Constraints: 18870 63.88/73.99 c #Conflicts: 23000 | #Constraints: 19870 63.88/73.99 c #Conflicts: 24000 | #Constraints: 20870 63.88/73.99 c #Conflicts: 25000 | #Constraints: 21870 63.88/73.99 c INPROCESSING 63.88/73.99 c GARBAGE COLLECT 63.88/73.99 c #Conflicts: 26000 | #Constraints: 19509 63.88/73.99 c #Conflicts: 27000 | #Constraints: 20509 63.88/73.99 c #Conflicts: 28000 | #Constraints: 21509 63.88/73.99 c #Conflicts: 29000 | #Constraints: 22509 63.88/73.99 c INPROCESSING 63.88/73.99 c GARBAGE COLLECT 63.88/73.99 c rational objective 10.6279 80.82/90.98 c #Conflicts: 30000 | #Constraints: 19892 80.82/90.98 c #Conflicts: 31000 | #Constraints: 20892 80.82/90.98 c #Conflicts: 32000 | #Constraints: 21892 80.82/90.98 c #Conflicts: 33000 | #Constraints: 22892 80.82/90.98 c INPROCESSING 80.82/90.98 c GARBAGE COLLECT 80.82/90.98 c rational objective 10.6591 90.50/100.60 c #Conflicts: 34000 | #Constraints: 20156 90.50/100.60 c #Conflicts: 35000 | #Constraints: 21156 90.50/100.60 c #Conflicts: 36000 | #Constraints: 22156 90.50/100.60 c #Conflicts: 37000 | #Constraints: 23156 90.50/100.60 c INPROCESSING 90.50/100.60 c GARBAGE COLLECT 90.50/100.60 c rational objective 10.6731 124.41/134.68 c #Conflicts: 38000 | #Constraints: 20135 124.41/134.68 c #Conflicts: 39000 | #Constraints: 21135 124.41/134.68 c #Conflicts: 40000 | #Constraints: 22135 124.41/134.68 c #Conflicts: 41000 | #Constraints: 23135 124.41/134.68 c INPROCESSING 124.41/134.68 c GARBAGE COLLECT 124.41/134.68 c #Conflicts: 42000 | #Constraints: 19937 124.41/134.68 c #Conflicts: 43000 | #Constraints: 20937 124.41/134.68 c #Conflicts: 44000 | #Constraints: 21937 124.41/134.68 c #Conflicts: 45000 | #Constraints: 22937 124.41/134.68 c #Conflicts: 46000 | #Constraints: 23937 124.41/134.68 c INPROCESSING 124.41/134.68 c GARBAGE COLLECT 124.41/134.68 c rational objective 10.6867 165.60/175.92 c #Conflicts: 47000 | #Constraints: 20588 165.60/175.92 c #Conflicts: 48000 | #Constraints: 21588 165.60/175.92 c #Conflicts: 49000 | #Constraints: 22588 165.60/175.92 c #Conflicts: 50000 | #Constraints: 23589 165.60/175.92 c #Conflicts: 51000 | #Constraints: 24589 165.60/175.92 c INPROCESSING 165.60/175.92 c GARBAGE COLLECT 165.60/175.92 c #Conflicts: 52000 | #Constraints: 20972 165.60/175.92 c #Conflicts: 53000 | #Constraints: 21972 165.60/175.92 c #Conflicts: 54000 | #Constraints: 22972 165.60/175.92 c #Conflicts: 55000 | #Constraints: 23972 165.60/175.92 c #Conflicts: 56000 | #Constraints: 24972 165.60/175.92 c INPROCESSING 165.60/175.92 c GARBAGE COLLECT 165.60/175.92 c rational objective 10.7082 178.38/188.76 c #Conflicts: 57000 | #Constraints: 21191 178.38/188.76 c #Conflicts: 58000 | #Constraints: 22191 178.38/188.76 c #Conflicts: 59000 | #Constraints: 23191 178.38/188.76 c #Conflicts: 60000 | #Constraints: 24191 178.38/188.76 c #Conflicts: 61000 | #Constraints: 25191 178.38/188.76 c INPROCESSING 178.38/188.76 c GARBAGE COLLECT 178.38/188.76 c rational objective 10.7161 190.84/201.21 c #Conflicts: 62000 | #Constraints: 21177 190.84/201.21 c #Conflicts: 63000 | #Constraints: 22177 190.84/201.21 c #Conflicts: 64000 | #Constraints: 23177 190.84/201.21 c #Conflicts: 65000 | #Constraints: 24177 190.84/201.21 c #Conflicts: 66000 | #Constraints: 25177 190.84/201.21 c INPROCESSING 190.84/201.21 c GARBAGE COLLECT 190.84/201.21 c rational objective 10.7201 231.34/241.81 c #Conflicts: 67000 | #Constraints: 20968 231.34/241.81 c #Conflicts: 68000 | #Constraints: 21968 231.34/241.81 c #Conflicts: 69000 | #Constraints: 22968 231.34/241.81 c #Conflicts: 70000 | #Constraints: 23968 231.34/241.81 c #Conflicts: 71000 | #Constraints: 24968 231.34/241.81 c #Conflicts: 72000 | #Constraints: 25968 231.34/241.81 c INPROCESSING 231.34/241.81 c GARBAGE COLLECT 231.34/241.81 c rational objective 10.7203 250.38/260.93 c #Conflicts: 73000 | #Constraints: 21637 250.38/260.93 c #Conflicts: 74000 | #Constraints: 22637 250.38/260.93 c #Conflicts: 75000 | #Constraints: 23637 250.38/260.93 c #Conflicts: 76000 | #Constraints: 24637 250.38/260.93 c #Conflicts: 77000 | #Constraints: 25637 250.38/260.93 c #Conflicts: 78000 | #Constraints: 26637 250.38/260.93 c INPROCESSING 250.38/260.93 c GARBAGE COLLECT 250.38/260.93 c rational objective 10.7205 290.97/301.63 c #Conflicts: 79000 | #Constraints: 22004 290.97/301.63 c #Conflicts: 80000 | #Constraints: 23004 290.97/301.63 c #Conflicts: 81000 | #Constraints: 24004 290.97/301.63 c #Conflicts: 82000 | #Constraints: 25004 290.97/301.63 c #Conflicts: 83000 | #Constraints: 26004 290.97/301.63 c #Conflicts: 84000 | #Constraints: 27004 290.97/301.63 c INPROCESSING 290.97/301.63 c GARBAGE COLLECT 290.97/301.63 c rational objective 10.7246 299.75/310.42 c #Conflicts: 85000 | #Constraints: 22299 299.75/310.42 c #Conflicts: 86000 | #Constraints: 23299 299.75/310.42 c #Conflicts: 87000 | #Constraints: 24299 299.75/310.42 c #Conflicts: 88000 | #Constraints: 25299 299.75/310.42 c #Conflicts: 89000 | #Constraints: 26299 299.75/310.42 c #Conflicts: 90000 | #Constraints: 27299 299.75/310.42 c INPROCESSING 299.75/310.42 c GARBAGE COLLECT 299.75/310.42 c rational objective 10.7347 317.70/328.40 c #Conflicts: 91000 | #Constraints: 22240 317.70/328.40 c #Conflicts: 92000 | #Constraints: 23240 317.70/328.40 c #Conflicts: 93000 | #Constraints: 24240 317.70/328.40 c #Conflicts: 94000 | #Constraints: 25240 317.70/328.40 c #Conflicts: 95000 | #Constraints: 26240 317.70/328.40 c #Conflicts: 96000 | #Constraints: 27242 317.70/328.40 c INPROCESSING 317.70/328.40 c GARBAGE COLLECT 317.70/328.40 c rational objective 10.7363 367.97/378.82 c #Conflicts: 97000 | #Constraints: 22027 367.97/378.82 c #Conflicts: 98000 | #Constraints: 23027 367.97/378.82 c #Conflicts: 99000 | #Constraints: 24027 367.97/378.82 c #Conflicts: 100000 | #Constraints: 25027 367.97/378.82 c #Conflicts: 101000 | #Constraints: 26027 367.97/378.82 c bounds 19 >= 17 @ 336.007 367.97/378.82 c #Conflicts: 102000 | #Constraints: 27047 367.97/378.82 c #Conflicts: 103000 | #Constraints: 28047 367.97/378.82 c INPROCESSING 367.97/378.82 c GARBAGE COLLECT 367.97/378.82 c #Conflicts: 104000 | #Constraints: 22633 367.97/378.82 c #Conflicts: 105000 | #Constraints: 23633 367.97/378.82 c #Conflicts: 106000 | #Constraints: 24633 367.97/378.82 c #Conflicts: 107000 | #Constraints: 25633 367.97/378.82 c #Conflicts: 108000 | #Constraints: 26633 367.97/378.82 c #Conflicts: 109000 | #Constraints: 27633 367.97/378.82 c #Conflicts: 110000 | #Constraints: 28633 367.97/378.82 c INPROCESSING 367.97/378.82 c GARBAGE COLLECT 367.97/378.82 c rational objective 10.7363 399.89/410.82 c #Conflicts: 111000 | #Constraints: 23041 399.89/410.82 c #Conflicts: 112000 | #Constraints: 24041 399.89/410.82 c #Conflicts: 113000 | #Constraints: 25041 399.89/410.82 c #Conflicts: 114000 | #Constraints: 26041 399.89/410.82 c #Conflicts: 115000 | #Constraints: 27041 399.89/410.82 c #Conflicts: 116000 | #Constraints: 28041 399.89/410.82 c #Conflicts: 117000 | #Constraints: 29041 399.89/410.82 c INPROCESSING 399.89/410.82 c GARBAGE COLLECT 399.89/410.82 c rational objective 10.7363 684.29/696.04 c #Conflicts: 118000 | #Constraints: 23273 684.29/696.04 c #Conflicts: 119000 | #Constraints: 24273 684.29/696.04 c #Conflicts: 120000 | #Constraints: 25273 684.29/696.04 c #Conflicts: 121000 | #Constraints: 26273 684.29/696.04 c #Conflicts: 122000 | #Constraints: 27273 684.29/696.04 c #Conflicts: 123000 | #Constraints: 28273 684.29/696.04 c #Conflicts: 124000 | #Constraints: 29273 684.29/696.04 c #Conflicts: 125000 | #Constraints: 30273 684.29/696.04 c #Conflicts: 126000 | #Constraints: 31273 684.29/696.04 c #Conflicts: 127000 | #Constraints: 32273 684.29/696.04 c #Conflicts: 128000 | #Constraints: 33273 684.29/696.04 c #Conflicts: 129000 | #Constraints: 34273 684.29/696.04 c #Conflicts: 130000 | #Constraints: 35273 684.29/696.04 c #Conflicts: 131000 | #Constraints: 36273 684.29/696.04 c #Conflicts: 132000 | #Constraints: 37273 684.29/696.04 c #Conflicts: 133000 | #Constraints: 38273 684.29/696.04 c #Conflicts: 134000 | #Constraints: 39273 684.29/696.04 c #Conflicts: 135000 | #Constraints: 40273 684.29/696.04 c #Conflicts: 136000 | #Constraints: 41273 684.29/696.04 c #Conflicts: 137000 | #Constraints: 42274 684.29/696.04 c #Conflicts: 138000 | #Constraints: 43274 684.29/696.04 c #Conflicts: 139000 | #Constraints: 44274 684.29/696.04 c #Conflicts: 140000 | #Constraints: 45274 684.29/696.04 c #Conflicts: 141000 | #Constraints: 46274 684.29/696.04 c #Conflicts: 142000 | #Constraints: 47274 684.29/696.04 c #Conflicts: 143000 | #Constraints: 48274 684.29/696.04 c #Conflicts: 144000 | #Constraints: 49274 684.29/696.04 c #Conflicts: 145000 | #Constraints: 50274 684.29/696.04 c #Conflicts: 146000 | #Constraints: 51274 684.29/696.04 c #Conflicts: 147000 | #Constraints: 52274 684.29/696.04 c #Conflicts: 148000 | #Constraints: 53274 684.29/696.04 c INPROCESSING 684.29/696.04 c GARBAGE COLLECT 684.29/696.04 c rational objective 10.7377 763.06/775.02 c #Conflicts: 149000 | #Constraints: 35122 763.06/775.02 c #Conflicts: 150000 | #Constraints: 36122 763.06/775.02 c #Conflicts: 151000 | #Constraints: 37122 763.06/775.02 c #Conflicts: 152000 | #Constraints: 38122 763.06/775.02 c #Conflicts: 153000 | #Constraints: 39122 763.06/775.02 c #Conflicts: 154000 | #Constraints: 40122 763.06/775.02 c #Conflicts: 155000 | #Constraints: 41122 763.06/775.02 c #Conflicts: 156000 | #Constraints: 42122 763.06/775.02 c INPROCESSING 763.06/775.02 c GARBAGE COLLECT 763.06/775.02 c rational objective 10.7377 839.12/851.30 c #Conflicts: 157000 | #Constraints: 29426 839.12/851.30 c #Conflicts: 158000 | #Constraints: 30426 839.12/851.30 c #Conflicts: 159000 | #Constraints: 31426 839.12/851.30 c #Conflicts: 160000 | #Constraints: 32426 839.12/851.30 c #Conflicts: 161000 | #Constraints: 33426 839.12/851.30 c #Conflicts: 162000 | #Constraints: 34426 839.12/851.30 c #Conflicts: 163000 | #Constraints: 35426 839.12/851.30 c #Conflicts: 164000 | #Constraints: 36426 839.12/851.30 c #Conflicts: 165000 | #Constraints: 37426 839.12/851.30 c INPROCESSING 839.12/851.30 c GARBAGE COLLECT 839.12/851.30 c rational objective 10.7377 922.79/935.27 c #Conflicts: 166000 | #Constraints: 27399 922.79/935.27 c #Conflicts: 167000 | #Constraints: 28399 922.79/935.27 c #Conflicts: 168000 | #Constraints: 29399 922.79/935.27 c #Conflicts: 169000 | #Constraints: 30399 922.79/935.27 c #Conflicts: 170000 | #Constraints: 31399 922.79/935.27 c #Conflicts: 171000 | #Constraints: 32399 922.79/935.27 c #Conflicts: 172000 | #Constraints: 33399 922.79/935.27 c #Conflicts: 173000 | #Constraints: 34399 922.79/935.27 c #Conflicts: 174000 | #Constraints: 35399 922.79/935.27 c INPROCESSING 922.79/935.27 c GARBAGE COLLECT 922.79/935.27 c rational objective 10.7377 996.49/1009.16 c #Conflicts: 175000 | #Constraints: 26520 996.49/1009.16 c #Conflicts: 176000 | #Constraints: 27520 996.49/1009.16 c #Conflicts: 177000 | #Constraints: 28520 996.49/1009.16 c #Conflicts: 178000 | #Constraints: 29520 996.49/1009.16 c #Conflicts: 179000 | #Constraints: 30520 996.49/1009.16 c #Conflicts: 180000 | #Constraints: 31520 996.49/1009.16 c #Conflicts: 181000 | #Constraints: 32520 996.49/1009.16 c #Conflicts: 182000 | #Constraints: 33520 996.49/1009.16 c INPROCESSING 996.49/1009.16 c GARBAGE COLLECT 996.49/1009.16 c rational objective 10.7381 1986.96/2002.40 c #Conflicts: 183000 | #Constraints: 25117 1986.96/2002.40 c #Conflicts: 184000 | #Constraints: 26117 1986.96/2002.40 c #Conflicts: 185000 | #Constraints: 27117 1986.96/2002.40 c #Conflicts: 186000 | #Constraints: 28117 1986.96/2002.40 c #Conflicts: 187000 | #Constraints: 29117 1986.96/2002.40 c #Conflicts: 188000 | #Constraints: 30117 1986.96/2002.40 c #Conflicts: 189000 | #Constraints: 31117 1986.96/2002.40 c #Conflicts: 190000 | #Constraints: 32117 1986.96/2002.40 c #Conflicts: 191000 | #Constraints: 33117 1986.96/2002.40 c #Conflicts: 192000 | #Constraints: 34117 1986.96/2002.40 c #Conflicts: 193000 | #Constraints: 35117 1986.96/2002.40 c #Conflicts: 194000 | #Constraints: 36117 1986.96/2002.40 c #Conflicts: 195000 | #Constraints: 37117 1986.96/2002.40 c #Conflicts: 196000 | #Constraints: 38117 1986.96/2002.40 c #Conflicts: 197000 | #Constraints: 39117 1986.96/2002.40 c #Conflicts: 198000 | #Constraints: 40117 1986.96/2002.40 c #Conflicts: 199000 | #Constraints: 41117 1986.96/2002.40 c #Conflicts: 200000 | #Constraints: 42117 1986.96/2002.40 c #Conflicts: 201000 | #Constraints: 43117 1986.96/2002.40 c #Conflicts: 202000 | #Constraints: 44117 1986.96/2002.40 c #Conflicts: 203000 | #Constraints: 45117 1986.96/2002.40 c #Conflicts: 204000 | #Constraints: 46117 1986.96/2002.40 c #Conflicts: 205000 | #Constraints: 47117 1986.96/2002.40 c #Conflicts: 206000 | #Constraints: 48117 1986.96/2002.40 c #Conflicts: 207000 | #Constraints: 49117 1986.96/2002.40 c #Conflicts: 208000 | #Constraints: 50117 1986.96/2002.40 c #Conflicts: 209000 | #Constraints: 51117 1986.96/2002.40 c #Conflicts: 210000 | #Constraints: 52117 1986.96/2002.40 c #Conflicts: 211000 | #Constraints: 53117 1986.96/2002.40 c #Conflicts: 212000 | #Constraints: 54117 1986.96/2002.40 c #Conflicts: 213000 | #Constraints: 55117 1986.96/2002.40 c #Conflicts: 214000 | #Constraints: 56117 1986.96/2002.40 c #Conflicts: 215000 | #Constraints: 57117 1986.96/2002.40 c #Conflicts: 216000 | #Constraints: 58117 1986.96/2002.40 c #Conflicts: 217000 | #Constraints: 59117 1986.96/2002.40 c #Conflicts: 218000 | #Constraints: 60117 1986.96/2002.40 c #Conflicts: 219000 | #Constraints: 61117 1986.96/2002.40 c #Conflicts: 220000 | #Constraints: 62117 1986.96/2002.40 c INPROCESSING 1986.96/2002.40 c GARBAGE COLLECT 1986.96/2002.40 c rational objective 10.7381 2057.98/2073.65 c #Conflicts: 221000 | #Constraints: 39533 2057.98/2073.65 c #Conflicts: 222000 | #Constraints: 40533 2057.98/2073.65 c #Conflicts: 223000 | #Constraints: 41533 2057.98/2073.65 c #Conflicts: 224000 | #Constraints: 42533 2057.98/2073.65 c #Conflicts: 225000 | #Constraints: 43533 2057.98/2073.65 c #Conflicts: 226000 | #Constraints: 44533 2057.98/2073.65 c #Conflicts: 227000 | #Constraints: 45533 2057.98/2073.65 c #Conflicts: 228000 | #Constraints: 46533 2057.98/2073.65 c #Conflicts: 229000 | #Constraints: 47533 2057.98/2073.65 c #Conflicts: 230000 | #Constraints: 48533 2057.98/2073.65 c #Conflicts: 231000 | #Constraints: 49533 2057.98/2073.65 c INPROCESSING 2057.98/2073.65 c GARBAGE COLLECT 2057.98/2073.65 c rational objective 10.7381 2114.45/2130.25 c #Conflicts: 232000 | #Constraints: 33607 2114.45/2130.25 c #Conflicts: 233000 | #Constraints: 34607 2114.45/2130.25 c #Conflicts: 234000 | #Constraints: 35607 2114.45/2130.25 c #Conflicts: 235000 | #Constraints: 36608 2114.45/2130.25 c #Conflicts: 236000 | #Constraints: 37608 2114.45/2130.25 c #Conflicts: 237000 | #Constraints: 38608 2114.45/2130.25 c #Conflicts: 238000 | #Constraints: 39608 2114.45/2130.25 c #Conflicts: 239000 | #Constraints: 40608 2114.45/2130.25 c #Conflicts: 240000 | #Constraints: 41609 2114.45/2130.25 c #Conflicts: 241000 | #Constraints: 42609 2114.45/2130.25 c INPROCESSING 2114.45/2130.25 c GARBAGE COLLECT 2114.45/2130.25 c rational objective 10.7381 2169.60/2185.58 c #Conflicts: 242000 | #Constraints: 29916 2169.60/2185.58 c bounds 18 >= 17 @ 2108 2169.60/2185.58 c #Conflicts: 243000 | #Constraints: 30917 2169.60/2185.58 c #Conflicts: 244000 | #Constraints: 31917 2169.60/2185.58 c #Conflicts: 245000 | #Constraints: 32917 2169.60/2185.58 c #Conflicts: 246000 | #Constraints: 33917 2169.60/2185.58 c #Conflicts: 247000 | #Constraints: 34917 2169.60/2185.58 c #Conflicts: 248000 | #Constraints: 35917 2169.60/2185.58 c #Conflicts: 249000 | #Constraints: 36917 2169.60/2185.58 c #Conflicts: 250000 | #Constraints: 37917 2169.60/2185.58 c #Conflicts: 251000 | #Constraints: 38917 2169.60/2185.58 c #Conflicts: 252000 | #Constraints: 39917 2169.60/2185.58 c INPROCESSING 2169.60/2185.58 c GARBAGE COLLECT 2169.60/2185.58 c rational objective 10.7381 2856.85/2874.54 c #Conflicts: 253000 | #Constraints: 28648 2856.85/2874.54 c #Conflicts: 254000 | #Constraints: 29648 2856.85/2874.54 c #Conflicts: 255000 | #Constraints: 30648 2856.85/2874.54 c #Conflicts: 256000 | #Constraints: 31648 2856.85/2874.54 c #Conflicts: 257000 | #Constraints: 32648 2856.85/2874.54 c #Conflicts: 258000 | #Constraints: 33648 2856.85/2874.54 c #Conflicts: 259000 | #Constraints: 34648 2856.85/2874.54 c #Conflicts: 260000 | #Constraints: 35648 2856.85/2874.54 c #Conflicts: 261000 | #Constraints: 36648 2856.85/2874.54 c #Conflicts: 262000 | #Constraints: 37648 2856.85/2874.54 c #Conflicts: 263000 | #Constraints: 38648 2856.85/2874.54 c #Conflicts: 264000 | #Constraints: 39648 2856.85/2874.54 c #Conflicts: 265000 | #Constraints: 40648 2856.85/2874.54 c #Conflicts: 266000 | #Constraints: 41648 2856.85/2874.54 c #Conflicts: 267000 | #Constraints: 42648 2856.85/2874.54 c #Conflicts: 268000 | #Constraints: 43648 2856.85/2874.54 c #Conflicts: 269000 | #Constraints: 44648 2856.85/2874.54 c #Conflicts: 270000 | #Constraints: 45648 2856.85/2874.54 c #Conflicts: 271000 | #Constraints: 46648 2856.85/2874.54 c #Conflicts: 272000 | #Constraints: 47648 2856.85/2874.54 c #Conflicts: 273000 | #Constraints: 48648 2856.85/2874.54 c #Conflicts: 274000 | #Constraints: 49648 2856.85/2874.54 c #Conflicts: 275000 | #Constraints: 50648 2856.85/2874.54 c #Conflicts: 276000 | #Constraints: 51648 2856.85/2874.54 c #Conflicts: 277000 | #Constraints: 52648 2856.85/2874.54 c #Conflicts: 278000 | #Constraints: 53648 2856.85/2874.54 c #Conflicts: 279000 | #Constraints: 54648 2856.85/2874.54 c #Conflicts: 280000 | #Constraints: 55648 2856.85/2874.54 c #Conflicts: 281000 | #Constraints: 56648 2856.85/2874.54 c #Conflicts: 282000 | #Constraints: 57648 2856.85/2874.54 c #Conflicts: 283000 | #Constraints: 58648 2856.85/2874.54 c #Conflicts: 284000 | #Constraints: 59648 2856.85/2874.54 c #Conflicts: 285000 | #Constraints: 60648 2856.85/2874.54 c #Conflicts: 286000 | #Constraints: 61648 2856.85/2874.54 c #Conflicts: 287000 | #Constraints: 62648 2856.85/2874.54 c #Conflicts: 288000 | #Constraints: 63648 2856.85/2874.54 c #Conflicts: 289000 | #Constraints: 64648 2856.85/2874.54 c #Conflicts: 290000 | #Constraints: 65648 2856.85/2874.54 c #Conflicts: 291000 | #Constraints: 66648 2856.85/2874.54 c #Conflicts: 292000 | #Constraints: 67648 2856.85/2874.54 c #Conflicts: 293000 | #Constraints: 68648 2856.85/2874.54 c #Conflicts: 294000 | #Constraints: 69648 2856.85/2874.54 c #Conflicts: 295000 | #Constraints: 70648 2856.85/2874.54 c INPROCESSING 2856.85/2874.54 c GARBAGE COLLECT 2856.85/2874.54 c rational objective 10.7381 3058.54/3076.71 c #Conflicts: 296000 | #Constraints: 44028 3058.54/3076.71 c #Conflicts: 297000 | #Constraints: 45028 3058.54/3076.71 c #Conflicts: 298000 | #Constraints: 46028 3058.54/3076.71 c #Conflicts: 299000 | #Constraints: 47028 3058.54/3076.71 c #Conflicts: 300000 | #Constraints: 48028 3058.54/3076.71 c #Conflicts: 301000 | #Constraints: 49028 3058.54/3076.71 c #Conflicts: 302000 | #Constraints: 50028 3058.54/3076.71 c #Conflicts: 303000 | #Constraints: 51028 3058.54/3076.71 c #Conflicts: 304000 | #Constraints: 52028 3058.54/3076.71 c #Conflicts: 305000 | #Constraints: 53028 3058.54/3076.71 c #Conflicts: 306000 | #Constraints: 54028 3058.54/3076.71 c #Conflicts: 307000 | #Constraints: 55028 3058.54/3076.71 c INPROCESSING 3058.54/3076.71 c GARBAGE COLLECT 3058.54/3076.71 c rational objective 10.7409 3192.71/3211.22 c #Conflicts: 308000 | #Constraints: 36368 3192.71/3211.22 c #Conflicts: 309000 | #Constraints: 37368 3192.71/3211.22 c #Conflicts: 310000 | #Constraints: 38368 3192.71/3211.22 c #Conflicts: 311000 | #Constraints: 39368 3192.71/3211.22 c #Conflicts: 312000 | #Constraints: 40368 3192.71/3211.22 c #Conflicts: 313000 | #Constraints: 41368 3192.71/3211.22 c #Conflicts: 314000 | #Constraints: 42368 3192.71/3211.22 c #Conflicts: 315000 | #Constraints: 43368 3192.71/3211.22 c #Conflicts: 316000 | #Constraints: 44368 3192.71/3211.22 c #Conflicts: 317000 | #Constraints: 45368 3192.71/3211.22 c #Conflicts: 318000 | #Constraints: 46368 3192.71/3211.22 c #Conflicts: 319000 | #Constraints: 47368 3192.71/3211.22 c INPROCESSING 3192.71/3211.22 c GARBAGE COLLECT 3192.71/3211.22 c rational objective 10.7409 3220.14/3238.73 c #Conflicts: 320000 | #Constraints: 32534 3220.14/3238.73 c #Conflicts: 321000 | #Constraints: 33534 3220.14/3238.73 c #Conflicts: 322000 | #Constraints: 34534 3220.14/3238.73 c #Conflicts: 323000 | #Constraints: 35534 3220.14/3238.73 c bounds 18 >= 18 @ 3206.09 3220.14/3238.73 c cpu time 3206.09 s 3220.14/3238.73 c deterministic time 394960255616 3.95e+11 3220.14/3238.73 c optimization time 0.004735 s 3220.14/3238.73 c total solve time 3206.05 s 3220.14/3238.73 c core-guided solve time 1900.56 s 3220.14/3238.73 c propagation time 2628.46 s 3220.14/3238.73 c conflict analysis time 500.436 s 3220.14/3238.73 c propagations 229348769 3220.14/3238.73 c resolve steps 27358666 3220.14/3238.73 c decisions 5636772 3220.14/3238.73 c conflicts 323883 3220.14/3238.73 c restarts 765 3220.14/3238.73 c inprocessing phases 38 3220.14/3238.73 c input clauses 15162 3220.14/3238.73 c input cardinalities 21 3220.14/3238.73 c input general constraints 74 3220.14/3238.73 c input average constraint length 3.02 3220.14/3238.73 c input average constraint degree 1.38 3220.14/3238.73 c learned clauses 129935 3220.14/3238.73 c learned cardinalities 1097 3220.14/3238.73 c learned general constraints 192869 3220.14/3238.73 c learned average constraint length 893.90 3220.14/3238.73 c learned average constraint degree 13562297.37 3220.14/3238.73 c watched constraints 154383 3220.14/3238.73 c counting constraints 38560 3220.14/3238.73 c gcd simplifications 1683 3220.14/3238.73 c detected cardinalities 13 3220.14/3238.73 c weakened non-implied lits 13888217 3220.14/3238.73 c weakened non-implying lits 80099 3220.14/3238.73 c original variables 4318 3220.14/3238.73 c clausal propagations 185163407 3220.14/3238.73 c cardinality propagations 838537 3220.14/3238.73 c watched propagations 5873766 3220.14/3238.73 c counting propagations 36862118 3220.14/3238.73 c watch lookups 43023185555 3220.14/3238.73 c watch backjump lookups 33368661133 3220.14/3238.73 c watch checks 308580301479 3220.14/3238.73 c propagation checks 8698819995 3220.14/3238.73 c constraint additions 818437838 3220.14/3238.73 c trail pops 235309393 3220.14/3238.73 c formula constraints 15120 3220.14/3238.73 c learned constraints 323875 3220.14/3238.73 c bound constraints 18 3220.14/3238.73 c core-guided constraints 119 3220.14/3238.73 c encountered formula constraints 23640530 3220.14/3238.73 c encountered learned constraints 3933600 3220.14/3238.73 c encountered bound constraints 186 3220.14/3238.73 c encountered core-guided constraints 107821 3220.14/3238.73 c LP total time 119.134 s 3220.14/3238.73 c LP solve time 118.78 s 3220.14/3238.73 c LP constraints added 15278 3220.14/3238.73 c LP constraints removed 139 3220.14/3238.73 c LP pivots internal 325665 3220.14/3238.73 c LP pivots root 229016 3220.14/3238.73 c LP calls 126 3220.14/3238.73 c LP optimalities 109 3220.14/3238.73 c LP no pivot count 2 3220.14/3238.73 c LP infeasibilities 13 3220.14/3238.73 c LP valid Farkas constraints 13 3220.14/3238.73 c LP learned Farkas constraints 13 3220.14/3238.73 c LP basis resets 0 3220.14/3238.73 c LP cycling count 0 3220.14/3238.73 c LP singular count 0 3220.14/3238.73 c LP no primal count 0 3220.14/3238.73 c LP no farkas count 0 3220.14/3238.73 c LP other issue count 0 3220.14/3238.73 c LP Gomory cuts 0 3220.14/3238.73 c LP learned cuts 158 3220.14/3238.73 c LP deleted cuts 139 3220.14/3238.73 c LP encountered Gomory constraints 0 3220.14/3238.73 c LP encountered Farkas constraints 280 3220.14/3238.73 c LP encountered learned Farkas constraints 119 3220.14/3238.73 c CG auxiliary variables introduced 44 3220.14/3238.73 c CG solutions found 7 3220.14/3238.73 c CG cores constructed 14 3220.14/3238.73 c CG core cardinality constraints returned 0 3220.14/3238.73 c CG unit cores 1 3220.14/3238.73 c CG single cores 13 3220.14/3238.73 c CG blocks removed during cardinality reduction 0 3220.14/3238.73 c CG first core best 0 3220.14/3238.73 c CG decision core best 0 3220.14/3238.73 c CG core reduction tie 0 3220.14/3238.73 c CG core degree average 1.00 3220.14/3238.73 c CG core slack average 38.77 3220.14/3238.73 o 18 3220.14/3238.73 s OPTIMUM FOUND 3220.14/3238.73 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
OK 18
Running VeriPB version 2.2.1 s VERIFIED BOUNDS 18 <= obj <= 18 Verification succeeded.
-- out of memory --
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 (2383 MiB free)
memory of node 1: 64473 MiB (62596 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462664-1722344413/watcher-4462664-1722344413 -o /tmp/evaluation-result-4462664-1722344413/solver-4462664-1722344413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6841 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462664-1722344413 --lp-cut-gomory=0 HOME/instance-4462664-1722344413.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9118, runsolver pid=9115
[startup+0.100107 s]*
/proc/loadavg: 4.11 4.14 4.08 2/256 9119
/proc/meminfo: memFree=66539188/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.20515 s]*
/proc/loadavg: 4.11 4.14 4.08 2/256 9119
/proc/meminfo: memFree=66538516/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.304431 s]*
/proc/loadavg: 4.11 4.14 4.08 2/256 9119
/proc/meminfo: memFree=66538516/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+0.700133 s]
/proc/loadavg: 4.11 4.14 4.08 2/256 9119
/proc/meminfo: memFree=66538188/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+1.50025 s]
/proc/loadavg: 4.11 4.14 4.08 2/256 9119
/proc/meminfo: memFree=66508124/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
[startup+3.10497 s]
/proc/loadavg: 4.11 4.14 4.08 2/256 9119
/proc/meminfo: memFree=66416704/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 4.10 4.14 4.08 2/256 9120
/proc/meminfo: memFree=66262980/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=37376 memory=2624 CPUtime=0 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 1040284 38273024 656 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 9344 656 599 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2624 KiB
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 4.10 4.13 4.08 4/257 9121
/proc/meminfo: memFree=65876204/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=59060 memory=32416 CPUtime=2.84 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 6798 0 0 0 274 10 0 0 20 0 1 0 1040284 60477440 8104 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 14765 8104 1884 992 0 6623 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 59060 KiB
Current children cumulated memory: 32416 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.09 4/259 9128
/proc/meminfo: memFree=65026500/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=82476 memory=55812 CPUtime=15.61 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 10587 0 0 0 1523 38 0 0 20 0 1 0 1040284 84455424 13953 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 20619 13953 1884 992 0 12477 0
Current children cumulated CPU time: 15.61 s
Current children cumulated vsize: 82476 KiB
Current children cumulated memory: 55812 KiB
heavy processes:
[startup+51.1057 s]
/proc/loadavg: 4.31 4.18 4.10 4/262 9193
/proc/meminfo: memFree=63940512/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=103620 memory=73792 CPUtime=41.14 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 13028 0 0 0 4037 77 0 0 20 0 1 0 1040284 106106880 18448 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 25905 18448 1900 992 0 17763 0
Current children cumulated CPU time: 41.14 s
Current children cumulated vsize: 103620 KiB
Current children cumulated memory: 73792 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.18 4.10 5/267 9222
/proc/meminfo: memFree=61917364/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=129444 memory=88320 CPUtime=92.2 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 15114 0 0 0 9077 143 0 0 20 0 1 0 1040284 132550656 22080 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 32361 22080 1900 992 0 24219 0
Current children cumulated CPU time: 92.2 s
Current children cumulated vsize: 129444 KiB
Current children cumulated memory: 88320 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/266 9232
/proc/meminfo: memFree=58115172/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=133500 memory=100816 CPUtime=152.04 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 16387 0 0 0 14994 210 0 0 20 0 1 0 1040284 136704000 25204 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 33375 25204 1900 992 0 25233 0
Current children cumulated CPU time: 152.04 s
Current children cumulated vsize: 133500 KiB
Current children cumulated memory: 100816 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.16 4.10 5/264 9243
/proc/meminfo: memFree=55987108/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=170052 memory=111612 CPUtime=211.88 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 18114 0 0 0 20917 271 0 0 20 0 1 0 1040284 174133248 27903 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 42513 27903 1900 992 0 34371 0
Current children cumulated CPU time: 211.88 s
Current children cumulated vsize: 170052 KiB
Current children cumulated memory: 111612 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.10 6/264 9255
/proc/meminfo: memFree=52021596/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=174784 memory=116100 CPUtime=271.72 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 19231 0 0 0 26847 325 0 0 20 0 1 0 1040284 178978816 29025 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 43696 29025 1900 992 0 35554 0
Current children cumulated CPU time: 271.72 s
Current children cumulated vsize: 174784 KiB
Current children cumulated memory: 116100 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/268 9269
/proc/meminfo: memFree=50567536/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=181612 memory=122692 CPUtime=331.57 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 20857 0 0 0 32763 394 0 0 20 0 1 0 1040284 185970688 30673 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 45403 30673 1900 992 0 37261 0
Current children cumulated CPU time: 331.57 s
Current children cumulated vsize: 181612 KiB
Current children cumulated memory: 122692 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/264 9280
/proc/meminfo: memFree=47085340/131524600 swapFree=131071996/131071996
[pid=9118] ppid=9115 vsize=184816 memory=124804 CPUtime=391.42 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 21354 0 0 0 38689 453 0 0 20 0 1 0 1040284 189251584 31201 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 46204 31201 1900 992 0 38062 0
Current children cumulated CPU time: 391.42 s
Current children cumulated vsize: 184816 KiB
Current children cumulated memory: 124804 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 9293
################
# More data... #
################
/proc/loadavg: 4.13 4.13 4.15 5/261 10442
/proc/meminfo: memFree=60153612/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=648284 memory=547648 CPUtime=2784.83 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 69888 0 0 0 277226 1257 0 0 20 0 1 0 1040284 663842816 136912 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 162071 136912 1900 992 0 153929 0
Current children cumulated CPU time: 2784.83 s
Current children cumulated vsize: 648284 KiB
Current children cumulated memory: 547648 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/260 10454
/proc/meminfo: memFree=58481536/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=656192 memory=573392 CPUtime=2844.68 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 82672 0 0 0 283197 1271 0 0 20 0 1 0 1040284 671940608 143348 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 164048 143348 1900 992 0 155906 0
Current children cumulated CPU time: 2844.68 s
Current children cumulated vsize: 656192 KiB
Current children cumulated memory: 573392 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.14 4.15 5/260 10464
/proc/meminfo: memFree=56655480/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579884 CPUtime=2904.53 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 85590 0 0 0 289155 1298 0 0 20 0 1 0 1040284 678465536 144971 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144971 1900 992 0 157499 0
Current children cumulated CPU time: 2904.53 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 10474
/proc/meminfo: memFree=55110900/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579888 CPUtime=2964.38 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 86329 0 0 0 295124 1314 0 0 20 0 1 0 1040284 678465536 144972 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144972 1900 992 0 157499 0
Current children cumulated CPU time: 2964.38 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579888 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/261 10491
/proc/meminfo: memFree=53728076/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579888 CPUtime=3024.23 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 87446 0 0 0 301095 1328 0 0 20 0 1 0 1040284 678465536 144972 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144972 1900 992 0 157499 0
Current children cumulated CPU time: 3024.23 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579888 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/262 10503
/proc/meminfo: memFree=51775304/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579888 CPUtime=3084.08 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 88607 0 0 0 307058 1350 0 0 20 0 1 0 1040284 678465536 144972 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144972 1900 992 0 157499 0
Current children cumulated CPU time: 3084.08 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579888 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/262 10513
/proc/meminfo: memFree=49842536/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579888 CPUtime=3143.94 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 89480 0 0 0 313021 1373 0 0 20 0 1 0 1040284 678465536 144972 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144972 1900 992 0 157499 0
Current children cumulated CPU time: 3143.94 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579888 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.17 4.15 5/262 10525
/proc/meminfo: memFree=47878136/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3203.79 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 90229 0 0 0 318983 1396 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3203.79 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3239.04 s]
# the end of solver process 9118 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3206.09 s, system=14.1094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3225.6 s]
/proc/loadavg: 4.26 4.16 4.14 5/262 10526
/proc/meminfo: memFree=47760692/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3207.08 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 90229 0 0 0 319309 1399 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3207.08 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3232 s]*
/proc/loadavg: 4.24 4.16 4.14 5/262 10527
/proc/meminfo: memFree=47531512/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3213.47 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 90229 0 0 0 319942 1405 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3235.2 s]
/proc/loadavg: 4.22 4.16 4.14 5/262 10529
/proc/meminfo: memFree=47418716/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3216.66 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 90229 0 0 0 320259 1407 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3216.66 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3236.8 s]
/proc/loadavg: 4.22 4.16 4.14 5/262 10529
/proc/meminfo: memFree=47378252/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3218.25 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 90229 0 0 0 320417 1408 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3218.25 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3238.4 s]
/proc/loadavg: 4.22 4.16 4.14 5/262 10530
/proc/meminfo: memFree=47303380/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3219.85 cores=1,3
/proc/9118/stat : 9118 (roundingsat) R 9115 9118 6828 0 -1 4194304 90466 0 0 0 320576 1409 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3219.85 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3238.8 s]
/proc/loadavg: 4.22 4.16 4.14 5/262 10530
/proc/meminfo: memFree=47303380/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3220.19 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 4194304 90476 0 0 0 320609 1410 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 0 0 0 17 1 0 0 11 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3220.19 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
[startup+3239 s]*
/proc/loadavg: 4.22 4.16 4.14 4/262 10530
/proc/meminfo: memFree=47248524/131524600 swapFree=131071984/131071996
[pid=9118] ppid=9115 vsize=662564 memory=579912 CPUtime=3220.19 cores=1,3
/proc/9118/stat : 9118 (roundingsat) D 9115 9118 6828 0 -1 4194304 90476 0 0 0 320609 1410 0 0 20 0 1 0 1040284 678465536 144978 134679101440 4194304 8255733 140728287526000 0 0 0 0 0 25182210 1 0 0 17 1 0 0 49 0 0 9037040 9046032 21331968 140728287531870 140728287532132 140728287532132 140728287539145 0
/proc/9118/statm: 165641 144978 1900 992 0 157499 0
Current children cumulated CPU time: 3220.19 s
Current children cumulated vsize: 662564 KiB
Current children cumulated memory: 579912 KiB
Child status: 0
Real time (s): 3239.04
CPU time (s): 3220.2
CPU user time (s): 3206.09
CPU system time (s): 14.1094
CPU usage (%): 99.4184
Max. virtual memory (cumulated for all children) (KiB): 662564
Max. memory (cumulated for all children) (KiB): 579912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3206.09
system time used= 14.1094
maximum resident set size= 579912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4537968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1172
involuntary context switches= 4523
# summary of solver processes directly reported to runsolver:
# pid: 9118
# total CPU time (s): 3220.2
# total CPU user time (s): 3206.09
# total CPU system time (s): 14.1094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53215 second user time and 15.1582 second system time
The end
Begin job on nodeC024 at 2024-07-30 15:00:13 IDJOB=4462664 IDBENCH=148191 IDSOLVER=3089 FILE ID=nodeC024/4462664-1722344413 RUNJOBID= nodeC024-1722340763-6841 SLURM_JOB_ID= 8248997 Free space on /tmp= 890028 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.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-4462664-1722344413/watcher-4462664-1722344413 -o /tmp/evaluation-result-4462664-1722344413/solver-4462664-1722344413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722340763-6841 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462664-1722344413 --lp-cut-gomory=0 HOME/instance-4462664-1722344413.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545 RANDOM SEED=2076811527 nodeC024.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 : 3633.865 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.90 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 : 3424.359 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.73 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 : 3641.009 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.90 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 : 3470.887 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.73 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 : 3687.693 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.90 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 : 3603.030 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.73 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 : 3615.352 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.90 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 : 1973.917 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.73 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 66539968 kB MemAvailable: 121667548 kB Buffers: 43680 kB Cached: 55859144 kB SwapCached: 0 kB Active: 192772 kB Inactive: 64104036 kB Active(anon): 1552 kB Inactive(anon): 8413780 kB Active(file): 191220 kB Inactive(file): 55690256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 292956 kB Writeback: 1951552 kB AnonPages: 8391556 kB Mapped: 92296 kB Shmem: 21336 kB KReclaimable: 171856 kB Slab: 326996 kB SReclaimable: 171856 kB SUnreclaim: 155140 kB KernelStack: 4208 kB PageTables: 25188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 10005960 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8928 kB HardwareCorrupted: 0 kB AnonHugePages: 4241408 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: 160468 kB DirectMap2M: 5904384 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890032 MiB End job on nodeC024 at 2024-07-30 15:54:12