| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 99 | 3600.02 | 3609.7 |
| 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.62 c bounds 256 >= 0 @ 0.031724 0.59/0.62 c #Conflicts: 1000 | #Constraints: 4442 0.59/0.62 c #Conflicts: 2000 | #Constraints: 5442 0.59/0.62 c INPROCESSING 0.59/0.62 c GARBAGE COLLECT 0.59/0.62 c rational objective 11 1.38/1.44 c bounds 256 >= 8 @ 0.600356 1.38/1.44 c bounds 256 >= 10 @ 0.600514 1.38/1.44 c bounds 256 >= 11 @ 0.60064 1.38/1.44 c bounds 256 >= 12 @ 0.602008 1.38/1.44 c bounds 256 >= 13 @ 0.60279 1.38/1.44 c bounds 256 >= 14 @ 0.603373 1.38/1.44 c bounds 256 >= 15 @ 0.604599 1.38/1.44 c bounds 256 >= 16 @ 0.606441 1.38/1.44 c bounds 256 >= 17 @ 0.60802 1.38/1.44 c bounds 256 >= 18 @ 0.611606 1.38/1.44 c bounds 256 >= 19 @ 0.61652 1.38/1.44 c bounds 256 >= 20 @ 0.623939 1.38/1.44 c bounds 256 >= 21 @ 0.655909 1.38/1.44 c bounds 256 >= 22 @ 0.681374 1.38/1.44 c bounds 256 >= 23 @ 0.696962 1.38/1.44 c bounds 256 >= 24 @ 0.726995 1.38/1.44 c bounds 256 >= 25 @ 0.767209 1.38/1.44 c bounds 256 >= 26 @ 0.843683 1.38/1.44 c bounds 256 >= 27 @ 0.869016 1.38/1.44 c #Conflicts: 3000 | #Constraints: 5571 1.38/1.44 c bounds 256 >= 28 @ 1.10486 1.38/1.44 c bounds 142 >= 28 @ 1.1559 1.38/1.44 c bounds 138 >= 28 @ 1.19803 1.38/1.44 c #Conflicts: 4000 | #Constraints: 6579 1.38/1.44 c INPROCESSING 1.38/1.44 c GARBAGE COLLECT 1.38/1.44 c rational objective 28 2.09/2.19 c bounds 136 >= 28 @ 1.40121 2.09/2.19 c bounds 120 >= 28 @ 1.40995 2.09/2.19 c bounds 116 >= 28 @ 1.5313 2.09/2.19 c bounds 115 >= 28 @ 1.58748 2.09/2.19 c #Conflicts: 5000 | #Constraints: 5974 2.09/2.19 c bounds 115 >= 29 @ 1.71371 2.09/2.19 c #Conflicts: 6000 | #Constraints: 6983 2.09/2.19 c bounds 113 >= 29 @ 1.96816 2.09/2.19 c INPROCESSING 2.09/2.19 c GARBAGE COLLECT 2.09/2.19 c rational objective 29 7.27/7.30 c #Conflicts: 7000 | #Constraints: 5983 7.27/7.30 c bounds 113 >= 30 @ 2.48734 7.27/7.30 c #Conflicts: 8000 | #Constraints: 6989 7.27/7.30 c bounds 112 >= 30 @ 2.66568 7.27/7.30 c #Conflicts: 9000 | #Constraints: 7990 7.27/7.30 c INPROCESSING 7.27/7.30 c GARBAGE COLLECT 7.27/7.30 c bounds 112 >= 31 @ 3.36051 7.27/7.30 c #Conflicts: 10000 | #Constraints: 6703 7.27/7.30 c bounds 112 >= 32 @ 3.58545 7.27/7.30 c #Conflicts: 11000 | #Constraints: 7706 7.27/7.30 c #Conflicts: 12000 | #Constraints: 8706 7.27/7.30 c INPROCESSING 7.27/7.30 c GARBAGE COLLECT 7.27/7.30 c bounds 112 >= 33 @ 4.49183 7.27/7.30 c #Conflicts: 13000 | #Constraints: 7164 7.27/7.30 c #Conflicts: 14000 | #Constraints: 8164 7.27/7.30 c bounds 112 >= 34 @ 5.02205 7.27/7.30 c #Conflicts: 15000 | #Constraints: 9173 7.27/7.30 c INPROCESSING 7.27/7.30 c GARBAGE COLLECT 7.27/7.30 c #Conflicts: 16000 | #Constraints: 7396 7.27/7.30 c #Conflicts: 17000 | #Constraints: 8408 7.27/7.30 c #Conflicts: 18000 | #Constraints: 9853 7.27/7.30 c INPROCESSING 7.27/7.30 c GARBAGE COLLECT 7.27/7.30 c rational objective 44 8.67/8.72 c #Conflicts: 19000 | #Constraints: 7642 8.67/8.72 c #Conflicts: 20000 | #Constraints: 8642 8.67/8.72 c #Conflicts: 21000 | #Constraints: 9642 8.67/8.72 c bounds 112 >= 35 @ 8.15171 8.67/8.72 c INPROCESSING 8.67/8.72 c GARBAGE COLLECT 8.67/8.72 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.09514 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.16/12.27 c #Conflicts: 26000 | #Constraints: 7896 12.16/12.27 c #Conflicts: 27000 | #Constraints: 8909 12.16/12.27 c #Conflicts: 28000 | #Constraints: 9931 12.16/12.27 c #Conflicts: 29000 | #Constraints: 11064 12.16/12.27 c INPROCESSING 12.16/12.27 c GARBAGE COLLECT 12.16/12.27 c rational objective 35 14.25/14.35 c #Conflicts: 30000 | #Constraints: 8361 14.25/14.35 c #Conflicts: 31000 | #Constraints: 9361 14.25/14.35 c #Conflicts: 32000 | #Constraints: 10363 14.25/14.35 c bounds 104 >= 36 @ 13.5519 14.25/14.35 c #Conflicts: 33000 | #Constraints: 11375 14.25/14.35 c INPROCESSING 14.25/14.35 c GARBAGE COLLECT 14.25/14.35 c rational objective 36 17.24/17.33 c #Conflicts: 34000 | #Constraints: 8517 17.24/17.33 c #Conflicts: 35000 | #Constraints: 10194 17.24/17.33 c bounds 103 >= 36 @ 16.2294 17.24/17.33 c #Conflicts: 36000 | #Constraints: 11764 17.24/17.33 c #Conflicts: 37000 | #Constraints: 12764 17.24/17.33 c INPROCESSING 17.24/17.33 c GARBAGE COLLECT 17.24/17.33 c rational objective 36 19.84/19.98 c #Conflicts: 38000 | #Constraints: 9103 19.84/19.98 c bounds 103 >= 37 @ 17.3198 19.84/19.98 c #Conflicts: 39000 | #Constraints: 10115 19.84/19.98 c #Conflicts: 40000 | #Constraints: 11115 19.84/19.98 c #Conflicts: 41000 | #Constraints: 12116 19.84/19.98 c INPROCESSING 19.84/19.98 c GARBAGE COLLECT 19.84/19.98 c rational objective 37 22.43/22.51 c #Conflicts: 42000 | #Constraints: 8606 22.43/22.51 c #Conflicts: 43000 | #Constraints: 9606 22.43/22.51 c #Conflicts: 44000 | #Constraints: 10606 22.43/22.51 c #Conflicts: 45000 | #Constraints: 11606 22.43/22.51 c bounds 103 >= 38 @ 21.2785 22.43/22.51 c #Conflicts: 46000 | #Constraints: 12612 22.43/22.51 c INPROCESSING 22.43/22.51 c GARBAGE COLLECT 22.43/22.51 c rational objective 38 37.19/37.35 c #Conflicts: 47000 | #Constraints: 9041 37.19/37.35 c #Conflicts: 48000 | #Constraints: 10041 37.19/37.35 c #Conflicts: 49000 | #Constraints: 11041 37.19/37.35 c #Conflicts: 50000 | #Constraints: 12041 37.19/37.35 c #Conflicts: 51000 | #Constraints: 13041 37.19/37.35 c #Conflicts: 52000 | #Constraints: 14041 37.19/37.35 c #Conflicts: 53000 | #Constraints: 15041 37.19/37.35 c #Conflicts: 54000 | #Constraints: 16041 37.19/37.35 c #Conflicts: 55000 | #Constraints: 17041 37.19/37.35 c #Conflicts: 56000 | #Constraints: 18041 37.19/37.35 c bounds 101 >= 38 @ 29.1129 37.19/37.35 c #Conflicts: 57000 | #Constraints: 19042 37.19/37.35 c #Conflicts: 58000 | #Constraints: 20042 37.19/37.35 c bounds 101 >= 39 @ 30.4418 37.19/37.35 c #Conflicts: 59000 | #Constraints: 21054 37.19/37.35 c #Conflicts: 60000 | #Constraints: 22054 37.19/37.35 c #Conflicts: 61000 | #Constraints: 23054 37.19/37.35 c #Conflicts: 62000 | #Constraints: 24055 37.19/37.35 c bounds 101 >= 40 @ 34.9799 37.19/37.35 c #Conflicts: 63000 | #Constraints: 25417 37.19/37.35 c #Conflicts: 64000 | #Constraints: 26417 37.19/37.35 c INPROCESSING 37.19/37.35 c GARBAGE COLLECT 37.19/37.35 c rational objective 40 42.59/42.78 c #Conflicts: 65000 | #Constraints: 15808 42.59/42.78 c #Conflicts: 66000 | #Constraints: 16820 42.59/42.78 c #Conflicts: 67000 | #Constraints: 18025 42.59/42.78 c bounds 100 >= 40 @ 38.7553 42.59/42.78 c #Conflicts: 68000 | #Constraints: 19180 42.59/42.78 c #Conflicts: 69000 | #Constraints: 20180 42.59/42.78 c #Conflicts: 70000 | #Constraints: 21183 42.59/42.78 c INPROCESSING 42.59/42.78 c GARBAGE COLLECT 42.59/42.78 c rational objective 40 47.27/47.45 c #Conflicts: 71000 | #Constraints: 13249 47.27/47.45 c #Conflicts: 72000 | #Constraints: 14253 47.27/47.45 c #Conflicts: 73000 | #Constraints: 15253 47.27/47.45 c #Conflicts: 74000 | #Constraints: 16255 47.27/47.45 c bounds 99 >= 40 @ 44.5699 47.27/47.45 c #Conflicts: 75000 | #Constraints: 17256 47.27/47.45 c bounds 99 >= 41 @ 45.4504 47.27/47.45 c #Conflicts: 76000 | #Constraints: 18271 47.27/47.45 c INPROCESSING 47.27/47.45 c GARBAGE COLLECT 47.27/47.45 c rational objective 41 51.47/51.69 c #Conflicts: 77000 | #Constraints: 11737 51.47/51.69 c #Conflicts: 78000 | #Constraints: 12737 51.47/51.69 c #Conflicts: 79000 | #Constraints: 13737 51.47/51.69 c #Conflicts: 80000 | #Constraints: 14737 51.47/51.69 c #Conflicts: 81000 | #Constraints: 15737 51.47/51.69 c #Conflicts: 82000 | #Constraints: 16737 51.47/51.69 c INPROCESSING 51.47/51.69 c GARBAGE COLLECT 51.47/51.69 c rational objective 41 51.76/51.97 c #Conflicts: 83000 | #Constraints: 10831 51.76/51.97 WSVECS04 Frhs2[1514]: 6 -336 0 shouldn't be 51.76/51.97 WSVECS04 Frhs2[1571]: 6 0 336 shouldn't be 51.76/51.97 WSVECS04 Frhs2[1713]: 6 0 768 shouldn't be 51.76/51.97 WSVECS04 Frhs2[1730]: 6 -1440 0 shouldn't be 51.76/51.97 WSVECS04 Frhs2[1808]: 6 0 432 shouldn't be 57.05/57.28 c #Conflicts: 84000 | #Constraints: 11832 57.05/57.28 c #Conflicts: 85000 | #Constraints: 12832 57.05/57.28 c #Conflicts: 86000 | #Constraints: 13832 57.05/57.28 c #Conflicts: 87000 | #Constraints: 14832 57.05/57.28 c #Conflicts: 88000 | #Constraints: 15834 57.05/57.28 c #Conflicts: 89000 | #Constraints: 16835 57.05/57.28 c INPROCESSING 57.05/57.28 c GARBAGE COLLECT 57.05/57.28 c rational objective 41 99.34/99.61 c #Conflicts: 90000 | #Constraints: 11129 99.34/99.61 c #Conflicts: 91000 | #Constraints: 12129 99.34/99.61 c #Conflicts: 92000 | #Constraints: 13271 99.34/99.61 c #Conflicts: 93000 | #Constraints: 15097 99.34/99.61 c #Conflicts: 94000 | #Constraints: 16883 99.34/99.61 c #Conflicts: 95000 | #Constraints: 18694 99.34/99.61 c #Conflicts: 96000 | #Constraints: 20497 99.34/99.61 c #Conflicts: 97000 | #Constraints: 22303 99.34/99.61 c #Conflicts: 98000 | #Constraints: 24119 99.34/99.61 c #Conflicts: 99000 | #Constraints: 25374 99.34/99.61 c #Conflicts: 100000 | #Constraints: 26374 99.34/99.61 c #Conflicts: 101000 | #Constraints: 27374 99.34/99.61 c #Conflicts: 102000 | #Constraints: 28374 99.34/99.61 c #Conflicts: 103000 | #Constraints: 29374 99.34/99.61 c #Conflicts: 104000 | #Constraints: 30374 99.34/99.61 c #Conflicts: 105000 | #Constraints: 31374 99.34/99.61 c #Conflicts: 106000 | #Constraints: 32374 99.34/99.61 c #Conflicts: 107000 | #Constraints: 33374 99.34/99.61 c #Conflicts: 108000 | #Constraints: 34374 99.34/99.61 c #Conflicts: 109000 | #Constraints: 35374 99.34/99.61 c #Conflicts: 110000 | #Constraints: 36374 99.34/99.61 c #Conflicts: 111000 | #Constraints: 37374 99.34/99.61 c #Conflicts: 112000 | #Constraints: 38374 99.34/99.61 c #Conflicts: 113000 | #Constraints: 39374 99.34/99.61 c #Conflicts: 114000 | #Constraints: 40374 99.34/99.61 c INPROCESSING 99.34/99.61 c GARBAGE COLLECT 99.34/99.61 c bounds 99 >= 42 @ 86.7023 99.34/99.61 c #Conflicts: 115000 | #Constraints: 23055 99.34/99.61 c #Conflicts: 116000 | #Constraints: 24055 99.34/99.61 c #Conflicts: 117000 | #Constraints: 25055 99.34/99.61 c #Conflicts: 118000 | #Constraints: 26057 99.34/99.61 c #Conflicts: 119000 | #Constraints: 27069 99.34/99.61 c #Conflicts: 120000 | #Constraints: 28069 99.34/99.61 c #Conflicts: 121000 | #Constraints: 29069 99.34/99.61 c INPROCESSING 99.34/99.61 c GARBAGE COLLECT 99.34/99.61 c rational objective 42 109.31/109.65 c #Conflicts: 122000 | #Constraints: 16996 109.31/109.65 c #Conflicts: 123000 | #Constraints: 17996 109.31/109.65 c bounds 99 >= 43 @ 100.32 109.31/109.65 c #Conflicts: 124000 | #Constraints: 19005 109.31/109.65 c #Conflicts: 125000 | #Constraints: 20005 109.31/109.65 c #Conflicts: 126000 | #Constraints: 21007 109.31/109.65 c #Conflicts: 127000 | #Constraints: 22008 109.31/109.65 c #Conflicts: 128000 | #Constraints: 23008 109.31/109.65 c #Conflicts: 129000 | #Constraints: 24009 109.31/109.65 c INPROCESSING 109.31/109.65 c GARBAGE COLLECT 109.31/109.65 c rational objective 43 118.99/119.30 c #Conflicts: 130000 | #Constraints: 14474 118.99/119.30 c #Conflicts: 131000 | #Constraints: 15474 118.99/119.30 c #Conflicts: 132000 | #Constraints: 16474 118.99/119.30 c #Conflicts: 133000 | #Constraints: 17474 118.99/119.30 c #Conflicts: 134000 | #Constraints: 18474 118.99/119.30 c #Conflicts: 135000 | #Constraints: 19474 118.99/119.30 c #Conflicts: 136000 | #Constraints: 20474 118.99/119.30 c #Conflicts: 137000 | #Constraints: 21474 118.99/119.30 c #Conflicts: 138000 | #Constraints: 22474 118.99/119.30 c INPROCESSING 118.99/119.30 c GARBAGE COLLECT 118.99/119.30 c rational objective 43 158.59/159.09 c #Conflicts: 139000 | #Constraints: 14123 158.59/159.09 c #Conflicts: 140000 | #Constraints: 15300 158.59/159.09 c #Conflicts: 141000 | #Constraints: 16865 158.59/159.09 c #Conflicts: 142000 | #Constraints: 17868 158.59/159.09 c #Conflicts: 143000 | #Constraints: 18889 158.59/159.09 c #Conflicts: 144000 | #Constraints: 19889 158.59/159.09 c #Conflicts: 145000 | #Constraints: 20983 158.59/159.09 c #Conflicts: 146000 | #Constraints: 22001 158.59/159.09 c #Conflicts: 147000 | #Constraints: 23037 158.59/159.09 c #Conflicts: 148000 | #Constraints: 24231 158.59/159.09 c #Conflicts: 149000 | #Constraints: 25252 158.59/159.09 c #Conflicts: 150000 | #Constraints: 26365 158.59/159.09 c #Conflicts: 151000 | #Constraints: 27505 158.59/159.09 c #Conflicts: 152000 | #Constraints: 28507 158.59/159.09 c #Conflicts: 153000 | #Constraints: 29565 158.59/159.09 c #Conflicts: 154000 | #Constraints: 30570 158.59/159.09 c #Conflicts: 155000 | #Constraints: 31628 158.59/159.09 c #Conflicts: 156000 | #Constraints: 32628 158.59/159.09 c #Conflicts: 157000 | #Constraints: 33628 158.59/159.09 c #Conflicts: 158000 | #Constraints: 34638 158.59/159.09 c #Conflicts: 159000 | #Constraints: 35675 158.59/159.09 c #Conflicts: 160000 | #Constraints: 36885 158.59/159.09 c #Conflicts: 161000 | #Constraints: 37885 158.59/159.09 c #Conflicts: 162000 | #Constraints: 38885 158.59/159.09 c #Conflicts: 163000 | #Constraints: 39887 158.59/159.09 c #Conflicts: 164000 | #Constraints: 40963 158.59/159.09 c #Conflicts: 165000 | #Constraints: 41969 158.59/159.09 c #Conflicts: 166000 | #Constraints: 42973 158.59/159.09 c #Conflicts: 167000 | #Constraints: 43977 158.59/159.09 c #Conflicts: 168000 | #Constraints: 45050 158.59/159.09 c INPROCESSING 158.59/159.09 c GARBAGE COLLECT 158.59/159.09 c rational objective 43 174.24/174.73 c #Conflicts: 169000 | #Constraints: 25421 174.24/174.73 c #Conflicts: 170000 | #Constraints: 26421 174.24/174.73 c #Conflicts: 171000 | #Constraints: 27421 174.24/174.73 c #Conflicts: 172000 | #Constraints: 28421 174.24/174.73 c #Conflicts: 173000 | #Constraints: 29421 174.24/174.73 c #Conflicts: 174000 | #Constraints: 30421 174.24/174.73 c #Conflicts: 175000 | #Constraints: 31422 174.24/174.73 c #Conflicts: 176000 | #Constraints: 32422 174.24/174.73 c bounds 99 >= 44 @ 171.351 174.24/174.73 c #Conflicts: 177000 | #Constraints: 33431 174.24/174.73 c INPROCESSING 174.24/174.73 c GARBAGE COLLECT 174.24/174.73 c rational objective 44 189.51/190.08 c #Conflicts: 178000 | #Constraints: 19349 189.51/190.08 c #Conflicts: 179000 | #Constraints: 20349 189.51/190.08 c #Conflicts: 180000 | #Constraints: 21350 189.51/190.08 c #Conflicts: 181000 | #Constraints: 22350 189.51/190.08 c #Conflicts: 182000 | #Constraints: 23350 189.51/190.08 c #Conflicts: 183000 | #Constraints: 24350 189.51/190.08 c #Conflicts: 184000 | #Constraints: 25354 189.51/190.08 c #Conflicts: 185000 | #Constraints: 26355 189.51/190.08 c #Conflicts: 186000 | #Constraints: 27356 189.51/190.08 c #Conflicts: 187000 | #Constraints: 28356 189.51/190.08 c INPROCESSING 189.51/190.08 c GARBAGE COLLECT 189.51/190.08 c rational objective 44 202.27/202.87 c #Conflicts: 188000 | #Constraints: 16954 202.27/202.87 c #Conflicts: 189000 | #Constraints: 17954 202.27/202.87 c #Conflicts: 190000 | #Constraints: 18954 202.27/202.87 c #Conflicts: 191000 | #Constraints: 19954 202.27/202.87 c #Conflicts: 192000 | #Constraints: 20959 202.27/202.87 c #Conflicts: 193000 | #Constraints: 22183 202.27/202.87 c #Conflicts: 194000 | #Constraints: 23871 202.27/202.87 c #Conflicts: 195000 | #Constraints: 25590 202.27/202.87 c #Conflicts: 196000 | #Constraints: 27298 202.27/202.87 c #Conflicts: 197000 | #Constraints: 29016 202.27/202.87 c INPROCESSING 202.27/202.87 c GARBAGE COLLECT 202.27/202.87 WSVECS04 Frhs2[87]: 6 -64.0001 0 shouldn't be 202.37/202.94 WSVECS04 Frhs2[87]: 6 -64 0 shouldn't be 202.37/202.99 c rational objective 44 216.73/217.30 c #Conflicts: 198000 | #Constraints: 17361 216.73/217.30 c #Conflicts: 199000 | #Constraints: 18362 216.73/217.30 c #Conflicts: 200000 | #Constraints: 19363 216.73/217.30 c #Conflicts: 201000 | #Constraints: 20363 216.73/217.30 c #Conflicts: 202000 | #Constraints: 21363 216.73/217.30 c #Conflicts: 203000 | #Constraints: 22366 216.73/217.30 c #Conflicts: 204000 | #Constraints: 23367 216.73/217.30 c bounds 99 >= 45 @ 210.154 216.73/217.30 c #Conflicts: 205000 | #Constraints: 24379 216.73/217.30 c #Conflicts: 206000 | #Constraints: 25381 216.73/217.30 c #Conflicts: 207000 | #Constraints: 26381 216.73/217.30 c INPROCESSING 216.73/217.30 c GARBAGE COLLECT 216.73/217.30 c rational objective 45 283.35/284.17 c #Conflicts: 208000 | #Constraints: 15974 283.35/284.17 c #Conflicts: 209000 | #Constraints: 16983 283.35/284.17 c #Conflicts: 210000 | #Constraints: 17988 283.35/284.17 c #Conflicts: 211000 | #Constraints: 18999 283.35/284.17 c #Conflicts: 212000 | #Constraints: 19999 283.35/284.17 c #Conflicts: 213000 | #Constraints: 21233 283.35/284.17 c #Conflicts: 214000 | #Constraints: 23056 283.35/284.17 c #Conflicts: 215000 | #Constraints: 24552 283.35/284.17 c #Conflicts: 216000 | #Constraints: 25579 283.35/284.17 c #Conflicts: 217000 | #Constraints: 26591 283.35/284.17 c #Conflicts: 218000 | #Constraints: 27591 283.35/284.17 c #Conflicts: 219000 | #Constraints: 28591 283.35/284.17 c #Conflicts: 220000 | #Constraints: 29592 283.35/284.17 c #Conflicts: 221000 | #Constraints: 30597 283.35/284.17 c #Conflicts: 222000 | #Constraints: 31597 283.35/284.17 c #Conflicts: 223000 | #Constraints: 32597 283.35/284.17 c #Conflicts: 224000 | #Constraints: 33597 283.35/284.17 c #Conflicts: 225000 | #Constraints: 34598 283.35/284.17 c #Conflicts: 226000 | #Constraints: 35602 283.35/284.17 c #Conflicts: 227000 | #Constraints: 36602 283.35/284.17 c #Conflicts: 228000 | #Constraints: 37605 283.35/284.17 c #Conflicts: 229000 | #Constraints: 38608 283.35/284.17 c #Conflicts: 230000 | #Constraints: 39613 283.35/284.17 c #Conflicts: 231000 | #Constraints: 40615 283.35/284.17 c #Conflicts: 232000 | #Constraints: 41615 283.35/284.17 c #Conflicts: 233000 | #Constraints: 42615 283.35/284.17 c #Conflicts: 234000 | #Constraints: 43615 283.35/284.17 c #Conflicts: 235000 | #Constraints: 44615 283.35/284.17 c #Conflicts: 236000 | #Constraints: 45615 283.35/284.17 c #Conflicts: 237000 | #Constraints: 46615 283.35/284.17 c #Conflicts: 238000 | #Constraints: 47615 283.35/284.17 c #Conflicts: 239000 | #Constraints: 48618 283.35/284.17 c #Conflicts: 240000 | #Constraints: 49627 283.35/284.17 c #Conflicts: 241000 | #Constraints: 50627 283.35/284.17 c #Conflicts: 242000 | #Constraints: 51636 283.35/284.17 c #Conflicts: 243000 | #Constraints: 52636 283.35/284.17 c INPROCESSING 283.35/284.17 c GARBAGE COLLECT 283.35/284.17 WSVECS04 Frhs2[7]: 6 -64.0001 0 shouldn't be 283.35/284.19 c rational objective 45 301.21/302.04 c #Conflicts: 244000 | #Constraints: 28912 301.21/302.04 c #Conflicts: 245000 | #Constraints: 29912 301.21/302.04 c #Conflicts: 246000 | #Constraints: 30914 301.21/302.04 c #Conflicts: 247000 | #Constraints: 31914 301.21/302.04 c #Conflicts: 248000 | #Constraints: 32916 301.21/302.04 c #Conflicts: 249000 | #Constraints: 33918 301.21/302.04 c #Conflicts: 250000 | #Constraints: 34919 301.21/302.04 c #Conflicts: 251000 | #Constraints: 35920 301.21/302.04 c #Conflicts: 252000 | #Constraints: 36921 301.21/302.04 c #Conflicts: 253000 | #Constraints: 37921 301.21/302.04 c #Conflicts: 254000 | #Constraints: 38923 301.21/302.04 c #Conflicts: 255000 | #Constraints: 39924 301.21/302.04 c INPROCESSING 301.21/302.04 c GARBAGE COLLECT 301.21/302.04 c rational objective 45 318.76/319.62 c #Conflicts: 256000 | #Constraints: 22851 318.76/319.62 c #Conflicts: 257000 | #Constraints: 23851 318.76/319.62 c #Conflicts: 258000 | #Constraints: 24851 318.76/319.62 c #Conflicts: 259000 | #Constraints: 25851 318.76/319.62 c bounds 99 >= 46 @ 304.423 318.76/319.62 c #Conflicts: 260000 | #Constraints: 26860 318.76/319.62 c #Conflicts: 261000 | #Constraints: 27860 318.76/319.62 c #Conflicts: 262000 | #Constraints: 28860 318.76/319.62 c #Conflicts: 263000 | #Constraints: 29860 318.76/319.62 c #Conflicts: 264000 | #Constraints: 30860 318.76/319.62 c #Conflicts: 265000 | #Constraints: 31860 318.76/319.62 c #Conflicts: 266000 | #Constraints: 32860 318.76/319.62 c INPROCESSING 318.76/319.62 c GARBAGE COLLECT 318.76/319.62 c rational objective 46 440.36/441.54 c #Conflicts: 267000 | #Constraints: 19005 440.36/441.54 c #Conflicts: 268000 | #Constraints: 20006 440.36/441.54 c #Conflicts: 269000 | #Constraints: 21006 440.36/441.54 c #Conflicts: 270000 | #Constraints: 22009 440.36/441.54 c #Conflicts: 271000 | #Constraints: 23009 440.36/441.54 c #Conflicts: 272000 | #Constraints: 24012 440.36/441.54 c #Conflicts: 273000 | #Constraints: 25020 440.36/441.54 c #Conflicts: 274000 | #Constraints: 26020 440.36/441.54 c #Conflicts: 275000 | #Constraints: 27020 440.36/441.54 c #Conflicts: 276000 | #Constraints: 28024 440.36/441.54 c #Conflicts: 277000 | #Constraints: 29029 440.36/441.54 c #Conflicts: 278000 | #Constraints: 30031 440.36/441.54 c #Conflicts: 279000 | #Constraints: 31034 440.36/441.54 c #Conflicts: 280000 | #Constraints: 32042 440.36/441.54 c #Conflicts: 281000 | #Constraints: 33043 440.36/441.54 c #Conflicts: 282000 | #Constraints: 34044 440.36/441.54 c #Conflicts: 283000 | #Constraints: 35048 440.36/441.54 c #Conflicts: 284000 | #Constraints: 36048 440.36/441.54 c #Conflicts: 285000 | #Constraints: 37049 440.36/441.54 c #Conflicts: 286000 | #Constraints: 38049 440.36/441.54 c #Conflicts: 287000 | #Constraints: 39051 440.36/441.54 c #Conflicts: 288000 | #Constraints: 40052 440.36/441.54 c #Conflicts: 289000 | #Constraints: 41064 440.36/441.54 c #Conflicts: 290000 | #Constraints: 42064 440.36/441.54 c #Conflicts: 291000 | #Constraints: 43065 440.36/441.54 c #Conflicts: 292000 | #Constraints: 44067 440.36/441.54 c bounds 99 >= 47 @ 374.122 440.36/441.54 c #Conflicts: 293000 | #Constraints: 45077 440.36/441.54 c #Conflicts: 294000 | #Constraints: 46077 440.36/441.54 c #Conflicts: 295000 | #Constraints: 47077 440.36/441.54 c #Conflicts: 296000 | #Constraints: 48077 440.36/441.54 c #Conflicts: 297000 | #Constraints: 49102 440.36/441.54 c #Conflicts: 298000 | #Constraints: 50199 440.36/441.54 c #Conflicts: 299000 | #Constraints: 51199 440.36/441.54 c #Conflicts: 300000 | #Constraints: 52231 440.36/441.54 c #Conflicts: 301000 | #Constraints: 53234 440.36/441.54 c #Conflicts: 302000 | #Constraints: 54234 440.36/441.54 c #Conflicts: 303000 | #Constraints: 55238 440.36/441.54 c #Conflicts: 304000 | #Constraints: 56243 440.36/441.54 c #Conflicts: 305000 | #Constraints: 57244 440.36/441.54 c #Conflicts: 306000 | #Constraints: 58300 440.36/441.54 c #Conflicts: 307000 | #Constraints: 59300 440.36/441.54 c INPROCESSING 440.36/441.54 c GARBAGE COLLECT 440.36/441.54 c #Conflicts: 308000 | #Constraints: 32456 440.36/441.54 c #Conflicts: 309000 | #Constraints: 33461 440.36/441.54 c #Conflicts: 310000 | #Constraints: 34467 440.36/441.54 c #Conflicts: 311000 | #Constraints: 35469 440.36/441.54 c #Conflicts: 312000 | #Constraints: 36477 440.36/441.54 c #Conflicts: 313000 | #Constraints: 37555 440.36/441.54 c #Conflicts: 314000 | #Constraints: 38922 440.36/441.54 c #Conflicts: 315000 | #Constraints: 39941 440.36/441.54 c #Conflicts: 316000 | #Constraints: 40983 440.36/441.54 c #Conflicts: 317000 | #Constraints: 41983 440.36/441.54 c #Conflicts: 318000 | #Constraints: 42985 440.36/441.54 c #Conflicts: 319000 | #Constraints: 43985 440.36/441.54 c #Conflicts: 320000 | #Constraints: 44992 440.36/441.54 c INPROCESSING 440.36/441.54 c GARBAGE COLLECT 440.36/441.54 c rational objective 47 468.70/469.93 c #Conflicts: 321000 | #Constraints: 25350 468.70/469.93 c #Conflicts: 322000 | #Constraints: 26350 468.70/469.93 c #Conflicts: 323000 | #Constraints: 27350 468.70/469.93 c #Conflicts: 324000 | #Constraints: 28350 468.70/469.93 c #Conflicts: 325000 | #Constraints: 29350 468.70/469.93 c #Conflicts: 326000 | #Constraints: 30351 468.70/469.93 c #Conflicts: 327000 | #Constraints: 31358 468.70/469.93 c #Conflicts: 328000 | #Constraints: 32363 468.70/469.93 c #Conflicts: 329000 | #Constraints: 33384 468.70/469.93 c #Conflicts: 330000 | #Constraints: 34385 468.70/469.93 c #Conflicts: 331000 | #Constraints: 35640 468.70/469.93 c #Conflicts: 332000 | #Constraints: 36641 468.70/469.93 c #Conflicts: 333000 | #Constraints: 37649 468.70/469.93 c INPROCESSING 468.70/469.93 c GARBAGE COLLECT 468.70/469.93 c rational objective 47 577.82/579.38 c #Conflicts: 334000 | #Constraints: 21611 577.82/579.38 c #Conflicts: 335000 | #Constraints: 22611 577.82/579.38 c #Conflicts: 336000 | #Constraints: 23611 577.82/579.38 c #Conflicts: 337000 | #Constraints: 24611 577.82/579.38 c #Conflicts: 338000 | #Constraints: 25611 577.82/579.38 c #Conflicts: 339000 | #Constraints: 26611 577.82/579.38 c #Conflicts: 340000 | #Constraints: 27611 577.82/579.38 c #Conflicts: 341000 | #Constraints: 28611 577.82/579.38 c #Conflicts: 342000 | #Constraints: 29611 577.82/579.38 c #Conflicts: 343000 | #Constraints: 30611 577.82/579.38 c #Conflicts: 344000 | #Constraints: 31611 577.82/579.38 c #Conflicts: 345000 | #Constraints: 32611 577.82/579.38 c #Conflicts: 346000 | #Constraints: 33611 577.82/579.38 c #Conflicts: 347000 | #Constraints: 34611 577.82/579.38 c #Conflicts: 348000 | #Constraints: 35611 577.82/579.38 c #Conflicts: 349000 | #Constraints: 36611 577.82/579.38 c #Conflicts: 350000 | #Constraints: 37611 577.82/579.38 c #Conflicts: 351000 | #Constraints: 38611 577.82/579.38 c #Conflicts: 352000 | #Constraints: 39611 577.82/579.38 c #Conflicts: 353000 | #Constraints: 40611 577.82/579.38 c #Conflicts: 354000 | #Constraints: 41611 577.82/579.38 c #Conflicts: 355000 | #Constraints: 42611 577.82/579.38 c #Conflicts: 356000 | #Constraints: 43611 577.82/579.38 c #Conflicts: 357000 | #Constraints: 44611 577.82/579.38 c #Conflicts: 358000 | #Constraints: 45611 577.82/579.38 c #Conflicts: 359000 | #Constraints: 46611 577.82/579.38 c #Conflicts: 360000 | #Constraints: 47611 577.82/579.38 c #Conflicts: 361000 | #Constraints: 48611 577.82/579.38 c #Conflicts: 362000 | #Constraints: 49611 577.82/579.38 c #Conflicts: 363000 | #Constraints: 50611 577.82/579.38 c #Conflicts: 364000 | #Constraints: 51611 577.82/579.38 c #Conflicts: 365000 | #Constraints: 52611 577.82/579.38 c #Conflicts: 366000 | #Constraints: 53611 577.82/579.38 c #Conflicts: 367000 | #Constraints: 54611 577.82/579.38 c #Conflicts: 368000 | #Constraints: 55611 577.82/579.38 c #Conflicts: 369000 | #Constraints: 56611 577.82/579.38 c #Conflicts: 370000 | #Constraints: 57611 577.82/579.38 c #Conflicts: 371000 | #Constraints: 58611 577.82/579.38 c #Conflicts: 372000 | #Constraints: 59611 577.82/579.38 c #Conflicts: 373000 | #Constraints: 60611 577.82/579.38 c #Conflicts: 374000 | #Constraints: 61611 577.82/579.38 c #Conflicts: 375000 | #Constraints: 62611 577.82/579.38 c #Conflicts: 376000 | #Constraints: 63611 577.82/579.38 c #Conflicts: 377000 | #Constraints: 64611 577.82/579.38 c #Conflicts: 378000 | #Constraints: 65611 577.82/579.38 c INPROCESSING 577.82/579.38 c GARBAGE COLLECT 577.82/579.38 c rational objective 47 613.32/614.90 c #Conflicts: 379000 | #Constraints: 35737 613.32/614.90 c #Conflicts: 380000 | #Constraints: 36739 613.32/614.90 c #Conflicts: 381000 | #Constraints: 37743 613.32/614.90 c #Conflicts: 382000 | #Constraints: 38743 613.32/614.90 c #Conflicts: 383000 | #Constraints: 39745 613.32/614.90 c #Conflicts: 384000 | #Constraints: 40745 613.32/614.90 c #Conflicts: 385000 | #Constraints: 41750 613.32/614.90 c #Conflicts: 386000 | #Constraints: 42750 613.32/614.90 c #Conflicts: 387000 | #Constraints: 43750 613.32/614.90 c #Conflicts: 388000 | #Constraints: 44752 613.32/614.90 c #Conflicts: 389000 | #Constraints: 45755 613.32/614.90 c #Conflicts: 390000 | #Constraints: 46755 613.32/614.90 c #Conflicts: 391000 | #Constraints: 47755 613.32/614.90 c #Conflicts: 392000 | #Constraints: 48757 613.32/614.90 c INPROCESSING 613.32/614.90 c GARBAGE COLLECT 613.32/614.90 c rational objective 47 651.52/653.25 c #Conflicts: 393000 | #Constraints: 27074 651.52/653.25 c #Conflicts: 394000 | #Constraints: 28074 651.52/653.25 c #Conflicts: 395000 | #Constraints: 29075 651.52/653.25 c #Conflicts: 396000 | #Constraints: 30077 651.52/653.25 c #Conflicts: 397000 | #Constraints: 31078 651.52/653.25 c #Conflicts: 398000 | #Constraints: 32083 651.52/653.25 c #Conflicts: 399000 | #Constraints: 33083 651.52/653.25 c #Conflicts: 400000 | #Constraints: 34085 651.52/653.25 c #Conflicts: 401000 | #Constraints: 35085 651.52/653.25 c #Conflicts: 402000 | #Constraints: 36086 651.52/653.25 c #Conflicts: 403000 | #Constraints: 37086 651.52/653.25 c #Conflicts: 404000 | #Constraints: 38086 651.52/653.25 c #Conflicts: 405000 | #Constraints: 39086 651.52/653.25 c #Conflicts: 406000 | #Constraints: 40088 651.52/653.25 c #Conflicts: 407000 | #Constraints: 41090 651.52/653.25 c INPROCESSING 651.52/653.25 c GARBAGE COLLECT 651.52/653.25 c rational objective 47 823.60/825.72 c #Conflicts: 408000 | #Constraints: 23441 823.60/825.72 c #Conflicts: 409000 | #Constraints: 24446 823.60/825.72 c #Conflicts: 410000 | #Constraints: 25450 823.60/825.72 c #Conflicts: 411000 | #Constraints: 26456 823.60/825.72 c #Conflicts: 412000 | #Constraints: 27456 823.60/825.72 c #Conflicts: 413000 | #Constraints: 28458 823.60/825.72 c #Conflicts: 414000 | #Constraints: 29459 823.60/825.72 c #Conflicts: 415000 | #Constraints: 30464 823.60/825.72 c #Conflicts: 416000 | #Constraints: 31467 823.60/825.72 c #Conflicts: 417000 | #Constraints: 32470 823.60/825.72 c #Conflicts: 418000 | #Constraints: 33476 823.60/825.72 c #Conflicts: 419000 | #Constraints: 34476 823.60/825.72 c #Conflicts: 420000 | #Constraints: 35479 823.60/825.72 c #Conflicts: 421000 | #Constraints: 36481 823.60/825.72 c #Conflicts: 422000 | #Constraints: 37482 823.60/825.72 c #Conflicts: 423000 | #Constraints: 38483 823.60/825.72 c #Conflicts: 424000 | #Constraints: 39483 823.60/825.72 c bounds 99 >= 48 @ 689.361 823.60/825.72 c #Conflicts: 425000 | #Constraints: 40489 823.60/825.72 c #Conflicts: 426000 | #Constraints: 41489 823.60/825.72 c #Conflicts: 427000 | #Constraints: 42560 823.60/825.72 c #Conflicts: 428000 | #Constraints: 44263 823.60/825.72 c #Conflicts: 429000 | #Constraints: 46000 823.60/825.72 c #Conflicts: 430000 | #Constraints: 47727 823.60/825.72 c #Conflicts: 431000 | #Constraints: 49470 823.60/825.72 c #Conflicts: 432000 | #Constraints: 51221 823.60/825.72 c #Conflicts: 433000 | #Constraints: 52340 823.60/825.72 c #Conflicts: 434000 | #Constraints: 53781 823.60/825.72 c #Conflicts: 435000 | #Constraints: 55321 823.60/825.72 c #Conflicts: 436000 | #Constraints: 56934 823.60/825.72 c #Conflicts: 437000 | #Constraints: 58541 823.60/825.72 c #Conflicts: 438000 | #Constraints: 60167 823.60/825.72 c #Conflicts: 439000 | #Constraints: 61869 823.60/825.72 c #Conflicts: 440000 | #Constraints: 63431 823.60/825.72 c #Conflicts: 441000 | #Constraints: 65084 823.60/825.72 c #Conflicts: 442000 | #Constraints: 66748 823.60/825.72 c #Conflicts: 443000 | #Constraints: 68494 823.60/825.72 c #Conflicts: 444000 | #Constraints: 70235 823.60/825.72 c #Conflicts: 445000 | #Constraints: 71959 823.60/825.72 c #Conflicts: 446000 | #Constraints: 73718 823.60/825.72 c #Conflicts: 447000 | #Constraints: 75467 823.60/825.72 c #Conflicts: 448000 | #Constraints: 77243 823.60/825.72 c #Conflicts: 449000 | #Constraints: 78931 823.60/825.72 c #Conflicts: 450000 | #Constraints: 80561 823.60/825.72 c #Conflicts: 451000 | #Constraints: 82264 823.60/825.72 c #Conflicts: 452000 | #Constraints: 83965 823.60/825.72 c #Conflicts: 453000 | #Constraints: 85696 823.60/825.72 c #Conflicts: 454000 | #Constraints: 87325 823.60/825.72 c #Conflicts: 455000 | #Constraints: 89026 823.60/825.72 c #Conflicts: 456000 | #Constraints: 90672 823.60/825.72 c INPROCESSING 823.60/825.72 c GARBAGE COLLECT 823.60/825.72 WSVECS04 Frhs2[62]: 6 -21.3333 0 shouldn't be 899.20/901.55 c #Conflicts: 457000 | #Constraints: 48249 899.20/901.55 c #Conflicts: 458000 | #Constraints: 49281 899.20/901.55 c #Conflicts: 459000 | #Constraints: 50702 899.20/901.55 c #Conflicts: 460000 | #Constraints: 51702 899.20/901.55 c #Conflicts: 461000 | #Constraints: 52707 899.20/901.55 c #Conflicts: 462000 | #Constraints: 54138 899.20/901.55 c #Conflicts: 463000 | #Constraints: 55920 899.20/901.55 c #Conflicts: 464000 | #Constraints: 57728 899.20/901.55 c #Conflicts: 465000 | #Constraints: 59525 899.20/901.55 c #Conflicts: 466000 | #Constraints: 61374 899.20/901.55 c #Conflicts: 467000 | #Constraints: 62516 899.20/901.55 c #Conflicts: 468000 | #Constraints: 63517 899.20/901.55 c #Conflicts: 469000 | #Constraints: 64522 899.20/901.55 c #Conflicts: 470000 | #Constraints: 65528 899.20/901.55 c #Conflicts: 471000 | #Constraints: 66529 899.20/901.55 c INPROCESSING 899.20/901.55 c GARBAGE COLLECT 899.20/901.55 c rational objective 48 947.56/950.07 c #Conflicts: 472000 | #Constraints: 35710 947.56/950.07 c #Conflicts: 473000 | #Constraints: 36710 947.56/950.07 c #Conflicts: 474000 | #Constraints: 37710 947.56/950.07 c #Conflicts: 475000 | #Constraints: 38710 947.56/950.07 c #Conflicts: 476000 | #Constraints: 39710 947.56/950.07 c #Conflicts: 477000 | #Constraints: 40710 947.56/950.07 c #Conflicts: 478000 | #Constraints: 41710 947.56/950.07 c #Conflicts: 479000 | #Constraints: 42710 947.56/950.07 c #Conflicts: 480000 | #Constraints: 43710 947.56/950.07 c bounds 99 >= 49 @ 920.54 947.56/950.07 c #Conflicts: 481000 | #Constraints: 44716 947.56/950.07 c #Conflicts: 482000 | #Constraints: 45716 947.56/950.07 c #Conflicts: 483000 | #Constraints: 46716 947.56/950.07 c #Conflicts: 484000 | #Constraints: 47716 947.56/950.07 c #Conflicts: 485000 | #Constraints: 48716 947.56/950.07 c #Conflicts: 486000 | #Constraints: 49716 947.56/950.07 c #Conflicts: 487000 | #Constraints: 50716 947.56/950.07 c #Conflicts: 488000 | #Constraints: 51716 947.56/950.07 c INPROCESSING 947.56/950.07 c GARBAGE COLLECT 947.56/950.07 c rational objective 49 1175.95/1179.10 c #Conflicts: 489000 | #Constraints: 28773 1175.95/1179.10 c #Conflicts: 490000 | #Constraints: 29775 1175.95/1179.10 c #Conflicts: 491000 | #Constraints: 30775 1175.95/1179.10 c #Conflicts: 492000 | #Constraints: 31775 1175.95/1179.10 c #Conflicts: 493000 | #Constraints: 32775 1175.95/1179.10 c #Conflicts: 494000 | #Constraints: 33775 1175.95/1179.10 c #Conflicts: 495000 | #Constraints: 34775 1175.95/1179.10 c #Conflicts: 496000 | #Constraints: 35775 1175.95/1179.10 c #Conflicts: 497000 | #Constraints: 36775 1175.95/1179.10 c #Conflicts: 498000 | #Constraints: 37775 1175.95/1179.10 c #Conflicts: 499000 | #Constraints: 38776 1175.95/1179.10 c #Conflicts: 500000 | #Constraints: 39776 1175.95/1179.10 c #Conflicts: 501000 | #Constraints: 40776 1175.95/1179.10 c #Conflicts: 502000 | #Constraints: 41776 1175.95/1179.10 c #Conflicts: 503000 | #Constraints: 42776 1175.95/1179.10 c #Conflicts: 504000 | #Constraints: 43776 1175.95/1179.10 c #Conflicts: 505000 | #Constraints: 44778 1175.95/1179.10 c #Conflicts: 506000 | #Constraints: 45778 1175.95/1179.10 c #Conflicts: 507000 | #Constraints: 46778 1175.95/1179.10 c #Conflicts: 508000 | #Constraints: 47778 1175.95/1179.10 c #Conflicts: 509000 | #Constraints: 48778 1175.95/1179.10 c #Conflicts: 510000 | #Constraints: 49778 1175.95/1179.10 c #Conflicts: 511000 | #Constraints: 50778 1175.95/1179.10 c #Conflicts: 512000 | #Constraints: 51778 1175.95/1179.10 c #Conflicts: 513000 | #Constraints: 52778 1175.95/1179.10 c #Conflicts: 514000 | #Constraints: 53778 1175.95/1179.10 c #Conflicts: 515000 | #Constraints: 54778 1175.95/1179.10 c #Conflicts: 516000 | #Constraints: 55778 1175.95/1179.10 c #Conflicts: 517000 | #Constraints: 56778 1175.95/1179.10 c #Conflicts: 518000 | #Constraints: 57778 1175.95/1179.10 c #Conflicts: 519000 | #Constraints: 58783 1175.95/1179.10 c #Conflicts: 520000 | #Constraints: 59783 1175.95/1179.10 c #Conflicts: 521000 | #Constraints: 60783 1175.95/1179.10 c #Conflicts: 522000 | #Constraints: 61783 1175.95/1179.10 c #Conflicts: 523000 | #Constraints: 62783 1175.95/1179.10 c #Conflicts: 524000 | #Constraints: 63784 1175.95/1179.10 c #Conflicts: 525000 | #Constraints: 64784 1175.95/1179.10 c #Conflicts: 526000 | #Constraints: 65784 1175.95/1179.10 c #Conflicts: 527000 | #Constraints: 66784 1175.95/1179.10 c #Conflicts: 528000 | #Constraints: 67784 1175.95/1179.10 c #Conflicts: 529000 | #Constraints: 68784 1175.95/1179.10 c #Conflicts: 530000 | #Constraints: 69784 1175.95/1179.10 c #Conflicts: 531000 | #Constraints: 70784 1175.95/1179.10 c #Conflicts: 532000 | #Constraints: 71784 1175.95/1179.10 c #Conflicts: 533000 | #Constraints: 72784 1175.95/1179.10 c #Conflicts: 534000 | #Constraints: 73784 1175.95/1179.10 c #Conflicts: 535000 | #Constraints: 74784 1175.95/1179.10 c #Conflicts: 536000 | #Constraints: 75784 1175.95/1179.10 c #Conflicts: 537000 | #Constraints: 76784 1175.95/1179.10 c #Conflicts: 538000 | #Constraints: 77784 1175.95/1179.10 c #Conflicts: 539000 | #Constraints: 78784 1175.95/1179.10 c #Conflicts: 540000 | #Constraints: 79784 1175.95/1179.10 c #Conflicts: 541000 | #Constraints: 80784 1175.95/1179.10 c INPROCESSING 1175.95/1179.10 c GARBAGE COLLECT 1175.95/1179.10 c rational objective 49 1241.39/1244.66 c #Conflicts: 542000 | #Constraints: 43193 1241.39/1244.66 c #Conflicts: 543000 | #Constraints: 44193 1241.39/1244.66 c #Conflicts: 544000 | #Constraints: 45193 1241.39/1244.66 c #Conflicts: 545000 | #Constraints: 46193 1241.39/1244.66 c #Conflicts: 546000 | #Constraints: 47193 1241.39/1244.66 c #Conflicts: 547000 | #Constraints: 48193 1241.39/1244.66 c #Conflicts: 548000 | #Constraints: 49193 1241.39/1244.66 c #Conflicts: 549000 | #Constraints: 50193 1241.39/1244.66 c #Conflicts: 550000 | #Constraints: 51193 1241.39/1244.66 c #Conflicts: 551000 | #Constraints: 52193 1241.39/1244.66 c #Conflicts: 552000 | #Constraints: 53193 1241.39/1244.66 c #Conflicts: 553000 | #Constraints: 54193 1241.39/1244.66 c #Conflicts: 554000 | #Constraints: 55193 1241.39/1244.66 c #Conflicts: 555000 | #Constraints: 56193 1241.39/1244.66 c #Conflicts: 556000 | #Constraints: 57193 1241.39/1244.66 c #Conflicts: 557000 | #Constraints: 58193 1241.39/1244.66 c #Conflicts: 558000 | #Constraints: 59193 1241.39/1244.66 c INPROCESSING 1241.39/1244.66 c GARBAGE COLLECT 1241.39/1244.66 c rational objective 49 1493.37/1497.29 c #Conflicts: 559000 | #Constraints: 32211 1493.37/1497.29 c #Conflicts: 560000 | #Constraints: 33211 1493.37/1497.29 c #Conflicts: 561000 | #Constraints: 34211 1493.37/1497.29 c #Conflicts: 562000 | #Constraints: 35211 1493.37/1497.29 c #Conflicts: 563000 | #Constraints: 36211 1493.37/1497.29 c #Conflicts: 564000 | #Constraints: 37211 1493.37/1497.29 c #Conflicts: 565000 | #Constraints: 38211 1493.37/1497.29 c #Conflicts: 566000 | #Constraints: 39211 1493.37/1497.29 c #Conflicts: 567000 | #Constraints: 40211 1493.37/1497.29 c #Conflicts: 568000 | #Constraints: 41211 1493.37/1497.29 c #Conflicts: 569000 | #Constraints: 42211 1493.37/1497.29 c #Conflicts: 570000 | #Constraints: 43211 1493.37/1497.29 c #Conflicts: 571000 | #Constraints: 44211 1493.37/1497.29 c #Conflicts: 572000 | #Constraints: 45211 1493.37/1497.29 c #Conflicts: 573000 | #Constraints: 46211 1493.37/1497.29 c #Conflicts: 574000 | #Constraints: 47211 1493.37/1497.29 c #Conflicts: 575000 | #Constraints: 48211 1493.37/1497.29 c #Conflicts: 576000 | #Constraints: 49211 1493.37/1497.29 c #Conflicts: 577000 | #Constraints: 50211 1493.37/1497.29 c #Conflicts: 578000 | #Constraints: 51211 1493.37/1497.29 c #Conflicts: 579000 | #Constraints: 52211 1493.37/1497.29 c #Conflicts: 580000 | #Constraints: 53211 1493.37/1497.29 c #Conflicts: 581000 | #Constraints: 54211 1493.37/1497.29 c #Conflicts: 582000 | #Constraints: 55211 1493.37/1497.29 c #Conflicts: 583000 | #Constraints: 56211 1493.37/1497.29 c #Conflicts: 584000 | #Constraints: 57211 1493.37/1497.29 c #Conflicts: 585000 | #Constraints: 58211 1493.37/1497.29 c #Conflicts: 586000 | #Constraints: 59211 1493.37/1497.29 c #Conflicts: 587000 | #Constraints: 60211 1493.37/1497.29 c #Conflicts: 588000 | #Constraints: 61211 1493.37/1497.29 c #Conflicts: 589000 | #Constraints: 62211 1493.37/1497.29 c #Conflicts: 590000 | #Constraints: 63211 1493.37/1497.29 c #Conflicts: 591000 | #Constraints: 64211 1493.37/1497.29 c #Conflicts: 592000 | #Constraints: 65211 1493.37/1497.29 c #Conflicts: 593000 | #Constraints: 66211 1493.37/1497.29 c #Conflicts: 594000 | #Constraints: 67211 1493.37/1497.29 c #Conflicts: 595000 | #Constraints: 68211 1493.37/1497.29 c #Conflicts: 596000 | #Constraints: 69211 1493.37/1497.29 c #Conflicts: 597000 | #Constraints: 70211 1493.37/1497.29 c #Conflicts: 598000 | #Constraints: 71211 1493.37/1497.29 c #Conflicts: 599000 | #Constraints: 72211 1493.37/1497.29 c #Conflicts: 600000 | #Constraints: 73211 1493.37/1497.29 c #Conflicts: 601000 | #Constraints: 74211 1493.37/1497.29 c #Conflicts: 602000 | #Constraints: 75211 1493.37/1497.29 c #Conflicts: 603000 | #Constraints: 76211 1493.37/1497.29 c #Conflicts: 604000 | #Constraints: 77211 1493.37/1497.29 c #Conflicts: 605000 | #Constraints: 78211 1493.37/1497.29 c #Conflicts: 606000 | #Constraints: 79211 1493.37/1497.29 c #Conflicts: 607000 | #Constraints: 80211 1493.37/1497.29 c #Conflicts: 608000 | #Constraints: 81211 1493.37/1497.29 c #Conflicts: 609000 | #Constraints: 82211 1493.37/1497.29 c #Conflicts: 610000 | #Constraints: 83211 1493.37/1497.29 c #Conflicts: 611000 | #Constraints: 84211 1493.37/1497.29 c #Conflicts: 612000 | #Constraints: 85211 1493.37/1497.29 c #Conflicts: 613000 | #Constraints: 86211 1493.37/1497.29 c #Conflicts: 614000 | #Constraints: 87211 1493.37/1497.29 c INPROCESSING 1493.37/1497.29 c GARBAGE COLLECT 1493.37/1497.29 c rational objective 49 1586.05/1590.15 c #Conflicts: 615000 | #Constraints: 46080 1586.05/1590.15 c #Conflicts: 616000 | #Constraints: 47080 1586.05/1590.15 c #Conflicts: 617000 | #Constraints: 48082 1586.05/1590.15 c #Conflicts: 618000 | #Constraints: 49082 1586.05/1590.15 c #Conflicts: 619000 | #Constraints: 50082 1586.05/1590.15 c #Conflicts: 620000 | #Constraints: 51082 1586.05/1590.15 c #Conflicts: 621000 | #Constraints: 52084 1586.05/1590.15 c #Conflicts: 622000 | #Constraints: 53084 1586.05/1590.15 c #Conflicts: 623000 | #Constraints: 54086 1586.05/1590.15 c #Conflicts: 624000 | #Constraints: 55086 1586.05/1590.15 c #Conflicts: 625000 | #Constraints: 56097 1586.05/1590.15 c #Conflicts: 626000 | #Constraints: 57097 1586.05/1590.15 c #Conflicts: 627000 | #Constraints: 58097 1586.05/1590.15 c #Conflicts: 628000 | #Constraints: 59098 1586.05/1590.15 c #Conflicts: 629000 | #Constraints: 60098 1586.05/1590.15 c #Conflicts: 630000 | #Constraints: 61098 1586.05/1590.15 c #Conflicts: 631000 | #Constraints: 62098 1586.05/1590.15 c #Conflicts: 632000 | #Constraints: 63101 1586.05/1590.15 c #Conflicts: 633000 | #Constraints: 64103 1586.05/1590.15 c INPROCESSING 1586.05/1590.15 c GARBAGE COLLECT 1586.05/1590.15 c rational objective 49 1663.86/1668.11 c #Conflicts: 634000 | #Constraints: 34654 1663.86/1668.11 c #Conflicts: 635000 | #Constraints: 35654 1663.86/1668.11 c #Conflicts: 636000 | #Constraints: 36656 1663.86/1668.11 c #Conflicts: 637000 | #Constraints: 37661 1663.86/1668.11 c #Conflicts: 638000 | #Constraints: 38663 1663.86/1668.11 c #Conflicts: 639000 | #Constraints: 39664 1663.86/1668.11 c #Conflicts: 640000 | #Constraints: 40667 1663.86/1668.11 c #Conflicts: 641000 | #Constraints: 41669 1663.86/1668.11 c #Conflicts: 642000 | #Constraints: 42670 1663.86/1668.11 c #Conflicts: 643000 | #Constraints: 43671 1663.86/1668.11 c #Conflicts: 644000 | #Constraints: 44671 1663.86/1668.11 c #Conflicts: 645000 | #Constraints: 45673 1663.86/1668.11 c #Conflicts: 646000 | #Constraints: 46673 1663.86/1668.11 c #Conflicts: 647000 | #Constraints: 47675 1663.86/1668.11 c #Conflicts: 648000 | #Constraints: 48675 1663.86/1668.11 c #Conflicts: 649000 | #Constraints: 49675 1663.86/1668.11 c #Conflicts: 650000 | #Constraints: 50675 1663.86/1668.11 c #Conflicts: 651000 | #Constraints: 51675 1663.86/1668.11 c #Conflicts: 652000 | #Constraints: 52675 1663.86/1668.11 c INPROCESSING 1663.86/1668.11 c GARBAGE COLLECT 1663.86/1668.11 c rational objective 49 1916.55/1921.50 c #Conflicts: 653000 | #Constraints: 28989 1916.55/1921.50 c #Conflicts: 654000 | #Constraints: 29989 1916.55/1921.50 c #Conflicts: 655000 | #Constraints: 30989 1916.55/1921.50 c #Conflicts: 656000 | #Constraints: 31989 1916.55/1921.50 c #Conflicts: 657000 | #Constraints: 32990 1916.55/1921.50 c #Conflicts: 658000 | #Constraints: 33990 1916.55/1921.50 c #Conflicts: 659000 | #Constraints: 34993 1916.55/1921.50 c #Conflicts: 660000 | #Constraints: 36040 1916.55/1921.50 c #Conflicts: 661000 | #Constraints: 37283 1916.55/1921.50 c #Conflicts: 662000 | #Constraints: 38283 1916.55/1921.50 c #Conflicts: 663000 | #Constraints: 39283 1916.55/1921.50 c #Conflicts: 664000 | #Constraints: 40283 1916.55/1921.50 c #Conflicts: 665000 | #Constraints: 41283 1916.55/1921.50 c #Conflicts: 666000 | #Constraints: 42283 1916.55/1921.50 c #Conflicts: 667000 | #Constraints: 43283 1916.55/1921.50 c #Conflicts: 668000 | #Constraints: 44283 1916.55/1921.50 c #Conflicts: 669000 | #Constraints: 45283 1916.55/1921.50 c #Conflicts: 670000 | #Constraints: 46284 1916.55/1921.50 c #Conflicts: 671000 | #Constraints: 47305 1916.55/1921.50 c #Conflicts: 672000 | #Constraints: 48309 1916.55/1921.50 c #Conflicts: 673000 | #Constraints: 49310 1916.55/1921.50 c #Conflicts: 674000 | #Constraints: 50310 1916.55/1921.50 c #Conflicts: 675000 | #Constraints: 51310 1916.55/1921.50 c #Conflicts: 676000 | #Constraints: 52310 1916.55/1921.50 c #Conflicts: 677000 | #Constraints: 53316 1916.55/1921.50 c #Conflicts: 678000 | #Constraints: 54317 1916.55/1921.50 c #Conflicts: 679000 | #Constraints: 55317 1916.55/1921.50 c #Conflicts: 680000 | #Constraints: 56317 1916.55/1921.50 c #Conflicts: 681000 | #Constraints: 57320 1916.55/1921.50 c #Conflicts: 682000 | #Constraints: 58334 1916.55/1921.50 c #Conflicts: 683000 | #Constraints: 59334 1916.55/1921.50 c #Conflicts: 684000 | #Constraints: 60336 1916.55/1921.50 c #Conflicts: 685000 | #Constraints: 61603 1916.55/1921.50 c #Conflicts: 686000 | #Constraints: 62712 1916.55/1921.50 c #Conflicts: 687000 | #Constraints: 63717 1916.55/1921.50 c #Conflicts: 688000 | #Constraints: 64729 1916.55/1921.50 c #Conflicts: 689000 | #Constraints: 66156 1916.55/1921.50 c #Conflicts: 690000 | #Constraints: 67158 1916.55/1921.50 c #Conflicts: 691000 | #Constraints: 68158 1916.55/1921.50 c #Conflicts: 692000 | #Constraints: 69158 1916.55/1921.50 c #Conflicts: 693000 | #Constraints: 70160 1916.55/1921.50 c #Conflicts: 694000 | #Constraints: 71165 1916.55/1921.50 c #Conflicts: 695000 | #Constraints: 72165 1916.55/1921.50 c #Conflicts: 696000 | #Constraints: 73165 1916.55/1921.50 c #Conflicts: 697000 | #Constraints: 74165 1916.55/1921.50 c #Conflicts: 698000 | #Constraints: 75165 1916.55/1921.50 c #Conflicts: 699000 | #Constraints: 76165 1916.55/1921.50 c #Conflicts: 700000 | #Constraints: 77165 1916.55/1921.50 c #Conflicts: 701000 | #Constraints: 78166 1916.55/1921.50 c #Conflicts: 702000 | #Constraints: 79184 1916.55/1921.50 c #Conflicts: 703000 | #Constraints: 80197 1916.55/1921.50 c #Conflicts: 704000 | #Constraints: 81197 1916.55/1921.50 c #Conflicts: 705000 | #Constraints: 82198 1916.55/1921.50 c #Conflicts: 706000 | #Constraints: 83200 1916.55/1921.50 c #Conflicts: 707000 | #Constraints: 84200 1916.55/1921.50 c #Conflicts: 708000 | #Constraints: 85201 1916.55/1921.50 c #Conflicts: 709000 | #Constraints: 86299 1916.55/1921.50 c #Conflicts: 710000 | #Constraints: 88075 1916.55/1921.50 c #Conflicts: 711000 | #Constraints: 89827 1916.55/1921.50 c #Conflicts: 712000 | #Constraints: 91595 1916.55/1921.50 c #Conflicts: 713000 | #Constraints: 93376 1916.55/1921.50 c INPROCESSING 1916.55/1921.50 c GARBAGE COLLECT 1916.55/1921.50 c rational objective 49 2007.39/2012.66 c #Conflicts: 714000 | #Constraints: 49603 2007.39/2012.66 c #Conflicts: 715000 | #Constraints: 50604 2007.39/2012.66 c #Conflicts: 716000 | #Constraints: 51608 2007.39/2012.66 c #Conflicts: 717000 | #Constraints: 52616 2007.39/2012.66 c #Conflicts: 718000 | #Constraints: 53616 2007.39/2012.66 c #Conflicts: 719000 | #Constraints: 54616 2007.39/2012.66 c #Conflicts: 720000 | #Constraints: 55617 2007.39/2012.66 c #Conflicts: 721000 | #Constraints: 56617 2007.39/2012.66 c bounds 99 >= 50 @ 1943.11 2007.39/2012.66 c #Conflicts: 722000 | #Constraints: 57623 2007.39/2012.66 c #Conflicts: 723000 | #Constraints: 58623 2007.39/2012.66 c #Conflicts: 724000 | #Constraints: 59623 2007.39/2012.66 c #Conflicts: 725000 | #Constraints: 60623 2007.39/2012.66 c #Conflicts: 726000 | #Constraints: 61628 2007.39/2012.66 c #Conflicts: 727000 | #Constraints: 62628 2007.39/2012.66 c #Conflicts: 728000 | #Constraints: 63628 2007.39/2012.66 c #Conflicts: 729000 | #Constraints: 64629 2007.39/2012.66 c #Conflicts: 730000 | #Constraints: 65629 2007.39/2012.66 c #Conflicts: 731000 | #Constraints: 66629 2007.39/2012.66 c #Conflicts: 732000 | #Constraints: 67629 2007.39/2012.66 c #Conflicts: 733000 | #Constraints: 68631 2007.39/2012.66 c INPROCESSING 2007.39/2012.66 c GARBAGE COLLECT 2007.39/2012.66 c rational objective 50 2090.76/2096.24 c #Conflicts: 734000 | #Constraints: 37121 2090.76/2096.24 c #Conflicts: 735000 | #Constraints: 38123 2090.76/2096.24 c #Conflicts: 736000 | #Constraints: 39125 2090.76/2096.24 c #Conflicts: 737000 | #Constraints: 40131 2090.76/2096.24 c #Conflicts: 738000 | #Constraints: 41134 2090.76/2096.24 c #Conflicts: 739000 | #Constraints: 42136 2090.76/2096.24 c #Conflicts: 740000 | #Constraints: 43138 2090.76/2096.24 c #Conflicts: 741000 | #Constraints: 44139 2090.76/2096.24 c #Conflicts: 742000 | #Constraints: 45143 2090.76/2096.24 c #Conflicts: 743000 | #Constraints: 46146 2090.76/2096.24 c #Conflicts: 744000 | #Constraints: 47152 2090.76/2096.24 c #Conflicts: 745000 | #Constraints: 48155 2090.76/2096.24 c #Conflicts: 746000 | #Constraints: 49156 2090.76/2096.24 c #Conflicts: 747000 | #Constraints: 50157 2090.76/2096.24 c #Conflicts: 748000 | #Constraints: 51157 2090.76/2096.24 c #Conflicts: 749000 | #Constraints: 52158 2090.76/2096.24 c #Conflicts: 750000 | #Constraints: 53167 2090.76/2096.24 c #Conflicts: 751000 | #Constraints: 54169 2090.76/2096.24 c #Conflicts: 752000 | #Constraints: 55169 2090.76/2096.24 c #Conflicts: 753000 | #Constraints: 56185 2090.76/2096.24 c INPROCESSING 2090.76/2096.24 c GARBAGE COLLECT 2090.76/2096.24 c rational objective 50 2419.75/2426.19 c #Conflicts: 754000 | #Constraints: 30780 2419.75/2426.19 c #Conflicts: 755000 | #Constraints: 31780 2419.75/2426.19 c #Conflicts: 756000 | #Constraints: 32780 2419.75/2426.19 c #Conflicts: 757000 | #Constraints: 33780 2419.75/2426.19 c #Conflicts: 758000 | #Constraints: 34780 2419.75/2426.19 c #Conflicts: 759000 | #Constraints: 35780 2419.75/2426.19 c #Conflicts: 760000 | #Constraints: 36781 2419.75/2426.19 c #Conflicts: 761000 | #Constraints: 37781 2419.75/2426.19 c #Conflicts: 762000 | #Constraints: 38781 2419.75/2426.19 c #Conflicts: 763000 | #Constraints: 39782 2419.75/2426.19 c #Conflicts: 764000 | #Constraints: 40782 2419.75/2426.19 c #Conflicts: 765000 | #Constraints: 41783 2419.75/2426.19 c #Conflicts: 766000 | #Constraints: 42783 2419.75/2426.19 c #Conflicts: 767000 | #Constraints: 43783 2419.75/2426.19 c #Conflicts: 768000 | #Constraints: 44783 2419.75/2426.19 c #Conflicts: 769000 | #Constraints: 45785 2419.75/2426.19 c #Conflicts: 770000 | #Constraints: 46786 2419.75/2426.19 c #Conflicts: 771000 | #Constraints: 47787 2419.75/2426.19 c #Conflicts: 772000 | #Constraints: 48788 2419.75/2426.19 c bounds 99 >= 51 @ 2141.08 2419.75/2426.19 c #Conflicts: 773000 | #Constraints: 49794 2419.75/2426.19 c #Conflicts: 774000 | #Constraints: 50794 2419.75/2426.19 c #Conflicts: 775000 | #Constraints: 51794 2419.75/2426.19 c #Conflicts: 776000 | #Constraints: 52794 2419.75/2426.19 c #Conflicts: 777000 | #Constraints: 53794 2419.75/2426.19 c #Conflicts: 778000 | #Constraints: 54794 2419.75/2426.19 c #Conflicts: 779000 | #Constraints: 55794 2419.75/2426.19 c #Conflicts: 780000 | #Constraints: 56794 2419.75/2426.19 c #Conflicts: 781000 | #Constraints: 57827 2419.75/2426.19 c #Conflicts: 782000 | #Constraints: 58839 2419.75/2426.19 c #Conflicts: 783000 | #Constraints: 59841 2419.75/2426.19 c #Conflicts: 784000 | #Constraints: 60841 2419.75/2426.19 c #Conflicts: 785000 | #Constraints: 61841 2419.75/2426.19 c #Conflicts: 786000 | #Constraints: 62855 2419.75/2426.19 c #Conflicts: 787000 | #Constraints: 63970 2419.75/2426.19 c #Conflicts: 788000 | #Constraints: 65488 2419.75/2426.19 c #Conflicts: 789000 | #Constraints: 66510 2419.75/2426.19 c #Conflicts: 790000 | #Constraints: 67510 2419.75/2426.19 c #Conflicts: 791000 | #Constraints: 68510 2419.75/2426.19 c #Conflicts: 792000 | #Constraints: 69510 2419.75/2426.19 c #Conflicts: 793000 | #Constraints: 70512 2419.75/2426.19 c #Conflicts: 794000 | #Constraints: 71517 2419.75/2426.19 c #Conflicts: 795000 | #Constraints: 72538 2419.75/2426.19 c #Conflicts: 796000 | #Constraints: 73541 2419.75/2426.19 c #Conflicts: 797000 | #Constraints: 74541 2419.75/2426.19 c #Conflicts: 798000 | #Constraints: 75541 2419.75/2426.19 c #Conflicts: 799000 | #Constraints: 76541 2419.75/2426.19 c #Conflicts: 800000 | #Constraints: 77541 2419.75/2426.19 c #Conflicts: 801000 | #Constraints: 78553 2419.75/2426.19 c #Conflicts: 802000 | #Constraints: 79563 2419.75/2426.19 c #Conflicts: 803000 | #Constraints: 80575 2419.75/2426.19 c #Conflicts: 804000 | #Constraints: 81577 2419.75/2426.19 c #Conflicts: 805000 | #Constraints: 82577 2419.75/2426.19 c #Conflicts: 806000 | #Constraints: 83577 2419.75/2426.19 c #Conflicts: 807000 | #Constraints: 84577 2419.75/2426.19 c #Conflicts: 808000 | #Constraints: 85577 2419.75/2426.19 c #Conflicts: 809000 | #Constraints: 86577 2419.75/2426.19 c #Conflicts: 810000 | #Constraints: 87577 2419.75/2426.19 c #Conflicts: 811000 | #Constraints: 88577 2419.75/2426.19 c #Conflicts: 812000 | #Constraints: 89580 2419.75/2426.19 c #Conflicts: 813000 | #Constraints: 90612 2419.75/2426.19 c #Conflicts: 814000 | #Constraints: 91656 2419.75/2426.19 c #Conflicts: 815000 | #Constraints: 92715 2419.75/2426.19 c #Conflicts: 816000 | #Constraints: 93738 2419.75/2426.19 c #Conflicts: 817000 | #Constraints: 94738 2419.75/2426.19 c #Conflicts: 818000 | #Constraints: 95738 2419.75/2426.19 c INPROCESSING 2419.75/2426.19 c GARBAGE COLLECT 2419.75/2426.19 c #Conflicts: 819000 | #Constraints: 50662 2419.75/2426.19 c #Conflicts: 820000 | #Constraints: 51663 2419.75/2426.19 c #Conflicts: 821000 | #Constraints: 52664 2419.75/2426.19 c #Conflicts: 822000 | #Constraints: 53671 2419.75/2426.19 c #Conflicts: 823000 | #Constraints: 54672 2419.75/2426.19 c #Conflicts: 824000 | #Constraints: 55675 2419.75/2426.19 c #Conflicts: 825000 | #Constraints: 56676 2419.75/2426.19 c #Conflicts: 826000 | #Constraints: 57676 2419.75/2426.19 c #Conflicts: 827000 | #Constraints: 58677 2419.75/2426.19 c #Conflicts: 828000 | #Constraints: 59679 2419.75/2426.19 c #Conflicts: 829000 | #Constraints: 60679 2419.75/2426.19 c #Conflicts: 830000 | #Constraints: 61679 2419.75/2426.19 c #Conflicts: 831000 | #Constraints: 62680 2469.00/2475.57 c #Conflicts: 832000 | #Constraints: 63682 2469.00/2475.57 c #Conflicts: 833000 | #Constraints: 64682 2469.00/2475.57 c #Conflicts: 834000 | #Constraints: 65682 2469.00/2475.57 c #Conflicts: 835000 | #Constraints: 66683 2469.00/2475.57 c #Conflicts: 836000 | #Constraints: 67685 2469.00/2475.57 c #Conflicts: 837000 | #Constraints: 68687 2469.00/2475.57 c #Conflicts: 838000 | #Constraints: 69687 2469.00/2475.57 c #Conflicts: 839000 | #Constraints: 70687 2469.00/2475.57 c #Conflicts: 840000 | #Constraints: 71688 2469.00/2475.57 c INPROCESSING 2469.00/2475.57 c GARBAGE COLLECT 2469.00/2475.57 WSVECS04 Frhs2[6]: 6 -32 0 shouldn't be 2469.00/2475.58 c rational objective 51 2568.52/2575.31 c #Conflicts: 841000 | #Constraints: 38746 2568.52/2575.31 c #Conflicts: 842000 | #Constraints: 39746 2568.52/2575.31 c #Conflicts: 843000 | #Constraints: 40746 2568.52/2575.31 c #Conflicts: 844000 | #Constraints: 41746 2568.52/2575.31 c #Conflicts: 845000 | #Constraints: 42748 2568.52/2575.31 c #Conflicts: 846000 | #Constraints: 43752 2568.52/2575.31 c #Conflicts: 847000 | #Constraints: 44783 2568.52/2575.31 c #Conflicts: 848000 | #Constraints: 45807 2568.52/2575.31 c #Conflicts: 849000 | #Constraints: 46809 2568.52/2575.31 c #Conflicts: 850000 | #Constraints: 47814 2568.52/2575.31 c #Conflicts: 851000 | #Constraints: 48816 2568.52/2575.31 c #Conflicts: 852000 | #Constraints: 49823 2568.52/2575.31 c #Conflicts: 853000 | #Constraints: 50858 2568.52/2575.31 c #Conflicts: 854000 | #Constraints: 51876 2568.52/2575.31 c #Conflicts: 855000 | #Constraints: 52891 2568.52/2575.31 c #Conflicts: 856000 | #Constraints: 53916 2568.52/2575.31 c #Conflicts: 857000 | #Constraints: 54930 2568.52/2575.31 c #Conflicts: 858000 | #Constraints: 55930 2568.52/2575.31 c #Conflicts: 859000 | #Constraints: 56932 2568.52/2575.31 c #Conflicts: 860000 | #Constraints: 57932 2568.52/2575.31 c #Conflicts: 861000 | #Constraints: 58935 2568.52/2575.31 c INPROCESSING 2568.52/2575.31 c GARBAGE COLLECT 2568.52/2575.31 c rational objective 51 2947.96/2955.84 c #Conflicts: 862000 | #Constraints: 33582 2947.96/2955.84 c #Conflicts: 863000 | #Constraints: 34582 2947.96/2955.84 c #Conflicts: 864000 | #Constraints: 35582 2947.96/2955.84 c #Conflicts: 865000 | #Constraints: 36582 2947.96/2955.84 c #Conflicts: 866000 | #Constraints: 37582 2947.96/2955.84 c #Conflicts: 867000 | #Constraints: 38582 2947.96/2955.84 c #Conflicts: 868000 | #Constraints: 39582 2947.96/2955.84 c #Conflicts: 869000 | #Constraints: 40582 2947.96/2955.84 c #Conflicts: 870000 | #Constraints: 41582 2947.96/2955.84 c #Conflicts: 871000 | #Constraints: 42582 2947.96/2955.84 c #Conflicts: 872000 | #Constraints: 43582 2947.96/2955.84 c #Conflicts: 873000 | #Constraints: 44582 2947.96/2955.84 c #Conflicts: 874000 | #Constraints: 45582 2947.96/2955.84 c #Conflicts: 875000 | #Constraints: 46582 2947.96/2955.84 c #Conflicts: 876000 | #Constraints: 47582 2947.96/2955.84 c #Conflicts: 877000 | #Constraints: 48582 2947.96/2955.84 c #Conflicts: 878000 | #Constraints: 49582 2947.96/2955.84 c #Conflicts: 879000 | #Constraints: 50582 2947.96/2955.84 c #Conflicts: 880000 | #Constraints: 51582 2947.96/2955.84 c #Conflicts: 881000 | #Constraints: 52582 2947.96/2955.84 c #Conflicts: 882000 | #Constraints: 53582 2947.96/2955.84 c #Conflicts: 883000 | #Constraints: 54582 2947.96/2955.84 c #Conflicts: 884000 | #Constraints: 55582 2947.96/2955.84 c #Conflicts: 885000 | #Constraints: 56582 2947.96/2955.84 c #Conflicts: 886000 | #Constraints: 57582 2947.96/2955.84 c #Conflicts: 887000 | #Constraints: 58582 2947.96/2955.84 c #Conflicts: 888000 | #Constraints: 59582 2947.96/2955.84 c #Conflicts: 889000 | #Constraints: 60582 2947.96/2955.84 c #Conflicts: 890000 | #Constraints: 61582 2947.96/2955.84 c #Conflicts: 891000 | #Constraints: 62582 2947.96/2955.84 c #Conflicts: 892000 | #Constraints: 63582 2947.96/2955.84 c #Conflicts: 893000 | #Constraints: 64582 2947.96/2955.84 c #Conflicts: 894000 | #Constraints: 65582 2947.96/2955.84 c #Conflicts: 895000 | #Constraints: 66582 2947.96/2955.84 c #Conflicts: 896000 | #Constraints: 67582 2947.96/2955.84 c #Conflicts: 897000 | #Constraints: 68582 2947.96/2955.84 c #Conflicts: 898000 | #Constraints: 69582 2947.96/2955.84 c #Conflicts: 899000 | #Constraints: 70582 2947.96/2955.84 c #Conflicts: 900000 | #Constraints: 71582 2947.96/2955.84 c #Conflicts: 901000 | #Constraints: 72582 2947.96/2955.84 c #Conflicts: 902000 | #Constraints: 73582 2947.96/2955.84 c #Conflicts: 903000 | #Constraints: 74582 2947.96/2955.84 c #Conflicts: 904000 | #Constraints: 75582 2947.96/2955.84 c #Conflicts: 905000 | #Constraints: 76582 2947.96/2955.84 c #Conflicts: 906000 | #Constraints: 77582 2947.96/2955.84 c #Conflicts: 907000 | #Constraints: 78582 2947.96/2955.84 c #Conflicts: 908000 | #Constraints: 79582 2947.96/2955.84 c #Conflicts: 909000 | #Constraints: 80582 2947.96/2955.84 c #Conflicts: 910000 | #Constraints: 81582 2947.96/2955.84 c #Conflicts: 911000 | #Constraints: 82582 2947.96/2955.84 c #Conflicts: 912000 | #Constraints: 83582 2947.96/2955.84 c #Conflicts: 913000 | #Constraints: 84582 2947.96/2955.84 c #Conflicts: 914000 | #Constraints: 85582 2947.96/2955.84 c #Conflicts: 915000 | #Constraints: 86582 2947.96/2955.84 c #Conflicts: 916000 | #Constraints: 87582 2947.96/2955.84 c #Conflicts: 917000 | #Constraints: 88582 2947.96/2955.84 c #Conflicts: 918000 | #Constraints: 89582 2947.96/2955.84 c #Conflicts: 919000 | #Constraints: 90582 2947.96/2955.84 c #Conflicts: 920000 | #Constraints: 91582 2947.96/2955.84 c #Conflicts: 921000 | #Constraints: 92582 2947.96/2955.84 c #Conflicts: 922000 | #Constraints: 93582 2947.96/2955.84 c #Conflicts: 923000 | #Constraints: 94582 2947.96/2955.84 c #Conflicts: 924000 | #Constraints: 95582 2947.96/2955.84 c #Conflicts: 925000 | #Constraints: 96582 2947.96/2955.84 c #Conflicts: 926000 | #Constraints: 97582 2947.96/2955.84 c #Conflicts: 927000 | #Constraints: 98582 2947.96/2955.84 c #Conflicts: 928000 | #Constraints: 99582 2947.96/2955.84 c #Conflicts: 929000 | #Constraints: 100582 2947.96/2955.84 c #Conflicts: 930000 | #Constraints: 101582 2947.96/2955.84 c INPROCESSING 2947.96/2955.84 c GARBAGE COLLECT 2947.96/2955.84 c rational objective 51 3113.99/3122.30 c #Conflicts: 931000 | #Constraints: 53344 3113.99/3122.30 c #Conflicts: 932000 | #Constraints: 54344 3113.99/3122.30 c #Conflicts: 933000 | #Constraints: 55345 3113.99/3122.30 c #Conflicts: 934000 | #Constraints: 56445 3113.99/3122.30 c #Conflicts: 935000 | #Constraints: 57652 3113.99/3122.30 c #Conflicts: 936000 | #Constraints: 58696 3113.99/3122.30 c #Conflicts: 937000 | #Constraints: 60079 3113.99/3122.30 c #Conflicts: 938000 | #Constraints: 61079 3113.99/3122.30 c #Conflicts: 939000 | #Constraints: 62091 3113.99/3122.30 c #Conflicts: 940000 | #Constraints: 63107 3113.99/3122.30 c #Conflicts: 941000 | #Constraints: 64107 3113.99/3122.30 c #Conflicts: 942000 | #Constraints: 65149 3113.99/3122.30 c #Conflicts: 943000 | #Constraints: 66531 3113.99/3122.30 c #Conflicts: 944000 | #Constraints: 68291 3113.99/3122.30 c #Conflicts: 945000 | #Constraints: 69556 3113.99/3122.30 c #Conflicts: 946000 | #Constraints: 70558 3113.99/3122.30 c #Conflicts: 947000 | #Constraints: 71558 3113.99/3122.30 c #Conflicts: 948000 | #Constraints: 72558 3113.99/3122.30 c #Conflicts: 949000 | #Constraints: 73639 3113.99/3122.30 c #Conflicts: 950000 | #Constraints: 75041 3113.99/3122.30 c #Conflicts: 951000 | #Constraints: 76415 3113.99/3122.30 c #Conflicts: 952000 | #Constraints: 77415 3113.99/3122.30 c #Conflicts: 953000 | #Constraints: 78415 3113.99/3122.30 c #Conflicts: 954000 | #Constraints: 79415 3113.99/3122.30 c INPROCESSING 3113.99/3122.30 c GARBAGE COLLECT 3113.99/3122.30 c rational objective 51 3227.38/3236.04 c #Conflicts: 955000 | #Constraints: 42609 3227.38/3236.04 c #Conflicts: 956000 | #Constraints: 43609 3227.38/3236.04 c #Conflicts: 957000 | #Constraints: 44609 3227.38/3236.04 c #Conflicts: 958000 | #Constraints: 45609 3227.38/3236.04 c #Conflicts: 959000 | #Constraints: 46610 3227.38/3236.04 c #Conflicts: 960000 | #Constraints: 47614 3227.38/3236.04 c #Conflicts: 961000 | #Constraints: 48615 3227.38/3236.04 c #Conflicts: 962000 | #Constraints: 49615 3227.38/3236.04 c #Conflicts: 963000 | #Constraints: 50615 3227.38/3236.04 c #Conflicts: 964000 | #Constraints: 51615 3227.38/3236.04 c #Conflicts: 965000 | #Constraints: 52618 3227.38/3236.04 c #Conflicts: 966000 | #Constraints: 53619 3227.38/3236.04 c #Conflicts: 967000 | #Constraints: 54620 3227.38/3236.04 c #Conflicts: 968000 | #Constraints: 55620 3227.38/3236.04 c #Conflicts: 969000 | #Constraints: 56623 3227.38/3236.04 c #Conflicts: 970000 | #Constraints: 57626 3227.38/3236.04 c #Conflicts: 971000 | #Constraints: 58629 3227.38/3236.04 c #Conflicts: 972000 | #Constraints: 59629 3227.38/3236.04 c #Conflicts: 973000 | #Constraints: 60630 3227.38/3236.04 c #Conflicts: 974000 | #Constraints: 61631 3227.38/3236.04 c #Conflicts: 975000 | #Constraints: 62635 3227.38/3236.04 c #Conflicts: 976000 | #Constraints: 63636 3227.38/3236.04 c #Conflicts: 977000 | #Constraints: 64640 3227.38/3236.04 c INPROCESSING 3227.38/3236.04 c GARBAGE COLLECT 3227.38/3236.04 c rational objective 51 3600.01/3609.70 c 3600.01/3609.70 s SATISFIABLE 3600.01/3609.70 v x1 x2 ~x3 ~x4 ~x5 x6 x7 ~x8 x9 x10 x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 x26 ~x27 ~x28 x29 ~x30 ~x31 ~x32 x33 x34 x35 x36 x37 ~x38 ~x39 ~x40 x41 x42 ~x43 ~x44 ~x45 x46 ~x47 ~x48 ~x49 x50 ~x51 ~x52 x53 x54 ~x55 ~x56 ~x57 ~x58 x59 x60 x61 x62 ~x63 ~x64 ~x65 ~x66 x67 x68 ~x69 ~x70 x71 ~x72 ~x73 x74 ~x75 x76 x77 ~x78 x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 x86 x87 ~x88 ~x89 x90 ~x91 ~x92 ~x93 x94 x95 ~x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 ~x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 ~x222 x223 x224 ~x225 ~x226 ~x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 ~x246 ~x247 x248 x249 x250 x251 x252 x253 x254 ~x255 x256 x257 x258 x259 x260 x261 x262 ~x263 x264 x265 x266 x267 x268 x269 ~x270 x271 x272 x273 x274 x275 ~x276 x277 x278 x279 x280 ~x281 x282 x283 x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 x291 x292 x293 x294 x295 x296 x297 x298 ~x299 x300 x301 x302 x303 x304 x305 x306 ~x307 x308 x309 x310 x311 x312 x313 x314 ~x315 ~x316 ~x317 x318 x319 x320 x321 x322 ~x323 ~x324 x325 x326 x327 x328 x329 ~x330 ~x331 x332 x333 x334 x335 ~x336 ~x337 x338 x339 x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 ~x365 x366 x367 x368 x369 x370 x371 ~x372 ~x373 x374 x375 x376 x377 x378 ~x379 ~x380 x381 x382 x383 x384 x385 ~x386 ~x387 x388 x389 x390 x391 ~x392 ~x393 x394 x395 x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 ~x419 x420 x421 x422 x423 x424 ~x425 ~x426 x427 x428 x429 x430 ~x431 ~x432 x433 x434 x435 x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 ~x468 x469 x470 x471 x472 ~x473 ~x474 x475 x476 x477 ~x478 ~x479 x480 x481 x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 x503 x504 x505 x506 x507 x508 x509 x510 ~x511 x512 x513 x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 x541 x542 x543 ~x544 x545 x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 x571 x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 ~x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 ~x652 x653 x654 ~x655 ~x656 ~x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 ~x667 ~x668 x669 x670 x671 x672 x673 x674 x675 ~x676 x677 x678 x679 x680 x681 x682 x683 ~x684 x685 x686 x687 x688 x689 x690 ~x691 x692 x693 x694 x695 x696 ~x697 x698 x699 x700 x701 ~x702 x703 x704 x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 x713 x714 x715 x716 x717 x718 x719 ~x720 x721 x722 x723 x724 x725 x726 x727 ~x728 ~x729 ~x730 x731 x732 x733 x734 x735 ~x736 ~x737 x738 x739 x740 x741 x742 ~x743 ~x744 x745 x746 x747 x748 ~x749 ~x750 x751 x752 x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 x764 x765 x766 x767 x768 x769 x770 ~x771 x772 x773 x774 x775 x776 x777 ~x778 ~x779 x780 x781 x782 x783 x784 ~x785 ~x786 x787 x788 x789 x790 x791 ~x792 ~x793 x794 x795 x796 x797 ~x798 ~x799 x800 x801 x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 x813 x814 x815 x816 x817 x818 ~x819 x820 x821 x822 x823 x824 ~x825 ~x826 x827 x828 x829 x830 ~x831 ~x832 x833 x834 x835 x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 x858 x859 x860 x861 x862 ~x863 x864 x865 x866 x867 ~x868 ~x869 x870 x871 x872 ~x873 ~x874 x875 x876 x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 x898 x899 x900 x901 ~x902 x903 x904 x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 x933 x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 ~x997 x998 x999 x1000 x1001 x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 ~x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 ~x1041 ~x1042 x1043 x1044 x1045 x1046 x1047 x1048 ~x1049 x1050 x1051 x1052 x1053 x1054 x1055 ~x1056 x1057 x1058 x1059 x1060 x1061 ~x1062 x1063 x1064 x1065 x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 x1077 x1078 x1079 x1080 x1081 x1082 x1083 ~x1084 x1085 x1086 x1087 x1088 x1089 x1090 ~x1091 ~x1092 x1093 x1094 x1095 x1096 x1097 ~x1098 ~x1099 x1100 x1101 x1102 x1103 ~x1104 x1105 x1106 x1107 x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 ~x1117 ~x1118 ~x1119 x1120 x1121 x1122 x1123 x1124 ~x1125 x1126 x1127 x1128 x1129 x1130 ~x1131 ~x1132 x1133 x1134 x1135 x1136 ~x1137 ~x1138 ~x1139 x1140 x1141 x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 ~x1153 ~x1154 ~x1155 ~x1156 ~x1157 x1158 x1159 x1160 x1161 x1162 ~x1163 x1164 x1165 x1166 x1167 ~x1168 x1169 x1170 x1171 x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 x1193 x1194 x1195 x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 ~x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 ~x1316 x1317 x1318 x1319 x1320 x1321 x1322 ~x1323 x1324 x1325 x1326 x1327 x1328 ~x1329 x1330 x1331 x1332 x1333 ~x1334 x1335 x1336 x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 x1345 x1346 x1347 x1348 x1349 ~x1350 x1351 x1352 x1353 x1354 x1355 ~x1356 ~x1357 x1358 x1359 x1360 x1361 ~x1362 ~x1363 x1364 x1365 x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 x1377 x1378 x1379 x1380 x1381 ~x1382 x1383 x1384 x1385 x1386 ~x1387 ~x1388 x1389 x1390 x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 ~x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 x1407 x1408 x1409 x1410 ~x1411 x1412 x1413 x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 ~x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 x1477 x1478 x1479 x1480 x1481 x1482 x1483 x1484 x1485 x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 ~x1502 ~x1503 ~x1504 x1505 x1506 x1507 x1508 x1509 x1510 ~x1511 x1512 x1513 x1514 x1515 x1516 ~x1517 x1518 x1519 x1520 x1521 ~x1522 x1523 x1524 x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 x1532 x1533 x1534 x1535 x1536 ~x1537 x1538 x1539 x1540 x1541 ~x1542 x1543 x1544 x1545 x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 x1557 x1558 x1559 x1560 ~x1561 x1562 x1563 x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 ~x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 x1579 x1580 x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 ~x1628 x1629 x1630 x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 x1638 x1639 x1640 x1641 x1642 ~x1643 x1644 x1645 x1646 x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 x1659 x1660 x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 x1708 x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 x1723 x1724 x1725 x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 ~x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 x1764 x1765 x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 3600.01/3609.70 c #Conflicts: 978000 | #Constraints: 38833 3600.01/3609.70 c #Conflicts: 979000 | #Constraints: 39833 3600.01/3609.70 c #Conflicts: 980000 | #Constraints: 40833 3600.01/3609.70 c #Conflicts: 981000 | #Constraints: 41835 3600.01/3609.70 c #Conflicts: 982000 | #Constraints: 42836 3600.01/3609.70 c #Conflicts: 983000 | #Constraints: 43836 3600.01/3609.70 c #Conflicts: 984000 | #Constraints: 44843 3600.01/3609.70 c #Conflicts: 985000 | #Constraints: 45844 3600.01/3609.70 c #Conflicts: 986000 | #Constraints: 46845 3600.01/3609.70 c #Conflicts: 987000 | #Constraints: 47847 3600.01/3609.70 c #Conflicts: 988000 | #Constraints: 48848 3600.01/3609.70 c #Conflicts: 989000 | #Constraints: 49849 3600.01/3609.70 c #Conflicts: 990000 | #Constraints: 50851 3600.01/3609.70 c #Conflicts: 991000 | #Constraints: 51851 3600.01/3609.70 c #Conflicts: 992000 | #Constraints: 52856 3600.01/3609.70 c #Conflicts: 993000 | #Constraints: 53859 3600.01/3609.70 c #Conflicts: 994000 | #Constraints: 54859 3600.01/3609.70 c #Conflicts: 995000 | #Constraints: 55859 3600.01/3609.70 c #Conflicts: 996000 | #Constraints: 56861 3600.01/3609.70 c #Conflicts: 997000 | #Constraints: 57864 3600.01/3609.70 c #Conflicts: 998000 | #Constraints: 58864 3600.01/3609.70 c #Conflicts: 999000 | #Constraints: 59864 3600.01/3609.70 c #Conflicts: 1000000 | #Constraints: 60864 3600.01/3609.70 c #Conflicts: 1001000 | #Constraints: 61870 3600.01/3609.70 c #Conflicts: 1002000 | #Constraints: 62870 3600.01/3609.70 c #Conflicts: 1003000 | #Constraints: 63873 3600.01/3609.70 c #Conflicts: 1004000 | #Constraints: 64873 3600.01/3609.70 c #Conflicts: 1005000 | #Constraints: 65877 3600.01/3609.70 c #Conflicts: 1006000 | #Constraints: 66877 3600.01/3609.70 c #Conflicts: 1007000 | #Constraints: 67878 3600.01/3609.70 c #Conflicts: 1008000 | #Constraints: 68879 3600.01/3609.70 c #Conflicts: 1009000 | #Constraints: 69880 3600.01/3609.70 c #Conflicts: 1010000 | #Constraints: 70882 3600.01/3609.70 c #Conflicts: 1011000 | #Constraints: 71882 3600.01/3609.70 c #Conflicts: 1012000 | #Constraints: 72882 3600.01/3609.70 c #Conflicts: 1013000 | #Constraints: 73884 3600.01/3609.70 c #Conflicts: 1014000 | #Constraints: 74886 3600.01/3609.70 c #Conflicts: 1015000 | #Constraints: 75886 3600.01/3609.70 c #Conflicts: 1016000 | #Constraints: 76889 3600.01/3609.70 c #Conflicts: 1017000 | #Constraints: 77896 3600.01/3609.70 c #Conflicts: 1018000 | #Constraints: 78896 3600.01/3609.70 c #Conflicts: 1019000 | #Constraints: 79896 3600.01/3609.70 c #Conflicts: 1020000 | #Constraints: 80913 3600.01/3609.70 c #Conflicts: 1021000 | #Constraints: 81914 3600.01/3609.70 c #Conflicts: 1022000 | #Constraints: 82921 3600.01/3609.70 c #Conflicts: 1023000 | #Constraints: 83921 3600.01/3609.70 c #Conflicts: 1024000 | #Constraints: 84922 3600.01/3609.70 c #Conflicts: 1025000 | #Constraints: 85922 3600.01/3609.70 c #Conflicts: 1026000 | #Constraints: 86928 3600.01/3609.70 c #Conflicts: 1027000 | #Constraints: 87929 3600.01/3609.70 c #Conflicts: 1028000 | #Constraints: 88929 3600.01/3609.70 c #Conflicts: 1029000 | #Constraints: 89929 3600.01/3609.70 c #Conflicts: 1030000 | #Constraints: 90931 3600.01/3609.70 c #Conflicts: 1031000 | #Constraints: 91938 3600.01/3609.70 c #Conflicts: 1032000 | #Constraints: 92938 3600.01/3609.70 c #Conflicts: 1033000 | #Constraints: 93938 3600.01/3609.70 c #Conflicts: 1034000 | #Constraints: 94938 3600.01/3609.70 c #Conflicts: 1035000 | #Constraints: 95938 3600.01/3609.70 c bounds 99 >= 52 @ 3583.87
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: 63931 MiB (62305 MiB free)
memory of node 1: 64510 MiB (60672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429437-1721048726/watcher-4429437-1721048726 -o /tmp/evaluation-result-4429437-1721048726/solver-4429437-1721048726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811590 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429437-1721048726.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=811791, runsolver pid=811788
[startup+0.100714 s]*
/proc/loadavg: 3.27 3.89 4.01 5/255 811792
/proc/meminfo: memFree=125912128/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=51168 memory=23248 CPUtime=0.09 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 6055 0 0 0 8 1 0 0 20 0 1 0 157034468 52396032 5812 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 12792 5812 1738 922 0 4744 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51168 KiB
Current children cumulated memory: 23248 KiB
[startup+0.205376 s]*
/proc/loadavg: 3.27 3.89 4.01 5/255 811792
/proc/meminfo: memFree=125911960/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=51168 memory=23248 CPUtime=0.2 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 6071 0 0 0 18 2 0 0 20 0 1 0 157034468 52396032 5812 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 12792 5812 1738 922 0 4744 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51168 KiB
Current children cumulated memory: 23248 KiB
[startup+0.304968 s]*
/proc/loadavg: 3.27 3.89 4.01 5/255 811792
/proc/meminfo: memFree=125911484/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=51168 memory=23248 CPUtime=0.3 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 6072 0 0 0 28 2 0 0 20 0 1 0 157034468 52396032 5812 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 12792 5812 1738 922 0 4744 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51168 KiB
Current children cumulated memory: 23248 KiB
[startup+0.700178 s]
/proc/loadavg: 3.27 3.89 4.01 5/255 811792
/proc/meminfo: memFree=125911344/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=52684 memory=25308 CPUtime=0.69 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 7266 0 0 0 65 4 0 0 20 0 1 0 157034468 53948416 6327 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 13171 6327 1863 922 0 5123 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52684 KiB
Current children cumulated memory: 25308 KiB
[startup+1.50015 s]
/proc/loadavg: 3.27 3.89 4.01 5/255 811792
/proc/meminfo: memFree=125910004/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=52684 memory=25308 CPUtime=1.48 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 7266 0 0 0 142 6 0 0 20 0 1 0 157034468 53948416 6327 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 13171 6327 1863 922 0 5123 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52684 KiB
Current children cumulated memory: 25308 KiB
[startup+3.10539 s]
/proc/loadavg: 3.27 3.89 4.01 5/254 811792
/proc/meminfo: memFree=125901764/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=58556 memory=31848 CPUtime=3.09 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 12624 0 0 0 297 12 0 0 20 0 1 0 157034468 59961344 7962 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 14639 7962 1863 922 0 6591 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58556 KiB
Current children cumulated memory: 31848 KiB
[startup+6.30019 s]
/proc/loadavg: 3.33 3.89 4.01 5/254 811793
/proc/meminfo: memFree=125894512/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=63768 memory=37612 CPUtime=6.27 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 13775 0 0 0 607 20 0 0 20 0 1 0 157034468 65298432 9403 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 15942 9403 1993 922 0 7894 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 63768 KiB
Current children cumulated memory: 37612 KiB
[startup+12.7002 s]
/proc/loadavg: 3.38 3.89 4.01 5/254 811793
/proc/meminfo: memFree=125888304/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=64504 memory=38836 CPUtime=12.65 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 14999 0 0 0 1232 33 0 0 20 0 1 0 157034468 66052096 9709 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 16126 9709 1993 922 0 8078 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64504 KiB
Current children cumulated memory: 38836 KiB
[startup+25.5002 s]
/proc/loadavg: 3.66 3.93 4.02 5/254 811796
/proc/meminfo: memFree=125876656/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=68676 memory=43452 CPUtime=25.43 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 17218 0 0 0 2487 56 0 0 20 0 1 0 157034468 70324224 10863 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 17169 10863 1993 922 0 9121 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 68676 KiB
Current children cumulated memory: 43452 KiB
[startup+51.1053 s]
/proc/loadavg: 3.78 3.94 4.02 5/254 811799
/proc/meminfo: memFree=125849992/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=80324 memory=52260 CPUtime=50.97 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 21145 0 0 0 5009 88 0 0 20 0 1 0 157034468 82251776 13065 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 20081 13065 1993 922 0 12033 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 80324 KiB
Current children cumulated memory: 52260 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.00 4.03 5/254 811808
/proc/meminfo: memFree=125826540/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=91848 memory=63368 CPUtime=102.03 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 22371 0 0 0 10064 139 0 0 20 0 1 0 157034468 94052352 15842 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 22962 15842 1993 922 0 14914 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 91848 KiB
Current children cumulated memory: 63368 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.02 4.03 5/255 811820
/proc/meminfo: memFree=125800516/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=98012 memory=69456 CPUtime=161.88 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 25686 0 0 0 15990 198 0 0 20 0 1 0 157034468 100364288 17364 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 24503 17364 1993 922 0 16455 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 98012 KiB
Current children cumulated memory: 69456 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.03 4.03 5/255 811830
/proc/meminfo: memFree=125778628/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=96312 memory=67752 CPUtime=221.71 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 34027 0 0 0 21920 251 0 0 20 0 1 0 157034468 98623488 16938 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 24078 16938 1993 922 0 16030 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 96312 KiB
Current children cumulated memory: 67752 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.05 4.04 5/258 811845
/proc/meminfo: memFree=125768644/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=96312 memory=70052 CPUtime=281.55 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 34062 0 0 0 27866 289 0 0 20 0 1 0 157034468 98623488 17513 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 24078 17513 1993 922 0 16030 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 96312 KiB
Current children cumulated memory: 70052 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.05 4.04 5/258 811856
/proc/meminfo: memFree=125757144/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=101068 memory=74560 CPUtime=341.41 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 35513 0 0 0 33809 332 0 0 20 0 1 0 157034468 103493632 18640 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 25267 18640 1993 922 0 17219 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 101068 KiB
Current children cumulated memory: 74560 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.07 4.04 5/258 811866
/proc/meminfo: memFree=125735520/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=101068 memory=75140 CPUtime=401.26 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 35711 0 0 0 39768 358 0 0 20 0 1 0 157034468 103493632 18785 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 25267 18785 1993 922 0 17219 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 101068 KiB
Current children cumulated memory: 75140 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.12 4.06 5/258 811877
/proc/meminfo: memFree=125725948/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=114648 memory=78364 CPUtime=461.11 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 39969 0 0 0 45723 388 0 0 20 0 1 0 157034468 117399552 19591 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 28662 19591 1993 922 0 20614 0
################
# More data... #
################
Current children cumulated memory: 117380 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 813049
/proc/meminfo: memFree=125550008/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157812 memory=117380 CPUtime=2914.55 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 56666 0 0 0 290339 1116 0 0 20 0 1 0 157034468 161599488 29345 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39453 29345 1993 922 0 31405 0
Current children cumulated CPU time: 2914.55 s
Current children cumulated vsize: 157812 KiB
Current children cumulated memory: 117380 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 813443
/proc/meminfo: memFree=125547240/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157812 memory=119428 CPUtime=2974.38 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 56710 0 0 0 296310 1128 0 0 20 0 1 0 157034468 161599488 29857 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39453 29857 1993 922 0 31405 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 157812 KiB
Current children cumulated memory: 119428 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 813453
/proc/meminfo: memFree=125547392/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157812 memory=119428 CPUtime=3034.22 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 56753 0 0 0 302277 1145 0 0 20 0 1 0 157034468 161599488 29857 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39453 29857 1993 922 0 31405 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 157812 KiB
Current children cumulated memory: 119428 KiB
[startup+3102.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/256 813463
/proc/meminfo: memFree=125541892/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157812 memory=119428 CPUtime=3094.05 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 56797 0 0 0 308245 1160 0 0 20 0 1 0 157034468 161599488 29857 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39453 29857 1993 922 0 31405 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 157812 KiB
Current children cumulated memory: 119428 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 813644
/proc/meminfo: memFree=125543192/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=152576 memory=114320 CPUtime=3153.88 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 58311 0 0 0 314212 1176 0 0 20 0 1 0 157034468 156237824 28580 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 38144 28580 1993 922 0 30096 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 152576 KiB
Current children cumulated memory: 114320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 813654
/proc/meminfo: memFree=125543044/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=152576 memory=114320 CPUtime=3213.71 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 58352 0 0 0 320183 1188 0 0 20 0 1 0 157034468 156237824 28580 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 38144 28580 1993 922 0 30096 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 152576 KiB
Current children cumulated memory: 114320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 813668
/proc/meminfo: memFree=125537928/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119136 CPUtime=3273.54 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 59832 0 0 0 326148 1206 0 0 20 0 1 0 157034468 161345536 29784 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29784 1993 922 0 31343 0
Current children cumulated CPU time: 3273.54 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 813690
/proc/meminfo: memFree=125537536/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119180 CPUtime=3333.37 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 59872 0 0 0 332115 1222 0 0 20 0 1 0 157034468 161345536 29795 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29795 1993 922 0 31343 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/258 813700
/proc/meminfo: memFree=125536456/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119180 CPUtime=3393.21 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 59914 0 0 0 338087 1234 0 0 20 0 1 0 157034468 161345536 29795 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29795 1993 922 0 31343 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.19 4.12 5/258 813710
/proc/meminfo: memFree=125536076/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119180 CPUtime=3453.04 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 59955 0 0 0 344059 1245 0 0 20 0 1 0 157034468 161345536 29795 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29795 1993 922 0 31343 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/256 813722
/proc/meminfo: memFree=125534128/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=152576 memory=114320 CPUtime=3512.86 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 60228 0 0 0 350030 1256 0 0 20 0 1 0 157034468 156237824 28580 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 38144 28580 1993 922 0 30096 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 152576 KiB
Current children cumulated memory: 114320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/256 813732
/proc/meminfo: memFree=125525452/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119180 CPUtime=3572.69 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 60978 0 0 0 356005 1264 0 0 20 0 1 0 157034468 161345536 29795 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29795 1993 922 0 31343 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.17 4.18 4.12 5/254 813891
/proc/meminfo: memFree=125419632/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119180 CPUtime=3600.01 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 60980 0 0 0 358733 1268 0 0 20 0 1 0 157034468 161345536 29795 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29795 1993 922 0 31343 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 811791 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3587.34 s, system=12.6846 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.17 4.18 4.12 5/254 813891
/proc/meminfo: memFree=125419632/131524600 swapFree=131071996/131071996
[pid=811791] ppid=811788 vsize=157564 memory=119180 CPUtime=3600.01 cores=4,6
/proc/811791/stat : 811791 (roundingsat) R 811788 811791 811579 0 -1 4194304 60980 0 0 0 358733 1268 0 0 20 0 1 0 157034468 161345536 29795 134679101440 4194304 7968869 140723548600784 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 31498240 140723548603326 140723548603490 140723548603490 140723548610505 0
/proc/811791/statm: 39391 29795 1993 922 0 31343 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 157564 KiB
Current children cumulated memory: 119180 KiB
Child status: 1
Real time (s): 3609.7
CPU time (s): 3600.02
CPU user time (s): 3587.34
CPU system time (s): 12.6846
CPU usage (%): 99.7319
Max. virtual memory (cumulated for all children) (KiB): 157812
Max. memory (cumulated for all children) (KiB): 119428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.34
system time used= 12.6846
maximum resident set size= 124336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60988
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= 33
involuntary context switches= 2897
# summary of solver processes directly reported to runsolver:
# pid: 811791
# total CPU time (s): 3600.02
# total CPU user time (s): 3587.34
# total CPU system time (s): 12.6846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93672 second user time and 16.2268 second system time
The end
Begin job on nodeC017 at 2024-07-15 15:05:39 IDJOB=4429437 IDBENCH=147622 IDSOLVER=3051 FILE ID=nodeC017/4429437-1721048726 RUNJOBID= nodeC017-1721048723-811590 SLURM_JOB_ID= 7505469 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-4429437-1721048726/watcher-4429437-1721048726 -o /tmp/evaluation-result-4429437-1721048726/solver-4429437-1721048726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721048723-811590 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429437-1721048726.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 88220551ed2e54bab314d6806833f69c RANDOM SEED=1436616007 nodeC017.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 : 3673.311 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.46 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 : 3689.540 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 : 7006.99 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 : 3610.126 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.46 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.036 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 : 7006.99 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 : 3661.446 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.46 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 : 3689.582 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 : 7006.99 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 : 3653.544 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.46 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 : 3599.835 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 : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125929980 kB MemAvailable: 129686916 kB Buffers: 367124 kB Cached: 4189052 kB SwapCached: 0 kB Active: 712912 kB Inactive: 4210848 kB Active(anon): 1552 kB Inactive(anon): 403772 kB Active(file): 711360 kB Inactive(file): 3807076 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22108 kB Writeback: 0 kB AnonPages: 367696 kB Mapped: 113256 kB Shmem: 37720 kB KReclaimable: 156296 kB Slab: 267984 kB SReclaimable: 156296 kB SUnreclaim: 111688 kB KernelStack: 4144 kB PageTables: 9920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 761116 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59744 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 211668 kB DirectMap2M: 24727552 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 889972 MiB End job on nodeC017 at 2024-07-15 16:05:49