| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.03 | 3611.04 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb |
| MD5SUM | 5359c0df8e4997707ebdbb5ef15bc818 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 1.62095 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6664 |
| Total number of constraints | 6862 |
| Number of constraints which are clauses | 6764 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 99 |
| Number of bits of the biggest sum of numbers | 7 |
| 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 6664 #constraints 6862 11.55/11.68 c #Conflicts: 1000 | #Constraints: 7861 11.55/11.68 c #Conflicts: 2000 | #Constraints: 8861 11.55/11.68 c INPROCESSING 11.55/11.68 c GARBAGE COLLECT 11.55/11.68 c #Conflicts: 3000 | #Constraints: 8549 11.55/11.68 c #Conflicts: 4000 | #Constraints: 9549 11.55/11.68 c INPROCESSING 11.55/11.68 c GARBAGE COLLECT 11.55/11.68 c #Conflicts: 5000 | #Constraints: 9020 11.55/11.68 c #Conflicts: 6000 | #Constraints: 10020 11.55/11.68 c INPROCESSING 11.55/11.68 c GARBAGE COLLECT 11.55/11.68 c rational objective 98 48.73/48.97 c #Conflicts: 7000 | #Constraints: 9077 48.73/48.97 c #Conflicts: 8000 | #Constraints: 10077 48.73/48.97 c #Conflicts: 9000 | #Constraints: 11077 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 10000 | #Constraints: 9825 48.73/48.97 c #Conflicts: 11000 | #Constraints: 10825 48.73/48.97 c #Conflicts: 12000 | #Constraints: 11825 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 13000 | #Constraints: 10321 48.73/48.97 c #Conflicts: 14000 | #Constraints: 11321 48.73/48.97 c #Conflicts: 15000 | #Constraints: 12321 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 16000 | #Constraints: 10590 48.73/48.97 c #Conflicts: 17000 | #Constraints: 11590 48.73/48.97 c #Conflicts: 18000 | #Constraints: 12590 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 19000 | #Constraints: 10639 48.73/48.97 c #Conflicts: 20000 | #Constraints: 11639 48.73/48.97 c #Conflicts: 21000 | #Constraints: 12639 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 22000 | #Constraints: 10472 48.73/48.97 c #Conflicts: 23000 | #Constraints: 11472 48.73/48.97 c #Conflicts: 24000 | #Constraints: 12472 48.73/48.97 c #Conflicts: 25000 | #Constraints: 13472 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 26000 | #Constraints: 11087 48.73/48.97 c #Conflicts: 27000 | #Constraints: 12088 48.73/48.97 c #Conflicts: 28000 | #Constraints: 13088 48.73/48.97 c #Conflicts: 29000 | #Constraints: 14088 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c #Conflicts: 30000 | #Constraints: 11504 48.73/48.97 c #Conflicts: 31000 | #Constraints: 12504 48.73/48.97 c #Conflicts: 32000 | #Constraints: 13504 48.73/48.97 c #Conflicts: 33000 | #Constraints: 14504 48.73/48.97 c INPROCESSING 48.73/48.97 c GARBAGE COLLECT 48.73/48.97 c rational objective 98 69.66/69.95 c #Conflicts: 34000 | #Constraints: 11747 69.66/69.95 c #Conflicts: 35000 | #Constraints: 12747 69.66/69.95 c #Conflicts: 36000 | #Constraints: 13747 69.66/69.95 c #Conflicts: 37000 | #Constraints: 14747 69.66/69.95 c #Conflicts: 38000 | #Constraints: 15747 69.66/69.95 c #Conflicts: 39000 | #Constraints: 16748 69.66/69.95 c #Conflicts: 40000 | #Constraints: 17752 69.66/69.95 c #Conflicts: 41000 | #Constraints: 18756 69.66/69.95 c #Conflicts: 42000 | #Constraints: 19756 69.66/69.95 c #Conflicts: 43000 | #Constraints: 20756 69.66/69.95 c #Conflicts: 44000 | #Constraints: 21758 69.66/69.95 c #Conflicts: 45000 | #Constraints: 22759 69.66/69.95 c #Conflicts: 46000 | #Constraints: 23760 69.66/69.95 c #Conflicts: 47000 | #Constraints: 24760 69.66/69.95 c #Conflicts: 48000 | #Constraints: 25761 69.66/69.95 c INPROCESSING 69.66/69.95 c GARBAGE COLLECT 69.66/69.95 c rational objective 98 128.48/128.98 c #Conflicts: 49000 | #Constraints: 17408 128.48/128.98 c #Conflicts: 50000 | #Constraints: 18408 128.48/128.98 c #Conflicts: 51000 | #Constraints: 19409 128.48/128.98 c #Conflicts: 52000 | #Constraints: 20409 128.48/128.98 c #Conflicts: 53000 | #Constraints: 21409 128.48/128.98 c INPROCESSING 128.48/128.98 c GARBAGE COLLECT 128.48/128.98 c #Conflicts: 54000 | #Constraints: 15125 128.48/128.98 c #Conflicts: 55000 | #Constraints: 16125 128.48/128.98 c #Conflicts: 56000 | #Constraints: 17125 128.48/128.98 c #Conflicts: 57000 | #Constraints: 18125 128.48/128.98 c #Conflicts: 58000 | #Constraints: 19125 128.48/128.98 c INPROCESSING 128.48/128.98 c GARBAGE COLLECT 128.48/128.98 c #Conflicts: 59000 | #Constraints: 13737 128.48/128.98 c #Conflicts: 60000 | #Constraints: 14737 128.48/128.98 c #Conflicts: 61000 | #Constraints: 15737 128.48/128.98 c #Conflicts: 62000 | #Constraints: 16737 128.48/128.98 c #Conflicts: 63000 | #Constraints: 17738 128.48/128.98 c #Conflicts: 64000 | #Constraints: 18738 128.48/128.98 c INPROCESSING 128.48/128.98 c GARBAGE COLLECT 128.48/128.98 c #Conflicts: 65000 | #Constraints: 13668 128.48/128.98 c #Conflicts: 66000 | #Constraints: 14668 128.48/128.98 c #Conflicts: 67000 | #Constraints: 15668 128.48/128.98 c #Conflicts: 68000 | #Constraints: 16669 128.48/128.98 c #Conflicts: 69000 | #Constraints: 17669 128.48/128.98 c #Conflicts: 70000 | #Constraints: 18669 128.48/128.98 c INPROCESSING 128.48/128.98 c GARBAGE COLLECT 128.48/128.98 c #Conflicts: 71000 | #Constraints: 13658 128.48/128.98 c #Conflicts: 72000 | #Constraints: 14658 128.48/128.98 c #Conflicts: 73000 | #Constraints: 15658 128.48/128.98 c #Conflicts: 74000 | #Constraints: 16658 128.48/128.98 c #Conflicts: 75000 | #Constraints: 17658 128.48/128.98 c #Conflicts: 76000 | #Constraints: 18659 128.48/128.98 c #Conflicts: 77000 | #Constraints: 19659 128.48/128.98 c #Conflicts: 78000 | #Constraints: 20659 128.48/128.98 c #Conflicts: 79000 | #Constraints: 21659 128.48/128.98 c #Conflicts: 80000 | #Constraints: 22659 128.48/128.98 c #Conflicts: 81000 | #Constraints: 23659 128.48/128.98 c #Conflicts: 82000 | #Constraints: 24659 128.48/128.98 c #Conflicts: 83000 | #Constraints: 25659 128.48/128.98 c #Conflicts: 84000 | #Constraints: 26659 128.48/128.98 c #Conflicts: 85000 | #Constraints: 27659 128.48/128.98 c #Conflicts: 86000 | #Constraints: 28659 128.48/128.98 c #Conflicts: 87000 | #Constraints: 29659 128.48/128.98 c #Conflicts: 88000 | #Constraints: 30659 128.48/128.98 c #Conflicts: 89000 | #Constraints: 31659 128.48/128.98 c #Conflicts: 90000 | #Constraints: 32659 128.48/128.98 c #Conflicts: 91000 | #Constraints: 33659 128.48/128.98 c INPROCESSING 128.48/128.98 c GARBAGE COLLECT 128.48/128.98 c rational objective 98 138.34/138.88 c #Conflicts: 92000 | #Constraints: 20967 138.34/138.88 c #Conflicts: 93000 | #Constraints: 21967 138.34/138.88 c #Conflicts: 94000 | #Constraints: 22967 138.34/138.88 c #Conflicts: 95000 | #Constraints: 23967 138.34/138.88 c #Conflicts: 96000 | #Constraints: 24967 138.34/138.88 c #Conflicts: 97000 | #Constraints: 25967 138.34/138.88 c #Conflicts: 98000 | #Constraints: 26967 138.34/138.88 c #Conflicts: 99000 | #Constraints: 27967 138.34/138.88 c INPROCESSING 138.34/138.88 c GARBAGE COLLECT 138.34/138.88 c rational objective 98 147.52/148.10 c #Conflicts: 100000 | #Constraints: 18594 147.52/148.10 c #Conflicts: 101000 | #Constraints: 19594 147.52/148.10 c #Conflicts: 102000 | #Constraints: 20594 147.52/148.10 c #Conflicts: 103000 | #Constraints: 21594 147.52/148.10 c #Conflicts: 104000 | #Constraints: 22594 147.52/148.10 c #Conflicts: 105000 | #Constraints: 23594 147.52/148.10 c #Conflicts: 106000 | #Constraints: 24594 147.52/148.10 c INPROCESSING 147.52/148.10 c GARBAGE COLLECT 147.52/148.10 c rational objective 98 161.27/161.83 c #Conflicts: 107000 | #Constraints: 16707 161.27/161.83 c #Conflicts: 108000 | #Constraints: 17707 161.27/161.83 c #Conflicts: 109000 | #Constraints: 18707 161.27/161.83 c #Conflicts: 110000 | #Constraints: 19708 161.27/161.83 c #Conflicts: 111000 | #Constraints: 20708 161.27/161.83 c #Conflicts: 112000 | #Constraints: 21709 161.27/161.83 c #Conflicts: 113000 | #Constraints: 22709 161.27/161.83 c #Conflicts: 114000 | #Constraints: 23709 161.27/161.83 c INPROCESSING 161.27/161.83 c GARBAGE COLLECT 161.27/161.83 c rational objective 98 198.37/199.06 c #Conflicts: 115000 | #Constraints: 16466 198.37/199.06 c #Conflicts: 116000 | #Constraints: 17467 198.37/199.06 c #Conflicts: 117000 | #Constraints: 18467 198.37/199.06 c #Conflicts: 118000 | #Constraints: 19468 198.37/199.06 c #Conflicts: 119000 | #Constraints: 20468 198.37/199.06 c #Conflicts: 120000 | #Constraints: 21468 198.37/199.06 c #Conflicts: 121000 | #Constraints: 22468 198.37/199.06 c INPROCESSING 198.37/199.06 c GARBAGE COLLECT 198.37/199.06 c #Conflicts: 122000 | #Constraints: 15504 198.37/199.06 c #Conflicts: 123000 | #Constraints: 16504 198.37/199.06 c #Conflicts: 124000 | #Constraints: 17504 198.37/199.06 c #Conflicts: 125000 | #Constraints: 18504 198.37/199.06 c #Conflicts: 126000 | #Constraints: 19504 198.37/199.06 c #Conflicts: 127000 | #Constraints: 20504 198.37/199.06 c #Conflicts: 128000 | #Constraints: 21504 198.37/199.06 c #Conflicts: 129000 | #Constraints: 22504 198.37/199.06 c #Conflicts: 130000 | #Constraints: 23504 198.37/199.06 c #Conflicts: 131000 | #Constraints: 24504 198.37/199.06 c #Conflicts: 132000 | #Constraints: 25504 198.37/199.06 c #Conflicts: 133000 | #Constraints: 26504 198.37/199.06 c #Conflicts: 134000 | #Constraints: 27504 198.37/199.06 c #Conflicts: 135000 | #Constraints: 28504 198.37/199.06 c #Conflicts: 136000 | #Constraints: 29504 198.37/199.06 c #Conflicts: 137000 | #Constraints: 30504 198.37/199.06 c #Conflicts: 138000 | #Constraints: 31504 198.37/199.06 c #Conflicts: 139000 | #Constraints: 32504 198.37/199.06 c #Conflicts: 140000 | #Constraints: 33504 198.37/199.06 c #Conflicts: 141000 | #Constraints: 34504 198.37/199.06 c #Conflicts: 142000 | #Constraints: 35504 198.37/199.06 c #Conflicts: 143000 | #Constraints: 36504 198.37/199.06 c #Conflicts: 144000 | #Constraints: 37504 198.37/199.06 c #Conflicts: 145000 | #Constraints: 38504 198.37/199.06 c #Conflicts: 146000 | #Constraints: 39504 198.37/199.06 c #Conflicts: 147000 | #Constraints: 40504 198.37/199.06 c #Conflicts: 148000 | #Constraints: 41504 198.37/199.06 c #Conflicts: 149000 | #Constraints: 42504 198.37/199.06 c INPROCESSING 198.37/199.06 c GARBAGE COLLECT 198.37/199.06 c rational objective 98 215.80/216.57 c #Conflicts: 150000 | #Constraints: 25589 215.80/216.57 c #Conflicts: 151000 | #Constraints: 26589 215.80/216.57 c #Conflicts: 152000 | #Constraints: 27589 215.80/216.57 c #Conflicts: 153000 | #Constraints: 28590 215.80/216.57 c #Conflicts: 154000 | #Constraints: 29590 215.80/216.57 c #Conflicts: 155000 | #Constraints: 30590 215.80/216.57 c #Conflicts: 156000 | #Constraints: 31590 215.80/216.57 c #Conflicts: 157000 | #Constraints: 32590 215.80/216.57 c #Conflicts: 158000 | #Constraints: 33590 215.80/216.57 c INPROCESSING 215.80/216.57 c GARBAGE COLLECT 215.80/216.57 c rational objective 98 226.38/227.13 c #Conflicts: 159000 | #Constraints: 21161 226.38/227.13 c #Conflicts: 160000 | #Constraints: 22162 226.38/227.13 c #Conflicts: 161000 | #Constraints: 23163 226.38/227.13 c #Conflicts: 162000 | #Constraints: 24163 226.38/227.13 c #Conflicts: 163000 | #Constraints: 25164 226.38/227.13 c #Conflicts: 164000 | #Constraints: 26164 226.38/227.13 c #Conflicts: 165000 | #Constraints: 27164 226.38/227.13 c #Conflicts: 166000 | #Constraints: 28165 226.38/227.13 c #Conflicts: 167000 | #Constraints: 29165 226.38/227.13 c #Conflicts: 168000 | #Constraints: 30165 226.38/227.13 c INPROCESSING 226.38/227.13 c GARBAGE COLLECT 226.38/227.13 c rational objective 98 233.93/234.79 c #Conflicts: 169000 | #Constraints: 19774 233.93/234.79 c #Conflicts: 170000 | #Constraints: 20775 233.93/234.79 c #Conflicts: 171000 | #Constraints: 21775 233.93/234.79 c #Conflicts: 172000 | #Constraints: 22775 233.93/234.79 c #Conflicts: 173000 | #Constraints: 23775 233.93/234.79 c #Conflicts: 174000 | #Constraints: 24775 233.93/234.79 c #Conflicts: 175000 | #Constraints: 25775 233.93/234.79 c #Conflicts: 176000 | #Constraints: 26775 233.93/234.79 c #Conflicts: 177000 | #Constraints: 27775 233.93/234.79 c INPROCESSING 233.93/234.79 c GARBAGE COLLECT 233.93/234.79 c rational objective 98 283.67/284.69 c #Conflicts: 178000 | #Constraints: 18326 283.67/284.69 c #Conflicts: 179000 | #Constraints: 19326 283.67/284.69 c #Conflicts: 180000 | #Constraints: 20326 283.67/284.69 c #Conflicts: 181000 | #Constraints: 21326 283.67/284.69 c #Conflicts: 182000 | #Constraints: 22326 283.67/284.69 c #Conflicts: 183000 | #Constraints: 23326 283.67/284.69 c #Conflicts: 184000 | #Constraints: 24326 283.67/284.69 c #Conflicts: 185000 | #Constraints: 25326 283.67/284.69 c #Conflicts: 186000 | #Constraints: 26326 283.67/284.69 c #Conflicts: 187000 | #Constraints: 27326 283.67/284.69 c #Conflicts: 188000 | #Constraints: 28326 283.67/284.69 c #Conflicts: 189000 | #Constraints: 29326 283.67/284.69 c #Conflicts: 190000 | #Constraints: 30326 283.67/284.69 c #Conflicts: 191000 | #Constraints: 31326 283.67/284.69 c #Conflicts: 192000 | #Constraints: 32326 283.67/284.69 c #Conflicts: 193000 | #Constraints: 33326 283.67/284.69 c #Conflicts: 194000 | #Constraints: 34326 283.67/284.69 c #Conflicts: 195000 | #Constraints: 35326 283.67/284.69 c #Conflicts: 196000 | #Constraints: 36326 283.67/284.69 c #Conflicts: 197000 | #Constraints: 37326 283.67/284.69 c #Conflicts: 198000 | #Constraints: 38326 283.67/284.69 c #Conflicts: 199000 | #Constraints: 39326 283.67/284.69 c #Conflicts: 200000 | #Constraints: 40326 283.67/284.69 c #Conflicts: 201000 | #Constraints: 41326 283.67/284.69 c #Conflicts: 202000 | #Constraints: 42326 283.67/284.69 c #Conflicts: 203000 | #Constraints: 43326 283.67/284.69 c #Conflicts: 204000 | #Constraints: 44327 283.67/284.69 c #Conflicts: 205000 | #Constraints: 45327 283.67/284.69 c #Conflicts: 206000 | #Constraints: 46327 283.67/284.69 c #Conflicts: 207000 | #Constraints: 47328 283.67/284.69 c #Conflicts: 208000 | #Constraints: 48328 283.67/284.69 c #Conflicts: 209000 | #Constraints: 49329 283.67/284.69 c #Conflicts: 210000 | #Constraints: 50330 283.67/284.69 c INPROCESSING 283.67/284.69 c GARBAGE COLLECT 283.67/284.69 c rational objective 98 300.21/301.21 c #Conflicts: 211000 | #Constraints: 29620 300.21/301.21 c #Conflicts: 212000 | #Constraints: 30620 300.21/301.21 c #Conflicts: 213000 | #Constraints: 31620 300.21/301.21 c #Conflicts: 214000 | #Constraints: 32620 300.21/301.21 c #Conflicts: 215000 | #Constraints: 33620 300.21/301.21 c #Conflicts: 216000 | #Constraints: 34620 300.21/301.21 c #Conflicts: 217000 | #Constraints: 35620 300.21/301.21 c #Conflicts: 218000 | #Constraints: 36620 300.21/301.21 c #Conflicts: 219000 | #Constraints: 37620 300.21/301.21 c #Conflicts: 220000 | #Constraints: 38620 300.21/301.21 c #Conflicts: 221000 | #Constraints: 39620 300.21/301.21 c INPROCESSING 300.21/301.21 c GARBAGE COLLECT 300.21/301.21 c rational objective 98 314.87/315.97 c #Conflicts: 222000 | #Constraints: 24327 314.87/315.97 c #Conflicts: 223000 | #Constraints: 25327 314.87/315.97 c #Conflicts: 224000 | #Constraints: 26327 314.87/315.97 c #Conflicts: 225000 | #Constraints: 27327 314.87/315.97 c #Conflicts: 226000 | #Constraints: 28327 314.87/315.97 c #Conflicts: 227000 | #Constraints: 29327 314.87/315.97 c #Conflicts: 228000 | #Constraints: 30327 314.87/315.97 c #Conflicts: 229000 | #Constraints: 31327 314.87/315.97 c #Conflicts: 230000 | #Constraints: 32328 314.87/315.97 c #Conflicts: 231000 | #Constraints: 33328 314.87/315.97 c #Conflicts: 232000 | #Constraints: 34328 314.87/315.97 c INPROCESSING 314.87/315.97 c GARBAGE COLLECT 314.87/315.97 c rational objective 98 329.22/330.30 c #Conflicts: 233000 | #Constraints: 21679 329.22/330.30 c #Conflicts: 234000 | #Constraints: 22680 329.22/330.30 c #Conflicts: 235000 | #Constraints: 23681 329.22/330.30 c #Conflicts: 236000 | #Constraints: 24682 329.22/330.30 c #Conflicts: 237000 | #Constraints: 25683 329.22/330.30 c #Conflicts: 238000 | #Constraints: 26684 329.22/330.30 c #Conflicts: 239000 | #Constraints: 27684 329.22/330.30 c #Conflicts: 240000 | #Constraints: 28684 329.22/330.30 c #Conflicts: 241000 | #Constraints: 29684 329.22/330.30 c #Conflicts: 242000 | #Constraints: 30684 329.22/330.30 c #Conflicts: 243000 | #Constraints: 31684 329.22/330.30 c INPROCESSING 329.22/330.30 c GARBAGE COLLECT 329.22/330.30 c rational objective 98 389.32/390.64 c #Conflicts: 244000 | #Constraints: 20275 389.32/390.64 c #Conflicts: 245000 | #Constraints: 21275 389.32/390.64 c #Conflicts: 246000 | #Constraints: 22275 389.32/390.64 c #Conflicts: 247000 | #Constraints: 23275 389.32/390.64 c #Conflicts: 248000 | #Constraints: 24275 389.32/390.64 c #Conflicts: 249000 | #Constraints: 25276 389.32/390.64 c #Conflicts: 250000 | #Constraints: 26276 389.32/390.64 c #Conflicts: 251000 | #Constraints: 27276 389.32/390.64 c #Conflicts: 252000 | #Constraints: 28276 389.32/390.64 c #Conflicts: 253000 | #Constraints: 29277 389.32/390.64 c #Conflicts: 254000 | #Constraints: 30277 389.32/390.64 c #Conflicts: 255000 | #Constraints: 31277 389.32/390.64 c #Conflicts: 256000 | #Constraints: 32277 389.32/390.64 c #Conflicts: 257000 | #Constraints: 33277 389.32/390.64 c #Conflicts: 258000 | #Constraints: 34277 389.32/390.64 c #Conflicts: 259000 | #Constraints: 35277 389.32/390.64 c #Conflicts: 260000 | #Constraints: 36277 389.32/390.64 c #Conflicts: 261000 | #Constraints: 37277 389.32/390.64 c #Conflicts: 262000 | #Constraints: 38277 389.32/390.64 c #Conflicts: 263000 | #Constraints: 39277 389.32/390.65 c #Conflicts: 264000 | #Constraints: 40277 389.32/390.65 c #Conflicts: 265000 | #Constraints: 41277 389.32/390.65 c #Conflicts: 266000 | #Constraints: 42277 389.32/390.65 c #Conflicts: 267000 | #Constraints: 43277 389.32/390.65 c #Conflicts: 268000 | #Constraints: 44277 389.32/390.65 c #Conflicts: 269000 | #Constraints: 45277 389.32/390.65 c #Conflicts: 270000 | #Constraints: 46277 389.32/390.65 c #Conflicts: 271000 | #Constraints: 47277 389.32/390.65 c #Conflicts: 272000 | #Constraints: 48277 389.32/390.65 c #Conflicts: 273000 | #Constraints: 49277 389.32/390.65 c #Conflicts: 274000 | #Constraints: 50277 389.32/390.65 c #Conflicts: 275000 | #Constraints: 51277 389.32/390.65 c #Conflicts: 276000 | #Constraints: 52277 389.32/390.65 c #Conflicts: 277000 | #Constraints: 53277 389.32/390.65 c #Conflicts: 278000 | #Constraints: 54278 389.32/390.65 c #Conflicts: 279000 | #Constraints: 55278 389.32/390.65 c #Conflicts: 280000 | #Constraints: 56278 389.32/390.65 c #Conflicts: 281000 | #Constraints: 57278 389.32/390.65 c #Conflicts: 282000 | #Constraints: 58278 389.32/390.65 c INPROCESSING 389.32/390.65 c GARBAGE COLLECT 389.32/390.65 c rational objective 98 403.26/404.63 c #Conflicts: 283000 | #Constraints: 33936 403.26/404.63 c #Conflicts: 284000 | #Constraints: 34936 403.26/404.63 c #Conflicts: 285000 | #Constraints: 35936 403.26/404.63 c #Conflicts: 286000 | #Constraints: 36936 403.26/404.63 c #Conflicts: 287000 | #Constraints: 37936 403.26/404.63 c #Conflicts: 288000 | #Constraints: 38936 403.26/404.63 c #Conflicts: 289000 | #Constraints: 39936 403.26/404.63 c #Conflicts: 290000 | #Constraints: 40936 403.26/404.63 c #Conflicts: 291000 | #Constraints: 41936 403.26/404.63 c #Conflicts: 292000 | #Constraints: 42936 403.26/404.63 c #Conflicts: 293000 | #Constraints: 43936 403.26/404.63 c #Conflicts: 294000 | #Constraints: 44936 403.26/404.63 c INPROCESSING 403.26/404.63 c GARBAGE COLLECT 403.26/404.63 c rational objective 98 418.63/420.09 c #Conflicts: 295000 | #Constraints: 26953 418.63/420.09 c #Conflicts: 296000 | #Constraints: 27954 418.63/420.09 c #Conflicts: 297000 | #Constraints: 28954 418.63/420.09 c #Conflicts: 298000 | #Constraints: 29955 418.63/420.09 c #Conflicts: 299000 | #Constraints: 30955 418.63/420.09 c #Conflicts: 300000 | #Constraints: 31956 418.63/420.09 c #Conflicts: 301000 | #Constraints: 32956 418.63/420.09 c #Conflicts: 302000 | #Constraints: 33956 418.63/420.09 c #Conflicts: 303000 | #Constraints: 34956 418.63/420.09 c #Conflicts: 304000 | #Constraints: 35957 418.63/420.09 c #Conflicts: 305000 | #Constraints: 36957 418.63/420.09 c #Conflicts: 306000 | #Constraints: 37957 418.63/420.09 c #Conflicts: 307000 | #Constraints: 38957 418.63/420.09 c INPROCESSING 418.63/420.09 c GARBAGE COLLECT 418.63/420.09 c rational objective 98 431.37/432.89 c #Conflicts: 308000 | #Constraints: 24124 431.37/432.89 c #Conflicts: 309000 | #Constraints: 25125 431.37/432.89 c #Conflicts: 310000 | #Constraints: 26127 431.37/432.89 c #Conflicts: 311000 | #Constraints: 27127 431.37/432.89 c #Conflicts: 312000 | #Constraints: 28127 431.37/432.89 c #Conflicts: 313000 | #Constraints: 29127 431.37/432.89 c #Conflicts: 314000 | #Constraints: 30127 431.37/432.89 c #Conflicts: 315000 | #Constraints: 31127 431.37/432.89 c #Conflicts: 316000 | #Constraints: 32127 431.37/432.89 c #Conflicts: 317000 | #Constraints: 33127 431.37/432.89 c #Conflicts: 318000 | #Constraints: 34127 431.37/432.89 c #Conflicts: 319000 | #Constraints: 35127 431.37/432.89 c #Conflicts: 320000 | #Constraints: 36127 431.37/432.89 c INPROCESSING 431.37/432.89 c GARBAGE COLLECT 431.37/432.89 c rational objective 98 504.24/505.98 c #Conflicts: 321000 | #Constraints: 22773 504.24/505.98 c #Conflicts: 322000 | #Constraints: 23773 504.24/505.98 c #Conflicts: 323000 | #Constraints: 24773 504.24/505.98 c #Conflicts: 324000 | #Constraints: 25773 504.24/505.98 c #Conflicts: 325000 | #Constraints: 26774 504.24/505.98 c #Conflicts: 326000 | #Constraints: 27774 504.24/505.98 c #Conflicts: 327000 | #Constraints: 28774 504.24/505.98 c #Conflicts: 328000 | #Constraints: 29774 504.24/505.98 c #Conflicts: 329000 | #Constraints: 30774 504.24/505.98 c #Conflicts: 330000 | #Constraints: 31774 504.24/505.98 c #Conflicts: 331000 | #Constraints: 32774 504.24/505.98 c #Conflicts: 332000 | #Constraints: 33774 504.24/505.98 c #Conflicts: 333000 | #Constraints: 34774 504.24/505.98 c #Conflicts: 334000 | #Constraints: 35775 504.24/505.98 c #Conflicts: 335000 | #Constraints: 36775 504.24/505.98 c #Conflicts: 336000 | #Constraints: 37775 504.24/505.98 c #Conflicts: 337000 | #Constraints: 38775 504.24/505.98 c #Conflicts: 338000 | #Constraints: 39775 504.24/505.98 c #Conflicts: 339000 | #Constraints: 40775 504.24/505.98 c #Conflicts: 340000 | #Constraints: 41775 504.24/505.98 c #Conflicts: 341000 | #Constraints: 42775 504.24/505.98 c #Conflicts: 342000 | #Constraints: 43775 504.24/505.98 c #Conflicts: 343000 | #Constraints: 44775 504.24/505.98 c #Conflicts: 344000 | #Constraints: 45775 504.24/505.98 c #Conflicts: 345000 | #Constraints: 46775 504.24/505.98 c #Conflicts: 346000 | #Constraints: 47775 504.24/505.98 c #Conflicts: 347000 | #Constraints: 48776 504.24/505.98 c #Conflicts: 348000 | #Constraints: 49776 504.24/505.98 c #Conflicts: 349000 | #Constraints: 50776 504.24/505.98 c #Conflicts: 350000 | #Constraints: 51776 504.24/505.98 c #Conflicts: 351000 | #Constraints: 52777 504.24/505.98 c #Conflicts: 352000 | #Constraints: 53777 504.24/505.98 c #Conflicts: 353000 | #Constraints: 54777 504.24/505.98 c #Conflicts: 354000 | #Constraints: 55777 504.24/505.98 c #Conflicts: 355000 | #Constraints: 56777 504.24/505.98 c #Conflicts: 356000 | #Constraints: 57777 504.24/505.98 c #Conflicts: 357000 | #Constraints: 58777 504.24/505.98 c #Conflicts: 358000 | #Constraints: 59777 504.24/505.98 c #Conflicts: 359000 | #Constraints: 60777 504.24/505.98 c #Conflicts: 360000 | #Constraints: 61777 504.24/505.98 c #Conflicts: 361000 | #Constraints: 62777 504.24/505.98 c #Conflicts: 362000 | #Constraints: 63777 504.24/505.98 c #Conflicts: 363000 | #Constraints: 64778 504.24/505.98 c INPROCESSING 504.24/505.98 c GARBAGE COLLECT 504.24/505.98 c rational objective 98 520.79/522.54 c #Conflicts: 364000 | #Constraints: 36732 520.79/522.54 c #Conflicts: 365000 | #Constraints: 37732 520.79/522.54 c #Conflicts: 366000 | #Constraints: 38732 520.79/522.54 c #Conflicts: 367000 | #Constraints: 39732 520.79/522.54 c #Conflicts: 368000 | #Constraints: 40732 520.79/522.54 c #Conflicts: 369000 | #Constraints: 41732 520.79/522.54 c #Conflicts: 370000 | #Constraints: 42732 520.79/522.54 c #Conflicts: 371000 | #Constraints: 43732 520.79/522.54 c #Conflicts: 372000 | #Constraints: 44732 520.79/522.54 c #Conflicts: 373000 | #Constraints: 45732 520.79/522.54 c #Conflicts: 374000 | #Constraints: 46732 520.79/522.54 c #Conflicts: 375000 | #Constraints: 47732 520.79/522.54 c #Conflicts: 376000 | #Constraints: 48732 520.79/522.54 c #Conflicts: 377000 | #Constraints: 49732 520.79/522.54 c #Conflicts: 378000 | #Constraints: 50732 520.79/522.54 c INPROCESSING 520.79/522.54 c GARBAGE COLLECT 520.79/522.54 c rational objective 98 537.55/539.31 c #Conflicts: 379000 | #Constraints: 30203 537.55/539.31 c #Conflicts: 380000 | #Constraints: 31204 537.55/539.31 c #Conflicts: 381000 | #Constraints: 32205 537.55/539.31 c #Conflicts: 382000 | #Constraints: 33205 537.55/539.31 c #Conflicts: 383000 | #Constraints: 34205 537.55/539.31 c #Conflicts: 384000 | #Constraints: 35205 537.55/539.31 c #Conflicts: 385000 | #Constraints: 36205 537.55/539.31 c #Conflicts: 386000 | #Constraints: 37205 537.55/539.31 c #Conflicts: 387000 | #Constraints: 38205 537.55/539.31 c #Conflicts: 388000 | #Constraints: 39205 537.55/539.31 c #Conflicts: 389000 | #Constraints: 40205 537.55/539.31 c #Conflicts: 390000 | #Constraints: 41205 537.55/539.31 c #Conflicts: 391000 | #Constraints: 42205 537.55/539.31 c #Conflicts: 392000 | #Constraints: 43205 537.55/539.31 c INPROCESSING 537.55/539.31 c GARBAGE COLLECT 537.55/539.31 c rational objective 98 551.39/553.20 c #Conflicts: 393000 | #Constraints: 26208 551.39/553.20 c #Conflicts: 394000 | #Constraints: 27208 551.39/553.20 c #Conflicts: 395000 | #Constraints: 28208 551.39/553.20 c #Conflicts: 396000 | #Constraints: 29208 551.39/553.20 c #Conflicts: 397000 | #Constraints: 30208 551.39/553.20 c #Conflicts: 398000 | #Constraints: 31208 551.39/553.20 c #Conflicts: 399000 | #Constraints: 32208 551.39/553.20 c #Conflicts: 400000 | #Constraints: 33209 551.39/553.20 c #Conflicts: 401000 | #Constraints: 34209 551.39/553.20 c #Conflicts: 402000 | #Constraints: 35209 551.39/553.20 c #Conflicts: 403000 | #Constraints: 36209 551.39/553.20 c #Conflicts: 404000 | #Constraints: 37209 551.39/553.20 c #Conflicts: 405000 | #Constraints: 38209 551.39/553.20 c #Conflicts: 406000 | #Constraints: 39209 551.39/553.20 c #Conflicts: 407000 | #Constraints: 40209 551.39/553.20 c INPROCESSING 551.39/553.20 c GARBAGE COLLECT 551.39/553.20 c rational objective 98 625.64/627.75 c #Conflicts: 408000 | #Constraints: 24913 625.64/627.75 c #Conflicts: 409000 | #Constraints: 25913 625.64/627.75 c #Conflicts: 410000 | #Constraints: 26914 625.64/627.75 c #Conflicts: 411000 | #Constraints: 27914 625.64/627.75 c #Conflicts: 412000 | #Constraints: 28914 625.64/627.75 c #Conflicts: 413000 | #Constraints: 29914 625.64/627.75 c #Conflicts: 414000 | #Constraints: 30915 625.64/627.75 c #Conflicts: 415000 | #Constraints: 31915 625.64/627.75 c #Conflicts: 416000 | #Constraints: 32915 625.64/627.75 c #Conflicts: 417000 | #Constraints: 33915 625.64/627.75 c #Conflicts: 418000 | #Constraints: 34915 625.64/627.75 c #Conflicts: 419000 | #Constraints: 35915 625.64/627.75 c #Conflicts: 420000 | #Constraints: 36915 625.64/627.75 c #Conflicts: 421000 | #Constraints: 37915 625.64/627.75 c #Conflicts: 422000 | #Constraints: 38915 625.64/627.75 c #Conflicts: 423000 | #Constraints: 39915 625.64/627.75 c #Conflicts: 424000 | #Constraints: 40915 625.64/627.75 c #Conflicts: 425000 | #Constraints: 41915 625.64/627.75 c #Conflicts: 426000 | #Constraints: 42915 625.64/627.75 c #Conflicts: 427000 | #Constraints: 43915 625.64/627.75 c #Conflicts: 428000 | #Constraints: 44915 625.64/627.75 c #Conflicts: 429000 | #Constraints: 45915 625.64/627.75 c #Conflicts: 430000 | #Constraints: 46915 625.64/627.75 c #Conflicts: 431000 | #Constraints: 47915 625.64/627.75 c #Conflicts: 432000 | #Constraints: 48915 625.64/627.75 c #Conflicts: 433000 | #Constraints: 49915 625.64/627.75 c #Conflicts: 434000 | #Constraints: 50915 625.64/627.75 c #Conflicts: 435000 | #Constraints: 51915 625.64/627.75 c #Conflicts: 436000 | #Constraints: 52915 625.64/627.75 c #Conflicts: 437000 | #Constraints: 53915 625.64/627.75 c #Conflicts: 438000 | #Constraints: 54915 625.64/627.75 c #Conflicts: 439000 | #Constraints: 55915 625.64/627.75 c #Conflicts: 440000 | #Constraints: 56915 625.64/627.75 c #Conflicts: 441000 | #Constraints: 57915 625.64/627.75 c #Conflicts: 442000 | #Constraints: 58915 625.64/627.75 c #Conflicts: 443000 | #Constraints: 59916 625.64/627.75 c #Conflicts: 444000 | #Constraints: 60916 625.64/627.75 c #Conflicts: 445000 | #Constraints: 61916 625.64/627.75 c #Conflicts: 446000 | #Constraints: 62916 625.64/627.75 c #Conflicts: 447000 | #Constraints: 63916 625.64/627.75 c #Conflicts: 448000 | #Constraints: 64917 625.64/627.75 c #Conflicts: 449000 | #Constraints: 65917 625.64/627.75 c #Conflicts: 450000 | #Constraints: 66917 625.64/627.75 c #Conflicts: 451000 | #Constraints: 67917 625.64/627.75 c #Conflicts: 452000 | #Constraints: 68917 625.64/627.75 c #Conflicts: 453000 | #Constraints: 69917 625.64/627.75 c #Conflicts: 454000 | #Constraints: 70917 625.64/627.75 c #Conflicts: 455000 | #Constraints: 71917 625.64/627.75 c #Conflicts: 456000 | #Constraints: 72917 625.64/627.75 c INPROCESSING 625.64/627.75 c GARBAGE COLLECT 625.64/627.75 c rational objective 98 647.87/650.04 c #Conflicts: 457000 | #Constraints: 41272 647.87/650.04 c #Conflicts: 458000 | #Constraints: 42272 647.87/650.04 c #Conflicts: 459000 | #Constraints: 43272 647.87/650.04 c #Conflicts: 460000 | #Constraints: 44272 647.87/650.04 c #Conflicts: 461000 | #Constraints: 45272 647.87/650.04 c #Conflicts: 462000 | #Constraints: 46272 647.87/650.04 c #Conflicts: 463000 | #Constraints: 47272 647.87/650.04 c #Conflicts: 464000 | #Constraints: 48272 647.87/650.04 c #Conflicts: 465000 | #Constraints: 49272 647.87/650.04 c #Conflicts: 466000 | #Constraints: 50272 647.87/650.04 c #Conflicts: 467000 | #Constraints: 51272 647.87/650.04 c #Conflicts: 468000 | #Constraints: 52272 647.87/650.04 c #Conflicts: 469000 | #Constraints: 53272 647.87/650.04 c #Conflicts: 470000 | #Constraints: 54272 647.87/650.04 c #Conflicts: 471000 | #Constraints: 55272 647.87/650.04 c INPROCESSING 647.87/650.04 c GARBAGE COLLECT 647.87/650.04 c rational objective 98 668.59/670.89 c #Conflicts: 472000 | #Constraints: 32042 668.59/670.89 c #Conflicts: 473000 | #Constraints: 33042 668.59/670.89 c #Conflicts: 474000 | #Constraints: 34042 668.59/670.89 c #Conflicts: 475000 | #Constraints: 35042 668.59/670.89 c #Conflicts: 476000 | #Constraints: 36042 668.59/670.89 c #Conflicts: 477000 | #Constraints: 37042 668.59/670.89 c #Conflicts: 478000 | #Constraints: 38042 668.59/670.89 c #Conflicts: 479000 | #Constraints: 39042 668.59/670.89 c #Conflicts: 480000 | #Constraints: 40042 668.59/670.89 c #Conflicts: 481000 | #Constraints: 41042 668.59/670.89 c #Conflicts: 482000 | #Constraints: 42042 668.59/670.89 c #Conflicts: 483000 | #Constraints: 43042 668.59/670.89 c #Conflicts: 484000 | #Constraints: 44042 668.59/670.89 c #Conflicts: 485000 | #Constraints: 45042 668.59/670.89 c #Conflicts: 486000 | #Constraints: 46042 668.59/670.89 c #Conflicts: 487000 | #Constraints: 47042 668.59/670.89 c #Conflicts: 488000 | #Constraints: 48042 668.59/670.89 c INPROCESSING 668.59/670.89 c GARBAGE COLLECT 668.59/670.89 c rational objective 98 699.29/701.61 c #Conflicts: 489000 | #Constraints: 28869 699.29/701.61 c #Conflicts: 490000 | #Constraints: 29869 699.29/701.61 c #Conflicts: 491000 | #Constraints: 30869 699.29/701.61 c #Conflicts: 492000 | #Constraints: 31869 699.29/701.61 c #Conflicts: 493000 | #Constraints: 32869 699.29/701.61 c #Conflicts: 494000 | #Constraints: 33869 699.29/701.61 c #Conflicts: 495000 | #Constraints: 34869 699.29/701.61 c #Conflicts: 496000 | #Constraints: 35869 699.29/701.61 c #Conflicts: 497000 | #Constraints: 36869 699.29/701.61 c #Conflicts: 498000 | #Constraints: 37869 699.29/701.61 c #Conflicts: 499000 | #Constraints: 38869 699.29/701.61 c #Conflicts: 500000 | #Constraints: 39870 699.29/701.61 c #Conflicts: 501000 | #Constraints: 40870 699.29/701.61 c #Conflicts: 502000 | #Constraints: 41870 699.29/701.61 c #Conflicts: 503000 | #Constraints: 42870 699.29/701.61 c #Conflicts: 504000 | #Constraints: 43870 699.29/701.61 c INPROCESSING 699.29/701.61 c GARBAGE COLLECT 699.29/701.61 c rational objective 98 784.69/787.30 c #Conflicts: 505000 | #Constraints: 26569 784.69/787.30 c #Conflicts: 506000 | #Constraints: 27569 784.69/787.30 c #Conflicts: 507000 | #Constraints: 28569 784.69/787.30 c #Conflicts: 508000 | #Constraints: 29569 784.69/787.30 c #Conflicts: 509000 | #Constraints: 30569 784.69/787.30 c #Conflicts: 510000 | #Constraints: 31569 784.69/787.30 c #Conflicts: 511000 | #Constraints: 32569 784.69/787.30 c #Conflicts: 512000 | #Constraints: 33569 784.69/787.30 c #Conflicts: 513000 | #Constraints: 34569 784.69/787.30 c #Conflicts: 514000 | #Constraints: 35569 784.69/787.30 c #Conflicts: 515000 | #Constraints: 36569 784.69/787.30 c #Conflicts: 516000 | #Constraints: 37569 784.69/787.30 c #Conflicts: 517000 | #Constraints: 38569 784.69/787.30 c #Conflicts: 518000 | #Constraints: 39569 784.69/787.30 c #Conflicts: 519000 | #Constraints: 40569 784.69/787.30 c #Conflicts: 520000 | #Constraints: 41569 784.69/787.30 c #Conflicts: 521000 | #Constraints: 42569 784.69/787.30 c #Conflicts: 522000 | #Constraints: 43569 784.69/787.30 c #Conflicts: 523000 | #Constraints: 44569 784.69/787.30 c #Conflicts: 524000 | #Constraints: 45569 784.69/787.30 c #Conflicts: 525000 | #Constraints: 46569 784.69/787.30 c #Conflicts: 526000 | #Constraints: 47570 784.69/787.30 c #Conflicts: 527000 | #Constraints: 48570 784.69/787.30 c #Conflicts: 528000 | #Constraints: 49570 784.69/787.30 c #Conflicts: 529000 | #Constraints: 50570 784.69/787.30 c #Conflicts: 530000 | #Constraints: 51570 784.69/787.30 c #Conflicts: 531000 | #Constraints: 52570 784.69/787.30 c #Conflicts: 532000 | #Constraints: 53570 784.69/787.30 c #Conflicts: 533000 | #Constraints: 54570 784.69/787.30 c #Conflicts: 534000 | #Constraints: 55570 784.69/787.30 c #Conflicts: 535000 | #Constraints: 56570 784.69/787.30 c #Conflicts: 536000 | #Constraints: 57570 784.69/787.30 c #Conflicts: 537000 | #Constraints: 58570 784.69/787.30 c #Conflicts: 538000 | #Constraints: 59570 784.69/787.30 c #Conflicts: 539000 | #Constraints: 60571 784.69/787.30 c #Conflicts: 540000 | #Constraints: 61571 784.69/787.30 c #Conflicts: 541000 | #Constraints: 62571 784.69/787.30 c #Conflicts: 542000 | #Constraints: 63572 784.69/787.30 c #Conflicts: 543000 | #Constraints: 64572 784.69/787.30 c #Conflicts: 544000 | #Constraints: 65572 784.69/787.30 c #Conflicts: 545000 | #Constraints: 66572 784.69/787.30 c #Conflicts: 546000 | #Constraints: 67572 784.69/787.30 c #Conflicts: 547000 | #Constraints: 68572 784.69/787.30 c #Conflicts: 548000 | #Constraints: 69572 784.69/787.30 c #Conflicts: 549000 | #Constraints: 70572 784.69/787.30 c #Conflicts: 550000 | #Constraints: 71572 784.69/787.30 c #Conflicts: 551000 | #Constraints: 72572 784.69/787.30 c #Conflicts: 552000 | #Constraints: 73572 784.69/787.30 c #Conflicts: 553000 | #Constraints: 74572 784.69/787.30 c #Conflicts: 554000 | #Constraints: 75572 784.69/787.30 c #Conflicts: 555000 | #Constraints: 76572 784.69/787.30 c #Conflicts: 556000 | #Constraints: 77572 784.69/787.30 c #Conflicts: 557000 | #Constraints: 78572 784.69/787.30 c #Conflicts: 558000 | #Constraints: 79572 784.69/787.30 c INPROCESSING 784.69/787.30 c GARBAGE COLLECT 784.69/787.30 c rational objective 98 810.69/813.43 c #Conflicts: 559000 | #Constraints: 44381 810.69/813.43 c #Conflicts: 560000 | #Constraints: 45381 810.69/813.43 c #Conflicts: 561000 | #Constraints: 46381 810.69/813.43 c #Conflicts: 562000 | #Constraints: 47381 810.69/813.43 c #Conflicts: 563000 | #Constraints: 48382 810.69/813.43 c #Conflicts: 564000 | #Constraints: 49383 810.69/813.43 c #Conflicts: 565000 | #Constraints: 50384 810.69/813.43 c #Conflicts: 566000 | #Constraints: 51384 810.69/813.43 c #Conflicts: 567000 | #Constraints: 52384 810.69/813.43 c #Conflicts: 568000 | #Constraints: 53384 810.69/813.43 c #Conflicts: 569000 | #Constraints: 54384 810.69/813.43 c #Conflicts: 570000 | #Constraints: 55384 810.69/813.43 c #Conflicts: 571000 | #Constraints: 56384 810.69/813.43 c #Conflicts: 572000 | #Constraints: 57384 810.69/813.43 c #Conflicts: 573000 | #Constraints: 58384 810.69/813.43 c #Conflicts: 574000 | #Constraints: 59384 810.69/813.43 c #Conflicts: 575000 | #Constraints: 60384 810.69/813.43 c #Conflicts: 576000 | #Constraints: 61384 810.69/813.43 c INPROCESSING 810.69/813.43 c GARBAGE COLLECT 810.69/813.43 c rational objective 98 836.80/839.64 c #Conflicts: 577000 | #Constraints: 35447 836.80/839.64 c #Conflicts: 578000 | #Constraints: 36447 836.80/839.64 c #Conflicts: 579000 | #Constraints: 37447 836.80/839.64 c #Conflicts: 580000 | #Constraints: 38447 836.80/839.64 c #Conflicts: 581000 | #Constraints: 39447 836.80/839.64 c #Conflicts: 582000 | #Constraints: 40447 836.80/839.64 c #Conflicts: 583000 | #Constraints: 41448 836.80/839.64 c #Conflicts: 584000 | #Constraints: 42448 836.80/839.64 c #Conflicts: 585000 | #Constraints: 43448 836.80/839.64 c #Conflicts: 586000 | #Constraints: 44448 836.80/839.64 c #Conflicts: 587000 | #Constraints: 45448 836.80/839.64 c #Conflicts: 588000 | #Constraints: 46448 836.80/839.64 c #Conflicts: 589000 | #Constraints: 47448 836.80/839.64 c #Conflicts: 590000 | #Constraints: 48448 836.80/839.64 c #Conflicts: 591000 | #Constraints: 49448 836.80/839.64 c #Conflicts: 592000 | #Constraints: 50448 836.80/839.64 c #Conflicts: 593000 | #Constraints: 51448 836.80/839.64 c #Conflicts: 594000 | #Constraints: 52448 836.80/839.64 c INPROCESSING 836.80/839.64 c GARBAGE COLLECT 836.80/839.64 c rational objective 98 870.89/873.83 c #Conflicts: 595000 | #Constraints: 31075 870.89/873.83 c #Conflicts: 596000 | #Constraints: 32075 870.89/873.83 c #Conflicts: 597000 | #Constraints: 33075 870.89/873.83 c #Conflicts: 598000 | #Constraints: 34075 870.89/873.83 c #Conflicts: 599000 | #Constraints: 35075 870.89/873.83 c #Conflicts: 600000 | #Constraints: 36075 870.89/873.83 c #Conflicts: 601000 | #Constraints: 37076 870.89/873.83 c #Conflicts: 602000 | #Constraints: 38076 870.89/873.83 c #Conflicts: 603000 | #Constraints: 39076 870.89/873.83 c #Conflicts: 604000 | #Constraints: 40076 870.89/873.83 c #Conflicts: 605000 | #Constraints: 41076 870.89/873.83 c #Conflicts: 606000 | #Constraints: 42076 870.89/873.83 c #Conflicts: 607000 | #Constraints: 43076 870.89/873.83 c #Conflicts: 608000 | #Constraints: 44077 870.89/873.83 c #Conflicts: 609000 | #Constraints: 45077 870.89/873.83 c #Conflicts: 610000 | #Constraints: 46077 870.89/873.83 c #Conflicts: 611000 | #Constraints: 47077 870.89/873.83 c #Conflicts: 612000 | #Constraints: 48077 870.89/873.83 c INPROCESSING 870.89/873.83 c GARBAGE COLLECT 870.89/873.83 c rational objective 98 980.20/983.53 c #Conflicts: 613000 | #Constraints: 28884 980.20/983.53 c #Conflicts: 614000 | #Constraints: 29884 980.20/983.53 c #Conflicts: 615000 | #Constraints: 30884 980.20/983.53 c #Conflicts: 616000 | #Constraints: 31884 980.20/983.53 c #Conflicts: 617000 | #Constraints: 32884 980.20/983.53 c #Conflicts: 618000 | #Constraints: 33884 980.20/983.53 c #Conflicts: 619000 | #Constraints: 34885 980.20/983.53 c #Conflicts: 620000 | #Constraints: 35886 980.20/983.53 c #Conflicts: 621000 | #Constraints: 36886 980.20/983.53 c #Conflicts: 622000 | #Constraints: 37886 980.20/983.53 c #Conflicts: 623000 | #Constraints: 38887 980.20/983.53 c #Conflicts: 624000 | #Constraints: 39887 980.20/983.53 c #Conflicts: 625000 | #Constraints: 40887 980.20/983.53 c #Conflicts: 626000 | #Constraints: 41887 980.20/983.53 c #Conflicts: 627000 | #Constraints: 42887 980.20/983.53 c #Conflicts: 628000 | #Constraints: 43887 980.20/983.53 c #Conflicts: 629000 | #Constraints: 44887 980.20/983.53 c #Conflicts: 630000 | #Constraints: 45887 980.20/983.53 c #Conflicts: 631000 | #Constraints: 46887 980.20/983.53 c #Conflicts: 632000 | #Constraints: 47887 980.20/983.53 c #Conflicts: 633000 | #Constraints: 48887 980.20/983.53 c #Conflicts: 634000 | #Constraints: 49887 980.20/983.53 c #Conflicts: 635000 | #Constraints: 50887 980.20/983.53 c #Conflicts: 636000 | #Constraints: 51887 980.20/983.53 c #Conflicts: 637000 | #Constraints: 52887 980.20/983.53 c #Conflicts: 638000 | #Constraints: 53887 980.20/983.53 c #Conflicts: 639000 | #Constraints: 54887 980.20/983.53 c #Conflicts: 640000 | #Constraints: 55887 980.20/983.53 c #Conflicts: 641000 | #Constraints: 56887 980.20/983.53 c #Conflicts: 642000 | #Constraints: 57887 980.20/983.53 c #Conflicts: 643000 | #Constraints: 58887 980.20/983.53 c #Conflicts: 644000 | #Constraints: 59887 980.20/983.53 c #Conflicts: 645000 | #Constraints: 60887 980.20/983.53 c #Conflicts: 646000 | #Constraints: 61887 980.20/983.53 c #Conflicts: 647000 | #Constraints: 62887 980.20/983.53 c #Conflicts: 648000 | #Constraints: 63887 980.20/983.53 c #Conflicts: 649000 | #Constraints: 64887 980.20/983.53 c #Conflicts: 650000 | #Constraints: 65887 980.20/983.53 c #Conflicts: 651000 | #Constraints: 66887 980.20/983.53 c #Conflicts: 652000 | #Constraints: 67887 980.20/983.53 c #Conflicts: 653000 | #Constraints: 68887 980.20/983.53 c #Conflicts: 654000 | #Constraints: 69888 980.20/983.53 c #Conflicts: 655000 | #Constraints: 70888 980.20/983.53 c #Conflicts: 656000 | #Constraints: 71888 980.20/983.53 c #Conflicts: 657000 | #Constraints: 72888 980.20/983.53 c #Conflicts: 658000 | #Constraints: 73888 980.20/983.53 c #Conflicts: 659000 | #Constraints: 74888 980.20/983.53 c #Conflicts: 660000 | #Constraints: 75888 980.20/983.53 c #Conflicts: 661000 | #Constraints: 76888 980.20/983.53 c #Conflicts: 662000 | #Constraints: 77888 980.20/983.53 c #Conflicts: 663000 | #Constraints: 78888 980.20/983.53 c #Conflicts: 664000 | #Constraints: 79888 980.20/983.53 c #Conflicts: 665000 | #Constraints: 80888 980.20/983.53 c #Conflicts: 666000 | #Constraints: 81888 980.20/983.53 c #Conflicts: 667000 | #Constraints: 82888 980.20/983.53 c #Conflicts: 668000 | #Constraints: 83888 980.20/983.53 c #Conflicts: 669000 | #Constraints: 84888 980.20/983.53 c #Conflicts: 670000 | #Constraints: 85888 980.20/983.53 c #Conflicts: 671000 | #Constraints: 86888 980.20/983.53 c INPROCESSING 980.20/983.53 c GARBAGE COLLECT 980.20/983.53 c rational objective 98 1013.78/1017.27 c #Conflicts: 672000 | #Constraints: 48026 1013.78/1017.27 c #Conflicts: 673000 | #Constraints: 49026 1013.78/1017.27 c #Conflicts: 674000 | #Constraints: 50026 1013.78/1017.27 c #Conflicts: 675000 | #Constraints: 51026 1013.78/1017.27 c #Conflicts: 676000 | #Constraints: 52026 1013.78/1017.27 c #Conflicts: 677000 | #Constraints: 53026 1013.78/1017.27 c #Conflicts: 678000 | #Constraints: 54026 1013.78/1017.27 c #Conflicts: 679000 | #Constraints: 55026 1013.78/1017.27 c #Conflicts: 680000 | #Constraints: 56026 1013.78/1017.27 c #Conflicts: 681000 | #Constraints: 57026 1013.78/1017.27 c #Conflicts: 682000 | #Constraints: 58026 1013.78/1017.27 c #Conflicts: 683000 | #Constraints: 59027 1013.78/1017.27 c #Conflicts: 684000 | #Constraints: 60027 1013.78/1017.27 c #Conflicts: 685000 | #Constraints: 61027 1013.78/1017.27 c #Conflicts: 686000 | #Constraints: 62027 1013.78/1017.27 c #Conflicts: 687000 | #Constraints: 63027 1013.78/1017.27 c #Conflicts: 688000 | #Constraints: 64027 1013.78/1017.27 c #Conflicts: 689000 | #Constraints: 65027 1013.78/1017.27 c #Conflicts: 690000 | #Constraints: 66028 1013.78/1017.27 c INPROCESSING 1013.78/1017.27 c GARBAGE COLLECT 1013.78/1017.27 c rational objective 98 1043.88/1047.45 c #Conflicts: 691000 | #Constraints: 37458 1043.88/1047.45 c #Conflicts: 692000 | #Constraints: 38458 1043.88/1047.45 c #Conflicts: 693000 | #Constraints: 39458 1043.88/1047.45 c #Conflicts: 694000 | #Constraints: 40459 1043.88/1047.45 c #Conflicts: 695000 | #Constraints: 41459 1043.88/1047.45 c #Conflicts: 696000 | #Constraints: 42459 1043.88/1047.45 c #Conflicts: 697000 | #Constraints: 43459 1043.88/1047.45 c #Conflicts: 698000 | #Constraints: 44459 1043.88/1047.45 c #Conflicts: 699000 | #Constraints: 45459 1043.88/1047.45 c #Conflicts: 700000 | #Constraints: 46459 1043.88/1047.45 c #Conflicts: 701000 | #Constraints: 47459 1043.88/1047.45 c #Conflicts: 702000 | #Constraints: 48459 1043.88/1047.45 c #Conflicts: 703000 | #Constraints: 49459 1043.88/1047.45 c #Conflicts: 704000 | #Constraints: 50459 1043.88/1047.45 c #Conflicts: 705000 | #Constraints: 51459 1043.88/1047.45 c #Conflicts: 706000 | #Constraints: 52459 1043.88/1047.45 c #Conflicts: 707000 | #Constraints: 53459 1043.88/1047.45 c #Conflicts: 708000 | #Constraints: 54459 1043.88/1047.45 c #Conflicts: 709000 | #Constraints: 55459 1043.88/1047.45 c #Conflicts: 710000 | #Constraints: 56459 1043.88/1047.45 c INPROCESSING 1043.88/1047.45 c GARBAGE COLLECT 1043.88/1047.45 c rational objective 98 1067.09/1070.73 c #Conflicts: 711000 | #Constraints: 32928 1067.09/1070.73 c #Conflicts: 712000 | #Constraints: 33928 1067.09/1070.73 c #Conflicts: 713000 | #Constraints: 34928 1067.09/1070.73 c #Conflicts: 714000 | #Constraints: 35928 1067.09/1070.73 c #Conflicts: 715000 | #Constraints: 36928 1067.09/1070.73 c #Conflicts: 716000 | #Constraints: 37928 1067.09/1070.73 c #Conflicts: 717000 | #Constraints: 38928 1067.09/1070.73 c #Conflicts: 718000 | #Constraints: 39928 1067.09/1070.73 c #Conflicts: 719000 | #Constraints: 40928 1067.09/1070.73 c #Conflicts: 720000 | #Constraints: 41928 1067.09/1070.73 c #Conflicts: 721000 | #Constraints: 42929 1067.09/1070.73 c #Conflicts: 722000 | #Constraints: 43929 1067.09/1070.73 c #Conflicts: 723000 | #Constraints: 44929 1067.09/1070.73 c #Conflicts: 724000 | #Constraints: 45929 1067.09/1070.73 c #Conflicts: 725000 | #Constraints: 46929 1067.09/1070.73 c #Conflicts: 726000 | #Constraints: 47929 1067.09/1070.73 c #Conflicts: 727000 | #Constraints: 48929 1067.09/1070.73 c #Conflicts: 728000 | #Constraints: 49929 1067.09/1070.73 c #Conflicts: 729000 | #Constraints: 50929 1067.09/1070.73 c #Conflicts: 730000 | #Constraints: 51929 1067.09/1070.73 c INPROCESSING 1067.09/1070.73 c GARBAGE COLLECT 1067.09/1070.73 c rational objective 98 1192.79/1196.90 c #Conflicts: 731000 | #Constraints: 30812 1192.79/1196.90 c #Conflicts: 732000 | #Constraints: 31812 1192.79/1196.90 c #Conflicts: 733000 | #Constraints: 32813 1192.79/1196.90 c #Conflicts: 734000 | #Constraints: 33813 1192.79/1196.90 c #Conflicts: 735000 | #Constraints: 34813 1192.79/1196.90 c #Conflicts: 736000 | #Constraints: 35813 1192.79/1196.90 c #Conflicts: 737000 | #Constraints: 36813 1192.79/1196.90 c #Conflicts: 738000 | #Constraints: 37813 1192.79/1196.90 c #Conflicts: 739000 | #Constraints: 38813 1192.79/1196.90 c #Conflicts: 740000 | #Constraints: 39813 1192.79/1196.90 c #Conflicts: 741000 | #Constraints: 40813 1192.79/1196.90 c #Conflicts: 742000 | #Constraints: 41813 1192.79/1196.90 c #Conflicts: 743000 | #Constraints: 42813 1192.79/1196.90 c #Conflicts: 744000 | #Constraints: 43813 1192.79/1196.90 c #Conflicts: 745000 | #Constraints: 44814 1192.79/1196.90 c #Conflicts: 746000 | #Constraints: 45814 1192.79/1196.90 c #Conflicts: 747000 | #Constraints: 46814 1192.79/1196.90 c #Conflicts: 748000 | #Constraints: 47814 1192.79/1196.90 c #Conflicts: 749000 | #Constraints: 48814 1192.79/1196.90 c #Conflicts: 750000 | #Constraints: 49814 1192.79/1196.90 c #Conflicts: 751000 | #Constraints: 50814 1192.79/1196.90 c #Conflicts: 752000 | #Constraints: 51814 1192.79/1196.90 c #Conflicts: 753000 | #Constraints: 52814 1192.79/1196.90 c #Conflicts: 754000 | #Constraints: 53814 1192.79/1196.90 c #Conflicts: 755000 | #Constraints: 54814 1192.79/1196.90 c #Conflicts: 756000 | #Constraints: 55814 1192.79/1196.90 c #Conflicts: 757000 | #Constraints: 56814 1192.79/1196.90 c #Conflicts: 758000 | #Constraints: 57814 1192.79/1196.90 c #Conflicts: 759000 | #Constraints: 58814 1192.79/1196.90 c #Conflicts: 760000 | #Constraints: 59815 1192.79/1196.90 c #Conflicts: 761000 | #Constraints: 60815 1192.79/1196.90 c #Conflicts: 762000 | #Constraints: 61815 1192.79/1196.90 c #Conflicts: 763000 | #Constraints: 62815 1192.79/1196.90 c #Conflicts: 764000 | #Constraints: 63815 1192.79/1196.90 c #Conflicts: 765000 | #Constraints: 64815 1192.79/1196.90 c #Conflicts: 766000 | #Constraints: 65815 1192.79/1196.90 c #Conflicts: 767000 | #Constraints: 66815 1192.79/1196.90 c #Conflicts: 768000 | #Constraints: 67815 1192.79/1196.90 c #Conflicts: 769000 | #Constraints: 68815 1192.79/1196.90 c #Conflicts: 770000 | #Constraints: 69815 1192.79/1196.90 c #Conflicts: 771000 | #Constraints: 70815 1192.79/1196.90 c #Conflicts: 772000 | #Constraints: 71815 1192.79/1196.90 c #Conflicts: 773000 | #Constraints: 72816 1192.79/1196.90 c #Conflicts: 774000 | #Constraints: 73816 1192.79/1196.90 c #Conflicts: 775000 | #Constraints: 74816 1192.79/1196.90 c #Conflicts: 776000 | #Constraints: 75816 1192.79/1196.90 c #Conflicts: 777000 | #Constraints: 76816 1192.79/1196.90 c #Conflicts: 778000 | #Constraints: 77816 1192.79/1196.90 c #Conflicts: 779000 | #Constraints: 78816 1192.79/1196.90 c #Conflicts: 780000 | #Constraints: 79816 1192.79/1196.90 c #Conflicts: 781000 | #Constraints: 80816 1192.79/1196.90 c #Conflicts: 782000 | #Constraints: 81816 1192.79/1196.90 c #Conflicts: 783000 | #Constraints: 82816 1192.79/1196.90 c #Conflicts: 784000 | #Constraints: 83816 1192.79/1196.90 c #Conflicts: 785000 | #Constraints: 84816 1192.79/1196.90 c #Conflicts: 786000 | #Constraints: 85817 1192.79/1196.90 c #Conflicts: 787000 | #Constraints: 86817 1192.79/1196.90 c #Conflicts: 788000 | #Constraints: 87817 1192.79/1196.90 c #Conflicts: 789000 | #Constraints: 88817 1192.79/1196.90 c #Conflicts: 790000 | #Constraints: 89817 1192.79/1196.90 c #Conflicts: 791000 | #Constraints: 90817 1192.79/1196.90 c #Conflicts: 792000 | #Constraints: 91817 1192.79/1196.90 c #Conflicts: 793000 | #Constraints: 92817 1192.79/1196.90 c #Conflicts: 794000 | #Constraints: 93817 1192.79/1196.90 c #Conflicts: 795000 | #Constraints: 94817 1192.79/1196.90 c INPROCESSING 1192.79/1196.90 c GARBAGE COLLECT 1192.79/1196.90 c rational objective 98 1253.34/1257.65 c #Conflicts: 796000 | #Constraints: 52304 1253.34/1257.65 c #Conflicts: 797000 | #Constraints: 53304 1253.34/1257.65 c #Conflicts: 798000 | #Constraints: 54304 1253.34/1257.65 c #Conflicts: 799000 | #Constraints: 55304 1253.34/1257.65 c #Conflicts: 800000 | #Constraints: 56305 1253.34/1257.65 c #Conflicts: 801000 | #Constraints: 57306 1253.34/1257.65 c #Conflicts: 802000 | #Constraints: 58306 1253.34/1257.65 c #Conflicts: 803000 | #Constraints: 59306 1253.34/1257.65 c #Conflicts: 804000 | #Constraints: 60306 1253.34/1257.65 c #Conflicts: 805000 | #Constraints: 61306 1253.34/1257.65 c #Conflicts: 806000 | #Constraints: 62306 1253.34/1257.65 c #Conflicts: 807000 | #Constraints: 63306 1253.34/1257.65 c #Conflicts: 808000 | #Constraints: 64306 1253.34/1257.65 c #Conflicts: 809000 | #Constraints: 65306 1253.34/1257.65 c #Conflicts: 810000 | #Constraints: 66306 1253.34/1257.65 c #Conflicts: 811000 | #Constraints: 67306 1253.34/1257.65 c #Conflicts: 812000 | #Constraints: 68306 1253.34/1257.65 c #Conflicts: 813000 | #Constraints: 69306 1253.34/1257.65 c #Conflicts: 814000 | #Constraints: 70306 1253.34/1257.65 c #Conflicts: 815000 | #Constraints: 71306 1253.34/1257.65 c #Conflicts: 816000 | #Constraints: 72307 1253.34/1257.65 c INPROCESSING 1253.34/1257.65 c GARBAGE COLLECT 1253.34/1257.65 c rational objective 98 1279.36/1283.71 c #Conflicts: 817000 | #Constraints: 41059 1279.36/1283.71 c #Conflicts: 818000 | #Constraints: 42059 1279.36/1283.71 c #Conflicts: 819000 | #Constraints: 43059 1279.36/1283.71 c #Conflicts: 820000 | #Constraints: 44059 1279.36/1283.71 c #Conflicts: 821000 | #Constraints: 45059 1279.36/1283.71 c #Conflicts: 822000 | #Constraints: 46059 1279.36/1283.71 c #Conflicts: 823000 | #Constraints: 47059 1279.36/1283.71 c #Conflicts: 824000 | #Constraints: 48059 1279.36/1283.71 c #Conflicts: 825000 | #Constraints: 49059 1279.36/1283.71 c #Conflicts: 826000 | #Constraints: 50059 1279.36/1283.71 c #Conflicts: 827000 | #Constraints: 51059 1279.36/1283.71 c #Conflicts: 828000 | #Constraints: 52059 1279.36/1283.71 c #Conflicts: 829000 | #Constraints: 53059 1279.36/1283.71 c #Conflicts: 830000 | #Constraints: 54059 1279.36/1283.71 c #Conflicts: 831000 | #Constraints: 55059 1279.36/1283.71 c #Conflicts: 832000 | #Constraints: 56059 1279.36/1283.71 c #Conflicts: 833000 | #Constraints: 57059 1279.36/1283.71 c #Conflicts: 834000 | #Constraints: 58059 1279.36/1283.71 c #Conflicts: 835000 | #Constraints: 59059 1279.36/1283.71 c #Conflicts: 836000 | #Constraints: 60059 1279.36/1283.71 c #Conflicts: 837000 | #Constraints: 61059 1279.36/1283.71 c INPROCESSING 1279.36/1283.71 c GARBAGE COLLECT 1279.36/1283.71 c rational objective 98 1308.70/1313.12 c #Conflicts: 838000 | #Constraints: 35361 1308.70/1313.12 c #Conflicts: 839000 | #Constraints: 36361 1308.70/1313.12 c #Conflicts: 840000 | #Constraints: 37361 1308.70/1313.12 c #Conflicts: 841000 | #Constraints: 38361 1308.70/1313.12 c #Conflicts: 842000 | #Constraints: 39361 1308.70/1313.12 c #Conflicts: 843000 | #Constraints: 40361 1308.70/1313.12 c #Conflicts: 844000 | #Constraints: 41361 1308.70/1313.12 c #Conflicts: 845000 | #Constraints: 42361 1308.70/1313.12 c #Conflicts: 846000 | #Constraints: 43362 1308.70/1313.12 c #Conflicts: 847000 | #Constraints: 44362 1308.70/1313.12 c #Conflicts: 848000 | #Constraints: 45362 1308.70/1313.12 c #Conflicts: 849000 | #Constraints: 46362 1308.70/1313.12 c #Conflicts: 850000 | #Constraints: 47362 1308.70/1313.12 c #Conflicts: 851000 | #Constraints: 48362 1308.70/1313.12 c #Conflicts: 852000 | #Constraints: 49362 1308.70/1313.12 c #Conflicts: 853000 | #Constraints: 50362 1308.70/1313.12 c #Conflicts: 854000 | #Constraints: 51362 1308.70/1313.12 c #Conflicts: 855000 | #Constraints: 52362 1308.70/1313.12 c #Conflicts: 856000 | #Constraints: 53362 1308.70/1313.12 c #Conflicts: 857000 | #Constraints: 54362 1308.70/1313.12 c #Conflicts: 858000 | #Constraints: 55362 1308.70/1313.12 c INPROCESSING 1308.70/1313.12 c GARBAGE COLLECT 1308.70/1313.12 c rational objective 98 1438.12/1442.91 c #Conflicts: 859000 | #Constraints: 32349 1438.12/1442.91 c #Conflicts: 860000 | #Constraints: 33349 1438.12/1442.91 c #Conflicts: 861000 | #Constraints: 34349 1438.12/1442.91 c #Conflicts: 862000 | #Constraints: 35349 1438.12/1442.91 c #Conflicts: 863000 | #Constraints: 36349 1438.12/1442.91 c #Conflicts: 864000 | #Constraints: 37349 1438.12/1442.91 c #Conflicts: 865000 | #Constraints: 38349 1438.12/1442.91 c #Conflicts: 866000 | #Constraints: 39349 1438.12/1442.91 c #Conflicts: 867000 | #Constraints: 40349 1438.12/1442.91 c #Conflicts: 868000 | #Constraints: 41349 1438.12/1442.91 c #Conflicts: 869000 | #Constraints: 42349 1438.12/1442.91 c #Conflicts: 870000 | #Constraints: 43349 1438.12/1442.91 c #Conflicts: 871000 | #Constraints: 44349 1438.12/1442.91 c #Conflicts: 872000 | #Constraints: 45349 1438.12/1442.91 c #Conflicts: 873000 | #Constraints: 46349 1438.12/1442.91 c #Conflicts: 874000 | #Constraints: 47349 1438.12/1442.91 c #Conflicts: 875000 | #Constraints: 48349 1438.12/1442.91 c #Conflicts: 876000 | #Constraints: 49349 1438.12/1442.91 c #Conflicts: 877000 | #Constraints: 50349 1438.12/1442.91 c #Conflicts: 878000 | #Constraints: 51349 1438.12/1442.91 c #Conflicts: 879000 | #Constraints: 52349 1438.12/1442.91 c #Conflicts: 880000 | #Constraints: 53349 1438.12/1442.91 c #Conflicts: 881000 | #Constraints: 54350 1438.12/1442.91 c #Conflicts: 882000 | #Constraints: 55350 1438.12/1442.91 c #Conflicts: 883000 | #Constraints: 56350 1438.12/1442.91 c #Conflicts: 884000 | #Constraints: 57350 1438.12/1442.91 c #Conflicts: 885000 | #Constraints: 58350 1438.12/1442.91 c #Conflicts: 886000 | #Constraints: 59351 1438.12/1442.91 c #Conflicts: 887000 | #Constraints: 60351 1438.12/1442.91 c #Conflicts: 888000 | #Constraints: 61351 1438.12/1442.91 c #Conflicts: 889000 | #Constraints: 62351 1438.12/1442.91 c #Conflicts: 890000 | #Constraints: 63351 1438.12/1442.91 c #Conflicts: 891000 | #Constraints: 64351 1438.12/1442.91 c #Conflicts: 892000 | #Constraints: 65351 1438.12/1442.91 c #Conflicts: 893000 | #Constraints: 66351 1438.12/1442.91 c #Conflicts: 894000 | #Constraints: 67351 1438.12/1442.91 c #Conflicts: 895000 | #Constraints: 68351 1438.12/1442.91 c #Conflicts: 896000 | #Constraints: 69351 1438.12/1442.91 c #Conflicts: 897000 | #Constraints: 70351 1438.12/1442.91 c #Conflicts: 898000 | #Constraints: 71351 1438.12/1442.91 c #Conflicts: 899000 | #Constraints: 72351 1438.12/1442.91 c #Conflicts: 900000 | #Constraints: 73351 1438.12/1442.91 c #Conflicts: 901000 | #Constraints: 74351 1438.12/1442.91 c #Conflicts: 902000 | #Constraints: 75351 1438.12/1442.91 c #Conflicts: 903000 | #Constraints: 76351 1438.12/1442.91 c #Conflicts: 904000 | #Constraints: 77351 1438.12/1442.91 c #Conflicts: 905000 | #Constraints: 78351 1438.12/1442.91 c #Conflicts: 906000 | #Constraints: 79351 1438.12/1442.91 c #Conflicts: 907000 | #Constraints: 80351 1438.12/1442.91 c #Conflicts: 908000 | #Constraints: 81351 1438.12/1442.91 c #Conflicts: 909000 | #Constraints: 82351 1438.12/1442.91 c #Conflicts: 910000 | #Constraints: 83351 1438.12/1442.91 c #Conflicts: 911000 | #Constraints: 84351 1438.12/1442.91 c #Conflicts: 912000 | #Constraints: 85351 1438.12/1442.91 c #Conflicts: 913000 | #Constraints: 86351 1438.12/1442.91 c #Conflicts: 914000 | #Constraints: 87351 1438.12/1442.91 c #Conflicts: 915000 | #Constraints: 88351 1438.12/1442.91 c #Conflicts: 916000 | #Constraints: 89351 1438.12/1442.91 c #Conflicts: 917000 | #Constraints: 90351 1438.12/1442.91 c #Conflicts: 918000 | #Constraints: 91351 1438.12/1442.91 c #Conflicts: 919000 | #Constraints: 92351 1438.12/1442.91 c #Conflicts: 920000 | #Constraints: 93351 1438.12/1442.91 c #Conflicts: 921000 | #Constraints: 94351 1438.12/1442.91 c #Conflicts: 922000 | #Constraints: 95351 1438.12/1442.91 c #Conflicts: 923000 | #Constraints: 96351 1438.12/1442.91 c #Conflicts: 924000 | #Constraints: 97351 1438.12/1442.91 c #Conflicts: 925000 | #Constraints: 98351 1438.12/1442.91 c #Conflicts: 926000 | #Constraints: 99351 1438.12/1442.91 c #Conflicts: 927000 | #Constraints: 100351 1438.12/1442.91 c #Conflicts: 928000 | #Constraints: 101351 1438.12/1442.91 c INPROCESSING 1438.12/1442.91 c GARBAGE COLLECT 1438.12/1442.91 c rational objective 98 1487.59/1492.53 c #Conflicts: 929000 | #Constraints: 55167 1487.59/1492.53 c #Conflicts: 930000 | #Constraints: 56167 1487.59/1492.53 c #Conflicts: 931000 | #Constraints: 57167 1487.59/1492.53 c #Conflicts: 932000 | #Constraints: 58167 1487.59/1492.53 c #Conflicts: 933000 | #Constraints: 59167 1487.59/1492.53 c #Conflicts: 934000 | #Constraints: 60167 1487.59/1492.53 c #Conflicts: 935000 | #Constraints: 61167 1487.59/1492.53 c #Conflicts: 936000 | #Constraints: 62167 1487.59/1492.53 c #Conflicts: 937000 | #Constraints: 63167 1487.59/1492.53 c #Conflicts: 938000 | #Constraints: 64167 1487.59/1492.53 c #Conflicts: 939000 | #Constraints: 65167 1487.59/1492.53 c #Conflicts: 940000 | #Constraints: 66167 1487.59/1492.53 c #Conflicts: 941000 | #Constraints: 67167 1487.59/1492.53 c #Conflicts: 942000 | #Constraints: 68167 1487.59/1492.53 c #Conflicts: 943000 | #Constraints: 69167 1487.59/1492.53 c #Conflicts: 944000 | #Constraints: 70167 1487.59/1492.53 c #Conflicts: 945000 | #Constraints: 71167 1487.59/1492.53 c #Conflicts: 946000 | #Constraints: 72167 1487.59/1492.53 c #Conflicts: 947000 | #Constraints: 73167 1487.59/1492.53 c #Conflicts: 948000 | #Constraints: 74167 1487.59/1492.53 c #Conflicts: 949000 | #Constraints: 75167 1487.59/1492.53 c #Conflicts: 950000 | #Constraints: 76167 1487.59/1492.53 c #Conflicts: 951000 | #Constraints: 77168 1487.59/1492.53 c INPROCESSING 1487.59/1492.53 c GARBAGE COLLECT 1487.59/1492.53 c rational objective 98 1522.49/1527.55 c #Conflicts: 952000 | #Constraints: 43255 1522.49/1527.55 c #Conflicts: 953000 | #Constraints: 44255 1522.49/1527.55 c #Conflicts: 954000 | #Constraints: 45255 1522.49/1527.55 c #Conflicts: 955000 | #Constraints: 46255 1522.49/1527.55 c #Conflicts: 956000 | #Constraints: 47255 1522.49/1527.55 c #Conflicts: 957000 | #Constraints: 48256 1522.49/1527.55 c #Conflicts: 958000 | #Constraints: 49256 1522.49/1527.55 c #Conflicts: 959000 | #Constraints: 50256 1522.49/1527.55 c #Conflicts: 960000 | #Constraints: 51256 1522.49/1527.55 c #Conflicts: 961000 | #Constraints: 52256 1522.49/1527.55 c #Conflicts: 962000 | #Constraints: 53256 1522.49/1527.55 c #Conflicts: 963000 | #Constraints: 54256 1522.49/1527.55 c #Conflicts: 964000 | #Constraints: 55256 1522.49/1527.55 c #Conflicts: 965000 | #Constraints: 56256 1522.49/1527.55 c #Conflicts: 966000 | #Constraints: 57256 1522.49/1527.55 c #Conflicts: 967000 | #Constraints: 58256 1522.49/1527.55 c #Conflicts: 968000 | #Constraints: 59256 1522.49/1527.55 c #Conflicts: 969000 | #Constraints: 60256 1522.49/1527.55 c #Conflicts: 970000 | #Constraints: 61256 1522.49/1527.55 c #Conflicts: 971000 | #Constraints: 62256 1522.49/1527.55 c #Conflicts: 972000 | #Constraints: 63256 1522.49/1527.55 c #Conflicts: 973000 | #Constraints: 64256 1522.49/1527.55 c #Conflicts: 974000 | #Constraints: 65256 1522.49/1527.55 c INPROCESSING 1522.49/1527.55 c GARBAGE COLLECT 1522.49/1527.55 c rational objective 98 1553.51/1558.65 c #Conflicts: 975000 | #Constraints: 37332 1553.51/1558.65 c #Conflicts: 976000 | #Constraints: 38332 1553.51/1558.65 c #Conflicts: 977000 | #Constraints: 39332 1553.51/1558.65 c #Conflicts: 978000 | #Constraints: 40332 1553.51/1558.65 c #Conflicts: 979000 | #Constraints: 41332 1553.51/1558.65 c #Conflicts: 980000 | #Constraints: 42332 1553.51/1558.65 c #Conflicts: 981000 | #Constraints: 43332 1553.51/1558.65 c #Conflicts: 982000 | #Constraints: 44333 1553.51/1558.65 c #Conflicts: 983000 | #Constraints: 45333 1553.51/1558.65 c #Conflicts: 984000 | #Constraints: 46333 1553.51/1558.65 c #Conflicts: 985000 | #Constraints: 47333 1553.51/1558.65 c #Conflicts: 986000 | #Constraints: 48333 1553.51/1558.65 c #Conflicts: 987000 | #Constraints: 49333 1553.51/1558.65 c #Conflicts: 988000 | #Constraints: 50333 1553.51/1558.65 c #Conflicts: 989000 | #Constraints: 51333 1553.51/1558.65 c #Conflicts: 990000 | #Constraints: 52333 1553.51/1558.65 c #Conflicts: 991000 | #Constraints: 53333 1553.51/1558.65 c #Conflicts: 992000 | #Constraints: 54333 1553.51/1558.65 c #Conflicts: 993000 | #Constraints: 55333 1553.51/1558.65 c #Conflicts: 994000 | #Constraints: 56333 1553.51/1558.65 c #Conflicts: 995000 | #Constraints: 57334 1553.51/1558.65 c #Conflicts: 996000 | #Constraints: 58334 1553.51/1558.65 c #Conflicts: 997000 | #Constraints: 59334 1553.51/1558.65 c INPROCESSING 1553.51/1558.65 c GARBAGE COLLECT 1553.51/1558.65 c rational objective 98 1739.26/1744.97 c #Conflicts: 998000 | #Constraints: 34372 1739.26/1744.97 c #Conflicts: 999000 | #Constraints: 35372 1739.26/1744.97 c #Conflicts: 1000000 | #Constraints: 36372 1739.26/1744.97 c #Conflicts: 1001000 | #Constraints: 37372 1739.26/1744.97 c #Conflicts: 1002000 | #Constraints: 38372 1739.26/1744.97 c #Conflicts: 1003000 | #Constraints: 39372 1739.26/1744.97 c #Conflicts: 1004000 | #Constraints: 40372 1739.26/1744.97 c #Conflicts: 1005000 | #Constraints: 41372 1739.26/1744.97 c #Conflicts: 1006000 | #Constraints: 42372 1739.26/1744.97 c #Conflicts: 1007000 | #Constraints: 43372 1739.26/1744.97 c #Conflicts: 1008000 | #Constraints: 44372 1739.26/1744.97 c #Conflicts: 1009000 | #Constraints: 45372 1739.26/1744.97 c #Conflicts: 1010000 | #Constraints: 46372 1739.26/1744.97 c #Conflicts: 1011000 | #Constraints: 47372 1739.26/1744.97 c #Conflicts: 1012000 | #Constraints: 48372 1739.26/1744.97 c #Conflicts: 1013000 | #Constraints: 49372 1739.26/1744.97 c #Conflicts: 1014000 | #Constraints: 50372 1739.26/1744.97 c #Conflicts: 1015000 | #Constraints: 51372 1739.26/1744.97 c #Conflicts: 1016000 | #Constraints: 52372 1739.26/1744.97 c #Conflicts: 1017000 | #Constraints: 53372 1739.26/1744.97 c #Conflicts: 1018000 | #Constraints: 54372 1739.26/1744.97 c #Conflicts: 1019000 | #Constraints: 55372 1739.26/1744.97 c #Conflicts: 1020000 | #Constraints: 56372 1739.26/1744.97 c #Conflicts: 1021000 | #Constraints: 57372 1739.26/1744.97 c #Conflicts: 1022000 | #Constraints: 58372 1739.26/1744.97 c #Conflicts: 1023000 | #Constraints: 59372 1739.26/1744.97 c #Conflicts: 1024000 | #Constraints: 60372 1739.26/1744.97 c #Conflicts: 1025000 | #Constraints: 61372 1739.26/1744.97 c #Conflicts: 1026000 | #Constraints: 62372 1739.26/1744.97 c #Conflicts: 1027000 | #Constraints: 63372 1739.26/1744.97 c #Conflicts: 1028000 | #Constraints: 64372 1739.26/1744.97 c #Conflicts: 1029000 | #Constraints: 65372 1739.26/1744.97 c #Conflicts: 1030000 | #Constraints: 66372 1739.26/1744.97 c #Conflicts: 1031000 | #Constraints: 67372 1739.26/1744.97 c #Conflicts: 1032000 | #Constraints: 68372 1739.26/1744.97 c #Conflicts: 1033000 | #Constraints: 69372 1739.26/1744.97 c #Conflicts: 1034000 | #Constraints: 70372 1739.26/1744.97 c #Conflicts: 1035000 | #Constraints: 71372 1739.26/1744.97 c #Conflicts: 1036000 | #Constraints: 72372 1739.26/1744.97 c #Conflicts: 1037000 | #Constraints: 73372 1739.26/1744.97 c #Conflicts: 1038000 | #Constraints: 74372 1739.26/1744.97 c #Conflicts: 1039000 | #Constraints: 75372 1739.26/1744.97 c #Conflicts: 1040000 | #Constraints: 76372 1739.26/1744.97 c #Conflicts: 1041000 | #Constraints: 77372 1739.26/1744.97 c #Conflicts: 1042000 | #Constraints: 78372 1739.26/1744.97 c #Conflicts: 1043000 | #Constraints: 79372 1739.26/1744.97 c #Conflicts: 1044000 | #Constraints: 80372 1739.26/1744.97 c #Conflicts: 1045000 | #Constraints: 81372 1739.26/1744.97 c #Conflicts: 1046000 | #Constraints: 82372 1739.26/1744.97 c #Conflicts: 1047000 | #Constraints: 83372 1739.26/1744.97 c #Conflicts: 1048000 | #Constraints: 84372 1739.26/1744.97 c #Conflicts: 1049000 | #Constraints: 85372 1739.26/1744.97 c #Conflicts: 1050000 | #Constraints: 86372 1739.26/1744.97 c #Conflicts: 1051000 | #Constraints: 87372 1739.26/1744.97 c #Conflicts: 1052000 | #Constraints: 88372 1739.26/1744.97 c #Conflicts: 1053000 | #Constraints: 89372 1739.26/1744.97 c #Conflicts: 1054000 | #Constraints: 90372 1739.26/1744.97 c #Conflicts: 1055000 | #Constraints: 91372 1739.26/1744.97 c #Conflicts: 1056000 | #Constraints: 92372 1739.26/1744.97 c #Conflicts: 1057000 | #Constraints: 93372 1739.26/1744.97 c #Conflicts: 1058000 | #Constraints: 94373 1739.26/1744.97 c #Conflicts: 1059000 | #Constraints: 95373 1739.26/1744.97 c #Conflicts: 1060000 | #Constraints: 96373 1739.26/1744.97 c #Conflicts: 1061000 | #Constraints: 97373 1739.26/1744.97 c #Conflicts: 1062000 | #Constraints: 98373 1739.26/1744.97 c #Conflicts: 1063000 | #Constraints: 99373 1739.26/1744.97 c #Conflicts: 1064000 | #Constraints: 100373 1739.26/1744.97 c #Conflicts: 1065000 | #Constraints: 101373 1739.26/1744.97 c #Conflicts: 1066000 | #Constraints: 102373 1739.26/1744.97 c #Conflicts: 1067000 | #Constraints: 103373 1739.26/1744.97 c #Conflicts: 1068000 | #Constraints: 104373 1739.26/1744.97 c #Conflicts: 1069000 | #Constraints: 105373 1739.26/1744.97 c #Conflicts: 1070000 | #Constraints: 106373 1739.26/1744.97 c #Conflicts: 1071000 | #Constraints: 107373 1739.26/1744.97 c #Conflicts: 1072000 | #Constraints: 108373 1739.26/1744.97 c #Conflicts: 1073000 | #Constraints: 109373 1739.26/1744.97 c INPROCESSING 1739.26/1744.97 c GARBAGE COLLECT 1739.26/1744.97 c rational objective 98 1783.14/1788.95 c #Conflicts: 1074000 | #Constraints: 59618 1783.14/1788.95 c #Conflicts: 1075000 | #Constraints: 60618 1783.14/1788.95 c #Conflicts: 1076000 | #Constraints: 61618 1783.14/1788.95 c #Conflicts: 1077000 | #Constraints: 62618 1783.14/1788.95 c #Conflicts: 1078000 | #Constraints: 63618 1783.14/1788.95 c #Conflicts: 1079000 | #Constraints: 64618 1783.14/1788.95 c #Conflicts: 1080000 | #Constraints: 65619 1783.14/1788.95 c #Conflicts: 1081000 | #Constraints: 66619 1783.14/1788.95 c #Conflicts: 1082000 | #Constraints: 67619 1783.14/1788.95 c #Conflicts: 1083000 | #Constraints: 68619 1783.14/1788.95 c #Conflicts: 1084000 | #Constraints: 69619 1783.14/1788.95 c #Conflicts: 1085000 | #Constraints: 70619 1783.14/1788.95 c #Conflicts: 1086000 | #Constraints: 71619 1783.14/1788.95 c #Conflicts: 1087000 | #Constraints: 72619 1783.14/1788.95 c #Conflicts: 1088000 | #Constraints: 73619 1783.14/1788.95 c #Conflicts: 1089000 | #Constraints: 74619 1783.14/1788.95 c #Conflicts: 1090000 | #Constraints: 75619 1783.14/1788.95 c #Conflicts: 1091000 | #Constraints: 76619 1783.14/1788.95 c #Conflicts: 1092000 | #Constraints: 77619 1783.14/1788.95 c #Conflicts: 1093000 | #Constraints: 78619 1783.14/1788.95 c #Conflicts: 1094000 | #Constraints: 79619 1783.14/1788.95 c #Conflicts: 1095000 | #Constraints: 80619 1783.14/1788.95 c #Conflicts: 1096000 | #Constraints: 81619 1783.14/1788.95 c #Conflicts: 1097000 | #Constraints: 82619 1783.14/1788.95 c INPROCESSING 1783.14/1788.95 c GARBAGE COLLECT 1783.14/1788.95 c rational objective 98 1836.30/1842.21 c #Conflicts: 1098000 | #Constraints: 46091 1836.30/1842.21 c #Conflicts: 1099000 | #Constraints: 47091 1836.30/1842.21 c #Conflicts: 1100000 | #Constraints: 48091 1836.30/1842.21 c #Conflicts: 1101000 | #Constraints: 49091 1836.30/1842.21 c #Conflicts: 1102000 | #Constraints: 50091 1836.30/1842.21 c #Conflicts: 1103000 | #Constraints: 51091 1836.30/1842.21 c #Conflicts: 1104000 | #Constraints: 52091 1836.30/1842.21 c #Conflicts: 1105000 | #Constraints: 53091 1836.30/1842.21 c #Conflicts: 1106000 | #Constraints: 54091 1836.30/1842.21 c #Conflicts: 1107000 | #Constraints: 55092 1836.30/1842.21 c #Conflicts: 1108000 | #Constraints: 56092 1836.30/1842.21 c #Conflicts: 1109000 | #Constraints: 57092 1836.30/1842.21 c #Conflicts: 1110000 | #Constraints: 58092 1836.30/1842.21 c #Conflicts: 1111000 | #Constraints: 59092 1836.30/1842.21 c #Conflicts: 1112000 | #Constraints: 60092 1836.30/1842.21 c #Conflicts: 1113000 | #Constraints: 61092 1836.30/1842.21 c #Conflicts: 1114000 | #Constraints: 62092 1836.30/1842.21 c #Conflicts: 1115000 | #Constraints: 63092 1836.30/1842.21 c #Conflicts: 1116000 | #Constraints: 64092 1836.30/1842.21 c #Conflicts: 1117000 | #Constraints: 65092 1836.30/1842.21 c #Conflicts: 1118000 | #Constraints: 66092 1836.30/1842.21 c #Conflicts: 1119000 | #Constraints: 67092 1836.30/1842.21 c #Conflicts: 1120000 | #Constraints: 68092 1836.30/1842.21 c #Conflicts: 1121000 | #Constraints: 69092 1836.30/1842.21 c #Conflicts: 1122000 | #Constraints: 70092 1836.30/1842.21 c INPROCESSING 1836.30/1842.21 c GARBAGE COLLECT 1836.30/1842.21 c rational objective 98 1865.41/1871.48 c #Conflicts: 1123000 | #Constraints: 39990 1865.41/1871.48 c #Conflicts: 1124000 | #Constraints: 40990 1865.41/1871.48 c #Conflicts: 1125000 | #Constraints: 41990 1865.41/1871.48 c #Conflicts: 1126000 | #Constraints: 42990 1865.41/1871.48 c #Conflicts: 1127000 | #Constraints: 43990 1865.41/1871.48 c #Conflicts: 1128000 | #Constraints: 44990 1865.41/1871.48 c #Conflicts: 1129000 | #Constraints: 45991 1865.41/1871.48 c #Conflicts: 1130000 | #Constraints: 46991 1865.41/1871.48 c #Conflicts: 1131000 | #Constraints: 47991 1865.41/1871.48 c #Conflicts: 1132000 | #Constraints: 48992 1865.41/1871.48 c #Conflicts: 1133000 | #Constraints: 49992 1865.41/1871.48 c #Conflicts: 1134000 | #Constraints: 50992 1865.41/1871.48 c #Conflicts: 1135000 | #Constraints: 51992 1865.41/1871.48 c #Conflicts: 1136000 | #Constraints: 52992 1865.41/1871.48 c #Conflicts: 1137000 | #Constraints: 53992 1865.41/1871.48 c #Conflicts: 1138000 | #Constraints: 54992 1865.41/1871.48 c #Conflicts: 1139000 | #Constraints: 55992 1865.41/1871.48 c #Conflicts: 1140000 | #Constraints: 56992 1865.41/1871.48 c #Conflicts: 1141000 | #Constraints: 57992 1865.41/1871.48 c #Conflicts: 1142000 | #Constraints: 58992 1865.41/1871.48 c #Conflicts: 1143000 | #Constraints: 59992 1865.41/1871.48 c #Conflicts: 1144000 | #Constraints: 60992 1865.41/1871.48 c #Conflicts: 1145000 | #Constraints: 61992 1865.41/1871.48 c #Conflicts: 1146000 | #Constraints: 62992 1865.41/1871.48 c INPROCESSING 1865.41/1871.48 c GARBAGE COLLECT 1865.41/1871.48 c rational objective 98 2033.24/2039.76 c #Conflicts: 1147000 | #Constraints: 36086 2033.24/2039.76 c #Conflicts: 1148000 | #Constraints: 37086 2033.24/2039.76 c #Conflicts: 1149000 | #Constraints: 38086 2033.24/2039.76 c #Conflicts: 1150000 | #Constraints: 39086 2033.24/2039.76 c #Conflicts: 1151000 | #Constraints: 40086 2033.24/2039.76 c #Conflicts: 1152000 | #Constraints: 41087 2033.24/2039.76 c #Conflicts: 1153000 | #Constraints: 42087 2033.24/2039.76 c #Conflicts: 1154000 | #Constraints: 43087 2033.24/2039.76 c #Conflicts: 1155000 | #Constraints: 44087 2033.24/2039.76 c #Conflicts: 1156000 | #Constraints: 45087 2033.24/2039.76 c #Conflicts: 1157000 | #Constraints: 46087 2033.24/2039.76 c #Conflicts: 1158000 | #Constraints: 47087 2033.24/2039.76 c #Conflicts: 1159000 | #Constraints: 48087 2033.24/2039.76 c #Conflicts: 1160000 | #Constraints: 49087 2033.24/2039.76 c #Conflicts: 1161000 | #Constraints: 50087 2033.24/2039.76 c #Conflicts: 1162000 | #Constraints: 51088 2033.24/2039.76 c #Conflicts: 1163000 | #Constraints: 52088 2033.24/2039.76 c #Conflicts: 1164000 | #Constraints: 53088 2033.24/2039.76 c #Conflicts: 1165000 | #Constraints: 54088 2033.24/2039.76 c #Conflicts: 1166000 | #Constraints: 55088 2033.24/2039.76 c #Conflicts: 1167000 | #Constraints: 56088 2033.24/2039.76 c #Conflicts: 1168000 | #Constraints: 57088 2033.24/2039.76 c #Conflicts: 1169000 | #Constraints: 58088 2033.24/2039.76 c #Conflicts: 1170000 | #Constraints: 59088 2033.24/2039.76 c #Conflicts: 1171000 | #Constraints: 60088 2033.24/2039.76 c #Conflicts: 1172000 | #Constraints: 61088 2033.24/2039.76 c #Conflicts: 1173000 | #Constraints: 62088 2033.24/2039.76 c #Conflicts: 1174000 | #Constraints: 63088 2033.24/2039.76 c #Conflicts: 1175000 | #Constraints: 64088 2033.24/2039.76 c #Conflicts: 1176000 | #Constraints: 65088 2033.24/2039.76 c #Conflicts: 1177000 | #Constraints: 66088 2033.24/2039.76 c #Conflicts: 1178000 | #Constraints: 67088 2033.24/2039.76 c #Conflicts: 1179000 | #Constraints: 68088 2033.24/2039.76 c #Conflicts: 1180000 | #Constraints: 69088 2033.24/2039.76 c #Conflicts: 1181000 | #Constraints: 70088 2033.24/2039.76 c #Conflicts: 1182000 | #Constraints: 71088 2033.24/2039.76 c #Conflicts: 1183000 | #Constraints: 72088 2033.24/2039.76 c #Conflicts: 1184000 | #Constraints: 73088 2033.24/2039.76 c #Conflicts: 1185000 | #Constraints: 74089 2033.24/2039.76 c #Conflicts: 1186000 | #Constraints: 75089 2033.24/2039.76 c #Conflicts: 1187000 | #Constraints: 76089 2033.24/2039.76 c #Conflicts: 1188000 | #Constraints: 77089 2033.24/2039.76 c #Conflicts: 1189000 | #Constraints: 78089 2033.24/2039.76 c #Conflicts: 1190000 | #Constraints: 79089 2033.24/2039.76 c #Conflicts: 1191000 | #Constraints: 80089 2033.24/2039.76 c #Conflicts: 1192000 | #Constraints: 81089 2033.24/2039.76 c #Conflicts: 1193000 | #Constraints: 82089 2033.24/2039.76 c #Conflicts: 1194000 | #Constraints: 83089 2033.24/2039.76 c #Conflicts: 1195000 | #Constraints: 84089 2033.24/2039.76 c #Conflicts: 1196000 | #Constraints: 85089 2033.24/2039.76 c #Conflicts: 1197000 | #Constraints: 86089 2033.24/2039.76 c #Conflicts: 1198000 | #Constraints: 87089 2033.24/2039.76 c #Conflicts: 1199000 | #Constraints: 88090 2033.24/2039.76 c #Conflicts: 1200000 | #Constraints: 89090 2033.24/2039.76 c #Conflicts: 1201000 | #Constraints: 90090 2033.24/2039.76 c #Conflicts: 1202000 | #Constraints: 91090 2033.24/2039.76 c #Conflicts: 1203000 | #Constraints: 92090 2033.24/2039.76 c #Conflicts: 1204000 | #Constraints: 93090 2033.24/2039.76 c #Conflicts: 1205000 | #Constraints: 94090 2033.24/2039.76 c #Conflicts: 1206000 | #Constraints: 95090 2033.24/2039.76 c #Conflicts: 1207000 | #Constraints: 96090 2033.24/2039.76 c #Conflicts: 1208000 | #Constraints: 97090 2033.24/2039.76 c #Conflicts: 1209000 | #Constraints: 98090 2033.24/2039.76 c #Conflicts: 1210000 | #Constraints: 99090 2033.24/2039.76 c #Conflicts: 1211000 | #Constraints: 100090 2033.24/2039.76 c #Conflicts: 1212000 | #Constraints: 101090 2033.24/2039.76 c #Conflicts: 1213000 | #Constraints: 102090 2033.24/2039.76 c #Conflicts: 1214000 | #Constraints: 103090 2033.24/2039.76 c #Conflicts: 1215000 | #Constraints: 104090 2033.24/2039.76 c #Conflicts: 1216000 | #Constraints: 105090 2033.24/2039.76 c #Conflicts: 1217000 | #Constraints: 106090 2033.24/2039.76 c #Conflicts: 1218000 | #Constraints: 107090 2033.24/2039.76 c #Conflicts: 1219000 | #Constraints: 108090 2033.24/2039.76 c #Conflicts: 1220000 | #Constraints: 109090 2033.24/2039.76 c #Conflicts: 1221000 | #Constraints: 110090 2033.24/2039.76 c #Conflicts: 1222000 | #Constraints: 111090 2033.24/2039.76 c #Conflicts: 1223000 | #Constraints: 112090 2033.24/2039.76 c #Conflicts: 1224000 | #Constraints: 113090 2033.24/2039.76 c #Conflicts: 1225000 | #Constraints: 114090 2044.52/2051.02 c #Conflicts: 1226000 | #Constraints: 115090 2044.52/2051.02 c #Conflicts: 1227000 | #Constraints: 116090 2044.52/2051.02 c INPROCESSING 2044.52/2051.02 c GARBAGE COLLECT 2044.52/2051.02 c rational objective 98 2091.77/2098.47 c #Conflicts: 1228000 | #Constraints: 62675 2091.77/2098.47 c #Conflicts: 1229000 | #Constraints: 63675 2091.77/2098.47 c #Conflicts: 1230000 | #Constraints: 64675 2091.77/2098.47 c #Conflicts: 1231000 | #Constraints: 65675 2091.77/2098.47 c #Conflicts: 1232000 | #Constraints: 66675 2091.77/2098.47 c #Conflicts: 1233000 | #Constraints: 67675 2091.77/2098.47 c #Conflicts: 1234000 | #Constraints: 68675 2091.77/2098.47 c #Conflicts: 1235000 | #Constraints: 69675 2091.77/2098.47 c #Conflicts: 1236000 | #Constraints: 70675 2091.77/2098.47 c #Conflicts: 1237000 | #Constraints: 71675 2091.77/2098.47 c #Conflicts: 1238000 | #Constraints: 72675 2091.77/2098.47 c #Conflicts: 1239000 | #Constraints: 73675 2091.77/2098.47 c #Conflicts: 1240000 | #Constraints: 74675 2091.77/2098.47 c #Conflicts: 1241000 | #Constraints: 75675 2091.77/2098.47 c #Conflicts: 1242000 | #Constraints: 76675 2091.77/2098.47 c #Conflicts: 1243000 | #Constraints: 77675 2091.77/2098.47 c #Conflicts: 1244000 | #Constraints: 78675 2091.77/2098.47 c #Conflicts: 1245000 | #Constraints: 79675 2091.77/2098.47 c #Conflicts: 1246000 | #Constraints: 80675 2091.77/2098.47 c #Conflicts: 1247000 | #Constraints: 81675 2091.77/2098.47 c #Conflicts: 1248000 | #Constraints: 82675 2091.77/2098.47 c #Conflicts: 1249000 | #Constraints: 83675 2091.77/2098.47 c #Conflicts: 1250000 | #Constraints: 84675 2091.77/2098.47 c #Conflicts: 1251000 | #Constraints: 85675 2091.77/2098.47 c #Conflicts: 1252000 | #Constraints: 86675 2091.77/2098.47 c #Conflicts: 1253000 | #Constraints: 87675 2091.77/2098.47 c INPROCESSING 2091.77/2098.47 c GARBAGE COLLECT 2091.77/2098.47 c rational objective 98 2129.57/2136.36 c #Conflicts: 1254000 | #Constraints: 48443 2129.57/2136.36 c #Conflicts: 1255000 | #Constraints: 49443 2129.57/2136.36 c #Conflicts: 1256000 | #Constraints: 50443 2129.57/2136.36 c #Conflicts: 1257000 | #Constraints: 51443 2129.57/2136.36 c #Conflicts: 1258000 | #Constraints: 52444 2129.57/2136.36 c #Conflicts: 1259000 | #Constraints: 53444 2129.57/2136.36 c #Conflicts: 1260000 | #Constraints: 54445 2129.57/2136.36 c #Conflicts: 1261000 | #Constraints: 55446 2129.57/2136.36 c #Conflicts: 1262000 | #Constraints: 56446 2129.57/2136.36 c #Conflicts: 1263000 | #Constraints: 57446 2129.57/2136.36 c #Conflicts: 1264000 | #Constraints: 58446 2129.57/2136.36 c #Conflicts: 1265000 | #Constraints: 59446 2129.57/2136.36 c #Conflicts: 1266000 | #Constraints: 60446 2129.57/2136.36 c #Conflicts: 1267000 | #Constraints: 61446 2129.57/2136.36 c #Conflicts: 1268000 | #Constraints: 62446 2129.57/2136.36 c #Conflicts: 1269000 | #Constraints: 63446 2129.57/2136.36 c #Conflicts: 1270000 | #Constraints: 64446 2129.57/2136.36 c #Conflicts: 1271000 | #Constraints: 65446 2129.57/2136.36 c #Conflicts: 1272000 | #Constraints: 66446 2129.57/2136.36 c #Conflicts: 1273000 | #Constraints: 67446 2129.57/2136.36 c #Conflicts: 1274000 | #Constraints: 68446 2129.57/2136.36 c #Conflicts: 1275000 | #Constraints: 69446 2129.57/2136.36 c #Conflicts: 1276000 | #Constraints: 70446 2129.57/2136.36 c #Conflicts: 1277000 | #Constraints: 71446 2129.57/2136.36 c #Conflicts: 1278000 | #Constraints: 72446 2129.57/2136.36 c #Conflicts: 1279000 | #Constraints: 73446 2129.57/2136.36 c #Conflicts: 1280000 | #Constraints: 74446 2129.57/2136.36 c INPROCESSING 2129.57/2136.36 c GARBAGE COLLECT 2129.57/2136.36 c rational objective 98 2164.57/2171.47 c #Conflicts: 1281000 | #Constraints: 42280 2164.57/2171.47 c #Conflicts: 1282000 | #Constraints: 43280 2164.57/2171.47 c #Conflicts: 1283000 | #Constraints: 44280 2164.57/2171.47 c #Conflicts: 1284000 | #Constraints: 45280 2164.57/2171.47 c #Conflicts: 1285000 | #Constraints: 46280 2164.57/2171.47 c #Conflicts: 1286000 | #Constraints: 47280 2164.57/2171.47 c #Conflicts: 1287000 | #Constraints: 48280 2164.57/2171.47 c #Conflicts: 1288000 | #Constraints: 49280 2164.57/2171.47 c #Conflicts: 1289000 | #Constraints: 50280 2164.57/2171.47 c #Conflicts: 1290000 | #Constraints: 51280 2164.57/2171.47 c #Conflicts: 1291000 | #Constraints: 52280 2164.57/2171.47 c #Conflicts: 1292000 | #Constraints: 53280 2164.57/2171.47 c #Conflicts: 1293000 | #Constraints: 54280 2164.57/2171.47 c #Conflicts: 1294000 | #Constraints: 55280 2164.57/2171.47 c #Conflicts: 1295000 | #Constraints: 56280 2164.57/2171.47 c #Conflicts: 1296000 | #Constraints: 57280 2164.57/2171.47 c #Conflicts: 1297000 | #Constraints: 58280 2164.57/2171.47 c #Conflicts: 1298000 | #Constraints: 59280 2164.57/2171.47 c #Conflicts: 1299000 | #Constraints: 60280 2164.57/2171.47 c #Conflicts: 1300000 | #Constraints: 61280 2164.57/2171.47 c #Conflicts: 1301000 | #Constraints: 62280 2164.57/2171.47 c #Conflicts: 1302000 | #Constraints: 63280 2164.57/2171.47 c #Conflicts: 1303000 | #Constraints: 64280 2164.57/2171.47 c #Conflicts: 1304000 | #Constraints: 65280 2164.57/2171.47 c #Conflicts: 1305000 | #Constraints: 66280 2164.57/2171.47 c #Conflicts: 1306000 | #Constraints: 67280 2164.57/2171.47 c INPROCESSING 2164.57/2171.47 c GARBAGE COLLECT 2164.57/2171.47 c rational objective 98 2348.43/2355.80 c #Conflicts: 1307000 | #Constraints: 38337 2348.43/2355.80 c #Conflicts: 1308000 | #Constraints: 39337 2348.43/2355.80 c #Conflicts: 1309000 | #Constraints: 40337 2348.43/2355.80 c #Conflicts: 1310000 | #Constraints: 41337 2348.43/2355.80 c #Conflicts: 1311000 | #Constraints: 42337 2348.43/2355.80 c #Conflicts: 1312000 | #Constraints: 43337 2348.43/2355.80 c #Conflicts: 1313000 | #Constraints: 44337 2348.43/2355.80 c #Conflicts: 1314000 | #Constraints: 45337 2348.43/2355.80 c #Conflicts: 1315000 | #Constraints: 46337 2348.43/2355.80 c #Conflicts: 1316000 | #Constraints: 47337 2348.43/2355.80 c #Conflicts: 1317000 | #Constraints: 48337 2348.43/2355.80 c #Conflicts: 1318000 | #Constraints: 49337 2348.43/2355.80 c #Conflicts: 1319000 | #Constraints: 50337 2348.43/2355.80 c #Conflicts: 1320000 | #Constraints: 51337 2348.43/2355.80 c #Conflicts: 1321000 | #Constraints: 52337 2348.43/2355.80 c #Conflicts: 1322000 | #Constraints: 53337 2348.43/2355.80 c #Conflicts: 1323000 | #Constraints: 54337 2348.43/2355.80 c #Conflicts: 1324000 | #Constraints: 55337 2348.43/2355.80 c #Conflicts: 1325000 | #Constraints: 56337 2348.43/2355.80 c #Conflicts: 1326000 | #Constraints: 57337 2348.43/2355.80 c #Conflicts: 1327000 | #Constraints: 58337 2348.43/2355.80 c #Conflicts: 1328000 | #Constraints: 59337 2348.43/2355.80 c #Conflicts: 1329000 | #Constraints: 60337 2348.43/2355.80 c #Conflicts: 1330000 | #Constraints: 61337 2348.43/2355.80 c #Conflicts: 1331000 | #Constraints: 62337 2348.43/2355.80 c #Conflicts: 1332000 | #Constraints: 63337 2348.43/2355.80 c #Conflicts: 1333000 | #Constraints: 64337 2348.43/2355.80 c #Conflicts: 1334000 | #Constraints: 65337 2348.43/2355.80 c #Conflicts: 1335000 | #Constraints: 66337 2348.43/2355.80 c #Conflicts: 1336000 | #Constraints: 67337 2348.43/2355.80 c #Conflicts: 1337000 | #Constraints: 68337 2348.43/2355.80 c #Conflicts: 1338000 | #Constraints: 69337 2348.43/2355.80 c #Conflicts: 1339000 | #Constraints: 70337 2348.43/2355.80 c #Conflicts: 1340000 | #Constraints: 71337 2348.43/2355.80 c #Conflicts: 1341000 | #Constraints: 72337 2348.43/2355.80 c #Conflicts: 1342000 | #Constraints: 73337 2348.43/2355.80 c #Conflicts: 1343000 | #Constraints: 74337 2348.43/2355.80 c #Conflicts: 1344000 | #Constraints: 75337 2348.43/2355.80 c #Conflicts: 1345000 | #Constraints: 76338 2348.43/2355.80 c #Conflicts: 1346000 | #Constraints: 77338 2348.43/2355.80 c #Conflicts: 1347000 | #Constraints: 78338 2348.43/2355.80 c #Conflicts: 1348000 | #Constraints: 79338 2348.43/2355.80 c #Conflicts: 1349000 | #Constraints: 80338 2348.43/2355.80 c #Conflicts: 1350000 | #Constraints: 81338 2348.43/2355.80 c #Conflicts: 1351000 | #Constraints: 82338 2348.43/2355.80 c #Conflicts: 1352000 | #Constraints: 83338 2348.43/2355.80 c #Conflicts: 1353000 | #Constraints: 84338 2348.43/2355.80 c #Conflicts: 1354000 | #Constraints: 85338 2348.43/2355.80 c #Conflicts: 1355000 | #Constraints: 86338 2348.43/2355.80 c #Conflicts: 1356000 | #Constraints: 87338 2348.43/2355.80 c #Conflicts: 1357000 | #Constraints: 88338 2348.43/2355.80 c #Conflicts: 1358000 | #Constraints: 89339 2348.43/2355.80 c #Conflicts: 1359000 | #Constraints: 90339 2348.43/2355.80 c #Conflicts: 1360000 | #Constraints: 91339 2348.43/2355.80 c #Conflicts: 1361000 | #Constraints: 92340 2348.43/2355.80 c #Conflicts: 1362000 | #Constraints: 93340 2348.43/2355.80 c #Conflicts: 1363000 | #Constraints: 94340 2348.43/2355.80 c #Conflicts: 1364000 | #Constraints: 95340 2348.43/2355.80 c #Conflicts: 1365000 | #Constraints: 96340 2348.43/2355.80 c #Conflicts: 1366000 | #Constraints: 97340 2348.43/2355.80 c #Conflicts: 1367000 | #Constraints: 98340 2348.43/2355.80 c #Conflicts: 1368000 | #Constraints: 99340 2348.43/2355.80 c #Conflicts: 1369000 | #Constraints: 100340 2348.43/2355.80 c #Conflicts: 1370000 | #Constraints: 101340 2348.43/2355.80 c #Conflicts: 1371000 | #Constraints: 102340 2348.43/2355.80 c #Conflicts: 1372000 | #Constraints: 103340 2348.43/2355.80 c #Conflicts: 1373000 | #Constraints: 104340 2348.43/2355.80 c #Conflicts: 1374000 | #Constraints: 105341 2348.43/2355.80 c #Conflicts: 1375000 | #Constraints: 106341 2348.43/2355.80 c #Conflicts: 1376000 | #Constraints: 107342 2348.43/2355.80 c #Conflicts: 1377000 | #Constraints: 108342 2348.43/2355.80 c #Conflicts: 1378000 | #Constraints: 109343 2348.43/2355.80 c #Conflicts: 1379000 | #Constraints: 110343 2348.43/2355.80 c #Conflicts: 1380000 | #Constraints: 111343 2348.43/2355.80 c #Conflicts: 1381000 | #Constraints: 112343 2348.43/2355.80 c #Conflicts: 1382000 | #Constraints: 113343 2348.43/2355.80 c #Conflicts: 1383000 | #Constraints: 114343 2348.43/2355.80 c #Conflicts: 1384000 | #Constraints: 115343 2348.43/2355.80 c #Conflicts: 1385000 | #Constraints: 116343 2382.13/2389.60 c #Conflicts: 1386000 | #Constraints: 117343 2382.13/2389.60 c #Conflicts: 1387000 | #Constraints: 118343 2382.13/2389.60 c #Conflicts: 1388000 | #Constraints: 119343 2382.13/2389.60 c #Conflicts: 1389000 | #Constraints: 120343 2382.13/2389.60 c #Conflicts: 1390000 | #Constraints: 121343 2382.13/2389.60 c #Conflicts: 1391000 | #Constraints: 122343 2382.13/2389.60 c #Conflicts: 1392000 | #Constraints: 123343 2382.13/2389.60 c INPROCESSING 2382.13/2389.60 c GARBAGE COLLECT 2382.13/2389.60 c rational objective 98 2441.76/2449.47 c #Conflicts: 1393000 | #Constraints: 66395 2441.76/2449.47 c #Conflicts: 1394000 | #Constraints: 67395 2441.76/2449.47 c #Conflicts: 1395000 | #Constraints: 68395 2441.76/2449.47 c #Conflicts: 1396000 | #Constraints: 69395 2441.76/2449.47 c #Conflicts: 1397000 | #Constraints: 70395 2441.76/2449.47 c #Conflicts: 1398000 | #Constraints: 71395 2441.76/2449.47 c #Conflicts: 1399000 | #Constraints: 72395 2441.76/2449.47 c #Conflicts: 1400000 | #Constraints: 73395 2441.76/2449.47 c #Conflicts: 1401000 | #Constraints: 74395 2441.76/2449.47 c #Conflicts: 1402000 | #Constraints: 75395 2441.76/2449.47 c #Conflicts: 1403000 | #Constraints: 76395 2441.76/2449.47 c #Conflicts: 1404000 | #Constraints: 77395 2441.76/2449.47 c #Conflicts: 1405000 | #Constraints: 78395 2441.76/2449.47 c #Conflicts: 1406000 | #Constraints: 79395 2441.76/2449.47 c #Conflicts: 1407000 | #Constraints: 80395 2441.76/2449.47 c #Conflicts: 1408000 | #Constraints: 81395 2441.76/2449.47 c #Conflicts: 1409000 | #Constraints: 82395 2441.76/2449.47 c #Conflicts: 1410000 | #Constraints: 83395 2441.76/2449.47 c #Conflicts: 1411000 | #Constraints: 84396 2441.76/2449.47 c #Conflicts: 1412000 | #Constraints: 85396 2441.76/2449.47 c #Conflicts: 1413000 | #Constraints: 86396 2441.76/2449.47 c #Conflicts: 1414000 | #Constraints: 87396 2441.76/2449.47 c #Conflicts: 1415000 | #Constraints: 88397 2441.76/2449.47 c #Conflicts: 1416000 | #Constraints: 89397 2441.76/2449.47 c #Conflicts: 1417000 | #Constraints: 90397 2441.76/2449.47 c #Conflicts: 1418000 | #Constraints: 91397 2441.76/2449.47 c #Conflicts: 1419000 | #Constraints: 92397 2441.76/2449.47 c #Conflicts: 1420000 | #Constraints: 93397 2441.76/2449.47 c INPROCESSING 2441.76/2449.47 c GARBAGE COLLECT 2441.76/2449.47 c rational objective 98 2485.84/2493.68 c #Conflicts: 1421000 | #Constraints: 51472 2485.84/2493.68 c #Conflicts: 1422000 | #Constraints: 52472 2485.84/2493.68 c #Conflicts: 1423000 | #Constraints: 53472 2485.84/2493.68 c #Conflicts: 1424000 | #Constraints: 54472 2485.84/2493.68 c #Conflicts: 1425000 | #Constraints: 55472 2485.84/2493.68 c #Conflicts: 1426000 | #Constraints: 56472 2485.84/2493.68 c #Conflicts: 1427000 | #Constraints: 57472 2485.84/2493.68 c #Conflicts: 1428000 | #Constraints: 58472 2485.84/2493.68 c #Conflicts: 1429000 | #Constraints: 59472 2485.84/2493.68 c #Conflicts: 1430000 | #Constraints: 60472 2485.84/2493.68 c #Conflicts: 1431000 | #Constraints: 61472 2485.84/2493.68 c #Conflicts: 1432000 | #Constraints: 62472 2485.84/2493.68 c #Conflicts: 1433000 | #Constraints: 63472 2485.84/2493.68 c #Conflicts: 1434000 | #Constraints: 64472 2485.84/2493.68 c #Conflicts: 1435000 | #Constraints: 65472 2485.84/2493.68 c #Conflicts: 1436000 | #Constraints: 66472 2485.84/2493.68 c #Conflicts: 1437000 | #Constraints: 67472 2485.84/2493.68 c #Conflicts: 1438000 | #Constraints: 68472 2485.84/2493.68 c #Conflicts: 1439000 | #Constraints: 69472 2485.84/2493.68 c #Conflicts: 1440000 | #Constraints: 70472 2485.84/2493.68 c #Conflicts: 1441000 | #Constraints: 71472 2485.84/2493.68 c #Conflicts: 1442000 | #Constraints: 72472 2485.84/2493.68 c #Conflicts: 1443000 | #Constraints: 73472 2485.84/2493.68 c #Conflicts: 1444000 | #Constraints: 74472 2485.84/2493.68 c #Conflicts: 1445000 | #Constraints: 75472 2485.84/2493.68 c #Conflicts: 1446000 | #Constraints: 76472 2485.84/2493.68 c #Conflicts: 1447000 | #Constraints: 77472 2485.84/2493.68 c #Conflicts: 1448000 | #Constraints: 78472 2485.84/2493.68 c INPROCESSING 2485.84/2493.68 c GARBAGE COLLECT 2485.84/2493.68 c rational objective 98 2525.83/2533.70 c #Conflicts: 1449000 | #Constraints: 44065 2525.83/2533.70 c #Conflicts: 1450000 | #Constraints: 45065 2525.83/2533.70 c #Conflicts: 1451000 | #Constraints: 46065 2525.83/2533.70 c #Conflicts: 1452000 | #Constraints: 47065 2525.83/2533.70 c #Conflicts: 1453000 | #Constraints: 48065 2525.83/2533.70 c #Conflicts: 1454000 | #Constraints: 49065 2525.83/2533.70 c #Conflicts: 1455000 | #Constraints: 50065 2525.83/2533.70 c #Conflicts: 1456000 | #Constraints: 51065 2525.83/2533.70 c #Conflicts: 1457000 | #Constraints: 52065 2525.83/2533.70 c #Conflicts: 1458000 | #Constraints: 53065 2525.83/2533.70 c #Conflicts: 1459000 | #Constraints: 54065 2525.83/2533.70 c #Conflicts: 1460000 | #Constraints: 55065 2525.83/2533.70 c #Conflicts: 1461000 | #Constraints: 56065 2525.83/2533.70 c #Conflicts: 1462000 | #Constraints: 57065 2525.83/2533.70 c #Conflicts: 1463000 | #Constraints: 58065 2525.83/2533.70 c #Conflicts: 1464000 | #Constraints: 59065 2525.83/2533.70 c #Conflicts: 1465000 | #Constraints: 60066 2525.83/2533.70 c #Conflicts: 1466000 | #Constraints: 61066 2525.83/2533.70 c #Conflicts: 1467000 | #Constraints: 62067 2525.83/2533.70 c #Conflicts: 1468000 | #Constraints: 63067 2525.83/2533.70 c #Conflicts: 1469000 | #Constraints: 64068 2525.83/2533.70 c #Conflicts: 1470000 | #Constraints: 65068 2525.83/2533.70 c #Conflicts: 1471000 | #Constraints: 66068 2525.83/2533.70 c #Conflicts: 1472000 | #Constraints: 67068 2525.83/2533.70 c #Conflicts: 1473000 | #Constraints: 68068 2525.83/2533.70 c #Conflicts: 1474000 | #Constraints: 69068 2525.83/2533.70 c #Conflicts: 1475000 | #Constraints: 70068 2525.83/2533.70 c #Conflicts: 1476000 | #Constraints: 71068 2525.83/2533.70 c INPROCESSING 2525.83/2533.70 c GARBAGE COLLECT 2525.83/2533.70 c rational objective 98 2686.05/2694.43 c #Conflicts: 1477000 | #Constraints: 40188 2686.05/2694.43 c #Conflicts: 1478000 | #Constraints: 41188 2686.05/2694.43 c #Conflicts: 1479000 | #Constraints: 42188 2686.05/2694.43 c #Conflicts: 1480000 | #Constraints: 43188 2686.05/2694.43 c #Conflicts: 1481000 | #Constraints: 44189 2686.05/2694.43 c #Conflicts: 1482000 | #Constraints: 45189 2686.05/2694.43 c #Conflicts: 1483000 | #Constraints: 46189 2686.05/2694.43 c #Conflicts: 1484000 | #Constraints: 47189 2686.05/2694.43 c #Conflicts: 1485000 | #Constraints: 48189 2686.05/2694.43 c #Conflicts: 1486000 | #Constraints: 49189 2686.05/2694.43 c #Conflicts: 1487000 | #Constraints: 50189 2686.05/2694.43 c #Conflicts: 1488000 | #Constraints: 51189 2686.05/2694.43 c #Conflicts: 1489000 | #Constraints: 52189 2686.05/2694.43 c #Conflicts: 1490000 | #Constraints: 53189 2686.05/2694.43 c #Conflicts: 1491000 | #Constraints: 54189 2686.05/2694.43 c #Conflicts: 1492000 | #Constraints: 55190 2686.05/2694.43 c #Conflicts: 1493000 | #Constraints: 56190 2686.05/2694.43 c #Conflicts: 1494000 | #Constraints: 57190 2686.05/2694.43 c #Conflicts: 1495000 | #Constraints: 58191 2686.05/2694.43 c #Conflicts: 1496000 | #Constraints: 59191 2686.05/2694.43 c #Conflicts: 1497000 | #Constraints: 60191 2686.05/2694.43 c #Conflicts: 1498000 | #Constraints: 61191 2686.05/2694.43 c #Conflicts: 1499000 | #Constraints: 62191 2686.05/2694.43 c #Conflicts: 1500000 | #Constraints: 63191 2686.05/2694.43 c #Conflicts: 1501000 | #Constraints: 64191 2686.05/2694.43 c #Conflicts: 1502000 | #Constraints: 65191 2686.05/2694.43 c #Conflicts: 1503000 | #Constraints: 66191 2686.05/2694.43 c #Conflicts: 1504000 | #Constraints: 67191 2686.05/2694.43 c #Conflicts: 1505000 | #Constraints: 68191 2686.05/2694.43 c #Conflicts: 1506000 | #Constraints: 69191 2686.05/2694.43 c #Conflicts: 1507000 | #Constraints: 70191 2686.05/2694.43 c #Conflicts: 1508000 | #Constraints: 71191 2686.05/2694.43 c #Conflicts: 1509000 | #Constraints: 72191 2686.05/2694.43 c #Conflicts: 1510000 | #Constraints: 73191 2686.05/2694.43 c #Conflicts: 1511000 | #Constraints: 74191 2686.05/2694.43 c #Conflicts: 1512000 | #Constraints: 75191 2686.05/2694.43 c #Conflicts: 1513000 | #Constraints: 76191 2686.05/2694.43 c #Conflicts: 1514000 | #Constraints: 77191 2686.05/2694.43 c #Conflicts: 1515000 | #Constraints: 78192 2686.05/2694.43 c #Conflicts: 1516000 | #Constraints: 79192 2686.05/2694.43 c #Conflicts: 1517000 | #Constraints: 80192 2686.05/2694.43 c #Conflicts: 1518000 | #Constraints: 81192 2686.05/2694.43 c #Conflicts: 1519000 | #Constraints: 82192 2686.05/2694.43 c #Conflicts: 1520000 | #Constraints: 83192 2686.05/2694.43 c #Conflicts: 1521000 | #Constraints: 84192 2686.05/2694.43 c #Conflicts: 1522000 | #Constraints: 85192 2686.05/2694.43 c #Conflicts: 1523000 | #Constraints: 86192 2686.05/2694.43 c #Conflicts: 1524000 | #Constraints: 87193 2686.05/2694.43 c #Conflicts: 1525000 | #Constraints: 88193 2686.05/2694.43 c #Conflicts: 1526000 | #Constraints: 89193 2686.05/2694.43 c #Conflicts: 1527000 | #Constraints: 90193 2686.05/2694.43 c #Conflicts: 1528000 | #Constraints: 91194 2686.05/2694.43 c #Conflicts: 1529000 | #Constraints: 92194 2686.05/2694.43 c #Conflicts: 1530000 | #Constraints: 93194 2686.05/2694.43 c #Conflicts: 1531000 | #Constraints: 94194 2686.05/2694.43 c #Conflicts: 1532000 | #Constraints: 95194 2686.05/2694.43 c #Conflicts: 1533000 | #Constraints: 96194 2686.05/2694.43 c #Conflicts: 1534000 | #Constraints: 97195 2686.05/2694.43 c #Conflicts: 1535000 | #Constraints: 98195 2686.05/2694.43 c #Conflicts: 1536000 | #Constraints: 99195 2686.05/2694.43 c #Conflicts: 1537000 | #Constraints: 100195 2686.05/2694.43 c #Conflicts: 1538000 | #Constraints: 101195 2686.05/2694.43 c #Conflicts: 1539000 | #Constraints: 102195 2686.05/2694.43 c #Conflicts: 1540000 | #Constraints: 103195 2686.05/2694.43 c #Conflicts: 1541000 | #Constraints: 104195 2686.05/2694.43 c #Conflicts: 1542000 | #Constraints: 105196 2686.05/2694.43 c #Conflicts: 1543000 | #Constraints: 106196 2686.05/2694.43 c #Conflicts: 1544000 | #Constraints: 107196 2686.05/2694.43 c #Conflicts: 1545000 | #Constraints: 108196 2686.05/2694.43 c #Conflicts: 1546000 | #Constraints: 109196 2686.05/2694.43 c #Conflicts: 1547000 | #Constraints: 110197 2686.05/2694.43 c #Conflicts: 1548000 | #Constraints: 111197 2686.05/2694.43 c #Conflicts: 1549000 | #Constraints: 112197 2686.05/2694.43 c #Conflicts: 1550000 | #Constraints: 113197 2686.05/2694.43 c #Conflicts: 1551000 | #Constraints: 114197 2686.05/2694.43 c #Conflicts: 1552000 | #Constraints: 115197 2686.05/2694.43 c #Conflicts: 1553000 | #Constraints: 116197 2686.05/2694.43 c #Conflicts: 1554000 | #Constraints: 117197 2686.05/2694.43 c #Conflicts: 1555000 | #Constraints: 118197 2733.52/2742.06 c #Conflicts: 1556000 | #Constraints: 119197 2733.52/2742.06 c #Conflicts: 1557000 | #Constraints: 120197 2733.52/2742.06 c #Conflicts: 1558000 | #Constraints: 121197 2733.52/2742.06 c #Conflicts: 1559000 | #Constraints: 122197 2733.52/2742.06 c #Conflicts: 1560000 | #Constraints: 123197 2733.52/2742.06 c #Conflicts: 1561000 | #Constraints: 124197 2733.52/2742.06 c #Conflicts: 1562000 | #Constraints: 125197 2733.52/2742.06 c #Conflicts: 1563000 | #Constraints: 126197 2733.52/2742.06 c #Conflicts: 1564000 | #Constraints: 127197 2733.52/2742.06 c #Conflicts: 1565000 | #Constraints: 128197 2733.52/2742.06 c #Conflicts: 1566000 | #Constraints: 129197 2733.52/2742.06 c #Conflicts: 1567000 | #Constraints: 130197 2733.52/2742.06 c #Conflicts: 1568000 | #Constraints: 131197 2733.52/2742.06 c INPROCESSING 2733.52/2742.06 c GARBAGE COLLECT 2733.52/2742.06 c rational objective 98 2797.44/2806.17 c #Conflicts: 1569000 | #Constraints: 70647 2797.44/2806.17 c #Conflicts: 1570000 | #Constraints: 71647 2797.44/2806.17 c #Conflicts: 1571000 | #Constraints: 72647 2797.44/2806.17 c #Conflicts: 1572000 | #Constraints: 73647 2797.44/2806.17 c #Conflicts: 1573000 | #Constraints: 74647 2797.44/2806.17 c #Conflicts: 1574000 | #Constraints: 75647 2797.44/2806.17 c #Conflicts: 1575000 | #Constraints: 76647 2797.44/2806.17 c #Conflicts: 1576000 | #Constraints: 77647 2797.44/2806.17 c #Conflicts: 1577000 | #Constraints: 78647 2797.44/2806.17 c #Conflicts: 1578000 | #Constraints: 79647 2797.44/2806.17 c #Conflicts: 1579000 | #Constraints: 80647 2797.44/2806.17 c #Conflicts: 1580000 | #Constraints: 81647 2797.44/2806.17 c #Conflicts: 1581000 | #Constraints: 82647 2797.44/2806.17 c #Conflicts: 1582000 | #Constraints: 83647 2797.44/2806.17 c #Conflicts: 1583000 | #Constraints: 84647 2797.44/2806.17 c #Conflicts: 1584000 | #Constraints: 85647 2797.44/2806.17 c #Conflicts: 1585000 | #Constraints: 86647 2797.44/2806.17 c #Conflicts: 1586000 | #Constraints: 87647 2797.44/2806.17 c #Conflicts: 1587000 | #Constraints: 88647 2797.44/2806.17 c #Conflicts: 1588000 | #Constraints: 89647 2797.44/2806.17 c #Conflicts: 1589000 | #Constraints: 90647 2797.44/2806.17 c #Conflicts: 1590000 | #Constraints: 91647 2797.44/2806.17 c #Conflicts: 1591000 | #Constraints: 92647 2797.44/2806.17 c #Conflicts: 1592000 | #Constraints: 93647 2797.44/2806.17 c #Conflicts: 1593000 | #Constraints: 94647 2797.44/2806.17 c #Conflicts: 1594000 | #Constraints: 95647 2797.44/2806.17 c #Conflicts: 1595000 | #Constraints: 96647 2797.44/2806.17 c #Conflicts: 1596000 | #Constraints: 97647 2797.44/2806.17 c #Conflicts: 1597000 | #Constraints: 98647 2797.44/2806.17 c INPROCESSING 2797.44/2806.17 c GARBAGE COLLECT 2797.44/2806.17 c rational objective 98 2845.79/2854.66 c #Conflicts: 1598000 | #Constraints: 54122 2845.79/2854.66 c #Conflicts: 1599000 | #Constraints: 55122 2845.79/2854.66 c #Conflicts: 1600000 | #Constraints: 56122 2845.79/2854.66 c #Conflicts: 1601000 | #Constraints: 57122 2845.79/2854.66 c #Conflicts: 1602000 | #Constraints: 58122 2845.79/2854.66 c #Conflicts: 1603000 | #Constraints: 59123 2845.79/2854.66 c #Conflicts: 1604000 | #Constraints: 60124 2845.79/2854.66 c #Conflicts: 1605000 | #Constraints: 61124 2845.79/2854.66 c #Conflicts: 1606000 | #Constraints: 62124 2845.79/2854.66 c #Conflicts: 1607000 | #Constraints: 63124 2845.79/2854.66 c #Conflicts: 1608000 | #Constraints: 64124 2845.79/2854.66 c #Conflicts: 1609000 | #Constraints: 65124 2845.79/2854.66 c #Conflicts: 1610000 | #Constraints: 66124 2845.79/2854.66 c #Conflicts: 1611000 | #Constraints: 67124 2845.79/2854.66 c #Conflicts: 1612000 | #Constraints: 68124 2845.79/2854.66 c #Conflicts: 1613000 | #Constraints: 69124 2845.79/2854.66 c #Conflicts: 1614000 | #Constraints: 70124 2845.79/2854.66 c #Conflicts: 1615000 | #Constraints: 71124 2845.79/2854.66 c #Conflicts: 1616000 | #Constraints: 72124 2845.79/2854.66 c #Conflicts: 1617000 | #Constraints: 73124 2845.79/2854.66 c #Conflicts: 1618000 | #Constraints: 74124 2845.79/2854.66 c #Conflicts: 1619000 | #Constraints: 75124 2845.79/2854.66 c #Conflicts: 1620000 | #Constraints: 76124 2845.79/2854.66 c #Conflicts: 1621000 | #Constraints: 77124 2845.79/2854.66 c #Conflicts: 1622000 | #Constraints: 78124 2845.79/2854.66 c #Conflicts: 1623000 | #Constraints: 79124 2845.79/2854.66 c #Conflicts: 1624000 | #Constraints: 80124 2845.79/2854.66 c #Conflicts: 1625000 | #Constraints: 81124 2845.79/2854.66 c #Conflicts: 1626000 | #Constraints: 82124 2845.79/2854.66 c #Conflicts: 1627000 | #Constraints: 83124 2845.79/2854.66 c INPROCESSING 2845.79/2854.66 c GARBAGE COLLECT 2845.79/2854.66 c rational objective 98 2902.82/2911.80 c #Conflicts: 1628000 | #Constraints: 46464 2902.82/2911.80 c #Conflicts: 1629000 | #Constraints: 47464 2902.82/2911.80 c #Conflicts: 1630000 | #Constraints: 48464 2902.82/2911.80 c #Conflicts: 1631000 | #Constraints: 49464 2902.82/2911.80 c #Conflicts: 1632000 | #Constraints: 50464 2902.82/2911.80 c #Conflicts: 1633000 | #Constraints: 51464 2902.82/2911.80 c #Conflicts: 1634000 | #Constraints: 52464 2902.82/2911.80 c #Conflicts: 1635000 | #Constraints: 53464 2902.82/2911.80 c #Conflicts: 1636000 | #Constraints: 54464 2902.82/2911.80 c #Conflicts: 1637000 | #Constraints: 55464 2902.82/2911.80 c #Conflicts: 1638000 | #Constraints: 56465 2902.82/2911.80 c #Conflicts: 1639000 | #Constraints: 57465 2902.82/2911.80 c #Conflicts: 1640000 | #Constraints: 58465 2902.82/2911.80 c #Conflicts: 1641000 | #Constraints: 59465 2902.82/2911.80 c #Conflicts: 1642000 | #Constraints: 60465 2902.82/2911.80 c #Conflicts: 1643000 | #Constraints: 61465 2902.82/2911.80 c #Conflicts: 1644000 | #Constraints: 62465 2902.82/2911.80 c #Conflicts: 1645000 | #Constraints: 63465 2902.82/2911.80 c #Conflicts: 1646000 | #Constraints: 64465 2902.82/2911.80 c #Conflicts: 1647000 | #Constraints: 65465 2902.82/2911.80 c #Conflicts: 1648000 | #Constraints: 66465 2902.82/2911.80 c #Conflicts: 1649000 | #Constraints: 67465 2902.82/2911.80 c #Conflicts: 1650000 | #Constraints: 68465 2902.82/2911.80 c #Conflicts: 1651000 | #Constraints: 69465 2902.82/2911.80 c #Conflicts: 1652000 | #Constraints: 70465 2902.82/2911.80 c #Conflicts: 1653000 | #Constraints: 71465 2902.82/2911.80 c #Conflicts: 1654000 | #Constraints: 72465 2902.82/2911.80 c #Conflicts: 1655000 | #Constraints: 73465 2902.82/2911.80 c #Conflicts: 1656000 | #Constraints: 74466 2902.82/2911.80 c #Conflicts: 1657000 | #Constraints: 75466 2902.82/2911.80 c INPROCESSING 2902.82/2911.80 c GARBAGE COLLECT 2902.82/2911.80 c rational objective 98 3078.91/3088.45 c #Conflicts: 1658000 | #Constraints: 42682 3078.91/3088.45 c #Conflicts: 1659000 | #Constraints: 43682 3078.91/3088.45 c #Conflicts: 1660000 | #Constraints: 44682 3078.91/3088.45 c #Conflicts: 1661000 | #Constraints: 45682 3078.91/3088.45 c #Conflicts: 1662000 | #Constraints: 46685 3078.91/3088.45 c #Conflicts: 1663000 | #Constraints: 47685 3078.91/3088.45 c #Conflicts: 1664000 | #Constraints: 48686 3078.91/3088.45 c #Conflicts: 1665000 | #Constraints: 49686 3078.91/3088.45 c #Conflicts: 1666000 | #Constraints: 50686 3078.91/3088.45 c #Conflicts: 1667000 | #Constraints: 51686 3078.91/3088.45 c #Conflicts: 1668000 | #Constraints: 52686 3078.91/3088.45 c #Conflicts: 1669000 | #Constraints: 53686 3078.91/3088.45 c #Conflicts: 1670000 | #Constraints: 54686 3078.91/3088.45 c #Conflicts: 1671000 | #Constraints: 55686 3078.91/3088.45 c #Conflicts: 1672000 | #Constraints: 56687 3078.91/3088.45 c #Conflicts: 1673000 | #Constraints: 57687 3078.91/3088.45 c #Conflicts: 1674000 | #Constraints: 58687 3078.91/3088.45 c #Conflicts: 1675000 | #Constraints: 59687 3078.91/3088.45 c #Conflicts: 1676000 | #Constraints: 60688 3078.91/3088.45 c #Conflicts: 1677000 | #Constraints: 61688 3078.91/3088.45 c #Conflicts: 1678000 | #Constraints: 62688 3078.91/3088.45 c #Conflicts: 1679000 | #Constraints: 63688 3078.91/3088.45 c #Conflicts: 1680000 | #Constraints: 64688 3078.91/3088.45 c #Conflicts: 1681000 | #Constraints: 65688 3078.91/3088.45 c #Conflicts: 1682000 | #Constraints: 66688 3078.91/3088.45 c #Conflicts: 1683000 | #Constraints: 67688 3078.91/3088.45 c #Conflicts: 1684000 | #Constraints: 68688 3078.91/3088.45 c #Conflicts: 1685000 | #Constraints: 69688 3078.91/3088.45 c #Conflicts: 1686000 | #Constraints: 70688 3078.91/3088.45 c #Conflicts: 1687000 | #Constraints: 71688 3078.91/3088.45 c #Conflicts: 1688000 | #Constraints: 72689 3078.91/3088.45 c #Conflicts: 1689000 | #Constraints: 73689 3078.91/3088.45 c #Conflicts: 1690000 | #Constraints: 74689 3078.91/3088.45 c #Conflicts: 1691000 | #Constraints: 75689 3078.91/3088.45 c #Conflicts: 1692000 | #Constraints: 76689 3078.91/3088.45 c #Conflicts: 1693000 | #Constraints: 77689 3078.91/3088.45 c #Conflicts: 1694000 | #Constraints: 78689 3078.91/3088.45 c #Conflicts: 1695000 | #Constraints: 79689 3078.91/3088.45 c #Conflicts: 1696000 | #Constraints: 80690 3078.91/3088.45 c #Conflicts: 1697000 | #Constraints: 81690 3078.91/3088.45 c #Conflicts: 1698000 | #Constraints: 82690 3078.91/3088.45 c #Conflicts: 1699000 | #Constraints: 83690 3078.91/3088.45 c #Conflicts: 1700000 | #Constraints: 84690 3078.91/3088.45 c #Conflicts: 1701000 | #Constraints: 85690 3078.91/3088.45 c #Conflicts: 1702000 | #Constraints: 86690 3078.91/3088.45 c #Conflicts: 1703000 | #Constraints: 87690 3078.91/3088.45 c #Conflicts: 1704000 | #Constraints: 88690 3078.91/3088.45 c #Conflicts: 1705000 | #Constraints: 89690 3078.91/3088.45 c #Conflicts: 1706000 | #Constraints: 90690 3078.91/3088.45 c #Conflicts: 1707000 | #Constraints: 91690 3078.91/3088.45 c #Conflicts: 1708000 | #Constraints: 92690 3078.91/3088.45 c #Conflicts: 1709000 | #Constraints: 93690 3078.91/3088.45 c #Conflicts: 1710000 | #Constraints: 94690 3078.91/3088.45 c #Conflicts: 1711000 | #Constraints: 95691 3078.91/3088.45 c #Conflicts: 1712000 | #Constraints: 96691 3078.91/3088.45 c #Conflicts: 1713000 | #Constraints: 97692 3078.91/3088.45 c #Conflicts: 1714000 | #Constraints: 98692 3078.91/3088.45 c #Conflicts: 1715000 | #Constraints: 99692 3078.91/3088.45 c #Conflicts: 1716000 | #Constraints: 100693 3078.91/3088.45 c #Conflicts: 1717000 | #Constraints: 101694 3078.91/3088.45 c #Conflicts: 1718000 | #Constraints: 102694 3078.91/3088.45 c #Conflicts: 1719000 | #Constraints: 103694 3078.91/3088.45 c #Conflicts: 1720000 | #Constraints: 104694 3078.91/3088.45 c #Conflicts: 1721000 | #Constraints: 105694 3078.91/3088.45 c #Conflicts: 1722000 | #Constraints: 106694 3078.91/3088.45 c #Conflicts: 1723000 | #Constraints: 107694 3078.91/3088.45 c #Conflicts: 1724000 | #Constraints: 108694 3078.91/3088.45 c #Conflicts: 1725000 | #Constraints: 109694 3078.91/3088.45 c #Conflicts: 1726000 | #Constraints: 110694 3078.91/3088.45 c #Conflicts: 1727000 | #Constraints: 111694 3078.91/3088.45 c #Conflicts: 1728000 | #Constraints: 112694 3078.91/3088.45 c #Conflicts: 1729000 | #Constraints: 113694 3078.91/3088.45 c #Conflicts: 1730000 | #Constraints: 114695 3078.91/3088.45 c #Conflicts: 1731000 | #Constraints: 115695 3078.91/3088.45 c #Conflicts: 1732000 | #Constraints: 116695 3078.91/3088.45 c #Conflicts: 1733000 | #Constraints: 117695 3078.91/3088.45 c #Conflicts: 1734000 | #Constraints: 118695 3078.91/3088.45 c #Conflicts: 1735000 | #Constraints: 119695 3078.91/3088.45 c #Conflicts: 1736000 | #Constraints: 120695 3159.38/3169.19 c #Conflicts: 1737000 | #Constraints: 121695 3159.38/3169.19 c #Conflicts: 1738000 | #Constraints: 122695 3159.38/3169.19 c #Conflicts: 1739000 | #Constraints: 123695 3159.38/3169.19 c #Conflicts: 1740000 | #Constraints: 124695 3159.38/3169.19 c #Conflicts: 1741000 | #Constraints: 125695 3159.38/3169.19 c #Conflicts: 1742000 | #Constraints: 126695 3159.38/3169.19 c #Conflicts: 1743000 | #Constraints: 127695 3159.38/3169.19 c #Conflicts: 1744000 | #Constraints: 128695 3159.38/3169.19 c #Conflicts: 1745000 | #Constraints: 129695 3159.38/3169.19 c #Conflicts: 1746000 | #Constraints: 130695 3159.38/3169.19 c #Conflicts: 1747000 | #Constraints: 131695 3159.38/3169.19 c #Conflicts: 1748000 | #Constraints: 132695 3159.38/3169.19 c #Conflicts: 1749000 | #Constraints: 133695 3159.38/3169.19 c #Conflicts: 1750000 | #Constraints: 134695 3159.38/3169.19 c #Conflicts: 1751000 | #Constraints: 135696 3159.38/3169.19 c #Conflicts: 1752000 | #Constraints: 136697 3159.38/3169.19 c #Conflicts: 1753000 | #Constraints: 137697 3159.38/3169.19 c INPROCESSING 3159.38/3169.19 c GARBAGE COLLECT 3159.38/3169.19 c rational objective 98 3230.27/3240.23 c #Conflicts: 1754000 | #Constraints: 73437 3230.27/3240.23 c #Conflicts: 1755000 | #Constraints: 74437 3230.27/3240.23 c #Conflicts: 1756000 | #Constraints: 75437 3230.27/3240.23 c #Conflicts: 1757000 | #Constraints: 76437 3230.27/3240.23 c #Conflicts: 1758000 | #Constraints: 77437 3230.27/3240.23 c #Conflicts: 1759000 | #Constraints: 78437 3230.27/3240.23 c #Conflicts: 1760000 | #Constraints: 79437 3230.27/3240.23 c #Conflicts: 1761000 | #Constraints: 80437 3230.27/3240.23 c #Conflicts: 1762000 | #Constraints: 81437 3230.27/3240.23 c #Conflicts: 1763000 | #Constraints: 82437 3230.27/3240.23 c #Conflicts: 1764000 | #Constraints: 83437 3230.27/3240.23 c #Conflicts: 1765000 | #Constraints: 84437 3230.27/3240.23 c #Conflicts: 1766000 | #Constraints: 85437 3230.27/3240.23 c #Conflicts: 1767000 | #Constraints: 86437 3230.27/3240.23 c #Conflicts: 1768000 | #Constraints: 87437 3230.27/3240.23 c #Conflicts: 1769000 | #Constraints: 88437 3230.27/3240.23 c #Conflicts: 1770000 | #Constraints: 89437 3230.27/3240.23 c #Conflicts: 1771000 | #Constraints: 90437 3230.27/3240.23 c #Conflicts: 1772000 | #Constraints: 91437 3230.27/3240.23 c #Conflicts: 1773000 | #Constraints: 92437 3230.27/3240.23 c #Conflicts: 1774000 | #Constraints: 93437 3230.27/3240.23 c #Conflicts: 1775000 | #Constraints: 94437 3230.27/3240.23 c #Conflicts: 1776000 | #Constraints: 95437 3230.27/3240.23 c #Conflicts: 1777000 | #Constraints: 96437 3230.27/3240.23 c #Conflicts: 1778000 | #Constraints: 97437 3230.27/3240.23 c #Conflicts: 1779000 | #Constraints: 98437 3230.27/3240.23 c #Conflicts: 1780000 | #Constraints: 99437 3230.27/3240.23 c #Conflicts: 1781000 | #Constraints: 100437 3230.27/3240.23 c #Conflicts: 1782000 | #Constraints: 101437 3230.27/3240.23 c #Conflicts: 1783000 | #Constraints: 102438 3230.27/3240.23 c #Conflicts: 1784000 | #Constraints: 103438 3230.27/3240.23 c #Conflicts: 1785000 | #Constraints: 104438 3230.27/3240.23 c INPROCESSING 3230.27/3240.23 c GARBAGE COLLECT 3230.27/3240.23 c rational objective 98 3286.81/3296.90 c #Conflicts: 1786000 | #Constraints: 57188 3286.81/3296.90 c #Conflicts: 1787000 | #Constraints: 58189 3286.81/3296.90 c #Conflicts: 1788000 | #Constraints: 59189 3286.81/3296.90 c #Conflicts: 1789000 | #Constraints: 60190 3286.81/3296.90 c #Conflicts: 1790000 | #Constraints: 61190 3286.81/3296.90 c #Conflicts: 1791000 | #Constraints: 62190 3286.81/3296.90 c #Conflicts: 1792000 | #Constraints: 63190 3286.81/3296.90 c #Conflicts: 1793000 | #Constraints: 64190 3286.81/3296.90 c #Conflicts: 1794000 | #Constraints: 65190 3286.81/3296.90 c #Conflicts: 1795000 | #Constraints: 66190 3286.81/3296.90 c #Conflicts: 1796000 | #Constraints: 67190 3286.81/3296.90 c #Conflicts: 1797000 | #Constraints: 68190 3286.81/3296.90 c #Conflicts: 1798000 | #Constraints: 69190 3286.81/3296.90 c #Conflicts: 1799000 | #Constraints: 70190 3286.81/3296.90 c #Conflicts: 1800000 | #Constraints: 71191 3286.81/3296.90 c #Conflicts: 1801000 | #Constraints: 72191 3286.81/3296.90 c #Conflicts: 1802000 | #Constraints: 73191 3286.81/3296.90 c #Conflicts: 1803000 | #Constraints: 74191 3286.81/3296.90 c #Conflicts: 1804000 | #Constraints: 75192 3286.81/3296.90 c #Conflicts: 1805000 | #Constraints: 76192 3286.81/3296.90 c #Conflicts: 1806000 | #Constraints: 77192 3286.81/3296.90 c #Conflicts: 1807000 | #Constraints: 78192 3286.81/3296.90 c #Conflicts: 1808000 | #Constraints: 79192 3286.81/3296.90 c #Conflicts: 1809000 | #Constraints: 80192 3286.81/3296.90 c #Conflicts: 1810000 | #Constraints: 81192 3286.81/3296.90 c #Conflicts: 1811000 | #Constraints: 82192 3286.81/3296.90 c #Conflicts: 1812000 | #Constraints: 83192 3286.81/3296.90 c #Conflicts: 1813000 | #Constraints: 84192 3286.81/3296.90 c #Conflicts: 1814000 | #Constraints: 85192 3286.81/3296.90 c #Conflicts: 1815000 | #Constraints: 86192 3286.81/3296.90 c #Conflicts: 1816000 | #Constraints: 87192 3286.81/3296.90 c INPROCESSING 3286.81/3296.90 c GARBAGE COLLECT 3286.81/3296.90 c rational objective 98 3335.07/3345.37 c #Conflicts: 1817000 | #Constraints: 48503 3335.07/3345.37 c #Conflicts: 1818000 | #Constraints: 49503 3335.07/3345.37 c #Conflicts: 1819000 | #Constraints: 50503 3335.07/3345.37 c #Conflicts: 1820000 | #Constraints: 51503 3335.07/3345.37 c #Conflicts: 1821000 | #Constraints: 52503 3335.07/3345.37 c #Conflicts: 1822000 | #Constraints: 53504 3335.07/3345.37 c #Conflicts: 1823000 | #Constraints: 54504 3335.07/3345.37 c #Conflicts: 1824000 | #Constraints: 55504 3335.07/3345.37 c #Conflicts: 1825000 | #Constraints: 56504 3335.07/3345.37 c #Conflicts: 1826000 | #Constraints: 57504 3335.07/3345.37 c #Conflicts: 1827000 | #Constraints: 58504 3335.07/3345.37 c #Conflicts: 1828000 | #Constraints: 59504 3335.07/3345.37 c #Conflicts: 1829000 | #Constraints: 60504 3335.07/3345.37 c #Conflicts: 1830000 | #Constraints: 61504 3335.07/3345.37 c #Conflicts: 1831000 | #Constraints: 62504 3335.07/3345.37 c #Conflicts: 1832000 | #Constraints: 63504 3335.07/3345.37 c #Conflicts: 1833000 | #Constraints: 64504 3335.07/3345.37 c #Conflicts: 1834000 | #Constraints: 65504 3335.07/3345.37 c #Conflicts: 1835000 | #Constraints: 66504 3335.07/3345.37 c #Conflicts: 1836000 | #Constraints: 67504 3335.07/3345.37 c #Conflicts: 1837000 | #Constraints: 68504 3335.07/3345.37 c #Conflicts: 1838000 | #Constraints: 69504 3335.07/3345.37 c #Conflicts: 1839000 | #Constraints: 70504 3335.07/3345.37 c #Conflicts: 1840000 | #Constraints: 71504 3335.07/3345.37 c #Conflicts: 1841000 | #Constraints: 72504 3335.07/3345.37 c #Conflicts: 1842000 | #Constraints: 73504 3335.07/3345.37 c #Conflicts: 1843000 | #Constraints: 74504 3335.07/3345.37 c #Conflicts: 1844000 | #Constraints: 75504 3335.07/3345.37 c #Conflicts: 1845000 | #Constraints: 76504 3335.07/3345.37 c #Conflicts: 1846000 | #Constraints: 77504 3335.07/3345.37 c #Conflicts: 1847000 | #Constraints: 78504 3335.07/3345.37 c #Conflicts: 1848000 | #Constraints: 79504 3335.07/3345.37 c INPROCESSING 3335.07/3345.37 c GARBAGE COLLECT 3335.07/3345.37 c rational objective 98 3534.99/3545.82 c #Conflicts: 1849000 | #Constraints: 44804 3534.99/3545.82 c #Conflicts: 1850000 | #Constraints: 45804 3534.99/3545.82 c #Conflicts: 1851000 | #Constraints: 46804 3534.99/3545.82 c #Conflicts: 1852000 | #Constraints: 47804 3534.99/3545.82 c #Conflicts: 1853000 | #Constraints: 48805 3534.99/3545.82 c #Conflicts: 1854000 | #Constraints: 49805 3534.99/3545.82 c #Conflicts: 1855000 | #Constraints: 50805 3534.99/3545.82 c #Conflicts: 1856000 | #Constraints: 51806 3534.99/3545.82 c #Conflicts: 1857000 | #Constraints: 52806 3534.99/3545.82 c #Conflicts: 1858000 | #Constraints: 53806 3534.99/3545.82 c #Conflicts: 1859000 | #Constraints: 54806 3534.99/3545.82 c #Conflicts: 1860000 | #Constraints: 55806 3534.99/3545.82 c #Conflicts: 1861000 | #Constraints: 56806 3534.99/3545.82 c #Conflicts: 1862000 | #Constraints: 57806 3534.99/3545.82 c #Conflicts: 1863000 | #Constraints: 58806 3534.99/3545.82 c #Conflicts: 1864000 | #Constraints: 59806 3534.99/3545.82 c #Conflicts: 1865000 | #Constraints: 60807 3534.99/3545.82 c #Conflicts: 1866000 | #Constraints: 61807 3534.99/3545.82 c #Conflicts: 1867000 | #Constraints: 62807 3534.99/3545.82 c #Conflicts: 1868000 | #Constraints: 63807 3534.99/3545.82 c #Conflicts: 1869000 | #Constraints: 64807 3534.99/3545.82 c #Conflicts: 1870000 | #Constraints: 65808 3534.99/3545.82 c #Conflicts: 1871000 | #Constraints: 66808 3534.99/3545.82 c #Conflicts: 1872000 | #Constraints: 67808 3534.99/3545.82 c #Conflicts: 1873000 | #Constraints: 68808 3534.99/3545.82 c #Conflicts: 1874000 | #Constraints: 69808 3534.99/3545.82 c #Conflicts: 1875000 | #Constraints: 70808 3534.99/3545.82 c #Conflicts: 1876000 | #Constraints: 71808 3534.99/3545.82 c #Conflicts: 1877000 | #Constraints: 72808 3534.99/3545.82 c #Conflicts: 1878000 | #Constraints: 73808 3534.99/3545.82 c #Conflicts: 1879000 | #Constraints: 74808 3534.99/3545.82 c #Conflicts: 1880000 | #Constraints: 75808 3534.99/3545.82 c #Conflicts: 1881000 | #Constraints: 76809 3534.99/3545.82 c #Conflicts: 1882000 | #Constraints: 77809 3534.99/3545.82 c #Conflicts: 1883000 | #Constraints: 78809 3534.99/3545.82 c #Conflicts: 1884000 | #Constraints: 79809 3534.99/3545.82 c #Conflicts: 1885000 | #Constraints: 80809 3534.99/3545.82 c #Conflicts: 1886000 | #Constraints: 81809 3534.99/3545.82 c #Conflicts: 1887000 | #Constraints: 82809 3534.99/3545.82 c #Conflicts: 1888000 | #Constraints: 83809 3534.99/3545.82 c #Conflicts: 1889000 | #Constraints: 84809 3534.99/3545.82 c #Conflicts: 1890000 | #Constraints: 85809 3534.99/3545.82 c #Conflicts: 1891000 | #Constraints: 86809 3534.99/3545.82 c #Conflicts: 1892000 | #Constraints: 87809 3534.99/3545.82 c #Conflicts: 1893000 | #Constraints: 88809 3534.99/3545.82 c #Conflicts: 1894000 | #Constraints: 89810 3534.99/3545.82 c #Conflicts: 1895000 | #Constraints: 90810 3534.99/3545.82 c #Conflicts: 1896000 | #Constraints: 91810 3534.99/3545.82 c #Conflicts: 1897000 | #Constraints: 92810 3534.99/3545.82 c #Conflicts: 1898000 | #Constraints: 93810 3534.99/3545.82 c #Conflicts: 1899000 | #Constraints: 94810 3534.99/3545.82 c #Conflicts: 1900000 | #Constraints: 95810 3534.99/3545.82 c #Conflicts: 1901000 | #Constraints: 96810 3534.99/3545.82 c #Conflicts: 1902000 | #Constraints: 97810 3534.99/3545.82 c #Conflicts: 1903000 | #Constraints: 98810 3534.99/3545.82 c #Conflicts: 1904000 | #Constraints: 99810 3534.99/3545.82 c #Conflicts: 1905000 | #Constraints: 100810 3534.99/3545.82 c #Conflicts: 1906000 | #Constraints: 101810 3534.99/3545.82 c #Conflicts: 1907000 | #Constraints: 102810 3534.99/3545.82 c #Conflicts: 1908000 | #Constraints: 103810 3534.99/3545.82 c #Conflicts: 1909000 | #Constraints: 104810 3534.99/3545.82 c #Conflicts: 1910000 | #Constraints: 105810 3534.99/3545.82 c #Conflicts: 1911000 | #Constraints: 106810 3534.99/3545.82 c #Conflicts: 1912000 | #Constraints: 107810 3534.99/3545.82 c #Conflicts: 1913000 | #Constraints: 108810 3534.99/3545.82 c #Conflicts: 1914000 | #Constraints: 109810 3534.99/3545.82 c #Conflicts: 1915000 | #Constraints: 110810 3534.99/3545.82 c #Conflicts: 1916000 | #Constraints: 111810 3534.99/3545.82 c #Conflicts: 1917000 | #Constraints: 112810 3534.99/3545.82 c #Conflicts: 1918000 | #Constraints: 113810 3534.99/3545.82 c #Conflicts: 1919000 | #Constraints: 114810 3534.99/3545.82 c #Conflicts: 1920000 | #Constraints: 115810 3534.99/3545.82 c #Conflicts: 1921000 | #Constraints: 116810 3534.99/3545.82 c #Conflicts: 1922000 | #Constraints: 117810 3534.99/3545.82 c #Conflicts: 1923000 | #Constraints: 118810 3534.99/3545.82 c #Conflicts: 1924000 | #Constraints: 119810 3534.99/3545.82 c #Conflicts: 1925000 | #Constraints: 120810 3534.99/3545.82 c #Conflicts: 1926000 | #Constraints: 121810 3534.99/3545.82 c #Conflicts: 1927000 | #Constraints: 122810 3600.01/3611.01 c #Conflicts: 1928000 | #Constraints: 123810 3600.01/3611.01 c #Conflicts: 1929000 | #Constraints: 124810 3600.01/3611.01 c #Conflicts: 1930000 | #Constraints: 125810 3600.01/3611.01 c #Conflicts: 1931000 | #Constraints: 126811 3600.01/3611.01 c #Conflicts: 1932000 | #Constraints: 127811 3600.01/3611.01 c #Conflicts: 1933000 | #Constraints: 128811 3600.01/3611.01 c #Conflicts: 1934000 | #Constraints: 129811 3600.01/3611.01 c #Conflicts: 1935000 | #Constraints: 130811 3600.01/3611.01 c #Conflicts: 1936000 | #Constraints: 131811 3600.01/3611.01 c #Conflicts: 1937000 | #Constraints: 132812 3600.01/3611.01 c #Conflicts: 1938000 | #Constraints: 133812 3600.01/3611.01 c #Conflicts: 1939000 | #Constraints: 134812 3600.01/3611.01 c #Conflicts: 1940000 | #Constraints: 135812 3600.01/3611.01 c #Conflicts: 1941000 | #Constraints: 136813 3600.01/3611.01 c #Conflicts: 1942000 | #Constraints: 137813 3600.01/3611.01 c Program interrupted by user. 3600.01/3611.03 c cpu time 3558.4 s 3600.01/3611.03 c deterministic time 483105569419 4.83e+11 3600.01/3611.03 c optimization time 262.691 s 3600.01/3611.03 c total solve time 3295.66 s 3600.01/3611.03 c core-guided solve time 0 s 3600.01/3611.03 c propagation time 2440.22 s 3600.01/3611.03 c conflict analysis time 851.216 s 3600.01/3611.03 c propagations 798876362 3600.01/3611.03 c resolve steps 68388630 3600.01/3611.03 c decisions 15965313 3600.01/3611.03 c conflicts 1942168 3600.01/3611.03 c restarts 3800 3600.01/3611.03 c inprocessing phases 77 3600.01/3611.03 c input clauses 6764 3600.01/3611.03 c input cardinalities 98 3600.01/3611.03 c input general constraints 0 3600.01/3611.03 c input average constraint length 6.24 3600.01/3611.03 c input average constraint degree 1.94 3600.01/3611.03 c learned clauses 1329329 3600.01/3611.03 c learned cardinalities 40113 3600.01/3611.03 c learned general constraints 572892 3600.01/3611.03 c learned average constraint length 880.84 3600.01/3611.03 c learned average constraint degree 43056145.00 3600.01/3611.03 c watched constraints 485268 3600.01/3611.03 c counting constraints 87624 3600.01/3611.03 c gcd simplifications 5908 3600.01/3611.03 c detected cardinalities 2432 3600.01/3611.03 c weakened non-implied lits 282104779 3600.01/3611.03 c weakened non-implying lits 753596 3600.01/3611.03 c original variables 6664 3600.01/3611.03 c clausal propagations 290760588 3600.01/3611.03 c cardinality propagations 280395534 3600.01/3611.03 c watched propagations 65733239 3600.01/3611.03 c counting propagations 155517399 3600.01/3611.03 c watch lookups 35270438424 3600.01/3611.03 c watch backjump lookups 28000265313 3600.01/3611.03 c watch checks 348614207783 3600.01/3611.03 c propagation checks 64587894086 3600.01/3611.03 c constraint additions 4998796568 3600.01/3611.03 c trail pops 816778830 3600.01/3611.03 c formula constraints 6862 3600.01/3611.03 c learned constraints 1942000 3600.01/3611.03 c bound constraints 0 3600.01/3611.03 c core-guided constraints 0 3600.01/3611.03 c encountered formula constraints 37787107 3600.01/3611.03 c encountered learned constraints 32541136 3600.01/3611.03 c encountered bound constraints 0 3600.01/3611.03 c encountered core-guided constraints 0 3600.01/3611.03 c LP total time 749.108 s 3600.01/3611.03 c LP solve time 741.61 s 3600.01/3611.03 c LP constraints added 11178 3600.01/3611.03 c LP constraints removed 4257 3600.01/3611.03 c LP pivots internal 1944060 3600.01/3611.03 c LP pivots root 402679 3600.01/3611.03 c LP calls 396 3600.01/3611.03 c LP optimalities 222 3600.01/3611.03 c LP no pivot count 7 3600.01/3611.03 c LP infeasibilities 168 3600.01/3611.03 c LP valid Farkas constraints 167 3600.01/3611.03 c LP learned Farkas constraints 167 3600.01/3611.03 c LP basis resets 1 3600.01/3611.03 c LP cycling count 0 3600.01/3611.03 c LP singular count 0 3600.01/3611.03 c LP no primal count 0 3600.01/3611.03 c LP no farkas count 1 3600.01/3611.03 c LP other issue count 0 3600.01/3611.03 c LP Gomory cuts 0 3600.01/3611.03 c LP learned cuts 4316 3600.01/3611.03 c LP deleted cuts 4257 3600.01/3611.03 c LP encountered Gomory constraints 0 3600.01/3611.03 c LP encountered Farkas constraints 1901 3600.01/3611.03 c LP encountered learned Farkas constraints 487 3600.01/3611.03 c CG auxiliary variables introduced 0 3600.01/3611.03 c CG solutions found 0 3600.01/3611.03 c CG cores constructed 0 3600.01/3611.03 c CG core cardinality constraints returned 0 3600.01/3611.03 c CG unit cores 0 3600.01/3611.03 c CG single cores 0 3600.01/3611.03 c CG blocks removed during cardinality reduction 0 3600.01/3611.03 c CG first core best 0 3600.01/3611.03 c CG decision core best 0 3600.01/3611.03 c CG core reduction tie 0 3600.01/3611.03 c CG core degree average 0.00 3600.01/3611.03 c CG core slack average 0.00 3600.01/3611.03 s UNKNOWN
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: 64096 MiB (53447 MiB free)
memory of node 1: 64473 MiB (50737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457177-1721830111/watcher-4457177-1721830111 -o /tmp/evaluation-result-4457177-1721830111/solver-4457177-1721830111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721820326-228478 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457177-1721830111 --lp-cut-gomory=0 HOME/instance-4457177-1721830111.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=234194, runsolver pid=234191
[startup+0.100514 s]*
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106672296/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=48272 memory=18744 CPUtime=0.09 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 3304 0 0 0 8 1 0 0 20 0 1 0 19000967 49430528 4686 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 12068 4686 1731 992 0 3926 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48272 KiB
Current children cumulated memory: 18744 KiB
[startup+0.209133 s]*
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106670792/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=49052 memory=19536 CPUtime=0.2 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 3511 0 0 0 18 2 0 0 20 0 1 0 19000967 50229248 4884 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 12263 4884 1731 992 0 4121 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49052 KiB
Current children cumulated memory: 19536 KiB
[startup+0.309063 s]*
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106669980/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=49312 memory=20064 CPUtime=0.3 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 3642 0 0 0 28 2 0 0 20 0 1 0 19000967 50495488 5016 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 12328 5016 1731 992 0 4186 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 20064 KiB
[startup+0.70029 s]
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106668524/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=50224 memory=20856 CPUtime=0.68 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 3867 0 0 0 66 2 0 0 20 0 1 0 19000967 51429376 5214 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 12556 5214 1731 992 0 4414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50224 KiB
Current children cumulated memory: 20856 KiB
[startup+1.50031 s]
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106666480/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=51128 memory=21912 CPUtime=1.48 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 4087 0 0 0 145 3 0 0 20 0 1 0 19000967 52355072 5478 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 12782 5478 1731 992 0 4640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51128 KiB
Current children cumulated memory: 21912 KiB
[startup+3.11262 s]
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106655584/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=53324 memory=26596 CPUtime=3.09 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 4636 0 0 0 297 12 0 0 20 0 1 0 19000967 54603776 6649 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 13331 6649 1873 992 0 5189 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 53324 KiB
Current children cumulated memory: 26596 KiB
[startup+6.30026 s]
/proc/loadavg: 4.01 4.09 4.14 5/243 234195
/proc/meminfo: memFree=106649564/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=54608 memory=27908 CPUtime=6.26 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 4939 0 0 0 606 20 0 0 20 0 1 0 19000967 55918592 6977 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 13652 6977 1873 992 0 5510 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54608 KiB
Current children cumulated memory: 27908 KiB
[startup+12.7003 s]
/proc/loadavg: 4.01 4.09 4.14 5/243 234196
/proc/meminfo: memFree=106623812/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=58712 memory=30368 CPUtime=12.65 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 5572 0 0 0 1231 34 0 0 20 0 1 0 19000967 60121088 7592 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 14678 7592 1873 992 0 6536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 58712 KiB
Current children cumulated memory: 30368 KiB
[startup+25.5004 s]
/proc/loadavg: 4.00 4.08 4.13 5/243 234198
/proc/meminfo: memFree=106534508/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=69352 memory=38536 CPUtime=25.4 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 7592 0 0 0 2482 58 0 0 20 0 1 0 19000967 71016448 9634 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 17338 9634 1873 992 0 9196 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 69352 KiB
Current children cumulated memory: 38536 KiB
[startup+51.1128 s]
/proc/loadavg: 4.08 4.09 4.14 5/243 234202
/proc/meminfo: memFree=106087976/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=78900 memory=48168 CPUtime=50.93 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 9001 0 0 0 4982 111 0 0 20 0 1 0 19000967 80793600 12042 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 19725 12042 1873 992 0 11583 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 78900 KiB
Current children cumulated memory: 48168 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.13 5/244 234214
/proc/meminfo: memFree=105800796/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=213224 memory=144200 CPUtime=101.95 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 17085 0 0 0 10001 194 0 0 20 0 1 0 19000967 218341376 36050 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 53306 36050 1873 992 0 45164 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 213224 KiB
Current children cumulated memory: 144200 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.13 5/244 234224
/proc/meminfo: memFree=105595044/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=219220 memory=150132 CPUtime=161.77 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 18768 0 0 0 15859 318 0 0 20 0 1 0 19000967 224481280 37533 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 54805 37533 1873 992 0 46663 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 219220 KiB
Current children cumulated memory: 150132 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/244 234237
/proc/meminfo: memFree=105135916/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=225916 memory=156628 CPUtime=221.58 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 20455 0 0 0 21724 434 0 0 20 0 1 0 19000967 231337984 39157 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 56479 39157 1873 992 0 48337 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 225916 KiB
Current children cumulated memory: 156628 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.11 5/244 234247
/proc/meminfo: memFree=104788660/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=315228 memory=225492 CPUtime=281.38 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 22895 0 0 0 27609 529 0 0 20 0 1 0 19000967 322793472 56373 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 78807 56373 1873 992 0 70665 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 315228 KiB
Current children cumulated memory: 225492 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.11 5/244 234257
/proc/meminfo: memFree=104521392/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=317228 memory=227436 CPUtime=341.18 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 23804 0 0 0 33476 642 0 0 20 0 1 0 19000967 324841472 56859 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 79307 56859 1873 992 0 71165 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 317228 KiB
Current children cumulated memory: 227436 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.11 5/245 234269
/proc/meminfo: memFree=104130216/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=326080 memory=236072 CPUtime=400.98 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 26423 0 0 0 39369 729 0 0 20 0 1 0 19000967 333905920 59018 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 81520 59018 1873 992 0 73378 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 326080 KiB
Current children cumulated memory: 236072 KiB
[startup+462.3 s]
/proc/loadavg: 3.90 4.04 4.09 4/237 234310
/proc/meminfo: memFree=111787268/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=326728 memory=236804 CPUtime=460.78 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 27163 0 0 0 45244 834 0 0 20 0 1 0 19000967 334569472 59201 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
################
# More data... #
################
Current children cumulated memory: 692536 KiB
[startup+2862.3 s]
/proc/loadavg: 1.07 1.10 1.38 2/223 235827
/proc/meminfo: memFree=121234168/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=777004 memory=690984 CPUtime=2853.47 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 65751 0 0 0 281855 3492 0 0 20 0 1 0 19000967 795652096 172746 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 194251 172746 1873 992 0 186109 0
Current children cumulated CPU time: 2853.47 s
Current children cumulated vsize: 777004 KiB
Current children cumulated memory: 690984 KiB
[startup+2922.3 s]
/proc/loadavg: 1.07 1.09 1.36 2/223 235838
/proc/meminfo: memFree=121134580/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=777972 memory=696660 CPUtime=2913.29 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 66146 0 0 0 287762 3567 0 0 20 0 1 0 19000967 796643328 174165 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 194493 174165 1873 992 0 186351 0
Current children cumulated CPU time: 2913.29 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 696660 KiB
[startup+2982.3 s]
/proc/loadavg: 1.14 1.10 1.34 2/224 236018
/proc/meminfo: memFree=121030712/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=777972 memory=696660 CPUtime=2973.13 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 66344 0 0 0 293681 3632 0 0 20 0 1 0 19000967 796643328 174165 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 194493 174165 1873 992 0 186351 0
Current children cumulated CPU time: 2973.13 s
Current children cumulated vsize: 777972 KiB
Current children cumulated memory: 696660 KiB
[startup+3042.3 s]
/proc/loadavg: 1.11 1.10 1.33 2/224 236030
/proc/meminfo: memFree=120966844/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=778252 memory=697020 CPUtime=3032.94 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 66672 0 0 0 299614 3680 0 0 20 0 1 0 19000967 796930048 174255 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 194563 174255 1873 992 0 186421 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 778252 KiB
Current children cumulated memory: 697020 KiB
[startup+3102.3 s]
/proc/loadavg: 1.04 1.08 1.30 2/225 236045
/proc/meminfo: memFree=120904708/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=779260 memory=698052 CPUtime=3092.77 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 67248 0 0 0 305564 3713 0 0 20 0 1 0 19000967 797962240 174513 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 194815 174513 1873 992 0 186673 0
Current children cumulated CPU time: 3092.77 s
Current children cumulated vsize: 779260 KiB
Current children cumulated memory: 698052 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.09 1.29 2/225 236067
/proc/meminfo: memFree=120848680/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=788484 memory=705108 CPUtime=3152.6 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 69355 0 0 0 311510 3750 0 0 20 0 1 0 19000967 807407616 176277 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 197121 176277 1873 992 0 188979 0
Current children cumulated CPU time: 3152.6 s
Current children cumulated vsize: 788484 KiB
Current children cumulated memory: 705108 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.09 1.27 2/225 236080
/proc/meminfo: memFree=120769892/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=790940 memory=707140 CPUtime=3212.42 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 70582 0 0 0 317433 3809 0 0 20 0 1 0 19000967 809922560 176785 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 197735 176785 1873 992 0 189593 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 790940 KiB
Current children cumulated memory: 707140 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.08 1.26 2/225 236091
/proc/meminfo: memFree=120678928/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=790740 memory=706812 CPUtime=3272.25 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 71318 0 0 0 323344 3881 0 0 20 0 1 0 19000967 809717760 176703 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 197685 176703 1873 992 0 189543 0
Current children cumulated CPU time: 3272.25 s
Current children cumulated vsize: 790740 KiB
Current children cumulated memory: 706812 KiB
[startup+3342.3 s]
/proc/loadavg: 1.08 1.08 1.25 2/224 236101
/proc/meminfo: memFree=120578284/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=791048 memory=707096 CPUtime=3332.08 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 72138 0 0 0 329260 3948 0 0 20 0 1 0 19000967 810033152 176774 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 197762 176774 1873 992 0 189620 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 791048 KiB
Current children cumulated memory: 707096 KiB
[startup+3402.3 s]
/proc/loadavg: 1.07 1.08 1.24 2/224 236112
/proc/meminfo: memFree=120467640/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=790996 memory=707064 CPUtime=3391.91 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 72938 0 0 0 335182 4009 0 0 20 0 1 0 19000967 809979904 176766 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 197749 176766 1873 992 0 189607 0
Current children cumulated CPU time: 3391.91 s
Current children cumulated vsize: 790996 KiB
Current children cumulated memory: 707064 KiB
[startup+3462.3 s]
/proc/loadavg: 1.70 1.25 1.29 2/222 236124
/proc/meminfo: memFree=120398548/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=790996 memory=707160 CPUtime=3451.74 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 73200 0 0 0 341111 4063 0 0 20 0 1 0 19000967 809979904 176790 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 197749 176790 1873 992 0 189607 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 790996 KiB
Current children cumulated memory: 707160 KiB
[startup+3522.3 s]
/proc/loadavg: 1.32 1.23 1.28 2/222 236134
/proc/meminfo: memFree=120337860/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=792616 memory=708544 CPUtime=3511.56 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 73880 0 0 0 347048 4108 0 0 20 0 1 0 19000967 811638784 177136 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 198154 177136 1873 992 0 190012 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 792616 KiB
Current children cumulated memory: 708544 KiB
[startup+3582.3 s]
/proc/loadavg: 1.23 1.22 1.27 2/222 236145
/proc/meminfo: memFree=120285720/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=796328 memory=714648 CPUtime=3571.39 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 75008 0 0 0 352998 4141 0 0 20 0 1 0 19000967 815439872 178662 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 199082 178662 1873 992 0 190940 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 796328 KiB
Current children cumulated memory: 714648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 1.14 1.20 1.26 2/222 236150
/proc/meminfo: memFree=120237672/131655788 swapFree=131060916/131071996
[pid=234194] ppid=234191 vsize=799596 memory=741828 CPUtime=3600.01 cores=0,2
/proc/234194/stat : 234194 (roundingsat) R 234191 234194 228468 0 -1 4194304 75804 0 0 0 355840 4161 0 0 20 0 1 0 19000967 818786304 185457 134679101440 4194304 8254037 140734228741344 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30994432 140734228747104 140734228747366 140734228747366 140734228754377 0
/proc/234194/statm: 199899 185457 1873 992 0 191757 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 799596 KiB
Current children cumulated memory: 741828 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.04 s]
# the end of solver process 234194 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.41 s, system=41.619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.04
CPU time (s): 3600.03
CPU user time (s): 3558.41
CPU system time (s): 41.619
CPU usage (%): 99.695
Max. virtual memory (cumulated for all children) (KiB): 799596
Max. memory (cumulated for all children) (KiB): 741828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.41
system time used= 41.619
maximum resident set size= 741828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10305888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 823
involuntary context switches= 24922
# summary of solver processes directly reported to runsolver:
# pid: 234194
# total CPU time (s): 3600.03
# total CPU user time (s): 3558.41
# total CPU system time (s): 41.619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3177 second user time and 29.6274 second system time
The end
Begin job on nodeC011 at 2024-07-24 16:08:31 IDJOB=4457177 IDBENCH=158344 IDSOLVER=3085 FILE ID=nodeC011/4457177-1721830111 RUNJOBID= nodeC011-1721820326-228478 SLURM_JOB_ID= 7891465 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.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-4457177-1721830111/watcher-4457177-1721830111 -o /tmp/evaluation-result-4457177-1721830111/solver-4457177-1721830111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721820326-228478 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457177-1721830111 --lp-cut-gomory=0 HOME/instance-4457177-1721830111.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818 RANDOM SEED=498811907 nodeC011.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 : 0xb00001f cpu MHz : 1197.322 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.36 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 : 0xb00001f cpu MHz : 3659.672 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 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 : 0xb00001f cpu MHz : 1795.998 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.36 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 : 0xb00001f cpu MHz : 1197.460 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 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 : 0xb00001f cpu MHz : 3641.651 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.36 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 : 0xb00001f cpu MHz : 3659.811 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 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 : 0xb00001f cpu MHz : 1197.470 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.36 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 : 0xb00001f cpu MHz : 1197.544 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 106684980 kB MemAvailable: 125478692 kB Buffers: 244132 kB Cached: 19367752 kB SwapCached: 112 kB Active: 1693348 kB Inactive: 22701728 kB Active(anon): 2356 kB Inactive(anon): 4833864 kB Active(file): 1690992 kB Inactive(file): 17867864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060916 kB Dirty: 92332 kB Writeback: 16 kB AnonPages: 4778656 kB Mapped: 106596 kB Shmem: 52980 kB KReclaimable: 150112 kB Slab: 257516 kB SReclaimable: 150112 kB SUnreclaim: 107404 kB KernelStack: 3892 kB PageTables: 19084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 5834572 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 10912 kB HardwareCorrupted: 0 kB AnonHugePages: 2183168 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723776 MiB End job on nodeC011 at 2024-07-24 17:08:42