| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.07 | 3614.9 |
| 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.07 c #variables 3296 #constraints 6384 0.09/0.12 c bounds - >= 0 @ 0.064648 0.09/0.12 c rational objective 91 0.88/0.91 c #Conflicts: 1000 | #Constraints: 7384 0.88/0.91 c #Conflicts: 2000 | #Constraints: 8384 0.88/0.91 c INPROCESSING 0.88/0.91 c rational objective 91 1.78/1.81 c bounds - >= 91 @ 0.872903 1.78/1.81 c #Conflicts: 3000 | #Constraints: 8407 1.78/1.81 c #Conflicts: 4000 | #Constraints: 9407 1.78/1.81 c INPROCESSING 1.78/1.81 c GARBAGE COLLECT 1.78/1.81 c rational objective 91 2.67/2.78 c #Conflicts: 5000 | #Constraints: 8818 2.67/2.78 c bounds 195 >= 91 @ 2.22532 2.67/2.78 c #Conflicts: 6000 | #Constraints: 9819 2.67/2.78 c INPROCESSING 2.67/2.78 c GARBAGE COLLECT 2.67/2.78 c rational objective 91 3.77/3.85 c bounds 189 >= 91 @ 2.67589 3.77/3.85 c #Conflicts: 7000 | #Constraints: 8824 3.77/3.85 c bounds 187 >= 91 @ 2.93581 3.77/3.85 c bounds 185 >= 91 @ 3.02156 3.77/3.85 c bounds 184 >= 91 @ 3.09799 3.77/3.85 c #Conflicts: 8000 | #Constraints: 9827 3.77/3.85 c #Conflicts: 9000 | #Constraints: 10827 3.77/3.85 c INPROCESSING 3.77/3.85 c GARBAGE COLLECT 3.77/3.85 c rational objective 91 4.97/5.03 c bounds 183 >= 91 @ 3.76919 4.97/5.03 c bounds 179 >= 91 @ 3.84594 4.97/5.03 c bounds 175 >= 91 @ 3.88061 4.97/5.03 c #Conflicts: 10000 | #Constraints: 9528 4.97/5.03 c #Conflicts: 11000 | #Constraints: 10528 4.97/5.03 c bounds 174 >= 91 @ 4.39584 4.97/5.03 c #Conflicts: 12000 | #Constraints: 11529 4.97/5.03 c INPROCESSING 4.97/5.03 c GARBAGE COLLECT 4.97/5.03 c rational objective 91 6.67/6.72 c #Conflicts: 13000 | #Constraints: 9983 6.67/6.72 c #Conflicts: 14000 | #Constraints: 10983 6.67/6.72 c #Conflicts: 15000 | #Constraints: 11983 6.67/6.72 c INPROCESSING 6.67/6.72 c GARBAGE COLLECT 6.67/6.72 c rational objective 91 8.16/8.20 c #Conflicts: 16000 | #Constraints: 10221 8.16/8.20 c #Conflicts: 17000 | #Constraints: 11221 8.16/8.20 c #Conflicts: 18000 | #Constraints: 12221 8.16/8.20 c INPROCESSING 8.16/8.20 c GARBAGE COLLECT 8.16/8.20 c rational objective 91 10.35/10.45 c #Conflicts: 19000 | #Constraints: 10230 10.35/10.45 c #Conflicts: 20000 | #Constraints: 11230 10.35/10.45 c #Conflicts: 21000 | #Constraints: 12230 10.35/10.45 c INPROCESSING 10.35/10.45 c GARBAGE COLLECT 10.35/10.45 c rational objective 91 12.34/12.40 c #Conflicts: 22000 | #Constraints: 10053 12.34/12.40 c #Conflicts: 23000 | #Constraints: 11053 12.34/12.40 c #Conflicts: 24000 | #Constraints: 12053 12.34/12.40 c #Conflicts: 25000 | #Constraints: 13053 12.34/12.40 c INPROCESSING 12.34/12.40 c GARBAGE COLLECT 12.34/12.40 c rational objective 91 15.05/15.19 c #Conflicts: 26000 | #Constraints: 10652 15.05/15.19 c #Conflicts: 27000 | #Constraints: 11652 15.05/15.19 c #Conflicts: 28000 | #Constraints: 12652 15.05/15.19 c bounds 169 >= 91 @ 14.3534 15.05/15.19 c #Conflicts: 29000 | #Constraints: 13653 15.05/15.19 c INPROCESSING 15.05/15.19 c GARBAGE COLLECT 15.05/15.19 c rational objective 91 17.43/17.57 c #Conflicts: 30000 | #Constraints: 11049 17.43/17.57 c #Conflicts: 31000 | #Constraints: 12049 17.43/17.57 c #Conflicts: 32000 | #Constraints: 13049 17.43/17.57 c #Conflicts: 33000 | #Constraints: 14049 17.43/17.57 c INPROCESSING 17.43/17.57 c GARBAGE COLLECT 17.43/17.57 c rational objective 91 20.22/20.36 c bounds 167 >= 91 @ 17.1415 20.22/20.36 c #Conflicts: 34000 | #Constraints: 11256 20.22/20.36 c #Conflicts: 35000 | #Constraints: 12256 20.22/20.36 c #Conflicts: 36000 | #Constraints: 13256 20.22/20.36 c #Conflicts: 37000 | #Constraints: 14256 20.22/20.36 c INPROCESSING 20.22/20.36 c GARBAGE COLLECT 20.22/20.36 c rational objective 91 22.92/23.09 c #Conflicts: 38000 | #Constraints: 11272 22.92/23.09 c #Conflicts: 39000 | #Constraints: 12272 22.92/23.09 c #Conflicts: 40000 | #Constraints: 13272 22.92/23.09 c #Conflicts: 41000 | #Constraints: 14272 22.92/23.09 c INPROCESSING 22.92/23.09 c GARBAGE COLLECT 22.92/23.09 c rational objective 91 26.00/26.12 c #Conflicts: 42000 | #Constraints: 11066 26.00/26.12 c #Conflicts: 43000 | #Constraints: 12066 26.00/26.12 c bounds 157 >= 91 @ 23.5369 26.00/26.12 c #Conflicts: 44000 | #Constraints: 13067 26.00/26.12 c #Conflicts: 45000 | #Constraints: 14067 26.00/26.12 c #Conflicts: 46000 | #Constraints: 15067 26.00/26.12 c INPROCESSING 26.00/26.12 c GARBAGE COLLECT 26.00/26.12 c rational objective 91 29.29/29.40 c #Conflicts: 47000 | #Constraints: 11666 29.29/29.40 c #Conflicts: 48000 | #Constraints: 12666 29.29/29.40 c #Conflicts: 49000 | #Constraints: 13666 29.29/29.40 c #Conflicts: 50000 | #Constraints: 14666 29.29/29.40 c #Conflicts: 51000 | #Constraints: 15666 29.29/29.40 c INPROCESSING 29.29/29.40 c GARBAGE COLLECT 29.29/29.40 c rational objective 91 32.68/32.89 c #Conflicts: 52000 | #Constraints: 12064 32.68/32.89 c #Conflicts: 53000 | #Constraints: 13064 32.68/32.89 c #Conflicts: 54000 | #Constraints: 14064 32.68/32.89 c bounds 156 >= 91 @ 31.3188 32.68/32.89 c #Conflicts: 55000 | #Constraints: 15065 32.68/32.89 c #Conflicts: 56000 | #Constraints: 16065 32.68/32.89 c INPROCESSING 32.68/32.89 c GARBAGE COLLECT 32.68/32.89 c rational objective 91 36.56/36.77 c #Conflicts: 57000 | #Constraints: 12257 36.56/36.77 c #Conflicts: 58000 | #Constraints: 13257 36.56/36.77 c #Conflicts: 59000 | #Constraints: 14257 36.56/36.77 c #Conflicts: 60000 | #Constraints: 15257 36.56/36.77 c #Conflicts: 61000 | #Constraints: 16257 36.56/36.77 c INPROCESSING 36.56/36.77 c GARBAGE COLLECT 36.56/36.77 c rational objective 91 40.45/40.62 c #Conflicts: 62000 | #Constraints: 12262 40.45/40.62 c #Conflicts: 63000 | #Constraints: 13262 40.45/40.62 c #Conflicts: 64000 | #Constraints: 14262 40.45/40.62 c #Conflicts: 65000 | #Constraints: 15262 40.45/40.62 c #Conflicts: 66000 | #Constraints: 16262 40.45/40.62 c INPROCESSING 40.45/40.62 c GARBAGE COLLECT 40.45/40.62 c rational objective 91 45.13/45.39 c #Conflicts: 67000 | #Constraints: 12092 45.13/45.39 c #Conflicts: 68000 | #Constraints: 13092 45.13/45.39 c #Conflicts: 69000 | #Constraints: 14092 45.13/45.39 c #Conflicts: 70000 | #Constraints: 15092 45.13/45.39 c #Conflicts: 71000 | #Constraints: 16092 45.13/45.39 c #Conflicts: 72000 | #Constraints: 17092 45.13/45.39 c INPROCESSING 45.13/45.39 c GARBAGE COLLECT 45.13/45.39 c rational objective 91 49.62/49.83 c #Conflicts: 73000 | #Constraints: 12716 49.62/49.83 c #Conflicts: 74000 | #Constraints: 13716 49.62/49.83 c #Conflicts: 75000 | #Constraints: 14716 49.62/49.83 c #Conflicts: 76000 | #Constraints: 15716 49.62/49.83 c #Conflicts: 77000 | #Constraints: 16716 49.62/49.83 c #Conflicts: 78000 | #Constraints: 17716 49.62/49.83 c INPROCESSING 49.62/49.83 c GARBAGE COLLECT 49.62/49.83 c rational objective 91 55.40/55.60 c #Conflicts: 79000 | #Constraints: 13094 55.40/55.60 c #Conflicts: 80000 | #Constraints: 14094 55.40/55.60 c #Conflicts: 81000 | #Constraints: 15094 55.40/55.60 c #Conflicts: 82000 | #Constraints: 16094 55.40/55.60 c #Conflicts: 83000 | #Constraints: 17094 55.40/55.60 c #Conflicts: 84000 | #Constraints: 18094 55.40/55.60 c INPROCESSING 55.40/55.60 c GARBAGE COLLECT 55.40/55.60 c rational objective 91 59.98/60.20 c #Conflicts: 85000 | #Constraints: 13297 59.98/60.20 c #Conflicts: 86000 | #Constraints: 14297 59.98/60.20 c #Conflicts: 87000 | #Constraints: 15297 59.98/60.20 c #Conflicts: 88000 | #Constraints: 16297 59.98/60.20 c #Conflicts: 89000 | #Constraints: 17297 59.98/60.20 c #Conflicts: 90000 | #Constraints: 18297 59.98/60.20 c INPROCESSING 59.98/60.20 c GARBAGE COLLECT 59.98/60.20 c rational objective 91 65.17/65.40 c #Conflicts: 91000 | #Constraints: 13279 65.17/65.40 c #Conflicts: 92000 | #Constraints: 14279 65.17/65.40 c #Conflicts: 93000 | #Constraints: 15279 65.17/65.40 c #Conflicts: 94000 | #Constraints: 16279 65.17/65.40 c #Conflicts: 95000 | #Constraints: 17279 65.17/65.40 c #Conflicts: 96000 | #Constraints: 18279 65.17/65.40 c INPROCESSING 65.17/65.40 c GARBAGE COLLECT 65.17/65.40 c rational objective 91 72.24/72.59 c #Conflicts: 97000 | #Constraints: 13076 72.24/72.59 c #Conflicts: 98000 | #Constraints: 14076 72.24/72.59 c #Conflicts: 99000 | #Constraints: 15076 72.24/72.59 c #Conflicts: 100000 | #Constraints: 16076 72.24/72.59 c #Conflicts: 101000 | #Constraints: 17076 72.24/72.59 c #Conflicts: 102000 | #Constraints: 18076 72.24/72.59 c #Conflicts: 103000 | #Constraints: 19076 72.24/72.59 c INPROCESSING 72.24/72.59 c GARBAGE COLLECT 72.24/72.59 c rational objective 91 77.92/78.23 c #Conflicts: 104000 | #Constraints: 13679 77.92/78.23 c #Conflicts: 105000 | #Constraints: 14679 77.92/78.23 c #Conflicts: 106000 | #Constraints: 15679 77.92/78.23 c #Conflicts: 107000 | #Constraints: 16679 77.92/78.23 c #Conflicts: 108000 | #Constraints: 17679 77.92/78.23 c #Conflicts: 109000 | #Constraints: 18679 77.92/78.23 c #Conflicts: 110000 | #Constraints: 19679 77.92/78.23 c INPROCESSING 77.92/78.23 c GARBAGE COLLECT 77.92/78.23 c rational objective 91 85.99/86.32 c #Conflicts: 111000 | #Constraints: 14078 85.99/86.32 c #Conflicts: 112000 | #Constraints: 15078 85.99/86.32 c #Conflicts: 113000 | #Constraints: 16078 85.99/86.32 c #Conflicts: 114000 | #Constraints: 17078 85.99/86.32 c #Conflicts: 115000 | #Constraints: 18078 85.99/86.32 c #Conflicts: 116000 | #Constraints: 19078 85.99/86.32 c #Conflicts: 117000 | #Constraints: 20078 85.99/86.32 c INPROCESSING 85.99/86.32 c GARBAGE COLLECT 85.99/86.32 c rational objective 91 91.97/92.38 c #Conflicts: 118000 | #Constraints: 14299 91.97/92.38 c #Conflicts: 119000 | #Constraints: 15299 91.97/92.38 c #Conflicts: 120000 | #Constraints: 16299 91.97/92.38 c #Conflicts: 121000 | #Constraints: 17299 91.97/92.38 c #Conflicts: 122000 | #Constraints: 18299 91.97/92.38 c #Conflicts: 123000 | #Constraints: 19299 91.97/92.38 c #Conflicts: 124000 | #Constraints: 20299 91.97/92.38 c INPROCESSING 91.97/92.38 c GARBAGE COLLECT 91.97/92.38 c rational objective 91 99.94/100.39 c #Conflicts: 125000 | #Constraints: 14288 99.94/100.39 c #Conflicts: 126000 | #Constraints: 15288 99.94/100.39 c #Conflicts: 127000 | #Constraints: 16288 99.94/100.39 c #Conflicts: 128000 | #Constraints: 17288 99.94/100.39 c #Conflicts: 129000 | #Constraints: 18288 99.94/100.39 c #Conflicts: 130000 | #Constraints: 19288 99.94/100.39 c bounds 155 >= 91 @ 97.6492 99.94/100.39 c #Conflicts: 131000 | #Constraints: 20289 99.94/100.39 c INPROCESSING 99.94/100.39 c GARBAGE COLLECT 99.94/100.39 c rational objective 91 106.12/106.50 c #Conflicts: 132000 | #Constraints: 13595 106.12/106.50 c #Conflicts: 133000 | #Constraints: 14595 106.12/106.50 c #Conflicts: 134000 | #Constraints: 15595 106.12/106.50 c #Conflicts: 135000 | #Constraints: 16595 106.12/106.50 c #Conflicts: 136000 | #Constraints: 17595 106.12/106.50 c #Conflicts: 137000 | #Constraints: 18595 106.12/106.50 c #Conflicts: 138000 | #Constraints: 19595 106.12/106.50 c #Conflicts: 139000 | #Constraints: 20595 106.12/106.50 c INPROCESSING 106.12/106.50 c GARBAGE COLLECT 106.12/106.50 c rational objective 91 111.80/112.29 c #Conflicts: 140000 | #Constraints: 14440 111.80/112.29 c #Conflicts: 141000 | #Constraints: 15440 111.80/112.29 c #Conflicts: 142000 | #Constraints: 16440 111.80/112.29 c #Conflicts: 143000 | #Constraints: 17440 111.80/112.29 c #Conflicts: 144000 | #Constraints: 18440 111.80/112.29 c #Conflicts: 145000 | #Constraints: 19440 111.80/112.29 c #Conflicts: 146000 | #Constraints: 20440 111.80/112.29 c #Conflicts: 147000 | #Constraints: 21440 111.80/112.29 c INPROCESSING 111.80/112.29 c GARBAGE COLLECT 111.80/112.29 c rational objective 91 118.59/119.05 c #Conflicts: 148000 | #Constraints: 14982 118.59/119.05 c #Conflicts: 149000 | #Constraints: 15982 118.59/119.05 c #Conflicts: 150000 | #Constraints: 16982 118.59/119.05 c #Conflicts: 151000 | #Constraints: 17982 118.59/119.05 c #Conflicts: 152000 | #Constraints: 18982 118.59/119.05 c #Conflicts: 153000 | #Constraints: 19982 118.59/119.05 c #Conflicts: 154000 | #Constraints: 20982 118.59/119.05 c #Conflicts: 155000 | #Constraints: 21982 118.59/119.05 c INPROCESSING 118.59/119.05 c GARBAGE COLLECT 118.59/119.05 c rational objective 91 125.36/125.84 c #Conflicts: 156000 | #Constraints: 15239 125.36/125.84 c #Conflicts: 157000 | #Constraints: 16239 125.36/125.84 c #Conflicts: 158000 | #Constraints: 17239 125.36/125.84 c #Conflicts: 159000 | #Constraints: 18239 125.36/125.84 c #Conflicts: 160000 | #Constraints: 19239 125.36/125.84 c #Conflicts: 161000 | #Constraints: 20239 125.36/125.84 c #Conflicts: 162000 | #Constraints: 21239 125.36/125.84 c #Conflicts: 163000 | #Constraints: 22239 125.36/125.84 c INPROCESSING 125.36/125.84 c GARBAGE COLLECT 125.36/125.84 c rational objective 91 132.44/132.98 c #Conflicts: 164000 | #Constraints: 15282 132.44/132.98 c #Conflicts: 165000 | #Constraints: 16282 132.44/132.98 c #Conflicts: 166000 | #Constraints: 17282 132.44/132.98 c #Conflicts: 167000 | #Constraints: 18282 132.44/132.98 c #Conflicts: 168000 | #Constraints: 19282 132.44/132.98 c #Conflicts: 169000 | #Constraints: 20282 132.44/132.98 c #Conflicts: 170000 | #Constraints: 21282 132.44/132.98 c #Conflicts: 171000 | #Constraints: 22282 132.44/132.98 c INPROCESSING 132.44/132.98 c GARBAGE COLLECT 132.44/132.98 c rational objective 91 139.62/140.12 c #Conflicts: 172000 | #Constraints: 15088 139.62/140.12 c #Conflicts: 173000 | #Constraints: 16088 139.62/140.12 c #Conflicts: 174000 | #Constraints: 17088 139.62/140.12 c #Conflicts: 175000 | #Constraints: 18088 139.62/140.12 c #Conflicts: 176000 | #Constraints: 19088 139.62/140.12 c #Conflicts: 177000 | #Constraints: 20088 139.62/140.12 c #Conflicts: 178000 | #Constraints: 21088 139.62/140.12 c #Conflicts: 179000 | #Constraints: 22088 139.62/140.12 c #Conflicts: 180000 | #Constraints: 23088 139.62/140.12 c INPROCESSING 139.62/140.12 c GARBAGE COLLECT 139.62/140.12 c rational objective 91 147.39/147.91 c #Conflicts: 181000 | #Constraints: 15711 147.39/147.91 c #Conflicts: 182000 | #Constraints: 16711 147.39/147.91 c #Conflicts: 183000 | #Constraints: 17711 147.39/147.91 c #Conflicts: 184000 | #Constraints: 18711 147.39/147.91 c #Conflicts: 185000 | #Constraints: 19711 147.39/147.91 c #Conflicts: 186000 | #Constraints: 20711 147.39/147.91 c #Conflicts: 187000 | #Constraints: 21711 147.39/147.91 c #Conflicts: 188000 | #Constraints: 22711 147.39/147.91 c #Conflicts: 189000 | #Constraints: 23711 147.39/147.91 c INPROCESSING 147.39/147.91 c GARBAGE COLLECT 147.39/147.91 c rational objective 91 155.56/156.18 c #Conflicts: 190000 | #Constraints: 16105 155.56/156.18 c #Conflicts: 191000 | #Constraints: 17105 155.56/156.18 c #Conflicts: 192000 | #Constraints: 18105 155.56/156.18 c #Conflicts: 193000 | #Constraints: 19105 155.56/156.18 c #Conflicts: 194000 | #Constraints: 20105 155.56/156.18 c #Conflicts: 195000 | #Constraints: 21105 155.56/156.18 c #Conflicts: 196000 | #Constraints: 22105 155.56/156.18 c #Conflicts: 197000 | #Constraints: 23105 155.56/156.18 c #Conflicts: 198000 | #Constraints: 24105 155.56/156.18 c INPROCESSING 155.56/156.18 c GARBAGE COLLECT 155.56/156.18 c rational objective 91 163.82/164.47 c #Conflicts: 199000 | #Constraints: 16318 163.82/164.47 c #Conflicts: 200000 | #Constraints: 17318 163.82/164.47 c #Conflicts: 201000 | #Constraints: 18318 163.82/164.47 c #Conflicts: 202000 | #Constraints: 19318 163.82/164.47 c #Conflicts: 203000 | #Constraints: 20318 163.82/164.47 c #Conflicts: 204000 | #Constraints: 21318 163.82/164.47 c #Conflicts: 205000 | #Constraints: 22318 163.82/164.47 c #Conflicts: 206000 | #Constraints: 23318 163.82/164.47 c #Conflicts: 207000 | #Constraints: 24318 163.82/164.47 c INPROCESSING 163.82/164.47 c GARBAGE COLLECT 163.82/164.47 c rational objective 91 173.00/173.65 c #Conflicts: 208000 | #Constraints: 16293 173.00/173.65 c #Conflicts: 209000 | #Constraints: 17293 173.00/173.65 c #Conflicts: 210000 | #Constraints: 18293 173.00/173.65 c #Conflicts: 211000 | #Constraints: 19293 173.00/173.65 c #Conflicts: 212000 | #Constraints: 20293 173.00/173.65 c #Conflicts: 213000 | #Constraints: 21293 173.00/173.65 c #Conflicts: 214000 | #Constraints: 22293 173.00/173.65 c #Conflicts: 215000 | #Constraints: 23293 173.00/173.65 c #Conflicts: 216000 | #Constraints: 24293 173.00/173.65 c INPROCESSING 173.00/173.65 c GARBAGE COLLECT 173.00/173.65 c rational objective 91 181.87/182.59 c #Conflicts: 217000 | #Constraints: 16113 181.87/182.59 c #Conflicts: 218000 | #Constraints: 17113 181.87/182.59 c #Conflicts: 219000 | #Constraints: 18113 181.87/182.59 c #Conflicts: 220000 | #Constraints: 19113 181.87/182.59 c #Conflicts: 221000 | #Constraints: 20113 181.87/182.59 c #Conflicts: 222000 | #Constraints: 21113 181.87/182.59 c #Conflicts: 223000 | #Constraints: 22113 181.87/182.59 c #Conflicts: 224000 | #Constraints: 23113 181.87/182.59 c #Conflicts: 225000 | #Constraints: 24113 181.87/182.59 c #Conflicts: 226000 | #Constraints: 25113 181.87/182.59 c INPROCESSING 181.87/182.59 c GARBAGE COLLECT 181.87/182.59 c rational objective 91 193.23/193.99 c #Conflicts: 227000 | #Constraints: 16697 193.23/193.99 c #Conflicts: 228000 | #Constraints: 17697 193.23/193.99 c #Conflicts: 229000 | #Constraints: 18697 193.23/193.99 c bounds 153 >= 91 @ 182.072 193.23/193.99 c #Conflicts: 230000 | #Constraints: 19698 193.23/193.99 c #Conflicts: 231000 | #Constraints: 20698 193.23/193.99 c #Conflicts: 232000 | #Constraints: 21698 193.23/193.99 c #Conflicts: 233000 | #Constraints: 22698 193.23/193.99 c #Conflicts: 234000 | #Constraints: 23698 193.23/193.99 c #Conflicts: 235000 | #Constraints: 24698 193.23/193.99 c #Conflicts: 236000 | #Constraints: 25698 193.23/193.99 c INPROCESSING 193.23/193.99 c GARBAGE COLLECT 193.23/193.99 c rational objective 91 203.68/204.45 c #Conflicts: 237000 | #Constraints: 17113 203.68/204.45 c #Conflicts: 238000 | #Constraints: 18113 203.68/204.45 c #Conflicts: 239000 | #Constraints: 19113 203.68/204.45 c #Conflicts: 240000 | #Constraints: 20113 203.68/204.45 c #Conflicts: 241000 | #Constraints: 21113 203.68/204.45 c #Conflicts: 242000 | #Constraints: 22113 203.68/204.45 c #Conflicts: 243000 | #Constraints: 23113 203.68/204.45 c #Conflicts: 244000 | #Constraints: 24113 203.68/204.45 c #Conflicts: 245000 | #Constraints: 25113 203.68/204.45 c #Conflicts: 246000 | #Constraints: 26113 203.68/204.45 c INPROCESSING 203.68/204.45 c GARBAGE COLLECT 203.68/204.45 c rational objective 91 214.06/214.85 c #Conflicts: 247000 | #Constraints: 17297 214.06/214.85 c #Conflicts: 248000 | #Constraints: 18297 214.06/214.85 c #Conflicts: 249000 | #Constraints: 19297 214.06/214.85 c #Conflicts: 250000 | #Constraints: 20297 214.06/214.85 c #Conflicts: 251000 | #Constraints: 21297 214.06/214.85 c bounds 151 >= 91 @ 206.056 214.06/214.85 c #Conflicts: 252000 | #Constraints: 22298 214.06/214.85 c #Conflicts: 253000 | #Constraints: 23298 214.06/214.85 c #Conflicts: 254000 | #Constraints: 24298 214.06/214.85 c #Conflicts: 255000 | #Constraints: 25298 214.06/214.85 c #Conflicts: 256000 | #Constraints: 26298 214.06/214.85 c INPROCESSING 214.06/214.85 c GARBAGE COLLECT 214.06/214.85 c rational objective 91 223.82/224.61 c #Conflicts: 257000 | #Constraints: 17287 223.82/224.61 c #Conflicts: 258000 | #Constraints: 18287 223.82/224.61 c #Conflicts: 259000 | #Constraints: 19287 223.82/224.61 c #Conflicts: 260000 | #Constraints: 20287 223.82/224.61 c #Conflicts: 261000 | #Constraints: 21287 223.82/224.61 c #Conflicts: 262000 | #Constraints: 22287 223.82/224.61 c bounds 149 >= 91 @ 216.239 223.82/224.61 c #Conflicts: 263000 | #Constraints: 23288 223.82/224.61 c #Conflicts: 264000 | #Constraints: 24288 223.82/224.61 c #Conflicts: 265000 | #Constraints: 25288 223.82/224.61 c #Conflicts: 266000 | #Constraints: 26288 223.82/224.61 c INPROCESSING 223.82/224.61 c GARBAGE COLLECT 223.82/224.61 c rational objective 91 234.19/235.02 c #Conflicts: 267000 | #Constraints: 17088 234.19/235.02 c #Conflicts: 268000 | #Constraints: 18088 234.19/235.02 c #Conflicts: 269000 | #Constraints: 19088 234.19/235.02 c #Conflicts: 270000 | #Constraints: 20088 234.19/235.02 c #Conflicts: 271000 | #Constraints: 21088 234.19/235.02 c #Conflicts: 272000 | #Constraints: 22088 234.19/235.02 c #Conflicts: 273000 | #Constraints: 23088 234.19/235.02 c #Conflicts: 274000 | #Constraints: 24088 234.19/235.02 c #Conflicts: 275000 | #Constraints: 25088 234.19/235.02 c #Conflicts: 276000 | #Constraints: 26088 234.19/235.02 c #Conflicts: 277000 | #Constraints: 27088 234.19/235.02 c INPROCESSING 234.19/235.02 c GARBAGE COLLECT 234.19/235.02 c rational objective 91 246.34/247.25 c #Conflicts: 278000 | #Constraints: 17700 246.34/247.25 c #Conflicts: 279000 | #Constraints: 18700 246.34/247.25 c #Conflicts: 280000 | #Constraints: 19700 246.34/247.25 c #Conflicts: 281000 | #Constraints: 20700 246.34/247.25 c #Conflicts: 282000 | #Constraints: 21700 246.34/247.25 c #Conflicts: 283000 | #Constraints: 22700 246.34/247.25 c #Conflicts: 284000 | #Constraints: 23700 246.34/247.25 c #Conflicts: 285000 | #Constraints: 24700 246.34/247.25 c #Conflicts: 286000 | #Constraints: 25700 246.34/247.25 c #Conflicts: 287000 | #Constraints: 26700 246.34/247.25 c #Conflicts: 288000 | #Constraints: 27700 246.34/247.25 c INPROCESSING 246.34/247.25 c GARBAGE COLLECT 246.34/247.25 c rational objective 91 258.50/259.47 c #Conflicts: 289000 | #Constraints: 18089 258.50/259.47 c #Conflicts: 290000 | #Constraints: 19089 258.50/259.47 c #Conflicts: 291000 | #Constraints: 20089 258.50/259.47 c #Conflicts: 292000 | #Constraints: 21089 258.50/259.47 c #Conflicts: 293000 | #Constraints: 22089 258.50/259.47 c #Conflicts: 294000 | #Constraints: 23089 258.50/259.47 c #Conflicts: 295000 | #Constraints: 24089 258.50/259.47 c #Conflicts: 296000 | #Constraints: 25089 258.50/259.47 c #Conflicts: 297000 | #Constraints: 26089 258.50/259.47 c #Conflicts: 298000 | #Constraints: 27089 258.50/259.47 c #Conflicts: 299000 | #Constraints: 28089 258.50/259.47 c INPROCESSING 258.50/259.47 c GARBAGE COLLECT 258.50/259.47 c rational objective 91 271.55/272.56 c #Conflicts: 300000 | #Constraints: 18317 271.55/272.56 c #Conflicts: 301000 | #Constraints: 19317 271.55/272.56 c #Conflicts: 302000 | #Constraints: 20317 271.55/272.56 c #Conflicts: 303000 | #Constraints: 21317 271.55/272.56 c #Conflicts: 304000 | #Constraints: 22317 271.55/272.56 c #Conflicts: 305000 | #Constraints: 23317 271.55/272.56 c #Conflicts: 306000 | #Constraints: 24317 271.55/272.56 c #Conflicts: 307000 | #Constraints: 25317 271.55/272.56 c #Conflicts: 308000 | #Constraints: 26317 271.55/272.56 c #Conflicts: 309000 | #Constraints: 27317 271.55/272.56 c #Conflicts: 310000 | #Constraints: 28317 271.55/272.56 c INPROCESSING 271.55/272.56 c GARBAGE COLLECT 271.55/272.56 c rational objective 91 283.60/284.69 c #Conflicts: 311000 | #Constraints: 18309 283.60/284.69 c #Conflicts: 312000 | #Constraints: 19309 283.60/284.69 c #Conflicts: 313000 | #Constraints: 20309 283.60/284.69 c #Conflicts: 314000 | #Constraints: 21309 283.60/284.69 c #Conflicts: 315000 | #Constraints: 22309 283.60/284.69 c #Conflicts: 316000 | #Constraints: 23309 283.60/284.69 c #Conflicts: 317000 | #Constraints: 24309 283.60/284.69 c #Conflicts: 318000 | #Constraints: 25309 283.60/284.69 c #Conflicts: 319000 | #Constraints: 26309 283.60/284.69 c #Conflicts: 320000 | #Constraints: 27309 283.60/284.69 c #Conflicts: 321000 | #Constraints: 28309 283.60/284.69 c INPROCESSING 283.60/284.69 c GARBAGE COLLECT 283.60/284.69 c rational objective 91 295.67/296.71 c #Conflicts: 322000 | #Constraints: 18148 295.67/296.71 c #Conflicts: 323000 | #Constraints: 19148 295.67/296.71 c #Conflicts: 324000 | #Constraints: 20148 295.67/296.71 c #Conflicts: 325000 | #Constraints: 21148 295.67/296.71 c #Conflicts: 326000 | #Constraints: 22148 295.67/296.71 c #Conflicts: 327000 | #Constraints: 23148 295.67/296.71 c #Conflicts: 328000 | #Constraints: 24148 295.67/296.71 c #Conflicts: 329000 | #Constraints: 25148 295.67/296.71 c #Conflicts: 330000 | #Constraints: 26148 295.67/296.71 c #Conflicts: 331000 | #Constraints: 27148 295.67/296.71 c #Conflicts: 332000 | #Constraints: 28148 295.67/296.71 c #Conflicts: 333000 | #Constraints: 29148 295.67/296.71 c INPROCESSING 295.67/296.71 c GARBAGE COLLECT 295.67/296.71 c rational objective 91 308.12/309.23 c #Conflicts: 334000 | #Constraints: 18720 308.12/309.23 c #Conflicts: 335000 | #Constraints: 19720 308.12/309.23 c #Conflicts: 336000 | #Constraints: 20720 308.12/309.23 c #Conflicts: 337000 | #Constraints: 21720 308.12/309.23 c #Conflicts: 338000 | #Constraints: 22720 308.12/309.23 c #Conflicts: 339000 | #Constraints: 23720 308.12/309.23 c #Conflicts: 340000 | #Constraints: 24720 308.12/309.23 c #Conflicts: 341000 | #Constraints: 25720 308.12/309.23 c #Conflicts: 342000 | #Constraints: 26720 308.12/309.23 c #Conflicts: 343000 | #Constraints: 27720 308.12/309.23 c #Conflicts: 344000 | #Constraints: 28720 308.12/309.23 c #Conflicts: 345000 | #Constraints: 29720 308.12/309.23 c INPROCESSING 308.12/309.23 c GARBAGE COLLECT 308.12/309.23 c rational objective 91 321.58/322.73 c #Conflicts: 346000 | #Constraints: 19132 321.58/322.73 c #Conflicts: 347000 | #Constraints: 20132 321.58/322.73 c #Conflicts: 348000 | #Constraints: 21132 321.58/322.73 c #Conflicts: 349000 | #Constraints: 22132 321.58/322.73 c #Conflicts: 350000 | #Constraints: 23132 321.58/322.73 c #Conflicts: 351000 | #Constraints: 24132 321.58/322.73 c #Conflicts: 352000 | #Constraints: 25132 321.58/322.73 c #Conflicts: 353000 | #Constraints: 26132 321.58/322.73 c #Conflicts: 354000 | #Constraints: 27132 321.58/322.73 c #Conflicts: 355000 | #Constraints: 28132 321.58/322.73 c #Conflicts: 356000 | #Constraints: 29132 321.58/322.73 c #Conflicts: 357000 | #Constraints: 30132 321.58/322.73 c INPROCESSING 321.58/322.73 c GARBAGE COLLECT 321.58/322.73 c rational objective 91 334.53/335.73 c #Conflicts: 358000 | #Constraints: 19316 334.53/335.73 c #Conflicts: 359000 | #Constraints: 20316 334.53/335.73 c #Conflicts: 360000 | #Constraints: 21316 334.53/335.73 c #Conflicts: 361000 | #Constraints: 22316 334.53/335.73 c #Conflicts: 362000 | #Constraints: 23316 334.53/335.73 c #Conflicts: 363000 | #Constraints: 24316 334.53/335.73 c #Conflicts: 364000 | #Constraints: 25316 334.53/335.73 c #Conflicts: 365000 | #Constraints: 26316 334.53/335.73 c #Conflicts: 366000 | #Constraints: 27316 334.53/335.73 c #Conflicts: 367000 | #Constraints: 28316 334.53/335.73 c #Conflicts: 368000 | #Constraints: 29316 334.53/335.73 c #Conflicts: 369000 | #Constraints: 30316 334.53/335.73 c INPROCESSING 334.53/335.73 c GARBAGE COLLECT 334.53/335.73 c rational objective 91 348.28/349.57 c #Conflicts: 370000 | #Constraints: 19322 348.28/349.57 c #Conflicts: 371000 | #Constraints: 20322 348.28/349.57 c #Conflicts: 372000 | #Constraints: 21322 348.28/349.57 c #Conflicts: 373000 | #Constraints: 22322 348.28/349.57 c #Conflicts: 374000 | #Constraints: 23322 348.28/349.57 c #Conflicts: 375000 | #Constraints: 24322 348.28/349.57 c #Conflicts: 376000 | #Constraints: 25322 348.28/349.57 c #Conflicts: 377000 | #Constraints: 26322 348.28/349.57 c #Conflicts: 378000 | #Constraints: 27322 348.28/349.57 c #Conflicts: 379000 | #Constraints: 28322 348.28/349.57 c #Conflicts: 380000 | #Constraints: 29322 348.28/349.57 c #Conflicts: 381000 | #Constraints: 30322 348.28/349.57 c INPROCESSING 348.28/349.57 c GARBAGE COLLECT 348.28/349.57 c rational objective 91 361.94/363.27 c #Conflicts: 382000 | #Constraints: 19112 361.94/363.27 c #Conflicts: 383000 | #Constraints: 20112 361.94/363.27 c #Conflicts: 384000 | #Constraints: 21112 361.94/363.27 c #Conflicts: 385000 | #Constraints: 22112 361.94/363.27 c #Conflicts: 386000 | #Constraints: 23112 361.94/363.27 c #Conflicts: 387000 | #Constraints: 24112 361.94/363.27 c #Conflicts: 388000 | #Constraints: 25112 361.94/363.27 c #Conflicts: 389000 | #Constraints: 26112 361.94/363.27 c #Conflicts: 390000 | #Constraints: 27112 361.94/363.27 c #Conflicts: 391000 | #Constraints: 28112 361.94/363.27 c #Conflicts: 392000 | #Constraints: 29112 361.94/363.27 c #Conflicts: 393000 | #Constraints: 30112 361.94/363.27 c #Conflicts: 394000 | #Constraints: 31112 361.94/363.27 c bounds 147 >= 91 @ 356.633 361.94/363.27 c INPROCESSING 361.94/363.27 c GARBAGE COLLECT 361.94/363.27 c rational objective 91 377.58/378.96 c #Conflicts: 395000 | #Constraints: 19705 377.58/378.96 c #Conflicts: 396000 | #Constraints: 20705 377.58/378.96 c #Conflicts: 397000 | #Constraints: 21705 377.58/378.96 c #Conflicts: 398000 | #Constraints: 22705 377.58/378.96 c #Conflicts: 399000 | #Constraints: 23705 377.58/378.96 c #Conflicts: 400000 | #Constraints: 24705 377.58/378.96 c #Conflicts: 401000 | #Constraints: 25705 377.58/378.96 c #Conflicts: 402000 | #Constraints: 26705 377.58/378.96 c #Conflicts: 403000 | #Constraints: 27705 377.58/378.96 c #Conflicts: 404000 | #Constraints: 28705 377.58/378.96 c #Conflicts: 405000 | #Constraints: 29705 377.58/378.96 c #Conflicts: 406000 | #Constraints: 30705 377.58/378.96 c #Conflicts: 407000 | #Constraints: 31705 377.58/378.96 c INPROCESSING 377.58/378.96 c GARBAGE COLLECT 377.58/378.96 c rational objective 91 393.13/394.52 c #Conflicts: 408000 | #Constraints: 20121 393.13/394.52 c #Conflicts: 409000 | #Constraints: 21121 393.13/394.52 c #Conflicts: 410000 | #Constraints: 22121 393.13/394.52 c #Conflicts: 411000 | #Constraints: 23121 393.13/394.52 c #Conflicts: 412000 | #Constraints: 24121 393.13/394.52 c #Conflicts: 413000 | #Constraints: 25121 393.13/394.52 c #Conflicts: 414000 | #Constraints: 26121 393.13/394.52 c #Conflicts: 415000 | #Constraints: 27121 393.13/394.52 c #Conflicts: 416000 | #Constraints: 28121 393.13/394.52 c #Conflicts: 417000 | #Constraints: 29121 393.13/394.52 c #Conflicts: 418000 | #Constraints: 30121 393.13/394.52 c #Conflicts: 419000 | #Constraints: 31121 393.13/394.52 c #Conflicts: 420000 | #Constraints: 32121 393.13/394.52 c INPROCESSING 393.13/394.52 c GARBAGE COLLECT 393.13/394.52 c rational objective 91 409.27/410.70 c #Conflicts: 421000 | #Constraints: 20332 409.27/410.70 c #Conflicts: 422000 | #Constraints: 21332 409.27/410.70 c #Conflicts: 423000 | #Constraints: 22332 409.27/410.70 c #Conflicts: 424000 | #Constraints: 23332 409.27/410.70 c #Conflicts: 425000 | #Constraints: 24332 409.27/410.70 c #Conflicts: 426000 | #Constraints: 25332 409.27/410.70 c #Conflicts: 427000 | #Constraints: 26332 409.27/410.70 c #Conflicts: 428000 | #Constraints: 27332 409.27/410.70 c #Conflicts: 429000 | #Constraints: 28332 409.27/410.70 c #Conflicts: 430000 | #Constraints: 29332 409.27/410.70 c #Conflicts: 431000 | #Constraints: 30332 409.27/410.70 c #Conflicts: 432000 | #Constraints: 31332 409.27/410.70 c #Conflicts: 433000 | #Constraints: 32332 409.27/410.70 c INPROCESSING 409.27/410.70 c GARBAGE COLLECT 409.27/410.70 c rational objective 91 427.41/428.98 c #Conflicts: 434000 | #Constraints: 20325 427.41/428.98 c #Conflicts: 435000 | #Constraints: 21325 427.41/428.98 c #Conflicts: 436000 | #Constraints: 22325 427.41/428.98 c #Conflicts: 437000 | #Constraints: 23325 427.41/428.98 c #Conflicts: 438000 | #Constraints: 24325 427.41/428.98 c #Conflicts: 439000 | #Constraints: 25325 427.41/428.98 c #Conflicts: 440000 | #Constraints: 26325 427.41/428.98 c #Conflicts: 441000 | #Constraints: 27325 427.41/428.98 c #Conflicts: 442000 | #Constraints: 28325 427.41/428.98 c #Conflicts: 443000 | #Constraints: 29325 427.41/428.98 c #Conflicts: 444000 | #Constraints: 30325 427.41/428.98 c #Conflicts: 445000 | #Constraints: 31325 427.41/428.98 c #Conflicts: 446000 | #Constraints: 32325 427.41/428.98 c INPROCESSING 427.41/428.98 c GARBAGE COLLECT 427.41/428.98 c rational objective 91 443.75/445.36 c #Conflicts: 447000 | #Constraints: 20131 443.75/445.36 c #Conflicts: 448000 | #Constraints: 21131 443.75/445.36 c #Conflicts: 449000 | #Constraints: 22131 443.75/445.36 c #Conflicts: 450000 | #Constraints: 23131 443.75/445.36 c #Conflicts: 451000 | #Constraints: 24131 443.75/445.36 c #Conflicts: 452000 | #Constraints: 25131 443.75/445.36 c #Conflicts: 453000 | #Constraints: 26131 443.75/445.36 c #Conflicts: 454000 | #Constraints: 27131 443.75/445.36 c #Conflicts: 455000 | #Constraints: 28131 443.75/445.36 c #Conflicts: 456000 | #Constraints: 29131 443.75/445.36 c #Conflicts: 457000 | #Constraints: 30131 443.75/445.36 c #Conflicts: 458000 | #Constraints: 31131 443.75/445.36 c #Conflicts: 459000 | #Constraints: 32131 443.75/445.36 c #Conflicts: 460000 | #Constraints: 33131 443.75/445.36 c INPROCESSING 443.75/445.36 c GARBAGE COLLECT 443.75/445.36 c rational objective 91 462.29/463.96 c #Conflicts: 461000 | #Constraints: 20716 462.29/463.96 c #Conflicts: 462000 | #Constraints: 21716 462.29/463.96 c #Conflicts: 463000 | #Constraints: 22716 462.29/463.96 c #Conflicts: 464000 | #Constraints: 23716 462.29/463.96 c #Conflicts: 465000 | #Constraints: 24716 462.29/463.96 c #Conflicts: 466000 | #Constraints: 25716 462.29/463.96 c #Conflicts: 467000 | #Constraints: 26716 462.29/463.96 c #Conflicts: 468000 | #Constraints: 27716 462.29/463.96 c #Conflicts: 469000 | #Constraints: 28716 462.29/463.96 c #Conflicts: 470000 | #Constraints: 29716 462.29/463.96 c #Conflicts: 471000 | #Constraints: 30716 462.29/463.96 c #Conflicts: 472000 | #Constraints: 31716 462.29/463.96 c #Conflicts: 473000 | #Constraints: 32716 462.29/463.96 c #Conflicts: 474000 | #Constraints: 33716 462.29/463.96 c INPROCESSING 462.29/463.96 c GARBAGE COLLECT 462.29/463.96 c rational objective 91 481.72/483.40 c #Conflicts: 475000 | #Constraints: 21144 481.72/483.40 c #Conflicts: 476000 | #Constraints: 22144 481.72/483.40 c #Conflicts: 477000 | #Constraints: 23144 481.72/483.40 c #Conflicts: 478000 | #Constraints: 24144 481.72/483.40 c #Conflicts: 479000 | #Constraints: 25144 481.72/483.40 c #Conflicts: 480000 | #Constraints: 26144 481.72/483.40 c #Conflicts: 481000 | #Constraints: 27144 481.72/483.40 c #Conflicts: 482000 | #Constraints: 28144 481.72/483.40 c #Conflicts: 483000 | #Constraints: 29144 481.72/483.40 c #Conflicts: 484000 | #Constraints: 30144 481.72/483.40 c #Conflicts: 485000 | #Constraints: 31144 481.72/483.40 c #Conflicts: 486000 | #Constraints: 32144 481.72/483.40 c #Conflicts: 487000 | #Constraints: 33144 481.72/483.40 c #Conflicts: 488000 | #Constraints: 34144 481.72/483.40 c INPROCESSING 481.72/483.40 c GARBAGE COLLECT 481.72/483.40 c rational objective 91 500.84/502.63 c #Conflicts: 489000 | #Constraints: 21330 500.84/502.63 c #Conflicts: 490000 | #Constraints: 22330 500.84/502.63 c #Conflicts: 491000 | #Constraints: 23330 500.84/502.63 c #Conflicts: 492000 | #Constraints: 24330 500.84/502.63 c #Conflicts: 493000 | #Constraints: 25330 500.84/502.63 c #Conflicts: 494000 | #Constraints: 26330 500.84/502.63 c #Conflicts: 495000 | #Constraints: 27330 500.84/502.63 c #Conflicts: 496000 | #Constraints: 28330 500.84/502.63 c #Conflicts: 497000 | #Constraints: 29330 500.84/502.63 c #Conflicts: 498000 | #Constraints: 30330 500.84/502.63 c #Conflicts: 499000 | #Constraints: 31330 500.84/502.63 c #Conflicts: 500000 | #Constraints: 32330 500.84/502.63 c #Conflicts: 501000 | #Constraints: 33330 500.84/502.63 c #Conflicts: 502000 | #Constraints: 34330 500.84/502.63 c INPROCESSING 500.84/502.63 c GARBAGE COLLECT 500.84/502.63 c rational objective 91 519.36/521.27 c #Conflicts: 503000 | #Constraints: 21366 519.36/521.27 c #Conflicts: 504000 | #Constraints: 22366 519.36/521.27 c #Conflicts: 505000 | #Constraints: 23366 519.36/521.27 c #Conflicts: 506000 | #Constraints: 24366 519.36/521.27 c #Conflicts: 507000 | #Constraints: 25366 519.36/521.27 c #Conflicts: 508000 | #Constraints: 26366 519.36/521.27 c #Conflicts: 509000 | #Constraints: 27366 519.36/521.27 c #Conflicts: 510000 | #Constraints: 28366 519.36/521.27 c #Conflicts: 511000 | #Constraints: 29366 519.36/521.27 c #Conflicts: 512000 | #Constraints: 30366 519.36/521.27 c #Conflicts: 513000 | #Constraints: 31366 519.36/521.27 c #Conflicts: 514000 | #Constraints: 32366 519.36/521.27 c #Conflicts: 515000 | #Constraints: 33366 519.36/521.27 c #Conflicts: 516000 | #Constraints: 34366 519.36/521.27 c INPROCESSING 519.36/521.27 c GARBAGE COLLECT 519.36/521.27 c rational objective 91 540.79/542.78 c #Conflicts: 517000 | #Constraints: 21155 540.79/542.78 c #Conflicts: 518000 | #Constraints: 22155 540.79/542.78 c #Conflicts: 519000 | #Constraints: 23155 540.79/542.78 c #Conflicts: 520000 | #Constraints: 24155 540.79/542.78 c #Conflicts: 521000 | #Constraints: 25155 540.79/542.78 c #Conflicts: 522000 | #Constraints: 26155 540.79/542.78 c #Conflicts: 523000 | #Constraints: 27155 540.79/542.78 c #Conflicts: 524000 | #Constraints: 28155 540.79/542.78 c #Conflicts: 525000 | #Constraints: 29155 540.79/542.78 c #Conflicts: 526000 | #Constraints: 30155 540.79/542.78 c #Conflicts: 527000 | #Constraints: 31155 540.79/542.78 c #Conflicts: 528000 | #Constraints: 32155 540.79/542.78 c #Conflicts: 529000 | #Constraints: 33155 540.79/542.78 c #Conflicts: 530000 | #Constraints: 34155 540.79/542.78 c #Conflicts: 531000 | #Constraints: 35155 540.79/542.78 c INPROCESSING 540.79/542.78 c GARBAGE COLLECT 540.79/542.78 c rational objective 91 561.78/563.87 c #Conflicts: 532000 | #Constraints: 21787 561.78/563.87 c #Conflicts: 533000 | #Constraints: 22787 561.78/563.87 c #Conflicts: 534000 | #Constraints: 23787 561.78/563.87 c #Conflicts: 535000 | #Constraints: 24787 561.78/563.87 c #Conflicts: 536000 | #Constraints: 25787 561.78/563.87 c #Conflicts: 537000 | #Constraints: 26787 561.78/563.87 c #Conflicts: 538000 | #Constraints: 27787 561.78/563.87 c #Conflicts: 539000 | #Constraints: 28787 561.78/563.87 c #Conflicts: 540000 | #Constraints: 29787 561.78/563.87 c #Conflicts: 541000 | #Constraints: 30787 561.78/563.87 c #Conflicts: 542000 | #Constraints: 31787 561.78/563.87 c #Conflicts: 543000 | #Constraints: 32787 561.78/563.87 c #Conflicts: 544000 | #Constraints: 33787 561.78/563.87 c #Conflicts: 545000 | #Constraints: 34787 561.78/563.87 c #Conflicts: 546000 | #Constraints: 35787 561.78/563.87 c INPROCESSING 561.78/563.87 c GARBAGE COLLECT 561.78/563.87 c rational objective 91 591.08/593.24 c #Conflicts: 547000 | #Constraints: 22151 591.08/593.24 c #Conflicts: 548000 | #Constraints: 23151 591.08/593.24 c #Conflicts: 549000 | #Constraints: 24151 591.08/593.24 c #Conflicts: 550000 | #Constraints: 25151 591.08/593.24 c #Conflicts: 551000 | #Constraints: 26151 591.08/593.24 c #Conflicts: 552000 | #Constraints: 27151 591.08/593.24 c #Conflicts: 553000 | #Constraints: 28151 591.08/593.24 c #Conflicts: 554000 | #Constraints: 29151 591.08/593.24 c #Conflicts: 555000 | #Constraints: 30151 591.08/593.24 c #Conflicts: 556000 | #Constraints: 31151 591.08/593.24 c #Conflicts: 557000 | #Constraints: 32151 591.08/593.24 c #Conflicts: 558000 | #Constraints: 33151 591.08/593.24 c #Conflicts: 559000 | #Constraints: 34151 591.08/593.24 c #Conflicts: 560000 | #Constraints: 35151 591.08/593.24 c #Conflicts: 561000 | #Constraints: 36151 591.08/593.24 c INPROCESSING 591.08/593.24 c GARBAGE COLLECT 591.08/593.24 c rational objective 91 614.41/616.67 c #Conflicts: 562000 | #Constraints: 22360 614.41/616.67 c #Conflicts: 563000 | #Constraints: 23360 614.41/616.67 c #Conflicts: 564000 | #Constraints: 24360 614.41/616.67 c #Conflicts: 565000 | #Constraints: 25360 614.41/616.67 c #Conflicts: 566000 | #Constraints: 26360 614.41/616.67 c #Conflicts: 567000 | #Constraints: 27360 614.41/616.67 c #Conflicts: 568000 | #Constraints: 28360 614.41/616.67 c #Conflicts: 569000 | #Constraints: 29360 614.41/616.67 c #Conflicts: 570000 | #Constraints: 30360 614.41/616.67 c #Conflicts: 571000 | #Constraints: 31360 614.41/616.67 c #Conflicts: 572000 | #Constraints: 32360 614.41/616.67 c #Conflicts: 573000 | #Constraints: 33360 614.41/616.67 c #Conflicts: 574000 | #Constraints: 34360 614.41/616.67 c #Conflicts: 575000 | #Constraints: 35360 614.41/616.67 c #Conflicts: 576000 | #Constraints: 36360 614.41/616.67 c INPROCESSING 614.41/616.67 c GARBAGE COLLECT 614.41/616.67 c rational objective 91 639.12/641.44 c #Conflicts: 577000 | #Constraints: 22334 639.12/641.44 c #Conflicts: 578000 | #Constraints: 23334 639.12/641.44 c #Conflicts: 579000 | #Constraints: 24334 639.12/641.44 c #Conflicts: 580000 | #Constraints: 25334 639.12/641.44 c #Conflicts: 581000 | #Constraints: 26334 639.12/641.44 c #Conflicts: 582000 | #Constraints: 27334 639.12/641.44 c #Conflicts: 583000 | #Constraints: 28334 639.12/641.44 c #Conflicts: 584000 | #Constraints: 29334 639.12/641.44 c #Conflicts: 585000 | #Constraints: 30334 639.12/641.44 c #Conflicts: 586000 | #Constraints: 31334 639.12/641.44 c #Conflicts: 587000 | #Constraints: 32334 639.12/641.44 c #Conflicts: 588000 | #Constraints: 33334 639.12/641.44 c #Conflicts: 589000 | #Constraints: 34334 639.12/641.44 c #Conflicts: 590000 | #Constraints: 35334 639.12/641.44 c #Conflicts: 591000 | #Constraints: 36334 639.12/641.44 c INPROCESSING 639.12/641.44 c GARBAGE COLLECT 639.12/641.44 c rational objective 91 661.34/663.76 c #Conflicts: 592000 | #Constraints: 22172 661.34/663.76 c #Conflicts: 593000 | #Constraints: 23172 661.34/663.76 c #Conflicts: 594000 | #Constraints: 24172 661.34/663.76 c #Conflicts: 595000 | #Constraints: 25172 661.34/663.76 c #Conflicts: 596000 | #Constraints: 26172 661.34/663.76 c #Conflicts: 597000 | #Constraints: 27172 661.34/663.76 c #Conflicts: 598000 | #Constraints: 28172 661.34/663.76 c #Conflicts: 599000 | #Constraints: 29172 661.34/663.76 c #Conflicts: 600000 | #Constraints: 30172 661.34/663.76 c #Conflicts: 601000 | #Constraints: 31172 661.34/663.76 c #Conflicts: 602000 | #Constraints: 32172 661.34/663.76 c #Conflicts: 603000 | #Constraints: 33172 661.34/663.76 c #Conflicts: 604000 | #Constraints: 34172 661.34/663.76 c #Conflicts: 605000 | #Constraints: 35172 661.34/663.76 c #Conflicts: 606000 | #Constraints: 36172 661.34/663.76 c #Conflicts: 607000 | #Constraints: 37172 661.34/663.76 c INPROCESSING 661.34/663.76 c GARBAGE COLLECT 661.34/663.76 c rational objective 91 684.86/687.31 c #Conflicts: 608000 | #Constraints: 22738 684.86/687.31 c #Conflicts: 609000 | #Constraints: 23738 684.86/687.31 c #Conflicts: 610000 | #Constraints: 24738 684.86/687.31 c #Conflicts: 611000 | #Constraints: 25738 684.86/687.31 c #Conflicts: 612000 | #Constraints: 26738 684.86/687.31 c #Conflicts: 613000 | #Constraints: 27738 684.86/687.31 c #Conflicts: 614000 | #Constraints: 28738 684.86/687.31 c #Conflicts: 615000 | #Constraints: 29738 684.86/687.31 c #Conflicts: 616000 | #Constraints: 30738 684.86/687.31 c #Conflicts: 617000 | #Constraints: 31738 684.86/687.31 c #Conflicts: 618000 | #Constraints: 32738 684.86/687.31 c #Conflicts: 619000 | #Constraints: 33738 684.86/687.31 c #Conflicts: 620000 | #Constraints: 34738 684.86/687.31 c #Conflicts: 621000 | #Constraints: 35738 684.86/687.31 c #Conflicts: 622000 | #Constraints: 36738 684.86/687.31 c #Conflicts: 623000 | #Constraints: 37738 684.86/687.31 c INPROCESSING 684.86/687.31 c GARBAGE COLLECT 684.86/687.31 c rational objective 91 713.16/715.71 c #Conflicts: 624000 | #Constraints: 23129 713.16/715.71 c #Conflicts: 625000 | #Constraints: 24129 713.16/715.71 c #Conflicts: 626000 | #Constraints: 25129 713.16/715.71 c #Conflicts: 627000 | #Constraints: 26129 713.16/715.71 c #Conflicts: 628000 | #Constraints: 27129 713.16/715.71 c #Conflicts: 629000 | #Constraints: 28129 713.16/715.71 c #Conflicts: 630000 | #Constraints: 29129 713.16/715.71 c #Conflicts: 631000 | #Constraints: 30129 713.16/715.71 c #Conflicts: 632000 | #Constraints: 31129 713.16/715.71 c #Conflicts: 633000 | #Constraints: 32129 713.16/715.71 c #Conflicts: 634000 | #Constraints: 33129 713.16/715.71 c #Conflicts: 635000 | #Constraints: 34129 713.16/715.71 c #Conflicts: 636000 | #Constraints: 35129 713.16/715.71 c #Conflicts: 637000 | #Constraints: 36129 713.16/715.71 c #Conflicts: 638000 | #Constraints: 37129 713.16/715.71 c #Conflicts: 639000 | #Constraints: 38129 713.16/715.71 c INPROCESSING 713.16/715.71 c GARBAGE COLLECT 713.16/715.71 c rational objective 91 738.57/741.28 c #Conflicts: 640000 | #Constraints: 23375 738.57/741.28 c #Conflicts: 641000 | #Constraints: 24375 738.57/741.28 c #Conflicts: 642000 | #Constraints: 25375 738.57/741.28 c #Conflicts: 643000 | #Constraints: 26375 738.57/741.28 c #Conflicts: 644000 | #Constraints: 27375 738.57/741.28 c #Conflicts: 645000 | #Constraints: 28375 738.57/741.28 c #Conflicts: 646000 | #Constraints: 29375 738.57/741.28 c #Conflicts: 647000 | #Constraints: 30375 738.57/741.28 c #Conflicts: 648000 | #Constraints: 31375 738.57/741.28 c #Conflicts: 649000 | #Constraints: 32375 738.57/741.28 c #Conflicts: 650000 | #Constraints: 33375 738.57/741.28 c #Conflicts: 651000 | #Constraints: 34375 738.57/741.28 c #Conflicts: 652000 | #Constraints: 35375 738.57/741.28 c #Conflicts: 653000 | #Constraints: 36375 738.57/741.28 c #Conflicts: 654000 | #Constraints: 37375 738.57/741.28 c #Conflicts: 655000 | #Constraints: 38375 738.57/741.28 c INPROCESSING 738.57/741.28 c GARBAGE COLLECT 738.57/741.28 c rational objective 91 771.45/774.25 c #Conflicts: 656000 | #Constraints: 23345 771.45/774.25 c #Conflicts: 657000 | #Constraints: 24345 771.45/774.25 c #Conflicts: 658000 | #Constraints: 25345 771.45/774.25 c #Conflicts: 659000 | #Constraints: 26345 771.45/774.25 c #Conflicts: 660000 | #Constraints: 27345 771.45/774.25 c #Conflicts: 661000 | #Constraints: 28345 771.45/774.25 c #Conflicts: 662000 | #Constraints: 29345 771.45/774.25 c #Conflicts: 663000 | #Constraints: 30345 771.45/774.25 c #Conflicts: 664000 | #Constraints: 31345 771.45/774.25 c #Conflicts: 665000 | #Constraints: 32345 771.45/774.25 c #Conflicts: 666000 | #Constraints: 33345 771.45/774.25 c #Conflicts: 667000 | #Constraints: 34345 771.45/774.25 c #Conflicts: 668000 | #Constraints: 35345 771.45/774.25 c #Conflicts: 669000 | #Constraints: 36345 771.45/774.25 c #Conflicts: 670000 | #Constraints: 37345 771.45/774.25 c #Conflicts: 671000 | #Constraints: 38345 771.45/774.25 c INPROCESSING 771.45/774.25 c GARBAGE COLLECT 771.45/774.25 c rational objective 91 798.94/801.86 c #Conflicts: 672000 | #Constraints: 23162 798.94/801.86 c #Conflicts: 673000 | #Constraints: 24162 798.94/801.86 c #Conflicts: 674000 | #Constraints: 25162 798.94/801.86 c #Conflicts: 675000 | #Constraints: 26162 798.94/801.86 c #Conflicts: 676000 | #Constraints: 27162 798.94/801.86 c #Conflicts: 677000 | #Constraints: 28162 798.94/801.86 c #Conflicts: 678000 | #Constraints: 29162 798.94/801.86 c #Conflicts: 679000 | #Constraints: 30162 798.94/801.86 c #Conflicts: 680000 | #Constraints: 31162 798.94/801.86 c #Conflicts: 681000 | #Constraints: 32162 798.94/801.86 c #Conflicts: 682000 | #Constraints: 33162 798.94/801.86 c #Conflicts: 683000 | #Constraints: 34162 798.94/801.86 c #Conflicts: 684000 | #Constraints: 35162 798.94/801.86 c #Conflicts: 685000 | #Constraints: 36162 798.94/801.86 c #Conflicts: 686000 | #Constraints: 37162 798.94/801.86 c #Conflicts: 687000 | #Constraints: 38162 798.94/801.86 c #Conflicts: 688000 | #Constraints: 39162 798.94/801.86 c INPROCESSING 798.94/801.86 c GARBAGE COLLECT 798.94/801.86 c rational objective 91 833.42/836.44 c #Conflicts: 689000 | #Constraints: 23748 833.42/836.44 c #Conflicts: 690000 | #Constraints: 24748 833.42/836.44 c #Conflicts: 691000 | #Constraints: 25748 833.42/836.44 c #Conflicts: 692000 | #Constraints: 26748 833.42/836.44 c #Conflicts: 693000 | #Constraints: 27748 833.42/836.44 c #Conflicts: 694000 | #Constraints: 28748 833.42/836.44 c #Conflicts: 695000 | #Constraints: 29748 833.42/836.44 c #Conflicts: 696000 | #Constraints: 30748 833.42/836.44 c #Conflicts: 697000 | #Constraints: 31748 833.42/836.44 c #Conflicts: 698000 | #Constraints: 32748 833.42/836.44 c #Conflicts: 699000 | #Constraints: 33748 833.42/836.44 c #Conflicts: 700000 | #Constraints: 34748 833.42/836.44 c #Conflicts: 701000 | #Constraints: 35748 833.42/836.44 c #Conflicts: 702000 | #Constraints: 36748 833.42/836.44 c #Conflicts: 703000 | #Constraints: 37748 833.42/836.44 c #Conflicts: 704000 | #Constraints: 38748 833.42/836.44 c #Conflicts: 705000 | #Constraints: 39748 833.42/836.44 c INPROCESSING 833.42/836.44 c GARBAGE COLLECT 833.42/836.44 c rational objective 91 861.52/864.61 c #Conflicts: 706000 | #Constraints: 24191 861.52/864.61 c #Conflicts: 707000 | #Constraints: 25191 861.52/864.61 c #Conflicts: 708000 | #Constraints: 26191 861.52/864.61 c #Conflicts: 709000 | #Constraints: 27191 861.52/864.61 c #Conflicts: 710000 | #Constraints: 28191 861.52/864.61 c #Conflicts: 711000 | #Constraints: 29191 861.52/864.61 c #Conflicts: 712000 | #Constraints: 30191 861.52/864.61 c #Conflicts: 713000 | #Constraints: 31191 861.52/864.61 c #Conflicts: 714000 | #Constraints: 32191 861.52/864.61 c #Conflicts: 715000 | #Constraints: 33191 861.52/864.61 c #Conflicts: 716000 | #Constraints: 34191 861.52/864.61 c #Conflicts: 717000 | #Constraints: 35191 861.52/864.61 c #Conflicts: 718000 | #Constraints: 36191 861.52/864.61 c #Conflicts: 719000 | #Constraints: 37191 861.52/864.61 c #Conflicts: 720000 | #Constraints: 38191 861.52/864.61 c #Conflicts: 721000 | #Constraints: 39191 861.52/864.61 c #Conflicts: 722000 | #Constraints: 40191 861.52/864.61 c INPROCESSING 861.52/864.61 c GARBAGE COLLECT 861.52/864.61 c rational objective 91 894.80/898.07 c #Conflicts: 723000 | #Constraints: 24367 894.80/898.07 c #Conflicts: 724000 | #Constraints: 25367 894.80/898.07 c #Conflicts: 725000 | #Constraints: 26367 894.80/898.07 c #Conflicts: 726000 | #Constraints: 27367 894.80/898.07 c #Conflicts: 727000 | #Constraints: 28367 894.80/898.07 c #Conflicts: 728000 | #Constraints: 29367 894.80/898.07 c #Conflicts: 729000 | #Constraints: 30367 894.80/898.07 c #Conflicts: 730000 | #Constraints: 31367 894.80/898.07 c #Conflicts: 731000 | #Constraints: 32367 894.80/898.07 c #Conflicts: 732000 | #Constraints: 33367 894.80/898.07 c #Conflicts: 733000 | #Constraints: 34367 894.80/898.07 c #Conflicts: 734000 | #Constraints: 35367 894.80/898.07 c #Conflicts: 735000 | #Constraints: 36367 894.80/898.07 c #Conflicts: 736000 | #Constraints: 37367 894.80/898.07 c #Conflicts: 737000 | #Constraints: 38367 894.80/898.07 c #Conflicts: 738000 | #Constraints: 39367 894.80/898.07 c #Conflicts: 739000 | #Constraints: 40367 894.80/898.07 c INPROCESSING 894.80/898.07 c GARBAGE COLLECT 894.80/898.07 c rational objective 91 924.06/927.43 c #Conflicts: 740000 | #Constraints: 24402 924.06/927.43 c #Conflicts: 741000 | #Constraints: 25402 924.06/927.43 c #Conflicts: 742000 | #Constraints: 26402 924.06/927.43 c #Conflicts: 743000 | #Constraints: 27402 924.06/927.43 c #Conflicts: 744000 | #Constraints: 28402 924.06/927.43 c #Conflicts: 745000 | #Constraints: 29402 924.06/927.43 c #Conflicts: 746000 | #Constraints: 30402 924.06/927.43 c #Conflicts: 747000 | #Constraints: 31402 924.06/927.43 c #Conflicts: 748000 | #Constraints: 32402 924.06/927.43 c #Conflicts: 749000 | #Constraints: 33402 924.06/927.43 c #Conflicts: 750000 | #Constraints: 34402 924.06/927.43 c #Conflicts: 751000 | #Constraints: 35402 924.06/927.43 c #Conflicts: 752000 | #Constraints: 36402 924.06/927.43 c #Conflicts: 753000 | #Constraints: 37402 924.06/927.43 c #Conflicts: 754000 | #Constraints: 38402 924.06/927.43 c #Conflicts: 755000 | #Constraints: 39402 924.06/927.43 c #Conflicts: 756000 | #Constraints: 40402 924.06/927.43 c INPROCESSING 924.06/927.43 c GARBAGE COLLECT 924.06/927.43 c rational objective 91 961.92/965.42 c #Conflicts: 757000 | #Constraints: 24163 961.92/965.42 c #Conflicts: 758000 | #Constraints: 25163 961.92/965.42 c #Conflicts: 759000 | #Constraints: 26163 961.92/965.42 c #Conflicts: 760000 | #Constraints: 27163 961.92/965.42 c #Conflicts: 761000 | #Constraints: 28163 961.92/965.42 c #Conflicts: 762000 | #Constraints: 29163 961.92/965.42 c #Conflicts: 763000 | #Constraints: 30163 961.92/965.42 c #Conflicts: 764000 | #Constraints: 31163 961.92/965.42 c #Conflicts: 765000 | #Constraints: 32163 961.92/965.42 c #Conflicts: 766000 | #Constraints: 33163 961.92/965.42 c #Conflicts: 767000 | #Constraints: 34163 961.92/965.42 c #Conflicts: 768000 | #Constraints: 35163 961.92/965.42 c #Conflicts: 769000 | #Constraints: 36163 961.92/965.42 c #Conflicts: 770000 | #Constraints: 37163 961.92/965.42 c #Conflicts: 771000 | #Constraints: 38163 961.92/965.42 c #Conflicts: 772000 | #Constraints: 39163 961.92/965.42 c #Conflicts: 773000 | #Constraints: 40163 961.92/965.42 c #Conflicts: 774000 | #Constraints: 41163 961.92/965.42 c INPROCESSING 961.92/965.42 c GARBAGE COLLECT 961.92/965.42 c rational objective 91 993.38/997.05 c #Conflicts: 775000 | #Constraints: 24806 993.38/997.05 c #Conflicts: 776000 | #Constraints: 25806 993.38/997.05 c #Conflicts: 777000 | #Constraints: 26806 993.38/997.05 c #Conflicts: 778000 | #Constraints: 27806 993.38/997.05 c #Conflicts: 779000 | #Constraints: 28806 993.38/997.05 c #Conflicts: 780000 | #Constraints: 29806 993.38/997.05 c #Conflicts: 781000 | #Constraints: 30806 993.38/997.05 c #Conflicts: 782000 | #Constraints: 31806 993.38/997.05 c #Conflicts: 783000 | #Constraints: 32806 993.38/997.05 c #Conflicts: 784000 | #Constraints: 33806 993.38/997.05 c #Conflicts: 785000 | #Constraints: 34806 993.38/997.05 c #Conflicts: 786000 | #Constraints: 35806 993.38/997.05 c #Conflicts: 787000 | #Constraints: 36806 993.38/997.05 c #Conflicts: 788000 | #Constraints: 37806 993.38/997.05 c #Conflicts: 789000 | #Constraints: 38806 993.38/997.05 c #Conflicts: 790000 | #Constraints: 39806 993.38/997.05 c #Conflicts: 791000 | #Constraints: 40806 993.38/997.05 c #Conflicts: 792000 | #Constraints: 41806 993.38/997.05 c INPROCESSING 993.38/997.05 c GARBAGE COLLECT 993.38/997.05 c rational objective 91 1039.69/1043.50 c #Conflicts: 793000 | #Constraints: 25185 1039.69/1043.50 c #Conflicts: 794000 | #Constraints: 26185 1039.69/1043.50 c #Conflicts: 795000 | #Constraints: 27185 1039.69/1043.50 c #Conflicts: 796000 | #Constraints: 28185 1039.69/1043.50 c #Conflicts: 797000 | #Constraints: 29185 1039.69/1043.50 c #Conflicts: 798000 | #Constraints: 30185 1039.69/1043.50 c #Conflicts: 799000 | #Constraints: 31185 1039.69/1043.50 c #Conflicts: 800000 | #Constraints: 32185 1039.69/1043.50 c #Conflicts: 801000 | #Constraints: 33185 1039.69/1043.50 c #Conflicts: 802000 | #Constraints: 34185 1039.69/1043.50 c #Conflicts: 803000 | #Constraints: 35185 1039.69/1043.50 c #Conflicts: 804000 | #Constraints: 36185 1039.69/1043.50 c #Conflicts: 805000 | #Constraints: 37185 1039.69/1043.50 c #Conflicts: 806000 | #Constraints: 38185 1039.69/1043.50 c #Conflicts: 807000 | #Constraints: 39185 1039.69/1043.50 c #Conflicts: 808000 | #Constraints: 40185 1039.69/1043.50 c #Conflicts: 809000 | #Constraints: 41185 1039.69/1043.50 c #Conflicts: 810000 | #Constraints: 42185 1039.69/1043.50 c INPROCESSING 1039.69/1043.50 c GARBAGE COLLECT 1039.69/1043.50 c rational objective 91 1071.72/1075.77 c #Conflicts: 811000 | #Constraints: 25410 1071.72/1075.77 c #Conflicts: 812000 | #Constraints: 26410 1071.72/1075.77 c #Conflicts: 813000 | #Constraints: 27410 1071.72/1075.77 c #Conflicts: 814000 | #Constraints: 28410 1071.72/1075.77 c #Conflicts: 815000 | #Constraints: 29410 1071.72/1075.77 c #Conflicts: 816000 | #Constraints: 30410 1071.72/1075.77 c #Conflicts: 817000 | #Constraints: 31410 1071.72/1075.77 c #Conflicts: 818000 | #Constraints: 32410 1071.72/1075.77 c #Conflicts: 819000 | #Constraints: 33410 1071.72/1075.77 c #Conflicts: 820000 | #Constraints: 34410 1071.72/1075.77 c #Conflicts: 821000 | #Constraints: 35410 1071.72/1075.77 c #Conflicts: 822000 | #Constraints: 36410 1071.72/1075.77 c #Conflicts: 823000 | #Constraints: 37410 1071.72/1075.77 c #Conflicts: 824000 | #Constraints: 38410 1071.72/1075.77 c #Conflicts: 825000 | #Constraints: 39410 1071.72/1075.77 c #Conflicts: 826000 | #Constraints: 40410 1071.72/1075.77 c #Conflicts: 827000 | #Constraints: 41410 1071.72/1075.77 c #Conflicts: 828000 | #Constraints: 42410 1071.72/1075.77 c INPROCESSING 1071.72/1075.77 c GARBAGE COLLECT 1071.72/1075.77 c rational objective 91 1105.69/1109.80 c #Conflicts: 829000 | #Constraints: 25361 1105.69/1109.80 c #Conflicts: 830000 | #Constraints: 26361 1105.69/1109.80 c #Conflicts: 831000 | #Constraints: 27361 1105.69/1109.80 c #Conflicts: 832000 | #Constraints: 28361 1105.69/1109.80 c #Conflicts: 833000 | #Constraints: 29361 1105.69/1109.80 c #Conflicts: 834000 | #Constraints: 30361 1105.69/1109.80 c #Conflicts: 835000 | #Constraints: 31361 1105.69/1109.80 c #Conflicts: 836000 | #Constraints: 32361 1105.69/1109.80 c #Conflicts: 837000 | #Constraints: 33361 1105.69/1109.80 c #Conflicts: 838000 | #Constraints: 34361 1105.69/1109.80 c #Conflicts: 839000 | #Constraints: 35361 1105.69/1109.80 c #Conflicts: 840000 | #Constraints: 36361 1105.69/1109.80 c #Conflicts: 841000 | #Constraints: 37361 1105.69/1109.80 c #Conflicts: 842000 | #Constraints: 38361 1105.69/1109.80 c #Conflicts: 843000 | #Constraints: 39361 1105.69/1109.80 c #Conflicts: 844000 | #Constraints: 40361 1105.69/1109.80 c #Conflicts: 845000 | #Constraints: 41361 1105.69/1109.80 c #Conflicts: 846000 | #Constraints: 42361 1105.69/1109.80 c INPROCESSING 1105.69/1109.80 c GARBAGE COLLECT 1105.69/1109.80 c rational objective 91 1152.02/1156.33 c #Conflicts: 847000 | #Constraints: 25146 1152.02/1156.33 c #Conflicts: 848000 | #Constraints: 26146 1152.02/1156.33 c #Conflicts: 849000 | #Constraints: 27146 1152.02/1156.33 c #Conflicts: 850000 | #Constraints: 28146 1152.02/1156.33 c #Conflicts: 851000 | #Constraints: 29146 1152.02/1156.33 c #Conflicts: 852000 | #Constraints: 30146 1152.02/1156.33 c #Conflicts: 853000 | #Constraints: 31146 1152.02/1156.33 c #Conflicts: 854000 | #Constraints: 32146 1152.02/1156.33 c #Conflicts: 855000 | #Constraints: 33146 1152.02/1156.33 c #Conflicts: 856000 | #Constraints: 34146 1152.02/1156.33 c #Conflicts: 857000 | #Constraints: 35146 1152.02/1156.33 c #Conflicts: 858000 | #Constraints: 36146 1152.02/1156.33 c #Conflicts: 859000 | #Constraints: 37146 1152.02/1156.33 c #Conflicts: 860000 | #Constraints: 38146 1152.02/1156.33 c #Conflicts: 861000 | #Constraints: 39146 1152.02/1156.33 c #Conflicts: 862000 | #Constraints: 40146 1152.02/1156.33 c #Conflicts: 863000 | #Constraints: 41146 1152.02/1156.33 c #Conflicts: 864000 | #Constraints: 42146 1152.02/1156.33 c #Conflicts: 865000 | #Constraints: 43146 1152.02/1156.33 c INPROCESSING 1152.02/1156.33 c GARBAGE COLLECT 1152.02/1156.33 c rational objective 91 1187.71/1192.18 c #Conflicts: 866000 | #Constraints: 25787 1187.71/1192.18 c #Conflicts: 867000 | #Constraints: 26787 1187.71/1192.18 c #Conflicts: 868000 | #Constraints: 27787 1187.71/1192.18 c #Conflicts: 869000 | #Constraints: 28787 1187.71/1192.18 c #Conflicts: 870000 | #Constraints: 29787 1187.71/1192.18 c #Conflicts: 871000 | #Constraints: 30787 1187.71/1192.18 c #Conflicts: 872000 | #Constraints: 31787 1187.71/1192.18 c #Conflicts: 873000 | #Constraints: 32787 1187.71/1192.18 c #Conflicts: 874000 | #Constraints: 33787 1187.71/1192.18 c #Conflicts: 875000 | #Constraints: 34787 1187.71/1192.18 c #Conflicts: 876000 | #Constraints: 35787 1187.71/1192.18 c #Conflicts: 877000 | #Constraints: 36787 1187.71/1192.18 c #Conflicts: 878000 | #Constraints: 37787 1187.71/1192.18 c #Conflicts: 879000 | #Constraints: 38787 1187.71/1192.18 c #Conflicts: 880000 | #Constraints: 39787 1187.71/1192.18 c #Conflicts: 881000 | #Constraints: 40787 1187.71/1192.18 c #Conflicts: 882000 | #Constraints: 41787 1187.71/1192.18 c #Conflicts: 883000 | #Constraints: 42787 1187.71/1192.18 c #Conflicts: 884000 | #Constraints: 43787 1187.71/1192.18 c INPROCESSING 1187.71/1192.18 c GARBAGE COLLECT 1187.71/1192.18 c rational objective 91 1236.93/1241.59 c #Conflicts: 885000 | #Constraints: 26181 1236.93/1241.59 c #Conflicts: 886000 | #Constraints: 27181 1236.93/1241.59 c #Conflicts: 887000 | #Constraints: 28181 1236.93/1241.59 c #Conflicts: 888000 | #Constraints: 29181 1236.93/1241.59 c #Conflicts: 889000 | #Constraints: 30181 1236.93/1241.59 c #Conflicts: 890000 | #Constraints: 31181 1236.93/1241.59 c #Conflicts: 891000 | #Constraints: 32181 1236.93/1241.59 c #Conflicts: 892000 | #Constraints: 33181 1236.93/1241.59 c #Conflicts: 893000 | #Constraints: 34181 1236.93/1241.59 c #Conflicts: 894000 | #Constraints: 35181 1236.93/1241.59 c #Conflicts: 895000 | #Constraints: 36181 1236.93/1241.59 c #Conflicts: 896000 | #Constraints: 37181 1236.93/1241.59 c #Conflicts: 897000 | #Constraints: 38181 1236.93/1241.59 c #Conflicts: 898000 | #Constraints: 39181 1236.93/1241.59 c #Conflicts: 899000 | #Constraints: 40181 1236.93/1241.59 c #Conflicts: 900000 | #Constraints: 41181 1236.93/1241.59 c #Conflicts: 901000 | #Constraints: 42181 1236.93/1241.59 c #Conflicts: 902000 | #Constraints: 43181 1236.93/1241.59 c #Conflicts: 903000 | #Constraints: 44181 1236.93/1241.59 c INPROCESSING 1236.93/1241.59 c GARBAGE COLLECT 1236.93/1241.59 c rational objective 91 1277.48/1282.20 c #Conflicts: 904000 | #Constraints: 26426 1277.48/1282.20 c #Conflicts: 905000 | #Constraints: 27426 1277.48/1282.20 c #Conflicts: 906000 | #Constraints: 28426 1277.48/1282.20 c #Conflicts: 907000 | #Constraints: 29426 1277.48/1282.20 c #Conflicts: 908000 | #Constraints: 30426 1277.48/1282.20 c #Conflicts: 909000 | #Constraints: 31426 1277.48/1282.20 c #Conflicts: 910000 | #Constraints: 32426 1277.48/1282.20 c #Conflicts: 911000 | #Constraints: 33426 1277.48/1282.20 c #Conflicts: 912000 | #Constraints: 34426 1277.48/1282.20 c #Conflicts: 913000 | #Constraints: 35426 1277.48/1282.20 c #Conflicts: 914000 | #Constraints: 36426 1277.48/1282.20 c #Conflicts: 915000 | #Constraints: 37426 1277.48/1282.20 c #Conflicts: 916000 | #Constraints: 38426 1277.48/1282.20 c #Conflicts: 917000 | #Constraints: 39426 1277.48/1282.20 c #Conflicts: 918000 | #Constraints: 40426 1277.48/1282.20 c #Conflicts: 919000 | #Constraints: 41426 1277.48/1282.20 c #Conflicts: 920000 | #Constraints: 42426 1277.48/1282.20 c #Conflicts: 921000 | #Constraints: 43426 1277.48/1282.20 c #Conflicts: 922000 | #Constraints: 44426 1277.48/1282.20 c INPROCESSING 1277.48/1282.20 c GARBAGE COLLECT 1277.48/1282.20 c rational objective 91 1329.59/1334.50 c #Conflicts: 923000 | #Constraints: 26400 1329.59/1334.50 c #Conflicts: 924000 | #Constraints: 27400 1329.59/1334.50 c #Conflicts: 925000 | #Constraints: 28400 1329.59/1334.50 c #Conflicts: 926000 | #Constraints: 29400 1329.59/1334.50 c #Conflicts: 927000 | #Constraints: 30400 1329.59/1334.50 c #Conflicts: 928000 | #Constraints: 31400 1329.59/1334.50 c #Conflicts: 929000 | #Constraints: 32400 1329.59/1334.50 c #Conflicts: 930000 | #Constraints: 33400 1329.59/1334.50 c #Conflicts: 931000 | #Constraints: 34400 1329.59/1334.50 c #Conflicts: 932000 | #Constraints: 35400 1329.59/1334.50 c #Conflicts: 933000 | #Constraints: 36400 1329.59/1334.50 c #Conflicts: 934000 | #Constraints: 37400 1329.59/1334.50 c #Conflicts: 935000 | #Constraints: 38400 1329.59/1334.50 c #Conflicts: 936000 | #Constraints: 39400 1329.59/1334.50 c #Conflicts: 937000 | #Constraints: 40400 1329.59/1334.50 c #Conflicts: 938000 | #Constraints: 41400 1329.59/1334.50 c #Conflicts: 939000 | #Constraints: 42400 1329.59/1334.50 c #Conflicts: 940000 | #Constraints: 43400 1329.59/1334.50 c #Conflicts: 941000 | #Constraints: 44400 1329.59/1334.50 c INPROCESSING 1329.59/1334.50 c GARBAGE COLLECT 1329.59/1334.50 c rational objective 91 1371.55/1376.65 c #Conflicts: 942000 | #Constraints: 26248 1371.55/1376.65 c #Conflicts: 943000 | #Constraints: 27248 1371.55/1376.65 c #Conflicts: 944000 | #Constraints: 28248 1371.55/1376.65 c #Conflicts: 945000 | #Constraints: 29248 1371.55/1376.65 c #Conflicts: 946000 | #Constraints: 30248 1371.55/1376.65 c #Conflicts: 947000 | #Constraints: 31248 1371.55/1376.65 c #Conflicts: 948000 | #Constraints: 32248 1371.55/1376.65 c #Conflicts: 949000 | #Constraints: 33248 1371.55/1376.65 c #Conflicts: 950000 | #Constraints: 34248 1371.55/1376.65 c #Conflicts: 951000 | #Constraints: 35248 1371.55/1376.65 c #Conflicts: 952000 | #Constraints: 36248 1371.55/1376.65 c #Conflicts: 953000 | #Constraints: 37248 1371.55/1376.65 c #Conflicts: 954000 | #Constraints: 38248 1371.55/1376.65 c #Conflicts: 955000 | #Constraints: 39248 1371.55/1376.65 c #Conflicts: 956000 | #Constraints: 40248 1371.55/1376.65 c #Conflicts: 957000 | #Constraints: 41248 1371.55/1376.65 c #Conflicts: 958000 | #Constraints: 42248 1371.55/1376.65 c #Conflicts: 959000 | #Constraints: 43248 1371.55/1376.65 c #Conflicts: 960000 | #Constraints: 44248 1371.55/1376.65 c #Conflicts: 961000 | #Constraints: 45248 1371.55/1376.65 c INPROCESSING 1371.55/1376.65 c GARBAGE COLLECT 1371.55/1376.65 c rational objective 91 1426.55/1431.88 c #Conflicts: 962000 | #Constraints: 26785 1426.55/1431.88 c #Conflicts: 963000 | #Constraints: 27785 1426.55/1431.88 c #Conflicts: 964000 | #Constraints: 28785 1426.55/1431.88 c #Conflicts: 965000 | #Constraints: 29785 1426.55/1431.88 c #Conflicts: 966000 | #Constraints: 30785 1426.55/1431.88 c #Conflicts: 967000 | #Constraints: 31785 1426.55/1431.88 c #Conflicts: 968000 | #Constraints: 32785 1426.55/1431.88 c #Conflicts: 969000 | #Constraints: 33785 1426.55/1431.88 c #Conflicts: 970000 | #Constraints: 34785 1426.55/1431.88 c #Conflicts: 971000 | #Constraints: 35785 1426.55/1431.88 c #Conflicts: 972000 | #Constraints: 36785 1426.55/1431.88 c #Conflicts: 973000 | #Constraints: 37785 1426.55/1431.88 c #Conflicts: 974000 | #Constraints: 38785 1426.55/1431.88 c #Conflicts: 975000 | #Constraints: 39785 1426.55/1431.88 c #Conflicts: 976000 | #Constraints: 40785 1426.55/1431.88 c #Conflicts: 977000 | #Constraints: 41785 1426.55/1431.88 c #Conflicts: 978000 | #Constraints: 42785 1426.55/1431.88 c #Conflicts: 979000 | #Constraints: 43785 1426.55/1431.88 c #Conflicts: 980000 | #Constraints: 44785 1426.55/1431.88 c #Conflicts: 981000 | #Constraints: 45785 1426.55/1431.88 c INPROCESSING 1426.55/1431.88 c GARBAGE COLLECT 1426.55/1431.88 c rational objective 91 1465.52/1470.92 c #Conflicts: 982000 | #Constraints: 27197 1465.52/1470.92 c #Conflicts: 983000 | #Constraints: 28197 1465.52/1470.92 c #Conflicts: 984000 | #Constraints: 29197 1465.52/1470.92 c #Conflicts: 985000 | #Constraints: 30197 1465.52/1470.92 c #Conflicts: 986000 | #Constraints: 31197 1465.52/1470.92 c #Conflicts: 987000 | #Constraints: 32197 1465.52/1470.92 c #Conflicts: 988000 | #Constraints: 33197 1465.52/1470.92 c #Conflicts: 989000 | #Constraints: 34197 1465.52/1470.92 c #Conflicts: 990000 | #Constraints: 35197 1465.52/1470.92 c #Conflicts: 991000 | #Constraints: 36197 1465.52/1470.92 c #Conflicts: 992000 | #Constraints: 37197 1465.52/1470.92 c #Conflicts: 993000 | #Constraints: 38197 1465.52/1470.92 c #Conflicts: 994000 | #Constraints: 39197 1465.52/1470.92 c #Conflicts: 995000 | #Constraints: 40197 1465.52/1470.92 c #Conflicts: 996000 | #Constraints: 41197 1465.52/1470.92 c #Conflicts: 997000 | #Constraints: 42197 1465.52/1470.92 c #Conflicts: 998000 | #Constraints: 43197 1465.52/1470.92 c #Conflicts: 999000 | #Constraints: 44197 1465.52/1470.92 c #Conflicts: 1000000 | #Constraints: 45197 1465.52/1470.92 c #Conflicts: 1001000 | #Constraints: 46197 1465.52/1470.92 c INPROCESSING 1465.52/1470.92 c GARBAGE COLLECT 1465.52/1470.92 c rational objective 91 1506.58/1512.13 c #Conflicts: 1002000 | #Constraints: 27391 1506.58/1512.13 c #Conflicts: 1003000 | #Constraints: 28391 1506.58/1512.13 c #Conflicts: 1004000 | #Constraints: 29391 1506.58/1512.13 c #Conflicts: 1005000 | #Constraints: 30391 1506.58/1512.13 c #Conflicts: 1006000 | #Constraints: 31391 1506.58/1512.13 c #Conflicts: 1007000 | #Constraints: 32391 1506.58/1512.13 c #Conflicts: 1008000 | #Constraints: 33391 1506.58/1512.13 c #Conflicts: 1009000 | #Constraints: 34391 1506.58/1512.13 c #Conflicts: 1010000 | #Constraints: 35391 1506.58/1512.13 c #Conflicts: 1011000 | #Constraints: 36391 1506.58/1512.13 c #Conflicts: 1012000 | #Constraints: 37391 1506.58/1512.13 c #Conflicts: 1013000 | #Constraints: 38391 1506.58/1512.13 c #Conflicts: 1014000 | #Constraints: 39391 1506.58/1512.13 c #Conflicts: 1015000 | #Constraints: 40391 1506.58/1512.13 c #Conflicts: 1016000 | #Constraints: 41391 1506.58/1512.13 c #Conflicts: 1017000 | #Constraints: 42391 1506.58/1512.13 c #Conflicts: 1018000 | #Constraints: 43391 1506.58/1512.13 c #Conflicts: 1019000 | #Constraints: 44391 1506.58/1512.13 c #Conflicts: 1020000 | #Constraints: 45391 1506.58/1512.13 c #Conflicts: 1021000 | #Constraints: 46391 1506.58/1512.13 c INPROCESSING 1506.58/1512.13 c GARBAGE COLLECT 1506.58/1512.13 c rational objective 91 1552.42/1558.17 c #Conflicts: 1022000 | #Constraints: 27371 1552.42/1558.17 c #Conflicts: 1023000 | #Constraints: 28371 1552.42/1558.17 c #Conflicts: 1024000 | #Constraints: 29371 1552.42/1558.17 c #Conflicts: 1025000 | #Constraints: 30371 1552.42/1558.17 c #Conflicts: 1026000 | #Constraints: 31371 1552.42/1558.17 c #Conflicts: 1027000 | #Constraints: 32371 1552.42/1558.17 c #Conflicts: 1028000 | #Constraints: 33371 1552.42/1558.17 c #Conflicts: 1029000 | #Constraints: 34371 1552.42/1558.17 c #Conflicts: 1030000 | #Constraints: 35371 1552.42/1558.17 c #Conflicts: 1031000 | #Constraints: 36371 1552.42/1558.17 c #Conflicts: 1032000 | #Constraints: 37371 1552.42/1558.17 c #Conflicts: 1033000 | #Constraints: 38371 1552.42/1558.17 c #Conflicts: 1034000 | #Constraints: 39371 1552.42/1558.17 c #Conflicts: 1035000 | #Constraints: 40371 1552.42/1558.17 c #Conflicts: 1036000 | #Constraints: 41371 1552.42/1558.17 c #Conflicts: 1037000 | #Constraints: 42371 1552.42/1558.17 c #Conflicts: 1038000 | #Constraints: 43371 1552.42/1558.17 c #Conflicts: 1039000 | #Constraints: 44371 1552.42/1558.17 c #Conflicts: 1040000 | #Constraints: 45371 1552.42/1558.17 c #Conflicts: 1041000 | #Constraints: 46371 1552.42/1558.17 c INPROCESSING 1552.42/1558.17 c GARBAGE COLLECT 1552.42/1558.17 c rational objective 91 1596.16/1602.09 c #Conflicts: 1042000 | #Constraints: 27172 1596.16/1602.09 c #Conflicts: 1043000 | #Constraints: 28172 1596.16/1602.09 c #Conflicts: 1044000 | #Constraints: 29172 1596.16/1602.09 c #Conflicts: 1045000 | #Constraints: 30172 1596.16/1602.09 c #Conflicts: 1046000 | #Constraints: 31172 1596.16/1602.09 c #Conflicts: 1047000 | #Constraints: 32172 1596.16/1602.09 c #Conflicts: 1048000 | #Constraints: 33172 1596.16/1602.09 c #Conflicts: 1049000 | #Constraints: 34172 1596.16/1602.09 c #Conflicts: 1050000 | #Constraints: 35172 1596.16/1602.09 c #Conflicts: 1051000 | #Constraints: 36172 1596.16/1602.09 c #Conflicts: 1052000 | #Constraints: 37172 1596.16/1602.09 c #Conflicts: 1053000 | #Constraints: 38172 1596.16/1602.09 c #Conflicts: 1054000 | #Constraints: 39172 1596.16/1602.09 c #Conflicts: 1055000 | #Constraints: 40172 1596.16/1602.09 c #Conflicts: 1056000 | #Constraints: 41172 1596.16/1602.09 c #Conflicts: 1057000 | #Constraints: 42172 1596.16/1602.09 c #Conflicts: 1058000 | #Constraints: 43172 1596.16/1602.09 c #Conflicts: 1059000 | #Constraints: 44172 1596.16/1602.09 c #Conflicts: 1060000 | #Constraints: 45172 1596.16/1602.09 c #Conflicts: 1061000 | #Constraints: 46172 1596.16/1602.09 c #Conflicts: 1062000 | #Constraints: 47172 1596.16/1602.09 c INPROCESSING 1596.16/1602.09 c GARBAGE COLLECT 1596.16/1602.09 c rational objective 91 1648.67/1654.75 c #Conflicts: 1063000 | #Constraints: 27755 1648.67/1654.75 c #Conflicts: 1064000 | #Constraints: 28755 1648.67/1654.75 c #Conflicts: 1065000 | #Constraints: 29755 1648.67/1654.75 c #Conflicts: 1066000 | #Constraints: 30755 1648.67/1654.75 c #Conflicts: 1067000 | #Constraints: 31755 1648.67/1654.75 c #Conflicts: 1068000 | #Constraints: 32755 1648.67/1654.75 c #Conflicts: 1069000 | #Constraints: 33755 1648.67/1654.75 c #Conflicts: 1070000 | #Constraints: 34755 1648.67/1654.75 c #Conflicts: 1071000 | #Constraints: 35755 1648.67/1654.75 c #Conflicts: 1072000 | #Constraints: 36755 1648.67/1654.75 c #Conflicts: 1073000 | #Constraints: 37755 1648.67/1654.75 c #Conflicts: 1074000 | #Constraints: 38755 1648.67/1654.75 c #Conflicts: 1075000 | #Constraints: 39755 1648.67/1654.75 c #Conflicts: 1076000 | #Constraints: 40755 1648.67/1654.75 c #Conflicts: 1077000 | #Constraints: 41755 1648.67/1654.75 c #Conflicts: 1078000 | #Constraints: 42755 1648.67/1654.75 c #Conflicts: 1079000 | #Constraints: 43755 1648.67/1654.75 c #Conflicts: 1080000 | #Constraints: 44755 1648.67/1654.75 c #Conflicts: 1081000 | #Constraints: 45755 1648.67/1654.75 c #Conflicts: 1082000 | #Constraints: 46755 1648.67/1654.75 c #Conflicts: 1083000 | #Constraints: 47755 1648.67/1654.75 c INPROCESSING 1648.67/1654.75 c GARBAGE COLLECT 1648.67/1654.75 c rational objective 91 1695.71/1701.92 c #Conflicts: 1084000 | #Constraints: 28183 1695.71/1701.92 c #Conflicts: 1085000 | #Constraints: 29183 1695.71/1701.92 c #Conflicts: 1086000 | #Constraints: 30183 1695.71/1701.92 c #Conflicts: 1087000 | #Constraints: 31183 1695.71/1701.92 c #Conflicts: 1088000 | #Constraints: 32183 1695.71/1701.92 c #Conflicts: 1089000 | #Constraints: 33183 1695.71/1701.92 c #Conflicts: 1090000 | #Constraints: 34183 1695.71/1701.92 c #Conflicts: 1091000 | #Constraints: 35183 1695.71/1701.92 c #Conflicts: 1092000 | #Constraints: 36183 1695.71/1701.92 c #Conflicts: 1093000 | #Constraints: 37183 1695.71/1701.92 c #Conflicts: 1094000 | #Constraints: 38183 1695.71/1701.92 c #Conflicts: 1095000 | #Constraints: 39183 1695.71/1701.92 c #Conflicts: 1096000 | #Constraints: 40183 1695.71/1701.92 c #Conflicts: 1097000 | #Constraints: 41183 1695.71/1701.92 c #Conflicts: 1098000 | #Constraints: 42183 1695.71/1701.92 c #Conflicts: 1099000 | #Constraints: 43183 1695.71/1701.92 c #Conflicts: 1100000 | #Constraints: 44183 1695.71/1701.92 c #Conflicts: 1101000 | #Constraints: 45183 1695.71/1701.92 c #Conflicts: 1102000 | #Constraints: 46183 1695.71/1701.92 c #Conflicts: 1103000 | #Constraints: 47183 1695.71/1701.92 c #Conflicts: 1104000 | #Constraints: 48183 1695.71/1701.92 c INPROCESSING 1695.71/1701.92 c GARBAGE COLLECT 1695.71/1701.92 c rational objective 91 1765.56/1772.05 c #Conflicts: 1105000 | #Constraints: 28363 1765.56/1772.05 c #Conflicts: 1106000 | #Constraints: 29363 1765.56/1772.05 c #Conflicts: 1107000 | #Constraints: 30363 1765.56/1772.05 c #Conflicts: 1108000 | #Constraints: 31363 1765.56/1772.05 c #Conflicts: 1109000 | #Constraints: 32363 1765.56/1772.05 c #Conflicts: 1110000 | #Constraints: 33363 1765.56/1772.05 c #Conflicts: 1111000 | #Constraints: 34363 1765.56/1772.05 c #Conflicts: 1112000 | #Constraints: 35363 1765.56/1772.05 c #Conflicts: 1113000 | #Constraints: 36363 1765.56/1772.05 c #Conflicts: 1114000 | #Constraints: 37363 1765.56/1772.05 c #Conflicts: 1115000 | #Constraints: 38363 1765.56/1772.05 c #Conflicts: 1116000 | #Constraints: 39363 1765.56/1772.05 c #Conflicts: 1117000 | #Constraints: 40363 1765.56/1772.05 c #Conflicts: 1118000 | #Constraints: 41363 1765.56/1772.05 c #Conflicts: 1119000 | #Constraints: 42363 1765.56/1772.05 c #Conflicts: 1120000 | #Constraints: 43363 1765.56/1772.05 c #Conflicts: 1121000 | #Constraints: 44363 1765.56/1772.05 c #Conflicts: 1122000 | #Constraints: 45363 1765.56/1772.05 c #Conflicts: 1123000 | #Constraints: 46363 1765.56/1772.05 c #Conflicts: 1124000 | #Constraints: 47363 1765.56/1772.05 c #Conflicts: 1125000 | #Constraints: 48363 1765.56/1772.05 c INPROCESSING 1765.56/1772.05 c GARBAGE COLLECT 1765.56/1772.05 c rational objective 91 1814.18/1820.80 c #Conflicts: 1126000 | #Constraints: 28403 1814.18/1820.80 c #Conflicts: 1127000 | #Constraints: 29403 1814.18/1820.80 c #Conflicts: 1128000 | #Constraints: 30403 1814.18/1820.80 c #Conflicts: 1129000 | #Constraints: 31403 1814.18/1820.80 c #Conflicts: 1130000 | #Constraints: 32403 1814.18/1820.80 c #Conflicts: 1131000 | #Constraints: 33403 1814.18/1820.80 c #Conflicts: 1132000 | #Constraints: 34403 1814.18/1820.80 c #Conflicts: 1133000 | #Constraints: 35403 1814.18/1820.80 c #Conflicts: 1134000 | #Constraints: 36403 1814.18/1820.80 c #Conflicts: 1135000 | #Constraints: 37403 1814.18/1820.80 c #Conflicts: 1136000 | #Constraints: 38403 1814.18/1820.80 c #Conflicts: 1137000 | #Constraints: 39403 1814.18/1820.80 c #Conflicts: 1138000 | #Constraints: 40403 1814.18/1820.80 c #Conflicts: 1139000 | #Constraints: 41403 1814.18/1820.80 c #Conflicts: 1140000 | #Constraints: 42403 1814.18/1820.80 c #Conflicts: 1141000 | #Constraints: 43403 1814.18/1820.80 c #Conflicts: 1142000 | #Constraints: 44403 1814.18/1820.80 c #Conflicts: 1143000 | #Constraints: 45403 1814.18/1820.80 c #Conflicts: 1144000 | #Constraints: 46403 1814.18/1820.80 c #Conflicts: 1145000 | #Constraints: 47403 1814.18/1820.80 c #Conflicts: 1146000 | #Constraints: 48403 1814.18/1820.80 c INPROCESSING 1814.18/1820.80 c GARBAGE COLLECT 1814.18/1820.80 c rational objective 91 1885.14/1892.06 c #Conflicts: 1147000 | #Constraints: 28186 1885.14/1892.06 c #Conflicts: 1148000 | #Constraints: 29186 1885.14/1892.06 c #Conflicts: 1149000 | #Constraints: 30186 1885.14/1892.06 c #Conflicts: 1150000 | #Constraints: 31186 1885.14/1892.06 c #Conflicts: 1151000 | #Constraints: 32186 1885.14/1892.06 c #Conflicts: 1152000 | #Constraints: 33186 1885.14/1892.06 c #Conflicts: 1153000 | #Constraints: 34186 1885.14/1892.06 c #Conflicts: 1154000 | #Constraints: 35186 1885.14/1892.06 c #Conflicts: 1155000 | #Constraints: 36186 1885.14/1892.06 c #Conflicts: 1156000 | #Constraints: 37186 1885.14/1892.06 c #Conflicts: 1157000 | #Constraints: 38186 1885.14/1892.06 c #Conflicts: 1158000 | #Constraints: 39186 1885.14/1892.06 c #Conflicts: 1159000 | #Constraints: 40186 1885.14/1892.06 c #Conflicts: 1160000 | #Constraints: 41186 1885.14/1892.06 c #Conflicts: 1161000 | #Constraints: 42186 1885.14/1892.06 c #Conflicts: 1162000 | #Constraints: 43186 1885.14/1892.06 c #Conflicts: 1163000 | #Constraints: 44186 1885.14/1892.06 c #Conflicts: 1164000 | #Constraints: 45186 1885.14/1892.06 c #Conflicts: 1165000 | #Constraints: 46186 1885.14/1892.06 c #Conflicts: 1166000 | #Constraints: 47186 1885.14/1892.06 c #Conflicts: 1167000 | #Constraints: 48186 1885.14/1892.06 c #Conflicts: 1168000 | #Constraints: 49186 1885.14/1892.06 c INPROCESSING 1885.14/1892.06 c GARBAGE COLLECT 1885.14/1892.06 c rational objective 91 1936.84/1943.99 c #Conflicts: 1169000 | #Constraints: 28772 1936.84/1943.99 c #Conflicts: 1170000 | #Constraints: 29772 1936.84/1943.99 c #Conflicts: 1171000 | #Constraints: 30772 1936.84/1943.99 c #Conflicts: 1172000 | #Constraints: 31772 1936.84/1943.99 c #Conflicts: 1173000 | #Constraints: 32772 1936.84/1943.99 c #Conflicts: 1174000 | #Constraints: 33772 1936.84/1943.99 c #Conflicts: 1175000 | #Constraints: 34772 1936.84/1943.99 c #Conflicts: 1176000 | #Constraints: 35772 1936.84/1943.99 c #Conflicts: 1177000 | #Constraints: 36772 1936.84/1943.99 c #Conflicts: 1178000 | #Constraints: 37772 1936.84/1943.99 c #Conflicts: 1179000 | #Constraints: 38772 1936.84/1943.99 c #Conflicts: 1180000 | #Constraints: 39772 1936.84/1943.99 c #Conflicts: 1181000 | #Constraints: 40772 1936.84/1943.99 c #Conflicts: 1182000 | #Constraints: 41772 1936.84/1943.99 c #Conflicts: 1183000 | #Constraints: 42772 1936.84/1943.99 c #Conflicts: 1184000 | #Constraints: 43772 1936.84/1943.99 c #Conflicts: 1185000 | #Constraints: 44772 1936.84/1943.99 c #Conflicts: 1186000 | #Constraints: 45772 1936.84/1943.99 c #Conflicts: 1187000 | #Constraints: 46772 1936.84/1943.99 c #Conflicts: 1188000 | #Constraints: 47772 1936.84/1943.99 c #Conflicts: 1189000 | #Constraints: 48772 1936.84/1943.99 c #Conflicts: 1190000 | #Constraints: 49772 1936.84/1943.99 c INPROCESSING 1936.84/1943.99 c GARBAGE COLLECT 1936.84/1943.99 c rational objective 91 1988.96/1996.29 c #Conflicts: 1191000 | #Constraints: 29176 1988.96/1996.29 c #Conflicts: 1192000 | #Constraints: 30176 1988.96/1996.29 c #Conflicts: 1193000 | #Constraints: 31176 1988.96/1996.29 c #Conflicts: 1194000 | #Constraints: 32176 1988.96/1996.29 c #Conflicts: 1195000 | #Constraints: 33176 1988.96/1996.29 c #Conflicts: 1196000 | #Constraints: 34176 1988.96/1996.29 c #Conflicts: 1197000 | #Constraints: 35176 1988.96/1996.29 c #Conflicts: 1198000 | #Constraints: 36176 1988.96/1996.29 c #Conflicts: 1199000 | #Constraints: 37176 1988.96/1996.29 c #Conflicts: 1200000 | #Constraints: 38176 1988.96/1996.29 c #Conflicts: 1201000 | #Constraints: 39176 1988.96/1996.29 c #Conflicts: 1202000 | #Constraints: 40176 1988.96/1996.29 c #Conflicts: 1203000 | #Constraints: 41176 1988.96/1996.29 c #Conflicts: 1204000 | #Constraints: 42176 1988.96/1996.29 c #Conflicts: 1205000 | #Constraints: 43176 1988.96/1996.29 c #Conflicts: 1206000 | #Constraints: 44176 1988.96/1996.29 c #Conflicts: 1207000 | #Constraints: 45176 1988.96/1996.29 c #Conflicts: 1208000 | #Constraints: 46176 1988.96/1996.29 c #Conflicts: 1209000 | #Constraints: 47176 1988.96/1996.29 c #Conflicts: 1210000 | #Constraints: 48176 1988.96/1996.29 c #Conflicts: 1211000 | #Constraints: 49176 1988.96/1996.29 c #Conflicts: 1212000 | #Constraints: 50176 1988.96/1996.29 c INPROCESSING 1988.96/1996.29 c GARBAGE COLLECT 1988.96/1996.29 c rational objective 91 2077.86/2085.45 c #Conflicts: 1213000 | #Constraints: 29352 2077.86/2085.45 c #Conflicts: 1214000 | #Constraints: 30352 2077.86/2085.45 c #Conflicts: 1215000 | #Constraints: 31352 2077.86/2085.45 c #Conflicts: 1216000 | #Constraints: 32352 2077.86/2085.45 c #Conflicts: 1217000 | #Constraints: 33352 2077.86/2085.45 c #Conflicts: 1218000 | #Constraints: 34352 2077.86/2085.45 c #Conflicts: 1219000 | #Constraints: 35352 2077.86/2085.45 c #Conflicts: 1220000 | #Constraints: 36352 2077.86/2085.45 c #Conflicts: 1221000 | #Constraints: 37352 2077.86/2085.45 c #Conflicts: 1222000 | #Constraints: 38352 2077.86/2085.45 c #Conflicts: 1223000 | #Constraints: 39352 2077.86/2085.45 c #Conflicts: 1224000 | #Constraints: 40352 2077.86/2085.45 c #Conflicts: 1225000 | #Constraints: 41352 2077.86/2085.45 c #Conflicts: 1226000 | #Constraints: 42352 2077.86/2085.45 c #Conflicts: 1227000 | #Constraints: 43352 2077.86/2085.45 c #Conflicts: 1228000 | #Constraints: 44352 2077.86/2085.45 c #Conflicts: 1229000 | #Constraints: 45352 2077.86/2085.45 c #Conflicts: 1230000 | #Constraints: 46352 2077.86/2085.45 c #Conflicts: 1231000 | #Constraints: 47352 2077.86/2085.45 c #Conflicts: 1232000 | #Constraints: 48352 2077.86/2085.45 c #Conflicts: 1233000 | #Constraints: 49352 2077.86/2085.45 c #Conflicts: 1234000 | #Constraints: 50352 2077.86/2085.45 c INPROCESSING 2077.86/2085.45 c GARBAGE COLLECT 2077.86/2085.45 c rational objective 91 2133.77/2141.56 c #Conflicts: 1235000 | #Constraints: 29377 2133.77/2141.56 c #Conflicts: 1236000 | #Constraints: 30377 2133.77/2141.56 c #Conflicts: 1237000 | #Constraints: 31377 2133.77/2141.56 c #Conflicts: 1238000 | #Constraints: 32377 2133.77/2141.56 c #Conflicts: 1239000 | #Constraints: 33377 2133.77/2141.56 c #Conflicts: 1240000 | #Constraints: 34377 2133.77/2141.56 c #Conflicts: 1241000 | #Constraints: 35377 2133.77/2141.56 c #Conflicts: 1242000 | #Constraints: 36377 2133.77/2141.56 c #Conflicts: 1243000 | #Constraints: 37377 2133.77/2141.56 c #Conflicts: 1244000 | #Constraints: 38377 2133.77/2141.56 c #Conflicts: 1245000 | #Constraints: 39377 2133.77/2141.56 c #Conflicts: 1246000 | #Constraints: 40377 2133.77/2141.56 c #Conflicts: 1247000 | #Constraints: 41377 2133.77/2141.56 c #Conflicts: 1248000 | #Constraints: 42377 2133.77/2141.56 c #Conflicts: 1249000 | #Constraints: 43377 2133.77/2141.56 c #Conflicts: 1250000 | #Constraints: 44377 2133.77/2141.56 c #Conflicts: 1251000 | #Constraints: 45377 2133.77/2141.56 c #Conflicts: 1252000 | #Constraints: 46377 2133.77/2141.56 c #Conflicts: 1253000 | #Constraints: 47377 2133.77/2141.56 c #Conflicts: 1254000 | #Constraints: 48377 2133.77/2141.56 c #Conflicts: 1255000 | #Constraints: 49377 2133.77/2141.56 c #Conflicts: 1256000 | #Constraints: 50377 2133.77/2141.56 c INPROCESSING 2133.77/2141.56 c GARBAGE COLLECT 2133.77/2141.56 c rational objective 91 2218.04/2226.15 c #Conflicts: 1257000 | #Constraints: 29189 2218.04/2226.15 c #Conflicts: 1258000 | #Constraints: 30189 2218.04/2226.15 c #Conflicts: 1259000 | #Constraints: 31189 2218.04/2226.15 c #Conflicts: 1260000 | #Constraints: 32189 2218.04/2226.15 c #Conflicts: 1261000 | #Constraints: 33189 2218.04/2226.15 c #Conflicts: 1262000 | #Constraints: 34189 2218.04/2226.15 c #Conflicts: 1263000 | #Constraints: 35189 2218.04/2226.15 c #Conflicts: 1264000 | #Constraints: 36189 2218.04/2226.15 c #Conflicts: 1265000 | #Constraints: 37189 2218.04/2226.15 c #Conflicts: 1266000 | #Constraints: 38189 2218.04/2226.15 c #Conflicts: 1267000 | #Constraints: 39189 2218.04/2226.15 c #Conflicts: 1268000 | #Constraints: 40189 2218.04/2226.15 c #Conflicts: 1269000 | #Constraints: 41189 2218.04/2226.15 c #Conflicts: 1270000 | #Constraints: 42189 2218.04/2226.15 c #Conflicts: 1271000 | #Constraints: 43189 2218.04/2226.15 c #Conflicts: 1272000 | #Constraints: 44189 2218.04/2226.15 c #Conflicts: 1273000 | #Constraints: 45189 2218.04/2226.15 c #Conflicts: 1274000 | #Constraints: 46189 2218.04/2226.15 c #Conflicts: 1275000 | #Constraints: 47189 2218.04/2226.15 c #Conflicts: 1276000 | #Constraints: 48189 2218.04/2226.15 c #Conflicts: 1277000 | #Constraints: 49189 2218.04/2226.15 c #Conflicts: 1278000 | #Constraints: 50189 2218.04/2226.15 c #Conflicts: 1279000 | #Constraints: 51189 2218.04/2226.15 c INPROCESSING 2218.04/2226.15 c GARBAGE COLLECT 2218.04/2226.15 c rational objective 91 2275.31/2283.68 c #Conflicts: 1280000 | #Constraints: 29834 2275.31/2283.68 c #Conflicts: 1281000 | #Constraints: 30834 2275.31/2283.68 c #Conflicts: 1282000 | #Constraints: 31834 2275.31/2283.68 c #Conflicts: 1283000 | #Constraints: 32834 2275.31/2283.68 c #Conflicts: 1284000 | #Constraints: 33834 2275.31/2283.68 c #Conflicts: 1285000 | #Constraints: 34834 2275.31/2283.68 c #Conflicts: 1286000 | #Constraints: 35834 2275.31/2283.68 c #Conflicts: 1287000 | #Constraints: 36834 2275.31/2283.68 c #Conflicts: 1288000 | #Constraints: 37834 2275.31/2283.68 c #Conflicts: 1289000 | #Constraints: 38834 2275.31/2283.68 c #Conflicts: 1290000 | #Constraints: 39834 2275.31/2283.68 c #Conflicts: 1291000 | #Constraints: 40834 2275.31/2283.68 c #Conflicts: 1292000 | #Constraints: 41834 2275.31/2283.68 c #Conflicts: 1293000 | #Constraints: 42834 2275.31/2283.68 c #Conflicts: 1294000 | #Constraints: 43834 2275.31/2283.68 c #Conflicts: 1295000 | #Constraints: 44834 2275.31/2283.68 c #Conflicts: 1296000 | #Constraints: 45834 2275.31/2283.68 c #Conflicts: 1297000 | #Constraints: 46834 2275.31/2283.68 c #Conflicts: 1298000 | #Constraints: 47834 2275.31/2283.68 c #Conflicts: 1299000 | #Constraints: 48834 2275.31/2283.68 c #Conflicts: 1300000 | #Constraints: 49834 2275.31/2283.68 c #Conflicts: 1301000 | #Constraints: 50834 2275.31/2283.68 c #Conflicts: 1302000 | #Constraints: 51834 2275.31/2283.68 c INPROCESSING 2275.31/2283.68 c GARBAGE COLLECT 2275.31/2283.68 c rational objective 91 2334.17/2342.71 c #Conflicts: 1303000 | #Constraints: 30189 2334.17/2342.71 c #Conflicts: 1304000 | #Constraints: 31189 2334.17/2342.71 c #Conflicts: 1305000 | #Constraints: 32189 2334.17/2342.71 c #Conflicts: 1306000 | #Constraints: 33189 2334.17/2342.71 c #Conflicts: 1307000 | #Constraints: 34189 2334.17/2342.71 c #Conflicts: 1308000 | #Constraints: 35189 2334.17/2342.71 c #Conflicts: 1309000 | #Constraints: 36189 2334.17/2342.71 c #Conflicts: 1310000 | #Constraints: 37189 2334.17/2342.71 c #Conflicts: 1311000 | #Constraints: 38189 2334.17/2342.71 c #Conflicts: 1312000 | #Constraints: 39189 2334.17/2342.71 c #Conflicts: 1313000 | #Constraints: 40189 2334.17/2342.71 c #Conflicts: 1314000 | #Constraints: 41189 2334.17/2342.71 c #Conflicts: 1315000 | #Constraints: 42189 2334.17/2342.71 c #Conflicts: 1316000 | #Constraints: 43189 2334.17/2342.71 c #Conflicts: 1317000 | #Constraints: 44189 2334.17/2342.71 c #Conflicts: 1318000 | #Constraints: 45189 2334.17/2342.71 c #Conflicts: 1319000 | #Constraints: 46189 2334.17/2342.71 c #Conflicts: 1320000 | #Constraints: 47189 2334.17/2342.71 c #Conflicts: 1321000 | #Constraints: 48189 2334.17/2342.71 c #Conflicts: 1322000 | #Constraints: 49189 2334.17/2342.71 c #Conflicts: 1323000 | #Constraints: 50189 2334.17/2342.71 c #Conflicts: 1324000 | #Constraints: 51189 2334.17/2342.71 c #Conflicts: 1325000 | #Constraints: 52189 2334.17/2342.71 c INPROCESSING 2334.17/2342.71 c GARBAGE COLLECT 2334.17/2342.71 c rational objective 91 2437.76/2446.70 c #Conflicts: 1326000 | #Constraints: 30377 2437.76/2446.70 c #Conflicts: 1327000 | #Constraints: 31377 2437.76/2446.70 c #Conflicts: 1328000 | #Constraints: 32377 2437.76/2446.70 c #Conflicts: 1329000 | #Constraints: 33377 2437.76/2446.70 c #Conflicts: 1330000 | #Constraints: 34377 2437.76/2446.70 c #Conflicts: 1331000 | #Constraints: 35377 2437.76/2446.70 c #Conflicts: 1332000 | #Constraints: 36377 2437.76/2446.70 c #Conflicts: 1333000 | #Constraints: 37377 2437.76/2446.70 c #Conflicts: 1334000 | #Constraints: 38377 2437.76/2446.70 c #Conflicts: 1335000 | #Constraints: 39377 2437.76/2446.70 c #Conflicts: 1336000 | #Constraints: 40377 2437.76/2446.70 c #Conflicts: 1337000 | #Constraints: 41377 2437.76/2446.70 c #Conflicts: 1338000 | #Constraints: 42377 2437.76/2446.70 c #Conflicts: 1339000 | #Constraints: 43377 2437.76/2446.70 c #Conflicts: 1340000 | #Constraints: 44377 2437.76/2446.70 c #Conflicts: 1341000 | #Constraints: 45377 2437.76/2446.70 c #Conflicts: 1342000 | #Constraints: 46377 2437.76/2446.70 c #Conflicts: 1343000 | #Constraints: 47377 2437.76/2446.70 c #Conflicts: 1344000 | #Constraints: 48377 2437.76/2446.70 c #Conflicts: 1345000 | #Constraints: 49377 2437.76/2446.70 c #Conflicts: 1346000 | #Constraints: 50377 2437.76/2446.70 c #Conflicts: 1347000 | #Constraints: 51377 2437.76/2446.70 c #Conflicts: 1348000 | #Constraints: 52377 2437.76/2446.70 c INPROCESSING 2437.76/2446.70 c GARBAGE COLLECT 2437.76/2446.70 c rational objective 91 2501.00/2510.28 c #Conflicts: 1349000 | #Constraints: 30397 2501.00/2510.28 c #Conflicts: 1350000 | #Constraints: 31397 2501.00/2510.28 c #Conflicts: 1351000 | #Constraints: 32397 2501.00/2510.28 c #Conflicts: 1352000 | #Constraints: 33397 2501.00/2510.28 c #Conflicts: 1353000 | #Constraints: 34397 2501.00/2510.28 c #Conflicts: 1354000 | #Constraints: 35397 2501.00/2510.28 c #Conflicts: 1355000 | #Constraints: 36397 2501.00/2510.28 c #Conflicts: 1356000 | #Constraints: 37397 2501.00/2510.28 c #Conflicts: 1357000 | #Constraints: 38397 2501.00/2510.28 c #Conflicts: 1358000 | #Constraints: 39397 2501.00/2510.28 c #Conflicts: 1359000 | #Constraints: 40397 2501.00/2510.28 c #Conflicts: 1360000 | #Constraints: 41397 2501.00/2510.28 c #Conflicts: 1361000 | #Constraints: 42397 2501.00/2510.28 c #Conflicts: 1362000 | #Constraints: 43397 2501.00/2510.28 c #Conflicts: 1363000 | #Constraints: 44397 2501.00/2510.28 c #Conflicts: 1364000 | #Constraints: 45397 2501.00/2510.28 c #Conflicts: 1365000 | #Constraints: 46397 2501.00/2510.28 c #Conflicts: 1366000 | #Constraints: 47397 2501.00/2510.28 c #Conflicts: 1367000 | #Constraints: 48397 2501.00/2510.28 c #Conflicts: 1368000 | #Constraints: 49397 2501.00/2510.28 c #Conflicts: 1369000 | #Constraints: 50397 2501.00/2510.28 c #Conflicts: 1370000 | #Constraints: 51397 2501.00/2510.28 c #Conflicts: 1371000 | #Constraints: 52397 2501.00/2510.28 c INPROCESSING 2501.00/2510.28 c GARBAGE COLLECT 2501.00/2510.28 c rational objective 91 2595.86/2605.49 c #Conflicts: 1372000 | #Constraints: 30168 2595.86/2605.49 c #Conflicts: 1373000 | #Constraints: 31168 2595.86/2605.49 c #Conflicts: 1374000 | #Constraints: 32168 2595.86/2605.49 c #Conflicts: 1375000 | #Constraints: 33168 2595.86/2605.49 c #Conflicts: 1376000 | #Constraints: 34168 2595.86/2605.49 c #Conflicts: 1377000 | #Constraints: 35168 2595.86/2605.49 c #Conflicts: 1378000 | #Constraints: 36168 2595.86/2605.49 c #Conflicts: 1379000 | #Constraints: 37168 2595.86/2605.49 c #Conflicts: 1380000 | #Constraints: 38168 2595.86/2605.49 c #Conflicts: 1381000 | #Constraints: 39168 2595.86/2605.49 c #Conflicts: 1382000 | #Constraints: 40168 2595.86/2605.49 c #Conflicts: 1383000 | #Constraints: 41168 2595.86/2605.49 c #Conflicts: 1384000 | #Constraints: 42168 2595.86/2605.49 c #Conflicts: 1385000 | #Constraints: 43168 2595.86/2605.49 c #Conflicts: 1386000 | #Constraints: 44168 2595.86/2605.49 c #Conflicts: 1387000 | #Constraints: 45168 2595.86/2605.49 c #Conflicts: 1388000 | #Constraints: 46168 2595.86/2605.49 c #Conflicts: 1389000 | #Constraints: 47168 2595.86/2605.49 c #Conflicts: 1390000 | #Constraints: 48168 2595.86/2605.49 c #Conflicts: 1391000 | #Constraints: 49168 2595.86/2605.49 c #Conflicts: 1392000 | #Constraints: 50168 2595.86/2605.49 c #Conflicts: 1393000 | #Constraints: 51168 2595.86/2605.49 c #Conflicts: 1394000 | #Constraints: 52168 2595.86/2605.49 c #Conflicts: 1395000 | #Constraints: 53168 2595.86/2605.49 c INPROCESSING 2595.86/2605.49 c GARBAGE COLLECT 2595.86/2605.49 c rational objective 91 2656.17/2665.95 c #Conflicts: 1396000 | #Constraints: 30788 2656.17/2665.95 c #Conflicts: 1397000 | #Constraints: 31788 2656.17/2665.95 c #Conflicts: 1398000 | #Constraints: 32788 2656.17/2665.95 c #Conflicts: 1399000 | #Constraints: 33788 2656.17/2665.95 c #Conflicts: 1400000 | #Constraints: 34788 2656.17/2665.95 c #Conflicts: 1401000 | #Constraints: 35788 2656.17/2665.95 c #Conflicts: 1402000 | #Constraints: 36788 2656.17/2665.95 c #Conflicts: 1403000 | #Constraints: 37788 2656.17/2665.95 c #Conflicts: 1404000 | #Constraints: 38788 2656.17/2665.95 c #Conflicts: 1405000 | #Constraints: 39788 2656.17/2665.95 c #Conflicts: 1406000 | #Constraints: 40788 2656.17/2665.95 c #Conflicts: 1407000 | #Constraints: 41788 2656.17/2665.95 c #Conflicts: 1408000 | #Constraints: 42788 2656.17/2665.95 c #Conflicts: 1409000 | #Constraints: 43788 2656.17/2665.95 c #Conflicts: 1410000 | #Constraints: 44788 2656.17/2665.95 c #Conflicts: 1411000 | #Constraints: 45788 2656.17/2665.95 c #Conflicts: 1412000 | #Constraints: 46788 2656.17/2665.95 c #Conflicts: 1413000 | #Constraints: 47788 2656.17/2665.95 c #Conflicts: 1414000 | #Constraints: 48788 2656.17/2665.95 c #Conflicts: 1415000 | #Constraints: 49788 2656.17/2665.95 c #Conflicts: 1416000 | #Constraints: 50788 2656.17/2665.95 c #Conflicts: 1417000 | #Constraints: 51788 2656.17/2665.95 c #Conflicts: 1418000 | #Constraints: 52788 2656.17/2665.95 c #Conflicts: 1419000 | #Constraints: 53788 2656.17/2665.95 c INPROCESSING 2656.17/2665.95 c GARBAGE COLLECT 2656.17/2665.95 c rational objective 91 2714.98/2724.94 c #Conflicts: 1420000 | #Constraints: 31181 2714.98/2724.94 c #Conflicts: 1421000 | #Constraints: 32181 2714.98/2724.94 c #Conflicts: 1422000 | #Constraints: 33181 2714.98/2724.94 c #Conflicts: 1423000 | #Constraints: 34181 2714.98/2724.94 c #Conflicts: 1424000 | #Constraints: 35181 2714.98/2724.94 c #Conflicts: 1425000 | #Constraints: 36181 2714.98/2724.94 c #Conflicts: 1426000 | #Constraints: 37181 2714.98/2724.94 c #Conflicts: 1427000 | #Constraints: 38181 2714.98/2724.94 c #Conflicts: 1428000 | #Constraints: 39181 2714.98/2724.94 c #Conflicts: 1429000 | #Constraints: 40181 2714.98/2724.94 c #Conflicts: 1430000 | #Constraints: 41181 2714.98/2724.94 c #Conflicts: 1431000 | #Constraints: 42181 2714.98/2724.94 c #Conflicts: 1432000 | #Constraints: 43181 2714.98/2724.94 c #Conflicts: 1433000 | #Constraints: 44181 2714.98/2724.94 c #Conflicts: 1434000 | #Constraints: 45181 2714.98/2724.94 c #Conflicts: 1435000 | #Constraints: 46181 2714.98/2724.94 c #Conflicts: 1436000 | #Constraints: 47181 2714.98/2724.94 c #Conflicts: 1437000 | #Constraints: 48181 2714.98/2724.94 c #Conflicts: 1438000 | #Constraints: 49181 2714.98/2724.94 c #Conflicts: 1439000 | #Constraints: 50181 2714.98/2724.94 c #Conflicts: 1440000 | #Constraints: 51181 2714.98/2724.94 c #Conflicts: 1441000 | #Constraints: 52181 2714.98/2724.94 c #Conflicts: 1442000 | #Constraints: 53181 2714.98/2724.94 c #Conflicts: 1443000 | #Constraints: 54181 2714.98/2724.94 c INPROCESSING 2714.98/2724.94 c GARBAGE COLLECT 2714.98/2724.94 c rational objective 91 2788.94/2799.16 c #Conflicts: 1444000 | #Constraints: 31375 2788.94/2799.16 c #Conflicts: 1445000 | #Constraints: 32375 2788.94/2799.16 c #Conflicts: 1446000 | #Constraints: 33375 2788.94/2799.16 c #Conflicts: 1447000 | #Constraints: 34375 2788.94/2799.16 c #Conflicts: 1448000 | #Constraints: 35375 2788.94/2799.16 c #Conflicts: 1449000 | #Constraints: 36375 2788.94/2799.16 c #Conflicts: 1450000 | #Constraints: 37375 2788.94/2799.16 c #Conflicts: 1451000 | #Constraints: 38375 2788.94/2799.16 c #Conflicts: 1452000 | #Constraints: 39375 2788.94/2799.16 c #Conflicts: 1453000 | #Constraints: 40375 2788.94/2799.16 c #Conflicts: 1454000 | #Constraints: 41375 2788.94/2799.16 c #Conflicts: 1455000 | #Constraints: 42375 2788.94/2799.16 c #Conflicts: 1456000 | #Constraints: 43375 2788.94/2799.16 c #Conflicts: 1457000 | #Constraints: 44375 2788.94/2799.16 c #Conflicts: 1458000 | #Constraints: 45375 2788.94/2799.16 c #Conflicts: 1459000 | #Constraints: 46375 2788.94/2799.16 c #Conflicts: 1460000 | #Constraints: 47375 2788.94/2799.16 c #Conflicts: 1461000 | #Constraints: 48375 2788.94/2799.16 c #Conflicts: 1462000 | #Constraints: 49375 2788.94/2799.16 c #Conflicts: 1463000 | #Constraints: 50375 2788.94/2799.16 c #Conflicts: 1464000 | #Constraints: 51375 2788.94/2799.16 c #Conflicts: 1465000 | #Constraints: 52375 2788.94/2799.16 c #Conflicts: 1466000 | #Constraints: 53375 2788.94/2799.16 c #Conflicts: 1467000 | #Constraints: 54375 2788.94/2799.16 c INPROCESSING 2788.94/2799.16 c GARBAGE COLLECT 2788.94/2799.16 c rational objective 91 2851.43/2861.89 c #Conflicts: 1468000 | #Constraints: 31394 2851.43/2861.89 c #Conflicts: 1469000 | #Constraints: 32394 2851.43/2861.89 c #Conflicts: 1470000 | #Constraints: 33394 2851.43/2861.89 c #Conflicts: 1471000 | #Constraints: 34394 2851.43/2861.89 c #Conflicts: 1472000 | #Constraints: 35394 2851.43/2861.89 c #Conflicts: 1473000 | #Constraints: 36394 2851.43/2861.89 c #Conflicts: 1474000 | #Constraints: 37394 2851.43/2861.89 c #Conflicts: 1475000 | #Constraints: 38394 2851.43/2861.89 c #Conflicts: 1476000 | #Constraints: 39394 2851.43/2861.89 c #Conflicts: 1477000 | #Constraints: 40394 2851.43/2861.89 c #Conflicts: 1478000 | #Constraints: 41394 2851.43/2861.89 c #Conflicts: 1479000 | #Constraints: 42394 2851.43/2861.89 c #Conflicts: 1480000 | #Constraints: 43394 2851.43/2861.89 c #Conflicts: 1481000 | #Constraints: 44394 2851.43/2861.89 c #Conflicts: 1482000 | #Constraints: 45394 2851.43/2861.89 c #Conflicts: 1483000 | #Constraints: 46394 2851.43/2861.89 c #Conflicts: 1484000 | #Constraints: 47394 2851.43/2861.89 c #Conflicts: 1485000 | #Constraints: 48394 2851.43/2861.89 c #Conflicts: 1486000 | #Constraints: 49394 2851.43/2861.89 c #Conflicts: 1487000 | #Constraints: 50394 2851.43/2861.89 c #Conflicts: 1488000 | #Constraints: 51394 2851.43/2861.89 c #Conflicts: 1489000 | #Constraints: 52394 2851.43/2861.89 c #Conflicts: 1490000 | #Constraints: 53394 2851.43/2861.89 c #Conflicts: 1491000 | #Constraints: 54394 2851.43/2861.89 c INPROCESSING 2851.43/2861.89 c GARBAGE COLLECT 2851.43/2861.89 c rational objective 91 2951.00/2961.72 c #Conflicts: 1492000 | #Constraints: 31190 2951.00/2961.72 c #Conflicts: 1493000 | #Constraints: 32190 2951.00/2961.72 c #Conflicts: 1494000 | #Constraints: 33190 2951.00/2961.72 c #Conflicts: 1495000 | #Constraints: 34190 2951.00/2961.72 c #Conflicts: 1496000 | #Constraints: 35190 2951.00/2961.72 c #Conflicts: 1497000 | #Constraints: 36190 2951.00/2961.72 c #Conflicts: 1498000 | #Constraints: 37190 2951.00/2961.72 c #Conflicts: 1499000 | #Constraints: 38190 2951.00/2961.72 c #Conflicts: 1500000 | #Constraints: 39190 2951.00/2961.72 c #Conflicts: 1501000 | #Constraints: 40190 2951.00/2961.72 c #Conflicts: 1502000 | #Constraints: 41190 2951.00/2961.72 c #Conflicts: 1503000 | #Constraints: 42190 2951.00/2961.72 c #Conflicts: 1504000 | #Constraints: 43190 2951.00/2961.72 c #Conflicts: 1505000 | #Constraints: 44190 2951.00/2961.72 c #Conflicts: 1506000 | #Constraints: 45190 2951.00/2961.72 c #Conflicts: 1507000 | #Constraints: 46190 2951.00/2961.72 c #Conflicts: 1508000 | #Constraints: 47190 2951.00/2961.72 c #Conflicts: 1509000 | #Constraints: 48190 2951.00/2961.72 c #Conflicts: 1510000 | #Constraints: 49190 2951.00/2961.72 c #Conflicts: 1511000 | #Constraints: 50190 2951.00/2961.72 c #Conflicts: 1512000 | #Constraints: 51190 2951.00/2961.72 c #Conflicts: 1513000 | #Constraints: 52190 2951.00/2961.72 c #Conflicts: 1514000 | #Constraints: 53190 2951.00/2961.72 c #Conflicts: 1515000 | #Constraints: 54190 2951.00/2961.72 c #Conflicts: 1516000 | #Constraints: 55190 2951.00/2961.72 c INPROCESSING 2951.00/2961.72 c GARBAGE COLLECT 2951.00/2961.72 c rational objective 91 3012.21/3023.19 c #Conflicts: 1517000 | #Constraints: 31812 3012.21/3023.19 c #Conflicts: 1518000 | #Constraints: 32812 3012.21/3023.19 c #Conflicts: 1519000 | #Constraints: 33812 3012.21/3023.19 c #Conflicts: 1520000 | #Constraints: 34812 3012.21/3023.19 c #Conflicts: 1521000 | #Constraints: 35812 3012.21/3023.19 c #Conflicts: 1522000 | #Constraints: 36812 3012.21/3023.19 c #Conflicts: 1523000 | #Constraints: 37812 3012.21/3023.19 c #Conflicts: 1524000 | #Constraints: 38812 3012.21/3023.19 c #Conflicts: 1525000 | #Constraints: 39812 3012.21/3023.19 c #Conflicts: 1526000 | #Constraints: 40812 3012.21/3023.19 c #Conflicts: 1527000 | #Constraints: 41812 3012.21/3023.19 c #Conflicts: 1528000 | #Constraints: 42812 3012.21/3023.19 c #Conflicts: 1529000 | #Constraints: 43812 3012.21/3023.19 c #Conflicts: 1530000 | #Constraints: 44812 3012.21/3023.19 c #Conflicts: 1531000 | #Constraints: 45812 3012.21/3023.19 c #Conflicts: 1532000 | #Constraints: 46812 3012.21/3023.19 c #Conflicts: 1533000 | #Constraints: 47812 3012.21/3023.19 c #Conflicts: 1534000 | #Constraints: 48812 3012.21/3023.19 c #Conflicts: 1535000 | #Constraints: 49812 3012.21/3023.19 c #Conflicts: 1536000 | #Constraints: 50812 3012.21/3023.19 c #Conflicts: 1537000 | #Constraints: 51812 3012.21/3023.19 c #Conflicts: 1538000 | #Constraints: 52812 3012.21/3023.19 c #Conflicts: 1539000 | #Constraints: 53812 3012.21/3023.19 c #Conflicts: 1540000 | #Constraints: 54812 3012.21/3023.19 c #Conflicts: 1541000 | #Constraints: 55812 3012.21/3023.19 c INPROCESSING 3012.21/3023.19 c GARBAGE COLLECT 3012.21/3023.19 c rational objective 91 3118.34/3129.63 c #Conflicts: 1542000 | #Constraints: 32178 3118.34/3129.63 c #Conflicts: 1543000 | #Constraints: 33178 3118.34/3129.63 c #Conflicts: 1544000 | #Constraints: 34178 3118.34/3129.63 c #Conflicts: 1545000 | #Constraints: 35178 3118.34/3129.63 c #Conflicts: 1546000 | #Constraints: 36178 3118.34/3129.63 c #Conflicts: 1547000 | #Constraints: 37178 3118.34/3129.63 c #Conflicts: 1548000 | #Constraints: 38178 3118.34/3129.63 c #Conflicts: 1549000 | #Constraints: 39178 3118.34/3129.63 c #Conflicts: 1550000 | #Constraints: 40178 3118.34/3129.63 c #Conflicts: 1551000 | #Constraints: 41178 3118.34/3129.63 c #Conflicts: 1552000 | #Constraints: 42178 3118.34/3129.63 c #Conflicts: 1553000 | #Constraints: 43178 3118.34/3129.63 c #Conflicts: 1554000 | #Constraints: 44178 3118.34/3129.63 c #Conflicts: 1555000 | #Constraints: 45178 3118.34/3129.63 c #Conflicts: 1556000 | #Constraints: 46178 3118.34/3129.63 c #Conflicts: 1557000 | #Constraints: 47178 3118.34/3129.63 c #Conflicts: 1558000 | #Constraints: 48178 3118.34/3129.63 c #Conflicts: 1559000 | #Constraints: 49178 3118.34/3129.63 c #Conflicts: 1560000 | #Constraints: 50178 3118.34/3129.63 c #Conflicts: 1561000 | #Constraints: 51178 3118.34/3129.63 c #Conflicts: 1562000 | #Constraints: 52178 3118.34/3129.63 c #Conflicts: 1563000 | #Constraints: 53178 3118.34/3129.63 c #Conflicts: 1564000 | #Constraints: 54178 3118.34/3129.63 c #Conflicts: 1565000 | #Constraints: 55178 3118.34/3129.63 c #Conflicts: 1566000 | #Constraints: 56178 3118.34/3129.63 c INPROCESSING 3118.34/3129.63 c GARBAGE COLLECT 3118.34/3129.63 c rational objective 91 3185.32/3196.85 c #Conflicts: 1567000 | #Constraints: 32398 3185.32/3196.85 c #Conflicts: 1568000 | #Constraints: 33398 3185.32/3196.85 c #Conflicts: 1569000 | #Constraints: 34398 3185.32/3196.85 c #Conflicts: 1570000 | #Constraints: 35398 3185.32/3196.85 c #Conflicts: 1571000 | #Constraints: 36398 3185.32/3196.85 c #Conflicts: 1572000 | #Constraints: 37398 3185.32/3196.85 c #Conflicts: 1573000 | #Constraints: 38398 3185.32/3196.85 c #Conflicts: 1574000 | #Constraints: 39398 3185.32/3196.85 c #Conflicts: 1575000 | #Constraints: 40398 3185.32/3196.85 c #Conflicts: 1576000 | #Constraints: 41398 3185.32/3196.85 c #Conflicts: 1577000 | #Constraints: 42398 3185.32/3196.85 c #Conflicts: 1578000 | #Constraints: 43398 3185.32/3196.85 c #Conflicts: 1579000 | #Constraints: 44398 3185.32/3196.85 c #Conflicts: 1580000 | #Constraints: 45398 3185.32/3196.85 c #Conflicts: 1581000 | #Constraints: 46398 3185.32/3196.85 c #Conflicts: 1582000 | #Constraints: 47398 3185.32/3196.85 c #Conflicts: 1583000 | #Constraints: 48398 3185.32/3196.85 c #Conflicts: 1584000 | #Constraints: 49398 3185.32/3196.85 c #Conflicts: 1585000 | #Constraints: 50398 3185.32/3196.85 c #Conflicts: 1586000 | #Constraints: 51398 3185.32/3196.85 c #Conflicts: 1587000 | #Constraints: 52398 3185.32/3196.85 c #Conflicts: 1588000 | #Constraints: 53398 3185.32/3196.85 c #Conflicts: 1589000 | #Constraints: 54398 3185.32/3196.85 c #Conflicts: 1590000 | #Constraints: 55398 3185.32/3196.85 c #Conflicts: 1591000 | #Constraints: 56398 3185.32/3196.85 c INPROCESSING 3185.32/3196.85 c GARBAGE COLLECT 3185.32/3196.85 c rational objective 91 3252.80/3264.53 c #Conflicts: 1592000 | #Constraints: 32389 3252.80/3264.53 c #Conflicts: 1593000 | #Constraints: 33389 3252.80/3264.53 c #Conflicts: 1594000 | #Constraints: 34389 3252.80/3264.53 c #Conflicts: 1595000 | #Constraints: 35389 3252.80/3264.53 c #Conflicts: 1596000 | #Constraints: 36389 3252.80/3264.53 c #Conflicts: 1597000 | #Constraints: 37389 3252.80/3264.53 c #Conflicts: 1598000 | #Constraints: 38389 3252.80/3264.53 c #Conflicts: 1599000 | #Constraints: 39389 3252.80/3264.53 c #Conflicts: 1600000 | #Constraints: 40389 3252.80/3264.53 c #Conflicts: 1601000 | #Constraints: 41389 3252.80/3264.53 c #Conflicts: 1602000 | #Constraints: 42389 3252.80/3264.53 c #Conflicts: 1603000 | #Constraints: 43389 3252.80/3264.53 c #Conflicts: 1604000 | #Constraints: 44389 3252.80/3264.53 c #Conflicts: 1605000 | #Constraints: 45389 3252.80/3264.53 c #Conflicts: 1606000 | #Constraints: 46389 3252.80/3264.53 c #Conflicts: 1607000 | #Constraints: 47389 3252.80/3264.53 c #Conflicts: 1608000 | #Constraints: 48389 3252.80/3264.53 c #Conflicts: 1609000 | #Constraints: 49389 3252.80/3264.53 c #Conflicts: 1610000 | #Constraints: 50389 3252.80/3264.53 c #Conflicts: 1611000 | #Constraints: 51389 3252.80/3264.53 c #Conflicts: 1612000 | #Constraints: 52389 3252.80/3264.53 c #Conflicts: 1613000 | #Constraints: 53389 3252.80/3264.53 c #Conflicts: 1614000 | #Constraints: 54389 3252.80/3264.53 c #Conflicts: 1615000 | #Constraints: 55389 3252.80/3264.53 c #Conflicts: 1616000 | #Constraints: 56389 3252.80/3264.53 c INPROCESSING 3252.80/3264.53 c GARBAGE COLLECT 3252.80/3264.53 c rational objective 91 3369.02/3381.19 c #Conflicts: 1617000 | #Constraints: 32167 3369.02/3381.19 c #Conflicts: 1618000 | #Constraints: 33167 3369.02/3381.19 c #Conflicts: 1619000 | #Constraints: 34167 3369.02/3381.19 c #Conflicts: 1620000 | #Constraints: 35167 3369.02/3381.19 c #Conflicts: 1621000 | #Constraints: 36167 3369.02/3381.19 c #Conflicts: 1622000 | #Constraints: 37167 3369.02/3381.19 c #Conflicts: 1623000 | #Constraints: 38167 3369.02/3381.19 c #Conflicts: 1624000 | #Constraints: 39167 3369.02/3381.19 c #Conflicts: 1625000 | #Constraints: 40167 3369.02/3381.19 c #Conflicts: 1626000 | #Constraints: 41167 3369.02/3381.19 c #Conflicts: 1627000 | #Constraints: 42167 3369.02/3381.19 c #Conflicts: 1628000 | #Constraints: 43167 3369.02/3381.19 c #Conflicts: 1629000 | #Constraints: 44167 3369.02/3381.19 c #Conflicts: 1630000 | #Constraints: 45167 3369.02/3381.19 c #Conflicts: 1631000 | #Constraints: 46167 3369.02/3381.19 c #Conflicts: 1632000 | #Constraints: 47167 3369.02/3381.19 c #Conflicts: 1633000 | #Constraints: 48167 3369.02/3381.19 c #Conflicts: 1634000 | #Constraints: 49167 3369.02/3381.19 c #Conflicts: 1635000 | #Constraints: 50167 3369.02/3381.19 c #Conflicts: 1636000 | #Constraints: 51167 3369.02/3381.19 c #Conflicts: 1637000 | #Constraints: 52167 3369.02/3381.19 c #Conflicts: 1638000 | #Constraints: 53167 3369.02/3381.19 c #Conflicts: 1639000 | #Constraints: 54167 3369.02/3381.19 c #Conflicts: 1640000 | #Constraints: 55167 3369.02/3381.19 c #Conflicts: 1641000 | #Constraints: 56167 3369.02/3381.19 c #Conflicts: 1642000 | #Constraints: 57167 3369.02/3381.19 c INPROCESSING 3369.02/3381.19 c GARBAGE COLLECT 3369.02/3381.19 c rational objective 91 3444.47/3456.85 c #Conflicts: 1643000 | #Constraints: 32792 3444.47/3456.85 c #Conflicts: 1644000 | #Constraints: 33792 3444.47/3456.85 c #Conflicts: 1645000 | #Constraints: 34792 3444.47/3456.85 c #Conflicts: 1646000 | #Constraints: 35792 3444.47/3456.85 c #Conflicts: 1647000 | #Constraints: 36792 3444.47/3456.85 c #Conflicts: 1648000 | #Constraints: 37792 3444.47/3456.85 c #Conflicts: 1649000 | #Constraints: 38792 3444.47/3456.85 c #Conflicts: 1650000 | #Constraints: 39792 3444.47/3456.85 c #Conflicts: 1651000 | #Constraints: 40792 3444.47/3456.85 c #Conflicts: 1652000 | #Constraints: 41792 3444.47/3456.85 c #Conflicts: 1653000 | #Constraints: 42792 3444.47/3456.85 c #Conflicts: 1654000 | #Constraints: 43792 3444.47/3456.85 c #Conflicts: 1655000 | #Constraints: 44792 3444.47/3456.85 c #Conflicts: 1656000 | #Constraints: 45792 3444.47/3456.85 c #Conflicts: 1657000 | #Constraints: 46792 3444.47/3456.85 c #Conflicts: 1658000 | #Constraints: 47792 3444.47/3456.85 c #Conflicts: 1659000 | #Constraints: 48792 3444.47/3456.85 c #Conflicts: 1660000 | #Constraints: 49792 3444.47/3456.85 c #Conflicts: 1661000 | #Constraints: 50792 3444.47/3456.85 c #Conflicts: 1662000 | #Constraints: 51792 3444.47/3456.85 c #Conflicts: 1663000 | #Constraints: 52792 3444.47/3456.85 c #Conflicts: 1664000 | #Constraints: 53792 3444.47/3456.85 c #Conflicts: 1665000 | #Constraints: 54792 3444.47/3456.85 c #Conflicts: 1666000 | #Constraints: 55792 3444.47/3456.85 c #Conflicts: 1667000 | #Constraints: 56792 3444.47/3456.85 c #Conflicts: 1668000 | #Constraints: 57792 3444.47/3456.85 c INPROCESSING 3444.47/3456.85 c GARBAGE COLLECT 3444.47/3456.85 c rational objective 91 3563.97/3576.79 c #Conflicts: 1669000 | #Constraints: 33191 3563.97/3576.79 c #Conflicts: 1670000 | #Constraints: 34191 3563.97/3576.79 c #Conflicts: 1671000 | #Constraints: 35191 3563.97/3576.79 c #Conflicts: 1672000 | #Constraints: 36191 3563.97/3576.79 c #Conflicts: 1673000 | #Constraints: 37191 3563.97/3576.79 c #Conflicts: 1674000 | #Constraints: 38191 3563.97/3576.79 c #Conflicts: 1675000 | #Constraints: 39191 3563.97/3576.79 c #Conflicts: 1676000 | #Constraints: 40191 3563.97/3576.79 c #Conflicts: 1677000 | #Constraints: 41191 3563.97/3576.79 c #Conflicts: 1678000 | #Constraints: 42191 3563.97/3576.79 c #Conflicts: 1679000 | #Constraints: 43191 3563.97/3576.79 c #Conflicts: 1680000 | #Constraints: 44191 3563.97/3576.79 c #Conflicts: 1681000 | #Constraints: 45191 3563.97/3576.79 c #Conflicts: 1682000 | #Constraints: 46191 3563.97/3576.79 c #Conflicts: 1683000 | #Constraints: 47191 3563.97/3576.79 c #Conflicts: 1684000 | #Constraints: 48191 3563.97/3576.79 c #Conflicts: 1685000 | #Constraints: 49191 3563.97/3576.79 c #Conflicts: 1686000 | #Constraints: 50191 3563.97/3576.79 c #Conflicts: 1687000 | #Constraints: 51191 3563.97/3576.79 c #Conflicts: 1688000 | #Constraints: 52191 3563.97/3576.79 c #Conflicts: 1689000 | #Constraints: 53191 3563.97/3576.79 c #Conflicts: 1690000 | #Constraints: 54191 3563.97/3576.79 c #Conflicts: 1691000 | #Constraints: 55191 3563.97/3576.79 c #Conflicts: 1692000 | #Constraints: 56191 3563.97/3576.79 c #Conflicts: 1693000 | #Constraints: 57191 3563.97/3576.79 c #Conflicts: 1694000 | #Constraints: 58191 3563.97/3576.79 c INPROCESSING 3563.97/3576.79 c GARBAGE COLLECT 3563.97/3576.79 c rational objective 91 3600.05/3612.90 c #Conflicts: 1695000 | #Constraints: 33432 3600.05/3612.90 c #Conflicts: 1696000 | #Constraints: 34432 3600.05/3612.90 c #Conflicts: 1697000 | #Constraints: 35432 3600.05/3612.90 c #Conflicts: 1698000 | #Constraints: 36432 3600.05/3612.90 c #Conflicts: 1699000 | #Constraints: 37432 3600.05/3612.90 c #Conflicts: 1700000 | #Constraints: 38432 3600.05/3612.90 c #Conflicts: 1701000 | #Constraints: 39432 3600.05/3612.90 c #Conflicts: 1702000 | #Constraints: 40432 3600.05/3612.90 c #Conflicts: 1703000 | #Constraints: 41432 3600.05/3612.90 c #Conflicts: 1704000 | #Constraints: 42432 3600.05/3612.90 c #Conflicts: 1705000 | #Constraints: 43432 3600.05/3612.90 c #Conflicts: 1706000 | #Constraints: 44432 3600.05/3612.90 c #Conflicts: 1707000 | #Constraints: 45432 3600.05/3612.90 c #Conflicts: 1708000 | #Constraints: 46432 3600.05/3612.90 c #Conflicts: 1709000 | #Constraints: 47432 3600.05/3612.90 c Program interrupted by user. 3600.05/3612.90 c cpu time 3574.52 s 3600.05/3612.90 c deterministic time 370723006129 3.71e+11 3600.05/3612.90 c optimization time 35.7597 s 3600.05/3612.90 c total solve time 3538.69 s 3600.05/3612.90 c core-guided solve time 1674.55 s 3600.05/3612.90 c propagation time 3387.24 s 3600.05/3612.90 c conflict analysis time 150.643 s 3600.05/3612.90 c propagations 776039876 3600.05/3612.90 c resolve steps 6901482 3600.05/3612.90 c decisions 8394612 3600.05/3612.90 c conflicts 1709090 3600.05/3612.90 c restarts 3289 3600.05/3612.90 c inprocessing phases 121 3600.05/3612.90 c input clauses 1 3600.05/3612.90 c input cardinalities 0 3600.05/3612.90 c input general constraints 6401 3600.05/3612.90 c input average constraint length 29.19 3600.05/3612.90 c input average constraint degree 443.40 3600.05/3612.90 c learned clauses 594794 3600.05/3612.90 c learned cardinalities 1 3600.05/3612.90 c learned general constraints 1114295 3600.05/3612.90 c learned average constraint length 44.40 3600.05/3612.90 c learned average constraint degree 1273562.08 3600.05/3612.90 c watched constraints 1113792 3600.05/3612.90 c counting constraints 6904 3600.05/3612.90 c gcd simplifications 14063 3600.05/3612.90 c detected cardinalities 1 3600.05/3612.90 c weakened non-implied lits 6486888 3600.05/3612.90 c weakened non-implying lits 7196 3600.05/3612.90 c original variables 3296 3600.05/3612.90 c clausal propagations 3269278 3600.05/3612.90 c cardinality propagations 1 3600.05/3612.90 c watched propagations 749149186 3600.05/3612.90 c counting propagations 22606781 3600.05/3612.90 c watch lookups 71383694368 3600.05/3612.90 c watch backjump lookups 65772365622 3600.05/3612.90 c watch checks 135604033340 3600.05/3612.90 c propagation checks 96131347544 3600.05/3612.90 c constraint additions 259249552 3600.05/3612.90 c trail pops 786141655 3600.05/3612.90 c formula constraints 6384 3600.05/3612.90 c learned constraints 1709088 3600.05/3612.90 c bound constraints 18 3600.05/3612.90 c core-guided constraints 0 3600.05/3612.90 c encountered formula constraints 6124029 3600.05/3612.90 c encountered learned constraints 2483173 3600.05/3612.90 c encountered bound constraints 3369 3600.05/3612.90 c encountered core-guided constraints 0 3600.05/3612.90 c LP total time 68.4928 s 3600.05/3612.90 c LP solve time 63.46 s 3600.05/3612.90 c LP constraints added 6897 3600.05/3612.90 c LP constraints removed 507 3600.05/3612.90 c LP pivots internal 1709180 3600.05/3612.90 c LP pivots root 30379 3600.05/3612.90 c LP calls 5083 3600.05/3612.90 c LP optimalities 5080 3600.05/3612.90 c LP no pivot count 311 3600.05/3612.90 c LP infeasibilities 1 3600.05/3612.90 c LP valid Farkas constraints 1 3600.05/3612.90 c LP learned Farkas constraints 1 3600.05/3612.90 c LP basis resets 0 3600.05/3612.90 c LP cycling count 0 3600.05/3612.90 c LP singular count 0 3600.05/3612.90 c LP no primal count 0 3600.05/3612.90 c LP no farkas count 0 3600.05/3612.90 c LP other issue count 0 3600.05/3612.90 c LP Gomory cuts 0 3600.05/3612.90 c LP learned cuts 513 3600.05/3612.90 c LP deleted cuts 507 3600.05/3612.90 c LP encountered Gomory constraints 0 3600.05/3612.90 c LP encountered Farkas constraints 0 3600.05/3612.90 c LP encountered learned Farkas constraints 0 3600.05/3612.90 c CG auxiliary variables introduced 0 3600.05/3612.90 c CG solutions found 18 3600.05/3612.90 c CG cores constructed 1 3600.05/3612.90 c CG core cardinality constraints returned 0 3600.05/3612.90 c CG unit cores 1 3600.05/3612.90 c CG single cores 0 3600.05/3612.90 c CG blocks removed during cardinality reduction 0 3600.05/3612.90 c CG first core best 0 3600.05/3612.90 c CG decision core best 0 3600.05/3612.90 c CG core reduction tie 0 3600.05/3612.90 c CG core degree average 0.00 3600.05/3612.90 c CG core slack average 0.00 3600.05/3612.90 s SATISFIABLE 3600.05/3612.90 v -x1 -x2 -x3 x4 x5 x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 x44 -x45 -x46 -x47 x48 x49 -x50 x51 x52 -x53 -x54 -x55 x56 -x57 x58 x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 x74 x75 -x76 x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 x94 -x95 -x96 x97 -x98 x99 x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 -x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 -x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 -x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 -x370 -x371 x372 x373 -x374 x375 x376 x377 x378 -x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 -x420 x421 x422 x423 x424 x425 x426 x427 x428 -x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 -x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 -x455 -x456 x457 x458 -x459 x460 x461 x462 x463 -x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 -x492 x493 x494 x495 x496 x497 x498 x499 x500 -x501 -x502 x503 x504 x505 x506 x507 x508 x509 -x510 -x511 x512 x513 x514 x515 x516 x517 -x518 -x519 x520 x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 -x562 x563 x564 x565 x566 x567 x568 x569 -x570 x571 x572 x573 x574 x575 x576 x577 -x578 -x579 x580 x581 x582 x583 x584 x585 -x586 -x587 -x588 x589 x590 x591 x592 x593 -x594 -x595 x596 x597 x598 x599 x600 -x601 x602 x603 x604 x605 x606 -x607 x608 x609 x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 -x650 -x651 x652 x653 x654 x655 x656 -x657 -x658 x659 x660 x661 x662 x663 -x664 -x665 x666 x667 x668 x669 x670 -x671 x672 x673 x674 x675 x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 -x710 x711 x712 x713 x714 x715 -x716 x717 x718 x719 x720 x721 -x722 x723 x724 x725 x726 x727 -x728 x729 x730 x731 x732 x733 -x734 -x735 -x736 -x737 x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 -x780 x781 x782 x783 x784 -x785 -x786 -x787 x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 x811 x812 x813 x814 x815 x816 x817 -x818 -x819 x820 x821 -x822 -x823 x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 x858 -x859 x860 x861 -x862 x863 x864 -x865 x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 x894 x895 x896 x897 x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978 x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 -x1002 x1003 x1004 x1005 x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 -x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 x1042 x1043 x1044 x1045 x1046 x1047 x1048 -x1049 x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 -x1075 -x1076 x1077 x1078 -x1079 x1080 x1081 x1082 x1083 -x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 -x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 -x1124 x1125 x1126 x1127 x1128 x1129 x1130 x1131 x1132 x1133 x1134 x1135 x1136 x1137 x1138 -x1139 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 -x1150 -x1151 x1152 x1153 -x1154 x1155 x1156 x1157 x1158 -x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 -x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 -x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 -x1196 -x1197 x1198 x1199 x1200 x1201 x1202 x1203 -x1204 -x1205 x1206 x1207 x1208 x1209 x1210 -x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 -x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 -x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 -x1256 -x1257 x1258 x1259 x1260 x1261 x1262 x1263 -x1264 -x1265 -x1266 x1267 x1268 x1269 x1270 x1271 -x1272 -x1273 x1274 x1275 x1276 x1277 x1278 -x1279 x1280 x1281 x1282 x1283 x1284 -x1285 x1286 x1287 x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 -x1321 -x1322 x1323 x1324 x1325 x1326 x1327 -x1328 -x1329 x1330 x1331 x1332 x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 x1341 -x1342 x1343 x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x1374 -x1375 x1376 x1377 x1378 x1379 x1380 -x1381 x1382 x1383 x1384 x1385 x1386 -x1387 x1388 x1389 x1390 x1391 x1392 -x1393 x1394 x1395 x1396 x1397 x1398 -x1399 -x1400 -x1401 -x1402 x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 -x1440 x1441 x1442 x1443 x1444 -x1445 -x1446 -x1447 x1448 x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 x1471 x1472 x1473 -x1474 -x1475 x1476 x1477 -x1478 -x1479 x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 x1514 -x1515 x1516 x1517 -x1518 x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 x1547 x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 x1609 x1610 x1611 x1612 x1613 x1614 x1615 x1616 x1617 x1618 x1619 x1620 x1621 x1622 x1623 x1624 x1625 x1626 x1627 x1628 x1629 x1630 x1631 x1632 x1633 x1634 x1635 -x1636 -x1637 x1638 x1639 -x1640 x1641 x1642 x1643 x1644 -x1645 x1646 x1647 x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657 x1658 x1659 x1660 x1661 x1662 x1663 x1664 x1665 -x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 -x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 x1683 x1684 x1685 x1686 x1687 x1688 x1689 -x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697 x1698 x1699 x1700 -x1701 -x1702 x1703 x1704 -x1705 x1706 x1707 x1708 x1709 -x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 -x1720 x1721 x1722 x1723 x1724 x1725 x1726 x1727 x1728 -x1729 -x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 -x1738 -x1739 x1740 x1741 x1742 x1743 x1744 x1745 -x1746 x1747 x1748 x1749 x1750 x1751 x1752 -x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 x1775 x1776 x1777 x1778 x1779 x1780 x1781 -x1782 x1783 x1784 x1785 x1786 x1787 x1788 x1789 -x1790 -x1791 x1792 x1793 x1794 x1795 x1796 x1797 -x1798 -x1799 -x1800 x1801 x1802 x1803 x1804 x1805 -x1806 -x1807 x1808 x1809 x1810 x1811 x1812 -x1813 x1814 x1815 x1816 x1817 x1818 -x1819 x1820 x1821 x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 -x1848 x1849 x1850 x1851 x1852 x1853 x1854 -x1855 -x1856 x1857 x1858 x1859 x1860 x1861 -x1862 -x1863 x1864 x1865 x1866 x1867 x1868 -x1869 x1870 x1871 x1872 x1873 x1874 -x1875 -x1876 -x1877 x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 x1892 x1893 x1894 x1895 -x1896 x1897 x1898 x1899 x1900 x1901 -x1902 x1903 x1904 x1905 x1906 x1907 -x1908 x1909 x1910 x1911 x1912 x1913 -x1914 x1915 x1916 x1917 x1918 x1919 -x1920 -x1921 -x1922 -x1923 x1924 x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 x1943 x1944 x1945 x1946 x1947 x1948 x1949 x1950 x1951 x1952 x1953 x1954 x1955 -x1956 x1957 x1958 x1959 x1960 -x1961 -x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 x1989 -x1990 -x1991 x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 x2026 -x2027 x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 x2087 x2088 x2089 x2090 x2091 x2092 x2093 x2094 x2095 x2096 x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 x2111 x2112 x2113 x2114 x2115 x2116 x2117 x2118 x2119 x2120 x2121 x2122 x2123 x2124 x2125 x2126 x2127 x2128 x2129 x2130 -x2131 -x2132 x2133 x2134 -x2135 x2136 x2137 x2138 x2139 -x2140 x2141 x2142 x2143 x2144 x2145 x2146 x2147 x2148 x2149 -x2150 -x2151 x2152 x2153 x2154 x2155 x2156 x2157 x2158 -x2159 x2160 x2161 x2162 x2163 x2164 x2165 x2166 -x2167 x2168 x2169 x2170 x2171 x2172 x2173 -x2174 x2175 x2176 x2177 x2178 x2179 x2180 x2181 x2182 x2183 x2184 -x2185 -x2186 x2187 x2188 -x2189 -x2190 x2191 -x2192 x2193 -x2194 x2195 x2196 x2197 x2198 x2199 x2200 x2201 x2202 -x2203 x2204 x2205 x2206 x2207 x2208 x2209 x2210 -x2211 -x2212 x2213 x2214 x2215 x2216 x2217 x2218 -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 -x2226 x2227 x2228 x2229 x2230 x2231 x2232 x2233 x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 x2248 x2249 x2250 x2251 x2252 x2253 -x2254 x2255 x2256 x2257 x2258 x2259 x2260 -x2261 -x2262 x2263 x2264 x2265 x2266 x2267 -x2268 -x2269 x2270 x2271 x2272 x2273 x2274 -x2275 x2276 x2277 x2278 x2279 x2280 -x2281 x2282 x2283 x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 x2298 x2299 x2300 x2301 -x2302 x2303 x2304 x2305 x2306 x2307 -x2308 x2309 x2310 x2311 x2312 x2313 -x2314 x2315 x2316 x2317 x2318 x2319 -x2320 -x2321 -x2322 -x2323 x2324 x2325 -x2326 -x2327 -x2328 x2329 x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 x2343 x2344 x2345 x2346 x2347 x2348 x2349 x2350 x2351 x2352 x2353 x2354 x2355 -x2356 x2357 x2358 x2359 x2360 -x2361 -x2362 -x2363 x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 x2384 -x2385 -x2386 x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 x2489 x2490 x2491 x2492 x2493 x2494 -x2495 x2496 x2497 x2498 x2499 x2500 x2501 x2502 x2503 x2504 x2505 -x2506 -x2507 x2508 x2509 -x2510 x2511 x2512 x2513 x2514 -x2515 -x2516 x2517 x2518 x2519 x2520 x2521 x2522 x2523 -x2524 -x2525 x2526 x2527 x2528 x2529 x2530 x2531 -x2532 x2533 x2534 x2535 x2536 x2537 x2538 -x2539 x2540 x2541 x2542 x2543 x2544 x2545 x2546 x2547 x2548 x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 x2561 x2562 x2563 x2564 x2565 x2566 -x2567 x2568 x2569 x2570 x2571 x2572 x2573 -x2574 -x2575 x2576 x2577 x2578 x2579 x2580 -x2581 x2582 x2583 x2584 x2585 x2586 x2587 x2588 x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 x2604 x2605 x2606 x2607 -x2608 x2609 x2610 x2611 x2612 x2613 -x2614 x2615 x2616 x2617 x2618 x2619 -x2620 -x2621 x2622 x2623 x2624 x2625 -x2626 -x2627 -x2628 x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 x2648 x2649 x2650 x2651 x2652 x2653 x2654 x2655 -x2656 -x2657 -x2658 x2659 x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 x2758 x2759 x2760 x2761 x2762 x2763 x2764 x2765 x2766 x2767 x2768 x2769 x2770 x2771 x2772 x2773 x2774 x2775 x2776 x2777 x2778 x2779 x2780 x2781 -x2782 -x2783 x2784 x2785 -x2786 x2787 x2788 x2789 x2790 -x2791 x2792 x2793 x2794 x2795 x2796 x2797 x2798 -x2799 x2800 x2801 x2802 x2803 x2804 x2805 -x2806 x2807 x2808 x2809 x2810 x2811 x2812 x2813 x2814 x2815 x2816 -x2817 -x2818 x2819 x2820 -x2821 x2822 x2823 x2824 x2825 -x2826 x2827 x2828 x2829 x2830 x2831 x2832 -x2833 x2834 x2835 x2836 x2837 x2838 -x2839 x2840 x2841 x2842 x2843 x2844 x2845 x2846 x2847 x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 x2861 x2862 x2863 x2864 x2865 x2866 x2867 x2868 x2869 x2870 x2871 x2872 x2873 x2874 -x2875 -x2876 -x2877 x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 x2893 -x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 x2918 -x2919 x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 x2938 x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x2960 x2961 x2962 x2963 x2964 x2965 x2966 x2967 x2968 x2969 x2970 x2971 x2972 x2973 x2974 x2975 x2976 x2977 -x2978 -x2979 x2980 x2981 -x2982 x2983 x2984 x2985 x2986 -x2987 x2988 x2989 x2990 x2991 x2992 x2993 -x2994 x2995 x2996 x2997 x2998 x2999 x3000 x3001 x300
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61104 MiB free)
memory of node 1: 64510 MiB (61574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460194-1722064840/watcher-4460194-1722064840 -o /tmp/evaluation-result-4460194-1722064840/solver-4460194-1722064840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722064836-326672 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460194-1722064840 --lp-cut-gomory=0 HOME/instance-4460194-1722064840.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=326783, runsolver pid=326780
Current StackSize limit: 8192 KiB
[startup+0.100279 s]*
/proc/loadavg: 0.42 0.16 0.11 6/258 326784
/proc/meminfo: memFree=125589580/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=54836 memory=27644 CPUtime=0.09 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 8101 0 0 0 8 1 0 0 20 0 1 0 43012645 56152064 6911 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 13709 6911 1745 992 0 5567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54836 KiB
Current children cumulated memory: 27644 KiB
[startup+0.204887 s]*
/proc/loadavg: 0.42 0.16 0.11 5/258 326784
/proc/meminfo: memFree=125568112/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=60280 memory=33516 CPUtime=0.19 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 9479 0 0 0 17 2 0 0 20 0 1 0 43012645 61726720 8379 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15070 8379 1904 992 0 6928 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 33516 KiB
[startup+0.305508 s]*
/proc/loadavg: 0.42 0.16 0.11 5/258 326784
/proc/meminfo: memFree=125556380/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=60280 memory=33516 CPUtime=0.29 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 9479 0 0 0 27 2 0 0 20 0 1 0 43012645 61726720 8379 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15070 8379 1904 992 0 6928 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 33516 KiB
[startup+0.70019 s]
/proc/loadavg: 0.42 0.16 0.11 5/258 326784
/proc/meminfo: memFree=125541528/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=60280 memory=33516 CPUtime=0.68 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 9479 0 0 0 65 3 0 0 20 0 1 0 43012645 61726720 8379 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15070 8379 1904 992 0 6928 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 33516 KiB
[startup+1.50018 s]
/proc/loadavg: 0.42 0.16 0.11 5/258 326784
/proc/meminfo: memFree=125510908/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=61452 memory=34988 CPUtime=1.48 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 10730 0 0 0 143 5 0 0 20 0 1 0 43012645 62926848 8747 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15363 8747 1920 992 0 7221 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61452 KiB
Current children cumulated memory: 34988 KiB
[startup+3.10545 s]
/proc/loadavg: 0.42 0.16 0.11 5/258 326784
/proc/meminfo: memFree=125374364/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=62160 memory=35780 CPUtime=3.08 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 11305 0 0 0 298 10 0 0 20 0 1 0 43012645 63651840 8945 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15540 8945 1920 992 0 7398 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 62160 KiB
Current children cumulated memory: 35780 KiB
[startup+6.30022 s]
/proc/loadavg: 0.71 0.23 0.13 5/258 326784
/proc/meminfo: memFree=125215876/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=62160 memory=36016 CPUtime=6.27 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 11388 0 0 0 609 18 0 0 20 0 1 0 43012645 63651840 9004 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15540 9004 1920 992 0 7398 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62160 KiB
Current children cumulated memory: 36016 KiB
[startup+12.7002 s]
/proc/loadavg: 0.97 0.29 0.15 5/258 326786
/proc/meminfo: memFree=124895132/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=62160 memory=36524 CPUtime=12.65 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 11540 0 0 0 1232 33 0 0 20 0 1 0 43012645 63651840 9131 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 15540 9131 1920 992 0 7398 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 62160 KiB
Current children cumulated memory: 36524 KiB
[startup+25.5002 s]
/proc/loadavg: 1.72 0.49 0.22 5/261 326790
/proc/meminfo: memFree=124391580/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=72528 memory=43072 CPUtime=25.4 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 13258 0 0 0 2485 55 0 0 20 0 1 0 43012645 74268672 10768 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 18132 10768 1920 992 0 9990 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 72528 KiB
Current children cumulated memory: 43072 KiB
[startup+51.1058 s]
/proc/loadavg: 2.50 0.77 0.32 5/261 326796
/proc/meminfo: memFree=123239944/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=76528 memory=49588 CPUtime=50.92 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 14439 0 0 0 4992 100 0 0 20 0 1 0 43012645 78364672 12397 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 19132 12397 1920 992 0 10990 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 76528 KiB
Current children cumulated memory: 49588 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.32 0.53 5/261 326806
/proc/meminfo: memFree=121288864/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=76528 memory=50080 CPUtime=101.93 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 14556 0 0 0 10013 180 0 0 20 0 1 0 43012645 78364672 12520 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 19132 12520 1920 992 0 10990 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 76528 KiB
Current children cumulated memory: 50080 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 1.83 0.76 5/261 326816
/proc/meminfo: memFree=119556676/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=80948 memory=50820 CPUtime=161.74 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 14758 0 0 0 15903 271 0 0 20 0 1 0 43012645 82890752 12705 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 20237 12705 1920 992 0 12095 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 80948 KiB
Current children cumulated memory: 50820 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.24 0.97 5/261 326828
/proc/meminfo: memFree=117446236/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=80948 memory=53396 CPUtime=221.53 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 14879 0 0 0 21804 349 0 0 20 0 1 0 43012645 82890752 13349 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 20237 13349 1920 992 0 12095 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 80948 KiB
Current children cumulated memory: 53396 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 2.61 1.18 5/264 327225
/proc/meminfo: memFree=115316976/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=83180 memory=55720 CPUtime=281.31 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 15447 0 0 0 27708 423 0 0 20 0 1 0 43012645 85176320 13930 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 20795 13930 1920 992 0 12653 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 83180 KiB
Current children cumulated memory: 55720 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.89 1.37 5/263 327236
/proc/meminfo: memFree=113778156/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=85520 memory=58020 CPUtime=341.11 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 16039 0 0 0 33613 498 0 0 20 0 1 0 43012645 87572480 14505 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 21380 14505 1920 992 0 13238 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 85520 KiB
Current children cumulated memory: 58020 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.11 1.54 5/263 327249
/proc/meminfo: memFree=112471732/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=86036 memory=58536 CPUtime=400.9 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 16185 0 0 0 39526 564 0 0 20 0 1 0 43012645 88100864 14634 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 21509 14634 1920 992 0 13367 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 86036 KiB
Current children cumulated memory: 58536 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.31 1.71 5/266 327431
/proc/meminfo: memFree=110728388/131524600 swapFree=131059368/131071996
[pid=326783] ppid=326780 vsize=87340 memory=59744 CPUtime=460.7 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 16495 0 0 0 45443 627 0 0 20 0 1 0 43012645 89436160 14936 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 21835 14936 1920 992 0 13693 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.45 4.29 4.12 5/264 328579
/proc/meminfo: memFree=48602112/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=98992 CPUtime=3091.13 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25182 0 0 0 306774 2339 0 0 20 0 1 0 43012645 137150464 24748 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24748 1920 992 0 25342 0
Current children cumulated CPU time: 3091.13 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 98992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.31 4.28 4.12 5/264 328589
/proc/meminfo: memFree=47041476/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=98992 CPUtime=3150.93 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25218 0 0 0 312727 2366 0 0 20 0 1 0 43012645 137150464 24748 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24748 1920 992 0 25342 0
Current children cumulated CPU time: 3150.93 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 98992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.24 4.12 5/262 328600
/proc/meminfo: memFree=45281348/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=98992 CPUtime=3210.74 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25254 0 0 0 318678 2396 0 0 20 0 1 0 43012645 137150464 24748 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24748 1920 992 0 25342 0
Current children cumulated CPU time: 3210.74 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 98992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.23 4.12 5/265 328614
/proc/meminfo: memFree=44202760/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=98992 CPUtime=3270.54 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25289 0 0 0 324633 2421 0 0 20 0 1 0 43012645 137150464 24748 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24748 1920 992 0 25342 0
Current children cumulated CPU time: 3270.54 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 98992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.21 4.12 5/263 328625
/proc/meminfo: memFree=43317120/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=98992 CPUtime=3330.34 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25327 0 0 0 330591 2443 0 0 20 0 1 0 43012645 137150464 24748 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24748 1920 992 0 25342 0
Current children cumulated CPU time: 3330.34 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 98992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.11 5/264 328639
/proc/meminfo: memFree=42066908/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99088 CPUtime=3390.14 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25386 0 0 0 336547 2467 0 0 20 0 1 0 43012645 137150464 24772 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24772 1920 992 0 25342 0
Current children cumulated CPU time: 3390.14 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.11 5/266 328651
/proc/meminfo: memFree=41109864/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99196 CPUtime=3449.95 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25465 0 0 0 342502 2493 0 0 20 0 1 0 43012645 137150464 24799 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24799 1920 992 0 25342 0
Current children cumulated CPU time: 3449.95 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.10 5/266 328661
/proc/meminfo: memFree=40016308/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99196 CPUtime=3509.75 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25501 0 0 0 348456 2519 0 0 20 0 1 0 43012645 137150464 24799 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24799 1920 992 0 25342 0
Current children cumulated CPU time: 3509.75 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.20 4.12 5/268 328677
/proc/meminfo: memFree=38700980/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99252 CPUtime=3569.55 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25539 0 0 0 354417 2538 0 0 20 0 1 0 43012645 137150464 24813 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24813 1920 992 0 25342 0
Current children cumulated CPU time: 3569.55 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.9 s]
/proc/loadavg: 4.19 4.20 4.12 2/255 328736
/proc/meminfo: memFree=44533276/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99252 CPUtime=3600.05 cores=0,2
/proc/326783/stat : 326783 (roundingsat) R 326780 326783 326662 0 -1 4194304 25539 0 0 0 357451 2554 0 0 20 0 1 0 43012645 137150464 24813 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24813 1920 992 0 25342 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.9 s]
# the end of solver process 326783 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3574.52 s, system=25.5502 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.19 4.20 4.12 1/255 328736
/proc/meminfo: memFree=44531688/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99252 CPUtime=3600.05 cores=0,2
/proc/326783/stat : 326783 (roundingsat) D 326780 326783 326662 0 -1 4194304 25548 0 0 0 357451 2554 0 0 20 0 1 0 43012645 137150464 24813 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24813 1920 992 0 25342 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99252 KiB
[startup+3614.4 s]
/proc/loadavg: 4.19 4.20 4.12 1/255 328736
/proc/meminfo: memFree=44532464/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99252 CPUtime=3600.05 cores=0,2
/proc/326783/stat : 326783 (roundingsat) D 326780 326783 326662 0 -1 4194304 25548 0 0 0 357451 2554 0 0 20 0 1 0 43012645 137150464 24813 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 1 0 0 17 0 0 0 209 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24813 1920 992 0 25342 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99252 KiB
[startup+3614.8 s]
/proc/loadavg: 4.19 4.20 4.12 1/255 328736
/proc/meminfo: memFree=44532464/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99252 CPUtime=3600.05 cores=0,2
/proc/326783/stat : 326783 (roundingsat) D 326780 326783 326662 0 -1 4194304 25548 0 0 0 357451 2554 0 0 20 0 1 0 43012645 137150464 24813 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 1 0 0 17 0 0 0 209 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24813 1920 992 0 25342 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99252 KiB
[startup+3614.9 s]
/proc/loadavg: 4.19 4.20 4.12 1/255 328736
/proc/meminfo: memFree=44532464/131524600 swapFree=131059112/131071996
[pid=326783] ppid=326780 vsize=133936 memory=99252 CPUtime=3600.05 cores=0,2
/proc/326783/stat : 326783 (roundingsat) D 326780 326783 326662 0 -1 4194304 25548 0 0 0 357451 2554 0 0 20 0 1 0 43012645 137150464 24813 134679101440 4194304 8254357 140731703044816 0 0 0 0 0 25182210 1 0 0 17 0 0 0 209 0 0 9037040 9046032 24727552 140731703051099 140731703051361 140731703051361 140731703058377 0
/proc/326783/statm: 33484 24813 1920 992 0 25342 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 133936 KiB
Current children cumulated memory: 99252 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.9
CPU time (s): 3600.07
CPU user time (s): 3574.52
CPU system time (s): 25.5502
CPU usage (%): 99.5896
Max. virtual memory (cumulated for all children) (KiB): 133936
Max. memory (cumulated for all children) (KiB): 99252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.52
system time used= 25.5502
maximum resident set size= 99692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1526008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150
involuntary context switches= 24947
# summary of solver processes directly reported to runsolver:
# pid: 326783
# total CPU time (s): 3600.07
# total CPU user time (s): 3574.52
# total CPU system time (s): 25.5502
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87236 second user time and 14.267 second system time
The end
Begin job on nodeC021 at 2024-07-27 09:20:40 IDJOB=4460194 IDBENCH=147690 IDSOLVER=3086 FILE ID=nodeC021/4460194-1722064840 RUNJOBID= nodeC021-1722064836-326672 SLURM_JOB_ID= 8248090 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log 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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460194-1722064840/watcher-4460194-1722064840 -o /tmp/evaluation-result-4460194-1722064840/solver-4460194-1722064840 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722064836-326672 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460194-1722064840 --lp-cut-gomory=0 HOME/instance-4460194-1722064840.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52 RANDOM SEED=1859590444 nodeC021.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 : 3653.571 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 : 7000.35 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 : 3684.504 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 : 7007.41 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 : 3663.261 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 : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.450 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 : 7007.41 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 : 3660.197 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 : 7000.35 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 : 3684.609 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 : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.418 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 : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.260 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 : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125624632 kB MemAvailable: 129469692 kB Buffers: 369076 kB Cached: 4283120 kB SwapCached: 448 kB Active: 2760508 kB Inactive: 2480708 kB Active(anon): 1716 kB Inactive(anon): 640836 kB Active(file): 2758792 kB Inactive(file): 1839872 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131059368 kB Dirty: 311740 kB Writeback: 0 kB AnonPages: 588724 kB Mapped: 118432 kB Shmem: 53464 kB KReclaimable: 172084 kB Slab: 302612 kB SReclaimable: 172084 kB SUnreclaim: 130528 kB KernelStack: 4092 kB PageTables: 10196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1031528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18976 kB HardwareCorrupted: 0 kB AnonHugePages: 258048 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: 324308 kB DirectMap2M: 40343552 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890056 MiB End job on nodeC021 at 2024-07-27 10:20:55