| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 99 | 3600.07 | 3612.4 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_12.opb |
| MD5SUM | 88220551ed2e54bab314d6806833f69c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 92 |
| Best CPU time to get the best result obtained on this benchmark | 3600.04 |
| 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 | 1812 |
| Total number of constraints | 3443 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3443 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 256 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1307 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.03 c #variables 1812 #constraints 3443 0.59/0.61 c bounds - >= 0 @ 0.031202 0.59/0.61 c #Conflicts: 1000 | #Constraints: 4442 0.59/0.61 c #Conflicts: 2000 | #Constraints: 5442 0.59/0.61 c INPROCESSING 0.59/0.61 c GARBAGE COLLECT 0.59/0.61 c rational objective 11 1.38/1.43 c bounds - >= 8 @ 0.597365 1.38/1.43 c bounds - >= 10 @ 0.597521 1.38/1.43 c bounds - >= 11 @ 0.597648 1.38/1.43 c bounds - >= 12 @ 0.598996 1.38/1.43 c bounds - >= 13 @ 0.599773 1.38/1.43 c bounds - >= 14 @ 0.600373 1.38/1.43 c bounds - >= 15 @ 0.601618 1.38/1.43 c bounds - >= 16 @ 0.603428 1.38/1.43 c bounds - >= 17 @ 0.605007 1.38/1.43 c bounds - >= 18 @ 0.608671 1.38/1.43 c bounds - >= 19 @ 0.613501 1.38/1.43 c bounds - >= 20 @ 0.620691 1.38/1.43 c bounds - >= 21 @ 0.649623 1.38/1.43 c bounds - >= 22 @ 0.672405 1.38/1.43 c bounds - >= 23 @ 0.687068 1.38/1.43 c bounds - >= 24 @ 0.716929 1.38/1.43 c bounds - >= 25 @ 0.758523 1.38/1.43 c bounds - >= 26 @ 0.831326 1.38/1.43 c bounds - >= 27 @ 0.856761 1.38/1.43 c #Conflicts: 3000 | #Constraints: 5571 1.38/1.43 c bounds - >= 28 @ 1.09448 1.38/1.43 c bounds 142 >= 28 @ 1.14901 1.38/1.43 c bounds 138 >= 28 @ 1.19111 1.38/1.43 c #Conflicts: 4000 | #Constraints: 6579 1.38/1.43 c INPROCESSING 1.38/1.43 c GARBAGE COLLECT 1.38/1.43 c rational objective 28 2.08/2.19 c bounds 136 >= 28 @ 1.39604 2.08/2.19 c bounds 120 >= 28 @ 1.40399 2.08/2.19 c bounds 116 >= 28 @ 1.5232 2.08/2.19 c bounds 115 >= 28 @ 1.57922 2.08/2.19 c #Conflicts: 5000 | #Constraints: 5974 2.08/2.19 c bounds 115 >= 29 @ 1.70202 2.08/2.19 c #Conflicts: 6000 | #Constraints: 6983 2.08/2.19 c bounds 113 >= 29 @ 1.95728 2.08/2.19 c INPROCESSING 2.08/2.19 c GARBAGE COLLECT 2.08/2.19 c rational objective 29 7.16/7.30 c #Conflicts: 7000 | #Constraints: 5983 7.16/7.30 c bounds 113 >= 30 @ 2.47813 7.16/7.30 c #Conflicts: 8000 | #Constraints: 6989 7.16/7.30 c bounds 112 >= 30 @ 2.65523 7.16/7.30 c #Conflicts: 9000 | #Constraints: 7990 7.16/7.30 c INPROCESSING 7.16/7.30 c GARBAGE COLLECT 7.16/7.30 c bounds 112 >= 31 @ 3.35854 7.16/7.30 c #Conflicts: 10000 | #Constraints: 6703 7.16/7.30 c bounds 112 >= 32 @ 3.58158 7.16/7.30 c #Conflicts: 11000 | #Constraints: 7706 7.16/7.30 c #Conflicts: 12000 | #Constraints: 8706 7.16/7.30 c INPROCESSING 7.16/7.30 c GARBAGE COLLECT 7.16/7.30 c bounds 112 >= 33 @ 4.48538 7.16/7.30 c #Conflicts: 13000 | #Constraints: 7164 7.16/7.30 c #Conflicts: 14000 | #Constraints: 8164 7.16/7.30 c bounds 112 >= 34 @ 5.01596 7.16/7.30 c #Conflicts: 15000 | #Constraints: 9173 7.16/7.30 c INPROCESSING 7.16/7.30 c GARBAGE COLLECT 7.16/7.30 c #Conflicts: 16000 | #Constraints: 7396 7.16/7.30 c #Conflicts: 17000 | #Constraints: 8408 7.16/7.30 c #Conflicts: 18000 | #Constraints: 9853 7.16/7.30 c INPROCESSING 7.16/7.30 c GARBAGE COLLECT 7.16/7.30 c rational objective 44 8.66/8.71 c #Conflicts: 19000 | #Constraints: 7642 8.66/8.71 c #Conflicts: 20000 | #Constraints: 8642 8.66/8.71 c #Conflicts: 21000 | #Constraints: 9642 8.66/8.71 c bounds 112 >= 35 @ 8.15146 8.66/8.71 c INPROCESSING 8.66/8.71 c GARBAGE COLLECT 8.66/8.71 c rational objective 35 10.07/10.18 c #Conflicts: 22000 | #Constraints: 7341 10.07/10.18 c #Conflicts: 23000 | #Constraints: 8341 10.07/10.18 c bounds 104 >= 35 @ 9.09517 10.07/10.18 c #Conflicts: 24000 | #Constraints: 9342 10.07/10.18 c #Conflicts: 25000 | #Constraints: 10342 10.07/10.18 c INPROCESSING 10.07/10.18 c GARBAGE COLLECT 10.07/10.18 c rational objective 35 12.15/12.29 c #Conflicts: 26000 | #Constraints: 7896 12.15/12.29 c #Conflicts: 27000 | #Constraints: 8909 12.15/12.29 c #Conflicts: 28000 | #Constraints: 9931 12.15/12.29 c #Conflicts: 29000 | #Constraints: 11064 12.15/12.29 c INPROCESSING 12.15/12.29 c GARBAGE COLLECT 12.15/12.29 c rational objective 35 14.25/14.37 c #Conflicts: 30000 | #Constraints: 8361 14.25/14.37 c #Conflicts: 31000 | #Constraints: 9361 14.25/14.37 c #Conflicts: 32000 | #Constraints: 10363 14.25/14.37 c bounds 104 >= 36 @ 13.5804 14.25/14.37 c #Conflicts: 33000 | #Constraints: 11375 14.25/14.37 c INPROCESSING 14.25/14.37 c GARBAGE COLLECT 14.25/14.37 c rational objective 36 17.24/17.34 c #Conflicts: 34000 | #Constraints: 8517 17.24/17.34 c #Conflicts: 35000 | #Constraints: 10194 17.24/17.34 c bounds 103 >= 36 @ 16.2363 17.24/17.34 c #Conflicts: 36000 | #Constraints: 11764 17.24/17.34 c #Conflicts: 37000 | #Constraints: 12764 17.24/17.34 c INPROCESSING 17.24/17.34 c GARBAGE COLLECT 17.24/17.34 c rational objective 36 19.83/19.98 c #Conflicts: 38000 | #Constraints: 9103 19.83/19.98 c bounds 103 >= 37 @ 17.316 19.83/19.98 c #Conflicts: 39000 | #Constraints: 10115 19.83/19.98 c #Conflicts: 40000 | #Constraints: 11115 19.83/19.98 c #Conflicts: 41000 | #Constraints: 12116 19.83/19.98 c INPROCESSING 19.83/19.98 c GARBAGE COLLECT 19.83/19.98 c rational objective 37 22.42/22.51 c #Conflicts: 42000 | #Constraints: 8606 22.42/22.51 c #Conflicts: 43000 | #Constraints: 9606 22.42/22.51 c #Conflicts: 44000 | #Constraints: 10606 22.42/22.51 c #Conflicts: 45000 | #Constraints: 11606 22.42/22.51 c bounds 103 >= 38 @ 21.2645 22.42/22.51 c #Conflicts: 46000 | #Constraints: 12612 22.42/22.51 c INPROCESSING 22.42/22.51 c GARBAGE COLLECT 22.42/22.51 c rational objective 38 37.18/37.31 c #Conflicts: 47000 | #Constraints: 9041 37.18/37.31 c #Conflicts: 48000 | #Constraints: 10041 37.18/37.31 c #Conflicts: 49000 | #Constraints: 11041 37.18/37.31 c #Conflicts: 50000 | #Constraints: 12041 37.18/37.31 c #Conflicts: 51000 | #Constraints: 13041 37.18/37.31 c #Conflicts: 52000 | #Constraints: 14041 37.18/37.31 c #Conflicts: 53000 | #Constraints: 15041 37.18/37.31 c #Conflicts: 54000 | #Constraints: 16041 37.18/37.31 c #Conflicts: 55000 | #Constraints: 17041 37.18/37.31 c #Conflicts: 56000 | #Constraints: 18041 37.18/37.31 c bounds 101 >= 38 @ 29.0692 37.18/37.31 c #Conflicts: 57000 | #Constraints: 19042 37.18/37.31 c #Conflicts: 58000 | #Constraints: 20042 37.18/37.31 c bounds 101 >= 39 @ 30.3959 37.18/37.31 c #Conflicts: 59000 | #Constraints: 21054 37.18/37.31 c #Conflicts: 60000 | #Constraints: 22054 37.18/37.31 c #Conflicts: 61000 | #Constraints: 23054 37.18/37.31 c #Conflicts: 62000 | #Constraints: 24055 37.18/37.31 c bounds 101 >= 40 @ 34.8888 37.18/37.31 c #Conflicts: 63000 | #Constraints: 25417 37.18/37.31 c #Conflicts: 64000 | #Constraints: 26417 37.18/37.31 c INPROCESSING 37.18/37.31 c GARBAGE COLLECT 37.18/37.31 c rational objective 40 42.56/42.76 c #Conflicts: 65000 | #Constraints: 15808 42.56/42.76 c #Conflicts: 66000 | #Constraints: 16820 42.56/42.76 c #Conflicts: 67000 | #Constraints: 18025 42.56/42.76 c bounds 100 >= 40 @ 38.7123 42.56/42.76 c #Conflicts: 68000 | #Constraints: 19180 42.56/42.76 c #Conflicts: 69000 | #Constraints: 20180 42.56/42.76 c #Conflicts: 70000 | #Constraints: 21183 42.56/42.76 c INPROCESSING 42.56/42.76 c GARBAGE COLLECT 42.56/42.76 c rational objective 40 47.24/47.41 c #Conflicts: 71000 | #Constraints: 13249 47.24/47.41 c #Conflicts: 72000 | #Constraints: 14253 47.24/47.41 c #Conflicts: 73000 | #Constraints: 15253 47.24/47.41 c #Conflicts: 74000 | #Constraints: 16255 47.24/47.41 c bounds 99 >= 40 @ 44.477 47.24/47.41 c #Conflicts: 75000 | #Constraints: 17256 47.24/47.41 c bounds 99 >= 41 @ 45.3518 47.24/47.41 c #Conflicts: 76000 | #Constraints: 18271 47.24/47.41 c INPROCESSING 47.24/47.41 c GARBAGE COLLECT 47.24/47.41 c rational objective 41 51.43/51.63 c #Conflicts: 77000 | #Constraints: 11737 51.43/51.63 c #Conflicts: 78000 | #Constraints: 12737 51.43/51.63 c #Conflicts: 79000 | #Constraints: 13737 51.43/51.63 c #Conflicts: 80000 | #Constraints: 14737 51.43/51.63 c #Conflicts: 81000 | #Constraints: 15737 51.43/51.63 c #Conflicts: 82000 | #Constraints: 16737 51.43/51.63 c INPROCESSING 51.43/51.63 c GARBAGE COLLECT 51.43/51.63 c rational objective 41 51.73/51.91 c #Conflicts: 83000 | #Constraints: 10831 51.73/51.91 WSVECS04 Frhs2[1514]: 6 -336 0 shouldn't be 51.73/51.91 WSVECS04 Frhs2[1571]: 6 0 336 shouldn't be 51.73/51.91 WSVECS04 Frhs2[1713]: 6 0 768 shouldn't be 51.73/51.91 WSVECS04 Frhs2[1730]: 6 -1440 0 shouldn't be 51.73/51.91 WSVECS04 Frhs2[1808]: 6 0 432 shouldn't be 57.02/57.22 c #Conflicts: 84000 | #Constraints: 11832 57.02/57.22 c #Conflicts: 85000 | #Constraints: 12832 57.02/57.22 c #Conflicts: 86000 | #Constraints: 13832 57.02/57.22 c #Conflicts: 87000 | #Constraints: 14832 57.02/57.22 c #Conflicts: 88000 | #Constraints: 15834 57.02/57.22 c #Conflicts: 89000 | #Constraints: 16835 57.02/57.22 c INPROCESSING 57.02/57.22 c GARBAGE COLLECT 57.02/57.22 c rational objective 41 99.18/99.51 c #Conflicts: 90000 | #Constraints: 11129 99.18/99.51 c #Conflicts: 91000 | #Constraints: 12129 99.18/99.51 c #Conflicts: 92000 | #Constraints: 13271 99.18/99.51 c #Conflicts: 93000 | #Constraints: 15097 99.18/99.51 c #Conflicts: 94000 | #Constraints: 16883 99.18/99.51 c #Conflicts: 95000 | #Constraints: 18694 99.18/99.51 c #Conflicts: 96000 | #Constraints: 20497 99.18/99.51 c #Conflicts: 97000 | #Constraints: 22303 99.18/99.51 c #Conflicts: 98000 | #Constraints: 24119 99.18/99.51 c #Conflicts: 99000 | #Constraints: 25374 99.18/99.51 c #Conflicts: 100000 | #Constraints: 26374 99.18/99.51 c #Conflicts: 101000 | #Constraints: 27374 99.18/99.51 c #Conflicts: 102000 | #Constraints: 28374 99.18/99.51 c #Conflicts: 103000 | #Constraints: 29374 99.18/99.51 c #Conflicts: 104000 | #Constraints: 30374 99.18/99.51 c #Conflicts: 105000 | #Constraints: 31374 99.18/99.51 c #Conflicts: 106000 | #Constraints: 32374 99.18/99.51 c #Conflicts: 107000 | #Constraints: 33374 99.18/99.51 c #Conflicts: 108000 | #Constraints: 34374 99.18/99.51 c #Conflicts: 109000 | #Constraints: 35374 99.18/99.51 c #Conflicts: 110000 | #Constraints: 36374 99.18/99.51 c #Conflicts: 111000 | #Constraints: 37374 99.18/99.51 c #Conflicts: 112000 | #Constraints: 38374 99.18/99.51 c #Conflicts: 113000 | #Constraints: 39374 99.18/99.51 c #Conflicts: 114000 | #Constraints: 40374 99.18/99.51 c INPROCESSING 99.18/99.51 c GARBAGE COLLECT 99.18/99.51 c bounds 99 >= 42 @ 86.5773 99.18/99.51 c #Conflicts: 115000 | #Constraints: 23055 99.18/99.51 c #Conflicts: 116000 | #Constraints: 24055 99.18/99.51 c #Conflicts: 117000 | #Constraints: 25055 99.18/99.51 c #Conflicts: 118000 | #Constraints: 26057 99.18/99.51 c #Conflicts: 119000 | #Constraints: 27069 99.18/99.51 c #Conflicts: 120000 | #Constraints: 28069 99.18/99.51 c #Conflicts: 121000 | #Constraints: 29069 99.18/99.51 c INPROCESSING 99.18/99.51 c GARBAGE COLLECT 99.18/99.51 c rational objective 42 109.05/109.40 c #Conflicts: 122000 | #Constraints: 16996 109.05/109.40 c #Conflicts: 123000 | #Constraints: 17996 109.05/109.40 c bounds 99 >= 43 @ 100.098 109.05/109.40 c #Conflicts: 124000 | #Constraints: 19005 109.05/109.40 c #Conflicts: 125000 | #Constraints: 20005 109.05/109.40 c #Conflicts: 126000 | #Constraints: 21007 109.05/109.40 c #Conflicts: 127000 | #Constraints: 22008 109.05/109.40 c #Conflicts: 128000 | #Constraints: 23008 109.05/109.40 c #Conflicts: 129000 | #Constraints: 24009 109.05/109.40 c INPROCESSING 109.05/109.40 c GARBAGE COLLECT 109.05/109.40 c rational objective 43 118.82/119.24 c #Conflicts: 130000 | #Constraints: 14474 118.82/119.24 c #Conflicts: 131000 | #Constraints: 15474 118.82/119.24 c #Conflicts: 132000 | #Constraints: 16474 118.82/119.24 c #Conflicts: 133000 | #Constraints: 17474 118.82/119.24 c #Conflicts: 134000 | #Constraints: 18474 118.82/119.24 c #Conflicts: 135000 | #Constraints: 19474 118.82/119.24 c #Conflicts: 136000 | #Constraints: 20474 118.82/119.24 c #Conflicts: 137000 | #Constraints: 21474 118.82/119.24 c #Conflicts: 138000 | #Constraints: 22474 118.82/119.24 c INPROCESSING 118.82/119.24 c GARBAGE COLLECT 118.82/119.24 c rational objective 43 158.50/159.10 c #Conflicts: 139000 | #Constraints: 14123 158.50/159.10 c #Conflicts: 140000 | #Constraints: 15300 158.50/159.10 c #Conflicts: 141000 | #Constraints: 16865 158.50/159.10 c #Conflicts: 142000 | #Constraints: 17868 158.50/159.10 c #Conflicts: 143000 | #Constraints: 18889 158.50/159.10 c #Conflicts: 144000 | #Constraints: 19889 158.50/159.10 c #Conflicts: 145000 | #Constraints: 20983 158.50/159.10 c #Conflicts: 146000 | #Constraints: 22001 158.50/159.10 c #Conflicts: 147000 | #Constraints: 23037 158.50/159.10 c #Conflicts: 148000 | #Constraints: 24231 158.50/159.10 c #Conflicts: 149000 | #Constraints: 25252 158.50/159.10 c #Conflicts: 150000 | #Constraints: 26365 158.50/159.10 c #Conflicts: 151000 | #Constraints: 27505 158.50/159.10 c #Conflicts: 152000 | #Constraints: 28507 158.50/159.10 c #Conflicts: 153000 | #Constraints: 29565 158.50/159.10 c #Conflicts: 154000 | #Constraints: 30570 158.50/159.10 c #Conflicts: 155000 | #Constraints: 31628 158.50/159.10 c #Conflicts: 156000 | #Constraints: 32628 158.50/159.10 c #Conflicts: 157000 | #Constraints: 33628 158.50/159.10 c #Conflicts: 158000 | #Constraints: 34638 158.50/159.10 c #Conflicts: 159000 | #Constraints: 35675 158.50/159.10 c #Conflicts: 160000 | #Constraints: 36885 158.50/159.10 c #Conflicts: 161000 | #Constraints: 37885 158.50/159.10 c #Conflicts: 162000 | #Constraints: 38885 158.50/159.10 c #Conflicts: 163000 | #Constraints: 39887 158.50/159.10 c #Conflicts: 164000 | #Constraints: 40963 158.50/159.10 c #Conflicts: 165000 | #Constraints: 41969 158.50/159.10 c #Conflicts: 166000 | #Constraints: 42973 158.50/159.10 c #Conflicts: 167000 | #Constraints: 43977 158.50/159.10 c #Conflicts: 168000 | #Constraints: 45050 158.50/159.10 c INPROCESSING 158.50/159.10 c GARBAGE COLLECT 158.50/159.10 c rational objective 43 173.84/174.40 c #Conflicts: 169000 | #Constraints: 25421 173.84/174.40 c #Conflicts: 170000 | #Constraints: 26421 173.84/174.40 c #Conflicts: 171000 | #Constraints: 27421 173.84/174.40 c #Conflicts: 172000 | #Constraints: 28421 173.84/174.40 c #Conflicts: 173000 | #Constraints: 29421 173.84/174.40 c #Conflicts: 174000 | #Constraints: 30421 173.84/174.40 c #Conflicts: 175000 | #Constraints: 31422 173.84/174.40 c #Conflicts: 176000 | #Constraints: 32422 173.84/174.40 c bounds 99 >= 44 @ 170.994 173.84/174.40 c #Conflicts: 177000 | #Constraints: 33431 173.84/174.40 c INPROCESSING 173.84/174.40 c GARBAGE COLLECT 173.84/174.40 c rational objective 44 188.69/189.37 c #Conflicts: 178000 | #Constraints: 19349 188.69/189.37 c #Conflicts: 179000 | #Constraints: 20349 188.69/189.37 c #Conflicts: 180000 | #Constraints: 21350 188.69/189.37 c #Conflicts: 181000 | #Constraints: 22350 188.69/189.37 c #Conflicts: 182000 | #Constraints: 23350 188.69/189.37 c #Conflicts: 183000 | #Constraints: 24350 188.69/189.37 c #Conflicts: 184000 | #Constraints: 25354 188.69/189.37 c #Conflicts: 185000 | #Constraints: 26355 188.69/189.37 c #Conflicts: 186000 | #Constraints: 27356 188.69/189.37 c #Conflicts: 187000 | #Constraints: 28356 188.69/189.37 c INPROCESSING 188.69/189.37 c GARBAGE COLLECT 188.69/189.37 c rational objective 44 201.36/202.00 c #Conflicts: 188000 | #Constraints: 16954 201.36/202.00 c #Conflicts: 189000 | #Constraints: 17954 201.36/202.00 c #Conflicts: 190000 | #Constraints: 18954 201.36/202.00 c #Conflicts: 191000 | #Constraints: 19954 201.36/202.00 c #Conflicts: 192000 | #Constraints: 20959 201.36/202.00 c #Conflicts: 193000 | #Constraints: 22183 201.36/202.00 c #Conflicts: 194000 | #Constraints: 23871 201.36/202.00 c #Conflicts: 195000 | #Constraints: 25590 201.36/202.00 c #Conflicts: 196000 | #Constraints: 27298 201.36/202.00 c #Conflicts: 197000 | #Constraints: 29016 201.36/202.00 c INPROCESSING 201.36/202.00 c GARBAGE COLLECT 201.36/202.00 WSVECS04 Frhs2[87]: 6 -64.0001 0 shouldn't be 201.36/202.07 WSVECS04 Frhs2[87]: 6 -64 0 shouldn't be 201.46/202.13 c rational objective 44 215.91/216.67 c #Conflicts: 198000 | #Constraints: 17361 215.91/216.67 c #Conflicts: 199000 | #Constraints: 18362 215.91/216.67 c #Conflicts: 200000 | #Constraints: 19363 215.91/216.67 c #Conflicts: 201000 | #Constraints: 20363 215.91/216.67 c #Conflicts: 202000 | #Constraints: 21363 215.91/216.67 c #Conflicts: 203000 | #Constraints: 22366 215.91/216.67 c #Conflicts: 204000 | #Constraints: 23367 215.91/216.67 c bounds 99 >= 45 @ 209.303 215.91/216.67 c #Conflicts: 205000 | #Constraints: 24379 215.91/216.67 c #Conflicts: 206000 | #Constraints: 25381 215.91/216.67 c #Conflicts: 207000 | #Constraints: 26381 215.91/216.67 c INPROCESSING 215.91/216.67 c GARBAGE COLLECT 215.91/216.67 c rational objective 45 284.58/285.54 c #Conflicts: 208000 | #Constraints: 15974 284.58/285.54 c #Conflicts: 209000 | #Constraints: 16983 284.58/285.54 c #Conflicts: 210000 | #Constraints: 17988 284.58/285.54 c #Conflicts: 211000 | #Constraints: 18999 284.58/285.54 c #Conflicts: 212000 | #Constraints: 19999 284.58/285.54 c #Conflicts: 213000 | #Constraints: 21233 284.58/285.54 c #Conflicts: 214000 | #Constraints: 23056 284.58/285.54 c #Conflicts: 215000 | #Constraints: 24552 284.58/285.54 c #Conflicts: 216000 | #Constraints: 25579 284.58/285.54 c #Conflicts: 217000 | #Constraints: 26591 284.58/285.54 c #Conflicts: 218000 | #Constraints: 27591 284.58/285.54 c #Conflicts: 219000 | #Constraints: 28591 284.58/285.54 c #Conflicts: 220000 | #Constraints: 29592 284.58/285.54 c #Conflicts: 221000 | #Constraints: 30597 284.58/285.54 c #Conflicts: 222000 | #Constraints: 31597 284.58/285.54 c #Conflicts: 223000 | #Constraints: 32597 284.58/285.54 c #Conflicts: 224000 | #Constraints: 33597 284.58/285.54 c #Conflicts: 225000 | #Constraints: 34598 284.58/285.54 c #Conflicts: 226000 | #Constraints: 35602 284.58/285.54 c #Conflicts: 227000 | #Constraints: 36602 284.58/285.54 c #Conflicts: 228000 | #Constraints: 37605 284.58/285.54 c #Conflicts: 229000 | #Constraints: 38608 284.58/285.54 c #Conflicts: 230000 | #Constraints: 39613 284.58/285.54 c #Conflicts: 231000 | #Constraints: 40615 284.58/285.54 c #Conflicts: 232000 | #Constraints: 41615 284.58/285.54 c #Conflicts: 233000 | #Constraints: 42615 284.58/285.54 c #Conflicts: 234000 | #Constraints: 43615 284.58/285.54 c #Conflicts: 235000 | #Constraints: 44615 284.58/285.54 c #Conflicts: 236000 | #Constraints: 45615 284.58/285.54 c #Conflicts: 237000 | #Constraints: 46615 284.58/285.54 c #Conflicts: 238000 | #Constraints: 47615 284.58/285.54 c #Conflicts: 239000 | #Constraints: 48618 284.58/285.54 c #Conflicts: 240000 | #Constraints: 49627 284.58/285.54 c #Conflicts: 241000 | #Constraints: 50627 284.58/285.54 c #Conflicts: 242000 | #Constraints: 51636 284.58/285.54 c #Conflicts: 243000 | #Constraints: 52636 284.58/285.54 c INPROCESSING 284.58/285.54 c GARBAGE COLLECT 284.58/285.54 WSVECS04 Frhs2[7]: 6 -64.0001 0 shouldn't be 284.58/285.55 c rational objective 45 305.12/306.19 c #Conflicts: 244000 | #Constraints: 28912 305.12/306.19 c #Conflicts: 245000 | #Constraints: 29912 305.12/306.19 c #Conflicts: 246000 | #Constraints: 30914 305.12/306.19 c #Conflicts: 247000 | #Constraints: 31914 305.12/306.19 c #Conflicts: 248000 | #Constraints: 32916 305.12/306.19 c #Conflicts: 249000 | #Constraints: 33918 305.12/306.19 c #Conflicts: 250000 | #Constraints: 34919 305.12/306.19 c #Conflicts: 251000 | #Constraints: 35920 305.12/306.19 c #Conflicts: 252000 | #Constraints: 36921 305.12/306.19 c #Conflicts: 253000 | #Constraints: 37921 305.12/306.19 c #Conflicts: 254000 | #Constraints: 38923 305.12/306.19 c #Conflicts: 255000 | #Constraints: 39924 305.12/306.19 c INPROCESSING 305.12/306.19 c GARBAGE COLLECT 305.12/306.19 c rational objective 45 323.86/324.96 c #Conflicts: 256000 | #Constraints: 22851 323.86/324.96 c #Conflicts: 257000 | #Constraints: 23851 323.86/324.96 c #Conflicts: 258000 | #Constraints: 24851 323.86/324.96 c #Conflicts: 259000 | #Constraints: 25851 323.86/324.96 c bounds 99 >= 46 @ 308.541 323.86/324.96 c #Conflicts: 260000 | #Constraints: 26860 323.86/324.96 c #Conflicts: 261000 | #Constraints: 27860 323.86/324.96 c #Conflicts: 262000 | #Constraints: 28860 323.86/324.96 c #Conflicts: 263000 | #Constraints: 29860 323.86/324.96 c #Conflicts: 264000 | #Constraints: 30860 323.86/324.96 c #Conflicts: 265000 | #Constraints: 31860 323.86/324.96 c #Conflicts: 266000 | #Constraints: 32860 323.86/324.96 c INPROCESSING 323.86/324.96 c GARBAGE COLLECT 323.86/324.96 c rational objective 46 446.27/447.74 c #Conflicts: 267000 | #Constraints: 19005 446.27/447.74 c #Conflicts: 268000 | #Constraints: 20006 446.27/447.74 c #Conflicts: 269000 | #Constraints: 21006 446.27/447.74 c #Conflicts: 270000 | #Constraints: 22009 446.27/447.74 c #Conflicts: 271000 | #Constraints: 23009 446.27/447.74 c #Conflicts: 272000 | #Constraints: 24012 446.27/447.74 c #Conflicts: 273000 | #Constraints: 25020 446.27/447.74 c #Conflicts: 274000 | #Constraints: 26020 446.27/447.74 c #Conflicts: 275000 | #Constraints: 27020 446.27/447.74 c #Conflicts: 276000 | #Constraints: 28024 446.27/447.74 c #Conflicts: 277000 | #Constraints: 29029 446.27/447.74 c #Conflicts: 278000 | #Constraints: 30031 446.27/447.74 c #Conflicts: 279000 | #Constraints: 31034 446.27/447.74 c #Conflicts: 280000 | #Constraints: 32042 446.27/447.74 c #Conflicts: 281000 | #Constraints: 33043 446.27/447.74 c #Conflicts: 282000 | #Constraints: 34044 446.27/447.74 c #Conflicts: 283000 | #Constraints: 35048 446.27/447.74 c #Conflicts: 284000 | #Constraints: 36048 446.27/447.74 c #Conflicts: 285000 | #Constraints: 37049 446.27/447.74 c #Conflicts: 286000 | #Constraints: 38049 446.27/447.74 c #Conflicts: 287000 | #Constraints: 39051 446.27/447.74 c #Conflicts: 288000 | #Constraints: 40052 446.27/447.74 c #Conflicts: 289000 | #Constraints: 41064 446.27/447.74 c #Conflicts: 290000 | #Constraints: 42064 446.27/447.74 c #Conflicts: 291000 | #Constraints: 43065 446.27/447.74 c #Conflicts: 292000 | #Constraints: 44067 446.27/447.74 c bounds 99 >= 47 @ 379.861 446.27/447.74 c #Conflicts: 293000 | #Constraints: 45077 446.27/447.74 c #Conflicts: 294000 | #Constraints: 46077 446.27/447.74 c #Conflicts: 295000 | #Constraints: 47077 446.27/447.74 c #Conflicts: 296000 | #Constraints: 48077 446.27/447.74 c #Conflicts: 297000 | #Constraints: 49102 446.27/447.74 c #Conflicts: 298000 | #Constraints: 50199 446.27/447.74 c #Conflicts: 299000 | #Constraints: 51199 446.27/447.74 c #Conflicts: 300000 | #Constraints: 52231 446.27/447.74 c #Conflicts: 301000 | #Constraints: 53234 446.27/447.74 c #Conflicts: 302000 | #Constraints: 54234 446.27/447.74 c #Conflicts: 303000 | #Constraints: 55238 446.27/447.74 c #Conflicts: 304000 | #Constraints: 56243 446.27/447.74 c #Conflicts: 305000 | #Constraints: 57244 446.27/447.74 c #Conflicts: 306000 | #Constraints: 58300 446.27/447.74 c #Conflicts: 307000 | #Constraints: 59300 446.27/447.74 c INPROCESSING 446.27/447.74 c GARBAGE COLLECT 446.27/447.74 c #Conflicts: 308000 | #Constraints: 32456 446.27/447.74 c #Conflicts: 309000 | #Constraints: 33461 446.27/447.74 c #Conflicts: 310000 | #Constraints: 34467 446.27/447.74 c #Conflicts: 311000 | #Constraints: 35469 446.27/447.74 c #Conflicts: 312000 | #Constraints: 36477 446.27/447.74 c #Conflicts: 313000 | #Constraints: 37555 446.27/447.74 c #Conflicts: 314000 | #Constraints: 38922 446.27/447.74 c #Conflicts: 315000 | #Constraints: 39941 446.27/447.74 c #Conflicts: 316000 | #Constraints: 40983 446.27/447.74 c #Conflicts: 317000 | #Constraints: 41983 446.27/447.74 c #Conflicts: 318000 | #Constraints: 42985 446.27/447.74 c #Conflicts: 319000 | #Constraints: 43985 446.27/447.74 c #Conflicts: 320000 | #Constraints: 44992 446.27/447.74 c INPROCESSING 446.27/447.74 c GARBAGE COLLECT 446.27/447.74 c rational objective 47 476.78/478.34 c #Conflicts: 321000 | #Constraints: 25350 476.78/478.34 c #Conflicts: 322000 | #Constraints: 26350 476.78/478.34 c #Conflicts: 323000 | #Constraints: 27350 476.78/478.34 c #Conflicts: 324000 | #Constraints: 28350 476.78/478.34 c #Conflicts: 325000 | #Constraints: 29350 476.78/478.34 c #Conflicts: 326000 | #Constraints: 30351 476.78/478.34 c #Conflicts: 327000 | #Constraints: 31358 476.78/478.34 c #Conflicts: 328000 | #Constraints: 32363 476.78/478.34 c #Conflicts: 329000 | #Constraints: 33384 476.78/478.34 c #Conflicts: 330000 | #Constraints: 34385 476.78/478.34 c #Conflicts: 331000 | #Constraints: 35640 476.78/478.34 c #Conflicts: 332000 | #Constraints: 36641 476.78/478.34 c #Conflicts: 333000 | #Constraints: 37649 476.78/478.34 c INPROCESSING 476.78/478.34 c GARBAGE COLLECT 476.78/478.34 c rational objective 47 589.13/591.07 c #Conflicts: 334000 | #Constraints: 21611 589.13/591.07 c #Conflicts: 335000 | #Constraints: 22611 589.13/591.07 c #Conflicts: 336000 | #Constraints: 23611 589.13/591.07 c #Conflicts: 337000 | #Constraints: 24611 589.13/591.07 c #Conflicts: 338000 | #Constraints: 25611 589.13/591.07 c #Conflicts: 339000 | #Constraints: 26611 589.13/591.07 c #Conflicts: 340000 | #Constraints: 27611 589.13/591.07 c #Conflicts: 341000 | #Constraints: 28611 589.13/591.07 c #Conflicts: 342000 | #Constraints: 29611 589.13/591.07 c #Conflicts: 343000 | #Constraints: 30611 589.13/591.07 c #Conflicts: 344000 | #Constraints: 31611 589.13/591.07 c #Conflicts: 345000 | #Constraints: 32611 589.13/591.07 c #Conflicts: 346000 | #Constraints: 33611 589.13/591.07 c #Conflicts: 347000 | #Constraints: 34611 589.13/591.07 c #Conflicts: 348000 | #Constraints: 35611 589.13/591.07 c #Conflicts: 349000 | #Constraints: 36611 589.13/591.07 c #Conflicts: 350000 | #Constraints: 37611 589.13/591.07 c #Conflicts: 351000 | #Constraints: 38611 589.13/591.07 c #Conflicts: 352000 | #Constraints: 39611 589.13/591.07 c #Conflicts: 353000 | #Constraints: 40611 589.13/591.07 c #Conflicts: 354000 | #Constraints: 41611 589.13/591.07 c #Conflicts: 355000 | #Constraints: 42611 589.13/591.07 c #Conflicts: 356000 | #Constraints: 43611 589.13/591.07 c #Conflicts: 357000 | #Constraints: 44611 589.13/591.07 c #Conflicts: 358000 | #Constraints: 45611 589.13/591.07 c #Conflicts: 359000 | #Constraints: 46611 589.13/591.07 c #Conflicts: 360000 | #Constraints: 47611 589.13/591.07 c #Conflicts: 361000 | #Constraints: 48611 589.13/591.07 c #Conflicts: 362000 | #Constraints: 49611 589.13/591.07 c #Conflicts: 363000 | #Constraints: 50611 589.13/591.07 c #Conflicts: 364000 | #Constraints: 51611 589.13/591.07 c #Conflicts: 365000 | #Constraints: 52611 589.13/591.07 c #Conflicts: 366000 | #Constraints: 53611 589.13/591.07 c #Conflicts: 367000 | #Constraints: 54611 589.13/591.07 c #Conflicts: 368000 | #Constraints: 55611 589.13/591.07 c #Conflicts: 369000 | #Constraints: 56611 589.13/591.07 c #Conflicts: 370000 | #Constraints: 57611 589.13/591.07 c #Conflicts: 371000 | #Constraints: 58611 589.13/591.07 c #Conflicts: 372000 | #Constraints: 59611 589.13/591.07 c #Conflicts: 373000 | #Constraints: 60611 589.13/591.07 c #Conflicts: 374000 | #Constraints: 61611 589.13/591.07 c #Conflicts: 375000 | #Constraints: 62611 589.13/591.07 c #Conflicts: 376000 | #Constraints: 63611 589.13/591.07 c #Conflicts: 377000 | #Constraints: 64611 589.13/591.07 c #Conflicts: 378000 | #Constraints: 65611 589.13/591.07 c INPROCESSING 589.13/591.07 c GARBAGE COLLECT 589.13/591.07 c rational objective 47 625.30/627.39 c #Conflicts: 379000 | #Constraints: 35737 625.30/627.39 c #Conflicts: 380000 | #Constraints: 36739 625.30/627.39 c #Conflicts: 381000 | #Constraints: 37743 625.30/627.39 c #Conflicts: 382000 | #Constraints: 38743 625.30/627.39 c #Conflicts: 383000 | #Constraints: 39745 625.30/627.39 c #Conflicts: 384000 | #Constraints: 40745 625.30/627.39 c #Conflicts: 385000 | #Constraints: 41750 625.30/627.39 c #Conflicts: 386000 | #Constraints: 42750 625.30/627.39 c #Conflicts: 387000 | #Constraints: 43750 625.30/627.39 c #Conflicts: 388000 | #Constraints: 44752 625.30/627.39 c #Conflicts: 389000 | #Constraints: 45755 625.30/627.39 c #Conflicts: 390000 | #Constraints: 46755 625.30/627.39 c #Conflicts: 391000 | #Constraints: 47755 625.30/627.39 c #Conflicts: 392000 | #Constraints: 48757 625.30/627.39 c INPROCESSING 625.30/627.39 c GARBAGE COLLECT 625.30/627.39 c rational objective 47 666.77/668.91 c #Conflicts: 393000 | #Constraints: 27074 666.77/668.91 c #Conflicts: 394000 | #Constraints: 28074 666.77/668.91 c #Conflicts: 395000 | #Constraints: 29075 666.77/668.91 c #Conflicts: 396000 | #Constraints: 30077 666.77/668.91 c #Conflicts: 397000 | #Constraints: 31078 666.77/668.91 c #Conflicts: 398000 | #Constraints: 32083 666.77/668.91 c #Conflicts: 399000 | #Constraints: 33083 666.77/668.91 c #Conflicts: 400000 | #Constraints: 34085 666.77/668.91 c #Conflicts: 401000 | #Constraints: 35085 666.77/668.91 c #Conflicts: 402000 | #Constraints: 36086 666.77/668.91 c #Conflicts: 403000 | #Constraints: 37086 666.77/668.91 c #Conflicts: 404000 | #Constraints: 38086 666.77/668.91 c #Conflicts: 405000 | #Constraints: 39086 666.77/668.91 c #Conflicts: 406000 | #Constraints: 40088 666.77/668.91 c #Conflicts: 407000 | #Constraints: 41090 666.77/668.91 c INPROCESSING 666.77/668.91 c GARBAGE COLLECT 666.77/668.91 c rational objective 47 844.87/847.61 c #Conflicts: 408000 | #Constraints: 23441 844.87/847.61 c #Conflicts: 409000 | #Constraints: 24446 844.87/847.61 c #Conflicts: 410000 | #Constraints: 25450 844.87/847.61 c #Conflicts: 411000 | #Constraints: 26456 844.87/847.61 c #Conflicts: 412000 | #Constraints: 27456 844.87/847.61 c #Conflicts: 413000 | #Constraints: 28458 844.87/847.61 c #Conflicts: 414000 | #Constraints: 29459 844.87/847.61 c #Conflicts: 415000 | #Constraints: 30464 844.87/847.61 c #Conflicts: 416000 | #Constraints: 31467 844.87/847.61 c #Conflicts: 417000 | #Constraints: 32470 844.87/847.61 c #Conflicts: 418000 | #Constraints: 33476 844.87/847.61 c #Conflicts: 419000 | #Constraints: 34476 844.87/847.61 c #Conflicts: 420000 | #Constraints: 35479 844.87/847.61 c #Conflicts: 421000 | #Constraints: 36481 844.87/847.61 c #Conflicts: 422000 | #Constraints: 37482 844.87/847.61 c #Conflicts: 423000 | #Constraints: 38483 844.87/847.61 c #Conflicts: 424000 | #Constraints: 39483 844.87/847.61 c bounds 99 >= 48 @ 707.925 844.87/847.61 c #Conflicts: 425000 | #Constraints: 40489 844.87/847.61 c #Conflicts: 426000 | #Constraints: 41489 844.87/847.61 c #Conflicts: 427000 | #Constraints: 42560 844.87/847.61 c #Conflicts: 428000 | #Constraints: 44263 844.87/847.61 c #Conflicts: 429000 | #Constraints: 46000 844.87/847.61 c #Conflicts: 430000 | #Constraints: 47727 844.87/847.61 c #Conflicts: 431000 | #Constraints: 49470 844.87/847.61 c #Conflicts: 432000 | #Constraints: 51221 844.87/847.61 c #Conflicts: 433000 | #Constraints: 52340 844.87/847.61 c #Conflicts: 434000 | #Constraints: 53781 844.87/847.61 c #Conflicts: 435000 | #Constraints: 55321 844.87/847.61 c #Conflicts: 436000 | #Constraints: 56934 844.87/847.61 c #Conflicts: 437000 | #Constraints: 58541 844.87/847.61 c #Conflicts: 438000 | #Constraints: 60167 844.87/847.61 c #Conflicts: 439000 | #Constraints: 61869 844.87/847.61 c #Conflicts: 440000 | #Constraints: 63431 844.87/847.61 c #Conflicts: 441000 | #Constraints: 65084 844.87/847.61 c #Conflicts: 442000 | #Constraints: 66748 844.87/847.61 c #Conflicts: 443000 | #Constraints: 68494 844.87/847.61 c #Conflicts: 444000 | #Constraints: 70235 844.87/847.61 c #Conflicts: 445000 | #Constraints: 71959 844.87/847.61 c #Conflicts: 446000 | #Constraints: 73718 844.87/847.61 c #Conflicts: 447000 | #Constraints: 75467 844.87/847.61 c #Conflicts: 448000 | #Constraints: 77243 844.87/847.61 c #Conflicts: 449000 | #Constraints: 78931 844.87/847.61 c #Conflicts: 450000 | #Constraints: 80561 844.87/847.61 c #Conflicts: 451000 | #Constraints: 82264 844.87/847.61 c #Conflicts: 452000 | #Constraints: 83965 844.87/847.61 c #Conflicts: 453000 | #Constraints: 85696 844.87/847.61 c #Conflicts: 454000 | #Constraints: 87325 844.87/847.61 c #Conflicts: 455000 | #Constraints: 89026 844.87/847.61 c #Conflicts: 456000 | #Constraints: 90672 844.87/847.61 c INPROCESSING 844.87/847.61 c GARBAGE COLLECT 844.87/847.61 WSVECS04 Frhs2[62]: 6 -21.3333 0 shouldn't be 923.49/926.50 c #Conflicts: 457000 | #Constraints: 48249 923.49/926.50 c #Conflicts: 458000 | #Constraints: 49281 923.49/926.50 c #Conflicts: 459000 | #Constraints: 50702 923.49/926.50 c #Conflicts: 460000 | #Constraints: 51702 923.49/926.50 c #Conflicts: 461000 | #Constraints: 52707 923.49/926.50 c #Conflicts: 462000 | #Constraints: 54138 923.49/926.50 c #Conflicts: 463000 | #Constraints: 55920 923.49/926.50 c #Conflicts: 464000 | #Constraints: 57728 923.49/926.50 c #Conflicts: 465000 | #Constraints: 59525 923.49/926.50 c #Conflicts: 466000 | #Constraints: 61374 923.49/926.50 c #Conflicts: 467000 | #Constraints: 62516 923.49/926.50 c #Conflicts: 468000 | #Constraints: 63517 923.49/926.50 c #Conflicts: 469000 | #Constraints: 64522 923.49/926.50 c #Conflicts: 470000 | #Constraints: 65528 923.49/926.50 c #Conflicts: 471000 | #Constraints: 66529 923.49/926.50 c INPROCESSING 923.49/926.50 c GARBAGE COLLECT 923.49/926.50 c rational objective 48 974.52/977.76 c #Conflicts: 472000 | #Constraints: 35710 974.52/977.76 c #Conflicts: 473000 | #Constraints: 36710 974.52/977.76 c #Conflicts: 474000 | #Constraints: 37710 974.52/977.76 c #Conflicts: 475000 | #Constraints: 38710 974.52/977.76 c #Conflicts: 476000 | #Constraints: 39710 974.52/977.76 c #Conflicts: 477000 | #Constraints: 40710 974.52/977.76 c #Conflicts: 478000 | #Constraints: 41710 974.52/977.76 c #Conflicts: 479000 | #Constraints: 42710 974.52/977.76 c #Conflicts: 480000 | #Constraints: 43710 974.52/977.76 c bounds 99 >= 49 @ 945.873 974.52/977.76 c #Conflicts: 481000 | #Constraints: 44716 974.52/977.76 c #Conflicts: 482000 | #Constraints: 45716 974.52/977.76 c #Conflicts: 483000 | #Constraints: 46716 974.52/977.76 c #Conflicts: 484000 | #Constraints: 47716 974.52/977.76 c #Conflicts: 485000 | #Constraints: 48716 974.52/977.76 c #Conflicts: 486000 | #Constraints: 49716 974.52/977.76 c #Conflicts: 487000 | #Constraints: 50716 974.52/977.76 c #Conflicts: 488000 | #Constraints: 51716 974.52/977.76 c INPROCESSING 974.52/977.76 c GARBAGE COLLECT 974.52/977.76 c rational objective 49 1214.05/1218.04 c #Conflicts: 489000 | #Constraints: 28773 1214.05/1218.04 c #Conflicts: 490000 | #Constraints: 29775 1214.05/1218.04 c #Conflicts: 491000 | #Constraints: 30775 1214.05/1218.04 c #Conflicts: 492000 | #Constraints: 31775 1214.05/1218.04 c #Conflicts: 493000 | #Constraints: 32775 1214.05/1218.04 c #Conflicts: 494000 | #Constraints: 33775 1214.05/1218.04 c #Conflicts: 495000 | #Constraints: 34775 1214.05/1218.04 c #Conflicts: 496000 | #Constraints: 35775 1214.05/1218.04 c #Conflicts: 497000 | #Constraints: 36775 1214.05/1218.04 c #Conflicts: 498000 | #Constraints: 37775 1214.05/1218.04 c #Conflicts: 499000 | #Constraints: 38776 1214.05/1218.04 c #Conflicts: 500000 | #Constraints: 39776 1214.05/1218.04 c #Conflicts: 501000 | #Constraints: 40776 1214.05/1218.04 c #Conflicts: 502000 | #Constraints: 41776 1214.05/1218.04 c #Conflicts: 503000 | #Constraints: 42776 1214.05/1218.04 c #Conflicts: 504000 | #Constraints: 43776 1214.05/1218.04 c #Conflicts: 505000 | #Constraints: 44778 1214.05/1218.04 c #Conflicts: 506000 | #Constraints: 45778 1214.05/1218.04 c #Conflicts: 507000 | #Constraints: 46778 1214.05/1218.04 c #Conflicts: 508000 | #Constraints: 47778 1214.05/1218.04 c #Conflicts: 509000 | #Constraints: 48778 1214.05/1218.04 c #Conflicts: 510000 | #Constraints: 49778 1214.05/1218.04 c #Conflicts: 511000 | #Constraints: 50778 1214.05/1218.04 c #Conflicts: 512000 | #Constraints: 51778 1214.05/1218.04 c #Conflicts: 513000 | #Constraints: 52778 1214.05/1218.04 c #Conflicts: 514000 | #Constraints: 53778 1214.05/1218.04 c #Conflicts: 515000 | #Constraints: 54778 1214.05/1218.04 c #Conflicts: 516000 | #Constraints: 55778 1214.05/1218.04 c #Conflicts: 517000 | #Constraints: 56778 1214.05/1218.04 c #Conflicts: 518000 | #Constraints: 57778 1214.05/1218.04 c #Conflicts: 519000 | #Constraints: 58783 1214.05/1218.04 c #Conflicts: 520000 | #Constraints: 59783 1214.05/1218.04 c #Conflicts: 521000 | #Constraints: 60783 1214.05/1218.04 c #Conflicts: 522000 | #Constraints: 61783 1214.05/1218.04 c #Conflicts: 523000 | #Constraints: 62783 1214.05/1218.04 c #Conflicts: 524000 | #Constraints: 63784 1214.05/1218.04 c #Conflicts: 525000 | #Constraints: 64784 1214.05/1218.04 c #Conflicts: 526000 | #Constraints: 65784 1214.05/1218.04 c #Conflicts: 527000 | #Constraints: 66784 1214.05/1218.04 c #Conflicts: 528000 | #Constraints: 67784 1214.05/1218.04 c #Conflicts: 529000 | #Constraints: 68784 1214.05/1218.04 c #Conflicts: 530000 | #Constraints: 69784 1214.05/1218.04 c #Conflicts: 531000 | #Constraints: 70784 1214.05/1218.04 c #Conflicts: 532000 | #Constraints: 71784 1214.05/1218.04 c #Conflicts: 533000 | #Constraints: 72784 1214.05/1218.04 c #Conflicts: 534000 | #Constraints: 73784 1214.05/1218.04 c #Conflicts: 535000 | #Constraints: 74784 1214.05/1218.04 c #Conflicts: 536000 | #Constraints: 75784 1214.05/1218.04 c #Conflicts: 537000 | #Constraints: 76784 1214.05/1218.04 c #Conflicts: 538000 | #Constraints: 77784 1214.05/1218.04 c #Conflicts: 539000 | #Constraints: 78784 1214.05/1218.04 c #Conflicts: 540000 | #Constraints: 79784 1214.05/1218.04 c #Conflicts: 541000 | #Constraints: 80784 1214.05/1218.04 c INPROCESSING 1214.05/1218.04 c GARBAGE COLLECT 1214.05/1218.04 c rational objective 49 1281.43/1285.61 c #Conflicts: 542000 | #Constraints: 43193 1281.43/1285.61 c #Conflicts: 543000 | #Constraints: 44193 1281.43/1285.61 c #Conflicts: 544000 | #Constraints: 45193 1281.43/1285.61 c #Conflicts: 545000 | #Constraints: 46193 1281.43/1285.61 c #Conflicts: 546000 | #Constraints: 47193 1281.43/1285.61 c #Conflicts: 547000 | #Constraints: 48193 1281.43/1285.61 c #Conflicts: 548000 | #Constraints: 49193 1281.43/1285.61 c #Conflicts: 549000 | #Constraints: 50193 1281.43/1285.61 c #Conflicts: 550000 | #Constraints: 51193 1281.43/1285.61 c #Conflicts: 551000 | #Constraints: 52193 1281.43/1285.61 c #Conflicts: 552000 | #Constraints: 53193 1281.43/1285.61 c #Conflicts: 553000 | #Constraints: 54193 1281.43/1285.61 c #Conflicts: 554000 | #Constraints: 55193 1281.43/1285.61 c #Conflicts: 555000 | #Constraints: 56193 1281.43/1285.61 c #Conflicts: 556000 | #Constraints: 57193 1281.43/1285.61 c #Conflicts: 557000 | #Constraints: 58193 1281.43/1285.61 c #Conflicts: 558000 | #Constraints: 59193 1281.43/1285.61 c INPROCESSING 1281.43/1285.61 c GARBAGE COLLECT 1281.43/1285.61 c rational objective 49 1537.44/1542.56 c #Conflicts: 559000 | #Constraints: 32211 1537.44/1542.56 c #Conflicts: 560000 | #Constraints: 33211 1537.44/1542.56 c #Conflicts: 561000 | #Constraints: 34211 1537.44/1542.56 c #Conflicts: 562000 | #Constraints: 35211 1537.44/1542.56 c #Conflicts: 563000 | #Constraints: 36211 1537.44/1542.56 c #Conflicts: 564000 | #Constraints: 37211 1537.44/1542.56 c #Conflicts: 565000 | #Constraints: 38211 1537.44/1542.56 c #Conflicts: 566000 | #Constraints: 39211 1537.44/1542.56 c #Conflicts: 567000 | #Constraints: 40211 1537.44/1542.56 c #Conflicts: 568000 | #Constraints: 41211 1537.44/1542.56 c #Conflicts: 569000 | #Constraints: 42211 1537.44/1542.56 c #Conflicts: 570000 | #Constraints: 43211 1537.44/1542.56 c #Conflicts: 571000 | #Constraints: 44211 1537.44/1542.56 c #Conflicts: 572000 | #Constraints: 45211 1537.44/1542.56 c #Conflicts: 573000 | #Constraints: 46211 1537.44/1542.56 c #Conflicts: 574000 | #Constraints: 47211 1537.44/1542.56 c #Conflicts: 575000 | #Constraints: 48211 1537.44/1542.56 c #Conflicts: 576000 | #Constraints: 49211 1537.44/1542.56 c #Conflicts: 577000 | #Constraints: 50211 1537.44/1542.56 c #Conflicts: 578000 | #Constraints: 51211 1537.44/1542.56 c #Conflicts: 579000 | #Constraints: 52211 1537.44/1542.56 c #Conflicts: 580000 | #Constraints: 53211 1537.44/1542.56 c #Conflicts: 581000 | #Constraints: 54211 1537.44/1542.56 c #Conflicts: 582000 | #Constraints: 55211 1537.44/1542.56 c #Conflicts: 583000 | #Constraints: 56211 1537.44/1542.56 c #Conflicts: 584000 | #Constraints: 57211 1537.44/1542.56 c #Conflicts: 585000 | #Constraints: 58211 1537.44/1542.56 c #Conflicts: 586000 | #Constraints: 59211 1537.44/1542.56 c #Conflicts: 587000 | #Constraints: 60211 1537.44/1542.56 c #Conflicts: 588000 | #Constraints: 61211 1537.44/1542.56 c #Conflicts: 589000 | #Constraints: 62211 1537.44/1542.56 c #Conflicts: 590000 | #Constraints: 63211 1537.44/1542.56 c #Conflicts: 591000 | #Constraints: 64211 1537.44/1542.56 c #Conflicts: 592000 | #Constraints: 65211 1537.44/1542.56 c #Conflicts: 593000 | #Constraints: 66211 1537.44/1542.56 c #Conflicts: 594000 | #Constraints: 67211 1537.44/1542.56 c #Conflicts: 595000 | #Constraints: 68211 1537.44/1542.56 c #Conflicts: 596000 | #Constraints: 69211 1537.44/1542.56 c #Conflicts: 597000 | #Constraints: 70211 1537.44/1542.56 c #Conflicts: 598000 | #Constraints: 71211 1537.44/1542.56 c #Conflicts: 599000 | #Constraints: 72211 1537.44/1542.56 c #Conflicts: 600000 | #Constraints: 73211 1537.44/1542.56 c #Conflicts: 601000 | #Constraints: 74211 1537.44/1542.56 c #Conflicts: 602000 | #Constraints: 75211 1537.44/1542.56 c #Conflicts: 603000 | #Constraints: 76211 1537.44/1542.56 c #Conflicts: 604000 | #Constraints: 77211 1537.44/1542.56 c #Conflicts: 605000 | #Constraints: 78211 1537.44/1542.56 c #Conflicts: 606000 | #Constraints: 79211 1537.44/1542.56 c #Conflicts: 607000 | #Constraints: 80211 1537.44/1542.56 c #Conflicts: 608000 | #Constraints: 81211 1537.44/1542.56 c #Conflicts: 609000 | #Constraints: 82211 1537.44/1542.56 c #Conflicts: 610000 | #Constraints: 83211 1537.44/1542.56 c #Conflicts: 611000 | #Constraints: 84211 1537.44/1542.56 c #Conflicts: 612000 | #Constraints: 85211 1537.44/1542.56 c #Conflicts: 613000 | #Constraints: 86211 1537.44/1542.56 c #Conflicts: 614000 | #Constraints: 87211 1537.44/1542.56 c INPROCESSING 1537.44/1542.56 c GARBAGE COLLECT 1537.44/1542.56 c rational objective 49 1632.01/1637.45 c #Conflicts: 615000 | #Constraints: 46080 1632.01/1637.45 c #Conflicts: 616000 | #Constraints: 47080 1632.01/1637.45 c #Conflicts: 617000 | #Constraints: 48082 1632.01/1637.45 c #Conflicts: 618000 | #Constraints: 49082 1632.01/1637.45 c #Conflicts: 619000 | #Constraints: 50082 1632.01/1637.45 c #Conflicts: 620000 | #Constraints: 51082 1632.01/1637.45 c #Conflicts: 621000 | #Constraints: 52084 1632.01/1637.45 c #Conflicts: 622000 | #Constraints: 53084 1632.01/1637.45 c #Conflicts: 623000 | #Constraints: 54086 1632.01/1637.45 c #Conflicts: 624000 | #Constraints: 55086 1632.01/1637.45 c #Conflicts: 625000 | #Constraints: 56097 1632.01/1637.45 c #Conflicts: 626000 | #Constraints: 57097 1632.01/1637.45 c #Conflicts: 627000 | #Constraints: 58097 1632.01/1637.45 c #Conflicts: 628000 | #Constraints: 59098 1632.01/1637.45 c #Conflicts: 629000 | #Constraints: 60098 1632.01/1637.45 c #Conflicts: 630000 | #Constraints: 61098 1632.01/1637.45 c #Conflicts: 631000 | #Constraints: 62098 1632.01/1637.45 c #Conflicts: 632000 | #Constraints: 63101 1632.01/1637.45 c #Conflicts: 633000 | #Constraints: 64103 1632.01/1637.45 c INPROCESSING 1632.01/1637.45 c GARBAGE COLLECT 1632.01/1637.45 c rational objective 49 1713.72/1719.46 c #Conflicts: 634000 | #Constraints: 34654 1713.72/1719.46 c #Conflicts: 635000 | #Constraints: 35654 1713.72/1719.46 c #Conflicts: 636000 | #Constraints: 36656 1713.72/1719.46 c #Conflicts: 637000 | #Constraints: 37661 1713.72/1719.46 c #Conflicts: 638000 | #Constraints: 38663 1713.72/1719.46 c #Conflicts: 639000 | #Constraints: 39664 1713.72/1719.46 c #Conflicts: 640000 | #Constraints: 40667 1713.72/1719.46 c #Conflicts: 641000 | #Constraints: 41669 1713.72/1719.46 c #Conflicts: 642000 | #Constraints: 42670 1713.72/1719.46 c #Conflicts: 643000 | #Constraints: 43671 1713.72/1719.46 c #Conflicts: 644000 | #Constraints: 44671 1713.72/1719.46 c #Conflicts: 645000 | #Constraints: 45673 1713.72/1719.46 c #Conflicts: 646000 | #Constraints: 46673 1713.72/1719.46 c #Conflicts: 647000 | #Constraints: 47675 1713.72/1719.46 c #Conflicts: 648000 | #Constraints: 48675 1713.72/1719.46 c #Conflicts: 649000 | #Constraints: 49675 1713.72/1719.46 c #Conflicts: 650000 | #Constraints: 50675 1713.72/1719.46 c #Conflicts: 651000 | #Constraints: 51675 1713.72/1719.46 c #Conflicts: 652000 | #Constraints: 52675 1713.72/1719.46 c INPROCESSING 1713.72/1719.46 c GARBAGE COLLECT 1713.72/1719.46 c rational objective 49 1972.71/1979.39 c #Conflicts: 653000 | #Constraints: 28989 1972.71/1979.39 c #Conflicts: 654000 | #Constraints: 29989 1972.71/1979.39 c #Conflicts: 655000 | #Constraints: 30989 1972.71/1979.39 c #Conflicts: 656000 | #Constraints: 31989 1972.71/1979.39 c #Conflicts: 657000 | #Constraints: 32990 1972.71/1979.39 c #Conflicts: 658000 | #Constraints: 33990 1972.71/1979.39 c #Conflicts: 659000 | #Constraints: 34993 1972.71/1979.39 c #Conflicts: 660000 | #Constraints: 36040 1972.71/1979.39 c #Conflicts: 661000 | #Constraints: 37283 1972.71/1979.39 c #Conflicts: 662000 | #Constraints: 38283 1972.71/1979.39 c #Conflicts: 663000 | #Constraints: 39283 1972.71/1979.39 c #Conflicts: 664000 | #Constraints: 40283 1972.71/1979.39 c #Conflicts: 665000 | #Constraints: 41283 1972.71/1979.39 c #Conflicts: 666000 | #Constraints: 42283 1972.71/1979.39 c #Conflicts: 667000 | #Constraints: 43283 1972.71/1979.39 c #Conflicts: 668000 | #Constraints: 44283 1972.71/1979.39 c #Conflicts: 669000 | #Constraints: 45283 1972.71/1979.39 c #Conflicts: 670000 | #Constraints: 46284 1972.71/1979.39 c #Conflicts: 671000 | #Constraints: 47305 1972.71/1979.39 c #Conflicts: 672000 | #Constraints: 48309 1972.71/1979.39 c #Conflicts: 673000 | #Constraints: 49310 1972.71/1979.39 c #Conflicts: 674000 | #Constraints: 50310 1972.71/1979.39 c #Conflicts: 675000 | #Constraints: 51310 1972.71/1979.39 c #Conflicts: 676000 | #Constraints: 52310 1972.71/1979.39 c #Conflicts: 677000 | #Constraints: 53316 1972.71/1979.39 c #Conflicts: 678000 | #Constraints: 54317 1972.71/1979.39 c #Conflicts: 679000 | #Constraints: 55317 1972.71/1979.39 c #Conflicts: 680000 | #Constraints: 56317 1972.71/1979.39 c #Conflicts: 681000 | #Constraints: 57320 1972.71/1979.39 c #Conflicts: 682000 | #Constraints: 58334 1972.71/1979.39 c #Conflicts: 683000 | #Constraints: 59334 1972.71/1979.39 c #Conflicts: 684000 | #Constraints: 60336 1972.71/1979.39 c #Conflicts: 685000 | #Constraints: 61603 1972.71/1979.39 c #Conflicts: 686000 | #Constraints: 62712 1972.71/1979.39 c #Conflicts: 687000 | #Constraints: 63717 1972.71/1979.39 c #Conflicts: 688000 | #Constraints: 64729 1972.71/1979.39 c #Conflicts: 689000 | #Constraints: 66156 1972.71/1979.39 c #Conflicts: 690000 | #Constraints: 67158 1972.71/1979.39 c #Conflicts: 691000 | #Constraints: 68158 1972.71/1979.39 c #Conflicts: 692000 | #Constraints: 69158 1972.71/1979.39 c #Conflicts: 693000 | #Constraints: 70160 1972.71/1979.39 c #Conflicts: 694000 | #Constraints: 71165 1972.71/1979.39 c #Conflicts: 695000 | #Constraints: 72165 1972.71/1979.39 c #Conflicts: 696000 | #Constraints: 73165 1972.71/1979.39 c #Conflicts: 697000 | #Constraints: 74165 1972.71/1979.39 c #Conflicts: 698000 | #Constraints: 75165 1972.71/1979.39 c #Conflicts: 699000 | #Constraints: 76165 1972.71/1979.39 c #Conflicts: 700000 | #Constraints: 77165 1972.71/1979.39 c #Conflicts: 701000 | #Constraints: 78166 1972.71/1979.39 c #Conflicts: 702000 | #Constraints: 79184 1972.71/1979.39 c #Conflicts: 703000 | #Constraints: 80197 1972.71/1979.39 c #Conflicts: 704000 | #Constraints: 81197 1972.71/1979.39 c #Conflicts: 705000 | #Constraints: 82198 1972.71/1979.39 c #Conflicts: 706000 | #Constraints: 83200 1972.71/1979.39 c #Conflicts: 707000 | #Constraints: 84200 1972.71/1979.39 c #Conflicts: 708000 | #Constraints: 85201 1972.71/1979.39 c #Conflicts: 709000 | #Constraints: 86299 1972.71/1979.39 c #Conflicts: 710000 | #Constraints: 88075 1972.71/1979.39 c #Conflicts: 711000 | #Constraints: 89827 1972.71/1979.39 c #Conflicts: 712000 | #Constraints: 91595 1972.71/1979.39 c #Conflicts: 713000 | #Constraints: 93376 1972.71/1979.39 c INPROCESSING 1972.71/1979.39 c GARBAGE COLLECT 1972.71/1979.39 c rational objective 49 2067.98/2074.94 c #Conflicts: 714000 | #Constraints: 49603 2067.98/2074.94 c #Conflicts: 715000 | #Constraints: 50604 2067.98/2074.94 c #Conflicts: 716000 | #Constraints: 51608 2067.98/2074.94 c #Conflicts: 717000 | #Constraints: 52616 2067.98/2074.94 c #Conflicts: 718000 | #Constraints: 53616 2067.98/2074.94 c #Conflicts: 719000 | #Constraints: 54616 2067.98/2074.94 c #Conflicts: 720000 | #Constraints: 55617 2067.98/2074.94 c #Conflicts: 721000 | #Constraints: 56617 2067.98/2074.94 c bounds 99 >= 50 @ 2002.4 2067.98/2074.94 c #Conflicts: 722000 | #Constraints: 57623 2067.98/2074.94 c #Conflicts: 723000 | #Constraints: 58623 2067.98/2074.94 c #Conflicts: 724000 | #Constraints: 59623 2067.98/2074.94 c #Conflicts: 725000 | #Constraints: 60623 2067.98/2074.94 c #Conflicts: 726000 | #Constraints: 61628 2067.98/2074.94 c #Conflicts: 727000 | #Constraints: 62628 2067.98/2074.94 c #Conflicts: 728000 | #Constraints: 63628 2067.98/2074.94 c #Conflicts: 729000 | #Constraints: 64629 2067.98/2074.94 c #Conflicts: 730000 | #Constraints: 65629 2067.98/2074.94 c #Conflicts: 731000 | #Constraints: 66629 2067.98/2074.94 c #Conflicts: 732000 | #Constraints: 67629 2067.98/2074.94 c #Conflicts: 733000 | #Constraints: 68631 2067.98/2074.94 c INPROCESSING 2067.98/2074.94 c GARBAGE COLLECT 2067.98/2074.94 c rational objective 50 2152.89/2160.16 c #Conflicts: 734000 | #Constraints: 37121 2152.89/2160.16 c #Conflicts: 735000 | #Constraints: 38123 2152.89/2160.16 c #Conflicts: 736000 | #Constraints: 39125 2152.89/2160.16 c #Conflicts: 737000 | #Constraints: 40131 2152.89/2160.16 c #Conflicts: 738000 | #Constraints: 41134 2152.89/2160.16 c #Conflicts: 739000 | #Constraints: 42136 2152.89/2160.16 c #Conflicts: 740000 | #Constraints: 43138 2152.89/2160.16 c #Conflicts: 741000 | #Constraints: 44139 2152.89/2160.16 c #Conflicts: 742000 | #Constraints: 45143 2152.89/2160.16 c #Conflicts: 743000 | #Constraints: 46146 2152.89/2160.16 c #Conflicts: 744000 | #Constraints: 47152 2152.89/2160.16 c #Conflicts: 745000 | #Constraints: 48155 2152.89/2160.16 c #Conflicts: 746000 | #Constraints: 49156 2152.89/2160.16 c #Conflicts: 747000 | #Constraints: 50157 2152.89/2160.16 c #Conflicts: 748000 | #Constraints: 51157 2152.89/2160.16 c #Conflicts: 749000 | #Constraints: 52158 2152.89/2160.16 c #Conflicts: 750000 | #Constraints: 53167 2152.89/2160.16 c #Conflicts: 751000 | #Constraints: 54169 2152.89/2160.16 c #Conflicts: 752000 | #Constraints: 55169 2152.89/2160.16 c #Conflicts: 753000 | #Constraints: 56185 2152.89/2160.16 c INPROCESSING 2152.89/2160.16 c GARBAGE COLLECT 2152.89/2160.16 c rational objective 50 2489.51/2497.96 c #Conflicts: 754000 | #Constraints: 30780 2489.51/2497.96 c #Conflicts: 755000 | #Constraints: 31780 2489.51/2497.96 c #Conflicts: 756000 | #Constraints: 32780 2489.51/2497.96 c #Conflicts: 757000 | #Constraints: 33780 2489.51/2497.96 c #Conflicts: 758000 | #Constraints: 34780 2489.51/2497.96 c #Conflicts: 759000 | #Constraints: 35780 2489.51/2497.96 c #Conflicts: 760000 | #Constraints: 36781 2489.51/2497.96 c #Conflicts: 761000 | #Constraints: 37781 2489.51/2497.96 c #Conflicts: 762000 | #Constraints: 38781 2489.51/2497.96 c #Conflicts: 763000 | #Constraints: 39782 2489.51/2497.96 c #Conflicts: 764000 | #Constraints: 40782 2489.51/2497.96 c #Conflicts: 765000 | #Constraints: 41783 2489.51/2497.96 c #Conflicts: 766000 | #Constraints: 42783 2489.51/2497.96 c #Conflicts: 767000 | #Constraints: 43783 2489.51/2497.96 c #Conflicts: 768000 | #Constraints: 44783 2489.51/2497.96 c #Conflicts: 769000 | #Constraints: 45785 2489.51/2497.96 c #Conflicts: 770000 | #Constraints: 46786 2489.51/2497.96 c #Conflicts: 771000 | #Constraints: 47787 2489.51/2497.96 c #Conflicts: 772000 | #Constraints: 48788 2489.51/2497.96 c bounds 99 >= 51 @ 2205.49 2489.51/2497.96 c #Conflicts: 773000 | #Constraints: 49794 2489.51/2497.96 c #Conflicts: 774000 | #Constraints: 50794 2489.51/2497.96 c #Conflicts: 775000 | #Constraints: 51794 2489.51/2497.96 c #Conflicts: 776000 | #Constraints: 52794 2489.51/2497.96 c #Conflicts: 777000 | #Constraints: 53794 2489.51/2497.96 c #Conflicts: 778000 | #Constraints: 54794 2489.51/2497.96 c #Conflicts: 779000 | #Constraints: 55794 2489.51/2497.96 c #Conflicts: 780000 | #Constraints: 56794 2489.51/2497.96 c #Conflicts: 781000 | #Constraints: 57827 2489.51/2497.96 c #Conflicts: 782000 | #Constraints: 58839 2489.51/2497.96 c #Conflicts: 783000 | #Constraints: 59841 2489.51/2497.96 c #Conflicts: 784000 | #Constraints: 60841 2489.51/2497.96 c #Conflicts: 785000 | #Constraints: 61841 2489.51/2497.96 c #Conflicts: 786000 | #Constraints: 62855 2489.51/2497.96 c #Conflicts: 787000 | #Constraints: 63970 2489.51/2497.96 c #Conflicts: 788000 | #Constraints: 65488 2489.51/2497.96 c #Conflicts: 789000 | #Constraints: 66510 2489.51/2497.96 c #Conflicts: 790000 | #Constraints: 67510 2489.51/2497.96 c #Conflicts: 791000 | #Constraints: 68510 2489.51/2497.96 c #Conflicts: 792000 | #Constraints: 69510 2489.51/2497.96 c #Conflicts: 793000 | #Constraints: 70512 2489.51/2497.96 c #Conflicts: 794000 | #Constraints: 71517 2489.51/2497.96 c #Conflicts: 795000 | #Constraints: 72538 2489.51/2497.96 c #Conflicts: 796000 | #Constraints: 73541 2489.51/2497.96 c #Conflicts: 797000 | #Constraints: 74541 2489.51/2497.96 c #Conflicts: 798000 | #Constraints: 75541 2489.51/2497.96 c #Conflicts: 799000 | #Constraints: 76541 2489.51/2497.96 c #Conflicts: 800000 | #Constraints: 77541 2489.51/2497.96 c #Conflicts: 801000 | #Constraints: 78553 2489.51/2497.96 c #Conflicts: 802000 | #Constraints: 79563 2489.51/2497.96 c #Conflicts: 803000 | #Constraints: 80575 2489.51/2497.96 c #Conflicts: 804000 | #Constraints: 81577 2489.51/2497.96 c #Conflicts: 805000 | #Constraints: 82577 2489.51/2497.96 c #Conflicts: 806000 | #Constraints: 83577 2489.51/2497.96 c #Conflicts: 807000 | #Constraints: 84577 2489.51/2497.96 c #Conflicts: 808000 | #Constraints: 85577 2489.51/2497.96 c #Conflicts: 809000 | #Constraints: 86577 2489.51/2497.96 c #Conflicts: 810000 | #Constraints: 87577 2489.51/2497.96 c #Conflicts: 811000 | #Constraints: 88577 2489.51/2497.96 c #Conflicts: 812000 | #Constraints: 89580 2489.51/2497.96 c #Conflicts: 813000 | #Constraints: 90612 2489.51/2497.96 c #Conflicts: 814000 | #Constraints: 91656 2489.51/2497.96 c #Conflicts: 815000 | #Constraints: 92715 2489.51/2497.96 c #Conflicts: 816000 | #Constraints: 93738 2489.51/2497.96 c #Conflicts: 817000 | #Constraints: 94738 2489.51/2497.96 c #Conflicts: 818000 | #Constraints: 95738 2489.51/2497.96 c INPROCESSING 2489.51/2497.96 c GARBAGE COLLECT 2489.51/2497.96 c #Conflicts: 819000 | #Constraints: 50662 2489.51/2497.96 c #Conflicts: 820000 | #Constraints: 51663 2489.51/2497.96 c #Conflicts: 821000 | #Constraints: 52664 2489.51/2497.96 c #Conflicts: 822000 | #Constraints: 53671 2489.51/2497.96 c #Conflicts: 823000 | #Constraints: 54672 2489.51/2497.96 c #Conflicts: 824000 | #Constraints: 55675 2489.51/2497.96 c #Conflicts: 825000 | #Constraints: 56676 2489.51/2497.96 c #Conflicts: 826000 | #Constraints: 57676 2489.51/2497.96 c #Conflicts: 827000 | #Constraints: 58677 2489.51/2497.96 c #Conflicts: 828000 | #Constraints: 59679 2489.51/2497.96 c #Conflicts: 829000 | #Constraints: 60679 2489.51/2497.96 c #Conflicts: 830000 | #Constraints: 61679 2489.51/2497.96 c #Conflicts: 831000 | #Constraints: 62680 2541.63/2550.20 c #Conflicts: 832000 | #Constraints: 63682 2541.63/2550.20 c #Conflicts: 833000 | #Constraints: 64682 2541.63/2550.20 c #Conflicts: 834000 | #Constraints: 65682 2541.63/2550.20 c #Conflicts: 835000 | #Constraints: 66683 2541.63/2550.20 c #Conflicts: 836000 | #Constraints: 67685 2541.63/2550.20 c #Conflicts: 837000 | #Constraints: 68687 2541.63/2550.20 c #Conflicts: 838000 | #Constraints: 69687 2541.63/2550.20 c #Conflicts: 839000 | #Constraints: 70687 2541.63/2550.20 c #Conflicts: 840000 | #Constraints: 71688 2541.63/2550.20 c INPROCESSING 2541.63/2550.20 c GARBAGE COLLECT 2541.63/2550.20 WSVECS04 Frhs2[6]: 6 -32 0 shouldn't be 2541.63/2550.22 c rational objective 51 2648.34/2657.37 c #Conflicts: 841000 | #Constraints: 38746 2648.34/2657.37 c #Conflicts: 842000 | #Constraints: 39746 2648.34/2657.37 c #Conflicts: 843000 | #Constraints: 40746 2648.34/2657.37 c #Conflicts: 844000 | #Constraints: 41746 2648.34/2657.37 c #Conflicts: 845000 | #Constraints: 42748 2648.34/2657.37 c #Conflicts: 846000 | #Constraints: 43752 2648.34/2657.37 c #Conflicts: 847000 | #Constraints: 44783 2648.34/2657.37 c #Conflicts: 848000 | #Constraints: 45807 2648.34/2657.37 c #Conflicts: 849000 | #Constraints: 46809 2648.34/2657.37 c #Conflicts: 850000 | #Constraints: 47814 2648.34/2657.37 c #Conflicts: 851000 | #Constraints: 48816 2648.34/2657.37 c #Conflicts: 852000 | #Constraints: 49823 2648.34/2657.37 c #Conflicts: 853000 | #Constraints: 50858 2648.34/2657.37 c #Conflicts: 854000 | #Constraints: 51876 2648.34/2657.37 c #Conflicts: 855000 | #Constraints: 52891 2648.34/2657.37 c #Conflicts: 856000 | #Constraints: 53916 2648.34/2657.37 c #Conflicts: 857000 | #Constraints: 54930 2648.34/2657.37 c #Conflicts: 858000 | #Constraints: 55930 2648.34/2657.37 c #Conflicts: 859000 | #Constraints: 56932 2648.34/2657.37 c #Conflicts: 860000 | #Constraints: 57932 2648.34/2657.37 c #Conflicts: 861000 | #Constraints: 58935 2648.34/2657.37 c INPROCESSING 2648.34/2657.37 c GARBAGE COLLECT 2648.34/2657.37 c rational objective 51 3040.66/3051.08 c #Conflicts: 862000 | #Constraints: 33582 3040.66/3051.08 c #Conflicts: 863000 | #Constraints: 34582 3040.66/3051.08 c #Conflicts: 864000 | #Constraints: 35582 3040.66/3051.08 c #Conflicts: 865000 | #Constraints: 36582 3040.66/3051.08 c #Conflicts: 866000 | #Constraints: 37582 3040.66/3051.08 c #Conflicts: 867000 | #Constraints: 38582 3040.66/3051.08 c #Conflicts: 868000 | #Constraints: 39582 3040.66/3051.08 c #Conflicts: 869000 | #Constraints: 40582 3040.66/3051.08 c #Conflicts: 870000 | #Constraints: 41582 3040.66/3051.08 c #Conflicts: 871000 | #Constraints: 42582 3040.66/3051.08 c #Conflicts: 872000 | #Constraints: 43582 3040.66/3051.08 c #Conflicts: 873000 | #Constraints: 44582 3040.66/3051.08 c #Conflicts: 874000 | #Constraints: 45582 3040.66/3051.08 c #Conflicts: 875000 | #Constraints: 46582 3040.66/3051.08 c #Conflicts: 876000 | #Constraints: 47582 3040.66/3051.08 c #Conflicts: 877000 | #Constraints: 48582 3040.66/3051.08 c #Conflicts: 878000 | #Constraints: 49582 3040.66/3051.08 c #Conflicts: 879000 | #Constraints: 50582 3040.66/3051.08 c #Conflicts: 880000 | #Constraints: 51582 3040.66/3051.08 c #Conflicts: 881000 | #Constraints: 52582 3040.66/3051.08 c #Conflicts: 882000 | #Constraints: 53582 3040.66/3051.08 c #Conflicts: 883000 | #Constraints: 54582 3040.66/3051.08 c #Conflicts: 884000 | #Constraints: 55582 3040.66/3051.08 c #Conflicts: 885000 | #Constraints: 56582 3040.66/3051.08 c #Conflicts: 886000 | #Constraints: 57582 3040.66/3051.08 c #Conflicts: 887000 | #Constraints: 58582 3040.66/3051.08 c #Conflicts: 888000 | #Constraints: 59582 3040.66/3051.08 c #Conflicts: 889000 | #Constraints: 60582 3040.66/3051.08 c #Conflicts: 890000 | #Constraints: 61582 3040.66/3051.08 c #Conflicts: 891000 | #Constraints: 62582 3040.66/3051.08 c #Conflicts: 892000 | #Constraints: 63582 3040.66/3051.08 c #Conflicts: 893000 | #Constraints: 64582 3040.66/3051.08 c #Conflicts: 894000 | #Constraints: 65582 3040.66/3051.08 c #Conflicts: 895000 | #Constraints: 66582 3040.66/3051.08 c #Conflicts: 896000 | #Constraints: 67582 3040.66/3051.08 c #Conflicts: 897000 | #Constraints: 68582 3040.66/3051.08 c #Conflicts: 898000 | #Constraints: 69582 3040.66/3051.08 c #Conflicts: 899000 | #Constraints: 70582 3040.66/3051.08 c #Conflicts: 900000 | #Constraints: 71582 3040.66/3051.08 c #Conflicts: 901000 | #Constraints: 72582 3040.66/3051.08 c #Conflicts: 902000 | #Constraints: 73582 3040.66/3051.08 c #Conflicts: 903000 | #Constraints: 74582 3040.66/3051.08 c #Conflicts: 904000 | #Constraints: 75582 3040.66/3051.08 c #Conflicts: 905000 | #Constraints: 76582 3040.66/3051.08 c #Conflicts: 906000 | #Constraints: 77582 3040.66/3051.08 c #Conflicts: 907000 | #Constraints: 78582 3040.66/3051.08 c #Conflicts: 908000 | #Constraints: 79582 3040.66/3051.08 c #Conflicts: 909000 | #Constraints: 80582 3040.66/3051.08 c #Conflicts: 910000 | #Constraints: 81582 3040.66/3051.08 c #Conflicts: 911000 | #Constraints: 82582 3040.66/3051.08 c #Conflicts: 912000 | #Constraints: 83582 3040.66/3051.08 c #Conflicts: 913000 | #Constraints: 84582 3040.66/3051.08 c #Conflicts: 914000 | #Constraints: 85582 3040.66/3051.08 c #Conflicts: 915000 | #Constraints: 86582 3040.66/3051.08 c #Conflicts: 916000 | #Constraints: 87582 3040.66/3051.08 c #Conflicts: 917000 | #Constraints: 88582 3040.66/3051.08 c #Conflicts: 918000 | #Constraints: 89582 3040.66/3051.08 c #Conflicts: 919000 | #Constraints: 90582 3040.66/3051.08 c #Conflicts: 920000 | #Constraints: 91582 3040.66/3051.08 c #Conflicts: 921000 | #Constraints: 92582 3040.66/3051.08 c #Conflicts: 922000 | #Constraints: 93582 3040.66/3051.08 c #Conflicts: 923000 | #Constraints: 94582 3040.66/3051.08 c #Conflicts: 924000 | #Constraints: 95582 3040.66/3051.08 c #Conflicts: 925000 | #Constraints: 96582 3040.66/3051.08 c #Conflicts: 926000 | #Constraints: 97582 3040.66/3051.08 c #Conflicts: 927000 | #Constraints: 98582 3040.66/3051.08 c #Conflicts: 928000 | #Constraints: 99582 3040.66/3051.08 c #Conflicts: 929000 | #Constraints: 100582 3040.66/3051.08 c #Conflicts: 930000 | #Constraints: 101582 3040.66/3051.08 c INPROCESSING 3040.66/3051.08 c GARBAGE COLLECT 3040.66/3051.08 c rational objective 51 3210.65/3221.60 c #Conflicts: 931000 | #Constraints: 53344 3210.65/3221.60 c #Conflicts: 932000 | #Constraints: 54344 3210.65/3221.60 c #Conflicts: 933000 | #Constraints: 55345 3210.65/3221.60 c #Conflicts: 934000 | #Constraints: 56445 3210.65/3221.60 c #Conflicts: 935000 | #Constraints: 57652 3210.65/3221.60 c #Conflicts: 936000 | #Constraints: 58696 3210.65/3221.60 c #Conflicts: 937000 | #Constraints: 60079 3210.65/3221.60 c #Conflicts: 938000 | #Constraints: 61079 3210.65/3221.60 c #Conflicts: 939000 | #Constraints: 62091 3210.65/3221.60 c #Conflicts: 940000 | #Constraints: 63107 3210.65/3221.60 c #Conflicts: 941000 | #Constraints: 64107 3210.65/3221.60 c #Conflicts: 942000 | #Constraints: 65149 3210.65/3221.60 c #Conflicts: 943000 | #Constraints: 66531 3210.65/3221.60 c #Conflicts: 944000 | #Constraints: 68291 3210.65/3221.60 c #Conflicts: 945000 | #Constraints: 69556 3210.65/3221.60 c #Conflicts: 946000 | #Constraints: 70558 3210.65/3221.60 c #Conflicts: 947000 | #Constraints: 71558 3210.65/3221.60 c #Conflicts: 948000 | #Constraints: 72558 3210.65/3221.60 c #Conflicts: 949000 | #Constraints: 73639 3210.65/3221.60 c #Conflicts: 950000 | #Constraints: 75041 3210.65/3221.60 c #Conflicts: 951000 | #Constraints: 76415 3210.65/3221.60 c #Conflicts: 952000 | #Constraints: 77415 3210.65/3221.60 c #Conflicts: 953000 | #Constraints: 78415 3210.65/3221.60 c #Conflicts: 954000 | #Constraints: 79415 3210.65/3221.60 c INPROCESSING 3210.65/3221.60 c GARBAGE COLLECT 3210.65/3221.60 c rational objective 51 3328.03/3339.40 c #Conflicts: 955000 | #Constraints: 42609 3328.03/3339.40 c #Conflicts: 956000 | #Constraints: 43609 3328.03/3339.40 c #Conflicts: 957000 | #Constraints: 44609 3328.03/3339.40 c #Conflicts: 958000 | #Constraints: 45609 3328.03/3339.40 c #Conflicts: 959000 | #Constraints: 46610 3328.03/3339.40 c #Conflicts: 960000 | #Constraints: 47614 3328.03/3339.40 c #Conflicts: 961000 | #Constraints: 48615 3328.03/3339.40 c #Conflicts: 962000 | #Constraints: 49615 3328.03/3339.40 c #Conflicts: 963000 | #Constraints: 50615 3328.03/3339.40 c #Conflicts: 964000 | #Constraints: 51615 3328.03/3339.40 c #Conflicts: 965000 | #Constraints: 52618 3328.03/3339.40 c #Conflicts: 966000 | #Constraints: 53619 3328.03/3339.40 c #Conflicts: 967000 | #Constraints: 54620 3328.03/3339.40 c #Conflicts: 968000 | #Constraints: 55620 3328.03/3339.40 c #Conflicts: 969000 | #Constraints: 56623 3328.03/3339.40 c #Conflicts: 970000 | #Constraints: 57626 3328.03/3339.40 c #Conflicts: 971000 | #Constraints: 58629 3328.03/3339.40 c #Conflicts: 972000 | #Constraints: 59629 3328.03/3339.40 c #Conflicts: 973000 | #Constraints: 60630 3328.03/3339.40 c #Conflicts: 974000 | #Constraints: 61631 3328.03/3339.40 c #Conflicts: 975000 | #Constraints: 62635 3328.03/3339.40 c #Conflicts: 976000 | #Constraints: 63636 3328.03/3339.40 c #Conflicts: 977000 | #Constraints: 64640 3328.03/3339.40 c INPROCESSING 3328.03/3339.40 c GARBAGE COLLECT 3328.03/3339.40 c rational objective 51 3600.05/3612.40 c #Conflicts: 978000 | #Constraints: 38833 3600.05/3612.40 c #Conflicts: 979000 | #Constraints: 39833 3600.05/3612.40 c #Conflicts: 980000 | #Constraints: 40833 3600.05/3612.40 c #Conflicts: 981000 | #Constraints: 41835 3600.05/3612.40 c #Conflicts: 982000 | #Constraints: 42836 3600.05/3612.40 c #Conflicts: 983000 | #Constraints: 43836 3600.05/3612.40 c #Conflicts: 984000 | #Constraints: 44843 3600.05/3612.40 c #Conflicts: 985000 | #Constraints: 45844 3600.05/3612.40 c #Conflicts: 986000 | #Constraints: 46845 3600.05/3612.40 c #Conflicts: 987000 | #Constraints: 47847 3600.05/3612.40 c #Conflicts: 988000 | #Constraints: 48848 3600.05/3612.40 c #Conflicts: 989000 | #Constraints: 49849 3600.05/3612.40 c #Conflicts: 990000 | #Constraints: 50851 3600.05/3612.40 c #Conflicts: 991000 | #Constraints: 51851 3600.05/3612.40 c #Conflicts: 992000 | #Constraints: 52856 3600.05/3612.40 c #Conflicts: 993000 | #Constraints: 53859 3600.05/3612.40 c #Conflicts: 994000 | #Constraints: 54859 3600.05/3612.40 c #Conflicts: 995000 | #Constraints: 55859 3600.05/3612.40 c #Conflicts: 996000 | #Constraints: 56861 3600.05/3612.40 c #Conflicts: 997000 | #Constraints: 57864 3600.05/3612.40 c #Conflicts: 998000 | #Constraints: 58864 3600.05/3612.40 c #Conflicts: 999000 | #Constraints: 59864 3600.05/3612.40 c #Conflicts: 1000000 | #Constraints: 60864 3600.05/3612.40 c #Conflicts: 1001000 | #Constraints: 61870 3600.05/3612.40 c #Conflicts: 1002000 | #Constraints: 62870 3600.05/3612.40 c #Conflicts: 1003000 | #Constraints: 63873 3600.05/3612.40 c #Conflicts: 1004000 | #Constraints: 64873 3600.05/3612.40 c #Conflicts: 1005000 | #Constraints: 65877 3600.05/3612.40 c #Conflicts: 1006000 | #Constraints: 66877 3600.05/3612.40 c #Conflicts: 1007000 | #Constraints: 67878 3600.05/3612.40 c #Conflicts: 1008000 | #Constraints: 68879 3600.05/3612.40 c #Conflicts: 1009000 | #Constraints: 69880 3600.05/3612.40 c #Conflicts: 1010000 | #Constraints: 70882 3600.05/3612.40 c #Conflicts: 1011000 | #Constraints: 71882 3600.05/3612.40 c #Conflicts: 1012000 | #Constraints: 72882 3600.05/3612.40 c #Conflicts: 1013000 | #Constraints: 73884 3600.05/3612.40 c #Conflicts: 1014000 | #Constraints: 74886 3600.05/3612.40 c #Conflicts: 1015000 | #Constraints: 75886 3600.05/3612.40 c #Conflicts: 1016000 | #Constraints: 76889 3600.05/3612.40 c #Conflicts: 1017000 | #Constraints: 77896 3600.05/3612.40 c #Conflicts: 1018000 | #Constraints: 78896 3600.05/3612.40 c #Conflicts: 1019000 | #Constraints: 79896 3600.05/3612.40 c #Conflicts: 1020000 | #Constraints: 80913 3600.05/3612.40 c #Conflicts: 1021000 | #Constraints: 81914 3600.05/3612.40 c #Conflicts: 1022000 | #Constraints: 82921 3600.05/3612.40 c #Conflicts: 1023000 | #Constraints: 83921 3600.05/3612.40 c #Conflicts: 1024000 | #Constraints: 84922 3600.05/3612.40 c Program interrupted by user. 3600.05/3612.40 c cpu time 3586.92 s 3600.05/3612.40 c deterministic time 329777591080 3.30e+11 3600.05/3612.40 c optimization time 271.254 s 3600.05/3612.40 c total solve time 3315.63 s 3600.05/3612.40 c core-guided solve time 1614.89 s 3600.05/3612.40 c propagation time 3397.69 s 3600.05/3612.40 c conflict analysis time 170.189 s 3600.05/3612.40 c propagations 292099353 3600.05/3612.40 c resolve steps 4958524 3600.05/3612.40 c decisions 4024746 3600.05/3612.40 c conflicts 1024995 3600.05/3612.40 c restarts 2046 3600.05/3612.40 c inprocessing phases 54 3600.05/3612.40 c input clauses 96 3600.05/3612.40 c input cardinalities 43 3600.05/3612.40 c input general constraints 3626 3600.05/3612.40 c input average constraint length 27.19 3600.05/3612.40 c input average constraint degree 432.96 3600.05/3612.40 c learned clauses 333452 3600.05/3612.40 c learned cardinalities 2 3600.05/3612.40 c learned general constraints 739860 3600.05/3612.40 c learned average constraint length 40.48 3600.05/3612.40 c learned average constraint degree 72710289.38 3600.05/3612.40 c watched constraints 741302 3600.05/3612.40 c counting constraints 2184 3600.05/3612.40 c gcd simplifications 8664 3600.05/3612.40 c detected cardinalities 2 3600.05/3612.40 c weakened non-implied lits 2868542 3600.05/3612.40 c weakened non-implying lits 3768 3600.05/3612.40 c original variables 1812 3600.05/3612.40 c clausal propagations 2164919 3600.05/3612.40 c cardinality propagations 92633 3600.05/3612.40 c watched propagations 281398095 3600.05/3612.40 c counting propagations 7882046 3600.05/3612.40 c watch lookups 58986918506 3600.05/3612.40 c watch backjump lookups 52552859605 3600.05/3612.40 c watch checks 149855172877 3600.05/3612.40 c propagation checks 67616910656 3600.05/3612.40 c constraint additions 171391122 3600.05/3612.40 c trail pops 297148274 3600.05/3612.40 c formula constraints 3443 3600.05/3612.40 c learned constraints 1024995 3600.05/3612.40 c bound constraints 56 3600.05/3612.40 c core-guided constraints 266 3600.05/3612.40 c encountered formula constraints 3700649 3600.05/3612.40 c encountered learned constraints 2260481 3600.05/3612.40 c encountered bound constraints 14814 3600.05/3612.40 c encountered core-guided constraints 146 3600.05/3612.40 c LP total time 92.1287 s 3600.05/3612.40 c LP solve time 81.74 s 3600.05/3612.40 c LP constraints added 3709 3600.05/3612.40 c LP constraints removed 262 3600.05/3612.40 c LP pivots internal 1025741 3600.05/3612.40 c LP pivots root 40199 3600.05/3612.40 c LP calls 50435 3600.05/3612.40 c LP optimalities 1064 3600.05/3612.40 c LP no pivot count 70 3600.05/3612.40 c LP infeasibilities 49316 3600.05/3612.40 c LP valid Farkas constraints 48256 3600.05/3612.40 c LP learned Farkas constraints 0 3600.05/3612.40 c LP basis resets 52 3600.05/3612.40 c LP cycling count 26 3600.05/3612.40 c LP singular count 26 3600.05/3612.40 c LP no primal count 0 3600.05/3612.40 c LP no farkas count 0 3600.05/3612.40 c LP other issue count 0 3600.05/3612.40 c LP Gomory cuts 63 3600.05/3612.40 c LP learned cuts 203 3600.05/3612.40 c LP deleted cuts 262 3600.05/3612.40 c LP encountered Gomory constraints 1386 3600.05/3612.40 c LP encountered Farkas constraints 6043 3600.05/3612.40 c LP encountered learned Farkas constraints 0 3600.05/3612.40 c CG auxiliary variables introduced 103 3600.05/3612.40 c CG solutions found 13 3600.05/3612.40 c CG cores constructed 43 3600.05/3612.40 c CG core cardinality constraints returned 0 3600.05/3612.40 c CG unit cores 0 3600.05/3612.40 c CG single cores 43 3600.05/3612.40 c CG blocks removed during cardinality reduction 4 3600.05/3612.40 c CG first core best 0 3600.05/3612.40 c CG decision core best 0 3600.05/3612.40 c CG core reduction tie 0 3600.05/3612.40 c CG core degree average 1.00 3600.05/3612.40 c CG core slack average 3.02 3600.05/3612.40 s SATISFIABLE 3600.05/3612.40 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
OK 99
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 (60298 MiB free)
memory of node 1: 64473 MiB (60420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455153-1721459512/watcher-4455153-1721459512 -o /tmp/evaluation-result-4455153-1721459512/solver-4455153-1721459512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058591 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455153-1721459512.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1058747, runsolver pid=1058744
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123601760/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=51164 memory=21284 CPUtime=0.09 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 6075 0 0 0 8 1 0 0 20 0 1 0 198121788 52391936 5321 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 12791 5321 1742 922 0 4743 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51164 KiB
Current children cumulated memory: 21284 KiB
[startup+0.205959 s]*
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123601256/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=51164 memory=21660 CPUtime=0.2 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 6135 0 0 0 18 2 0 0 20 0 1 0 198121788 52391936 5415 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 12791 5415 1772 922 0 4743 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51164 KiB
Current children cumulated memory: 21660 KiB
[startup+0.304962 s]*
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123600780/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=51164 memory=21660 CPUtime=0.29 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 6170 0 0 0 27 2 0 0 20 0 1 0 198121788 52391936 5415 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 12791 5415 1772 922 0 4743 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51164 KiB
Current children cumulated memory: 21660 KiB
[startup+0.700165 s]
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123595676/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=52680 memory=25688 CPUtime=0.69 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 7370 0 0 0 65 4 0 0 20 0 1 0 198121788 53944320 6422 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 13170 6422 1850 922 0 5122 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52680 KiB
Current children cumulated memory: 25688 KiB
[startup+1.50015 s]
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123593976/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=52680 memory=25688 CPUtime=1.49 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 7370 0 0 0 142 7 0 0 20 0 1 0 198121788 53944320 6422 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 13170 6422 1850 922 0 5122 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52680 KiB
Current children cumulated memory: 25688 KiB
[startup+3.10565 s]
/proc/loadavg: 1.01 1.13 1.72 5/259 1058748
/proc/meminfo: memFree=123584984/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=58552 memory=32228 CPUtime=3.09 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 12217 0 0 0 297 12 0 0 20 0 1 0 198121788 59957248 8057 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 14638 8057 1850 922 0 6590 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58552 KiB
Current children cumulated memory: 32228 KiB
[startup+6.30018 s]
/proc/loadavg: 1.33 1.20 1.74 5/259 1058750
/proc/meminfo: memFree=123571340/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=64800 memory=38948 CPUtime=6.27 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 13625 0 0 0 607 20 0 0 20 0 1 0 198121788 66355200 9737 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 16200 9737 1968 922 0 8152 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64800 KiB
Current children cumulated memory: 38948 KiB
[startup+12.7001 s]
/proc/loadavg: 1.54 1.24 1.75 5/259 1058750
/proc/meminfo: memFree=123565896/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=64800 memory=39068 CPUtime=12.65 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 15300 0 0 0 1233 32 0 0 20 0 1 0 198121788 66355200 9767 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 16200 9767 1968 922 0 8152 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64800 KiB
Current children cumulated memory: 39068 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.38 1.79 5/259 1058752
/proc/meminfo: memFree=123557260/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=68720 memory=43524 CPUtime=25.41 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 18454 0 0 0 2486 55 0 0 20 0 1 0 198121788 70369280 10881 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 17180 10881 1968 922 0 9132 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 68720 KiB
Current children cumulated memory: 43524 KiB
[startup+51.1059 s]
/proc/loadavg: 2.82 1.61 1.85 5/259 1058758
/proc/meminfo: memFree=123541528/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=78532 memory=50496 CPUtime=50.94 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 21307 0 0 0 5003 91 0 0 20 0 1 0 198121788 80416768 12624 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 19633 12624 1968 922 0 11585 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 78532 KiB
Current children cumulated memory: 50496 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.97 5/259 1058766
/proc/meminfo: memFree=123504380/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=93572 memory=65312 CPUtime=101.97 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 23007 0 0 0 10055 142 0 0 20 0 1 0 198121788 95817728 16328 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 23393 16328 1968 922 0 15345 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 93572 KiB
Current children cumulated memory: 65312 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.11 5/259 1058778
/proc/meminfo: memFree=123490044/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=87688 memory=59376 CPUtime=161.78 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 24265 0 0 0 15983 195 0 0 20 0 1 0 198121788 89792512 14844 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 21922 14844 1968 922 0 13874 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 87688 KiB
Current children cumulated memory: 59376 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.72 2.25 5/259 1058788
/proc/meminfo: memFree=123462696/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=97656 memory=69520 CPUtime=221.59 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 28253 0 0 0 21913 246 0 0 20 0 1 0 198121788 99999744 17380 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 24414 17380 1968 922 0 16366 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 97656 KiB
Current children cumulated memory: 69520 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.97 2.36 5/256 1058798
/proc/meminfo: memFree=123440336/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=97656 memory=71568 CPUtime=281.4 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 28261 0 0 0 27852 288 0 0 20 0 1 0 198121788 99999744 17892 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 24414 17892 1968 922 0 16366 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 97656 KiB
Current children cumulated memory: 71568 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.47 5/254 1058810
/proc/meminfo: memFree=123430220/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=102412 memory=76412 CPUtime=341.2 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 28992 0 0 0 33788 332 0 0 20 0 1 0 198121788 104869888 19103 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 25603 19103 1968 922 0 17555 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 102412 KiB
Current children cumulated memory: 76412 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.38 2.59 5/254 1058820
/proc/meminfo: memFree=123427984/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=102412 memory=76412 CPUtime=401.02 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 29022 0 0 0 39745 357 0 0 20 0 1 0 198121788 104869888 19103 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 25603 19103 1968 922 0 17555 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 102412 KiB
Current children cumulated memory: 76412 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.49 2.68 5/254 1058830
/proc/meminfo: memFree=123420032/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=114088 memory=77744 CPUtime=460.82 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 30795 0 0 0 45697 385 0 0 20 0 1 0 198121788 116826112 19436 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 28522 19436 1968 922 0 20474 0
################
# More data... #
################
Current children cumulated memory: 112300 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.04 5/257 1060439
/proc/meminfo: memFree=123244240/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=154392 memory=112300 CPUtime=2852.62 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 48263 0 0 0 284128 1134 0 0 20 0 1 0 198121788 158097408 28075 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 38598 28075 1968 922 0 30550 0
Current children cumulated CPU time: 2852.62 s
Current children cumulated vsize: 154392 KiB
Current children cumulated memory: 112300 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/258 1060452
/proc/meminfo: memFree=123243352/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=154392 memory=112300 CPUtime=2912.41 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 48309 0 0 0 290096 1145 0 0 20 0 1 0 198121788 158097408 28075 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 38598 28075 1968 922 0 30550 0
Current children cumulated CPU time: 2912.41 s
Current children cumulated vsize: 154392 KiB
Current children cumulated memory: 112300 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/257 1060475
/proc/meminfo: memFree=123242596/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=154392 memory=112300 CPUtime=2972.2 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 48355 0 0 0 296065 1155 0 0 20 0 1 0 198121788 158097408 28075 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 38598 28075 1968 922 0 30550 0
Current children cumulated CPU time: 2972.2 s
Current children cumulated vsize: 154392 KiB
Current children cumulated memory: 112300 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/257 1060486
/proc/meminfo: memFree=123239708/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=154392 memory=114348 CPUtime=3031.98 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 48402 0 0 0 302033 1165 0 0 20 0 1 0 198121788 158097408 28587 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 38598 28587 1968 922 0 30550 0
Current children cumulated CPU time: 3031.98 s
Current children cumulated vsize: 154392 KiB
Current children cumulated memory: 114348 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/256 1060497
/proc/meminfo: memFree=123232344/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=158388 memory=120316 CPUtime=3091.77 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 48921 0 0 0 307997 1180 0 0 20 0 1 0 198121788 162189312 30079 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 39597 30079 1968 922 0 31549 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 120316 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/255 1060509
/proc/meminfo: memFree=123230660/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=158388 memory=120336 CPUtime=3151.56 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 48964 0 0 0 313958 1198 0 0 20 0 1 0 198121788 162189312 30084 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 39597 30084 1968 922 0 31549 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 120336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/255 1060522
/proc/meminfo: memFree=123230068/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=158388 memory=120336 CPUtime=3211.34 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 49009 0 0 0 319922 1212 0 0 20 0 1 0 198121788 162189312 30084 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 39597 30084 1968 922 0 31549 0
Current children cumulated CPU time: 3211.34 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 120336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/255 1060532
/proc/meminfo: memFree=123229280/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=158388 memory=120336 CPUtime=3271.13 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 49052 0 0 0 325883 1230 0 0 20 0 1 0 198121788 162189312 30084 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 39597 30084 1968 922 0 31549 0
Current children cumulated CPU time: 3271.13 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 120336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 1060543
/proc/meminfo: memFree=123234264/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=151544 memory=113620 CPUtime=3330.91 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 50570 0 0 0 331845 1246 0 0 20 0 1 0 198121788 155181056 28405 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 37886 28405 1968 922 0 29838 0
Current children cumulated CPU time: 3330.91 s
Current children cumulated vsize: 151544 KiB
Current children cumulated memory: 113620 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.07 5/255 1060553
/proc/meminfo: memFree=123231168/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=151544 memory=113620 CPUtime=3390.71 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 50608 0 0 0 337805 1266 0 0 20 0 1 0 198121788 155181056 28405 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 37886 28405 1968 922 0 29838 0
Current children cumulated CPU time: 3390.71 s
Current children cumulated vsize: 151544 KiB
Current children cumulated memory: 113620 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/255 1060564
/proc/meminfo: memFree=123232396/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=151544 memory=113620 CPUtime=3450.5 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 50648 0 0 0 343768 1282 0 0 20 0 1 0 198121788 155181056 28405 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 37886 28405 1968 922 0 29838 0
Current children cumulated CPU time: 3450.5 s
Current children cumulated vsize: 151544 KiB
Current children cumulated memory: 113620 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/257 1060578
/proc/meminfo: memFree=123229376/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=151544 memory=113620 CPUtime=3510.28 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 50690 0 0 0 349732 1296 0 0 20 0 1 0 198121788 155181056 28405 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 37886 28405 1968 922 0 29838 0
Current children cumulated CPU time: 3510.28 s
Current children cumulated vsize: 151544 KiB
Current children cumulated memory: 113620 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/257 1060589
/proc/meminfo: memFree=123228616/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=151544 memory=113620 CPUtime=3570.07 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 50734 0 0 0 355698 1309 0 0 20 0 1 0 198121788 155181056 28405 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 37886 28405 1968 922 0 29838 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 151544 KiB
Current children cumulated memory: 113620 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.38 4.18 4.10 5/257 1060779
/proc/meminfo: memFree=122283000/131524596 swapFree=131071996/131071996
[pid=1058747] ppid=1058744 vsize=156532 memory=118436 CPUtime=3600.05 cores=0,2
/proc/1058747/stat : 1058747 (roundingsat) R 1058744 1058747 1058581 0 -1 4194304 51665 0 0 0 358691 1314 0 0 20 0 1 0 198121788 160288768 29609 134679101440 4194304 7968373 140732436947968 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37904384 140732436951996 140732436952160 140732436952160 140732436959177 0
/proc/1058747/statm: 39133 29609 1968 922 0 31085 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 156532 KiB
Current children cumulated memory: 118436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 1058747 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.92 s, system=13.1504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.4
CPU time (s): 3600.07
CPU user time (s): 3586.92
CPU system time (s): 13.1504
CPU usage (%): 99.6586
Max. virtual memory (cumulated for all children) (KiB): 158388
Max. memory (cumulated for all children) (KiB): 120336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 13.1504
maximum resident set size= 125192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 24676
# summary of solver processes directly reported to runsolver:
# pid: 1058747
# total CPU time (s): 3600.07
# total CPU user time (s): 3586.92
# total CPU system time (s): 13.1504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4418 second user time and 18.7574 second system time
The end
Begin job on nodeC034 at 2024-07-20 09:12:05 IDJOB=4455153 IDBENCH=147622 IDSOLVER=3084 FILE ID=nodeC034/4455153-1721459512 RUNJOBID= nodeC034-1721459523-1058591 SLURM_JOB_ID= 7545708 Free space on /tmp= 890068 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_12.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455153-1721459512/watcher-4455153-1721459512 -o /tmp/evaluation-result-4455153-1721459512/solver-4455153-1721459512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721459523-1058591 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455153-1721459512.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c RANDOM SEED=140501844 nodeC034.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 : 3660.216 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.912 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.58 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 : 3661.292 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.429 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.58 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 : 3680.364 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.929 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.58 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 : 3600.293 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.610 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.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 123616956 kB MemAvailable: 129594796 kB Buffers: 546124 kB Cached: 6204660 kB SwapCached: 0 kB Active: 1105072 kB Inactive: 6024396 kB Active(anon): 1508 kB Inactive(anon): 423092 kB Active(file): 1103564 kB Inactive(file): 5601304 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21760 kB Writeback: 0 kB AnonPages: 378848 kB Mapped: 116788 kB Shmem: 45912 kB KReclaimable: 225588 kB Slab: 356332 kB SReclaimable: 225588 kB SUnreclaim: 130744 kB KernelStack: 4176 kB PageTables: 10244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 714588 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74496 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 320212 kB DirectMap2M: 44541952 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890000 MiB End job on nodeC034 at 2024-07-20 10:12:17