| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 149 | 3600.02 | 3611.3 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_14.opb |
| MD5SUM | 0e700fc92a231fc1e477aebd59f20b52 |
| 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 | 138 |
| Best CPU time to get the best result obtained on this benchmark | 3584.86 |
| 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 | 3296 |
| Total number of constraints | 6384 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6383 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 33 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 91 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 218 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 286 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1475 |
| 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.06 c #variables 3296 #constraints 6384 0.09/0.11 c bounds - >= 91 @ 0.0564 0.09/0.11 c rational objective 91 0.79/0.88 c bounds 194 >= 91 @ 0.395911 0.79/0.88 c #Conflicts: 1000 | #Constraints: 7389 0.79/0.88 c #Conflicts: 2000 | #Constraints: 8389 0.79/0.88 c INPROCESSING 0.79/0.88 c rational objective 91 1.99/2.07 c bounds 190 >= 91 @ 1.12902 1.99/2.07 c #Conflicts: 3000 | #Constraints: 8410 1.99/2.07 c #Conflicts: 4000 | #Constraints: 9410 1.99/2.07 c INPROCESSING 1.99/2.07 c GARBAGE COLLECT 1.99/2.07 c rational objective 91 3.09/3.19 c bounds 185 >= 91 @ 2.16049 3.09/3.19 c bounds 183 >= 91 @ 2.22566 3.09/3.19 c #Conflicts: 5000 | #Constraints: 8817 3.09/3.19 c bounds 179 >= 91 @ 2.58692 3.09/3.19 c #Conflicts: 6000 | #Constraints: 9818 3.09/3.19 c INPROCESSING 3.09/3.19 c GARBAGE COLLECT 3.09/3.19 c rational objective 91 4.38/4.44 c #Conflicts: 7000 | #Constraints: 8827 4.38/4.44 c bounds 178 >= 91 @ 3.53668 4.38/4.44 c #Conflicts: 8000 | #Constraints: 9828 4.38/4.44 c #Conflicts: 9000 | #Constraints: 10828 4.38/4.44 c INPROCESSING 4.38/4.44 c GARBAGE COLLECT 4.38/4.44 c rational objective 91 5.87/5.90 c bounds 177 >= 91 @ 4.47809 5.87/5.90 c #Conflicts: 10000 | #Constraints: 9538 5.87/5.90 c bounds 176 >= 91 @ 4.8615 5.87/5.90 c bounds 175 >= 91 @ 4.9369 5.87/5.90 c bounds 174 >= 91 @ 4.94914 5.87/5.90 c bounds 172 >= 91 @ 4.96293 5.87/5.90 c #Conflicts: 11000 | #Constraints: 10542 5.87/5.90 c #Conflicts: 12000 | #Constraints: 11543 5.87/5.90 c INPROCESSING 5.87/5.90 c GARBAGE COLLECT 5.87/5.90 c rational objective 91 8.87/8.94 c bounds 171 >= 91 @ 5.73797 8.87/8.94 c #Conflicts: 13000 | #Constraints: 9997 8.87/8.94 c #Conflicts: 14000 | #Constraints: 10999 8.87/8.94 c #Conflicts: 15000 | #Constraints: 12006 8.87/8.94 c INPROCESSING 8.87/8.94 c GARBAGE COLLECT 8.87/8.94 c #Conflicts: 16000 | #Constraints: 10230 8.87/8.94 c #Conflicts: 17000 | #Constraints: 11230 8.87/8.94 c #Conflicts: 18000 | #Constraints: 12232 8.87/8.94 c INPROCESSING 8.87/8.94 c GARBAGE COLLECT 8.87/8.94 c rational objective 91 10.97/11.07 c bounds 170 >= 91 @ 8.82349 10.97/11.07 c bounds 169 >= 91 @ 8.84375 10.97/11.07 c #Conflicts: 19000 | #Constraints: 10242 10.97/11.07 c #Conflicts: 20000 | #Constraints: 11245 10.97/11.07 c #Conflicts: 21000 | #Constraints: 12246 10.97/11.07 c INPROCESSING 10.97/11.07 c GARBAGE COLLECT 10.97/11.07 c rational objective 91 12.86/12.90 c #Conflicts: 22000 | #Constraints: 10066 12.86/12.90 c #Conflicts: 23000 | #Constraints: 11066 12.86/12.90 c #Conflicts: 24000 | #Constraints: 12066 12.86/12.90 c #Conflicts: 25000 | #Constraints: 13066 12.86/12.90 c INPROCESSING 12.86/12.90 c GARBAGE COLLECT 12.86/12.90 c rational objective 91 15.75/15.84 c #Conflicts: 26000 | #Constraints: 10664 15.75/15.84 c #Conflicts: 27000 | #Constraints: 11664 15.75/15.84 c #Conflicts: 28000 | #Constraints: 12677 15.75/15.84 c #Conflicts: 29000 | #Constraints: 13680 15.75/15.84 c INPROCESSING 15.75/15.84 c GARBAGE COLLECT 15.75/15.84 c rational objective 91 17.84/17.95 c #Conflicts: 30000 | #Constraints: 11074 17.84/17.95 c #Conflicts: 31000 | #Constraints: 12074 17.84/17.95 c #Conflicts: 32000 | #Constraints: 13074 17.84/17.95 c #Conflicts: 33000 | #Constraints: 14074 17.84/17.95 c INPROCESSING 17.84/17.95 c GARBAGE COLLECT 17.84/17.95 c rational objective 91 23.04/23.17 c #Conflicts: 34000 | #Constraints: 11271 23.04/23.17 c bounds 167 >= 91 @ 18.3086 23.04/23.17 c #Conflicts: 35000 | #Constraints: 12272 23.04/23.17 c #Conflicts: 36000 | #Constraints: 13272 23.04/23.17 c #Conflicts: 37000 | #Constraints: 14272 23.04/23.17 c INPROCESSING 23.04/23.17 c GARBAGE COLLECT 23.04/23.17 c #Conflicts: 38000 | #Constraints: 11265 23.04/23.17 c #Conflicts: 39000 | #Constraints: 12270 23.04/23.17 c bounds 166 >= 91 @ 21.0063 23.04/23.17 c #Conflicts: 40000 | #Constraints: 13276 23.04/23.17 c #Conflicts: 41000 | #Constraints: 14291 23.04/23.17 c INPROCESSING 23.04/23.17 c GARBAGE COLLECT 23.04/23.17 c rational objective 91 25.82/25.97 c #Conflicts: 42000 | #Constraints: 11122 25.82/25.97 c #Conflicts: 43000 | #Constraints: 12122 25.82/25.97 c #Conflicts: 44000 | #Constraints: 13122 25.82/25.97 c #Conflicts: 45000 | #Constraints: 14122 25.82/25.97 c #Conflicts: 46000 | #Constraints: 15122 25.82/25.97 c INPROCESSING 25.82/25.97 c GARBAGE COLLECT 25.82/25.97 c rational objective 91 28.41/28.57 c bounds 165 >= 91 @ 25.5688 28.41/28.57 c #Conflicts: 47000 | #Constraints: 11694 28.41/28.57 c #Conflicts: 48000 | #Constraints: 12694 28.41/28.57 c #Conflicts: 49000 | #Constraints: 13694 28.41/28.57 c #Conflicts: 50000 | #Constraints: 14694 28.41/28.57 c #Conflicts: 51000 | #Constraints: 15694 28.41/28.57 c INPROCESSING 28.41/28.57 c GARBAGE COLLECT 28.41/28.57 c rational objective 91 31.71/31.84 c #Conflicts: 52000 | #Constraints: 12089 31.71/31.84 c #Conflicts: 53000 | #Constraints: 13090 31.71/31.84 c #Conflicts: 54000 | #Constraints: 14092 31.71/31.84 c #Conflicts: 55000 | #Constraints: 15096 31.71/31.84 c #Conflicts: 56000 | #Constraints: 16096 31.71/31.84 c INPROCESSING 31.71/31.84 c GARBAGE COLLECT 31.71/31.84 c rational objective 91 35.20/35.39 c #Conflicts: 57000 | #Constraints: 12291 35.20/35.39 c #Conflicts: 58000 | #Constraints: 13291 35.20/35.39 c #Conflicts: 59000 | #Constraints: 14292 35.20/35.39 c #Conflicts: 60000 | #Constraints: 15292 35.20/35.39 c #Conflicts: 61000 | #Constraints: 16344 35.20/35.39 c INPROCESSING 35.20/35.39 c GARBAGE COLLECT 35.20/35.39 c rational objective 91 39.00/39.15 c #Conflicts: 62000 | #Constraints: 12320 39.00/39.15 c #Conflicts: 63000 | #Constraints: 13320 39.00/39.15 c #Conflicts: 64000 | #Constraints: 14321 39.00/39.15 c #Conflicts: 65000 | #Constraints: 15321 39.00/39.15 c #Conflicts: 66000 | #Constraints: 16322 39.00/39.15 c INPROCESSING 39.00/39.15 c GARBAGE COLLECT 39.00/39.15 c rational objective 91 42.48/42.65 c #Conflicts: 67000 | #Constraints: 12101 42.48/42.65 c #Conflicts: 68000 | #Constraints: 13101 42.48/42.65 c bounds 164 >= 91 @ 39.1774 42.48/42.65 c #Conflicts: 69000 | #Constraints: 14102 42.48/42.65 c bounds 163 >= 91 @ 39.9871 42.48/42.65 c #Conflicts: 70000 | #Constraints: 15103 42.48/42.65 c #Conflicts: 71000 | #Constraints: 16104 42.48/42.65 c #Conflicts: 72000 | #Constraints: 17106 42.48/42.65 c INPROCESSING 42.48/42.65 c GARBAGE COLLECT 42.48/42.65 c rational objective 91 46.97/47.11 c #Conflicts: 73000 | #Constraints: 12707 46.97/47.11 c #Conflicts: 74000 | #Constraints: 13707 46.97/47.11 c #Conflicts: 75000 | #Constraints: 14707 46.97/47.11 c #Conflicts: 76000 | #Constraints: 15710 46.97/47.11 c #Conflicts: 77000 | #Constraints: 16733 46.97/47.11 c #Conflicts: 78000 | #Constraints: 17796 46.97/47.11 c INPROCESSING 46.97/47.11 c GARBAGE COLLECT 46.97/47.11 c rational objective 91 51.36/51.50 c #Conflicts: 79000 | #Constraints: 13162 51.36/51.50 c #Conflicts: 80000 | #Constraints: 14163 51.36/51.50 c #Conflicts: 81000 | #Constraints: 15163 51.36/51.50 c #Conflicts: 82000 | #Constraints: 16163 51.36/51.50 c #Conflicts: 83000 | #Constraints: 17165 51.36/51.50 c #Conflicts: 84000 | #Constraints: 18167 51.36/51.50 c INPROCESSING 51.36/51.50 c GARBAGE COLLECT 51.36/51.50 c rational objective 91 56.34/56.58 c #Conflicts: 85000 | #Constraints: 13324 56.34/56.58 c #Conflicts: 86000 | #Constraints: 14342 56.34/56.58 c #Conflicts: 87000 | #Constraints: 15365 56.34/56.58 c #Conflicts: 88000 | #Constraints: 16365 56.34/56.58 c #Conflicts: 89000 | #Constraints: 17528 56.34/56.58 c #Conflicts: 90000 | #Constraints: 18837 56.34/56.58 c INPROCESSING 56.34/56.58 c GARBAGE COLLECT 56.34/56.58 WSVECS04 Frhs2[6]: 6 0 4.57145 shouldn't be 56.65/56.81 c rational objective 91 61.23/61.48 c #Conflicts: 91000 | #Constraints: 13577 61.23/61.48 c #Conflicts: 92000 | #Constraints: 14577 61.23/61.48 c #Conflicts: 93000 | #Constraints: 15577 61.23/61.48 c #Conflicts: 94000 | #Constraints: 16577 61.23/61.48 c #Conflicts: 95000 | #Constraints: 17577 61.23/61.48 c #Conflicts: 96000 | #Constraints: 18577 61.23/61.48 c INPROCESSING 61.23/61.48 c GARBAGE COLLECT 61.23/61.48 c rational objective 91 66.12/66.38 c #Conflicts: 97000 | #Constraints: 13217 66.12/66.38 c #Conflicts: 98000 | #Constraints: 14217 66.12/66.38 c #Conflicts: 99000 | #Constraints: 15217 66.12/66.38 c #Conflicts: 100000 | #Constraints: 16217 66.12/66.38 c #Conflicts: 101000 | #Constraints: 17234 66.12/66.38 c #Conflicts: 102000 | #Constraints: 18237 66.12/66.38 c #Conflicts: 103000 | #Constraints: 19237 66.12/66.38 c INPROCESSING 66.12/66.38 c GARBAGE COLLECT 66.12/66.38 c rational objective 91 71.81/72.05 c #Conflicts: 104000 | #Constraints: 13768 71.81/72.05 c #Conflicts: 105000 | #Constraints: 14768 71.81/72.05 c #Conflicts: 106000 | #Constraints: 15768 71.81/72.05 c #Conflicts: 107000 | #Constraints: 16768 71.81/72.05 c #Conflicts: 108000 | #Constraints: 17768 71.81/72.05 c #Conflicts: 109000 | #Constraints: 18771 71.81/72.05 c #Conflicts: 110000 | #Constraints: 19776 71.81/72.05 c INPROCESSING 71.81/72.05 c GARBAGE COLLECT 71.81/72.05 c rational objective 91 76.69/76.91 c #Conflicts: 111000 | #Constraints: 14132 76.69/76.91 c #Conflicts: 112000 | #Constraints: 15132 76.69/76.91 c #Conflicts: 113000 | #Constraints: 16132 76.69/76.91 c #Conflicts: 114000 | #Constraints: 17132 76.69/76.91 c #Conflicts: 115000 | #Constraints: 18132 76.69/76.91 c #Conflicts: 116000 | #Constraints: 19132 76.69/76.91 c #Conflicts: 117000 | #Constraints: 20132 76.69/76.91 c INPROCESSING 76.69/76.91 c GARBAGE COLLECT 76.69/76.91 c rational objective 91 82.58/82.83 c #Conflicts: 118000 | #Constraints: 14321 82.58/82.83 c #Conflicts: 119000 | #Constraints: 15321 82.58/82.83 c #Conflicts: 120000 | #Constraints: 16321 82.58/82.83 c #Conflicts: 121000 | #Constraints: 17321 82.58/82.83 c #Conflicts: 122000 | #Constraints: 18321 82.58/82.83 c #Conflicts: 123000 | #Constraints: 19321 82.58/82.83 c #Conflicts: 124000 | #Constraints: 20321 82.58/82.83 c INPROCESSING 82.58/82.83 c GARBAGE COLLECT 82.58/82.83 c rational objective 91 87.87/88.18 c #Conflicts: 125000 | #Constraints: 14306 87.87/88.18 c #Conflicts: 126000 | #Constraints: 15306 87.87/88.18 c #Conflicts: 127000 | #Constraints: 16306 87.87/88.18 c #Conflicts: 128000 | #Constraints: 17306 87.87/88.18 c #Conflicts: 129000 | #Constraints: 18306 87.87/88.18 c #Conflicts: 130000 | #Constraints: 19306 87.87/88.18 c #Conflicts: 131000 | #Constraints: 20306 87.87/88.18 c INPROCESSING 87.87/88.18 c GARBAGE COLLECT 87.87/88.18 c rational objective 91 94.45/94.72 c #Conflicts: 132000 | #Constraints: 14099 94.45/94.72 c #Conflicts: 133000 | #Constraints: 15099 94.45/94.72 c #Conflicts: 134000 | #Constraints: 16099 94.45/94.72 c #Conflicts: 135000 | #Constraints: 17100 94.45/94.72 c #Conflicts: 136000 | #Constraints: 18100 94.45/94.72 c #Conflicts: 137000 | #Constraints: 19100 94.45/94.72 c #Conflicts: 138000 | #Constraints: 20100 94.45/94.72 c #Conflicts: 139000 | #Constraints: 21100 94.45/94.72 c INPROCESSING 94.45/94.72 c GARBAGE COLLECT 94.45/94.72 c rational objective 91 100.83/101.10 c #Conflicts: 140000 | #Constraints: 14691 100.83/101.10 c #Conflicts: 141000 | #Constraints: 15691 100.83/101.10 c #Conflicts: 142000 | #Constraints: 16712 100.83/101.10 c #Conflicts: 143000 | #Constraints: 17726 100.83/101.10 c #Conflicts: 144000 | #Constraints: 18726 100.83/101.10 c #Conflicts: 145000 | #Constraints: 19731 100.83/101.10 c #Conflicts: 146000 | #Constraints: 20731 100.83/101.10 c #Conflicts: 147000 | #Constraints: 21732 100.83/101.10 c INPROCESSING 100.83/101.10 c GARBAGE COLLECT 100.83/101.10 c rational objective 91 107.82/108.14 c bounds 162 >= 91 @ 99.6473 107.82/108.14 c #Conflicts: 148000 | #Constraints: 15120 107.82/108.14 c #Conflicts: 149000 | #Constraints: 16120 107.82/108.14 c #Conflicts: 150000 | #Constraints: 17120 107.82/108.14 c #Conflicts: 151000 | #Constraints: 18120 107.82/108.14 c #Conflicts: 152000 | #Constraints: 19120 107.82/108.14 c #Conflicts: 153000 | #Constraints: 20120 107.82/108.14 c #Conflicts: 154000 | #Constraints: 21120 107.82/108.14 c #Conflicts: 155000 | #Constraints: 22120 107.82/108.14 c INPROCESSING 107.82/108.14 c GARBAGE COLLECT 107.82/108.14 c rational objective 91 123.97/124.37 c #Conflicts: 156000 | #Constraints: 15299 123.97/124.37 c #Conflicts: 157000 | #Constraints: 16299 123.97/124.37 c #Conflicts: 158000 | #Constraints: 17300 123.97/124.37 c #Conflicts: 159000 | #Constraints: 18300 123.97/124.37 c #Conflicts: 160000 | #Constraints: 19300 123.97/124.37 c #Conflicts: 161000 | #Constraints: 20300 123.97/124.37 c #Conflicts: 162000 | #Constraints: 21302 123.97/124.37 c #Conflicts: 163000 | #Constraints: 22313 123.97/124.37 c INPROCESSING 123.97/124.37 c GARBAGE COLLECT 123.97/124.37 c #Conflicts: 164000 | #Constraints: 15311 123.97/124.37 c #Conflicts: 165000 | #Constraints: 16312 123.97/124.37 c #Conflicts: 166000 | #Constraints: 17313 123.97/124.37 c #Conflicts: 167000 | #Constraints: 18313 123.97/124.37 c #Conflicts: 168000 | #Constraints: 19313 123.97/124.37 c #Conflicts: 169000 | #Constraints: 20313 123.97/124.37 c #Conflicts: 170000 | #Constraints: 21314 123.97/124.37 c #Conflicts: 171000 | #Constraints: 22316 123.97/124.37 c INPROCESSING 123.97/124.37 c GARBAGE COLLECT 123.97/124.37 c rational objective 91 133.34/133.70 c #Conflicts: 172000 | #Constraints: 15099 133.34/133.70 c #Conflicts: 173000 | #Constraints: 16099 133.34/133.70 c #Conflicts: 174000 | #Constraints: 17099 133.34/133.70 c #Conflicts: 175000 | #Constraints: 18099 133.34/133.70 c #Conflicts: 176000 | #Constraints: 19099 133.34/133.70 c #Conflicts: 177000 | #Constraints: 20100 133.34/133.70 c #Conflicts: 178000 | #Constraints: 21100 133.34/133.70 c #Conflicts: 179000 | #Constraints: 22107 133.34/133.70 c bounds 161 >= 91 @ 129.724 133.34/133.70 c #Conflicts: 180000 | #Constraints: 23108 133.34/133.70 c INPROCESSING 133.34/133.70 c GARBAGE COLLECT 133.34/133.70 c rational objective 91 141.32/141.76 c #Conflicts: 181000 | #Constraints: 15688 141.32/141.76 c #Conflicts: 182000 | #Constraints: 16688 141.32/141.76 c #Conflicts: 183000 | #Constraints: 17688 141.32/141.76 c #Conflicts: 184000 | #Constraints: 18688 141.32/141.76 c #Conflicts: 185000 | #Constraints: 19689 141.32/141.76 c #Conflicts: 186000 | #Constraints: 20690 141.32/141.76 c #Conflicts: 187000 | #Constraints: 21690 141.32/141.76 c #Conflicts: 188000 | #Constraints: 22690 141.32/141.76 c #Conflicts: 189000 | #Constraints: 23690 141.32/141.76 c INPROCESSING 141.32/141.76 c GARBAGE COLLECT 141.32/141.76 c rational objective 91 159.28/159.71 c #Conflicts: 190000 | #Constraints: 16085 159.28/159.71 c #Conflicts: 191000 | #Constraints: 17085 159.28/159.71 c #Conflicts: 192000 | #Constraints: 18085 159.28/159.71 c #Conflicts: 193000 | #Constraints: 19085 159.28/159.71 c #Conflicts: 194000 | #Constraints: 20085 159.28/159.71 c #Conflicts: 195000 | #Constraints: 21085 159.28/159.71 c #Conflicts: 196000 | #Constraints: 22085 159.28/159.71 c #Conflicts: 197000 | #Constraints: 23085 159.28/159.71 c #Conflicts: 198000 | #Constraints: 24085 159.28/159.71 c INPROCESSING 159.28/159.71 c GARBAGE COLLECT 159.28/159.71 c #Conflicts: 199000 | #Constraints: 16297 159.28/159.71 c #Conflicts: 200000 | #Constraints: 17300 159.28/159.71 c #Conflicts: 201000 | #Constraints: 18307 159.28/159.71 c #Conflicts: 202000 | #Constraints: 19307 159.28/159.71 c #Conflicts: 203000 | #Constraints: 20307 159.28/159.71 c #Conflicts: 204000 | #Constraints: 21307 159.28/159.71 c #Conflicts: 205000 | #Constraints: 22308 159.28/159.71 c #Conflicts: 206000 | #Constraints: 23308 159.28/159.71 c #Conflicts: 207000 | #Constraints: 24308 159.28/159.71 c INPROCESSING 159.28/159.71 c GARBAGE COLLECT 159.28/159.71 c rational objective 91 166.86/167.34 c #Conflicts: 208000 | #Constraints: 16295 166.86/167.34 c #Conflicts: 209000 | #Constraints: 17295 166.86/167.34 c #Conflicts: 210000 | #Constraints: 18295 166.86/167.34 c #Conflicts: 211000 | #Constraints: 19295 166.86/167.34 c #Conflicts: 212000 | #Constraints: 20295 166.86/167.34 c #Conflicts: 213000 | #Constraints: 21295 166.86/167.34 c #Conflicts: 214000 | #Constraints: 22295 166.86/167.34 c #Conflicts: 215000 | #Constraints: 23295 166.86/167.34 c #Conflicts: 216000 | #Constraints: 24295 166.86/167.34 c INPROCESSING 166.86/167.34 c GARBAGE COLLECT 166.86/167.34 c rational objective 91 176.54/177.09 c #Conflicts: 217000 | #Constraints: 16077 176.54/177.09 c #Conflicts: 218000 | #Constraints: 17077 176.54/177.09 c #Conflicts: 219000 | #Constraints: 18077 176.54/177.09 c #Conflicts: 220000 | #Constraints: 19077 176.54/177.09 c #Conflicts: 221000 | #Constraints: 20077 176.54/177.09 c #Conflicts: 222000 | #Constraints: 21077 176.54/177.09 c #Conflicts: 223000 | #Constraints: 22077 176.54/177.09 c #Conflicts: 224000 | #Constraints: 23077 176.54/177.09 c #Conflicts: 225000 | #Constraints: 24077 176.54/177.09 c #Conflicts: 226000 | #Constraints: 25077 176.54/177.09 c INPROCESSING 176.54/177.09 c GARBAGE COLLECT 176.54/177.09 c rational objective 91 184.31/184.87 c #Conflicts: 227000 | #Constraints: 16690 184.31/184.87 c #Conflicts: 228000 | #Constraints: 17690 184.31/184.87 c #Conflicts: 229000 | #Constraints: 18690 184.31/184.87 c #Conflicts: 230000 | #Constraints: 19690 184.31/184.87 c #Conflicts: 231000 | #Constraints: 20690 184.31/184.87 c #Conflicts: 232000 | #Constraints: 21690 184.31/184.87 c #Conflicts: 233000 | #Constraints: 22690 184.31/184.87 c #Conflicts: 234000 | #Constraints: 23690 184.31/184.87 WSVECS04 Frhs2[7]: 6 -64.0001 0 shouldn't be 185.61/186.15 c #Conflicts: 235000 | #Constraints: 24690 185.61/186.15 c #Conflicts: 236000 | #Constraints: 25690 185.61/186.15 c INPROCESSING 185.61/186.15 c GARBAGE COLLECT 185.61/186.15 c rational objective 91 195.08/195.69 c #Conflicts: 237000 | #Constraints: 17108 195.08/195.69 c #Conflicts: 238000 | #Constraints: 18108 195.08/195.69 c #Conflicts: 239000 | #Constraints: 19108 195.08/195.69 c #Conflicts: 240000 | #Constraints: 20108 195.08/195.69 c bounds 159 >= 91 @ 186.104 195.08/195.69 c #Conflicts: 241000 | #Constraints: 21109 195.08/195.69 c #Conflicts: 242000 | #Constraints: 22109 195.08/195.69 c #Conflicts: 243000 | #Constraints: 23109 195.08/195.69 c #Conflicts: 244000 | #Constraints: 24109 195.08/195.69 c #Conflicts: 245000 | #Constraints: 25109 195.08/195.69 c #Conflicts: 246000 | #Constraints: 26109 195.08/195.69 c INPROCESSING 195.08/195.69 c GARBAGE COLLECT 195.08/195.69 c rational objective 91 200.87/201.45 c #Conflicts: 247000 | #Constraints: 17296 200.87/201.45 c #Conflicts: 248000 | #Constraints: 18297 200.87/201.45 c #Conflicts: 249000 | #Constraints: 19303 200.87/201.45 c #Conflicts: 250000 | #Constraints: 20416 200.87/201.45 c #Conflicts: 251000 | #Constraints: 21416 200.87/201.45 c #Conflicts: 252000 | #Constraints: 22424 200.87/201.45 WSVECS04 Frhs2[47]: 6 0 1.46134 shouldn't be 200.87/201.45 WSVECS04 Frhs2[89]: 6 0 0.0339027 shouldn't be 200.87/201.45 WSVECS04 Frhs2[828]: 6 0 0.536278 shouldn't be 200.87/201.45 WSVECS04 Frhs2[3279]: 6 0 0.696095 shouldn't be 204.26/204.86 c #Conflicts: 253000 | #Constraints: 23455 204.26/204.86 c #Conflicts: 254000 | #Constraints: 24455 204.26/204.86 c #Conflicts: 255000 | #Constraints: 25455 204.26/204.86 c #Conflicts: 256000 | #Constraints: 26455 204.26/204.86 c INPROCESSING 204.26/204.86 c GARBAGE COLLECT 204.26/204.86 c rational objective 91 216.43/217.05 c #Conflicts: 257000 | #Constraints: 17388 216.43/217.05 c #Conflicts: 258000 | #Constraints: 18388 216.43/217.05 c #Conflicts: 259000 | #Constraints: 19388 216.43/217.05 c #Conflicts: 260000 | #Constraints: 20388 216.43/217.05 c #Conflicts: 261000 | #Constraints: 21388 216.43/217.05 c #Conflicts: 262000 | #Constraints: 22388 216.43/217.05 c #Conflicts: 263000 | #Constraints: 23388 216.43/217.05 c #Conflicts: 264000 | #Constraints: 24389 216.43/217.05 c #Conflicts: 265000 | #Constraints: 25390 216.43/217.05 c #Conflicts: 266000 | #Constraints: 26390 216.43/217.05 c INPROCESSING 216.43/217.05 c GARBAGE COLLECT 216.43/217.05 c rational objective 91 228.29/228.94 c #Conflicts: 267000 | #Constraints: 17131 228.29/228.94 c #Conflicts: 268000 | #Constraints: 18131 228.29/228.94 c #Conflicts: 269000 | #Constraints: 19131 228.29/228.94 c #Conflicts: 270000 | #Constraints: 20131 228.29/228.94 c #Conflicts: 271000 | #Constraints: 21134 228.29/228.94 c #Conflicts: 272000 | #Constraints: 22168 228.29/228.94 c #Conflicts: 273000 | #Constraints: 23199 228.29/228.94 c #Conflicts: 274000 | #Constraints: 24337 228.29/228.94 c #Conflicts: 275000 | #Constraints: 25533 228.29/228.94 c #Conflicts: 276000 | #Constraints: 26611 228.29/228.94 c #Conflicts: 277000 | #Constraints: 27697 228.29/228.94 c INPROCESSING 228.29/228.94 c GARBAGE COLLECT 228.29/228.94 WSVECS04 Frhs2[110]: 6 -32.0001 0 shouldn't be 228.29/229.00 c rational objective 91 241.65/242.36 c #Conflicts: 278000 | #Constraints: 18013 241.65/242.36 c #Conflicts: 279000 | #Constraints: 19013 241.65/242.36 c #Conflicts: 280000 | #Constraints: 20013 241.65/242.36 c #Conflicts: 281000 | #Constraints: 21013 241.65/242.36 c #Conflicts: 282000 | #Constraints: 22013 241.65/242.36 c #Conflicts: 283000 | #Constraints: 23013 241.65/242.36 c #Conflicts: 284000 | #Constraints: 24013 241.65/242.36 c #Conflicts: 285000 | #Constraints: 25013 241.65/242.36 c #Conflicts: 286000 | #Constraints: 26013 241.65/242.36 c #Conflicts: 287000 | #Constraints: 27013 241.65/242.36 c #Conflicts: 288000 | #Constraints: 28013 241.65/242.36 c INPROCESSING 241.65/242.36 c GARBAGE COLLECT 241.65/242.36 c rational objective 91 252.82/253.51 c #Conflicts: 289000 | #Constraints: 18255 252.82/253.51 c #Conflicts: 290000 | #Constraints: 19255 252.82/253.51 c #Conflicts: 291000 | #Constraints: 20255 252.82/253.51 c #Conflicts: 292000 | #Constraints: 21255 252.82/253.51 c #Conflicts: 293000 | #Constraints: 22255 252.82/253.51 c #Conflicts: 294000 | #Constraints: 23255 252.82/253.51 c #Conflicts: 295000 | #Constraints: 24255 252.82/253.51 c #Conflicts: 296000 | #Constraints: 25256 252.82/253.51 c #Conflicts: 297000 | #Constraints: 26258 252.82/253.51 c #Conflicts: 298000 | #Constraints: 27258 252.82/253.51 c #Conflicts: 299000 | #Constraints: 28258 252.82/253.51 c INPROCESSING 252.82/253.51 c GARBAGE COLLECT 252.82/253.51 c rational objective 91 266.19/266.99 c #Conflicts: 300000 | #Constraints: 18432 266.19/266.99 c #Conflicts: 301000 | #Constraints: 19432 266.19/266.99 c #Conflicts: 302000 | #Constraints: 20432 266.19/266.99 c #Conflicts: 303000 | #Constraints: 21432 266.19/266.99 c #Conflicts: 304000 | #Constraints: 22432 266.19/266.99 c #Conflicts: 305000 | #Constraints: 23432 266.19/266.99 c #Conflicts: 306000 | #Constraints: 24432 266.19/266.99 c #Conflicts: 307000 | #Constraints: 25432 266.19/266.99 c #Conflicts: 308000 | #Constraints: 26432 266.19/266.99 c #Conflicts: 309000 | #Constraints: 27432 266.19/266.99 c #Conflicts: 310000 | #Constraints: 28432 266.19/266.99 c INPROCESSING 266.19/266.99 c GARBAGE COLLECT 266.19/266.99 c rational objective 91 276.96/277.73 c #Conflicts: 311000 | #Constraints: 18377 276.96/277.73 c bounds 158 >= 91 @ 263.173 276.96/277.73 c #Conflicts: 312000 | #Constraints: 19378 276.96/277.73 c bounds 157 >= 91 @ 263.977 276.96/277.73 c #Conflicts: 313000 | #Constraints: 20379 276.96/277.73 c #Conflicts: 314000 | #Constraints: 21390 276.96/277.73 c #Conflicts: 315000 | #Constraints: 22401 276.96/277.73 c #Conflicts: 316000 | #Constraints: 23414 276.96/277.73 c #Conflicts: 317000 | #Constraints: 24425 276.96/277.73 c #Conflicts: 318000 | #Constraints: 25425 276.96/277.73 c #Conflicts: 319000 | #Constraints: 26425 276.96/277.73 c #Conflicts: 320000 | #Constraints: 27428 276.96/277.73 c #Conflicts: 321000 | #Constraints: 28428 276.96/277.73 c INPROCESSING 276.96/277.73 c GARBAGE COLLECT 276.96/277.73 c rational objective 91 321.43/322.39 c #Conflicts: 322000 | #Constraints: 18170 321.43/322.39 c #Conflicts: 323000 | #Constraints: 19170 321.43/322.39 c #Conflicts: 324000 | #Constraints: 20170 321.43/322.39 c #Conflicts: 325000 | #Constraints: 21170 321.43/322.39 c #Conflicts: 326000 | #Constraints: 22211 321.43/322.39 c #Conflicts: 327000 | #Constraints: 23427 321.43/322.39 c #Conflicts: 328000 | #Constraints: 25223 321.43/322.39 c #Conflicts: 329000 | #Constraints: 27077 321.43/322.39 c #Conflicts: 330000 | #Constraints: 28909 321.43/322.39 c #Conflicts: 331000 | #Constraints: 30750 321.43/322.39 c #Conflicts: 332000 | #Constraints: 32606 321.43/322.39 c #Conflicts: 333000 | #Constraints: 34398 321.43/322.39 c INPROCESSING 321.43/322.39 c GARBAGE COLLECT 321.43/322.39 c rational objective 91 339.09/340.00 c #Conflicts: 334000 | #Constraints: 21396 339.09/340.00 c #Conflicts: 335000 | #Constraints: 22396 339.09/340.00 c #Conflicts: 336000 | #Constraints: 23396 339.09/340.00 c #Conflicts: 337000 | #Constraints: 24396 339.09/340.00 c #Conflicts: 338000 | #Constraints: 25396 339.09/340.00 c #Conflicts: 339000 | #Constraints: 26396 339.09/340.00 c #Conflicts: 340000 | #Constraints: 27396 339.09/340.00 c #Conflicts: 341000 | #Constraints: 28396 339.09/340.00 c #Conflicts: 342000 | #Constraints: 29396 339.09/340.00 c #Conflicts: 343000 | #Constraints: 30396 339.09/340.00 c #Conflicts: 344000 | #Constraints: 31396 339.09/340.00 c #Conflicts: 345000 | #Constraints: 32396 339.09/340.00 c INPROCESSING 339.09/340.00 c GARBAGE COLLECT 339.09/340.00 c rational objective 91 356.13/357.15 c #Conflicts: 346000 | #Constraints: 20461 356.13/357.15 c #Conflicts: 347000 | #Constraints: 21461 356.13/357.15 c #Conflicts: 348000 | #Constraints: 22461 356.13/357.15 c #Conflicts: 349000 | #Constraints: 23461 356.13/357.15 c #Conflicts: 350000 | #Constraints: 24461 356.13/357.15 c #Conflicts: 351000 | #Constraints: 25461 356.13/357.15 c #Conflicts: 352000 | #Constraints: 26461 356.13/357.15 c #Conflicts: 353000 | #Constraints: 27461 356.13/357.15 c #Conflicts: 354000 | #Constraints: 28461 356.13/357.15 c #Conflicts: 355000 | #Constraints: 29461 356.13/357.15 c #Conflicts: 356000 | #Constraints: 30461 356.13/357.15 c #Conflicts: 357000 | #Constraints: 31461 356.13/357.15 c INPROCESSING 356.13/357.15 c GARBAGE COLLECT 356.13/357.15 c rational objective 91 369.70/370.70 c #Conflicts: 358000 | #Constraints: 19967 369.70/370.70 c #Conflicts: 359000 | #Constraints: 20967 369.70/370.70 c #Conflicts: 360000 | #Constraints: 21967 369.70/370.70 c #Conflicts: 361000 | #Constraints: 22967 369.70/370.70 c #Conflicts: 362000 | #Constraints: 23967 369.70/370.70 c #Conflicts: 363000 | #Constraints: 24967 369.70/370.70 c #Conflicts: 364000 | #Constraints: 25967 369.70/370.70 c #Conflicts: 365000 | #Constraints: 26967 369.70/370.70 c #Conflicts: 366000 | #Constraints: 27967 369.70/370.70 c #Conflicts: 367000 | #Constraints: 28969 369.70/370.70 c #Conflicts: 368000 | #Constraints: 29969 369.70/370.70 c #Conflicts: 369000 | #Constraints: 30969 369.70/370.70 c INPROCESSING 369.70/370.70 c GARBAGE COLLECT 369.70/370.70 c rational objective 91 385.86/386.96 c #Conflicts: 370000 | #Constraints: 19658 385.86/386.96 c #Conflicts: 371000 | #Constraints: 20658 385.86/386.96 c #Conflicts: 372000 | #Constraints: 21658 385.86/386.96 c #Conflicts: 373000 | #Constraints: 22659 385.86/386.96 c #Conflicts: 374000 | #Constraints: 23663 385.86/386.96 c #Conflicts: 375000 | #Constraints: 24663 385.86/386.96 c #Conflicts: 376000 | #Constraints: 25664 385.86/386.96 c #Conflicts: 377000 | #Constraints: 26664 385.86/386.96 c #Conflicts: 378000 | #Constraints: 27664 385.86/386.96 c #Conflicts: 379000 | #Constraints: 28664 385.86/386.96 c #Conflicts: 380000 | #Constraints: 29664 385.86/386.96 c #Conflicts: 381000 | #Constraints: 30664 385.86/386.96 c INPROCESSING 385.86/386.96 c GARBAGE COLLECT 385.86/386.96 c rational objective 91 401.81/402.93 c #Conflicts: 382000 | #Constraints: 19288 401.81/402.93 c #Conflicts: 383000 | #Constraints: 20288 401.81/402.93 c #Conflicts: 384000 | #Constraints: 21289 401.81/402.93 c #Conflicts: 385000 | #Constraints: 22289 401.81/402.93 c #Conflicts: 386000 | #Constraints: 23300 401.81/402.93 c #Conflicts: 387000 | #Constraints: 24396 401.81/402.93 c #Conflicts: 388000 | #Constraints: 25408 401.81/402.93 c #Conflicts: 389000 | #Constraints: 26408 401.81/402.93 c #Conflicts: 390000 | #Constraints: 27408 401.81/402.93 c #Conflicts: 391000 | #Constraints: 28414 401.81/402.93 c #Conflicts: 392000 | #Constraints: 29423 401.81/402.93 c #Conflicts: 393000 | #Constraints: 30426 401.81/402.93 c #Conflicts: 394000 | #Constraints: 31426 401.81/402.93 c INPROCESSING 401.81/402.93 c GARBAGE COLLECT 401.81/402.93 c rational objective 91 417.87/419.02 c #Conflicts: 395000 | #Constraints: 19878 417.87/419.02 c #Conflicts: 396000 | #Constraints: 20878 417.87/419.02 c #Conflicts: 397000 | #Constraints: 21878 417.87/419.02 c #Conflicts: 398000 | #Constraints: 22878 417.87/419.02 c #Conflicts: 399000 | #Constraints: 23878 417.87/419.02 c #Conflicts: 400000 | #Constraints: 24878 417.87/419.02 c #Conflicts: 401000 | #Constraints: 25879 417.87/419.02 c #Conflicts: 402000 | #Constraints: 26880 417.87/419.02 c #Conflicts: 403000 | #Constraints: 27880 417.87/419.02 c #Conflicts: 404000 | #Constraints: 28880 417.87/419.02 c #Conflicts: 405000 | #Constraints: 29880 417.87/419.02 c #Conflicts: 406000 | #Constraints: 30887 417.87/419.02 c #Conflicts: 407000 | #Constraints: 31888 417.87/419.02 c INPROCESSING 417.87/419.02 c GARBAGE COLLECT 417.87/419.02 c rational objective 91 428.54/429.71 c #Conflicts: 408000 | #Constraints: 20225 428.54/429.71 c #Conflicts: 409000 | #Constraints: 21225 428.54/429.71 c #Conflicts: 410000 | #Constraints: 22225 428.54/429.71 c #Conflicts: 411000 | #Constraints: 23225 428.54/429.71 c #Conflicts: 412000 | #Constraints: 24225 428.54/429.71 c #Conflicts: 413000 | #Constraints: 25300 428.54/429.71 c #Conflicts: 414000 | #Constraints: 26306 428.54/429.71 c #Conflicts: 415000 | #Constraints: 27306 428.54/429.71 c #Conflicts: 416000 | #Constraints: 28306 428.54/429.71 WSVECS04 Frhs2[7]: 6 -64 0 shouldn't be 433.12/434.33 c #Conflicts: 417000 | #Constraints: 29307 433.12/434.33 c #Conflicts: 418000 | #Constraints: 30307 433.12/434.33 c #Conflicts: 419000 | #Constraints: 31307 433.12/434.33 c #Conflicts: 420000 | #Constraints: 32307 433.12/434.33 c INPROCESSING 433.12/434.33 c GARBAGE COLLECT 433.12/434.33 c rational objective 91 451.18/452.42 c #Conflicts: 421000 | #Constraints: 20436 451.18/452.42 c #Conflicts: 422000 | #Constraints: 21436 451.18/452.42 c #Conflicts: 423000 | #Constraints: 22436 451.18/452.42 c #Conflicts: 424000 | #Constraints: 23436 451.18/452.42 c #Conflicts: 425000 | #Constraints: 24436 451.18/452.42 c #Conflicts: 426000 | #Constraints: 25436 451.18/452.42 c #Conflicts: 427000 | #Constraints: 26436 451.18/452.42 c #Conflicts: 428000 | #Constraints: 27437 451.18/452.42 c #Conflicts: 429000 | #Constraints: 28437 451.18/452.42 c #Conflicts: 430000 | #Constraints: 29437 451.18/452.42 c #Conflicts: 431000 | #Constraints: 30437 451.18/452.42 c #Conflicts: 432000 | #Constraints: 31437 451.18/452.42 c #Conflicts: 433000 | #Constraints: 32437 451.18/452.42 c INPROCESSING 451.18/452.42 c GARBAGE COLLECT 451.18/452.42 c rational objective 91 467.23/468.51 c #Conflicts: 434000 | #Constraints: 20376 467.23/468.51 c #Conflicts: 435000 | #Constraints: 21376 467.23/468.51 c #Conflicts: 436000 | #Constraints: 22376 467.23/468.51 c #Conflicts: 437000 | #Constraints: 23376 467.23/468.51 c bounds 156 >= 91 @ 449.924 467.23/468.51 c #Conflicts: 438000 | #Constraints: 24377 467.23/468.51 c #Conflicts: 439000 | #Constraints: 25377 467.23/468.51 c #Conflicts: 440000 | #Constraints: 26377 467.23/468.51 c #Conflicts: 441000 | #Constraints: 27377 467.23/468.51 c #Conflicts: 442000 | #Constraints: 28377 467.23/468.51 c #Conflicts: 443000 | #Constraints: 29377 467.23/468.51 c #Conflicts: 444000 | #Constraints: 30377 467.23/468.51 c #Conflicts: 445000 | #Constraints: 31377 467.23/468.51 c #Conflicts: 446000 | #Constraints: 32377 467.23/468.51 c INPROCESSING 467.23/468.51 c GARBAGE COLLECT 467.23/468.51 c rational objective 91 485.98/487.36 c #Conflicts: 447000 | #Constraints: 20174 485.98/487.36 c #Conflicts: 448000 | #Constraints: 21174 485.98/487.36 c #Conflicts: 449000 | #Constraints: 22174 485.98/487.36 c #Conflicts: 450000 | #Constraints: 23174 485.98/487.36 c #Conflicts: 451000 | #Constraints: 24174 485.98/487.36 c #Conflicts: 452000 | #Constraints: 25174 485.98/487.36 c #Conflicts: 453000 | #Constraints: 26174 485.98/487.36 c #Conflicts: 454000 | #Constraints: 27174 485.98/487.36 c #Conflicts: 455000 | #Constraints: 28174 485.98/487.36 c #Conflicts: 456000 | #Constraints: 29174 485.98/487.36 c #Conflicts: 457000 | #Constraints: 30174 485.98/487.36 c #Conflicts: 458000 | #Constraints: 31186 485.98/487.36 c #Conflicts: 459000 | #Constraints: 32186 485.98/487.36 c #Conflicts: 460000 | #Constraints: 33186 485.98/487.36 c INPROCESSING 485.98/487.36 c GARBAGE COLLECT 485.98/487.36 c rational objective 91 506.83/508.22 c #Conflicts: 461000 | #Constraints: 20766 506.83/508.22 c #Conflicts: 462000 | #Constraints: 21766 506.83/508.22 c #Conflicts: 463000 | #Constraints: 22766 506.83/508.22 c #Conflicts: 464000 | #Constraints: 23766 506.83/508.22 c #Conflicts: 465000 | #Constraints: 24768 506.83/508.22 c #Conflicts: 466000 | #Constraints: 25770 506.83/508.22 c #Conflicts: 467000 | #Constraints: 26770 506.83/508.22 c #Conflicts: 468000 | #Constraints: 27771 506.83/508.22 c #Conflicts: 469000 | #Constraints: 28780 506.83/508.22 c #Conflicts: 470000 | #Constraints: 29783 506.83/508.22 c #Conflicts: 471000 | #Constraints: 30783 506.83/508.22 c #Conflicts: 472000 | #Constraints: 31783 506.83/508.22 c #Conflicts: 473000 | #Constraints: 32783 506.83/508.22 c #Conflicts: 474000 | #Constraints: 33783 506.83/508.22 c INPROCESSING 506.83/508.22 c GARBAGE COLLECT 506.83/508.22 c rational objective 91 522.78/524.22 c #Conflicts: 475000 | #Constraints: 21147 522.78/524.22 c #Conflicts: 476000 | #Constraints: 22147 522.78/524.22 c #Conflicts: 477000 | #Constraints: 23147 522.78/524.22 c #Conflicts: 478000 | #Constraints: 24147 522.78/524.22 c #Conflicts: 479000 | #Constraints: 25147 522.78/524.22 c #Conflicts: 480000 | #Constraints: 26147 522.78/524.22 c #Conflicts: 481000 | #Constraints: 27147 522.78/524.22 c #Conflicts: 482000 | #Constraints: 28147 522.78/524.22 c #Conflicts: 483000 | #Constraints: 29147 522.78/524.22 c #Conflicts: 484000 | #Constraints: 30147 522.78/524.22 c #Conflicts: 485000 | #Constraints: 31147 522.78/524.22 c #Conflicts: 486000 | #Constraints: 32147 522.78/524.22 c #Conflicts: 487000 | #Constraints: 33147 522.78/524.22 c #Conflicts: 488000 | #Constraints: 34147 522.78/524.22 c INPROCESSING 522.78/524.22 c GARBAGE COLLECT 522.78/524.22 c rational objective 91 545.71/547.23 c #Conflicts: 489000 | #Constraints: 21365 545.71/547.23 c #Conflicts: 490000 | #Constraints: 22366 545.71/547.23 c #Conflicts: 491000 | #Constraints: 23366 545.71/547.23 c #Conflicts: 492000 | #Constraints: 24366 545.71/547.23 c #Conflicts: 493000 | #Constraints: 25368 545.71/547.23 c #Conflicts: 494000 | #Constraints: 26368 545.71/547.23 c #Conflicts: 495000 | #Constraints: 27368 545.71/547.23 c #Conflicts: 496000 | #Constraints: 28368 545.71/547.23 c #Conflicts: 497000 | #Constraints: 29368 545.71/547.23 c #Conflicts: 498000 | #Constraints: 30368 545.71/547.23 c #Conflicts: 499000 | #Constraints: 31368 545.71/547.23 c #Conflicts: 500000 | #Constraints: 32368 545.71/547.23 c #Conflicts: 501000 | #Constraints: 33368 545.71/547.23 c #Conflicts: 502000 | #Constraints: 34371 545.71/547.23 c INPROCESSING 545.71/547.23 c GARBAGE COLLECT 545.71/547.23 c rational objective 91 596.48/598.11 c #Conflicts: 503000 | #Constraints: 21332 596.48/598.11 c #Conflicts: 504000 | #Constraints: 22332 596.48/598.11 c #Conflicts: 505000 | #Constraints: 23332 596.48/598.11 c #Conflicts: 506000 | #Constraints: 24334 596.48/598.11 c #Conflicts: 507000 | #Constraints: 25334 596.48/598.11 c #Conflicts: 508000 | #Constraints: 26334 596.48/598.11 c #Conflicts: 509000 | #Constraints: 27338 596.48/598.11 c #Conflicts: 510000 | #Constraints: 28339 596.48/598.11 c #Conflicts: 511000 | #Constraints: 29339 596.48/598.11 c #Conflicts: 512000 | #Constraints: 30353 596.48/598.11 c #Conflicts: 513000 | #Constraints: 31355 596.48/598.11 c #Conflicts: 514000 | #Constraints: 32360 596.48/598.11 c #Conflicts: 515000 | #Constraints: 33360 596.48/598.11 c #Conflicts: 516000 | #Constraints: 34360 596.48/598.11 c INPROCESSING 596.48/598.11 c GARBAGE COLLECT 596.48/598.11 c #Conflicts: 517000 | #Constraints: 21167 596.48/598.11 c #Conflicts: 518000 | #Constraints: 22167 596.48/598.11 c #Conflicts: 519000 | #Constraints: 23167 596.48/598.11 c #Conflicts: 520000 | #Constraints: 24167 596.48/598.11 c #Conflicts: 521000 | #Constraints: 25167 596.48/598.11 c #Conflicts: 522000 | #Constraints: 26169 596.48/598.11 c #Conflicts: 523000 | #Constraints: 27171 596.48/598.11 c #Conflicts: 524000 | #Constraints: 28172 596.48/598.11 c #Conflicts: 525000 | #Constraints: 29173 596.48/598.11 c #Conflicts: 526000 | #Constraints: 30173 596.48/598.11 c #Conflicts: 527000 | #Constraints: 31176 596.48/598.11 c #Conflicts: 528000 | #Constraints: 32180 596.48/598.11 c #Conflicts: 529000 | #Constraints: 33180 596.48/598.11 c #Conflicts: 530000 | #Constraints: 34180 596.48/598.11 c #Conflicts: 531000 | #Constraints: 35180 596.48/598.11 c INPROCESSING 596.48/598.11 c GARBAGE COLLECT 596.48/598.11 c rational objective 91 632.98/634.77 c #Conflicts: 532000 | #Constraints: 21736 632.98/634.77 c #Conflicts: 533000 | #Constraints: 22737 632.98/634.77 c #Conflicts: 534000 | #Constraints: 23737 632.98/634.77 c #Conflicts: 535000 | #Constraints: 24737 632.98/634.77 c #Conflicts: 536000 | #Constraints: 25737 632.98/634.77 c #Conflicts: 537000 | #Constraints: 26738 632.98/634.77 c #Conflicts: 538000 | #Constraints: 27744 632.98/634.77 c #Conflicts: 539000 | #Constraints: 28744 632.98/634.77 c #Conflicts: 540000 | #Constraints: 29744 632.98/634.77 c #Conflicts: 541000 | #Constraints: 30746 632.98/634.77 c #Conflicts: 542000 | #Constraints: 31750 632.98/634.77 c #Conflicts: 543000 | #Constraints: 32750 632.98/634.77 c #Conflicts: 544000 | #Constraints: 33752 632.98/634.77 c #Conflicts: 545000 | #Constraints: 34802 632.98/634.77 c #Conflicts: 546000 | #Constraints: 36037 632.98/634.77 c INPROCESSING 632.98/634.77 c GARBAGE COLLECT 632.98/634.77 c rational objective 91 657.51/659.33 c #Conflicts: 547000 | #Constraints: 22296 657.51/659.33 c #Conflicts: 548000 | #Constraints: 23296 657.51/659.33 c #Conflicts: 549000 | #Constraints: 24296 657.51/659.33 c #Conflicts: 550000 | #Constraints: 25296 657.51/659.33 c #Conflicts: 551000 | #Constraints: 26296 657.51/659.33 c #Conflicts: 552000 | #Constraints: 27296 657.51/659.33 c #Conflicts: 553000 | #Constraints: 28296 657.51/659.33 c #Conflicts: 554000 | #Constraints: 29296 657.51/659.33 c #Conflicts: 555000 | #Constraints: 30296 657.51/659.33 c #Conflicts: 556000 | #Constraints: 31298 657.51/659.33 c #Conflicts: 557000 | #Constraints: 32298 657.51/659.33 c #Conflicts: 558000 | #Constraints: 33298 657.51/659.33 c #Conflicts: 559000 | #Constraints: 34298 657.51/659.33 c #Conflicts: 560000 | #Constraints: 35298 657.51/659.33 c #Conflicts: 561000 | #Constraints: 36298 657.51/659.33 c INPROCESSING 657.51/659.33 c GARBAGE COLLECT 657.51/659.33 c rational objective 91 683.64/685.52 c #Conflicts: 562000 | #Constraints: 22400 683.64/685.52 c #Conflicts: 563000 | #Constraints: 23400 683.64/685.52 c #Conflicts: 564000 | #Constraints: 24400 683.64/685.52 c #Conflicts: 565000 | #Constraints: 25400 683.64/685.52 c #Conflicts: 566000 | #Constraints: 26401 683.64/685.52 c #Conflicts: 567000 | #Constraints: 27401 683.64/685.52 c #Conflicts: 568000 | #Constraints: 28404 683.64/685.52 c #Conflicts: 569000 | #Constraints: 29404 683.64/685.52 c #Conflicts: 570000 | #Constraints: 30404 683.64/685.52 c #Conflicts: 571000 | #Constraints: 31404 683.64/685.52 c #Conflicts: 572000 | #Constraints: 32404 683.64/685.52 c #Conflicts: 573000 | #Constraints: 33404 683.64/685.52 c #Conflicts: 574000 | #Constraints: 34404 683.64/685.52 c #Conflicts: 575000 | #Constraints: 35404 683.64/685.52 c #Conflicts: 576000 | #Constraints: 36404 683.64/685.52 c INPROCESSING 683.64/685.52 c GARBAGE COLLECT 683.64/685.52 c rational objective 91 728.12/730.13 c #Conflicts: 577000 | #Constraints: 22380 728.12/730.13 c #Conflicts: 578000 | #Constraints: 23382 728.12/730.13 c #Conflicts: 579000 | #Constraints: 24382 728.12/730.13 c #Conflicts: 580000 | #Constraints: 25382 728.12/730.13 c #Conflicts: 581000 | #Constraints: 26383 728.12/730.13 c #Conflicts: 582000 | #Constraints: 27385 728.12/730.13 c #Conflicts: 583000 | #Constraints: 28409 728.12/730.13 c #Conflicts: 584000 | #Constraints: 29410 728.12/730.13 c #Conflicts: 585000 | #Constraints: 30416 728.12/730.13 c #Conflicts: 586000 | #Constraints: 31416 728.12/730.13 c #Conflicts: 587000 | #Constraints: 32424 728.12/730.13 c #Conflicts: 588000 | #Constraints: 33502 728.12/730.13 c #Conflicts: 589000 | #Constraints: 34533 728.12/730.13 c #Conflicts: 590000 | #Constraints: 35534 728.12/730.13 c #Conflicts: 591000 | #Constraints: 36556 728.12/730.13 c INPROCESSING 728.12/730.13 c GARBAGE COLLECT 728.12/730.13 c rational objective 91 753.15/755.26 c #Conflicts: 592000 | #Constraints: 22267 753.15/755.26 c #Conflicts: 593000 | #Constraints: 23267 753.15/755.26 c #Conflicts: 594000 | #Constraints: 24268 753.15/755.26 c #Conflicts: 595000 | #Constraints: 25268 753.15/755.26 c #Conflicts: 596000 | #Constraints: 26269 753.15/755.26 c #Conflicts: 597000 | #Constraints: 27273 753.15/755.26 c #Conflicts: 598000 | #Constraints: 28273 753.15/755.26 c #Conflicts: 599000 | #Constraints: 29274 753.15/755.26 c #Conflicts: 600000 | #Constraints: 30280 753.15/755.26 c #Conflicts: 601000 | #Constraints: 31280 753.15/755.26 c #Conflicts: 602000 | #Constraints: 32281 753.15/755.26 c #Conflicts: 603000 | #Constraints: 33284 753.15/755.26 c #Conflicts: 604000 | #Constraints: 34284 753.15/755.26 c #Conflicts: 605000 | #Constraints: 35285 753.15/755.26 c #Conflicts: 606000 | #Constraints: 36285 753.15/755.26 c #Conflicts: 607000 | #Constraints: 37288 753.15/755.26 c INPROCESSING 753.15/755.26 c GARBAGE COLLECT 753.15/755.26 c rational objective 91 785.75/787.96 c #Conflicts: 608000 | #Constraints: 22798 785.75/787.96 c #Conflicts: 609000 | #Constraints: 23798 785.75/787.96 c #Conflicts: 610000 | #Constraints: 24798 785.75/787.96 c #Conflicts: 611000 | #Constraints: 25798 785.75/787.96 c #Conflicts: 612000 | #Constraints: 26798 785.75/787.96 c #Conflicts: 613000 | #Constraints: 27798 785.75/787.96 c #Conflicts: 614000 | #Constraints: 28799 785.75/787.96 c #Conflicts: 615000 | #Constraints: 29799 785.75/787.96 c #Conflicts: 616000 | #Constraints: 30799 785.75/787.96 c #Conflicts: 617000 | #Constraints: 31799 785.75/787.96 c #Conflicts: 618000 | #Constraints: 32799 785.75/787.96 WSVECS04 Frhs2[7]: 6 -64.0001 0 shouldn't be 804.91/807.16 c #Conflicts: 619000 | #Constraints: 33800 804.91/807.16 c #Conflicts: 620000 | #Constraints: 34800 804.91/807.16 c #Conflicts: 621000 | #Constraints: 35800 804.91/807.16 c #Conflicts: 622000 | #Constraints: 36800 804.91/807.16 c #Conflicts: 623000 | #Constraints: 37800 804.91/807.16 c INPROCESSING 804.91/807.16 c GARBAGE COLLECT 804.91/807.16 c rational objective 91 833.02/835.36 c #Conflicts: 624000 | #Constraints: 23219 833.02/835.36 c #Conflicts: 625000 | #Constraints: 24220 833.02/835.36 c #Conflicts: 626000 | #Constraints: 25220 833.02/835.36 c #Conflicts: 627000 | #Constraints: 26220 833.02/835.36 c #Conflicts: 628000 | #Constraints: 27220 833.02/835.36 c #Conflicts: 629000 | #Constraints: 28220 833.02/835.36 c #Conflicts: 630000 | #Constraints: 29220 833.02/835.36 c #Conflicts: 631000 | #Constraints: 30221 833.02/835.36 c #Conflicts: 632000 | #Constraints: 31221 833.02/835.36 c #Conflicts: 633000 | #Constraints: 32223 833.02/835.36 c #Conflicts: 634000 | #Constraints: 33225 833.02/835.36 c #Conflicts: 635000 | #Constraints: 34226 833.02/835.36 c #Conflicts: 636000 | #Constraints: 35226 833.02/835.36 c #Conflicts: 637000 | #Constraints: 36226 833.02/835.36 c #Conflicts: 638000 | #Constraints: 37227 833.02/835.36 c #Conflicts: 639000 | #Constraints: 38228 833.02/835.36 c INPROCESSING 833.02/835.36 c GARBAGE COLLECT 833.02/835.36 c rational objective 91 862.84/865.29 c #Conflicts: 640000 | #Constraints: 23367 862.84/865.29 c #Conflicts: 641000 | #Constraints: 24367 862.84/865.29 c #Conflicts: 642000 | #Constraints: 25367 862.84/865.29 c #Conflicts: 643000 | #Constraints: 26367 862.84/865.29 c #Conflicts: 644000 | #Constraints: 27370 862.84/865.29 c #Conflicts: 645000 | #Constraints: 28372 862.84/865.29 c #Conflicts: 646000 | #Constraints: 29374 862.84/865.29 c #Conflicts: 647000 | #Constraints: 30375 862.84/865.29 c #Conflicts: 648000 | #Constraints: 31375 862.84/865.29 c #Conflicts: 649000 | #Constraints: 32376 862.84/865.29 c #Conflicts: 650000 | #Constraints: 33376 862.84/865.29 c #Conflicts: 651000 | #Constraints: 34376 862.84/865.29 c #Conflicts: 652000 | #Constraints: 35376 862.84/865.29 c #Conflicts: 653000 | #Constraints: 36376 862.84/865.29 c #Conflicts: 654000 | #Constraints: 37378 862.84/865.29 c #Conflicts: 655000 | #Constraints: 38378 862.84/865.29 c INPROCESSING 862.84/865.29 c GARBAGE COLLECT 862.84/865.29 c rational objective 91 907.12/909.61 c #Conflicts: 656000 | #Constraints: 23336 907.12/909.61 c #Conflicts: 657000 | #Constraints: 24336 907.12/909.61 c #Conflicts: 658000 | #Constraints: 25336 907.12/909.61 c #Conflicts: 659000 | #Constraints: 26336 907.12/909.61 c #Conflicts: 660000 | #Constraints: 27336 907.12/909.61 c #Conflicts: 661000 | #Constraints: 28336 907.12/909.61 c #Conflicts: 662000 | #Constraints: 29337 907.12/909.61 c #Conflicts: 663000 | #Constraints: 30348 907.12/909.61 c #Conflicts: 664000 | #Constraints: 31348 907.12/909.61 c #Conflicts: 665000 | #Constraints: 32348 907.12/909.61 c #Conflicts: 666000 | #Constraints: 33348 907.12/909.61 c #Conflicts: 667000 | #Constraints: 34348 907.12/909.61 c bounds 155 >= 91 @ 891.302 907.12/909.61 c #Conflicts: 668000 | #Constraints: 35349 907.12/909.61 c #Conflicts: 669000 | #Constraints: 36349 907.12/909.61 c #Conflicts: 670000 | #Constraints: 37349 907.12/909.61 c #Conflicts: 671000 | #Constraints: 38349 907.12/909.61 c INPROCESSING 907.12/909.61 c GARBAGE COLLECT 907.12/909.61 c rational objective 91 932.24/934.83 c #Conflicts: 672000 | #Constraints: 22034 932.24/934.83 c #Conflicts: 673000 | #Constraints: 23034 932.24/934.83 c #Conflicts: 674000 | #Constraints: 24034 932.24/934.83 c #Conflicts: 675000 | #Constraints: 25035 932.24/934.83 c #Conflicts: 676000 | #Constraints: 26035 932.24/934.83 c #Conflicts: 677000 | #Constraints: 27036 932.24/934.83 c #Conflicts: 678000 | #Constraints: 28036 932.24/934.83 c #Conflicts: 679000 | #Constraints: 29036 932.24/934.83 c #Conflicts: 680000 | #Constraints: 30037 932.24/934.83 c #Conflicts: 681000 | #Constraints: 31038 932.24/934.83 c #Conflicts: 682000 | #Constraints: 32038 932.24/934.83 c #Conflicts: 683000 | #Constraints: 33038 932.24/934.83 c #Conflicts: 684000 | #Constraints: 34038 932.24/934.83 c #Conflicts: 685000 | #Constraints: 35038 932.24/934.83 c #Conflicts: 686000 | #Constraints: 36038 932.24/934.83 c #Conflicts: 687000 | #Constraints: 37039 932.24/934.83 c #Conflicts: 688000 | #Constraints: 38040 932.24/934.83 c INPROCESSING 932.24/934.83 c GARBAGE COLLECT 932.24/934.83 c rational objective 91 968.14/970.85 c #Conflicts: 689000 | #Constraints: 23184 968.14/970.85 c #Conflicts: 690000 | #Constraints: 24185 968.14/970.85 c #Conflicts: 691000 | #Constraints: 25185 968.14/970.85 c #Conflicts: 692000 | #Constraints: 26185 968.14/970.85 c #Conflicts: 693000 | #Constraints: 27186 968.14/970.85 c #Conflicts: 694000 | #Constraints: 28187 968.14/970.85 c #Conflicts: 695000 | #Constraints: 29187 968.14/970.85 c #Conflicts: 696000 | #Constraints: 30190 968.14/970.85 c #Conflicts: 697000 | #Constraints: 31190 968.14/970.85 c #Conflicts: 698000 | #Constraints: 32374 968.14/970.85 c #Conflicts: 699000 | #Constraints: 33384 968.14/970.85 c #Conflicts: 700000 | #Constraints: 34720 968.14/970.85 c #Conflicts: 701000 | #Constraints: 36497 968.14/970.85 c #Conflicts: 702000 | #Constraints: 38291 968.14/970.85 c #Conflicts: 703000 | #Constraints: 40113 968.14/970.85 c #Conflicts: 704000 | #Constraints: 41941 968.14/970.85 c #Conflicts: 705000 | #Constraints: 43453 968.14/970.85 c INPROCESSING 968.14/970.85 c GARBAGE COLLECT 968.14/970.85 WSVECS04 Frhs2[3]: 6 -4 0 shouldn't be 997.86/1000.62 c #Conflicts: 706000 | #Constraints: 25999 997.86/1000.62 c #Conflicts: 707000 | #Constraints: 26999 997.86/1000.62 c #Conflicts: 708000 | #Constraints: 27999 997.86/1000.62 c #Conflicts: 709000 | #Constraints: 29002 997.86/1000.62 c #Conflicts: 710000 | #Constraints: 30003 997.86/1000.62 c #Conflicts: 711000 | #Constraints: 31003 997.86/1000.62 c #Conflicts: 712000 | #Constraints: 32003 997.86/1000.62 c #Conflicts: 713000 | #Constraints: 33003 997.86/1000.62 c #Conflicts: 714000 | #Constraints: 34005 997.86/1000.62 c #Conflicts: 715000 | #Constraints: 35006 997.86/1000.62 c #Conflicts: 716000 | #Constraints: 36006 997.86/1000.62 c #Conflicts: 717000 | #Constraints: 37006 997.86/1000.62 c #Conflicts: 718000 | #Constraints: 38006 997.86/1000.62 c #Conflicts: 719000 | #Constraints: 39008 997.86/1000.62 c #Conflicts: 720000 | #Constraints: 40010 997.86/1000.62 c #Conflicts: 721000 | #Constraints: 41011 997.86/1000.62 c #Conflicts: 722000 | #Constraints: 42011 997.86/1000.62 c INPROCESSING 997.86/1000.62 c GARBAGE COLLECT 997.86/1000.62 c rational objective 91 1022.49/1025.37 c #Conflicts: 723000 | #Constraints: 25261 1022.49/1025.37 c #Conflicts: 724000 | #Constraints: 26261 1022.49/1025.37 c #Conflicts: 725000 | #Constraints: 27261 1022.49/1025.37 c #Conflicts: 726000 | #Constraints: 28263 1022.49/1025.37 c #Conflicts: 727000 | #Constraints: 29263 1022.49/1025.37 c #Conflicts: 728000 | #Constraints: 30265 1022.49/1025.37 c #Conflicts: 729000 | #Constraints: 31265 1022.49/1025.37 c #Conflicts: 730000 | #Constraints: 32265 1022.49/1025.37 c #Conflicts: 731000 | #Constraints: 33265 1022.49/1025.37 c #Conflicts: 732000 | #Constraints: 34266 1022.49/1025.37 c #Conflicts: 733000 | #Constraints: 35266 1022.49/1025.37 c #Conflicts: 734000 | #Constraints: 36266 1022.49/1025.37 c #Conflicts: 735000 | #Constraints: 37266 1022.49/1025.37 c #Conflicts: 736000 | #Constraints: 38266 1022.49/1025.37 c #Conflicts: 737000 | #Constraints: 39266 1022.49/1025.37 c #Conflicts: 738000 | #Constraints: 40266 1022.49/1025.37 c #Conflicts: 739000 | #Constraints: 41266 1022.49/1025.37 c INPROCESSING 1022.49/1025.37 c GARBAGE COLLECT 1022.49/1025.37 c rational objective 91 1051.41/1054.39 c #Conflicts: 740000 | #Constraints: 24773 1051.41/1054.39 c #Conflicts: 741000 | #Constraints: 25773 1051.41/1054.39 c #Conflicts: 742000 | #Constraints: 26773 1051.41/1054.39 c #Conflicts: 743000 | #Constraints: 27774 1051.41/1054.39 c #Conflicts: 744000 | #Constraints: 28775 1051.41/1054.39 c #Conflicts: 745000 | #Constraints: 29776 1051.41/1054.39 c #Conflicts: 746000 | #Constraints: 30776 1051.41/1054.39 c #Conflicts: 747000 | #Constraints: 31776 1051.41/1054.39 c #Conflicts: 748000 | #Constraints: 32777 1051.41/1054.39 c #Conflicts: 749000 | #Constraints: 33777 1051.41/1054.39 c #Conflicts: 750000 | #Constraints: 34777 1051.41/1054.39 c #Conflicts: 751000 | #Constraints: 35778 1051.41/1054.39 c #Conflicts: 752000 | #Constraints: 36778 1051.41/1054.39 c #Conflicts: 753000 | #Constraints: 37778 1051.41/1054.39 c #Conflicts: 754000 | #Constraints: 38778 1051.41/1054.39 c #Conflicts: 755000 | #Constraints: 39778 1051.41/1054.39 c #Conflicts: 756000 | #Constraints: 40779 1051.41/1054.39 c INPROCESSING 1051.41/1054.39 c GARBAGE COLLECT 1051.41/1054.39 c rational objective 91 1110.06/1113.16 c #Conflicts: 757000 | #Constraints: 24335 1110.06/1113.16 c #Conflicts: 758000 | #Constraints: 25335 1110.06/1113.16 c #Conflicts: 759000 | #Constraints: 26335 1110.06/1113.16 c #Conflicts: 760000 | #Constraints: 27356 1110.06/1113.16 c #Conflicts: 761000 | #Constraints: 28358 1110.06/1113.16 c #Conflicts: 762000 | #Constraints: 29359 1110.06/1113.16 c #Conflicts: 763000 | #Constraints: 30364 1110.06/1113.16 c #Conflicts: 764000 | #Constraints: 31364 1110.06/1113.16 c #Conflicts: 765000 | #Constraints: 32364 1110.06/1113.16 c #Conflicts: 766000 | #Constraints: 33365 1110.06/1113.16 c #Conflicts: 767000 | #Constraints: 34366 1110.06/1113.16 c #Conflicts: 768000 | #Constraints: 35366 1110.06/1113.16 c #Conflicts: 769000 | #Constraints: 36370 1110.06/1113.16 c #Conflicts: 770000 | #Constraints: 37388 1110.06/1113.16 c #Conflicts: 771000 | #Constraints: 38392 1110.06/1113.16 c #Conflicts: 772000 | #Constraints: 39392 1110.06/1113.16 c #Conflicts: 773000 | #Constraints: 40398 1110.06/1113.16 c #Conflicts: 774000 | #Constraints: 41412 1110.06/1113.16 c INPROCESSING 1110.06/1113.16 c GARBAGE COLLECT 1110.06/1113.16 c #Conflicts: 775000 | #Constraints: 24903 1110.06/1113.16 c #Conflicts: 776000 | #Constraints: 25903 1110.06/1113.16 c #Conflicts: 777000 | #Constraints: 26903 1110.06/1113.16 c #Conflicts: 778000 | #Constraints: 27903 1110.06/1113.16 c #Conflicts: 779000 | #Constraints: 28904 1110.06/1113.16 c #Conflicts: 780000 | #Constraints: 29908 1110.06/1113.16 c #Conflicts: 781000 | #Constraints: 30910 1110.06/1113.16 c #Conflicts: 782000 | #Constraints: 31910 1110.06/1113.16 c #Conflicts: 783000 | #Constraints: 32911 1110.06/1113.16 c #Conflicts: 784000 | #Constraints: 33911 1110.06/1113.16 c #Conflicts: 785000 | #Constraints: 34911 1110.06/1113.16 c #Conflicts: 786000 | #Constraints: 35913 1110.06/1113.16 c #Conflicts: 787000 | #Constraints: 36915 1110.06/1113.16 c #Conflicts: 788000 | #Constraints: 37915 1110.06/1113.16 c #Conflicts: 789000 | #Constraints: 38915 1110.06/1113.16 c #Conflicts: 790000 | #Constraints: 39923 1110.06/1113.16 c #Conflicts: 791000 | #Constraints: 40927 1110.06/1113.16 c #Conflicts: 792000 | #Constraints: 41927 1110.06/1113.16 c INPROCESSING 1110.06/1113.16 c GARBAGE COLLECT 1110.06/1113.16 c rational objective 91 1166.80/1170.08 c #Conflicts: 793000 | #Constraints: 25213 1166.80/1170.08 c #Conflicts: 794000 | #Constraints: 26214 1166.80/1170.08 c #Conflicts: 795000 | #Constraints: 27214 1166.80/1170.08 c #Conflicts: 796000 | #Constraints: 28214 1166.80/1170.08 c #Conflicts: 797000 | #Constraints: 29214 1166.80/1170.08 c #Conflicts: 798000 | #Constraints: 30214 1166.80/1170.08 c #Conflicts: 799000 | #Constraints: 31214 1166.80/1170.08 c #Conflicts: 800000 | #Constraints: 32214 1166.80/1170.08 c #Conflicts: 801000 | #Constraints: 33214 1166.80/1170.08 c #Conflicts: 802000 | #Constraints: 34214 1166.80/1170.08 c #Conflicts: 803000 | #Constraints: 35214 1166.80/1170.08 c #Conflicts: 804000 | #Constraints: 36219 1166.80/1170.08 c #Conflicts: 805000 | #Constraints: 37219 1166.80/1170.08 c #Conflicts: 806000 | #Constraints: 38220 1166.80/1170.08 c #Conflicts: 807000 | #Constraints: 39220 1166.80/1170.08 c #Conflicts: 808000 | #Constraints: 40220 1166.80/1170.08 c #Conflicts: 809000 | #Constraints: 41222 1166.80/1170.08 c #Conflicts: 810000 | #Constraints: 42222 1166.80/1170.08 c INPROCESSING 1166.80/1170.08 c GARBAGE COLLECT 1166.80/1170.08 c #Conflicts: 811000 | #Constraints: 25386 1166.80/1170.08 c #Conflicts: 812000 | #Constraints: 26387 1166.80/1170.08 c #Conflicts: 813000 | #Constraints: 27390 1166.80/1170.08 c #Conflicts: 814000 | #Constraints: 28392 1166.80/1170.08 c #Conflicts: 815000 | #Constraints: 29395 1166.80/1170.08 c #Conflicts: 816000 | #Constraints: 30398 1166.80/1170.08 c #Conflicts: 817000 | #Constraints: 31398 1166.80/1170.08 c #Conflicts: 818000 | #Constraints: 32398 1166.80/1170.08 c #Conflicts: 819000 | #Constraints: 33398 1166.80/1170.08 c #Conflicts: 820000 | #Constraints: 34398 1166.80/1170.08 c #Conflicts: 821000 | #Constraints: 35398 1166.80/1170.08 c #Conflicts: 822000 | #Constraints: 36398 1166.80/1170.08 c #Conflicts: 823000 | #Constraints: 37398 1166.80/1170.08 c #Conflicts: 824000 | #Constraints: 38398 1166.80/1170.08 c #Conflicts: 825000 | #Constraints: 39399 1166.80/1170.08 c #Conflicts: 826000 | #Constraints: 40399 1166.80/1170.08 c #Conflicts: 827000 | #Constraints: 41399 1166.80/1170.08 c #Conflicts: 828000 | #Constraints: 42399 1166.80/1170.08 c INPROCESSING 1166.80/1170.08 c GARBAGE COLLECT 1166.80/1170.08 c rational objective 91 1201.59/1204.92 c #Conflicts: 829000 | #Constraints: 25346 1201.59/1204.92 c #Conflicts: 830000 | #Constraints: 26346 1201.59/1204.92 c #Conflicts: 831000 | #Constraints: 27346 1201.59/1204.92 c #Conflicts: 832000 | #Constraints: 28346 1201.59/1204.92 c #Conflicts: 833000 | #Constraints: 29346 1201.59/1204.92 c #Conflicts: 834000 | #Constraints: 30346 1201.59/1204.92 c #Conflicts: 835000 | #Constraints: 31346 1201.59/1204.92 c #Conflicts: 836000 | #Constraints: 32346 1201.59/1204.92 c #Conflicts: 837000 | #Constraints: 33346 1201.59/1204.92 c #Conflicts: 838000 | #Constraints: 34346 1201.59/1204.92 c #Conflicts: 839000 | #Constraints: 35346 1201.59/1204.92 c #Conflicts: 840000 | #Constraints: 36346 1201.59/1204.92 c #Conflicts: 841000 | #Constraints: 37346 1201.59/1204.92 c #Conflicts: 842000 | #Constraints: 38346 1201.59/1204.92 c #Conflicts: 843000 | #Constraints: 39346 1201.59/1204.92 c #Conflicts: 844000 | #Constraints: 40346 1201.59/1204.92 c #Conflicts: 845000 | #Constraints: 41422 1201.59/1204.92 c #Conflicts: 846000 | #Constraints: 42447 1201.59/1204.92 c INPROCESSING 1201.59/1204.92 c GARBAGE COLLECT 1201.59/1204.92 c rational objective 91 1231.81/1235.29 c #Conflicts: 847000 | #Constraints: 25191 1231.81/1235.29 c #Conflicts: 848000 | #Constraints: 26191 1231.81/1235.29 c #Conflicts: 849000 | #Constraints: 27191 1231.81/1235.29 c #Conflicts: 850000 | #Constraints: 28191 1231.81/1235.29 c #Conflicts: 851000 | #Constraints: 29191 1231.81/1235.29 c #Conflicts: 852000 | #Constraints: 30191 1231.81/1235.29 c #Conflicts: 853000 | #Constraints: 31191 1231.81/1235.29 c #Conflicts: 854000 | #Constraints: 32191 1231.81/1235.29 c #Conflicts: 855000 | #Constraints: 33191 1231.81/1235.29 c #Conflicts: 856000 | #Constraints: 34191 1231.81/1235.29 c #Conflicts: 857000 | #Constraints: 35191 1231.81/1235.29 c #Conflicts: 858000 | #Constraints: 36191 1231.81/1235.29 c #Conflicts: 859000 | #Constraints: 37191 1231.81/1235.29 c #Conflicts: 860000 | #Constraints: 38191 1231.81/1235.29 c #Conflicts: 861000 | #Constraints: 39191 1231.81/1235.29 c #Conflicts: 862000 | #Constraints: 40191 1231.81/1235.29 c #Conflicts: 863000 | #Constraints: 41191 1231.81/1235.29 c #Conflicts: 864000 | #Constraints: 42191 1231.81/1235.29 c #Conflicts: 865000 | #Constraints: 43191 1231.81/1235.29 c INPROCESSING 1231.81/1235.29 c GARBAGE COLLECT 1231.81/1235.29 c rational objective 91 1306.40/1310.04 c #Conflicts: 866000 | #Constraints: 25756 1306.40/1310.04 c #Conflicts: 867000 | #Constraints: 26756 1306.40/1310.04 c #Conflicts: 868000 | #Constraints: 27756 1306.40/1310.04 c #Conflicts: 869000 | #Constraints: 28757 1306.40/1310.04 c #Conflicts: 870000 | #Constraints: 29757 1306.40/1310.04 c #Conflicts: 871000 | #Constraints: 30806 1306.40/1310.04 c #Conflicts: 872000 | #Constraints: 31810 1306.40/1310.04 c #Conflicts: 873000 | #Constraints: 33103 1306.40/1310.04 c #Conflicts: 874000 | #Constraints: 34390 1306.40/1310.04 c #Conflicts: 875000 | #Constraints: 35602 1306.40/1310.04 c #Conflicts: 876000 | #Constraints: 36602 1306.40/1310.04 c #Conflicts: 877000 | #Constraints: 37602 1306.40/1310.04 c #Conflicts: 878000 | #Constraints: 38602 1306.40/1310.04 c #Conflicts: 879000 | #Constraints: 39657 1306.40/1310.04 c #Conflicts: 880000 | #Constraints: 40700 1306.40/1310.04 c #Conflicts: 881000 | #Constraints: 41809 1306.40/1310.04 c #Conflicts: 882000 | #Constraints: 42964 1306.40/1310.04 c #Conflicts: 883000 | #Constraints: 44564 1306.40/1310.04 c #Conflicts: 884000 | #Constraints: 46259 1306.40/1310.04 c INPROCESSING 1306.40/1310.04 c GARBAGE COLLECT 1306.40/1310.04 c #Conflicts: 885000 | #Constraints: 27408 1306.40/1310.04 c #Conflicts: 886000 | #Constraints: 28408 1306.40/1310.04 c #Conflicts: 887000 | #Constraints: 29408 1306.40/1310.04 c #Conflicts: 888000 | #Constraints: 30408 1306.40/1310.04 c #Conflicts: 889000 | #Constraints: 31408 1306.40/1310.04 c #Conflicts: 890000 | #Constraints: 32409 1306.40/1310.04 c #Conflicts: 891000 | #Constraints: 33409 1306.40/1310.04 c #Conflicts: 892000 | #Constraints: 34409 1306.40/1310.04 c #Conflicts: 893000 | #Constraints: 35410 1306.40/1310.04 c #Conflicts: 894000 | #Constraints: 36417 1306.40/1310.04 c #Conflicts: 895000 | #Constraints: 37421 1306.40/1310.04 c #Conflicts: 896000 | #Constraints: 38453 1306.40/1310.04 c #Conflicts: 897000 | #Constraints: 39457 1306.40/1310.04 c #Conflicts: 898000 | #Constraints: 40457 1306.40/1310.04 c #Conflicts: 899000 | #Constraints: 41457 1306.40/1310.04 c #Conflicts: 900000 | #Constraints: 42457 1306.40/1310.04 c #Conflicts: 901000 | #Constraints: 43458 1306.40/1310.04 c #Conflicts: 902000 | #Constraints: 44466 1306.40/1310.04 c #Conflicts: 903000 | #Constraints: 45466 1306.40/1310.04 c INPROCESSING 1306.40/1310.04 c GARBAGE COLLECT 1306.40/1310.04 c rational objective 91 1341.99/1345.75 c #Conflicts: 904000 | #Constraints: 27012 1341.99/1345.75 c #Conflicts: 905000 | #Constraints: 28012 1341.99/1345.75 c #Conflicts: 906000 | #Constraints: 29014 1341.99/1345.75 c #Conflicts: 907000 | #Constraints: 30088 1341.99/1345.75 c #Conflicts: 908000 | #Constraints: 31130 1341.99/1345.75 c #Conflicts: 909000 | #Constraints: 32130 1341.99/1345.75 c #Conflicts: 910000 | #Constraints: 33131 1341.99/1345.75 c #Conflicts: 911000 | #Constraints: 34131 1341.99/1345.75 c #Conflicts: 912000 | #Constraints: 35134 1341.99/1345.75 c #Conflicts: 913000 | #Constraints: 36139 1341.99/1345.75 c #Conflicts: 914000 | #Constraints: 37140 1341.99/1345.75 c #Conflicts: 915000 | #Constraints: 38160 1341.99/1345.75 c #Conflicts: 916000 | #Constraints: 39173 1341.99/1345.75 c #Conflicts: 917000 | #Constraints: 40177 1341.99/1345.75 c #Conflicts: 918000 | #Constraints: 41190 1341.99/1345.75 c #Conflicts: 919000 | #Constraints: 42289 1341.99/1345.75 c #Conflicts: 920000 | #Constraints: 43290 1341.99/1345.75 c #Conflicts: 921000 | #Constraints: 44298 1341.99/1345.75 c #Conflicts: 922000 | #Constraints: 45305 1341.99/1345.75 c INPROCESSING 1341.99/1345.75 c GARBAGE COLLECT 1341.99/1345.75 c rational objective 91 1380.09/1383.92 c #Conflicts: 923000 | #Constraints: 26879 1380.09/1383.92 c #Conflicts: 924000 | #Constraints: 27879 1380.09/1383.92 c #Conflicts: 925000 | #Constraints: 28879 1380.09/1383.92 c #Conflicts: 926000 | #Constraints: 29879 1380.09/1383.92 c #Conflicts: 927000 | #Constraints: 30879 1380.09/1383.92 c #Conflicts: 928000 | #Constraints: 31879 1380.09/1383.92 c #Conflicts: 929000 | #Constraints: 32895 1380.09/1383.92 c #Conflicts: 930000 | #Constraints: 33895 1380.09/1383.92 c #Conflicts: 931000 | #Constraints: 34896 1380.09/1383.92 c #Conflicts: 932000 | #Constraints: 35897 1380.09/1383.92 c #Conflicts: 933000 | #Constraints: 36903 1380.09/1383.92 c #Conflicts: 934000 | #Constraints: 37907 1380.09/1383.92 c #Conflicts: 935000 | #Constraints: 38914 1380.09/1383.92 c #Conflicts: 936000 | #Constraints: 39941 1380.09/1383.92 c #Conflicts: 937000 | #Constraints: 40941 1380.09/1383.92 c #Conflicts: 938000 | #Constraints: 41943 1380.09/1383.92 c #Conflicts: 939000 | #Constraints: 42948 1380.09/1383.92 c #Conflicts: 940000 | #Constraints: 43957 1380.09/1383.92 c #Conflicts: 941000 | #Constraints: 44975 1380.09/1383.92 c INPROCESSING 1380.09/1383.92 c GARBAGE COLLECT 1380.09/1383.92 c rational objective 91 1449.29/1453.32 c #Conflicts: 942000 | #Constraints: 26451 1449.29/1453.32 c #Conflicts: 943000 | #Constraints: 27451 1449.29/1453.32 c #Conflicts: 944000 | #Constraints: 28451 1449.29/1453.32 c #Conflicts: 945000 | #Constraints: 29463 1449.29/1453.32 c #Conflicts: 946000 | #Constraints: 30610 1449.29/1453.32 c #Conflicts: 947000 | #Constraints: 31674 1449.29/1453.32 c #Conflicts: 948000 | #Constraints: 32691 1449.29/1453.32 c #Conflicts: 949000 | #Constraints: 33724 1449.29/1453.32 c #Conflicts: 950000 | #Constraints: 34735 1449.29/1453.32 c #Conflicts: 951000 | #Constraints: 35735 1449.29/1453.32 c #Conflicts: 952000 | #Constraints: 36735 1449.29/1453.32 c #Conflicts: 953000 | #Constraints: 37735 1449.29/1453.32 c #Conflicts: 954000 | #Constraints: 38736 1449.29/1453.32 c #Conflicts: 955000 | #Constraints: 39797 1449.29/1453.32 c #Conflicts: 956000 | #Constraints: 40934 1449.29/1453.32 c #Conflicts: 957000 | #Constraints: 41934 1449.29/1453.32 c #Conflicts: 958000 | #Constraints: 42934 1449.29/1453.32 c #Conflicts: 959000 | #Constraints: 43934 1449.29/1453.32 c #Conflicts: 960000 | #Constraints: 44934 1449.29/1453.32 c #Conflicts: 961000 | #Constraints: 45934 1449.29/1453.32 c INPROCESSING 1449.29/1453.32 c GARBAGE COLLECT 1449.29/1453.32 c #Conflicts: 962000 | #Constraints: 27147 1449.29/1453.32 c #Conflicts: 963000 | #Constraints: 28149 1449.29/1453.32 c #Conflicts: 964000 | #Constraints: 29151 1449.29/1453.32 c #Conflicts: 965000 | #Constraints: 30151 1449.29/1453.32 c #Conflicts: 966000 | #Constraints: 31152 1449.29/1453.32 c #Conflicts: 967000 | #Constraints: 32154 1449.29/1453.32 c #Conflicts: 968000 | #Constraints: 33154 1449.29/1453.32 c #Conflicts: 969000 | #Constraints: 34154 1449.29/1453.32 c #Conflicts: 970000 | #Constraints: 35154 1449.29/1453.32 c #Conflicts: 971000 | #Constraints: 36155 1449.29/1453.32 c #Conflicts: 972000 | #Constraints: 37155 1449.29/1453.32 c #Conflicts: 973000 | #Constraints: 38155 1449.29/1453.32 c #Conflicts: 974000 | #Constraints: 39156 1449.29/1453.32 c #Conflicts: 975000 | #Constraints: 40156 1449.29/1453.32 c #Conflicts: 976000 | #Constraints: 41156 1449.29/1453.32 c #Conflicts: 977000 | #Constraints: 42156 1449.29/1453.32 c #Conflicts: 978000 | #Constraints: 43165 1449.29/1453.32 c #Conflicts: 979000 | #Constraints: 44167 1449.29/1453.32 c #Conflicts: 980000 | #Constraints: 45181 1449.29/1453.32 c #Conflicts: 981000 | #Constraints: 46181 1449.29/1453.32 c INPROCESSING 1449.29/1453.32 c GARBAGE COLLECT 1449.29/1453.32 c rational objective 91 1494.35/1498.58 c #Conflicts: 982000 | #Constraints: 27364 1494.35/1498.58 c #Conflicts: 983000 | #Constraints: 28371 1494.35/1498.58 c #Conflicts: 984000 | #Constraints: 29499 1494.35/1498.58 c #Conflicts: 985000 | #Constraints: 30547 1494.35/1498.58 c #Conflicts: 986000 | #Constraints: 31733 1494.35/1498.58 c #Conflicts: 987000 | #Constraints: 32760 1494.35/1498.58 c #Conflicts: 988000 | #Constraints: 33877 1494.35/1498.58 c #Conflicts: 989000 | #Constraints: 34895 1494.35/1498.58 c #Conflicts: 990000 | #Constraints: 36666 1494.35/1498.58 c #Conflicts: 991000 | #Constraints: 37779 1494.35/1498.58 c #Conflicts: 992000 | #Constraints: 38787 1494.35/1498.58 c #Conflicts: 993000 | #Constraints: 39787 1494.35/1498.58 c #Conflicts: 994000 | #Constraints: 40787 1494.35/1498.58 c #Conflicts: 995000 | #Constraints: 41802 1494.35/1498.58 c #Conflicts: 996000 | #Constraints: 43184 1494.35/1498.58 c #Conflicts: 997000 | #Constraints: 44184 1494.35/1498.58 c #Conflicts: 998000 | #Constraints: 45185 1494.35/1498.58 c #Conflicts: 999000 | #Constraints: 46344 1494.35/1498.58 c #Conflicts: 1000000 | #Constraints: 47971 1494.35/1498.58 c #Conflicts: 1001000 | #Constraints: 49115 1494.35/1498.58 c INPROCESSING 1494.35/1498.58 c GARBAGE COLLECT 1494.35/1498.58 c rational objective 91 1531.14/1535.40 c #Conflicts: 1002000 | #Constraints: 28848 1531.14/1535.40 c #Conflicts: 1003000 | #Constraints: 29848 1531.14/1535.40 c #Conflicts: 1004000 | #Constraints: 30848 1531.14/1535.40 c #Conflicts: 1005000 | #Constraints: 31848 1531.14/1535.40 c #Conflicts: 1006000 | #Constraints: 32848 1531.14/1535.40 c #Conflicts: 1007000 | #Constraints: 33848 1531.14/1535.40 c #Conflicts: 1008000 | #Constraints: 34848 1531.14/1535.40 c #Conflicts: 1009000 | #Constraints: 35848 1531.14/1535.40 c #Conflicts: 1010000 | #Constraints: 36848 1531.14/1535.40 c #Conflicts: 1011000 | #Constraints: 37848 1531.14/1535.40 c #Conflicts: 1012000 | #Constraints: 38848 1531.14/1535.40 c #Conflicts: 1013000 | #Constraints: 39848 1531.14/1535.40 c #Conflicts: 1014000 | #Constraints: 40848 1531.14/1535.40 c #Conflicts: 1015000 | #Constraints: 41848 1531.14/1535.40 c #Conflicts: 1016000 | #Constraints: 42848 1531.14/1535.40 c #Conflicts: 1017000 | #Constraints: 43848 1531.14/1535.40 c #Conflicts: 1018000 | #Constraints: 44848 1531.14/1535.40 c #Conflicts: 1019000 | #Constraints: 45848 1531.14/1535.40 c #Conflicts: 1020000 | #Constraints: 46848 1531.14/1535.40 c #Conflicts: 1021000 | #Constraints: 47848 1531.14/1535.40 c INPROCESSING 1531.14/1535.40 c GARBAGE COLLECT 1531.14/1535.40 c rational objective 91 1573.59/1578.03 c #Conflicts: 1022000 | #Constraints: 28077 1573.59/1578.03 c #Conflicts: 1023000 | #Constraints: 29077 1573.59/1578.03 c #Conflicts: 1024000 | #Constraints: 30077 1573.59/1578.03 c #Conflicts: 1025000 | #Constraints: 31077 1573.59/1578.03 c #Conflicts: 1026000 | #Constraints: 32077 1573.59/1578.03 c #Conflicts: 1027000 | #Constraints: 33077 1573.59/1578.03 c #Conflicts: 1028000 | #Constraints: 34077 1573.59/1578.03 c #Conflicts: 1029000 | #Constraints: 35079 1573.59/1578.03 c #Conflicts: 1030000 | #Constraints: 36079 1573.59/1578.03 c #Conflicts: 1031000 | #Constraints: 37080 1573.59/1578.03 c #Conflicts: 1032000 | #Constraints: 38080 1573.59/1578.03 c #Conflicts: 1033000 | #Constraints: 39080 1573.59/1578.03 c #Conflicts: 1034000 | #Constraints: 40081 1573.59/1578.03 c #Conflicts: 1035000 | #Constraints: 41083 1573.59/1578.03 c #Conflicts: 1036000 | #Constraints: 42083 1573.59/1578.03 c #Conflicts: 1037000 | #Constraints: 43083 1573.59/1578.03 c #Conflicts: 1038000 | #Constraints: 44083 1573.59/1578.03 c #Conflicts: 1039000 | #Constraints: 45083 1573.59/1578.03 c #Conflicts: 1040000 | #Constraints: 46083 1573.59/1578.03 c #Conflicts: 1041000 | #Constraints: 47083 1573.59/1578.03 c INPROCESSING 1573.59/1578.03 c GARBAGE COLLECT 1573.59/1578.03 c rational objective 91 1611.96/1616.51 c #Conflicts: 1042000 | #Constraints: 27500 1611.96/1616.51 c #Conflicts: 1043000 | #Constraints: 28500 1611.96/1616.51 c #Conflicts: 1044000 | #Constraints: 29500 1611.96/1616.51 c #Conflicts: 1045000 | #Constraints: 30500 1611.96/1616.51 c #Conflicts: 1046000 | #Constraints: 31500 1611.96/1616.51 c #Conflicts: 1047000 | #Constraints: 32500 1611.96/1616.51 c #Conflicts: 1048000 | #Constraints: 33500 1611.96/1616.51 c #Conflicts: 1049000 | #Constraints: 34500 1611.96/1616.51 c #Conflicts: 1050000 | #Constraints: 35500 1611.96/1616.51 c #Conflicts: 1051000 | #Constraints: 36500 1611.96/1616.51 c #Conflicts: 1052000 | #Constraints: 37500 1611.96/1616.51 c #Conflicts: 1053000 | #Constraints: 38500 1611.96/1616.51 c #Conflicts: 1054000 | #Constraints: 39500 1611.96/1616.51 c #Conflicts: 1055000 | #Constraints: 40500 1611.96/1616.51 c #Conflicts: 1056000 | #Constraints: 41500 1611.96/1616.51 c #Conflicts: 1057000 | #Constraints: 42500 1611.96/1616.51 c #Conflicts: 1058000 | #Constraints: 43500 1611.96/1616.51 c #Conflicts: 1059000 | #Constraints: 44500 1611.96/1616.51 c #Conflicts: 1060000 | #Constraints: 45500 1611.96/1616.51 c #Conflicts: 1061000 | #Constraints: 46500 1611.96/1616.51 c #Conflicts: 1062000 | #Constraints: 47500 1611.96/1616.51 c INPROCESSING 1611.96/1616.51 c GARBAGE COLLECT 1611.96/1616.51 c rational objective 91 1650.13/1654.85 c #Conflicts: 1063000 | #Constraints: 27924 1650.13/1654.85 c #Conflicts: 1064000 | #Constraints: 28924 1650.13/1654.85 c #Conflicts: 1065000 | #Constraints: 29924 1650.13/1654.85 c #Conflicts: 1066000 | #Constraints: 30924 1650.13/1654.85 c #Conflicts: 1067000 | #Constraints: 31924 1650.13/1654.85 c #Conflicts: 1068000 | #Constraints: 32924 1650.13/1654.85 c #Conflicts: 1069000 | #Constraints: 33924 1650.13/1654.85 c #Conflicts: 1070000 | #Constraints: 34924 1650.13/1654.85 c #Conflicts: 1071000 | #Constraints: 35924 1650.13/1654.85 c #Conflicts: 1072000 | #Constraints: 36924 1650.13/1654.85 c #Conflicts: 1073000 | #Constraints: 37924 1650.13/1654.85 c #Conflicts: 1074000 | #Constraints: 38924 1650.13/1654.85 c #Conflicts: 1075000 | #Constraints: 39924 1650.13/1654.85 c #Conflicts: 1076000 | #Constraints: 40924 1650.13/1654.85 c #Conflicts: 1077000 | #Constraints: 41924 1650.13/1654.85 c #Conflicts: 1078000 | #Constraints: 42924 1650.13/1654.85 c #Conflicts: 1079000 | #Constraints: 43924 1650.13/1654.85 c #Conflicts: 1080000 | #Constraints: 44924 1650.13/1654.85 c #Conflicts: 1081000 | #Constraints: 45924 1650.13/1654.85 c bounds 154 >= 91 @ 1633.33 1650.13/1654.85 c #Conflicts: 1082000 | #Constraints: 46925 1650.13/1654.85 c #Conflicts: 1083000 | #Constraints: 47925 1650.13/1654.85 c INPROCESSING 1650.13/1654.85 c GARBAGE COLLECT 1650.13/1654.85 c rational objective 91 1688.11/1692.95 c #Conflicts: 1084000 | #Constraints: 28199 1688.11/1692.95 c #Conflicts: 1085000 | #Constraints: 29199 1688.11/1692.95 c #Conflicts: 1086000 | #Constraints: 30199 1688.11/1692.95 c #Conflicts: 1087000 | #Constraints: 31199 1688.11/1692.95 c #Conflicts: 1088000 | #Constraints: 32199 1688.11/1692.95 c #Conflicts: 1089000 | #Constraints: 33199 1688.11/1692.95 c #Conflicts: 1090000 | #Constraints: 34203 1688.11/1692.95 c #Conflicts: 1091000 | #Constraints: 35210 1688.11/1692.95 c #Conflicts: 1092000 | #Constraints: 36210 1688.11/1692.95 c #Conflicts: 1093000 | #Constraints: 37210 1688.11/1692.95 c #Conflicts: 1094000 | #Constraints: 38211 1688.11/1692.95 c #Conflicts: 1095000 | #Constraints: 39213 1688.11/1692.95 c #Conflicts: 1096000 | #Constraints: 40213 1688.11/1692.95 c #Conflicts: 1097000 | #Constraints: 41213 1688.11/1692.95 c #Conflicts: 1098000 | #Constraints: 42213 1688.11/1692.95 c #Conflicts: 1099000 | #Constraints: 43213 1688.11/1692.95 c #Conflicts: 1100000 | #Constraints: 44215 1688.11/1692.95 c #Conflicts: 1101000 | #Constraints: 45222 1688.11/1692.95 c #Conflicts: 1102000 | #Constraints: 46222 1688.11/1692.95 c #Conflicts: 1103000 | #Constraints: 47224 1688.11/1692.95 c #Conflicts: 1104000 | #Constraints: 48226 1688.11/1692.95 c INPROCESSING 1688.11/1692.95 c GARBAGE COLLECT 1688.11/1692.95 c rational objective 91 1722.59/1727.56 c #Conflicts: 1105000 | #Constraints: 28408 1722.59/1727.56 c #Conflicts: 1106000 | #Constraints: 29408 1722.59/1727.56 c #Conflicts: 1107000 | #Constraints: 30408 1722.59/1727.56 c #Conflicts: 1108000 | #Constraints: 31408 1722.59/1727.56 c #Conflicts: 1109000 | #Constraints: 32408 1722.59/1727.56 c #Conflicts: 1110000 | #Constraints: 33408 1722.59/1727.56 c #Conflicts: 1111000 | #Constraints: 34409 1722.59/1727.56 c #Conflicts: 1112000 | #Constraints: 35437 1722.59/1727.56 c #Conflicts: 1113000 | #Constraints: 36437 1722.59/1727.56 c #Conflicts: 1114000 | #Constraints: 37437 1722.59/1727.56 c #Conflicts: 1115000 | #Constraints: 38437 1722.59/1727.56 c #Conflicts: 1116000 | #Constraints: 39437 1722.59/1727.56 c #Conflicts: 1117000 | #Constraints: 40437 1722.59/1727.56 c #Conflicts: 1118000 | #Constraints: 41439 1722.59/1727.56 c #Conflicts: 1119000 | #Constraints: 42451 1722.59/1727.56 c #Conflicts: 1120000 | #Constraints: 43796 1722.59/1727.56 c #Conflicts: 1121000 | #Constraints: 44957 1722.59/1727.56 c bounds 152 >= 91 @ 1701.07 1722.59/1727.56 c #Conflicts: 1122000 | #Constraints: 45958 1722.59/1727.56 c #Conflicts: 1123000 | #Constraints: 46959 1722.59/1727.56 c #Conflicts: 1124000 | #Constraints: 47959 1722.59/1727.56 c #Conflicts: 1125000 | #Constraints: 48959 1722.59/1727.56 c INPROCESSING 1722.59/1727.56 c GARBAGE COLLECT 1722.59/1727.56 c rational objective 91 1763.75/1768.87 c #Conflicts: 1126000 | #Constraints: 28639 1763.75/1768.87 c #Conflicts: 1127000 | #Constraints: 29639 1763.75/1768.87 c #Conflicts: 1128000 | #Constraints: 30639 1763.75/1768.87 c #Conflicts: 1129000 | #Constraints: 31639 1763.75/1768.87 c #Conflicts: 1130000 | #Constraints: 32641 1763.75/1768.87 c #Conflicts: 1131000 | #Constraints: 33641 1763.75/1768.87 c #Conflicts: 1132000 | #Constraints: 34643 1763.75/1768.87 c #Conflicts: 1133000 | #Constraints: 35643 1763.75/1768.87 c #Conflicts: 1134000 | #Constraints: 36643 1763.75/1768.87 c #Conflicts: 1135000 | #Constraints: 37644 1763.75/1768.87 c #Conflicts: 1136000 | #Constraints: 38649 1763.75/1768.87 c #Conflicts: 1137000 | #Constraints: 39649 1763.75/1768.87 c #Conflicts: 1138000 | #Constraints: 40649 1763.75/1768.87 c #Conflicts: 1139000 | #Constraints: 41653 1763.75/1768.87 c #Conflicts: 1140000 | #Constraints: 42656 1763.75/1768.87 c #Conflicts: 1141000 | #Constraints: 43656 1763.75/1768.87 c #Conflicts: 1142000 | #Constraints: 44657 1763.75/1768.87 c #Conflicts: 1143000 | #Constraints: 45657 1763.75/1768.87 c #Conflicts: 1144000 | #Constraints: 46659 1763.75/1768.87 c #Conflicts: 1145000 | #Constraints: 47659 1763.75/1768.87 c #Conflicts: 1146000 | #Constraints: 48659 1763.75/1768.87 c INPROCESSING 1763.75/1768.87 c GARBAGE COLLECT 1763.75/1768.87 c rational objective 91 1853.75/1859.14 c #Conflicts: 1147000 | #Constraints: 28275 1853.75/1859.14 c #Conflicts: 1148000 | #Constraints: 29275 1853.75/1859.14 c #Conflicts: 1149000 | #Constraints: 30275 1853.75/1859.14 c #Conflicts: 1150000 | #Constraints: 31275 1853.75/1859.14 c #Conflicts: 1151000 | #Constraints: 32276 1853.75/1859.14 c #Conflicts: 1152000 | #Constraints: 33283 1853.75/1859.14 c #Conflicts: 1153000 | #Constraints: 34293 1853.75/1859.14 c #Conflicts: 1154000 | #Constraints: 35293 1853.75/1859.14 c #Conflicts: 1155000 | #Constraints: 36293 1853.75/1859.14 c #Conflicts: 1156000 | #Constraints: 37293 1853.75/1859.14 c #Conflicts: 1157000 | #Constraints: 38293 1853.75/1859.14 c #Conflicts: 1158000 | #Constraints: 39293 1853.75/1859.14 c #Conflicts: 1159000 | #Constraints: 40293 1853.75/1859.14 c #Conflicts: 1160000 | #Constraints: 41293 1853.75/1859.14 c #Conflicts: 1161000 | #Constraints: 42297 1853.75/1859.14 c #Conflicts: 1162000 | #Constraints: 43298 1853.75/1859.14 c bounds 151 >= 91 @ 1783.18 1853.75/1859.14 c #Conflicts: 1163000 | #Constraints: 44299 1853.75/1859.14 c #Conflicts: 1164000 | #Constraints: 45299 1853.75/1859.14 c #Conflicts: 1165000 | #Constraints: 46299 1853.75/1859.14 c #Conflicts: 1166000 | #Constraints: 47299 1853.75/1859.14 c #Conflicts: 1167000 | #Constraints: 48300 1853.75/1859.14 c #Conflicts: 1168000 | #Constraints: 49300 1853.75/1859.14 c INPROCESSING 1853.75/1859.14 c GARBAGE COLLECT 1853.75/1859.14 c #Conflicts: 1169000 | #Constraints: 28825 1853.75/1859.14 c #Conflicts: 1170000 | #Constraints: 29825 1853.75/1859.14 c #Conflicts: 1171000 | #Constraints: 30825 1853.75/1859.14 c #Conflicts: 1172000 | #Constraints: 31826 1853.75/1859.14 c #Conflicts: 1173000 | #Constraints: 32829 1853.75/1859.14 c #Conflicts: 1174000 | #Constraints: 33831 1853.75/1859.14 c #Conflicts: 1175000 | #Constraints: 34831 1853.75/1859.14 c #Conflicts: 1176000 | #Constraints: 35832 1853.75/1859.14 c #Conflicts: 1177000 | #Constraints: 36841 1853.75/1859.14 c #Conflicts: 1178000 | #Constraints: 37841 1853.75/1859.14 c #Conflicts: 1179000 | #Constraints: 38841 1853.75/1859.14 c #Conflicts: 1180000 | #Constraints: 39842 1853.75/1859.14 c #Conflicts: 1181000 | #Constraints: 40848 1853.75/1859.14 c #Conflicts: 1182000 | #Constraints: 41848 1853.75/1859.14 c #Conflicts: 1183000 | #Constraints: 42848 1853.75/1859.14 c #Conflicts: 1184000 | #Constraints: 43848 1853.75/1859.14 c #Conflicts: 1185000 | #Constraints: 44848 1853.75/1859.14 c #Conflicts: 1186000 | #Constraints: 45848 1853.75/1859.14 c #Conflicts: 1187000 | #Constraints: 46848 1853.75/1859.14 c #Conflicts: 1188000 | #Constraints: 47848 1853.75/1859.14 c #Conflicts: 1189000 | #Constraints: 48849 1853.75/1859.14 c #Conflicts: 1190000 | #Constraints: 49850 1853.75/1859.14 c INPROCESSING 1853.75/1859.14 c GARBAGE COLLECT 1853.75/1859.14 c rational objective 91 1941.25/1946.90 c #Conflicts: 1191000 | #Constraints: 29169 1941.25/1946.90 c #Conflicts: 1192000 | #Constraints: 30169 1941.25/1946.90 c #Conflicts: 1193000 | #Constraints: 31171 1941.25/1946.90 c #Conflicts: 1194000 | #Constraints: 32354 1941.25/1946.90 c #Conflicts: 1195000 | #Constraints: 33505 1941.25/1946.90 c #Conflicts: 1196000 | #Constraints: 34505 1941.25/1946.90 c #Conflicts: 1197000 | #Constraints: 35505 1941.25/1946.90 c #Conflicts: 1198000 | #Constraints: 36506 1941.25/1946.90 c #Conflicts: 1199000 | #Constraints: 37506 1941.25/1946.90 c #Conflicts: 1200000 | #Constraints: 38521 1941.25/1946.90 c #Conflicts: 1201000 | #Constraints: 39526 1941.25/1946.90 c #Conflicts: 1202000 | #Constraints: 40530 1941.25/1946.90 c #Conflicts: 1203000 | #Constraints: 41530 1941.25/1946.90 c #Conflicts: 1204000 | #Constraints: 42530 1941.25/1946.90 c #Conflicts: 1205000 | #Constraints: 43530 1941.25/1946.90 c #Conflicts: 1206000 | #Constraints: 44530 1941.25/1946.90 c #Conflicts: 1207000 | #Constraints: 45585 1941.25/1946.90 c #Conflicts: 1208000 | #Constraints: 46585 1941.25/1946.90 c #Conflicts: 1209000 | #Constraints: 47585 1941.25/1946.90 c #Conflicts: 1210000 | #Constraints: 48605 1941.25/1946.90 c #Conflicts: 1211000 | #Constraints: 49633 1941.25/1946.90 c #Conflicts: 1212000 | #Constraints: 50633 1941.25/1946.90 c INPROCESSING 1941.25/1946.90 c GARBAGE COLLECT 1941.25/1946.90 c #Conflicts: 1213000 | #Constraints: 29622 1941.25/1946.90 c #Conflicts: 1214000 | #Constraints: 30622 1941.25/1946.90 c #Conflicts: 1215000 | #Constraints: 31623 1941.25/1946.90 c #Conflicts: 1216000 | #Constraints: 32625 1941.25/1946.90 c #Conflicts: 1217000 | #Constraints: 33625 1941.25/1946.90 c #Conflicts: 1218000 | #Constraints: 34625 1941.25/1946.90 c #Conflicts: 1219000 | #Constraints: 35625 1941.25/1946.90 c #Conflicts: 1220000 | #Constraints: 36626 1941.25/1946.90 c #Conflicts: 1221000 | #Constraints: 37627 1941.25/1946.90 c #Conflicts: 1222000 | #Constraints: 38627 1941.25/1946.90 c #Conflicts: 1223000 | #Constraints: 39627 1941.25/1946.90 c #Conflicts: 1224000 | #Constraints: 40628 1941.25/1946.90 c #Conflicts: 1225000 | #Constraints: 41628 1941.25/1946.90 c #Conflicts: 1226000 | #Constraints: 42630 1941.25/1946.90 c #Conflicts: 1227000 | #Constraints: 43631 1941.25/1946.90 c #Conflicts: 1228000 | #Constraints: 44631 1941.25/1946.90 c #Conflicts: 1229000 | #Constraints: 45634 1941.25/1946.90 c #Conflicts: 1230000 | #Constraints: 46636 1941.25/1946.90 c #Conflicts: 1231000 | #Constraints: 47640 1941.25/1946.90 c #Conflicts: 1232000 | #Constraints: 48642 1941.25/1946.90 c #Conflicts: 1233000 | #Constraints: 49642 1941.25/1946.90 c #Conflicts: 1234000 | #Constraints: 50642 1941.25/1946.90 c INPROCESSING 1941.25/1946.90 c GARBAGE COLLECT 1941.25/1946.90 c rational objective 91 2031.64/2037.63 c #Conflicts: 1235000 | #Constraints: 29495 2031.64/2037.63 c #Conflicts: 1236000 | #Constraints: 30495 2031.64/2037.63 c #Conflicts: 1237000 | #Constraints: 31495 2031.64/2037.63 c #Conflicts: 1238000 | #Constraints: 32496 2031.64/2037.63 c #Conflicts: 1239000 | #Constraints: 33496 2031.64/2037.63 c #Conflicts: 1240000 | #Constraints: 34497 2031.64/2037.63 c #Conflicts: 1241000 | #Constraints: 35497 2031.64/2037.63 c #Conflicts: 1242000 | #Constraints: 36497 2031.64/2037.63 c #Conflicts: 1243000 | #Constraints: 37497 2031.64/2037.63 c #Conflicts: 1244000 | #Constraints: 38497 2031.64/2037.63 c #Conflicts: 1245000 | #Constraints: 39497 2031.64/2037.63 c #Conflicts: 1246000 | #Constraints: 40497 2031.64/2037.63 c #Conflicts: 1247000 | #Constraints: 41497 2031.64/2037.63 c #Conflicts: 1248000 | #Constraints: 42497 2031.64/2037.63 c #Conflicts: 1249000 | #Constraints: 43497 2031.64/2037.63 c #Conflicts: 1250000 | #Constraints: 44497 2031.64/2037.63 c #Conflicts: 1251000 | #Constraints: 45497 2031.64/2037.63 c #Conflicts: 1252000 | #Constraints: 46497 2031.64/2037.63 c #Conflicts: 1253000 | #Constraints: 47498 2031.64/2037.63 c #Conflicts: 1254000 | #Constraints: 48501 2031.64/2037.63 c #Conflicts: 1255000 | #Constraints: 49501 2031.64/2037.63 c #Conflicts: 1256000 | #Constraints: 50501 2031.64/2037.63 c INPROCESSING 2031.64/2037.63 c GARBAGE COLLECT 2031.64/2037.63 c #Conflicts: 1257000 | #Constraints: 29277 2031.64/2037.63 c #Conflicts: 1258000 | #Constraints: 30277 2031.64/2037.63 c #Conflicts: 1259000 | #Constraints: 31277 2031.64/2037.63 c #Conflicts: 1260000 | #Constraints: 32277 2031.64/2037.63 c #Conflicts: 1261000 | #Constraints: 33278 2031.64/2037.63 c #Conflicts: 1262000 | #Constraints: 34279 2031.64/2037.63 c #Conflicts: 1263000 | #Constraints: 35279 2031.64/2037.63 c #Conflicts: 1264000 | #Constraints: 36279 2031.64/2037.63 c #Conflicts: 1265000 | #Constraints: 37286 2031.64/2037.63 c #Conflicts: 1266000 | #Constraints: 38286 2031.64/2037.63 c #Conflicts: 1267000 | #Constraints: 39287 2031.64/2037.63 c #Conflicts: 1268000 | #Constraints: 40287 2031.64/2037.63 c #Conflicts: 1269000 | #Constraints: 41287 2031.64/2037.63 c #Conflicts: 1270000 | #Constraints: 42287 2031.64/2037.63 c #Conflicts: 1271000 | #Constraints: 43287 2031.64/2037.63 c #Conflicts: 1272000 | #Constraints: 44291 2031.64/2037.63 c #Conflicts: 1273000 | #Constraints: 45291 2031.64/2037.63 c #Conflicts: 1274000 | #Constraints: 46292 2031.64/2037.63 c #Conflicts: 1275000 | #Constraints: 47295 2031.64/2037.63 c #Conflicts: 1276000 | #Constraints: 48295 2031.64/2037.63 c #Conflicts: 1277000 | #Constraints: 49295 2031.64/2037.63 c #Conflicts: 1278000 | #Constraints: 50296 2031.64/2037.63 c #Conflicts: 1279000 | #Constraints: 51296 2031.64/2037.63 c INPROCESSING 2031.64/2037.63 c GARBAGE COLLECT 2031.64/2037.63 c rational objective 91 2076.79/2082.98 c #Conflicts: 1280000 | #Constraints: 29810 2076.79/2082.98 c #Conflicts: 1281000 | #Constraints: 30810 2076.79/2082.98 c #Conflicts: 1282000 | #Constraints: 31810 2076.79/2082.98 c #Conflicts: 1283000 | #Constraints: 32810 2076.79/2082.98 c #Conflicts: 1284000 | #Constraints: 33810 2076.79/2082.98 c #Conflicts: 1285000 | #Constraints: 34810 2076.79/2082.98 c #Conflicts: 1286000 | #Constraints: 35810 2076.79/2082.98 c #Conflicts: 1287000 | #Constraints: 36810 2076.79/2082.98 c #Conflicts: 1288000 | #Constraints: 37810 2076.79/2082.98 c #Conflicts: 1289000 | #Constraints: 38810 2076.79/2082.98 c #Conflicts: 1290000 | #Constraints: 39810 2076.79/2082.98 c #Conflicts: 1291000 | #Constraints: 40810 2076.79/2082.98 c #Conflicts: 1292000 | #Constraints: 41810 2076.79/2082.98 c #Conflicts: 1293000 | #Constraints: 42810 2076.79/2082.98 c #Conflicts: 1294000 | #Constraints: 43810 2076.79/2082.98 c #Conflicts: 1295000 | #Constraints: 44810 2076.79/2082.98 c #Conflicts: 1296000 | #Constraints: 45810 2076.79/2082.98 c #Conflicts: 1297000 | #Constraints: 46810 2076.79/2082.98 c #Conflicts: 1298000 | #Constraints: 47810 2076.79/2082.98 c #Conflicts: 1299000 | #Constraints: 48810 2076.79/2082.98 c #Conflicts: 1300000 | #Constraints: 49810 2076.79/2082.98 c #Conflicts: 1301000 | #Constraints: 50810 2076.79/2082.98 c #Conflicts: 1302000 | #Constraints: 51810 2076.79/2082.98 c INPROCESSING 2076.79/2082.98 c GARBAGE COLLECT 2076.79/2082.98 c rational objective 91 2127.01/2133.36 c #Conflicts: 1303000 | #Constraints: 30189 2127.01/2133.36 c #Conflicts: 1304000 | #Constraints: 31189 2127.01/2133.36 c #Conflicts: 1305000 | #Constraints: 32189 2127.01/2133.36 c #Conflicts: 1306000 | #Constraints: 33189 2127.01/2133.36 c #Conflicts: 1307000 | #Constraints: 34189 2127.01/2133.36 c #Conflicts: 1308000 | #Constraints: 35189 2127.01/2133.36 c #Conflicts: 1309000 | #Constraints: 36189 2127.01/2133.36 c #Conflicts: 1310000 | #Constraints: 37189 2127.01/2133.36 c #Conflicts: 1311000 | #Constraints: 38189 2127.01/2133.36 c #Conflicts: 1312000 | #Constraints: 39189 2127.01/2133.36 c #Conflicts: 1313000 | #Constraints: 40189 2127.01/2133.36 c #Conflicts: 1314000 | #Constraints: 41189 2127.01/2133.36 c #Conflicts: 1315000 | #Constraints: 42189 2127.01/2133.36 c #Conflicts: 1316000 | #Constraints: 43189 2127.01/2133.36 c #Conflicts: 1317000 | #Constraints: 44189 2127.01/2133.36 c #Conflicts: 1318000 | #Constraints: 45189 2127.01/2133.36 c #Conflicts: 1319000 | #Constraints: 46189 2127.01/2133.36 c #Conflicts: 1320000 | #Constraints: 47189 2127.01/2133.36 c #Conflicts: 1321000 | #Constraints: 48189 2127.01/2133.36 c #Conflicts: 1322000 | #Constraints: 49189 2127.01/2133.36 c #Conflicts: 1323000 | #Constraints: 50189 2127.01/2133.36 c #Conflicts: 1324000 | #Constraints: 51189 2127.01/2133.36 c #Conflicts: 1325000 | #Constraints: 52189 2127.01/2133.36 c INPROCESSING 2127.01/2133.36 c GARBAGE COLLECT 2127.01/2133.36 c rational objective 91 2241.82/2248.53 c #Conflicts: 1326000 | #Constraints: 30365 2241.82/2248.53 c #Conflicts: 1327000 | #Constraints: 31367 2241.82/2248.53 c #Conflicts: 1328000 | #Constraints: 32367 2241.82/2248.53 c #Conflicts: 1329000 | #Constraints: 33368 2241.82/2248.53 c #Conflicts: 1330000 | #Constraints: 34369 2241.82/2248.53 c #Conflicts: 1331000 | #Constraints: 35372 2241.82/2248.53 c #Conflicts: 1332000 | #Constraints: 36373 2241.82/2248.53 c #Conflicts: 1333000 | #Constraints: 37375 2241.82/2248.53 c #Conflicts: 1334000 | #Constraints: 38879 2241.82/2248.53 c #Conflicts: 1335000 | #Constraints: 40551 2241.82/2248.53 c #Conflicts: 1336000 | #Constraints: 41551 2241.82/2248.53 c #Conflicts: 1337000 | #Constraints: 42554 2241.82/2248.53 c #Conflicts: 1338000 | #Constraints: 43566 2241.82/2248.53 c #Conflicts: 1339000 | #Constraints: 44566 2241.82/2248.53 c #Conflicts: 1340000 | #Constraints: 45566 2241.82/2248.53 c #Conflicts: 1341000 | #Constraints: 46566 2241.82/2248.53 c #Conflicts: 1342000 | #Constraints: 47566 2241.82/2248.53 c #Conflicts: 1343000 | #Constraints: 48566 2241.82/2248.53 c #Conflicts: 1344000 | #Constraints: 49566 2241.82/2248.53 c #Conflicts: 1345000 | #Constraints: 50570 2241.82/2248.53 c #Conflicts: 1346000 | #Constraints: 51570 2241.82/2248.53 c #Conflicts: 1347000 | #Constraints: 52570 2241.82/2248.53 c #Conflicts: 1348000 | #Constraints: 53570 2241.82/2248.53 c INPROCESSING 2241.82/2248.53 c GARBAGE COLLECT 2241.82/2248.53 c #Conflicts: 1349000 | #Constraints: 30997 2241.82/2248.53 c #Conflicts: 1350000 | #Constraints: 31997 2241.82/2248.53 c #Conflicts: 1351000 | #Constraints: 32997 2241.82/2248.53 c #Conflicts: 1352000 | #Constraints: 33997 2241.82/2248.53 c #Conflicts: 1353000 | #Constraints: 34997 2241.82/2248.53 c #Conflicts: 1354000 | #Constraints: 35997 2241.82/2248.53 c #Conflicts: 1355000 | #Constraints: 36997 2241.82/2248.53 c #Conflicts: 1356000 | #Constraints: 37997 2241.82/2248.53 c #Conflicts: 1357000 | #Constraints: 38997 2241.82/2248.53 c #Conflicts: 1358000 | #Constraints: 39997 2241.82/2248.53 c #Conflicts: 1359000 | #Constraints: 40997 2241.82/2248.53 c #Conflicts: 1360000 | #Constraints: 41999 2241.82/2248.53 c #Conflicts: 1361000 | #Constraints: 42999 2241.82/2248.53 c #Conflicts: 1362000 | #Constraints: 44002 2241.82/2248.53 c #Conflicts: 1363000 | #Constraints: 45015 2241.82/2248.53 c #Conflicts: 1364000 | #Constraints: 46015 2241.82/2248.53 c #Conflicts: 1365000 | #Constraints: 47016 2241.82/2248.53 c #Conflicts: 1366000 | #Constraints: 48016 2241.82/2248.53 c #Conflicts: 1367000 | #Constraints: 49016 2241.82/2248.53 c #Conflicts: 1368000 | #Constraints: 50016 2241.82/2248.53 c #Conflicts: 1369000 | #Constraints: 51018 2241.82/2248.53 c #Conflicts: 1370000 | #Constraints: 52018 2241.82/2248.53 c #Conflicts: 1371000 | #Constraints: 53018 2241.82/2248.53 c INPROCESSING 2241.82/2248.53 c GARBAGE COLLECT 2241.82/2248.53 c rational objective 91 2351.93/2359.07 c #Conflicts: 1372000 | #Constraints: 30485 2351.93/2359.07 c #Conflicts: 1373000 | #Constraints: 31485 2351.93/2359.07 c #Conflicts: 1374000 | #Constraints: 32485 2351.93/2359.07 c #Conflicts: 1375000 | #Constraints: 33485 2351.93/2359.07 c #Conflicts: 1376000 | #Constraints: 34488 2351.93/2359.07 c #Conflicts: 1377000 | #Constraints: 35488 2351.93/2359.07 c #Conflicts: 1378000 | #Constraints: 36489 2351.93/2359.07 c #Conflicts: 1379000 | #Constraints: 37489 2351.93/2359.07 c #Conflicts: 1380000 | #Constraints: 38489 2351.93/2359.07 c #Conflicts: 1381000 | #Constraints: 39489 2351.93/2359.07 c #Conflicts: 1382000 | #Constraints: 40492 2351.93/2359.07 c #Conflicts: 1383000 | #Constraints: 41492 2351.93/2359.07 c #Conflicts: 1384000 | #Constraints: 42492 2351.93/2359.07 c #Conflicts: 1385000 | #Constraints: 43492 2351.93/2359.07 c #Conflicts: 1386000 | #Constraints: 44492 2351.93/2359.07 c #Conflicts: 1387000 | #Constraints: 45492 2351.93/2359.07 c #Conflicts: 1388000 | #Constraints: 46492 2351.93/2359.07 c #Conflicts: 1389000 | #Constraints: 47492 2351.93/2359.07 c #Conflicts: 1390000 | #Constraints: 48492 2351.93/2359.07 c #Conflicts: 1391000 | #Constraints: 49493 2351.93/2359.07 c #Conflicts: 1392000 | #Constraints: 50493 2351.93/2359.07 c #Conflicts: 1393000 | #Constraints: 51493 2351.93/2359.07 c #Conflicts: 1394000 | #Constraints: 52493 2351.93/2359.07 c #Conflicts: 1395000 | #Constraints: 53493 2351.93/2359.07 c INPROCESSING 2351.93/2359.07 c GARBAGE COLLECT 2351.93/2359.07 c #Conflicts: 1396000 | #Constraints: 30945 2351.93/2359.07 c #Conflicts: 1397000 | #Constraints: 31945 2351.93/2359.07 c #Conflicts: 1398000 | #Constraints: 32945 2351.93/2359.07 c #Conflicts: 1399000 | #Constraints: 33945 2351.93/2359.07 c #Conflicts: 1400000 | #Constraints: 34945 2351.93/2359.07 c #Conflicts: 1401000 | #Constraints: 35945 2351.93/2359.07 c #Conflicts: 1402000 | #Constraints: 36945 2351.93/2359.07 c #Conflicts: 1403000 | #Constraints: 37945 2351.93/2359.07 c #Conflicts: 1404000 | #Constraints: 38945 2351.93/2359.07 c #Conflicts: 1405000 | #Constraints: 39945 2351.93/2359.07 c #Conflicts: 1406000 | #Constraints: 40945 2351.93/2359.07 c #Conflicts: 1407000 | #Constraints: 41945 2351.93/2359.07 c #Conflicts: 1408000 | #Constraints: 42945 2351.93/2359.07 c #Conflicts: 1409000 | #Constraints: 43945 2351.93/2359.07 c #Conflicts: 1410000 | #Constraints: 44945 2351.93/2359.07 c #Conflicts: 1411000 | #Constraints: 45945 2351.93/2359.07 c #Conflicts: 1412000 | #Constraints: 46945 2351.93/2359.07 c #Conflicts: 1413000 | #Constraints: 47945 2351.93/2359.07 c #Conflicts: 1414000 | #Constraints: 48945 2351.93/2359.07 c #Conflicts: 1415000 | #Constraints: 49945 2351.93/2359.07 c #Conflicts: 1416000 | #Constraints: 50945 2351.93/2359.07 c #Conflicts: 1417000 | #Constraints: 51945 2351.93/2359.07 c #Conflicts: 1418000 | #Constraints: 52946 2351.93/2359.07 c #Conflicts: 1419000 | #Constraints: 53946 2351.93/2359.07 c INPROCESSING 2351.93/2359.07 c GARBAGE COLLECT 2351.93/2359.07 c rational objective 91 2434.75/2442.14 c #Conflicts: 1420000 | #Constraints: 31242 2434.75/2442.14 c #Conflicts: 1421000 | #Constraints: 32242 2434.75/2442.14 c #Conflicts: 1422000 | #Constraints: 33242 2434.75/2442.14 c #Conflicts: 1423000 | #Constraints: 34243 2434.75/2442.14 c #Conflicts: 1424000 | #Constraints: 35252 2434.75/2442.14 c #Conflicts: 1425000 | #Constraints: 36686 2434.75/2442.14 c #Conflicts: 1426000 | #Constraints: 37729 2434.75/2442.14 c #Conflicts: 1427000 | #Constraints: 38729 2434.75/2442.14 c #Conflicts: 1428000 | #Constraints: 39846 2434.75/2442.14 c #Conflicts: 1429000 | #Constraints: 41157 2434.75/2442.14 c #Conflicts: 1430000 | #Constraints: 42664 2434.75/2442.14 c #Conflicts: 1431000 | #Constraints: 43664 2434.75/2442.14 c #Conflicts: 1432000 | #Constraints: 44664 2434.75/2442.14 c #Conflicts: 1433000 | #Constraints: 45664 2434.75/2442.14 c #Conflicts: 1434000 | #Constraints: 46665 2434.75/2442.14 c #Conflicts: 1435000 | #Constraints: 47665 2434.75/2442.14 c #Conflicts: 1436000 | #Constraints: 48665 2434.75/2442.14 c #Conflicts: 1437000 | #Constraints: 49665 2434.75/2442.14 c #Conflicts: 1438000 | #Constraints: 50860 2434.75/2442.14 c #Conflicts: 1439000 | #Constraints: 52667 2434.75/2442.14 c #Conflicts: 1440000 | #Constraints: 54469 2434.75/2442.14 c #Conflicts: 1441000 | #Constraints: 56268 2434.75/2442.14 c #Conflicts: 1442000 | #Constraints: 58111 2434.75/2442.14 c #Conflicts: 1443000 | #Constraints: 59951 2434.75/2442.14 c INPROCESSING 2434.75/2442.14 c GARBAGE COLLECT 2434.75/2442.14 c rational objective 91 2496.13/2503.72 c #Conflicts: 1444000 | #Constraints: 34286 2496.13/2503.72 c #Conflicts: 1445000 | #Constraints: 35286 2496.13/2503.72 c #Conflicts: 1446000 | #Constraints: 36286 2496.13/2503.72 c #Conflicts: 1447000 | #Constraints: 37286 2496.13/2503.72 c #Conflicts: 1448000 | #Constraints: 38286 2496.13/2503.72 c #Conflicts: 1449000 | #Constraints: 39286 2496.13/2503.72 c #Conflicts: 1450000 | #Constraints: 40286 2496.13/2503.72 c #Conflicts: 1451000 | #Constraints: 41286 2496.13/2503.72 c #Conflicts: 1452000 | #Constraints: 42286 2496.13/2503.72 c #Conflicts: 1453000 | #Constraints: 43288 2496.13/2503.72 c #Conflicts: 1454000 | #Constraints: 44297 2496.13/2503.72 c #Conflicts: 1455000 | #Constraints: 45297 2496.13/2503.72 c #Conflicts: 1456000 | #Constraints: 46297 2496.13/2503.72 c #Conflicts: 1457000 | #Constraints: 47306 2496.13/2503.72 c #Conflicts: 1458000 | #Constraints: 48309 2496.13/2503.72 c #Conflicts: 1459000 | #Constraints: 49309 2496.13/2503.72 c #Conflicts: 1460000 | #Constraints: 50309 2496.13/2503.72 c #Conflicts: 1461000 | #Constraints: 51309 2496.13/2503.72 c #Conflicts: 1462000 | #Constraints: 52309 2496.13/2503.72 c #Conflicts: 1463000 | #Constraints: 53309 2496.13/2503.72 c #Conflicts: 1464000 | #Constraints: 54321 2496.13/2503.72 c #Conflicts: 1465000 | #Constraints: 55323 2496.13/2503.72 c #Conflicts: 1466000 | #Constraints: 56323 2496.13/2503.72 c #Conflicts: 1467000 | #Constraints: 57323 2496.13/2503.72 c INPROCESSING 2496.13/2503.72 c GARBAGE COLLECT 2496.13/2503.72 c rational objective 91 2569.88/2577.74 c #Conflicts: 1468000 | #Constraints: 32846 2569.88/2577.74 c #Conflicts: 1469000 | #Constraints: 33846 2569.88/2577.74 c #Conflicts: 1470000 | #Constraints: 34846 2569.88/2577.74 c #Conflicts: 1471000 | #Constraints: 35847 2569.88/2577.74 c #Conflicts: 1472000 | #Constraints: 36855 2569.88/2577.74 c #Conflicts: 1473000 | #Constraints: 37861 2569.88/2577.74 c #Conflicts: 1474000 | #Constraints: 38948 2569.88/2577.74 c #Conflicts: 1475000 | #Constraints: 39948 2569.88/2577.74 c #Conflicts: 1476000 | #Constraints: 40948 2569.88/2577.74 c #Conflicts: 1477000 | #Constraints: 41949 2569.88/2577.74 c #Conflicts: 1478000 | #Constraints: 42964 2569.88/2577.74 c #Conflicts: 1479000 | #Constraints: 44318 2569.88/2577.74 c #Conflicts: 1480000 | #Constraints: 45378 2569.88/2577.74 c #Conflicts: 1481000 | #Constraints: 46378 2569.88/2577.74 c #Conflicts: 1482000 | #Constraints: 47381 2569.88/2577.74 c #Conflicts: 1483000 | #Constraints: 48389 2569.88/2577.74 c #Conflicts: 1484000 | #Constraints: 49473 2569.88/2577.74 c #Conflicts: 1485000 | #Constraints: 50632 2569.88/2577.74 c #Conflicts: 1486000 | #Constraints: 51881 2569.88/2577.74 c #Conflicts: 1487000 | #Constraints: 52881 2569.88/2577.74 c #Conflicts: 1488000 | #Constraints: 53882 2569.88/2577.74 c #Conflicts: 1489000 | #Constraints: 54897 2569.88/2577.74 c #Conflicts: 1490000 | #Constraints: 56032 2569.88/2577.74 c #Conflicts: 1491000 | #Constraints: 57357 2569.88/2577.74 c INPROCESSING 2569.88/2577.74 c GARBAGE COLLECT 2569.88/2577.74 c rational objective 91 2629.08/2637.19 c #Conflicts: 1492000 | #Constraints: 32694 2629.08/2637.19 c #Conflicts: 1493000 | #Constraints: 33694 2629.08/2637.19 c #Conflicts: 1494000 | #Constraints: 34694 2629.08/2637.19 c #Conflicts: 1495000 | #Constraints: 35694 2629.08/2637.19 c #Conflicts: 1496000 | #Constraints: 36694 2629.08/2637.19 c #Conflicts: 1497000 | #Constraints: 37694 2629.08/2637.19 c #Conflicts: 1498000 | #Constraints: 38694 2629.08/2637.19 c #Conflicts: 1499000 | #Constraints: 39694 2629.08/2637.19 c #Conflicts: 1500000 | #Constraints: 40694 2629.08/2637.19 c #Conflicts: 1501000 | #Constraints: 41694 2629.08/2637.19 c #Conflicts: 1502000 | #Constraints: 42694 2629.08/2637.19 c #Conflicts: 1503000 | #Constraints: 43694 2629.08/2637.19 c #Conflicts: 1504000 | #Constraints: 44694 2629.08/2637.19 c #Conflicts: 1505000 | #Constraints: 45694 2629.08/2637.19 c #Conflicts: 1506000 | #Constraints: 46694 2629.08/2637.19 c #Conflicts: 1507000 | #Constraints: 47694 2629.08/2637.19 c #Conflicts: 1508000 | #Constraints: 48694 2629.08/2637.19 c #Conflicts: 1509000 | #Constraints: 49694 2629.08/2637.19 c #Conflicts: 1510000 | #Constraints: 50694 2629.08/2637.19 c #Conflicts: 1511000 | #Constraints: 51694 2629.08/2637.19 c #Conflicts: 1512000 | #Constraints: 52694 2629.08/2637.19 c #Conflicts: 1513000 | #Constraints: 53694 2629.08/2637.19 c #Conflicts: 1514000 | #Constraints: 54694 2629.08/2637.19 c #Conflicts: 1515000 | #Constraints: 55694 2629.08/2637.19 c #Conflicts: 1516000 | #Constraints: 56694 2629.08/2637.19 c INPROCESSING 2629.08/2637.19 c GARBAGE COLLECT 2629.08/2637.19 c rational objective 91 2690.47/2698.72 c #Conflicts: 1517000 | #Constraints: 32513 2690.47/2698.72 c #Conflicts: 1518000 | #Constraints: 33513 2690.47/2698.72 c #Conflicts: 1519000 | #Constraints: 34513 2690.47/2698.72 c #Conflicts: 1520000 | #Constraints: 35513 2690.47/2698.72 c #Conflicts: 1521000 | #Constraints: 36513 2690.47/2698.72 c #Conflicts: 1522000 | #Constraints: 37514 2690.47/2698.72 c #Conflicts: 1523000 | #Constraints: 38514 2690.47/2698.72 c #Conflicts: 1524000 | #Constraints: 39514 2690.47/2698.72 c #Conflicts: 1525000 | #Constraints: 40514 2690.47/2698.72 c #Conflicts: 1526000 | #Constraints: 41514 2690.47/2698.72 c #Conflicts: 1527000 | #Constraints: 42514 2690.47/2698.72 c #Conflicts: 1528000 | #Constraints: 43514 2690.47/2698.72 c #Conflicts: 1529000 | #Constraints: 44515 2690.47/2698.72 c #Conflicts: 1530000 | #Constraints: 45516 2690.47/2698.72 c #Conflicts: 1531000 | #Constraints: 46516 2690.47/2698.72 c #Conflicts: 1532000 | #Constraints: 47516 2690.47/2698.72 c #Conflicts: 1533000 | #Constraints: 48516 2690.47/2698.72 c #Conflicts: 1534000 | #Constraints: 49516 2690.47/2698.72 c #Conflicts: 1535000 | #Constraints: 50517 2690.47/2698.72 c #Conflicts: 1536000 | #Constraints: 51517 2690.47/2698.72 c #Conflicts: 1537000 | #Constraints: 52517 2690.47/2698.72 c #Conflicts: 1538000 | #Constraints: 53517 2690.47/2698.72 c #Conflicts: 1539000 | #Constraints: 54518 2690.47/2698.72 c #Conflicts: 1540000 | #Constraints: 55518 2690.47/2698.72 c #Conflicts: 1541000 | #Constraints: 56519 2690.47/2698.72 c INPROCESSING 2690.47/2698.72 c GARBAGE COLLECT 2690.47/2698.72 WSVECS04 Frhs2[5]: 6 -16.0001 0 shouldn't be 2690.66/2698.94 c rational objective 91 2751.06/2759.50 c #Conflicts: 1542000 | #Constraints: 32535 2751.06/2759.50 c #Conflicts: 1543000 | #Constraints: 33535 2751.06/2759.50 c #Conflicts: 1544000 | #Constraints: 34535 2751.06/2759.50 c #Conflicts: 1545000 | #Constraints: 35535 2751.06/2759.50 c #Conflicts: 1546000 | #Constraints: 36535 2751.06/2759.50 c #Conflicts: 1547000 | #Constraints: 37535 2751.06/2759.50 c #Conflicts: 1548000 | #Constraints: 38535 2751.06/2759.50 c #Conflicts: 1549000 | #Constraints: 39535 2751.06/2759.50 c #Conflicts: 1550000 | #Constraints: 40535 2751.06/2759.50 c #Conflicts: 1551000 | #Constraints: 41535 2751.06/2759.50 c #Conflicts: 1552000 | #Constraints: 42535 2751.06/2759.50 c #Conflicts: 1553000 | #Constraints: 43535 2751.06/2759.50 c #Conflicts: 1554000 | #Constraints: 44535 2751.06/2759.50 c #Conflicts: 1555000 | #Constraints: 45535 2751.06/2759.50 c #Conflicts: 1556000 | #Constraints: 46535 2751.06/2759.50 c #Conflicts: 1557000 | #Constraints: 47535 2751.06/2759.50 c #Conflicts: 1558000 | #Constraints: 48535 2751.06/2759.50 c #Conflicts: 1559000 | #Constraints: 49535 2751.06/2759.50 c #Conflicts: 1560000 | #Constraints: 50535 2751.06/2759.50 c #Conflicts: 1561000 | #Constraints: 51535 2751.06/2759.50 c #Conflicts: 1562000 | #Constraints: 52535 2751.06/2759.50 c #Conflicts: 1563000 | #Constraints: 53535 2751.06/2759.50 c #Conflicts: 1564000 | #Constraints: 54535 2751.06/2759.50 c #Conflicts: 1565000 | #Constraints: 55535 2751.06/2759.50 c #Conflicts: 1566000 | #Constraints: 56535 2751.06/2759.50 c INPROCESSING 2751.06/2759.50 c GARBAGE COLLECT 2751.06/2759.50 c rational objective 91 2816.04/2824.71 c #Conflicts: 1567000 | #Constraints: 32538 2816.04/2824.71 c #Conflicts: 1568000 | #Constraints: 33538 2816.04/2824.71 c #Conflicts: 1569000 | #Constraints: 34538 2816.04/2824.71 c #Conflicts: 1570000 | #Constraints: 35538 2816.04/2824.71 c #Conflicts: 1571000 | #Constraints: 36538 2816.04/2824.71 c #Conflicts: 1572000 | #Constraints: 37538 2816.04/2824.71 c #Conflicts: 1573000 | #Constraints: 38538 2816.04/2824.71 c #Conflicts: 1574000 | #Constraints: 39538 2816.04/2824.71 c #Conflicts: 1575000 | #Constraints: 40538 2816.04/2824.71 c #Conflicts: 1576000 | #Constraints: 41538 2816.04/2824.71 c #Conflicts: 1577000 | #Constraints: 42538 2816.04/2824.71 c #Conflicts: 1578000 | #Constraints: 43541 2816.04/2824.71 c #Conflicts: 1579000 | #Constraints: 44544 2816.04/2824.71 c #Conflicts: 1580000 | #Constraints: 45545 2816.04/2824.71 c #Conflicts: 1581000 | #Constraints: 46552 2816.04/2824.71 c #Conflicts: 1582000 | #Constraints: 47552 2816.04/2824.71 c #Conflicts: 1583000 | #Constraints: 48553 2816.04/2824.71 c #Conflicts: 1584000 | #Constraints: 49553 2816.04/2824.71 c #Conflicts: 1585000 | #Constraints: 50555 2816.04/2824.71 c #Conflicts: 1586000 | #Constraints: 51555 2816.04/2824.71 c #Conflicts: 1587000 | #Constraints: 52555 2816.04/2824.71 c #Conflicts: 1588000 | #Constraints: 53555 2816.04/2824.71 c #Conflicts: 1589000 | #Constraints: 54555 2816.04/2824.71 c #Conflicts: 1590000 | #Constraints: 55555 2816.04/2824.71 c #Conflicts: 1591000 | #Constraints: 56555 2816.04/2824.71 c INPROCESSING 2816.04/2824.71 c GARBAGE COLLECT 2816.04/2824.71 c rational objective 91 2876.14/2885.06 c #Conflicts: 1592000 | #Constraints: 32479 2876.14/2885.06 c #Conflicts: 1593000 | #Constraints: 33481 2876.14/2885.06 c #Conflicts: 1594000 | #Constraints: 34484 2876.14/2885.06 c #Conflicts: 1595000 | #Constraints: 35486 2876.14/2885.06 c #Conflicts: 1596000 | #Constraints: 36490 2876.14/2885.06 c #Conflicts: 1597000 | #Constraints: 37491 2876.14/2885.06 c #Conflicts: 1598000 | #Constraints: 38491 2876.14/2885.06 c #Conflicts: 1599000 | #Constraints: 39495 2876.14/2885.06 c #Conflicts: 1600000 | #Constraints: 40495 2876.14/2885.06 c #Conflicts: 1601000 | #Constraints: 41496 2876.14/2885.06 c #Conflicts: 1602000 | #Constraints: 42496 2876.14/2885.06 c #Conflicts: 1603000 | #Constraints: 43499 2876.14/2885.06 c #Conflicts: 1604000 | #Constraints: 44500 2876.14/2885.06 c #Conflicts: 1605000 | #Constraints: 45500 2876.14/2885.06 c #Conflicts: 1606000 | #Constraints: 46501 2876.14/2885.06 c #Conflicts: 1607000 | #Constraints: 47501 2876.14/2885.06 c #Conflicts: 1608000 | #Constraints: 48501 2876.14/2885.06 c #Conflicts: 1609000 | #Constraints: 49501 2876.14/2885.06 c #Conflicts: 1610000 | #Constraints: 50502 2876.14/2885.06 c #Conflicts: 1611000 | #Constraints: 51505 2876.14/2885.06 c #Conflicts: 1612000 | #Constraints: 52505 2876.14/2885.06 c #Conflicts: 1613000 | #Constraints: 53505 2876.14/2885.06 c #Conflicts: 1614000 | #Constraints: 54505 2876.14/2885.06 c #Conflicts: 1615000 | #Constraints: 55505 2876.14/2885.06 c #Conflicts: 1616000 | #Constraints: 56505 2876.14/2885.06 c INPROCESSING 2876.14/2885.06 c GARBAGE COLLECT 2876.14/2885.06 c rational objective 91 3020.35/3029.75 c #Conflicts: 1617000 | #Constraints: 32225 3020.35/3029.75 c #Conflicts: 1618000 | #Constraints: 33225 3020.35/3029.75 c #Conflicts: 1619000 | #Constraints: 34225 3020.35/3029.75 c #Conflicts: 1620000 | #Constraints: 35226 3020.35/3029.75 c #Conflicts: 1621000 | #Constraints: 36344 3020.35/3029.75 c #Conflicts: 1622000 | #Constraints: 37346 3020.35/3029.75 c #Conflicts: 1623000 | #Constraints: 38346 3020.35/3029.75 c #Conflicts: 1624000 | #Constraints: 39346 3020.35/3029.75 c #Conflicts: 1625000 | #Constraints: 40346 3020.35/3029.75 c #Conflicts: 1626000 | #Constraints: 41356 3020.35/3029.75 c #Conflicts: 1627000 | #Constraints: 42358 3020.35/3029.75 c #Conflicts: 1628000 | #Constraints: 43362 3020.35/3029.75 c #Conflicts: 1629000 | #Constraints: 44362 3020.35/3029.75 c #Conflicts: 1630000 | #Constraints: 45365 3020.35/3029.75 c #Conflicts: 1631000 | #Constraints: 46417 3020.35/3029.75 c #Conflicts: 1632000 | #Constraints: 47417 3020.35/3029.75 c #Conflicts: 1633000 | #Constraints: 48417 3020.35/3029.75 c #Conflicts: 1634000 | #Constraints: 49438 3020.35/3029.75 c #Conflicts: 1635000 | #Constraints: 50484 3020.35/3029.75 c #Conflicts: 1636000 | #Constraints: 51598 3020.35/3029.75 c #Conflicts: 1637000 | #Constraints: 52602 3020.35/3029.75 c #Conflicts: 1638000 | #Constraints: 53642 3020.35/3029.75 c #Conflicts: 1639000 | #Constraints: 54642 3020.35/3029.75 c #Conflicts: 1640000 | #Constraints: 55643 3020.35/3029.75 c #Conflicts: 1641000 | #Constraints: 56643 3020.35/3029.75 c #Conflicts: 1642000 | #Constraints: 57643 3020.35/3029.75 c INPROCESSING 3020.35/3029.75 c GARBAGE COLLECT 3020.35/3029.75 c #Conflicts: 1643000 | #Constraints: 32998 3020.35/3029.75 c #Conflicts: 1644000 | #Constraints: 33998 3020.35/3029.75 c #Conflicts: 1645000 | #Constraints: 34998 3020.35/3029.75 c #Conflicts: 1646000 | #Constraints: 35998 3020.35/3029.75 c #Conflicts: 1647000 | #Constraints: 36998 3020.35/3029.75 c #Conflicts: 1648000 | #Constraints: 37999 3020.35/3029.75 c #Conflicts: 1649000 | #Constraints: 38999 3020.35/3029.75 c #Conflicts: 1650000 | #Constraints: 40000 3020.35/3029.75 c #Conflicts: 1651000 | #Constraints: 41000 3020.35/3029.75 c #Conflicts: 1652000 | #Constraints: 42000 3020.35/3029.75 c #Conflicts: 1653000 | #Constraints: 43000 3020.35/3029.75 c #Conflicts: 1654000 | #Constraints: 44000 3020.35/3029.75 c #Conflicts: 1655000 | #Constraints: 45000 3020.35/3029.75 c #Conflicts: 1656000 | #Constraints: 46002 3020.35/3029.75 c #Conflicts: 1657000 | #Constraints: 47002 3020.35/3029.75 c #Conflicts: 1658000 | #Constraints: 48002 3020.35/3029.75 c #Conflicts: 1659000 | #Constraints: 49007 3020.35/3029.75 c #Conflicts: 1660000 | #Constraints: 50011 3020.35/3029.75 c #Conflicts: 1661000 | #Constraints: 51012 3020.35/3029.75 c #Conflicts: 1662000 | #Constraints: 52015 3020.35/3029.75 c #Conflicts: 1663000 | #Constraints: 53015 3020.35/3029.75 c #Conflicts: 1664000 | #Constraints: 54015 3020.35/3029.75 c #Conflicts: 1665000 | #Constraints: 55015 3020.35/3029.75 c #Conflicts: 1666000 | #Constraints: 56015 3020.35/3029.75 c #Conflicts: 1667000 | #Constraints: 57019 3020.35/3029.75 c #Conflicts: 1668000 | #Constraints: 58019 3020.35/3029.75 c INPROCESSING 3020.35/3029.75 c GARBAGE COLLECT 3020.35/3029.75 c rational objective 91 3093.21/3102.83 c #Conflicts: 1669000 | #Constraints: 33273 3093.21/3102.83 c #Conflicts: 1670000 | #Constraints: 34273 3093.21/3102.83 c #Conflicts: 1671000 | #Constraints: 35273 3093.21/3102.83 c #Conflicts: 1672000 | #Constraints: 36273 3093.21/3102.83 c #Conflicts: 1673000 | #Constraints: 37273 3093.21/3102.83 c #Conflicts: 1674000 | #Constraints: 38273 3093.21/3102.83 c #Conflicts: 1675000 | #Constraints: 39274 3093.21/3102.83 c #Conflicts: 1676000 | #Constraints: 40284 3093.21/3102.83 c #Conflicts: 1677000 | #Constraints: 41284 3093.21/3102.83 c #Conflicts: 1678000 | #Constraints: 42284 3093.21/3102.83 c #Conflicts: 1679000 | #Constraints: 43285 3093.21/3102.83 c #Conflicts: 1680000 | #Constraints: 44285 3093.21/3102.83 c #Conflicts: 1681000 | #Constraints: 45285 3093.21/3102.83 c #Conflicts: 1682000 | #Constraints: 46285 3093.21/3102.83 c #Conflicts: 1683000 | #Constraints: 47285 3093.21/3102.83 c #Conflicts: 1684000 | #Constraints: 48285 3093.21/3102.83 c #Conflicts: 1685000 | #Constraints: 49285 3093.21/3102.83 c #Conflicts: 1686000 | #Constraints: 50285 3093.21/3102.83 c #Conflicts: 1687000 | #Constraints: 51290 3093.21/3102.83 c #Conflicts: 1688000 | #Constraints: 52290 3093.21/3102.83 c #Conflicts: 1689000 | #Constraints: 53290 3093.21/3102.83 c #Conflicts: 1690000 | #Constraints: 54290 3093.21/3102.83 c #Conflicts: 1691000 | #Constraints: 55290 3093.21/3102.83 c #Conflicts: 1692000 | #Constraints: 56290 3093.21/3102.83 c #Conflicts: 1693000 | #Constraints: 57290 3093.21/3102.83 c #Conflicts: 1694000 | #Constraints: 58290 3093.21/3102.83 c INPROCESSING 3093.21/3102.83 c GARBAGE COLLECT 3093.21/3102.83 c rational objective 91 3157.89/3167.74 c #Conflicts: 1695000 | #Constraints: 33447 3157.89/3167.74 c #Conflicts: 1696000 | #Constraints: 34447 3157.89/3167.74 c #Conflicts: 1697000 | #Constraints: 35447 3157.89/3167.74 c #Conflicts: 1698000 | #Constraints: 36447 3157.89/3167.74 c #Conflicts: 1699000 | #Constraints: 37447 3157.89/3167.74 c #Conflicts: 1700000 | #Constraints: 38447 3157.89/3167.74 c #Conflicts: 1701000 | #Constraints: 39447 3157.89/3167.74 c #Conflicts: 1702000 | #Constraints: 40447 3157.89/3167.74 c #Conflicts: 1703000 | #Constraints: 41447 3157.89/3167.74 c #Conflicts: 1704000 | #Constraints: 42447 3157.89/3167.74 c #Conflicts: 1705000 | #Constraints: 43450 3157.89/3167.74 c #Conflicts: 1706000 | #Constraints: 44450 3157.89/3167.74 c #Conflicts: 1707000 | #Constraints: 45450 3157.89/3167.74 c #Conflicts: 1708000 | #Constraints: 46450 3157.89/3167.74 c #Conflicts: 1709000 | #Constraints: 47450 3157.89/3167.74 c #Conflicts: 1710000 | #Constraints: 48450 3157.89/3167.74 c #Conflicts: 1711000 | #Constraints: 49450 3157.89/3167.74 c #Conflicts: 1712000 | #Constraints: 50450 3157.89/3167.74 c #Conflicts: 1713000 | #Constraints: 51450 3157.89/3167.74 c #Conflicts: 1714000 | #Constraints: 52452 3157.89/3167.74 c #Conflicts: 1715000 | #Constraints: 53452 3157.89/3167.74 c #Conflicts: 1716000 | #Constraints: 54452 3157.89/3167.74 c #Conflicts: 1717000 | #Constraints: 55452 3157.89/3167.74 c #Conflicts: 1718000 | #Constraints: 56452 3157.89/3167.74 c #Conflicts: 1719000 | #Constraints: 57452 3157.89/3167.74 c #Conflicts: 1720000 | #Constraints: 58452 3157.89/3167.74 c INPROCESSING 3157.89/3167.74 c GARBAGE COLLECT 3157.89/3167.74 c rational objective 91 3218.89/3228.90 c #Conflicts: 1721000 | #Constraints: 33415 3218.89/3228.90 c #Conflicts: 1722000 | #Constraints: 34415 3218.89/3228.90 c #Conflicts: 1723000 | #Constraints: 35415 3218.89/3228.90 c #Conflicts: 1724000 | #Constraints: 36415 3218.89/3228.90 c #Conflicts: 1725000 | #Constraints: 37415 3218.89/3228.90 c #Conflicts: 1726000 | #Constraints: 38415 3218.89/3228.90 c #Conflicts: 1727000 | #Constraints: 39415 3218.89/3228.90 c #Conflicts: 1728000 | #Constraints: 40415 3218.89/3228.90 c #Conflicts: 1729000 | #Constraints: 41415 3218.89/3228.90 c #Conflicts: 1730000 | #Constraints: 42415 3218.89/3228.90 c #Conflicts: 1731000 | #Constraints: 43415 3218.89/3228.90 c #Conflicts: 1732000 | #Constraints: 44415 3218.89/3228.90 c #Conflicts: 1733000 | #Constraints: 45415 3218.89/3228.90 c #Conflicts: 1734000 | #Constraints: 46415 3218.89/3228.90 c #Conflicts: 1735000 | #Constraints: 47415 3218.89/3228.90 c #Conflicts: 1736000 | #Constraints: 48415 3218.89/3228.90 c #Conflicts: 1737000 | #Constraints: 49415 3218.89/3228.90 c #Conflicts: 1738000 | #Constraints: 50415 3218.89/3228.90 c bounds 150 >= 91 @ 3173.94 3218.89/3228.90 c #Conflicts: 1739000 | #Constraints: 51416 3218.89/3228.90 c #Conflicts: 1740000 | #Constraints: 52416 3218.89/3228.90 c #Conflicts: 1741000 | #Constraints: 53416 3218.89/3228.90 c #Conflicts: 1742000 | #Constraints: 54416 3218.89/3228.90 c #Conflicts: 1743000 | #Constraints: 55416 3218.89/3228.90 c #Conflicts: 1744000 | #Constraints: 56416 3218.89/3228.90 c #Conflicts: 1745000 | #Constraints: 57416 3218.89/3228.90 c #Conflicts: 1746000 | #Constraints: 58416 3218.89/3228.90 c INPROCESSING 3218.89/3228.90 c GARBAGE COLLECT 3218.89/3228.90 c rational objective 91 3286.36/3296.63 c #Conflicts: 1747000 | #Constraints: 33173 3286.36/3296.63 c #Conflicts: 1748000 | #Constraints: 34173 3286.36/3296.63 c #Conflicts: 1749000 | #Constraints: 35173 3286.36/3296.63 c #Conflicts: 1750000 | #Constraints: 36173 3286.36/3296.63 c #Conflicts: 1751000 | #Constraints: 37173 3286.36/3296.63 c #Conflicts: 1752000 | #Constraints: 38173 3286.36/3296.63 c #Conflicts: 1753000 | #Constraints: 39175 3286.36/3296.63 c #Conflicts: 1754000 | #Constraints: 40175 3286.36/3296.63 c #Conflicts: 1755000 | #Constraints: 41177 3286.36/3296.63 c #Conflicts: 1756000 | #Constraints: 42177 3286.36/3296.63 c #Conflicts: 1757000 | #Constraints: 43177 3286.36/3296.63 c #Conflicts: 1758000 | #Constraints: 44177 3286.36/3296.63 c #Conflicts: 1759000 | #Constraints: 45178 3286.36/3296.63 c #Conflicts: 1760000 | #Constraints: 46178 3286.36/3296.63 c #Conflicts: 1761000 | #Constraints: 47178 3286.36/3296.63 c #Conflicts: 1762000 | #Constraints: 48178 3286.36/3296.63 c #Conflicts: 1763000 | #Constraints: 49180 3286.36/3296.63 c #Conflicts: 1764000 | #Constraints: 50181 3286.36/3296.63 c #Conflicts: 1765000 | #Constraints: 51181 3286.36/3296.63 c #Conflicts: 1766000 | #Constraints: 52181 3286.36/3296.63 c #Conflicts: 1767000 | #Constraints: 53182 3286.36/3296.63 c #Conflicts: 1768000 | #Constraints: 54182 3286.36/3296.63 c #Conflicts: 1769000 | #Constraints: 55183 3286.36/3296.63 c #Conflicts: 1770000 | #Constraints: 56183 3286.36/3296.63 c #Conflicts: 1771000 | #Constraints: 57183 3286.36/3296.63 c #Conflicts: 1772000 | #Constraints: 58183 3286.36/3296.63 c #Conflicts: 1773000 | #Constraints: 59183 3286.36/3296.63 c INPROCESSING 3286.36/3296.63 c GARBAGE COLLECT 3286.36/3296.63 c rational objective 91 3333.40/3343.83 c #Conflicts: 1774000 | #Constraints: 33764 3333.40/3343.83 c #Conflicts: 1775000 | #Constraints: 34800 3333.40/3343.83 c #Conflicts: 1776000 | #Constraints: 35908 3333.40/3343.83 c #Conflicts: 1777000 | #Constraints: 36908 3333.40/3343.83 c #Conflicts: 1778000 | #Constraints: 37917 3333.40/3343.83 c #Conflicts: 1779000 | #Constraints: 38963 3333.40/3343.83 c #Conflicts: 1780000 | #Constraints: 40050 3333.40/3343.83 c #Conflicts: 1781000 | #Constraints: 41139 3333.40/3343.83 c #Conflicts: 1782000 | #Constraints: 42140 3333.40/3343.83 c #Conflicts: 1783000 | #Constraints: 43140 3333.40/3343.83 c #Conflicts: 1784000 | #Constraints: 44141 3333.40/3343.83 c #Conflicts: 1785000 | #Constraints: 45189 3333.40/3343.83 c #Conflicts: 1786000 | #Constraints: 46191 3333.40/3343.83 c bounds 149 >= 91 @ 3290.11 3333.40/3343.83 c #Conflicts: 1787000 | #Constraints: 47258 3333.40/3343.83 c #Conflicts: 1788000 | #Constraints: 48261 3333.40/3343.83 c #Conflicts: 1789000 | #Constraints: 49378 3333.40/3343.83 c #Conflicts: 1790000 | #Constraints: 50378 3333.40/3343.83 c #Conflicts: 1791000 | #Constraints: 51378 3333.40/3343.83 c #Conflicts: 1792000 | #Constraints: 52382 3333.40/3343.83 c #Conflicts: 1793000 | #Constraints: 53383 3333.40/3343.83 c #Conflicts: 1794000 | #Constraints: 54870 3333.40/3343.83 WSVECS04 Frhs2[94]: 6 -64 0 shouldn't be 3423.90/3434.60 c #Conflicts: 1795000 | #Constraints: 56115 3423.90/3434.60 c #Conflicts: 1796000 | #Constraints: 57115 3423.90/3434.60 c #Conflicts: 1797000 | #Constraints: 58115 3423.90/3434.60 c #Conflicts: 1798000 | #Constraints: 59115 3423.90/3434.60 c #Conflicts: 1799000 | #Constraints: 60120 3423.90/3434.60 c #Conflicts: 1800000 | #Constraints: 61120 3423.90/3434.60 c INPROCESSING 3423.90/3434.60 c GARBAGE COLLECT 3423.90/3434.60 c #Conflicts: 1801000 | #Constraints: 34853 3423.90/3434.60 c #Conflicts: 1802000 | #Constraints: 35853 3423.90/3434.60 c #Conflicts: 1803000 | #Constraints: 36854 3423.90/3434.60 c #Conflicts: 1804000 | #Constraints: 37854 3423.90/3434.60 c #Conflicts: 1805000 | #Constraints: 38854 3423.90/3434.60 c #Conflicts: 1806000 | #Constraints: 39854 3423.90/3434.60 c #Conflicts: 1807000 | #Constraints: 40854 3423.90/3434.60 c #Conflicts: 1808000 | #Constraints: 41854 3423.90/3434.60 c #Conflicts: 1809000 | #Constraints: 42854 3423.90/3434.60 c #Conflicts: 1810000 | #Constraints: 43855 3423.90/3434.60 c #Conflicts: 1811000 | #Constraints: 44869 3423.90/3434.60 c #Conflicts: 1812000 | #Constraints: 45876 3423.90/3434.60 c #Conflicts: 1813000 | #Constraints: 46876 3423.90/3434.60 c #Conflicts: 1814000 | #Constraints: 47879 3423.90/3434.60 c #Conflicts: 1815000 | #Constraints: 48889 3423.90/3434.60 c #Conflicts: 1816000 | #Constraints: 49889 3423.90/3434.60 c #Conflicts: 1817000 | #Constraints: 50891 3423.90/3434.60 c #Conflicts: 1818000 | #Constraints: 51892 3423.90/3434.60 c #Conflicts: 1819000 | #Constraints: 52892 3423.90/3434.60 c #Conflicts: 1820000 | #Constraints: 53892 3423.90/3434.60 c #Conflicts: 1821000 | #Constraints: 54892 3423.90/3434.60 c #Conflicts: 1822000 | #Constraints: 55893 3423.90/3434.60 c #Conflicts: 1823000 | #Constraints: 56893 3423.90/3434.60 c #Conflicts: 1824000 | #Constraints: 57893 3423.90/3434.60 c #Conflicts: 1825000 | #Constraints: 58899 3423.90/3434.60 c #Conflicts: 1826000 | #Constraints: 59899 3423.90/3434.60 c #Conflicts: 1827000 | #Constraints: 60899 3423.90/3434.60 c INPROCESSING 3423.90/3434.60 c GARBAGE COLLECT 3423.90/3434.60 c rational objective 91 3554.26/3565.42 c #Conflicts: 1828000 | #Constraints: 34744 3554.26/3565.42 c #Conflicts: 1829000 | #Constraints: 35744 3554.26/3565.42 c #Conflicts: 1830000 | #Constraints: 36745 3554.26/3565.42 c #Conflicts: 1831000 | #Constraints: 37750 3554.26/3565.42 c #Conflicts: 1832000 | #Constraints: 38753 3554.26/3565.42 c #Conflicts: 1833000 | #Constraints: 39754 3554.26/3565.42 c #Conflicts: 1834000 | #Constraints: 40754 3554.26/3565.42 c #Conflicts: 1835000 | #Constraints: 41754 3554.26/3565.42 c #Conflicts: 1836000 | #Constraints: 42775 3554.26/3565.42 c #Conflicts: 1837000 | #Constraints: 43809 3554.26/3565.42 c #Conflicts: 1838000 | #Constraints: 44809 3554.26/3565.42 c #Conflicts: 1839000 | #Constraints: 45816 3554.26/3565.42 c #Conflicts: 1840000 | #Constraints: 46894 3554.26/3565.42 c #Conflicts: 1841000 | #Constraints: 47894 3554.26/3565.42 c #Conflicts: 1842000 | #Constraints: 48894 3554.26/3565.42 c #Conflicts: 1843000 | #Constraints: 49894 3554.26/3565.42 c #Conflicts: 1844000 | #Constraints: 50910 3554.26/3565.42 c #Conflicts: 1845000 | #Constraints: 51922 3554.26/3565.42 c #Conflicts: 1846000 | #Constraints: 52922 3554.26/3565.42 c #Conflicts: 1847000 | #Constraints: 53922 3554.26/3565.42 c #Conflicts: 1848000 | #Constraints: 54942 3554.26/3565.42 c #Conflicts: 1849000 | #Constraints: 55942 3554.26/3565.42 c #Conflicts: 1850000 | #Constraints: 56942 3554.26/3565.42 c #Conflicts: 1851000 | #Constraints: 57942 3554.26/3565.42 c #Conflicts: 1852000 | #Constraints: 58942 3554.26/3565.42 c #Conflicts: 1853000 | #Constraints: 59942 3554.26/3565.42 c #Conflicts: 1854000 | #Constraints: 60942 3554.26/3565.42 c INPROCESSING 3554.26/3565.42 c GARBAGE COLLECT 3554.26/3565.42 c #Conflicts: 1855000 | #Constraints: 34688 3554.26/3565.42 c #Conflicts: 1856000 | #Constraints: 35688 3554.26/3565.42 c #Conflicts: 1857000 | #Constraints: 36688 3554.26/3565.42 c #Conflicts: 1858000 | #Constraints: 37688 3554.26/3565.42 c #Conflicts: 1859000 | #Constraints: 38688 3554.26/3565.42 c #Conflicts: 1860000 | #Constraints: 39688 3554.26/3565.42 c #Conflicts: 1861000 | #Constraints: 40688 3554.26/3565.42 c #Conflicts: 1862000 | #Constraints: 41689 3554.26/3565.42 c #Conflicts: 1863000 | #Constraints: 42690 3554.26/3565.42 c #Conflicts: 1864000 | #Constraints: 43690 3554.26/3565.42 c #Conflicts: 1865000 | #Constraints: 44690 3554.26/3565.42 c #Conflicts: 1866000 | #Constraints: 45690 3554.26/3565.42 c #Conflicts: 1867000 | #Constraints: 46690 3554.26/3565.42 c #Conflicts: 1868000 | #Constraints: 47693 3554.26/3565.42 c #Conflicts: 1869000 | #Constraints: 48695 3554.26/3565.42 c #Conflicts: 1870000 | #Constraints: 49695 3554.26/3565.42 c #Conflicts: 1871000 | #Constraints: 50695 3554.26/3565.42 c #Conflicts: 1872000 | #Constraints: 51695 3554.26/3565.42 c #Conflicts: 1873000 | #Constraints: 52695 3554.26/3565.42 c #Conflicts: 1874000 | #Constraints: 53695 3554.26/3565.42 c #Conflicts: 1875000 | #Constraints: 54695 3554.26/3565.42 c #Conflicts: 1876000 | #Constraints: 55699 3554.26/3565.42 c #Conflicts: 1877000 | #Constraints: 56699 3554.26/3565.42 c #Conflicts: 1878000 | #Constraints: 57699 3554.26/3565.42 c #Conflicts: 1879000 | #Constraints: 58699 3554.26/3565.42 c #Conflicts: 1880000 | #Constraints: 59699 3554.26/3565.42 c #Conflicts: 1881000 | #Constraints: 60699 3554.26/3565.42 c INPROCESSING 3554.26/3565.42 c GARBAGE COLLECT 3554.26/3565.42 c rational objective 91 3600.01/3611.30 c #Conflicts: 1882000 | #Constraints: 34333 3600.01/3611.30 c #Conflicts: 1883000 | #Constraints: 35333 3600.01/3611.30 c #Conflicts: 1884000 | #Constraints: 36336 3600.01/3611.30 c #Conflicts: 1885000 | #Constraints: 37430 3600.01/3611.30 c #Conflicts: 1886000 | #Constraints: 38534 3600.01/3611.30 c #Conflicts: 1887000 | #Constraints: 39534 3600.01/3611.30 c #Conflicts: 1888000 | #Constraints: 40534 3600.01/3611.30 c #Conflicts: 1889000 | #Constraints: 41535 3600.01/3611.30 c #Conflicts: 1890000 | #Constraints: 42542 3600.01/3611.30 c #Conflicts: 1891000 | #Constraints: 43556 3600.01/3611.30 c #Conflicts: 1892000 | #Constraints: 44907 3600.01/3611.30 c #Conflicts: 1893000 | #Constraints: 46624 3600.01/3611.30 c #Conflicts: 1894000 | #Constraints: 48189 3600.01/3611.30 c #Conflicts: 1895000 | #Constraints: 49189 3600.01/3611.30 c #Conflicts: 1896000 | #Constraints: 50190 3600.01/3611.30 c #Conflicts: 1897000 | #Constraints: 51395 3600.01/3611.30 c #Conflicts: 1898000 | #Constraints: 52608 3600.01/3611.30 c #Conflicts: 1899000 | #Constraints: 53916 3600.01/3611.30 c Program interrupted by user. 3600.01/3611.30 c cpu time 3574.55 s 3600.01/3611.30 c deterministic time 356598892585 3.57e+11 3600.01/3611.30 c optimization time 45.4067 s 3600.01/3611.30 c total solve time 3529.08 s 3600.01/3611.30 c core-guided solve time 1761.9 s 3600.01/3611.30 c propagation time 3359.97 s 3600.01/3611.30 c conflict analysis time 162.459 s 3600.01/3611.30 c propagations 793949799 3600.01/3611.30 c resolve steps 7791431 3600.01/3611.30 c decisions 8144930 3600.01/3611.30 c conflicts 1899088 3600.01/3611.30 c restarts 3688 3600.01/3611.30 c inprocessing phases 128 3600.01/3611.30 c input clauses 2 3600.01/3611.30 c input cardinalities 0 3600.01/3611.30 c input general constraints 6413 3600.01/3611.30 c input average constraint length 29.15 3600.01/3611.30 c input average constraint degree 442.60 3600.01/3611.30 c learned clauses 704074 3600.01/3611.30 c learned cardinalities 2 3600.01/3611.30 c learned general constraints 1228152 3600.01/3611.30 c learned average constraint length 43.66 3600.01/3611.30 c learned average constraint degree 21678810.13 3600.01/3611.30 c watched constraints 1222372 3600.01/3611.30 c counting constraints 12193 3600.01/3611.30 c gcd simplifications 16071 3600.01/3611.30 c detected cardinalities 2 3600.01/3611.30 c weakened non-implied lits 7130393 3600.01/3611.30 c weakened non-implying lits 7416 3600.01/3611.30 c original variables 3296 3600.01/3611.30 c clausal propagations 3017231 3600.01/3611.30 c cardinality propagations 3 3600.01/3611.30 c watched propagations 769335211 3600.01/3611.30 c counting propagations 20428854 3600.01/3611.30 c watch lookups 67001508383 3600.01/3611.30 c watch backjump lookups 61717757264 3600.01/3611.30 c watch checks 127839638543 3600.01/3611.30 c propagation checks 98138829186 3600.01/3611.30 c constraint additions 292992562 3600.01/3611.30 c trail pops 803992050 3600.01/3611.30 c formula constraints 6384 3600.01/3611.30 c learned constraints 1899088 3600.01/3611.30 c bound constraints 31 3600.01/3611.30 c core-guided constraints 0 3600.01/3611.30 c encountered formula constraints 6799354 3600.01/3611.30 c encountered learned constraints 2809218 3600.01/3611.30 c encountered bound constraints 4932 3600.01/3611.30 c encountered core-guided constraints 0 3600.01/3611.30 c LP total time 185.86 s 3600.01/3611.30 c LP solve time 169.36 s 3600.01/3611.30 c LP constraints added 7118 3600.01/3611.30 c LP constraints removed 729 3600.01/3611.30 c LP pivots internal 1900447 3600.01/3611.30 c LP pivots root 179420 3600.01/3611.30 c LP calls 34191 3600.01/3611.30 c LP optimalities 1063 3600.01/3611.30 c LP no pivot count 91 3600.01/3611.30 c LP infeasibilities 33003 3600.01/3611.30 c LP valid Farkas constraints 32991 3600.01/3611.30 c LP learned Farkas constraints 0 3600.01/3611.30 c LP basis resets 122 3600.01/3611.30 c LP cycling count 63 3600.01/3611.30 c LP singular count 57 3600.01/3611.30 c LP no primal count 0 3600.01/3611.30 c LP no farkas count 0 3600.01/3611.30 c LP other issue count 2 3600.01/3611.30 c LP Gomory cuts 149 3600.01/3611.30 c LP learned cuts 585 3600.01/3611.30 c LP deleted cuts 729 3600.01/3611.30 c LP encountered Gomory constraints 39602 3600.01/3611.30 c LP encountered Farkas constraints 37413 3600.01/3611.30 c LP encountered learned Farkas constraints 0 3600.01/3611.30 c CG auxiliary variables introduced 0 3600.01/3611.30 c CG solutions found 31 3600.01/3611.30 c CG cores constructed 0 3600.01/3611.30 c CG core cardinality constraints returned 0 3600.01/3611.30 c CG unit cores 0 3600.01/3611.30 c CG single cores 0 3600.01/3611.30 c CG blocks removed during cardinality reduction 0 3600.01/3611.30 c CG first core best 0 3600.01/3611.30 c CG decision core best 0 3600.01/3611.30 c CG core reduction tie 0 3600.01/3611.30 c CG core degree average 0.00 3600.01/3611.30 c CG core slack average 0.00 3600.01/3611.30 s SATISFIABLE 3600.01/3611.30 v -x1 x2 -x3 x4 x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 x27 -x28 -x29 -x30 -x31 x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 -x50 x51 x52 x53 -x54 -x55 x56 x57 x58 x59 -x60 -x61 x62 -x63 -x64 -x65 x66 -x67 x68 -x69 x70 -x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 -x85 x86 -x87 -x88 -x89 -x90 x91 x92 -x93 x94 -x95 -x96 x97 x98 x99 -x100 -x101 x102 -x103 x104 -x105 x106 -x107 -x108 -x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 -x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 -x352 x353 x354 x355 x356 x357 x358 -x359 x360 x361 x362 x363 x364 -x365 x366 x367 x368 x369 -x370 -x371 x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 -x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 -x410 -x411 x412 x413 x414 x415 x416 x417 x418 x419 -x420 x421 x422 x423 x424 x425 x426 x427 x428 -x429 -x430 x431 x432 x433 x434 x435 x436 -x437 -x438 -x439 x440 x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 -x492 x493 x494 x495 x496 x497 x498 x499 x500 -x501 -x502 x503 x504 x505 x506 x507 x508 x509 -x510 -x511 -x512 x513 x514 x515 x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 -x570 -x571 x572 x573 x574 x575 x576 x577 -x578 -x579 -x580 x581 x582 x583 x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 -x636 x637 x638 x639 x640 x641 x642 -x643 -x644 -x645 x646 x647 x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 -x704 x705 x706 x707 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 -x765 x766 x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 x811 x812 x813 x814 x815 x816 x817 -x818 -x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 -x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 -x1057 x1058 x1059 x1060 x1061 x1062 x1063 -x1064 x1065 x1066 x1067 x1068 x1069 -x1070 x1071 x1072 x1073 x1074 -x1075 -x1076 x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 -x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 -x1105 -x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 -x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 -x1124 -x1125 x1126 x1127 x1128 x1129 x1130 x1131 -x1132 -x1133 -x1134 x1135 x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 -x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 -x1196 -x1197 -x1198 x1199 x1200 x1201 x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 -x1248 -x1249 x1250 x1251 x1252 x1253 x1254 x1255 -x1256 -x1257 -x1258 x1259 x1260 x1261 x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 -x1307 x1308 x1309 x1310 x1311 x1312 x1313 -x1314 -x1315 -x1316 x1317 x1318 x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 x1364 x1365 x1366 x1367 x1368 -x1369 x1370 x1371 x1372 x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 x1423 x1424 -x1425 x1426 x1427 x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 x1471 x1472 x1473 -x1474 -x1475 x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 -x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 -x1656 -x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 -x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 -x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 -x1683 -x1684 -x1685 x1686 x1687 x1688 x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 -x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 -x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 -x1738 -x1739 x1740 x1741 x1742 x1743 x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 -x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 -x1790 -x1791 x1792 x1793 x1794 x1795 x1796 x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 -x1841 -x1842 -x1843 x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 x1943 x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 x1986 x1987 x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 x2088 x2089 x2090 x2091 x2092 x2093 x2094 x2095 -x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 -x2113 -x2114 x2115 x2116 x2117 x2118 x2119 -x2120 -x2121 x2122 x2123 x2124 x2125 -x2126 -x2127 -x2128 x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 x2144 x2145 x2146 x2147 x2148 x2149 -x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 x2158 -x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 x2170 x2171 x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 x2202 -x2203 x2204 x2205 x2206 x2207 x2208 x2209 x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 -x2255 -x2256 x2257 x2258 x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 x2299 x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 x2493 x2494 -x2495 x2496 x2497 x2498 x2499 x2500 -x2501 x2502 x2503 x2504 x2505 x2506 x2507 x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 x2517 x2518 x2519 x2520 x2521 x2522 x2523 -x2524 x2525 x2526 x2527 x2528 x2529 x2530 x2531 -x2532 -x2533 -x2534 x2535 x2536 x2537 x2538 -x2539 -x2540 -x2541 -x2542 x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 x2561 x2562 x2563 x2564 x2565 x2566 -x2567 -x2568 -x2569 x2570 x2571 x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 x2604 x2605 x2606 x2607 -x2608 -x2609 -x2610 -x2611 x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 x2643 x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 x2677 x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 x2757 x2758 x2759 x2760 x2761 x2762 x2763 -x2764 -x2765 x2766 x2767 x2768 x2769 x2770 -x2771 -x2772 x2773 x2774 x2775 x2776 -x2777 x2778 x2779 x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 x2795 x2796 x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 x2830 x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 x2862 x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 x2963 x2964 x2965 x2966 -x2967 -x2968 x2969 x2970 x2971 x2972 -x2973 -x2974 -x2975 x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 x2991 x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 x3102 x3103 x3104 x3105 -x3106 x3107 x3108 x3109 x3110 x3111 x3112 x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 x3122 x3123 x3124 x3125 -x3126 x3127 x3128 x3129 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 x3142 x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 x3192 x3193 x3194 x3195 x3196 x3197 x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 x3207 x3208 x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 x3247 x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 x3291 x3292 x3293 -x3294 -x3295 x3296
OK 149
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 (60787 MiB free)
memory of node 1: 64510 MiB (57936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455150-1721459722/watcher-4455150-1721459722 -o /tmp/evaluation-result-4455150-1721459722/solver-4455150-1721459722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069360 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455150-1721459722.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=1072077, runsolver pid=1072074
[startup+0.100178 s]*
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121553528/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=54432 memory=26016 CPUtime=0.09 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 8305 0 0 0 8 1 0 0 20 0 1 0 198140445 55738368 6504 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 13608 6504 1647 922 0 5560 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54432 KiB
Current children cumulated memory: 26016 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121548396/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=59748 memory=32080 CPUtime=0.2 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 10464 0 0 0 18 2 0 0 20 0 1 0 198140445 61181952 8020 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 14937 8020 1830 922 0 6889 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59748 KiB
Current children cumulated memory: 32080 KiB
[startup+0.305542 s]*
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121545928/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=59748 memory=34128 CPUtime=0.3 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 10485 0 0 0 28 2 0 0 20 0 1 0 198140445 61181952 8532 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 14937 8532 1830 922 0 6889 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59748 KiB
Current children cumulated memory: 34128 KiB
[startup+0.700199 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121540728/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=69672 memory=44040 CPUtime=0.68 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 12449 0 0 0 65 3 0 0 20 0 1 0 198140445 71344128 11010 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 17418 11010 1846 922 0 9370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69672 KiB
Current children cumulated memory: 44040 KiB
[startup+1.50022 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121533644/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=70748 memory=45160 CPUtime=1.48 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 14276 0 0 0 142 6 0 0 20 0 1 0 198140445 72445952 11290 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 17687 11290 1846 922 0 9639 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70748 KiB
Current children cumulated memory: 45160 KiB
[startup+3.10554 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 1072078
/proc/meminfo: memFree=121507440/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=81672 memory=55060 CPUtime=3.09 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 16750 0 0 0 298 11 0 0 20 0 1 0 198140445 83632128 13765 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 20418 13765 1974 922 0 12370 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81672 KiB
Current children cumulated memory: 55060 KiB
[startup+6.3002 s]
/proc/loadavg: 4.05 4.08 4.09 5/255 1072080
/proc/meminfo: memFree=121504252/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=81672 memory=55060 CPUtime=6.27 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 18035 0 0 0 607 20 0 0 20 0 1 0 198140445 83632128 13765 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 20418 13765 1974 922 0 12370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81672 KiB
Current children cumulated memory: 55060 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/255 1072080
/proc/meminfo: memFree=121488324/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=97204 memory=70592 CPUtime=12.66 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 20550 0 0 0 1230 36 0 0 20 0 1 0 198140445 99536896 17648 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 24301 17648 1974 922 0 16253 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 97204 KiB
Current children cumulated memory: 70592 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/255 1072083
/proc/meminfo: memFree=121481632/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=97064 memory=68132 CPUtime=25.42 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 21948 0 0 0 2477 65 0 0 20 0 1 0 198140445 99393536 17033 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 24266 17033 1974 922 0 16218 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 68132 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1072087
/proc/meminfo: memFree=121283380/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=107296 memory=79396 CPUtime=50.97 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 25276 0 0 0 4986 111 0 0 20 0 1 0 198140445 109871104 19849 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 26824 19849 1974 922 0 18776 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 107296 KiB
Current children cumulated memory: 79396 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/255 1072097
/proc/meminfo: memFree=121136784/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=107296 memory=80588 CPUtime=102.02 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 25610 0 0 0 10013 189 0 0 20 0 1 0 198140445 109871104 20147 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 26824 20147 1974 922 0 18776 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 107296 KiB
Current children cumulated memory: 80588 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/255 1072108
/proc/meminfo: memFree=120939856/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=111716 memory=83184 CPUtime=161.87 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 26276 0 0 0 15921 266 0 0 20 0 1 0 198140445 114397184 20796 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 27929 20796 1974 922 0 19881 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 111716 KiB
Current children cumulated memory: 83184 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/255 1072118
/proc/meminfo: memFree=120485484/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=102624 memory=74224 CPUtime=221.71 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 28836 0 0 0 21828 343 0 0 20 0 1 0 198140445 105086976 18556 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 25656 18556 1974 922 0 17608 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 102624 KiB
Current children cumulated memory: 74224 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/258 1072133
/proc/meminfo: memFree=120354336/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=126960 memory=98384 CPUtime=281.54 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 34120 0 0 0 27744 410 0 0 20 0 1 0 198140445 130007040 24596 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 31740 24596 1974 922 0 23692 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 126960 KiB
Current children cumulated memory: 98384 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1072144
/proc/meminfo: memFree=120450308/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=116548 memory=89800 CPUtime=341.37 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 34664 0 0 0 33683 454 0 0 20 0 1 0 198140445 119345152 22450 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 29137 22450 1974 922 0 21089 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 116548 KiB
Current children cumulated memory: 89800 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 1072154
/proc/meminfo: memFree=120416504/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=116732 memory=90180 CPUtime=401.21 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 39120 0 0 0 39605 516 0 0 20 0 1 0 198140445 119533568 22545 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 29183 22545 1974 922 0 21135 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 116732 KiB
Current children cumulated memory: 90180 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1072166
/proc/meminfo: memFree=120283268/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=102780 memory=76428 CPUtime=461.05 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 41464 0 0 0 45524 581 0 0 20 0 1 0 198140445 105246720 19107 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 25695 19107 1974 922 0 17647 0
################
# More data... #
################
Current children cumulated memory: 118328 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.18 4.16 5/256 1073795
/proc/meminfo: memFree=116666664/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=166652 memory=129780 CPUtime=2913.31 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 79631 0 0 0 289145 2186 0 0 20 0 1 0 198140445 170651648 32445 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 41663 32445 1974 922 0 33615 0
Current children cumulated CPU time: 2913.31 s
Current children cumulated vsize: 166652 KiB
Current children cumulated memory: 129780 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.15 5/255 1073805
/proc/meminfo: memFree=116663904/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=166652 memory=129956 CPUtime=2973.11 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 79661 0 0 0 295096 2215 0 0 20 0 1 0 198140445 170651648 32489 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 41663 32489 1974 922 0 33615 0
Current children cumulated CPU time: 2973.11 s
Current children cumulated vsize: 166652 KiB
Current children cumulated memory: 129956 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/255 1073817
/proc/meminfo: memFree=116677144/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151640 memory=114832 CPUtime=3032.91 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 80438 0 0 0 301044 2247 0 0 20 0 1 0 198140445 155279360 28708 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37910 28708 1974 922 0 29862 0
Current children cumulated CPU time: 3032.91 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 114832 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.14 6/256 1073828
/proc/meminfo: memFree=116672384/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151640 memory=114832 CPUtime=3092.71 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 80460 0 0 0 306998 2273 0 0 20 0 1 0 198140445 155279360 28708 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37910 28708 1974 922 0 29862 0
Current children cumulated CPU time: 3092.71 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 114832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/256 1073839
/proc/meminfo: memFree=116675256/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151640 memory=114944 CPUtime=3152.51 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 80480 0 0 0 312940 2311 0 0 20 0 1 0 198140445 155279360 28736 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37910 28736 1974 922 0 29862 0
Current children cumulated CPU time: 3152.51 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 114944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 1073850
/proc/meminfo: memFree=116662260/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=163272 memory=126700 CPUtime=3212.31 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 80879 0 0 0 318890 2341 0 0 20 0 1 0 198140445 167190528 31675 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 40818 31675 1974 922 0 32770 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 163272 KiB
Current children cumulated memory: 126700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.10 4.12 5/258 1073910
/proc/meminfo: memFree=118732176/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151640 memory=115068 CPUtime=3272.11 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81769 0 0 0 324837 2374 0 0 20 0 1 0 198140445 155279360 28767 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37910 28767 1974 922 0 29862 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 151640 KiB
Current children cumulated memory: 115068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/258 1073921
/proc/meminfo: memFree=117913160/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115068 CPUtime=3331.91 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81806 0 0 0 330786 2405 0 0 20 0 1 0 198140445 155439104 28767 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28767 1974 922 0 29901 0
Current children cumulated CPU time: 3331.91 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/257 1073977
/proc/meminfo: memFree=116243164/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115100 CPUtime=3391.7 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81827 0 0 0 336734 2436 0 0 20 0 1 0 198140445 155439104 28775 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28775 1974 922 0 29901 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/257 1073988
/proc/meminfo: memFree=113526996/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115100 CPUtime=3451.5 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81848 0 0 0 342681 2469 0 0 20 0 1 0 198140445 155439104 28775 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28775 1974 922 0 29901 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/257 1073999
/proc/meminfo: memFree=111720100/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115100 CPUtime=3511.3 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81876 0 0 0 348632 2498 0 0 20 0 1 0 198140445 155439104 28775 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28775 1974 922 0 29901 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 1074055
/proc/meminfo: memFree=114235944/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115168 CPUtime=3571.1 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81906 0 0 0 354577 2533 0 0 20 0 1 0 198140445 155439104 28792 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28792 1974 922 0 29901 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/255 1074060
/proc/meminfo: memFree=112615736/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115168 CPUtime=3600.01 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81913 0 0 0 357454 2547 0 0 20 0 1 0 198140445 155439104 28792 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28792 1974 922 0 29901 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 1072077 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.55 s, system=25.4734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/255 1074060
/proc/meminfo: memFree=112615736/131524600 swapFree=131071996/131071996
[pid=1072077] ppid=1072074 vsize=151796 memory=115168 CPUtime=3600.01 cores=4,6
/proc/1072077/stat : 1072077 (roundingsat) R 1072074 1072077 1069349 0 -1 4194304 81913 0 0 0 357454 2547 0 0 20 0 1 0 198140445 155439104 28792 134679101440 4194304 7968373 140736769813920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 19267584 140736769815484 140736769815648 140736769815648 140736769822665 0
/proc/1072077/statm: 37949 28792 1974 922 0 29901 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 115168 KiB
Child status: 0
Real time (s): 3611.3
CPU time (s): 3600.02
CPU user time (s): 3574.55
CPU system time (s): 25.4734
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 174936
Max. memory (cumulated for all children) (KiB): 138272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.55
system time used= 25.4734
maximum resident set size= 138272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81922
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= 17
involuntary context switches= 2985
# summary of solver processes directly reported to runsolver:
# pid: 1072077
# total CPU time (s): 3600.02
# total CPU user time (s): 3574.55
# total CPU system time (s): 25.4734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94022 second user time and 16.797 second system time
The end
Begin job on nodeC031 at 2024-07-20 09:15:34 IDJOB=4455150 IDBENCH=147690 IDSOLVER=3084 FILE ID=nodeC031/4455150-1721459722 RUNJOBID= nodeC031-1721455786-1069360 SLURM_JOB_ID= 7545688 Free space on /tmp= 890048 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.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-4455150-1721459722/watcher-4455150-1721459722 -o /tmp/evaluation-result-4455150-1721459722/solver-4455150-1721459722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721455786-1069360 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455150-1721459722.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52 RANDOM SEED=1861369262 nodeC031.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 : 3658.510 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.55 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 : 3697.074 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.11 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 : 3600.056 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.55 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 : 3599.767 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.11 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 : 3652.481 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.55 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 : 3697.167 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.11 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 : 3659.103 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.55 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.754 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.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121574204 kB MemAvailable: 128138620 kB Buffers: 536536 kB Cached: 6793872 kB SwapCached: 0 kB Active: 1097672 kB Inactive: 8061216 kB Active(anon): 1584 kB Inactive(anon): 1872484 kB Active(file): 1096088 kB Inactive(file): 6188732 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 7032 kB Writeback: 0 kB AnonPages: 1826196 kB Mapped: 117960 kB Shmem: 45912 kB KReclaimable: 238488 kB Slab: 367928 kB SReclaimable: 238488 kB SUnreclaim: 129440 kB KernelStack: 4080 kB PageTables: 12888 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2329496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 73856 kB HardwareCorrupted: 0 kB AnonHugePages: 948224 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: 254676 kB DirectMap2M: 39364608 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 889912 MiB End job on nodeC031 at 2024-07-20 10:15:46