| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 75 | 3600.05 | 3612.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
| MD5SUM | 89d4e33f1fc4516d7db076f434bf527f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72 |
| Best CPU time to get the best result obtained on this benchmark | 3600.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1288 |
| Total number of constraints | 2431 |
| Number of constraints which are clauses | 1 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 29 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 64 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 182 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 175 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 802 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.02 c #variables 1288 #constraints 2431 0.00/0.03 c bounds 183 >= 55 @ 0.020411 0.00/0.03 c rational objective 55 0.40/0.46 c bounds 120 >= 55 @ 0.074242 0.40/0.46 c #Conflicts: 1000 | #Constraints: 3439 0.40/0.46 c #Conflicts: 2000 | #Constraints: 4475 0.40/0.46 c INPROCESSING 0.40/0.46 c GARBAGE COLLECT 0.40/0.46 c rational objective 55 0.89/0.94 c bounds 119 >= 55 @ 0.470174 0.89/0.94 c bounds 111 >= 55 @ 0.472156 0.89/0.94 c bounds 110 >= 55 @ 0.486243 0.89/0.94 c bounds 109 >= 55 @ 0.529952 0.89/0.94 c bounds 108 >= 55 @ 0.543857 0.89/0.94 c bounds 107 >= 55 @ 0.589377 0.89/0.94 c #Conflicts: 3000 | #Constraints: 4474 0.89/0.94 c bounds 99 >= 55 @ 0.659965 0.89/0.94 c bounds 97 >= 55 @ 0.697492 0.89/0.94 c bounds 96 >= 55 @ 0.845029 0.89/0.94 c #Conflicts: 4000 | #Constraints: 5477 0.89/0.94 c INPROCESSING 0.89/0.94 c GARBAGE COLLECT 0.89/0.94 c rational objective 55 1.48/1.55 c #Conflicts: 5000 | #Constraints: 4857 1.48/1.55 c #Conflicts: 6000 | #Constraints: 5862 1.48/1.55 c INPROCESSING 1.48/1.55 c GARBAGE COLLECT 1.48/1.55 c rational objective 55 2.28/2.33 c bounds 95 >= 55 @ 1.5274 2.28/2.33 c #Conflicts: 7000 | #Constraints: 4875 2.28/2.33 c #Conflicts: 8000 | #Constraints: 5875 2.28/2.33 c bounds 93 >= 55 @ 2.06277 2.28/2.33 c bounds 92 >= 55 @ 2.10433 2.28/2.33 c #Conflicts: 9000 | #Constraints: 6893 2.28/2.33 c INPROCESSING 2.28/2.33 c GARBAGE COLLECT 2.28/2.33 c rational objective 55 3.09/3.10 c bounds 91 >= 55 @ 2.25661 3.09/3.10 c bounds 88 >= 55 @ 2.30003 3.09/3.10 c #Conflicts: 10000 | #Constraints: 5583 3.09/3.10 c #Conflicts: 11000 | #Constraints: 6583 3.09/3.10 c #Conflicts: 12000 | #Constraints: 7583 3.09/3.10 c INPROCESSING 3.09/3.10 c GARBAGE COLLECT 3.09/3.10 c rational objective 55 3.88/3.96 c bounds 87 >= 55 @ 3.07407 3.88/3.96 c #Conflicts: 13000 | #Constraints: 6030 3.88/3.96 c bounds 86 >= 55 @ 3.43961 3.88/3.96 c #Conflicts: 14000 | #Constraints: 7032 3.88/3.96 c bounds 85 >= 55 @ 3.49169 3.88/3.96 c bounds 84 >= 55 @ 3.54633 3.88/3.96 c #Conflicts: 15000 | #Constraints: 8034 3.88/3.96 c INPROCESSING 3.88/3.96 c GARBAGE COLLECT 3.88/3.96 c rational objective 55 4.77/4.87 c #Conflicts: 16000 | #Constraints: 6217 4.77/4.87 c #Conflicts: 17000 | #Constraints: 7218 4.77/4.87 c #Conflicts: 18000 | #Constraints: 8218 4.77/4.87 c INPROCESSING 4.77/4.87 c GARBAGE COLLECT 4.77/4.87 c rational objective 55 6.37/6.44 c #Conflicts: 19000 | #Constraints: 6363 6.37/6.44 c #Conflicts: 20000 | #Constraints: 7528 6.37/6.44 c #Conflicts: 21000 | #Constraints: 8551 6.37/6.44 c INPROCESSING 6.37/6.44 c GARBAGE COLLECT 6.37/6.44 c rational objective 55 7.47/7.56 c #Conflicts: 22000 | #Constraints: 6248 7.47/7.56 c #Conflicts: 23000 | #Constraints: 7248 7.47/7.56 c #Conflicts: 24000 | #Constraints: 8249 7.47/7.56 c #Conflicts: 25000 | #Constraints: 9251 7.47/7.56 c INPROCESSING 7.47/7.56 c GARBAGE COLLECT 7.47/7.56 c rational objective 55 9.06/9.18 c #Conflicts: 26000 | #Constraints: 6765 9.06/9.18 c #Conflicts: 27000 | #Constraints: 7885 9.06/9.18 c #Conflicts: 28000 | #Constraints: 8917 9.06/9.18 c bounds 83 >= 55 @ 8.80918 9.06/9.18 c #Conflicts: 29000 | #Constraints: 9942 9.06/9.18 c INPROCESSING 9.06/9.18 c GARBAGE COLLECT 9.06/9.18 c rational objective 55 10.46/10.53 c #Conflicts: 30000 | #Constraints: 7213 10.46/10.53 c #Conflicts: 31000 | #Constraints: 8214 10.46/10.53 c #Conflicts: 32000 | #Constraints: 9214 10.46/10.53 c #Conflicts: 33000 | #Constraints: 10264 10.46/10.53 c INPROCESSING 10.46/10.53 c GARBAGE COLLECT 10.46/10.53 c rational objective 55 12.15/12.26 c #Conflicts: 34000 | #Constraints: 7436 12.15/12.26 c #Conflicts: 35000 | #Constraints: 8721 12.15/12.26 c #Conflicts: 36000 | #Constraints: 9833 12.15/12.26 c bounds 79 >= 55 @ 11.4771 12.15/12.26 c #Conflicts: 37000 | #Constraints: 10834 12.15/12.26 c INPROCESSING 12.15/12.26 c GARBAGE COLLECT 12.15/12.26 c rational objective 55 13.74/13.83 c #Conflicts: 38000 | #Constraints: 7565 13.74/13.83 c #Conflicts: 39000 | #Constraints: 8570 13.74/13.83 c #Conflicts: 40000 | #Constraints: 9573 13.74/13.83 c #Conflicts: 41000 | #Constraints: 10582 13.74/13.83 c INPROCESSING 13.74/13.83 c GARBAGE COLLECT 13.74/13.83 c rational objective 55 15.95/16.10 c #Conflicts: 42000 | #Constraints: 7250 15.95/16.10 c #Conflicts: 43000 | #Constraints: 8251 15.95/16.10 c #Conflicts: 44000 | #Constraints: 9565 15.95/16.10 c #Conflicts: 45000 | #Constraints: 10855 15.95/16.10 c #Conflicts: 46000 | #Constraints: 11857 15.95/16.10 c INPROCESSING 15.95/16.10 c GARBAGE COLLECT 15.95/16.10 WSVECS04 Frhs2[62]: 6 -9.83088 0 shouldn't be 15.95/16.10 WSVECS04 Frhs2[75]: 6 -12.5058 0 shouldn't be 16.04/16.11 c rational objective 55 17.93/18.04 c #Conflicts: 47000 | #Constraints: 8074 17.93/18.04 c #Conflicts: 48000 | #Constraints: 9075 17.93/18.04 c #Conflicts: 49000 | #Constraints: 10079 17.93/18.04 c #Conflicts: 50000 | #Constraints: 11100 17.93/18.04 c #Conflicts: 51000 | #Constraints: 12108 17.93/18.04 c INPROCESSING 17.93/18.04 c GARBAGE COLLECT 17.93/18.04 c rational objective 55 21.82/21.98 c #Conflicts: 52000 | #Constraints: 8299 21.82/21.98 c #Conflicts: 53000 | #Constraints: 9328 21.82/21.98 c #Conflicts: 54000 | #Constraints: 10341 21.82/21.98 c #Conflicts: 55000 | #Constraints: 11361 21.82/21.98 c #Conflicts: 56000 | #Constraints: 12361 21.82/21.98 c INPROCESSING 21.82/21.98 c GARBAGE COLLECT 21.82/21.98 c #Conflicts: 57000 | #Constraints: 8436 21.82/21.98 c #Conflicts: 58000 | #Constraints: 9436 21.82/21.98 c #Conflicts: 59000 | #Constraints: 10438 21.82/21.98 c #Conflicts: 60000 | #Constraints: 11439 21.82/21.98 c #Conflicts: 61000 | #Constraints: 12442 21.82/21.98 c INPROCESSING 21.82/21.98 c GARBAGE COLLECT 21.82/21.98 c rational objective 55 24.11/24.22 c #Conflicts: 62000 | #Constraints: 8375 24.11/24.22 c #Conflicts: 63000 | #Constraints: 9380 24.11/24.22 c #Conflicts: 64000 | #Constraints: 10380 24.11/24.22 c #Conflicts: 65000 | #Constraints: 11389 24.11/24.22 c #Conflicts: 66000 | #Constraints: 12389 24.11/24.22 c INPROCESSING 24.11/24.22 c GARBAGE COLLECT 24.11/24.22 c rational objective 55 26.41/26.52 c #Conflicts: 67000 | #Constraints: 8140 26.41/26.52 c #Conflicts: 68000 | #Constraints: 9140 26.41/26.52 c #Conflicts: 69000 | #Constraints: 10140 26.41/26.52 c #Conflicts: 70000 | #Constraints: 11140 26.41/26.52 c #Conflicts: 71000 | #Constraints: 12140 26.41/26.52 c #Conflicts: 72000 | #Constraints: 13140 26.41/26.52 c INPROCESSING 26.41/26.52 c GARBAGE COLLECT 26.41/26.52 c rational objective 55 29.00/29.15 c #Conflicts: 73000 | #Constraints: 8722 29.00/29.15 c #Conflicts: 74000 | #Constraints: 9736 29.00/29.15 c #Conflicts: 75000 | #Constraints: 10746 29.00/29.15 c #Conflicts: 76000 | #Constraints: 11771 29.00/29.15 c #Conflicts: 77000 | #Constraints: 12776 29.00/29.15 c #Conflicts: 78000 | #Constraints: 13817 29.00/29.15 c INPROCESSING 29.00/29.15 c GARBAGE COLLECT 29.00/29.15 c rational objective 55 31.49/31.68 c #Conflicts: 79000 | #Constraints: 9168 31.49/31.68 c #Conflicts: 80000 | #Constraints: 10168 31.49/31.68 c #Conflicts: 81000 | #Constraints: 11168 31.49/31.68 c #Conflicts: 82000 | #Constraints: 12168 31.49/31.68 c #Conflicts: 83000 | #Constraints: 13168 31.49/31.68 c #Conflicts: 84000 | #Constraints: 14168 31.49/31.68 c INPROCESSING 31.49/31.68 c GARBAGE COLLECT 31.49/31.68 c rational objective 55 34.79/34.98 c #Conflicts: 85000 | #Constraints: 9367 34.79/34.98 c bounds 78 >= 55 @ 31.6118 34.79/34.98 c #Conflicts: 86000 | #Constraints: 10648 34.79/34.98 c #Conflicts: 87000 | #Constraints: 11648 34.79/34.98 c #Conflicts: 88000 | #Constraints: 13156 34.79/34.98 c #Conflicts: 89000 | #Constraints: 14355 34.79/34.98 c #Conflicts: 90000 | #Constraints: 15399 34.79/34.98 c INPROCESSING 34.79/34.98 c GARBAGE COLLECT 34.79/34.98 WSVECS04 Frhs2[68]: 6 -16.0001 0 shouldn't be 34.79/34.99 c rational objective 55 37.37/37.54 c #Conflicts: 91000 | #Constraints: 9489 37.37/37.54 c #Conflicts: 92000 | #Constraints: 10489 37.37/37.54 c #Conflicts: 93000 | #Constraints: 11489 37.37/37.54 c #Conflicts: 94000 | #Constraints: 12489 37.37/37.54 c #Conflicts: 95000 | #Constraints: 13489 37.37/37.54 c #Conflicts: 96000 | #Constraints: 14489 37.37/37.54 c INPROCESSING 37.37/37.54 c GARBAGE COLLECT 37.37/37.54 c rational objective 55 40.56/40.75 c #Conflicts: 97000 | #Constraints: 9198 40.56/40.75 c #Conflicts: 98000 | #Constraints: 10304 40.56/40.75 c #Conflicts: 99000 | #Constraints: 11448 40.56/40.75 c #Conflicts: 100000 | #Constraints: 12465 40.56/40.75 c #Conflicts: 101000 | #Constraints: 13605 40.56/40.75 c #Conflicts: 102000 | #Constraints: 14630 40.56/40.75 c #Conflicts: 103000 | #Constraints: 15649 40.56/40.75 c INPROCESSING 40.56/40.75 c GARBAGE COLLECT 40.56/40.75 c rational objective 55 43.75/43.93 c #Conflicts: 104000 | #Constraints: 9986 43.75/43.93 c #Conflicts: 105000 | #Constraints: 11012 43.75/43.93 c #Conflicts: 106000 | #Constraints: 12030 43.75/43.93 c #Conflicts: 107000 | #Constraints: 13032 43.75/43.93 c #Conflicts: 108000 | #Constraints: 14105 43.75/43.93 c #Conflicts: 109000 | #Constraints: 15106 43.75/43.93 c #Conflicts: 110000 | #Constraints: 16109 43.75/43.93 c INPROCESSING 43.75/43.93 c GARBAGE COLLECT 43.75/43.93 c rational objective 55 47.35/47.55 c #Conflicts: 111000 | #Constraints: 10319 47.35/47.55 c #Conflicts: 112000 | #Constraints: 11320 47.35/47.55 c #Conflicts: 113000 | #Constraints: 12351 47.35/47.55 c #Conflicts: 114000 | #Constraints: 13396 47.35/47.55 c #Conflicts: 115000 | #Constraints: 14409 47.35/47.55 c #Conflicts: 116000 | #Constraints: 15488 47.35/47.55 c #Conflicts: 117000 | #Constraints: 16611 47.35/47.55 c INPROCESSING 47.35/47.55 c GARBAGE COLLECT 47.35/47.55 c rational objective 55 50.54/50.77 c #Conflicts: 118000 | #Constraints: 10565 50.54/50.77 c #Conflicts: 119000 | #Constraints: 11565 50.54/50.77 c #Conflicts: 120000 | #Constraints: 12566 50.54/50.77 c #Conflicts: 121000 | #Constraints: 13575 50.54/50.77 c #Conflicts: 122000 | #Constraints: 14582 50.54/50.77 c #Conflicts: 123000 | #Constraints: 15601 50.54/50.77 c #Conflicts: 124000 | #Constraints: 16609 50.54/50.77 c INPROCESSING 50.54/50.77 c GARBAGE COLLECT 50.54/50.77 c rational objective 55 54.13/54.38 c #Conflicts: 125000 | #Constraints: 10469 54.13/54.38 c #Conflicts: 126000 | #Constraints: 11469 54.13/54.38 c #Conflicts: 127000 | #Constraints: 12469 54.13/54.38 c #Conflicts: 128000 | #Constraints: 13469 54.13/54.38 c #Conflicts: 129000 | #Constraints: 14469 54.13/54.38 c #Conflicts: 130000 | #Constraints: 15469 54.13/54.38 c #Conflicts: 131000 | #Constraints: 16469 54.13/54.38 c INPROCESSING 54.13/54.38 c GARBAGE COLLECT 54.13/54.38 c rational objective 55 57.82/58.02 c #Conflicts: 132000 | #Constraints: 10212 57.82/58.02 c #Conflicts: 133000 | #Constraints: 11216 57.82/58.02 c #Conflicts: 134000 | #Constraints: 12217 57.82/58.02 c #Conflicts: 135000 | #Constraints: 13221 57.82/58.02 c #Conflicts: 136000 | #Constraints: 14223 57.82/58.02 c #Conflicts: 137000 | #Constraints: 15228 57.82/58.02 c #Conflicts: 138000 | #Constraints: 16243 57.82/58.02 c #Conflicts: 139000 | #Constraints: 17255 57.82/58.02 c INPROCESSING 57.82/58.02 c GARBAGE COLLECT 57.82/58.02 c rational objective 55 61.69/61.95 c #Conflicts: 140000 | #Constraints: 10779 61.69/61.95 c #Conflicts: 141000 | #Constraints: 11779 61.69/61.95 c #Conflicts: 142000 | #Constraints: 12779 61.69/61.95 c #Conflicts: 143000 | #Constraints: 13779 61.69/61.95 c #Conflicts: 144000 | #Constraints: 14779 61.69/61.95 c #Conflicts: 145000 | #Constraints: 15779 61.69/61.95 c #Conflicts: 146000 | #Constraints: 16779 61.69/61.95 c #Conflicts: 147000 | #Constraints: 17779 61.69/61.95 c INPROCESSING 61.69/61.95 c GARBAGE COLLECT 61.69/61.95 c rational objective 55 65.69/65.94 c #Conflicts: 148000 | #Constraints: 11144 65.69/65.94 c #Conflicts: 149000 | #Constraints: 12145 65.69/65.94 c #Conflicts: 150000 | #Constraints: 13145 65.69/65.94 c #Conflicts: 151000 | #Constraints: 14145 65.69/65.94 c #Conflicts: 152000 | #Constraints: 15145 65.69/65.94 c #Conflicts: 153000 | #Constraints: 16146 65.69/65.94 c #Conflicts: 154000 | #Constraints: 17146 65.69/65.94 c #Conflicts: 155000 | #Constraints: 18146 65.69/65.94 c INPROCESSING 65.69/65.94 c GARBAGE COLLECT 65.69/65.94 c rational objective 55 69.97/70.20 c #Conflicts: 156000 | #Constraints: 11323 69.97/70.20 c #Conflicts: 157000 | #Constraints: 12323 69.97/70.20 c #Conflicts: 158000 | #Constraints: 13323 69.97/70.20 c #Conflicts: 159000 | #Constraints: 14323 69.97/70.20 c #Conflicts: 160000 | #Constraints: 15333 69.97/70.20 c #Conflicts: 161000 | #Constraints: 16335 69.97/70.20 c #Conflicts: 162000 | #Constraints: 17336 69.97/70.20 c #Conflicts: 163000 | #Constraints: 18336 69.97/70.20 c INPROCESSING 69.97/70.20 c GARBAGE COLLECT 69.97/70.20 c rational objective 55 74.55/74.88 c #Conflicts: 164000 | #Constraints: 11331 74.55/74.88 c #Conflicts: 165000 | #Constraints: 12363 74.55/74.88 c #Conflicts: 166000 | #Constraints: 13389 74.55/74.88 c #Conflicts: 167000 | #Constraints: 14402 74.55/74.88 c #Conflicts: 168000 | #Constraints: 15402 74.55/74.88 c #Conflicts: 169000 | #Constraints: 16421 74.55/74.88 c #Conflicts: 170000 | #Constraints: 17425 74.55/74.88 c #Conflicts: 171000 | #Constraints: 18427 74.55/74.88 c INPROCESSING 74.55/74.88 c GARBAGE COLLECT 74.55/74.88 c rational objective 55 79.94/80.25 c #Conflicts: 172000 | #Constraints: 11172 79.94/80.25 c #Conflicts: 173000 | #Constraints: 12180 79.94/80.25 c #Conflicts: 174000 | #Constraints: 13349 79.94/80.25 c #Conflicts: 175000 | #Constraints: 14349 79.94/80.25 c #Conflicts: 176000 | #Constraints: 15350 79.94/80.25 c #Conflicts: 177000 | #Constraints: 16351 79.94/80.25 c #Conflicts: 178000 | #Constraints: 17354 79.94/80.25 c #Conflicts: 179000 | #Constraints: 18440 79.94/80.25 c #Conflicts: 180000 | #Constraints: 19764 79.94/80.25 c INPROCESSING 79.94/80.25 c GARBAGE COLLECT 79.94/80.25 c rational objective 55 85.02/85.39 c #Conflicts: 181000 | #Constraints: 12126 85.02/85.39 c #Conflicts: 182000 | #Constraints: 13126 85.02/85.39 c #Conflicts: 183000 | #Constraints: 14128 85.02/85.39 c #Conflicts: 184000 | #Constraints: 15139 85.02/85.39 c #Conflicts: 185000 | #Constraints: 16146 85.02/85.39 c #Conflicts: 186000 | #Constraints: 17153 85.02/85.39 c #Conflicts: 187000 | #Constraints: 18187 85.02/85.39 c #Conflicts: 188000 | #Constraints: 19193 85.02/85.39 c #Conflicts: 189000 | #Constraints: 20198 85.02/85.39 c INPROCESSING 85.02/85.39 c GARBAGE COLLECT 85.02/85.39 c rational objective 55 92.20/92.54 c #Conflicts: 190000 | #Constraints: 12397 92.20/92.54 c #Conflicts: 191000 | #Constraints: 14032 92.20/92.54 c #Conflicts: 192000 | #Constraints: 15252 92.20/92.54 c #Conflicts: 193000 | #Constraints: 16279 92.20/92.54 c #Conflicts: 194000 | #Constraints: 17308 92.20/92.54 c #Conflicts: 195000 | #Constraints: 18962 92.20/92.54 c #Conflicts: 196000 | #Constraints: 20140 92.20/92.54 c #Conflicts: 197000 | #Constraints: 21140 92.20/92.54 c bounds 77 >= 55 @ 89.8891 92.20/92.54 c #Conflicts: 198000 | #Constraints: 22147 92.20/92.54 c INPROCESSING 92.20/92.54 c GARBAGE COLLECT 92.20/92.54 c rational objective 55 97.69/98.03 c #Conflicts: 199000 | #Constraints: 13327 97.69/98.03 c #Conflicts: 200000 | #Constraints: 14327 97.69/98.03 c #Conflicts: 201000 | #Constraints: 15327 97.69/98.03 c #Conflicts: 202000 | #Constraints: 16328 97.69/98.03 c #Conflicts: 203000 | #Constraints: 17328 97.69/98.03 c #Conflicts: 204000 | #Constraints: 18330 97.69/98.03 c #Conflicts: 205000 | #Constraints: 19330 97.69/98.03 c #Conflicts: 206000 | #Constraints: 20332 97.69/98.03 c #Conflicts: 207000 | #Constraints: 21334 97.69/98.03 c INPROCESSING 97.69/98.03 c GARBAGE COLLECT 97.69/98.03 c rational objective 55 103.07/103.47 c bounds 75 >= 55 @ 95.7966 103.07/103.47 c #Conflicts: 208000 | #Constraints: 12832 103.07/103.47 c #Conflicts: 209000 | #Constraints: 13832 103.07/103.47 c #Conflicts: 210000 | #Constraints: 14906 103.07/103.47 c #Conflicts: 211000 | #Constraints: 16033 103.07/103.47 c #Conflicts: 212000 | #Constraints: 17045 103.07/103.47 c #Conflicts: 213000 | #Constraints: 18045 103.07/103.47 c #Conflicts: 214000 | #Constraints: 19045 103.07/103.47 c #Conflicts: 215000 | #Constraints: 20045 103.07/103.47 c #Conflicts: 216000 | #Constraints: 21047 103.07/103.47 c INPROCESSING 103.07/103.47 c GARBAGE COLLECT 103.07/103.47 c rational objective 55 108.65/109.03 c #Conflicts: 217000 | #Constraints: 12491 108.65/109.03 c #Conflicts: 218000 | #Constraints: 13491 108.65/109.03 c #Conflicts: 219000 | #Constraints: 14491 108.65/109.03 c #Conflicts: 220000 | #Constraints: 15491 108.65/109.03 c #Conflicts: 221000 | #Constraints: 16491 108.65/109.03 c #Conflicts: 222000 | #Constraints: 17491 108.65/109.03 c #Conflicts: 223000 | #Constraints: 18491 108.65/109.03 c #Conflicts: 224000 | #Constraints: 19491 108.65/109.03 c #Conflicts: 225000 | #Constraints: 20492 108.65/109.03 c #Conflicts: 226000 | #Constraints: 21505 108.65/109.03 c INPROCESSING 108.65/109.03 c GARBAGE COLLECT 108.65/109.03 c rational objective 55 114.33/114.73 c #Conflicts: 227000 | #Constraints: 12927 114.33/114.73 c #Conflicts: 228000 | #Constraints: 13927 114.33/114.73 c #Conflicts: 229000 | #Constraints: 14927 114.33/114.73 c #Conflicts: 230000 | #Constraints: 15927 114.33/114.73 c #Conflicts: 231000 | #Constraints: 16927 114.33/114.73 c #Conflicts: 232000 | #Constraints: 17927 114.33/114.73 c #Conflicts: 233000 | #Constraints: 18927 114.33/114.73 c #Conflicts: 234000 | #Constraints: 19927 114.33/114.73 c #Conflicts: 235000 | #Constraints: 20927 114.33/114.73 c #Conflicts: 236000 | #Constraints: 21927 114.33/114.73 c INPROCESSING 114.33/114.73 c GARBAGE COLLECT 114.33/114.73 c rational objective 55 120.91/121.32 c #Conflicts: 237000 | #Constraints: 13235 120.91/121.32 c #Conflicts: 238000 | #Constraints: 14524 120.91/121.32 c #Conflicts: 239000 | #Constraints: 15900 120.91/121.32 c #Conflicts: 240000 | #Constraints: 16902 120.91/121.32 c #Conflicts: 241000 | #Constraints: 17906 120.91/121.32 c #Conflicts: 242000 | #Constraints: 18912 120.91/121.32 c #Conflicts: 243000 | #Constraints: 19913 120.91/121.32 c #Conflicts: 244000 | #Constraints: 20918 120.91/121.32 c #Conflicts: 245000 | #Constraints: 21928 120.91/121.32 c #Conflicts: 246000 | #Constraints: 22939 120.91/121.32 c INPROCESSING 120.91/121.32 c GARBAGE COLLECT 120.91/121.32 c rational objective 55 136.06/136.59 c #Conflicts: 247000 | #Constraints: 13733 136.06/136.59 c #Conflicts: 248000 | #Constraints: 15150 136.06/136.59 c #Conflicts: 249000 | #Constraints: 16151 136.06/136.59 c #Conflicts: 250000 | #Constraints: 17166 136.06/136.59 c #Conflicts: 251000 | #Constraints: 18224 136.06/136.59 c #Conflicts: 252000 | #Constraints: 19296 136.06/136.59 c #Conflicts: 253000 | #Constraints: 20326 136.06/136.59 c #Conflicts: 254000 | #Constraints: 21330 136.06/136.59 c #Conflicts: 255000 | #Constraints: 22382 136.06/136.59 c #Conflicts: 256000 | #Constraints: 23728 136.06/136.59 c INPROCESSING 136.06/136.59 c GARBAGE COLLECT 136.06/136.59 c #Conflicts: 257000 | #Constraints: 14089 136.06/136.59 c #Conflicts: 258000 | #Constraints: 15090 136.06/136.59 c #Conflicts: 259000 | #Constraints: 16097 136.06/136.59 c #Conflicts: 260000 | #Constraints: 17101 136.06/136.59 c #Conflicts: 261000 | #Constraints: 18103 136.06/136.59 c #Conflicts: 262000 | #Constraints: 19118 136.06/136.59 c #Conflicts: 263000 | #Constraints: 20118 136.06/136.59 c #Conflicts: 264000 | #Constraints: 21128 136.06/136.59 c #Conflicts: 265000 | #Constraints: 22177 136.06/136.59 c #Conflicts: 266000 | #Constraints: 23180 136.06/136.59 c INPROCESSING 136.06/136.59 c GARBAGE COLLECT 136.06/136.59 c rational objective 55 148.52/149.05 c #Conflicts: 267000 | #Constraints: 13563 148.52/149.05 c #Conflicts: 268000 | #Constraints: 14577 148.52/149.05 c #Conflicts: 269000 | #Constraints: 15630 148.52/149.05 c #Conflicts: 270000 | #Constraints: 17083 148.52/149.05 c #Conflicts: 271000 | #Constraints: 18813 148.52/149.05 c #Conflicts: 272000 | #Constraints: 20574 148.52/149.05 c #Conflicts: 273000 | #Constraints: 22317 148.52/149.05 c #Conflicts: 274000 | #Constraints: 24060 148.52/149.05 c #Conflicts: 275000 | #Constraints: 25813 148.52/149.05 c #Conflicts: 276000 | #Constraints: 27117 148.52/149.05 c #Conflicts: 277000 | #Constraints: 28250 148.52/149.05 c INPROCESSING 148.52/149.05 c GARBAGE COLLECT 148.52/149.05 c rational objective 55 155.99/156.53 c #Conflicts: 278000 | #Constraints: 16306 155.99/156.53 c #Conflicts: 279000 | #Constraints: 17306 155.99/156.53 c #Conflicts: 280000 | #Constraints: 18306 155.99/156.53 c #Conflicts: 281000 | #Constraints: 19306 155.99/156.53 c #Conflicts: 282000 | #Constraints: 20306 155.99/156.53 c #Conflicts: 283000 | #Constraints: 21306 155.99/156.53 c #Conflicts: 284000 | #Constraints: 22306 155.99/156.53 c #Conflicts: 285000 | #Constraints: 23306 155.99/156.53 c #Conflicts: 286000 | #Constraints: 24306 155.99/156.53 c #Conflicts: 287000 | #Constraints: 25306 155.99/156.53 c #Conflicts: 288000 | #Constraints: 26306 155.99/156.53 c INPROCESSING 155.99/156.53 c GARBAGE COLLECT 155.99/156.53 c rational objective 55 165.56/166.14 c #Conflicts: 289000 | #Constraints: 15455 165.56/166.14 c #Conflicts: 290000 | #Constraints: 16472 165.56/166.14 c #Conflicts: 291000 | #Constraints: 17757 165.56/166.14 c #Conflicts: 292000 | #Constraints: 18861 165.56/166.14 c #Conflicts: 293000 | #Constraints: 20583 165.56/166.14 c #Conflicts: 294000 | #Constraints: 21924 165.56/166.14 c #Conflicts: 295000 | #Constraints: 22936 165.56/166.14 c #Conflicts: 296000 | #Constraints: 23962 165.56/166.14 c #Conflicts: 297000 | #Constraints: 24990 165.56/166.14 c #Conflicts: 298000 | #Constraints: 26001 165.56/166.14 c #Conflicts: 299000 | #Constraints: 27018 165.56/166.14 c INPROCESSING 165.56/166.14 c GARBAGE COLLECT 165.56/166.14 c rational objective 55 173.34/173.91 c #Conflicts: 300000 | #Constraints: 15793 173.34/173.91 c #Conflicts: 301000 | #Constraints: 16793 173.34/173.91 c #Conflicts: 302000 | #Constraints: 17795 173.34/173.91 c #Conflicts: 303000 | #Constraints: 18795 173.34/173.91 c #Conflicts: 304000 | #Constraints: 19795 173.34/173.91 c #Conflicts: 305000 | #Constraints: 20795 173.34/173.91 c #Conflicts: 306000 | #Constraints: 21796 173.34/173.91 c #Conflicts: 307000 | #Constraints: 22796 173.34/173.91 c #Conflicts: 308000 | #Constraints: 23796 173.34/173.91 c #Conflicts: 309000 | #Constraints: 24796 173.34/173.91 c #Conflicts: 310000 | #Constraints: 25796 173.34/173.91 c INPROCESSING 173.34/173.91 c GARBAGE COLLECT 173.34/173.91 c rational objective 55 182.00/182.69 c #Conflicts: 311000 | #Constraints: 15062 182.00/182.69 c #Conflicts: 312000 | #Constraints: 16062 182.00/182.69 c #Conflicts: 313000 | #Constraints: 17062 182.00/182.69 c #Conflicts: 314000 | #Constraints: 18062 182.00/182.69 c #Conflicts: 315000 | #Constraints: 19062 182.00/182.69 c #Conflicts: 316000 | #Constraints: 20062 182.00/182.69 c #Conflicts: 317000 | #Constraints: 21062 182.00/182.69 c #Conflicts: 318000 | #Constraints: 22062 182.00/182.69 c #Conflicts: 319000 | #Constraints: 23076 182.00/182.69 c #Conflicts: 320000 | #Constraints: 24085 182.00/182.69 c #Conflicts: 321000 | #Constraints: 25092 182.00/182.69 c INPROCESSING 182.00/182.69 c GARBAGE COLLECT 182.00/182.69 c rational objective 55 190.68/191.39 c #Conflicts: 322000 | #Constraints: 14579 190.68/191.39 c #Conflicts: 323000 | #Constraints: 15579 190.68/191.39 c #Conflicts: 324000 | #Constraints: 16638 190.68/191.39 c #Conflicts: 325000 | #Constraints: 17646 190.68/191.39 c #Conflicts: 326000 | #Constraints: 18663 190.68/191.39 c #Conflicts: 327000 | #Constraints: 19671 190.68/191.39 c #Conflicts: 328000 | #Constraints: 20789 190.68/191.39 c #Conflicts: 329000 | #Constraints: 21790 190.68/191.39 c #Conflicts: 330000 | #Constraints: 22797 190.68/191.39 c #Conflicts: 331000 | #Constraints: 23828 190.68/191.39 c #Conflicts: 332000 | #Constraints: 24836 190.68/191.39 c #Conflicts: 333000 | #Constraints: 26020 190.68/191.39 c INPROCESSING 190.68/191.39 c GARBAGE COLLECT 190.68/191.39 c rational objective 55 199.94/200.62 c #Conflicts: 334000 | #Constraints: 15178 199.94/200.62 c #Conflicts: 335000 | #Constraints: 16178 199.94/200.62 c #Conflicts: 336000 | #Constraints: 17181 199.94/200.62 c #Conflicts: 337000 | #Constraints: 18286 199.94/200.62 c #Conflicts: 338000 | #Constraints: 19300 199.94/200.62 c #Conflicts: 339000 | #Constraints: 20331 199.94/200.62 c #Conflicts: 340000 | #Constraints: 21495 199.94/200.62 c #Conflicts: 341000 | #Constraints: 22506 199.94/200.62 c #Conflicts: 342000 | #Constraints: 23506 199.94/200.62 c #Conflicts: 343000 | #Constraints: 24512 199.94/200.62 c #Conflicts: 344000 | #Constraints: 25525 199.94/200.62 c #Conflicts: 345000 | #Constraints: 26528 199.94/200.62 c INPROCESSING 199.94/200.62 c GARBAGE COLLECT 199.94/200.62 c rational objective 55 211.70/212.43 c #Conflicts: 346000 | #Constraints: 15540 211.70/212.43 c #Conflicts: 347000 | #Constraints: 16898 211.70/212.43 c #Conflicts: 348000 | #Constraints: 18059 211.70/212.43 c #Conflicts: 349000 | #Constraints: 19635 211.70/212.43 c #Conflicts: 350000 | #Constraints: 21100 211.70/212.43 c #Conflicts: 351000 | #Constraints: 22418 211.70/212.43 c #Conflicts: 352000 | #Constraints: 23508 211.70/212.43 c #Conflicts: 353000 | #Constraints: 24553 211.70/212.43 c #Conflicts: 354000 | #Constraints: 25736 211.70/212.43 c #Conflicts: 355000 | #Constraints: 26737 211.70/212.43 c #Conflicts: 356000 | #Constraints: 27737 211.70/212.43 c #Conflicts: 357000 | #Constraints: 28853 211.70/212.43 c INPROCESSING 211.70/212.43 c GARBAGE COLLECT 211.70/212.43 c rational objective 55 221.57/222.31 c #Conflicts: 358000 | #Constraints: 16694 221.57/222.31 c #Conflicts: 359000 | #Constraints: 17694 221.57/222.31 c #Conflicts: 360000 | #Constraints: 18694 221.57/222.31 c #Conflicts: 361000 | #Constraints: 19705 221.57/222.31 c #Conflicts: 362000 | #Constraints: 20734 221.57/222.31 c #Conflicts: 363000 | #Constraints: 21751 221.57/222.31 c #Conflicts: 364000 | #Constraints: 22782 221.57/222.31 c #Conflicts: 365000 | #Constraints: 23813 221.57/222.31 c #Conflicts: 366000 | #Constraints: 24840 221.57/222.31 c #Conflicts: 367000 | #Constraints: 25908 221.57/222.31 c #Conflicts: 368000 | #Constraints: 26934 221.57/222.31 c #Conflicts: 369000 | #Constraints: 27970 221.57/222.31 c INPROCESSING 221.57/222.31 c GARBAGE COLLECT 221.57/222.31 c rational objective 55 232.44/233.24 c #Conflicts: 370000 | #Constraints: 16148 232.44/233.24 c #Conflicts: 371000 | #Constraints: 17148 232.44/233.24 c #Conflicts: 372000 | #Constraints: 18149 232.44/233.24 c #Conflicts: 373000 | #Constraints: 19150 232.44/233.24 c #Conflicts: 374000 | #Constraints: 20157 232.44/233.24 c #Conflicts: 375000 | #Constraints: 21217 232.44/233.24 c #Conflicts: 376000 | #Constraints: 22343 232.44/233.24 c #Conflicts: 377000 | #Constraints: 23978 232.44/233.24 c #Conflicts: 378000 | #Constraints: 25230 232.44/233.24 c #Conflicts: 379000 | #Constraints: 26231 232.44/233.24 c #Conflicts: 380000 | #Constraints: 27240 232.44/233.24 c #Conflicts: 381000 | #Constraints: 28247 232.44/233.24 c INPROCESSING 232.44/233.24 c GARBAGE COLLECT 232.44/233.24 c rational objective 55 242.60/243.41 c #Conflicts: 382000 | #Constraints: 16112 242.60/243.41 c #Conflicts: 383000 | #Constraints: 17112 242.60/243.41 c #Conflicts: 384000 | #Constraints: 18112 242.60/243.41 c #Conflicts: 385000 | #Constraints: 19112 242.60/243.41 c #Conflicts: 386000 | #Constraints: 20112 242.60/243.41 c #Conflicts: 387000 | #Constraints: 21113 242.60/243.41 c #Conflicts: 388000 | #Constraints: 22115 242.60/243.41 c #Conflicts: 389000 | #Constraints: 23117 242.60/243.41 c #Conflicts: 390000 | #Constraints: 24121 242.60/243.41 c #Conflicts: 391000 | #Constraints: 25121 242.60/243.41 c #Conflicts: 392000 | #Constraints: 26123 242.60/243.41 c #Conflicts: 393000 | #Constraints: 27124 242.60/243.41 c #Conflicts: 394000 | #Constraints: 28132 242.60/243.41 c INPROCESSING 242.60/243.41 c GARBAGE COLLECT 242.60/243.41 c rational objective 55 253.96/254.85 c #Conflicts: 395000 | #Constraints: 16248 253.96/254.85 c #Conflicts: 396000 | #Constraints: 17248 253.96/254.85 c #Conflicts: 397000 | #Constraints: 18248 253.96/254.85 c #Conflicts: 398000 | #Constraints: 19248 253.96/254.85 c #Conflicts: 399000 | #Constraints: 20248 253.96/254.85 c #Conflicts: 400000 | #Constraints: 21248 253.96/254.85 c #Conflicts: 401000 | #Constraints: 22248 253.96/254.85 c #Conflicts: 402000 | #Constraints: 23248 253.96/254.85 c #Conflicts: 403000 | #Constraints: 24248 253.96/254.85 c #Conflicts: 404000 | #Constraints: 25248 253.96/254.85 c #Conflicts: 405000 | #Constraints: 26248 253.96/254.85 c #Conflicts: 406000 | #Constraints: 27248 253.96/254.85 c #Conflicts: 407000 | #Constraints: 28248 253.96/254.85 c INPROCESSING 253.96/254.85 c GARBAGE COLLECT 253.96/254.85 c rational objective 55 264.92/265.81 c #Conflicts: 408000 | #Constraints: 16394 264.92/265.81 c #Conflicts: 409000 | #Constraints: 17395 264.92/265.81 c #Conflicts: 410000 | #Constraints: 18400 264.92/265.81 c #Conflicts: 411000 | #Constraints: 19412 264.92/265.81 c #Conflicts: 412000 | #Constraints: 20508 264.92/265.81 c #Conflicts: 413000 | #Constraints: 21513 264.92/265.81 c #Conflicts: 414000 | #Constraints: 22673 264.92/265.81 c #Conflicts: 415000 | #Constraints: 23677 264.92/265.81 c #Conflicts: 416000 | #Constraints: 24681 264.92/265.81 c #Conflicts: 417000 | #Constraints: 25682 264.92/265.81 c #Conflicts: 418000 | #Constraints: 26683 264.92/265.81 c #Conflicts: 419000 | #Constraints: 27686 264.92/265.81 c #Conflicts: 420000 | #Constraints: 28688 264.92/265.81 c INPROCESSING 264.92/265.81 c GARBAGE COLLECT 264.92/265.81 c rational objective 55 288.34/289.36 c #Conflicts: 421000 | #Constraints: 16611 288.34/289.36 c #Conflicts: 422000 | #Constraints: 17612 288.34/289.36 c #Conflicts: 423000 | #Constraints: 18612 288.34/289.36 c #Conflicts: 424000 | #Constraints: 19634 288.34/289.36 c #Conflicts: 425000 | #Constraints: 20634 288.34/289.36 c #Conflicts: 426000 | #Constraints: 21656 288.34/289.36 c #Conflicts: 427000 | #Constraints: 22666 288.34/289.36 c #Conflicts: 428000 | #Constraints: 23746 288.34/289.36 c #Conflicts: 429000 | #Constraints: 25184 288.34/289.36 c #Conflicts: 430000 | #Constraints: 26277 288.34/289.36 c #Conflicts: 431000 | #Constraints: 27295 288.34/289.36 c #Conflicts: 432000 | #Constraints: 28422 288.34/289.36 c #Conflicts: 433000 | #Constraints: 29459 288.34/289.36 c INPROCESSING 288.34/289.36 c GARBAGE COLLECT 288.34/289.36 c #Conflicts: 434000 | #Constraints: 16899 288.34/289.36 c #Conflicts: 435000 | #Constraints: 17899 288.34/289.36 c #Conflicts: 436000 | #Constraints: 18899 288.34/289.36 c #Conflicts: 437000 | #Constraints: 19899 288.34/289.36 c #Conflicts: 438000 | #Constraints: 20921 288.34/289.36 c #Conflicts: 439000 | #Constraints: 21928 288.34/289.36 c #Conflicts: 440000 | #Constraints: 22944 288.34/289.36 c #Conflicts: 441000 | #Constraints: 24032 288.34/289.36 c #Conflicts: 442000 | #Constraints: 25034 288.34/289.36 c #Conflicts: 443000 | #Constraints: 26056 288.34/289.36 c #Conflicts: 444000 | #Constraints: 27056 288.34/289.36 c #Conflicts: 445000 | #Constraints: 28056 288.34/289.36 c #Conflicts: 446000 | #Constraints: 29057 288.34/289.36 c INPROCESSING 288.34/289.36 c GARBAGE COLLECT 288.34/289.36 c rational objective 55 313.06/314.13 c #Conflicts: 447000 | #Constraints: 16505 313.06/314.13 c #Conflicts: 448000 | #Constraints: 17505 313.06/314.13 c #Conflicts: 449000 | #Constraints: 18505 313.06/314.13 c #Conflicts: 450000 | #Constraints: 19505 313.06/314.13 c #Conflicts: 451000 | #Constraints: 20505 313.06/314.13 c #Conflicts: 452000 | #Constraints: 21505 313.06/314.13 c #Conflicts: 453000 | #Constraints: 22505 313.06/314.13 c #Conflicts: 454000 | #Constraints: 23505 313.06/314.13 c #Conflicts: 455000 | #Constraints: 24584 313.06/314.13 c #Conflicts: 456000 | #Constraints: 25584 313.06/314.13 c #Conflicts: 457000 | #Constraints: 26908 313.06/314.13 c #Conflicts: 458000 | #Constraints: 28331 313.06/314.13 c #Conflicts: 459000 | #Constraints: 29333 313.06/314.13 c #Conflicts: 460000 | #Constraints: 30338 313.06/314.13 c INPROCESSING 313.06/314.13 c GARBAGE COLLECT 313.06/314.13 c #Conflicts: 461000 | #Constraints: 17347 313.06/314.13 c #Conflicts: 462000 | #Constraints: 18348 313.06/314.13 c #Conflicts: 463000 | #Constraints: 19365 313.06/314.13 c #Conflicts: 464000 | #Constraints: 20365 313.06/314.13 c #Conflicts: 465000 | #Constraints: 21365 313.06/314.13 c #Conflicts: 466000 | #Constraints: 22365 313.06/314.13 c #Conflicts: 467000 | #Constraints: 23365 313.06/314.13 c #Conflicts: 468000 | #Constraints: 24365 313.06/314.13 c #Conflicts: 469000 | #Constraints: 25377 313.06/314.13 c #Conflicts: 470000 | #Constraints: 26383 313.06/314.13 c #Conflicts: 471000 | #Constraints: 27388 313.06/314.13 c #Conflicts: 472000 | #Constraints: 28388 313.06/314.13 c #Conflicts: 473000 | #Constraints: 29390 313.06/314.13 c #Conflicts: 474000 | #Constraints: 30393 313.06/314.13 c INPROCESSING 313.06/314.13 c GARBAGE COLLECT 313.06/314.13 c rational objective 55 330.59/331.78 c #Conflicts: 475000 | #Constraints: 17477 330.59/331.78 c #Conflicts: 476000 | #Constraints: 18537 330.59/331.78 c #Conflicts: 477000 | #Constraints: 19710 330.59/331.78 c #Conflicts: 478000 | #Constraints: 20752 330.59/331.78 c #Conflicts: 479000 | #Constraints: 21897 330.59/331.78 c #Conflicts: 480000 | #Constraints: 23208 330.59/331.78 c #Conflicts: 481000 | #Constraints: 24811 330.59/331.78 c #Conflicts: 482000 | #Constraints: 26497 330.59/331.78 c #Conflicts: 483000 | #Constraints: 28206 330.59/331.78 c #Conflicts: 484000 | #Constraints: 29945 330.59/331.78 c #Conflicts: 485000 | #Constraints: 31667 330.59/331.78 c #Conflicts: 486000 | #Constraints: 33385 330.59/331.78 c #Conflicts: 487000 | #Constraints: 34563 330.59/331.78 c #Conflicts: 488000 | #Constraints: 36283 330.59/331.78 c INPROCESSING 330.59/331.78 c GARBAGE COLLECT 330.59/331.78 c rational objective 55 343.75/344.95 c #Conflicts: 489000 | #Constraints: 20421 343.75/344.95 c #Conflicts: 490000 | #Constraints: 21421 343.75/344.95 c #Conflicts: 491000 | #Constraints: 22421 343.75/344.95 c #Conflicts: 492000 | #Constraints: 23421 343.75/344.95 c #Conflicts: 493000 | #Constraints: 24422 343.75/344.95 c #Conflicts: 494000 | #Constraints: 25422 343.75/344.95 c #Conflicts: 495000 | #Constraints: 26461 343.75/344.95 c #Conflicts: 496000 | #Constraints: 27465 343.75/344.95 c #Conflicts: 497000 | #Constraints: 28466 343.75/344.95 c #Conflicts: 498000 | #Constraints: 29474 343.75/344.95 c #Conflicts: 499000 | #Constraints: 30475 343.75/344.95 c #Conflicts: 500000 | #Constraints: 31477 343.75/344.95 c #Conflicts: 501000 | #Constraints: 32496 343.75/344.95 c #Conflicts: 502000 | #Constraints: 33502 343.75/344.95 c INPROCESSING 343.75/344.95 c GARBAGE COLLECT 343.75/344.95 c rational objective 55 373.15/374.48 c #Conflicts: 503000 | #Constraints: 18921 373.15/374.48 c #Conflicts: 504000 | #Constraints: 19921 373.15/374.48 c #Conflicts: 505000 | #Constraints: 20921 373.15/374.48 c #Conflicts: 506000 | #Constraints: 21921 373.15/374.48 c #Conflicts: 507000 | #Constraints: 22921 373.15/374.48 c #Conflicts: 508000 | #Constraints: 23921 373.15/374.48 c #Conflicts: 509000 | #Constraints: 24934 373.15/374.48 c #Conflicts: 510000 | #Constraints: 25945 373.15/374.48 c #Conflicts: 511000 | #Constraints: 26965 373.15/374.48 c #Conflicts: 512000 | #Constraints: 28081 373.15/374.48 c #Conflicts: 513000 | #Constraints: 29083 373.15/374.48 c #Conflicts: 514000 | #Constraints: 30083 373.15/374.48 c #Conflicts: 515000 | #Constraints: 31088 373.15/374.48 c #Conflicts: 516000 | #Constraints: 32244 373.15/374.48 c INPROCESSING 373.15/374.48 c GARBAGE COLLECT 373.15/374.48 c #Conflicts: 517000 | #Constraints: 18120 373.15/374.48 c #Conflicts: 518000 | #Constraints: 19120 373.15/374.48 c #Conflicts: 519000 | #Constraints: 20120 373.15/374.48 c #Conflicts: 520000 | #Constraints: 21126 373.15/374.48 c #Conflicts: 521000 | #Constraints: 22132 373.15/374.48 c #Conflicts: 522000 | #Constraints: 23141 373.15/374.48 c #Conflicts: 523000 | #Constraints: 24144 373.15/374.48 c #Conflicts: 524000 | #Constraints: 25156 373.15/374.48 c #Conflicts: 525000 | #Constraints: 26156 373.15/374.48 c #Conflicts: 526000 | #Constraints: 27165 373.15/374.48 c #Conflicts: 527000 | #Constraints: 28169 373.15/374.48 c #Conflicts: 528000 | #Constraints: 29169 373.15/374.48 c #Conflicts: 529000 | #Constraints: 30169 373.15/374.48 c #Conflicts: 530000 | #Constraints: 31169 373.15/374.48 c #Conflicts: 531000 | #Constraints: 32185 373.15/374.48 c INPROCESSING 373.15/374.48 c GARBAGE COLLECT 373.15/374.48 c rational objective 55 390.39/391.80 c #Conflicts: 532000 | #Constraints: 18273 390.39/391.80 c #Conflicts: 533000 | #Constraints: 19280 390.39/391.80 c #Conflicts: 534000 | #Constraints: 20280 390.39/391.80 c #Conflicts: 535000 | #Constraints: 21280 390.39/391.80 c #Conflicts: 536000 | #Constraints: 22280 390.39/391.80 c #Conflicts: 537000 | #Constraints: 23280 390.39/391.80 c #Conflicts: 538000 | #Constraints: 24280 390.39/391.80 c #Conflicts: 539000 | #Constraints: 25280 390.39/391.80 c #Conflicts: 540000 | #Constraints: 26280 390.39/391.80 c #Conflicts: 541000 | #Constraints: 27280 390.39/391.80 c #Conflicts: 542000 | #Constraints: 28280 390.39/391.80 c #Conflicts: 543000 | #Constraints: 29280 390.39/391.80 c #Conflicts: 544000 | #Constraints: 30282 390.39/391.80 c #Conflicts: 545000 | #Constraints: 31282 390.39/391.80 c #Conflicts: 546000 | #Constraints: 32283 390.39/391.80 c INPROCESSING 390.39/391.80 c GARBAGE COLLECT 390.39/391.80 c rational objective 55 404.44/405.80 c #Conflicts: 547000 | #Constraints: 18430 404.44/405.80 c #Conflicts: 548000 | #Constraints: 19430 404.44/405.80 c #Conflicts: 549000 | #Constraints: 20430 404.44/405.80 c #Conflicts: 550000 | #Constraints: 21430 404.44/405.80 c #Conflicts: 551000 | #Constraints: 22430 404.44/405.80 c #Conflicts: 552000 | #Constraints: 23430 404.44/405.80 c #Conflicts: 553000 | #Constraints: 24430 404.44/405.80 c #Conflicts: 554000 | #Constraints: 25430 404.44/405.80 c #Conflicts: 555000 | #Constraints: 26430 404.44/405.80 c #Conflicts: 556000 | #Constraints: 27430 404.44/405.80 c #Conflicts: 557000 | #Constraints: 28430 404.44/405.80 c #Conflicts: 558000 | #Constraints: 29430 404.44/405.80 c #Conflicts: 559000 | #Constraints: 30430 404.44/405.80 c #Conflicts: 560000 | #Constraints: 31430 404.44/405.80 c #Conflicts: 561000 | #Constraints: 32430 404.44/405.80 c INPROCESSING 404.44/405.80 c GARBAGE COLLECT 404.44/405.80 c rational objective 55 424.77/426.27 c #Conflicts: 562000 | #Constraints: 18485 424.77/426.27 c #Conflicts: 563000 | #Constraints: 19485 424.77/426.27 c #Conflicts: 564000 | #Constraints: 20485 424.77/426.27 c #Conflicts: 565000 | #Constraints: 21485 424.77/426.27 c #Conflicts: 566000 | #Constraints: 22485 424.77/426.27 c #Conflicts: 567000 | #Constraints: 23485 424.77/426.27 c #Conflicts: 568000 | #Constraints: 24485 424.77/426.27 c #Conflicts: 569000 | #Constraints: 25485 424.77/426.27 c #Conflicts: 570000 | #Constraints: 26485 424.77/426.27 c #Conflicts: 571000 | #Constraints: 27485 424.77/426.27 c #Conflicts: 572000 | #Constraints: 28485 424.77/426.27 c #Conflicts: 573000 | #Constraints: 29485 424.77/426.27 c #Conflicts: 574000 | #Constraints: 30485 424.77/426.27 c #Conflicts: 575000 | #Constraints: 31485 424.77/426.27 c #Conflicts: 576000 | #Constraints: 32485 424.77/426.27 c INPROCESSING 424.77/426.27 c GARBAGE COLLECT 424.77/426.27 c rational objective 55 439.32/440.80 c #Conflicts: 577000 | #Constraints: 18431 439.32/440.80 c #Conflicts: 578000 | #Constraints: 19431 439.32/440.80 c #Conflicts: 579000 | #Constraints: 20431 439.32/440.80 c #Conflicts: 580000 | #Constraints: 21431 439.32/440.80 c #Conflicts: 581000 | #Constraints: 22431 439.32/440.80 c #Conflicts: 582000 | #Constraints: 23431 439.32/440.80 c #Conflicts: 583000 | #Constraints: 24431 439.32/440.80 c #Conflicts: 584000 | #Constraints: 25431 439.32/440.80 c #Conflicts: 585000 | #Constraints: 26431 439.32/440.80 c #Conflicts: 586000 | #Constraints: 27431 439.32/440.80 c #Conflicts: 587000 | #Constraints: 28431 439.32/440.80 c #Conflicts: 588000 | #Constraints: 29431 439.32/440.80 c #Conflicts: 589000 | #Constraints: 30431 439.32/440.80 c #Conflicts: 590000 | #Constraints: 31431 439.32/440.80 c #Conflicts: 591000 | #Constraints: 32431 439.32/440.80 c INPROCESSING 439.32/440.80 c GARBAGE COLLECT 439.32/440.80 c rational objective 55 453.87/455.41 c #Conflicts: 592000 | #Constraints: 18193 453.87/455.41 c #Conflicts: 593000 | #Constraints: 19194 453.87/455.41 c #Conflicts: 594000 | #Constraints: 20194 453.87/455.41 c #Conflicts: 595000 | #Constraints: 21196 453.87/455.41 c #Conflicts: 596000 | #Constraints: 22196 453.87/455.41 c #Conflicts: 597000 | #Constraints: 23197 453.87/455.41 c #Conflicts: 598000 | #Constraints: 24197 453.87/455.41 c #Conflicts: 599000 | #Constraints: 25198 453.87/455.41 c #Conflicts: 600000 | #Constraints: 26198 453.87/455.41 c #Conflicts: 601000 | #Constraints: 27198 453.87/455.41 c #Conflicts: 602000 | #Constraints: 28199 453.87/455.41 c #Conflicts: 603000 | #Constraints: 29199 453.87/455.41 c #Conflicts: 604000 | #Constraints: 30200 453.87/455.41 c #Conflicts: 605000 | #Constraints: 31200 453.87/455.41 c #Conflicts: 606000 | #Constraints: 32200 453.87/455.41 c #Conflicts: 607000 | #Constraints: 33200 453.87/455.41 c INPROCESSING 453.87/455.41 c GARBAGE COLLECT 453.87/455.41 c rational objective 55 489.65/491.34 c #Conflicts: 608000 | #Constraints: 18768 489.65/491.34 c #Conflicts: 609000 | #Constraints: 19770 489.65/491.34 c #Conflicts: 610000 | #Constraints: 20775 489.65/491.34 c #Conflicts: 611000 | #Constraints: 21777 489.65/491.34 c #Conflicts: 612000 | #Constraints: 22777 489.65/491.34 c #Conflicts: 613000 | #Constraints: 23778 489.65/491.34 c #Conflicts: 614000 | #Constraints: 24787 489.65/491.34 c #Conflicts: 615000 | #Constraints: 25798 489.65/491.34 c #Conflicts: 616000 | #Constraints: 26803 489.65/491.34 c #Conflicts: 617000 | #Constraints: 27803 489.65/491.34 c #Conflicts: 618000 | #Constraints: 28803 489.65/491.34 c #Conflicts: 619000 | #Constraints: 29809 489.65/491.34 c #Conflicts: 620000 | #Constraints: 30809 489.65/491.34 c #Conflicts: 621000 | #Constraints: 31816 489.65/491.34 c #Conflicts: 622000 | #Constraints: 32816 489.65/491.34 c #Conflicts: 623000 | #Constraints: 33820 489.65/491.34 c INPROCESSING 489.65/491.34 c GARBAGE COLLECT 489.65/491.34 c #Conflicts: 624000 | #Constraints: 19191 489.65/491.34 c #Conflicts: 625000 | #Constraints: 20195 489.65/491.34 c #Conflicts: 626000 | #Constraints: 21199 489.65/491.34 c #Conflicts: 627000 | #Constraints: 22200 489.65/491.34 c #Conflicts: 628000 | #Constraints: 23203 489.65/491.34 c #Conflicts: 629000 | #Constraints: 24209 489.65/491.34 c #Conflicts: 630000 | #Constraints: 25217 489.65/491.34 c #Conflicts: 631000 | #Constraints: 26217 489.65/491.34 c #Conflicts: 632000 | #Constraints: 27219 489.65/491.34 c #Conflicts: 633000 | #Constraints: 28220 489.65/491.34 c #Conflicts: 634000 | #Constraints: 29238 489.65/491.34 c #Conflicts: 635000 | #Constraints: 30240 489.65/491.34 c #Conflicts: 636000 | #Constraints: 31242 489.65/491.34 c #Conflicts: 637000 | #Constraints: 32243 489.65/491.34 c #Conflicts: 638000 | #Constraints: 33245 489.65/491.34 c #Conflicts: 639000 | #Constraints: 34257 489.65/491.34 c INPROCESSING 489.65/491.34 c GARBAGE COLLECT 489.65/491.34 c rational objective 55 527.62/529.45 c #Conflicts: 640000 | #Constraints: 19416 527.62/529.45 c #Conflicts: 641000 | #Constraints: 20417 527.62/529.45 c #Conflicts: 642000 | #Constraints: 21419 527.62/529.45 c #Conflicts: 643000 | #Constraints: 22420 527.62/529.45 c #Conflicts: 644000 | #Constraints: 23420 527.62/529.45 c #Conflicts: 645000 | #Constraints: 24421 527.62/529.45 c #Conflicts: 646000 | #Constraints: 25421 527.62/529.45 c #Conflicts: 647000 | #Constraints: 26421 527.62/529.45 c #Conflicts: 648000 | #Constraints: 27428 527.62/529.45 c #Conflicts: 649000 | #Constraints: 28430 527.62/529.45 c #Conflicts: 650000 | #Constraints: 29430 527.62/529.45 c #Conflicts: 651000 | #Constraints: 30431 527.62/529.45 c #Conflicts: 652000 | #Constraints: 31439 527.62/529.45 c #Conflicts: 653000 | #Constraints: 32441 527.62/529.45 c #Conflicts: 654000 | #Constraints: 33441 527.62/529.45 c #Conflicts: 655000 | #Constraints: 34441 527.62/529.45 c INPROCESSING 527.62/529.45 c GARBAGE COLLECT 527.62/529.45 c #Conflicts: 656000 | #Constraints: 19418 527.62/529.45 c #Conflicts: 657000 | #Constraints: 20418 527.62/529.45 c #Conflicts: 658000 | #Constraints: 21419 527.62/529.45 c #Conflicts: 659000 | #Constraints: 22425 527.62/529.45 c #Conflicts: 660000 | #Constraints: 23427 527.62/529.45 c #Conflicts: 661000 | #Constraints: 24427 527.62/529.45 c #Conflicts: 662000 | #Constraints: 25428 527.62/529.45 c #Conflicts: 663000 | #Constraints: 26429 527.62/529.45 c #Conflicts: 664000 | #Constraints: 27431 527.62/529.45 c #Conflicts: 665000 | #Constraints: 28431 527.62/529.45 c #Conflicts: 666000 | #Constraints: 29437 527.62/529.45 c #Conflicts: 667000 | #Constraints: 30441 527.62/529.45 c #Conflicts: 668000 | #Constraints: 31444 527.62/529.45 c #Conflicts: 669000 | #Constraints: 32449 527.62/529.45 c #Conflicts: 670000 | #Constraints: 33451 527.62/529.45 c #Conflicts: 671000 | #Constraints: 34451 527.62/529.45 c INPROCESSING 527.62/529.45 c GARBAGE COLLECT 527.62/529.45 c rational objective 55 553.83/555.74 c #Conflicts: 672000 | #Constraints: 19205 553.83/555.74 c #Conflicts: 673000 | #Constraints: 20346 553.83/555.74 c #Conflicts: 674000 | #Constraints: 21558 553.83/555.74 c #Conflicts: 675000 | #Constraints: 22568 553.83/555.74 c #Conflicts: 676000 | #Constraints: 23581 553.83/555.74 c #Conflicts: 677000 | #Constraints: 24582 553.83/555.74 c #Conflicts: 678000 | #Constraints: 25584 553.83/555.74 c #Conflicts: 679000 | #Constraints: 26590 553.83/555.74 c #Conflicts: 680000 | #Constraints: 27607 553.83/555.74 c #Conflicts: 681000 | #Constraints: 28609 553.83/555.74 c #Conflicts: 682000 | #Constraints: 29609 553.83/555.74 c #Conflicts: 683000 | #Constraints: 30618 553.83/555.74 c #Conflicts: 684000 | #Constraints: 31723 553.83/555.74 c #Conflicts: 685000 | #Constraints: 32849 553.83/555.74 c #Conflicts: 686000 | #Constraints: 34139 553.83/555.74 c #Conflicts: 687000 | #Constraints: 35199 553.83/555.74 c #Conflicts: 688000 | #Constraints: 36203 553.83/555.74 c INPROCESSING 553.83/555.74 c GARBAGE COLLECT 553.83/555.74 c rational objective 55 571.37/573.33 c #Conflicts: 689000 | #Constraints: 20307 571.37/573.33 c #Conflicts: 690000 | #Constraints: 21307 571.37/573.33 c #Conflicts: 691000 | #Constraints: 22307 571.37/573.33 c #Conflicts: 692000 | #Constraints: 23307 571.37/573.33 c #Conflicts: 693000 | #Constraints: 24307 571.37/573.33 c #Conflicts: 694000 | #Constraints: 25307 571.37/573.33 c #Conflicts: 695000 | #Constraints: 26307 571.37/573.33 c #Conflicts: 696000 | #Constraints: 27307 571.37/573.33 c #Conflicts: 697000 | #Constraints: 28307 571.37/573.33 c #Conflicts: 698000 | #Constraints: 29307 571.37/573.33 c #Conflicts: 699000 | #Constraints: 30307 571.37/573.33 c #Conflicts: 700000 | #Constraints: 31307 571.37/573.33 c #Conflicts: 701000 | #Constraints: 32307 571.37/573.33 c #Conflicts: 702000 | #Constraints: 33307 571.37/573.33 c #Conflicts: 703000 | #Constraints: 34307 571.37/573.33 c #Conflicts: 704000 | #Constraints: 35307 571.37/573.33 c #Conflicts: 705000 | #Constraints: 36307 571.37/573.33 c INPROCESSING 571.37/573.33 c GARBAGE COLLECT 571.37/573.33 c rational objective 55 588.82/590.85 c #Conflicts: 706000 | #Constraints: 20430 588.82/590.85 c #Conflicts: 707000 | #Constraints: 21432 588.82/590.85 c #Conflicts: 708000 | #Constraints: 22432 588.82/590.85 c #Conflicts: 709000 | #Constraints: 23432 588.82/590.85 c #Conflicts: 710000 | #Constraints: 24433 588.82/590.85 c #Conflicts: 711000 | #Constraints: 25435 588.82/590.85 c #Conflicts: 712000 | #Constraints: 26435 588.82/590.85 c #Conflicts: 713000 | #Constraints: 27435 588.82/590.85 c #Conflicts: 714000 | #Constraints: 28436 588.82/590.85 c #Conflicts: 715000 | #Constraints: 29436 588.82/590.85 c #Conflicts: 716000 | #Constraints: 30437 588.82/590.85 c #Conflicts: 717000 | #Constraints: 31437 588.82/590.85 c #Conflicts: 718000 | #Constraints: 32437 588.82/590.85 c #Conflicts: 719000 | #Constraints: 33437 588.82/590.85 c #Conflicts: 720000 | #Constraints: 34440 588.82/590.85 c #Conflicts: 721000 | #Constraints: 35440 588.82/590.85 c #Conflicts: 722000 | #Constraints: 36440 588.82/590.85 c INPROCESSING 588.82/590.85 c GARBAGE COLLECT 588.82/590.85 c rational objective 55 614.82/616.91 c #Conflicts: 723000 | #Constraints: 20506 614.82/616.91 c #Conflicts: 724000 | #Constraints: 21552 614.82/616.91 c #Conflicts: 725000 | #Constraints: 22922 614.82/616.91 c #Conflicts: 726000 | #Constraints: 24354 614.82/616.91 c #Conflicts: 727000 | #Constraints: 25913 614.82/616.91 c #Conflicts: 728000 | #Constraints: 27287 614.82/616.91 c #Conflicts: 729000 | #Constraints: 28287 614.82/616.91 c #Conflicts: 730000 | #Constraints: 29287 614.82/616.91 c #Conflicts: 731000 | #Constraints: 30288 614.82/616.91 c #Conflicts: 732000 | #Constraints: 31323 614.82/616.91 c #Conflicts: 733000 | #Constraints: 32685 614.82/616.91 c #Conflicts: 734000 | #Constraints: 33748 614.82/616.91 c #Conflicts: 735000 | #Constraints: 34822 614.82/616.91 c #Conflicts: 736000 | #Constraints: 36059 614.82/616.91 WSVECS04 Frhs2[74]: 6 -8.00005 0 shouldn't be 619.31/621.43 c #Conflicts: 737000 | #Constraints: 37297 619.31/621.43 c #Conflicts: 738000 | #Constraints: 38297 619.31/621.43 c #Conflicts: 739000 | #Constraints: 39301 619.31/621.43 c INPROCESSING 619.31/621.43 c GARBAGE COLLECT 619.31/621.43 c rational objective 55 638.25/640.49 c #Conflicts: 740000 | #Constraints: 21844 638.25/640.49 c #Conflicts: 741000 | #Constraints: 22844 638.25/640.49 c #Conflicts: 742000 | #Constraints: 23845 638.25/640.49 c #Conflicts: 743000 | #Constraints: 24845 638.25/640.49 c #Conflicts: 744000 | #Constraints: 25848 638.25/640.49 c #Conflicts: 745000 | #Constraints: 26895 638.25/640.49 c #Conflicts: 746000 | #Constraints: 27895 638.25/640.49 c #Conflicts: 747000 | #Constraints: 28896 638.25/640.49 c #Conflicts: 748000 | #Constraints: 29899 638.25/640.49 c #Conflicts: 749000 | #Constraints: 30900 638.25/640.49 c #Conflicts: 750000 | #Constraints: 31901 638.25/640.49 c #Conflicts: 751000 | #Constraints: 32905 638.25/640.49 c #Conflicts: 752000 | #Constraints: 33908 638.25/640.49 c #Conflicts: 753000 | #Constraints: 34911 638.25/640.49 c #Conflicts: 754000 | #Constraints: 35913 638.25/640.49 c #Conflicts: 755000 | #Constraints: 36916 638.25/640.49 c #Conflicts: 756000 | #Constraints: 37919 638.25/640.49 c INPROCESSING 638.25/640.49 c GARBAGE COLLECT 638.25/640.49 c rational objective 55 668.74/671.08 c #Conflicts: 757000 | #Constraints: 20955 668.74/671.08 c #Conflicts: 758000 | #Constraints: 21955 668.74/671.08 c #Conflicts: 759000 | #Constraints: 22955 668.74/671.08 c #Conflicts: 760000 | #Constraints: 23955 668.74/671.08 c #Conflicts: 761000 | #Constraints: 24955 668.74/671.08 c #Conflicts: 762000 | #Constraints: 25955 668.74/671.08 c #Conflicts: 763000 | #Constraints: 26955 668.74/671.08 c #Conflicts: 764000 | #Constraints: 27955 668.74/671.08 c #Conflicts: 765000 | #Constraints: 28955 668.74/671.08 c #Conflicts: 766000 | #Constraints: 29955 668.74/671.08 c #Conflicts: 767000 | #Constraints: 30955 668.74/671.08 c #Conflicts: 768000 | #Constraints: 31955 668.74/671.08 c #Conflicts: 769000 | #Constraints: 32955 668.74/671.08 c #Conflicts: 770000 | #Constraints: 33955 668.74/671.08 c #Conflicts: 771000 | #Constraints: 34955 668.74/671.08 c #Conflicts: 772000 | #Constraints: 35955 668.74/671.08 c #Conflicts: 773000 | #Constraints: 36955 668.74/671.08 c #Conflicts: 774000 | #Constraints: 37955 668.74/671.08 c INPROCESSING 668.74/671.08 c GARBAGE COLLECT 668.74/671.08 c rational objective 55 689.68/692.01 c #Conflicts: 775000 | #Constraints: 21166 689.68/692.01 c #Conflicts: 776000 | #Constraints: 22168 689.68/692.01 c #Conflicts: 777000 | #Constraints: 23169 689.68/692.01 c #Conflicts: 778000 | #Constraints: 24183 689.68/692.01 c #Conflicts: 779000 | #Constraints: 25184 689.68/692.01 c #Conflicts: 780000 | #Constraints: 26187 689.68/692.01 c #Conflicts: 781000 | #Constraints: 27197 689.68/692.01 c #Conflicts: 782000 | #Constraints: 28197 689.68/692.01 c #Conflicts: 783000 | #Constraints: 29200 689.68/692.01 c #Conflicts: 784000 | #Constraints: 30200 689.68/692.01 c #Conflicts: 785000 | #Constraints: 31200 689.68/692.01 c #Conflicts: 786000 | #Constraints: 32200 689.68/692.01 c #Conflicts: 787000 | #Constraints: 33200 689.68/692.01 c #Conflicts: 788000 | #Constraints: 34200 689.68/692.01 c #Conflicts: 789000 | #Constraints: 35200 689.68/692.01 c #Conflicts: 790000 | #Constraints: 36200 689.68/692.01 c #Conflicts: 791000 | #Constraints: 37207 689.68/692.01 c #Conflicts: 792000 | #Constraints: 38207 689.68/692.01 c INPROCESSING 689.68/692.01 c GARBAGE COLLECT 689.68/692.01 c rational objective 55 710.61/713.01 c #Conflicts: 793000 | #Constraints: 21395 710.61/713.01 c #Conflicts: 794000 | #Constraints: 22395 710.61/713.01 c #Conflicts: 795000 | #Constraints: 23395 710.61/713.01 c #Conflicts: 796000 | #Constraints: 24411 710.61/713.01 c #Conflicts: 797000 | #Constraints: 25435 710.61/713.01 c #Conflicts: 798000 | #Constraints: 26437 710.61/713.01 c #Conflicts: 799000 | #Constraints: 27478 710.61/713.01 c #Conflicts: 800000 | #Constraints: 28479 710.61/713.01 c #Conflicts: 801000 | #Constraints: 29488 710.61/713.01 c #Conflicts: 802000 | #Constraints: 30490 710.61/713.01 c #Conflicts: 803000 | #Constraints: 31496 710.61/713.01 c #Conflicts: 804000 | #Constraints: 32507 710.61/713.01 c #Conflicts: 805000 | #Constraints: 33511 710.61/713.01 c #Conflicts: 806000 | #Constraints: 34516 710.61/713.01 c #Conflicts: 807000 | #Constraints: 35536 710.61/713.01 c #Conflicts: 808000 | #Constraints: 36540 710.61/713.01 c #Conflicts: 809000 | #Constraints: 37552 710.61/713.01 c #Conflicts: 810000 | #Constraints: 38556 710.61/713.01 c INPROCESSING 710.61/713.01 c GARBAGE COLLECT 710.61/713.01 c rational objective 55 744.79/747.33 c #Conflicts: 811000 | #Constraints: 21569 744.79/747.33 c #Conflicts: 812000 | #Constraints: 22579 744.79/747.33 c #Conflicts: 813000 | #Constraints: 23579 744.79/747.33 c #Conflicts: 814000 | #Constraints: 24596 744.79/747.33 c #Conflicts: 815000 | #Constraints: 25596 744.79/747.33 c #Conflicts: 816000 | #Constraints: 26597 744.79/747.33 c #Conflicts: 817000 | #Constraints: 27597 744.79/747.33 c #Conflicts: 818000 | #Constraints: 28609 744.79/747.33 c #Conflicts: 819000 | #Constraints: 29612 744.79/747.33 c #Conflicts: 820000 | #Constraints: 30614 744.79/747.33 c #Conflicts: 821000 | #Constraints: 31637 744.79/747.33 c #Conflicts: 822000 | #Constraints: 32638 744.79/747.33 c #Conflicts: 823000 | #Constraints: 33642 744.79/747.33 c #Conflicts: 824000 | #Constraints: 34660 744.79/747.33 c #Conflicts: 825000 | #Constraints: 35666 744.79/747.33 c #Conflicts: 826000 | #Constraints: 36671 744.79/747.33 c #Conflicts: 827000 | #Constraints: 37676 744.79/747.33 c #Conflicts: 828000 | #Constraints: 38676 744.79/747.33 c INPROCESSING 744.79/747.33 c GARBAGE COLLECT 744.79/747.33 c rational objective 55 766.01/768.60 c #Conflicts: 829000 | #Constraints: 21539 766.01/768.60 c #Conflicts: 830000 | #Constraints: 22539 766.01/768.60 c #Conflicts: 831000 | #Constraints: 23542 766.01/768.60 c #Conflicts: 832000 | #Constraints: 24548 766.01/768.60 c #Conflicts: 833000 | #Constraints: 25559 766.01/768.60 c #Conflicts: 834000 | #Constraints: 26562 766.01/768.60 c #Conflicts: 835000 | #Constraints: 27562 766.01/768.60 c #Conflicts: 836000 | #Constraints: 28565 766.01/768.60 c #Conflicts: 837000 | #Constraints: 29582 766.01/768.60 c #Conflicts: 838000 | #Constraints: 30583 766.01/768.60 c #Conflicts: 839000 | #Constraints: 31583 766.01/768.60 c #Conflicts: 840000 | #Constraints: 32587 766.01/768.60 c #Conflicts: 841000 | #Constraints: 33588 766.01/768.60 c #Conflicts: 842000 | #Constraints: 34591 766.01/768.60 c #Conflicts: 843000 | #Constraints: 35608 766.01/768.60 c #Conflicts: 844000 | #Constraints: 36611 766.01/768.60 c #Conflicts: 845000 | #Constraints: 37618 766.01/768.60 c #Conflicts: 846000 | #Constraints: 38634 766.01/768.60 c INPROCESSING 766.01/768.60 c GARBAGE COLLECT 766.01/768.60 c rational objective 55 801.59/804.31 c #Conflicts: 847000 | #Constraints: 21295 801.59/804.31 c #Conflicts: 848000 | #Constraints: 22295 801.59/804.31 c #Conflicts: 849000 | #Constraints: 23295 801.59/804.31 c #Conflicts: 850000 | #Constraints: 24295 801.59/804.31 c #Conflicts: 851000 | #Constraints: 25295 801.59/804.31 c #Conflicts: 852000 | #Constraints: 26295 801.59/804.31 c #Conflicts: 853000 | #Constraints: 27295 801.59/804.31 c #Conflicts: 854000 | #Constraints: 28295 801.59/804.31 c #Conflicts: 855000 | #Constraints: 29295 801.59/804.31 c #Conflicts: 856000 | #Constraints: 30295 801.59/804.31 c #Conflicts: 857000 | #Constraints: 31295 801.59/804.31 c #Conflicts: 858000 | #Constraints: 32295 801.59/804.31 c #Conflicts: 859000 | #Constraints: 33295 801.59/804.31 c #Conflicts: 860000 | #Constraints: 34295 801.59/804.31 c #Conflicts: 861000 | #Constraints: 35295 801.59/804.31 c #Conflicts: 862000 | #Constraints: 36295 801.59/804.31 c #Conflicts: 863000 | #Constraints: 37295 801.59/804.31 c #Conflicts: 864000 | #Constraints: 38295 801.59/804.31 c #Conflicts: 865000 | #Constraints: 39295 801.59/804.31 c INPROCESSING 801.59/804.31 c GARBAGE COLLECT 801.59/804.31 c rational objective 55 824.12/826.92 c #Conflicts: 866000 | #Constraints: 21828 824.12/826.92 c #Conflicts: 867000 | #Constraints: 22837 824.12/826.92 c #Conflicts: 868000 | #Constraints: 23839 824.12/826.92 c #Conflicts: 869000 | #Constraints: 24844 824.12/826.92 c #Conflicts: 870000 | #Constraints: 25865 824.12/826.92 c #Conflicts: 871000 | #Constraints: 26877 824.12/826.92 c #Conflicts: 872000 | #Constraints: 27879 824.12/826.92 c #Conflicts: 873000 | #Constraints: 28883 824.12/826.92 c #Conflicts: 874000 | #Constraints: 29886 824.12/826.92 c #Conflicts: 875000 | #Constraints: 30888 824.12/826.92 c #Conflicts: 876000 | #Constraints: 31889 824.12/826.92 c #Conflicts: 877000 | #Constraints: 32907 824.12/826.92 c #Conflicts: 878000 | #Constraints: 33914 824.12/826.92 c #Conflicts: 879000 | #Constraints: 34917 824.12/826.92 c #Conflicts: 880000 | #Constraints: 35917 824.12/826.92 c #Conflicts: 881000 | #Constraints: 36920 824.12/826.92 c #Conflicts: 882000 | #Constraints: 37932 824.12/826.92 c #Conflicts: 883000 | #Constraints: 38938 824.12/826.92 c #Conflicts: 884000 | #Constraints: 39945 824.12/826.92 c INPROCESSING 824.12/826.92 c GARBAGE COLLECT 824.12/826.92 c rational objective 55 846.54/849.43 c #Conflicts: 885000 | #Constraints: 22261 846.54/849.43 c #Conflicts: 886000 | #Constraints: 23261 846.54/849.43 c #Conflicts: 887000 | #Constraints: 24261 846.54/849.43 c #Conflicts: 888000 | #Constraints: 25261 846.54/849.43 c #Conflicts: 889000 | #Constraints: 26261 846.54/849.43 c #Conflicts: 890000 | #Constraints: 27261 846.54/849.43 c #Conflicts: 891000 | #Constraints: 28261 846.54/849.43 c #Conflicts: 892000 | #Constraints: 29261 846.54/849.43 c #Conflicts: 893000 | #Constraints: 30261 846.54/849.43 c #Conflicts: 894000 | #Constraints: 31261 846.54/849.43 c #Conflicts: 895000 | #Constraints: 32261 846.54/849.43 c #Conflicts: 896000 | #Constraints: 33261 846.54/849.43 c #Conflicts: 897000 | #Constraints: 34261 846.54/849.43 c #Conflicts: 898000 | #Constraints: 35261 846.54/849.43 c #Conflicts: 899000 | #Constraints: 36261 846.54/849.43 c #Conflicts: 900000 | #Constraints: 37261 846.54/849.43 c #Conflicts: 901000 | #Constraints: 38261 846.54/849.43 c #Conflicts: 902000 | #Constraints: 39261 846.54/849.43 c #Conflicts: 903000 | #Constraints: 40261 846.54/849.43 c INPROCESSING 846.54/849.43 c GARBAGE COLLECT 846.54/849.43 c rational objective 55 892.19/895.21 c #Conflicts: 904000 | #Constraints: 22415 892.19/895.21 c #Conflicts: 905000 | #Constraints: 23415 892.19/895.21 c #Conflicts: 906000 | #Constraints: 24415 892.19/895.21 c #Conflicts: 907000 | #Constraints: 25415 892.19/895.21 c #Conflicts: 908000 | #Constraints: 26415 892.19/895.21 c #Conflicts: 909000 | #Constraints: 27415 892.19/895.21 c #Conflicts: 910000 | #Constraints: 28415 892.19/895.21 c #Conflicts: 911000 | #Constraints: 29415 892.19/895.21 c #Conflicts: 912000 | #Constraints: 30415 892.19/895.21 c #Conflicts: 913000 | #Constraints: 31415 892.19/895.21 c #Conflicts: 914000 | #Constraints: 32415 892.19/895.21 c #Conflicts: 915000 | #Constraints: 33415 892.19/895.21 c #Conflicts: 916000 | #Constraints: 34415 892.19/895.21 c #Conflicts: 917000 | #Constraints: 35415 892.19/895.21 c #Conflicts: 918000 | #Constraints: 36415 892.19/895.21 c #Conflicts: 919000 | #Constraints: 37415 892.19/895.21 c #Conflicts: 920000 | #Constraints: 38415 892.19/895.21 c #Conflicts: 921000 | #Constraints: 39415 892.19/895.21 c #Conflicts: 922000 | #Constraints: 40415 892.19/895.21 c INPROCESSING 892.19/895.21 c GARBAGE COLLECT 892.19/895.21 c rational objective 55 915.91/919.02 c #Conflicts: 923000 | #Constraints: 22395 915.91/919.02 c #Conflicts: 924000 | #Constraints: 23397 915.91/919.02 c #Conflicts: 925000 | #Constraints: 24397 915.91/919.02 c #Conflicts: 926000 | #Constraints: 25397 915.91/919.02 c #Conflicts: 927000 | #Constraints: 26397 915.91/919.02 c #Conflicts: 928000 | #Constraints: 27397 915.91/919.02 c #Conflicts: 929000 | #Constraints: 28401 915.91/919.02 c #Conflicts: 930000 | #Constraints: 29547 915.91/919.02 c #Conflicts: 931000 | #Constraints: 30547 915.91/919.02 c #Conflicts: 932000 | #Constraints: 31547 915.91/919.02 c #Conflicts: 933000 | #Constraints: 32547 915.91/919.02 c #Conflicts: 934000 | #Constraints: 33547 915.91/919.02 c #Conflicts: 935000 | #Constraints: 34560 915.91/919.02 c #Conflicts: 936000 | #Constraints: 35560 915.91/919.02 c #Conflicts: 937000 | #Constraints: 36560 915.91/919.02 c #Conflicts: 938000 | #Constraints: 37562 915.91/919.02 c #Conflicts: 939000 | #Constraints: 38569 915.91/919.02 c #Conflicts: 940000 | #Constraints: 39583 915.91/919.02 c #Conflicts: 941000 | #Constraints: 40583 915.91/919.02 c INPROCESSING 915.91/919.02 c GARBAGE COLLECT 915.91/919.02 c rational objective 55 975.79/979.15 c #Conflicts: 942000 | #Constraints: 22261 975.79/979.15 c #Conflicts: 943000 | #Constraints: 23261 975.79/979.15 c #Conflicts: 944000 | #Constraints: 24261 975.79/979.15 c #Conflicts: 945000 | #Constraints: 25261 975.79/979.15 c #Conflicts: 946000 | #Constraints: 26261 975.79/979.15 c #Conflicts: 947000 | #Constraints: 27261 975.79/979.15 c #Conflicts: 948000 | #Constraints: 28261 975.79/979.15 c #Conflicts: 949000 | #Constraints: 29261 975.79/979.15 c #Conflicts: 950000 | #Constraints: 30261 975.79/979.15 c #Conflicts: 951000 | #Constraints: 31261 975.79/979.15 c #Conflicts: 952000 | #Constraints: 32261 975.79/979.15 c #Conflicts: 953000 | #Constraints: 33261 975.79/979.15 c #Conflicts: 954000 | #Constraints: 34261 975.79/979.15 c #Conflicts: 955000 | #Constraints: 35261 975.79/979.15 c #Conflicts: 956000 | #Constraints: 36261 975.79/979.15 c #Conflicts: 957000 | #Constraints: 37261 975.79/979.15 c #Conflicts: 958000 | #Constraints: 38261 975.79/979.15 c #Conflicts: 959000 | #Constraints: 39261 975.79/979.15 c #Conflicts: 960000 | #Constraints: 40261 975.79/979.15 c #Conflicts: 961000 | #Constraints: 41261 975.79/979.15 c INPROCESSING 975.79/979.15 c GARBAGE COLLECT 975.79/979.15 c rational objective 55 1004.29/1007.75 c #Conflicts: 962000 | #Constraints: 22836 1004.29/1007.75 c #Conflicts: 963000 | #Constraints: 23837 1004.29/1007.75 c #Conflicts: 964000 | #Constraints: 24838 1004.29/1007.75 c #Conflicts: 965000 | #Constraints: 25838 1004.29/1007.75 c #Conflicts: 966000 | #Constraints: 26843 1004.29/1007.75 c #Conflicts: 967000 | #Constraints: 27844 1004.29/1007.75 c #Conflicts: 968000 | #Constraints: 28844 1004.29/1007.75 c #Conflicts: 969000 | #Constraints: 29847 1004.29/1007.75 c #Conflicts: 970000 | #Constraints: 30858 1004.29/1007.75 c #Conflicts: 971000 | #Constraints: 31859 1004.29/1007.75 c #Conflicts: 972000 | #Constraints: 32861 1004.29/1007.75 c #Conflicts: 973000 | #Constraints: 33867 1004.29/1007.75 c #Conflicts: 974000 | #Constraints: 34871 1004.29/1007.75 c #Conflicts: 975000 | #Constraints: 35876 1004.29/1007.75 c #Conflicts: 976000 | #Constraints: 36879 1004.29/1007.75 c #Conflicts: 977000 | #Constraints: 37879 1004.29/1007.75 c #Conflicts: 978000 | #Constraints: 38880 1004.29/1007.75 c #Conflicts: 979000 | #Constraints: 39880 1004.29/1007.75 c #Conflicts: 980000 | #Constraints: 40898 1004.29/1007.75 c #Conflicts: 981000 | #Constraints: 41902 1004.29/1007.75 c INPROCESSING 1004.29/1007.75 c GARBAGE COLLECT 1004.29/1007.75 c rational objective 55 1031.10/1034.69 c #Conflicts: 982000 | #Constraints: 23242 1031.10/1034.69 c #Conflicts: 983000 | #Constraints: 24242 1031.10/1034.69 c #Conflicts: 984000 | #Constraints: 25242 1031.10/1034.69 c #Conflicts: 985000 | #Constraints: 26242 1031.10/1034.69 c #Conflicts: 986000 | #Constraints: 27243 1031.10/1034.69 c #Conflicts: 987000 | #Constraints: 28250 1031.10/1034.69 c #Conflicts: 988000 | #Constraints: 29250 1031.10/1034.69 c #Conflicts: 989000 | #Constraints: 30250 1031.10/1034.69 c #Conflicts: 990000 | #Constraints: 31250 1031.10/1034.69 c #Conflicts: 991000 | #Constraints: 32250 1031.10/1034.69 c #Conflicts: 992000 | #Constraints: 33250 1031.10/1034.69 c #Conflicts: 993000 | #Constraints: 34250 1031.10/1034.69 c #Conflicts: 994000 | #Constraints: 35250 1031.10/1034.69 c #Conflicts: 995000 | #Constraints: 36250 1031.10/1034.69 c #Conflicts: 996000 | #Constraints: 37250 1031.10/1034.69 c #Conflicts: 997000 | #Constraints: 38250 1031.10/1034.69 c #Conflicts: 998000 | #Constraints: 39250 1031.10/1034.69 c #Conflicts: 999000 | #Constraints: 40250 1031.10/1034.69 c #Conflicts: 1000000 | #Constraints: 41250 1031.10/1034.69 c #Conflicts: 1001000 | #Constraints: 42250 1031.10/1034.69 c INPROCESSING 1031.10/1034.69 c GARBAGE COLLECT 1031.10/1034.69 c rational objective 55 1048.13/1051.71 c #Conflicts: 1002000 | #Constraints: 23414 1048.13/1051.71 c #Conflicts: 1003000 | #Constraints: 24559 1048.13/1051.71 c #Conflicts: 1004000 | #Constraints: 25636 1048.13/1051.71 c #Conflicts: 1005000 | #Constraints: 27186 1048.13/1051.71 c #Conflicts: 1006000 | #Constraints: 28350 1048.13/1051.71 c #Conflicts: 1007000 | #Constraints: 29351 1048.13/1051.71 c #Conflicts: 1008000 | #Constraints: 30566 1048.13/1051.71 WSVECS04 Frhs2[69]: 6 -32.0001 0 shouldn't be 1048.13/1051.76 WSVECS04 Frhs2[69]: 6 -32 0 shouldn't be 1083.61/1087.38 c #Conflicts: 1009000 | #Constraints: 32217 1083.61/1087.38 c #Conflicts: 1010000 | #Constraints: 33217 1083.61/1087.38 c #Conflicts: 1011000 | #Constraints: 34217 1083.61/1087.38 c #Conflicts: 1012000 | #Constraints: 35219 1083.61/1087.38 c #Conflicts: 1013000 | #Constraints: 36457 1083.61/1087.38 c #Conflicts: 1014000 | #Constraints: 37497 1083.61/1087.38 c #Conflicts: 1015000 | #Constraints: 38497 1083.61/1087.38 c #Conflicts: 1016000 | #Constraints: 39856 1083.61/1087.38 c #Conflicts: 1017000 | #Constraints: 40859 1083.61/1087.38 c #Conflicts: 1018000 | #Constraints: 41864 1083.61/1087.38 c #Conflicts: 1019000 | #Constraints: 42878 1083.61/1087.38 c #Conflicts: 1020000 | #Constraints: 44222 1083.61/1087.38 c #Conflicts: 1021000 | #Constraints: 46040 1083.61/1087.38 c INPROCESSING 1083.61/1087.38 c GARBAGE COLLECT 1083.61/1087.38 c rational objective 55 1115.70/1119.50 c #Conflicts: 1022000 | #Constraints: 25288 1115.70/1119.50 c #Conflicts: 1023000 | #Constraints: 26288 1115.70/1119.50 c #Conflicts: 1024000 | #Constraints: 27288 1115.70/1119.50 c #Conflicts: 1025000 | #Constraints: 28288 1115.70/1119.50 c #Conflicts: 1026000 | #Constraints: 29288 1115.70/1119.50 c #Conflicts: 1027000 | #Constraints: 30288 1115.70/1119.50 c #Conflicts: 1028000 | #Constraints: 31288 1115.70/1119.50 c #Conflicts: 1029000 | #Constraints: 32288 1115.70/1119.50 c #Conflicts: 1030000 | #Constraints: 33288 1115.70/1119.50 c #Conflicts: 1031000 | #Constraints: 34288 1115.70/1119.50 c #Conflicts: 1032000 | #Constraints: 35288 1115.70/1119.50 c #Conflicts: 1033000 | #Constraints: 36288 1115.70/1119.50 c #Conflicts: 1034000 | #Constraints: 37288 1115.70/1119.50 c #Conflicts: 1035000 | #Constraints: 38288 1115.70/1119.50 c #Conflicts: 1036000 | #Constraints: 39288 1115.70/1119.50 c #Conflicts: 1037000 | #Constraints: 40288 1115.70/1119.50 c #Conflicts: 1038000 | #Constraints: 41288 1115.70/1119.50 c #Conflicts: 1039000 | #Constraints: 42288 1115.70/1119.50 c #Conflicts: 1040000 | #Constraints: 43288 1115.70/1119.50 c #Conflicts: 1041000 | #Constraints: 44288 1115.70/1119.50 c INPROCESSING 1115.70/1119.50 c GARBAGE COLLECT 1115.70/1119.50 c rational objective 55 1144.89/1148.87 c #Conflicts: 1042000 | #Constraints: 24130 1144.89/1148.87 c #Conflicts: 1043000 | #Constraints: 25130 1144.89/1148.87 c #Conflicts: 1044000 | #Constraints: 26130 1144.89/1148.87 c #Conflicts: 1045000 | #Constraints: 27130 1144.89/1148.87 c #Conflicts: 1046000 | #Constraints: 28130 1144.89/1148.87 c #Conflicts: 1047000 | #Constraints: 29130 1144.89/1148.87 c #Conflicts: 1048000 | #Constraints: 30130 1144.89/1148.87 c #Conflicts: 1049000 | #Constraints: 31130 1144.89/1148.87 c #Conflicts: 1050000 | #Constraints: 32130 1144.89/1148.87 c #Conflicts: 1051000 | #Constraints: 33130 1144.89/1148.87 c #Conflicts: 1052000 | #Constraints: 34130 1144.89/1148.87 c #Conflicts: 1053000 | #Constraints: 35130 1144.89/1148.87 c #Conflicts: 1054000 | #Constraints: 36130 1144.89/1148.87 c #Conflicts: 1055000 | #Constraints: 37130 1144.89/1148.87 c #Conflicts: 1056000 | #Constraints: 38130 1144.89/1148.87 c #Conflicts: 1057000 | #Constraints: 39130 1144.89/1148.87 c #Conflicts: 1058000 | #Constraints: 40130 1144.89/1148.87 c #Conflicts: 1059000 | #Constraints: 41130 1144.89/1148.87 c #Conflicts: 1060000 | #Constraints: 42130 1144.89/1148.87 c #Conflicts: 1061000 | #Constraints: 43130 1144.89/1148.88 c #Conflicts: 1062000 | #Constraints: 44130 1144.89/1148.88 c INPROCESSING 1144.89/1148.88 c GARBAGE COLLECT 1144.89/1148.88 c rational objective 55 1192.03/1196.16 c #Conflicts: 1063000 | #Constraints: 24256 1192.03/1196.16 c #Conflicts: 1064000 | #Constraints: 25256 1192.03/1196.16 c #Conflicts: 1065000 | #Constraints: 26294 1192.03/1196.16 c #Conflicts: 1066000 | #Constraints: 27384 1192.03/1196.16 c #Conflicts: 1067000 | #Constraints: 28384 1192.03/1196.16 c #Conflicts: 1068000 | #Constraints: 29384 1192.03/1196.16 c #Conflicts: 1069000 | #Constraints: 30384 1192.03/1196.16 c #Conflicts: 1070000 | #Constraints: 31384 1192.03/1196.16 c #Conflicts: 1071000 | #Constraints: 32401 1192.03/1196.16 c #Conflicts: 1072000 | #Constraints: 33459 1192.03/1196.16 c #Conflicts: 1073000 | #Constraints: 35027 1192.03/1196.16 c #Conflicts: 1074000 | #Constraints: 36471 1192.03/1196.16 c #Conflicts: 1075000 | #Constraints: 37471 1192.03/1196.16 c #Conflicts: 1076000 | #Constraints: 38471 1192.03/1196.16 c #Conflicts: 1077000 | #Constraints: 39471 1192.03/1196.16 c #Conflicts: 1078000 | #Constraints: 40471 1192.03/1196.16 c #Conflicts: 1079000 | #Constraints: 41471 1192.03/1196.16 c #Conflicts: 1080000 | #Constraints: 42471 1192.03/1196.16 c #Conflicts: 1081000 | #Constraints: 43484 1192.03/1196.16 c #Conflicts: 1082000 | #Constraints: 44693 1192.03/1196.16 c #Conflicts: 1083000 | #Constraints: 45706 1192.03/1196.16 c INPROCESSING 1192.03/1196.16 c GARBAGE COLLECT 1192.03/1196.16 c rational objective 55 1219.63/1223.80 c #Conflicts: 1084000 | #Constraints: 25114 1219.63/1223.80 c #Conflicts: 1085000 | #Constraints: 26114 1219.63/1223.80 c #Conflicts: 1086000 | #Constraints: 27114 1219.63/1223.80 c #Conflicts: 1087000 | #Constraints: 28114 1219.63/1223.80 c #Conflicts: 1088000 | #Constraints: 29114 1219.63/1223.80 c #Conflicts: 1089000 | #Constraints: 30114 1219.63/1223.80 c #Conflicts: 1090000 | #Constraints: 31114 1219.63/1223.80 c #Conflicts: 1091000 | #Constraints: 32114 1219.63/1223.80 c #Conflicts: 1092000 | #Constraints: 33114 1219.63/1223.80 c #Conflicts: 1093000 | #Constraints: 34114 1219.63/1223.80 c #Conflicts: 1094000 | #Constraints: 35114 1219.63/1223.80 c #Conflicts: 1095000 | #Constraints: 36114 1219.63/1223.80 c #Conflicts: 1096000 | #Constraints: 37114 1219.63/1223.80 c #Conflicts: 1097000 | #Constraints: 38114 1219.63/1223.80 c #Conflicts: 1098000 | #Constraints: 39114 1219.63/1223.80 c #Conflicts: 1099000 | #Constraints: 40114 1219.63/1223.80 c #Conflicts: 1100000 | #Constraints: 41114 1219.63/1223.80 c #Conflicts: 1101000 | #Constraints: 42114 1219.63/1223.80 c #Conflicts: 1102000 | #Constraints: 43114 1219.63/1223.80 c #Conflicts: 1103000 | #Constraints: 44114 1219.63/1223.80 c #Conflicts: 1104000 | #Constraints: 45114 1219.63/1223.80 c INPROCESSING 1219.63/1223.80 c GARBAGE COLLECT 1219.63/1223.80 c rational objective 55 1267.36/1271.79 c #Conflicts: 1105000 | #Constraints: 24838 1267.36/1271.79 c #Conflicts: 1106000 | #Constraints: 25838 1267.36/1271.79 c #Conflicts: 1107000 | #Constraints: 26838 1267.36/1271.79 c #Conflicts: 1108000 | #Constraints: 27838 1267.36/1271.79 c #Conflicts: 1109000 | #Constraints: 28838 1267.36/1271.79 c #Conflicts: 1110000 | #Constraints: 29838 1267.36/1271.79 c #Conflicts: 1111000 | #Constraints: 30838 1267.36/1271.79 c #Conflicts: 1112000 | #Constraints: 31838 1267.36/1271.79 c #Conflicts: 1113000 | #Constraints: 32838 1267.36/1271.79 c #Conflicts: 1114000 | #Constraints: 33838 1267.36/1271.79 c #Conflicts: 1115000 | #Constraints: 34838 1267.36/1271.79 c #Conflicts: 1116000 | #Constraints: 35838 1267.36/1271.79 c #Conflicts: 1117000 | #Constraints: 36838 1267.36/1271.79 c #Conflicts: 1118000 | #Constraints: 37838 1267.36/1271.79 c #Conflicts: 1119000 | #Constraints: 38838 1267.36/1271.79 c #Conflicts: 1120000 | #Constraints: 39838 1267.36/1271.79 c #Conflicts: 1121000 | #Constraints: 40838 1267.36/1271.79 c #Conflicts: 1122000 | #Constraints: 41838 1267.36/1271.79 c #Conflicts: 1123000 | #Constraints: 42838 1267.36/1271.79 c #Conflicts: 1124000 | #Constraints: 43838 1267.36/1271.79 c #Conflicts: 1125000 | #Constraints: 44838 1267.36/1271.79 c INPROCESSING 1267.36/1271.79 c GARBAGE COLLECT 1267.36/1271.79 c rational objective 55 1297.26/1301.79 c #Conflicts: 1126000 | #Constraints: 24610 1297.26/1301.79 c #Conflicts: 1127000 | #Constraints: 25610 1297.26/1301.79 c #Conflicts: 1128000 | #Constraints: 26610 1297.26/1301.79 c #Conflicts: 1129000 | #Constraints: 27613 1297.26/1301.79 c #Conflicts: 1130000 | #Constraints: 28617 1297.26/1301.79 c #Conflicts: 1131000 | #Constraints: 29638 1297.26/1301.79 c #Conflicts: 1132000 | #Constraints: 30638 1297.26/1301.79 c #Conflicts: 1133000 | #Constraints: 31643 1297.26/1301.79 c #Conflicts: 1134000 | #Constraints: 32647 1297.26/1301.79 c #Conflicts: 1135000 | #Constraints: 33667 1297.26/1301.79 c #Conflicts: 1136000 | #Constraints: 34669 1297.26/1301.79 c #Conflicts: 1137000 | #Constraints: 35670 1297.26/1301.79 c #Conflicts: 1138000 | #Constraints: 36677 1297.26/1301.79 c #Conflicts: 1139000 | #Constraints: 37682 1297.26/1301.79 c #Conflicts: 1140000 | #Constraints: 38686 1297.26/1301.79 c #Conflicts: 1141000 | #Constraints: 39691 1297.26/1301.79 c #Conflicts: 1142000 | #Constraints: 40693 1297.26/1301.79 c #Conflicts: 1143000 | #Constraints: 41699 1297.26/1301.79 c #Conflicts: 1144000 | #Constraints: 42704 1297.26/1301.79 c #Conflicts: 1145000 | #Constraints: 43706 1297.26/1301.79 c #Conflicts: 1146000 | #Constraints: 44711 1297.26/1301.79 c INPROCESSING 1297.26/1301.79 c GARBAGE COLLECT 1297.26/1301.79 c rational objective 55 1326.76/1331.37 c #Conflicts: 1147000 | #Constraints: 24329 1326.76/1331.37 c #Conflicts: 1148000 | #Constraints: 25331 1326.76/1331.37 c #Conflicts: 1149000 | #Constraints: 26333 1326.76/1331.37 c #Conflicts: 1150000 | #Constraints: 27336 1326.76/1331.37 c #Conflicts: 1151000 | #Constraints: 28338 1326.76/1331.37 c #Conflicts: 1152000 | #Constraints: 29340 1326.76/1331.37 c #Conflicts: 1153000 | #Constraints: 30342 1326.76/1331.37 c #Conflicts: 1154000 | #Constraints: 31343 1326.76/1331.37 c #Conflicts: 1155000 | #Constraints: 32345 1326.76/1331.37 c #Conflicts: 1156000 | #Constraints: 33347 1326.76/1331.37 c #Conflicts: 1157000 | #Constraints: 34348 1326.76/1331.37 c #Conflicts: 1158000 | #Constraints: 35350 1326.76/1331.37 c #Conflicts: 1159000 | #Constraints: 36352 1326.76/1331.37 c #Conflicts: 1160000 | #Constraints: 37356 1326.76/1331.37 c #Conflicts: 1161000 | #Constraints: 38359 1326.76/1331.37 c #Conflicts: 1162000 | #Constraints: 39359 1326.76/1331.37 c #Conflicts: 1163000 | #Constraints: 40360 1326.76/1331.37 c #Conflicts: 1164000 | #Constraints: 41361 1326.76/1331.37 c #Conflicts: 1165000 | #Constraints: 42362 1326.76/1331.37 c #Conflicts: 1166000 | #Constraints: 43362 1326.76/1331.37 c #Conflicts: 1167000 | #Constraints: 44364 1326.76/1331.37 c #Conflicts: 1168000 | #Constraints: 45365 1326.76/1331.37 c INPROCESSING 1326.76/1331.37 c GARBAGE COLLECT 1326.76/1331.37 c rational objective 55 1393.42/1398.29 c #Conflicts: 1169000 | #Constraints: 24870 1393.42/1398.29 c #Conflicts: 1170000 | #Constraints: 25899 1393.42/1398.29 c #Conflicts: 1171000 | #Constraints: 26903 1393.42/1398.29 c #Conflicts: 1172000 | #Constraints: 27904 1393.42/1398.29 c #Conflicts: 1173000 | #Constraints: 28932 1393.42/1398.29 c #Conflicts: 1174000 | #Constraints: 29949 1393.42/1398.29 c #Conflicts: 1175000 | #Constraints: 30951 1393.42/1398.29 c #Conflicts: 1176000 | #Constraints: 31985 1393.42/1398.29 c #Conflicts: 1177000 | #Constraints: 32988 1393.42/1398.29 c #Conflicts: 1178000 | #Constraints: 34062 1393.42/1398.29 c #Conflicts: 1179000 | #Constraints: 35172 1393.42/1398.29 c #Conflicts: 1180000 | #Constraints: 36640 1393.42/1398.29 c #Conflicts: 1181000 | #Constraints: 37664 1393.42/1398.29 c #Conflicts: 1182000 | #Constraints: 38668 1393.42/1398.29 c #Conflicts: 1183000 | #Constraints: 39670 1393.42/1398.29 c #Conflicts: 1184000 | #Constraints: 40676 1393.42/1398.29 c #Conflicts: 1185000 | #Constraints: 41685 1393.42/1398.29 c #Conflicts: 1186000 | #Constraints: 42694 1393.42/1398.29 c #Conflicts: 1187000 | #Constraints: 43714 1393.42/1398.29 c #Conflicts: 1188000 | #Constraints: 44717 1393.42/1398.29 c #Conflicts: 1189000 | #Constraints: 45742 1393.42/1398.29 c #Conflicts: 1190000 | #Constraints: 46901 1393.42/1398.29 c INPROCESSING 1393.42/1398.29 c GARBAGE COLLECT 1393.42/1398.29 c rational objective 55 1425.61/1430.53 c #Conflicts: 1191000 | #Constraints: 25741 1425.61/1430.53 c #Conflicts: 1192000 | #Constraints: 26741 1425.61/1430.53 c #Conflicts: 1193000 | #Constraints: 27741 1425.61/1430.53 c #Conflicts: 1194000 | #Constraints: 28743 1425.61/1430.53 c #Conflicts: 1195000 | #Constraints: 29743 1425.61/1430.53 c #Conflicts: 1196000 | #Constraints: 30746 1425.61/1430.53 c #Conflicts: 1197000 | #Constraints: 31746 1425.61/1430.53 c #Conflicts: 1198000 | #Constraints: 32747 1425.61/1430.53 c #Conflicts: 1199000 | #Constraints: 33749 1425.61/1430.53 c #Conflicts: 1200000 | #Constraints: 34749 1425.61/1430.53 c #Conflicts: 1201000 | #Constraints: 35749 1425.61/1430.53 c #Conflicts: 1202000 | #Constraints: 36751 1425.61/1430.53 c #Conflicts: 1203000 | #Constraints: 37752 1425.61/1430.53 c #Conflicts: 1204000 | #Constraints: 38753 1425.61/1430.53 c #Conflicts: 1205000 | #Constraints: 39753 1425.61/1430.53 c #Conflicts: 1206000 | #Constraints: 40754 1425.61/1430.53 c #Conflicts: 1207000 | #Constraints: 41755 1425.61/1430.53 c #Conflicts: 1208000 | #Constraints: 42755 1425.61/1430.53 c #Conflicts: 1209000 | #Constraints: 43756 1425.61/1430.53 c #Conflicts: 1210000 | #Constraints: 44756 1425.61/1430.53 c #Conflicts: 1211000 | #Constraints: 45758 1425.61/1430.53 c #Conflicts: 1212000 | #Constraints: 46759 1425.61/1430.53 c INPROCESSING 1425.61/1430.53 c GARBAGE COLLECT 1425.61/1430.53 c rational objective 55 1457.30/1462.39 c #Conflicts: 1213000 | #Constraints: 25672 1457.30/1462.39 c #Conflicts: 1214000 | #Constraints: 26672 1457.30/1462.39 c #Conflicts: 1215000 | #Constraints: 27676 1457.30/1462.39 c #Conflicts: 1216000 | #Constraints: 28683 1457.30/1462.39 c #Conflicts: 1217000 | #Constraints: 29683 1457.30/1462.39 c #Conflicts: 1218000 | #Constraints: 30683 1457.30/1462.39 c #Conflicts: 1219000 | #Constraints: 31685 1457.30/1462.39 c #Conflicts: 1220000 | #Constraints: 32687 1457.30/1462.39 c #Conflicts: 1221000 | #Constraints: 33690 1457.30/1462.39 c #Conflicts: 1222000 | #Constraints: 34695 1457.30/1462.39 c #Conflicts: 1223000 | #Constraints: 35695 1457.30/1462.39 c #Conflicts: 1224000 | #Constraints: 36697 1457.30/1462.39 c #Conflicts: 1225000 | #Constraints: 37699 1457.30/1462.39 c #Conflicts: 1226000 | #Constraints: 38699 1457.30/1462.39 c #Conflicts: 1227000 | #Constraints: 39704 1457.30/1462.39 c #Conflicts: 1228000 | #Constraints: 40705 1457.30/1462.39 c #Conflicts: 1229000 | #Constraints: 41705 1457.30/1462.39 c #Conflicts: 1230000 | #Constraints: 42709 1457.30/1462.39 c #Conflicts: 1231000 | #Constraints: 43711 1457.30/1462.39 c #Conflicts: 1232000 | #Constraints: 44715 1457.30/1462.39 c #Conflicts: 1233000 | #Constraints: 45716 1457.30/1462.39 c #Conflicts: 1234000 | #Constraints: 46719 1457.30/1462.39 c INPROCESSING 1457.30/1462.39 c GARBAGE COLLECT 1457.30/1462.39 c rational objective 55 1521.47/1526.75 c #Conflicts: 1235000 | #Constraints: 25543 1521.47/1526.75 c #Conflicts: 1236000 | #Constraints: 26543 1521.47/1526.75 c #Conflicts: 1237000 | #Constraints: 27543 1521.47/1526.75 c #Conflicts: 1238000 | #Constraints: 28543 1521.47/1526.75 c #Conflicts: 1239000 | #Constraints: 29543 1521.47/1526.75 c #Conflicts: 1240000 | #Constraints: 30543 1521.47/1526.75 c #Conflicts: 1241000 | #Constraints: 31543 1521.47/1526.75 c #Conflicts: 1242000 | #Constraints: 32543 1521.47/1526.75 c #Conflicts: 1243000 | #Constraints: 33543 1521.47/1526.75 c #Conflicts: 1244000 | #Constraints: 34543 1521.47/1526.75 c #Conflicts: 1245000 | #Constraints: 35543 1521.47/1526.75 c #Conflicts: 1246000 | #Constraints: 36543 1521.47/1526.75 c #Conflicts: 1247000 | #Constraints: 37543 1521.47/1526.75 c #Conflicts: 1248000 | #Constraints: 38543 1521.47/1526.75 c #Conflicts: 1249000 | #Constraints: 39543 1521.47/1526.75 c #Conflicts: 1250000 | #Constraints: 40543 1521.47/1526.75 c #Conflicts: 1251000 | #Constraints: 41543 1521.47/1526.75 c #Conflicts: 1252000 | #Constraints: 42543 1521.47/1526.75 c #Conflicts: 1253000 | #Constraints: 43543 1521.47/1526.75 c #Conflicts: 1254000 | #Constraints: 44543 1521.47/1526.75 c #Conflicts: 1255000 | #Constraints: 45543 1521.47/1526.75 c #Conflicts: 1256000 | #Constraints: 46543 1521.47/1526.75 c INPROCESSING 1521.47/1526.75 c GARBAGE COLLECT 1521.47/1526.75 c rational objective 55 1555.95/1561.38 c #Conflicts: 1257000 | #Constraints: 25262 1555.95/1561.38 c #Conflicts: 1258000 | #Constraints: 26262 1555.95/1561.38 c #Conflicts: 1259000 | #Constraints: 27262 1555.95/1561.38 c #Conflicts: 1260000 | #Constraints: 28262 1555.95/1561.38 c #Conflicts: 1261000 | #Constraints: 29262 1555.95/1561.38 c #Conflicts: 1262000 | #Constraints: 30262 1555.95/1561.38 c #Conflicts: 1263000 | #Constraints: 31262 1555.95/1561.38 c #Conflicts: 1264000 | #Constraints: 32262 1555.95/1561.38 c #Conflicts: 1265000 | #Constraints: 33262 1555.95/1561.38 c #Conflicts: 1266000 | #Constraints: 34262 1555.95/1561.38 c #Conflicts: 1267000 | #Constraints: 35262 1555.95/1561.38 c #Conflicts: 1268000 | #Constraints: 36262 1555.95/1561.38 c #Conflicts: 1269000 | #Constraints: 37262 1555.95/1561.38 c #Conflicts: 1270000 | #Constraints: 38262 1555.95/1561.38 c #Conflicts: 1271000 | #Constraints: 39262 1555.95/1561.38 c #Conflicts: 1272000 | #Constraints: 40262 1555.95/1561.38 c #Conflicts: 1273000 | #Constraints: 41262 1555.95/1561.38 c #Conflicts: 1274000 | #Constraints: 42262 1555.95/1561.38 c #Conflicts: 1275000 | #Constraints: 43262 1555.95/1561.38 c #Conflicts: 1276000 | #Constraints: 44262 1555.95/1561.38 c #Conflicts: 1277000 | #Constraints: 45262 1555.95/1561.38 c #Conflicts: 1278000 | #Constraints: 46262 1555.95/1561.38 c #Conflicts: 1279000 | #Constraints: 47262 1555.95/1561.38 c INPROCESSING 1555.95/1561.38 c GARBAGE COLLECT 1555.95/1561.38 c rational objective 55 1625.42/1631.02 c #Conflicts: 1280000 | #Constraints: 25801 1625.42/1631.02 c #Conflicts: 1281000 | #Constraints: 26801 1625.42/1631.02 c #Conflicts: 1282000 | #Constraints: 27801 1625.42/1631.02 c #Conflicts: 1283000 | #Constraints: 28802 1625.42/1631.02 c #Conflicts: 1284000 | #Constraints: 29804 1625.42/1631.02 c #Conflicts: 1285000 | #Constraints: 30807 1625.42/1631.02 c #Conflicts: 1286000 | #Constraints: 31808 1625.42/1631.02 c #Conflicts: 1287000 | #Constraints: 32808 1625.42/1631.02 c #Conflicts: 1288000 | #Constraints: 33811 1625.42/1631.02 c #Conflicts: 1289000 | #Constraints: 34811 1625.42/1631.02 c #Conflicts: 1290000 | #Constraints: 35812 1625.42/1631.02 c #Conflicts: 1291000 | #Constraints: 36812 1625.42/1631.02 c #Conflicts: 1292000 | #Constraints: 37814 1625.42/1631.02 c #Conflicts: 1293000 | #Constraints: 38814 1625.42/1631.02 c #Conflicts: 1294000 | #Constraints: 39816 1625.42/1631.02 c #Conflicts: 1295000 | #Constraints: 40816 1625.42/1631.02 c #Conflicts: 1296000 | #Constraints: 41818 1625.42/1631.02 c #Conflicts: 1297000 | #Constraints: 42820 1625.42/1631.02 c #Conflicts: 1298000 | #Constraints: 43820 1625.42/1631.02 c #Conflicts: 1299000 | #Constraints: 44821 1625.42/1631.02 c #Conflicts: 1300000 | #Constraints: 45822 1625.42/1631.02 c #Conflicts: 1301000 | #Constraints: 46825 1625.42/1631.02 c #Conflicts: 1302000 | #Constraints: 47828 1625.42/1631.02 c INPROCESSING 1625.42/1631.02 c GARBAGE COLLECT 1625.42/1631.02 c rational objective 55 1660.90/1666.61 c #Conflicts: 1303000 | #Constraints: 26218 1660.90/1666.61 c #Conflicts: 1304000 | #Constraints: 27219 1660.90/1666.61 c #Conflicts: 1305000 | #Constraints: 28646 1660.90/1666.61 c #Conflicts: 1306000 | #Constraints: 29648 1660.90/1666.61 c #Conflicts: 1307000 | #Constraints: 30648 1660.90/1666.61 c #Conflicts: 1308000 | #Constraints: 31648 1660.90/1666.61 c #Conflicts: 1309000 | #Constraints: 32667 1660.90/1666.61 c #Conflicts: 1310000 | #Constraints: 33667 1660.90/1666.61 c #Conflicts: 1311000 | #Constraints: 34723 1660.90/1666.61 c #Conflicts: 1312000 | #Constraints: 35735 1660.90/1666.61 c #Conflicts: 1313000 | #Constraints: 36737 1660.90/1666.61 c #Conflicts: 1314000 | #Constraints: 37737 1660.90/1666.61 c #Conflicts: 1315000 | #Constraints: 38737 1660.90/1666.61 c #Conflicts: 1316000 | #Constraints: 39737 1660.90/1666.61 c #Conflicts: 1317000 | #Constraints: 40758 1660.90/1666.61 c #Conflicts: 1318000 | #Constraints: 41804 1660.90/1666.61 c #Conflicts: 1319000 | #Constraints: 42808 1660.90/1666.61 c #Conflicts: 1320000 | #Constraints: 43810 1660.90/1666.61 c #Conflicts: 1321000 | #Constraints: 44812 1660.90/1666.61 c #Conflicts: 1322000 | #Constraints: 45812 1660.90/1666.61 c #Conflicts: 1323000 | #Constraints: 46925 1660.90/1666.61 c #Conflicts: 1324000 | #Constraints: 47925 1660.90/1666.61 c #Conflicts: 1325000 | #Constraints: 48928 1660.90/1666.61 c INPROCESSING 1660.90/1666.61 c GARBAGE COLLECT 1660.90/1666.61 c rational objective 55 1699.56/1705.40 c #Conflicts: 1326000 | #Constraints: 26728 1699.56/1705.40 c #Conflicts: 1327000 | #Constraints: 27728 1699.56/1705.40 c #Conflicts: 1328000 | #Constraints: 28728 1699.56/1705.40 c #Conflicts: 1329000 | #Constraints: 29728 1699.56/1705.40 c #Conflicts: 1330000 | #Constraints: 30728 1699.56/1705.40 c #Conflicts: 1331000 | #Constraints: 31730 1699.56/1705.40 c #Conflicts: 1332000 | #Constraints: 32730 1699.56/1705.40 c #Conflicts: 1333000 | #Constraints: 33734 1699.56/1705.40 c #Conflicts: 1334000 | #Constraints: 34750 1699.56/1705.40 c #Conflicts: 1335000 | #Constraints: 35882 1699.56/1705.40 c #Conflicts: 1336000 | #Constraints: 37142 1699.56/1705.40 c #Conflicts: 1337000 | #Constraints: 38142 1699.56/1705.40 c #Conflicts: 1338000 | #Constraints: 39164 1699.56/1705.40 c #Conflicts: 1339000 | #Constraints: 40223 1699.56/1705.40 c #Conflicts: 1340000 | #Constraints: 41230 1699.56/1705.40 c #Conflicts: 1341000 | #Constraints: 42230 1699.56/1705.40 c #Conflicts: 1342000 | #Constraints: 43241 1699.56/1705.40 c #Conflicts: 1343000 | #Constraints: 44241 1699.56/1705.40 c #Conflicts: 1344000 | #Constraints: 45243 1699.56/1705.40 c #Conflicts: 1345000 | #Constraints: 46245 1699.56/1705.40 c #Conflicts: 1346000 | #Constraints: 47245 1699.56/1705.40 c #Conflicts: 1347000 | #Constraints: 48246 1699.56/1705.40 c #Conflicts: 1348000 | #Constraints: 49247 1699.56/1705.40 c INPROCESSING 1699.56/1705.40 c GARBAGE COLLECT 1699.56/1705.40 c rational objective 55 1794.93/1801.13 c #Conflicts: 1349000 | #Constraints: 26790 1794.93/1801.13 c #Conflicts: 1350000 | #Constraints: 27790 1794.93/1801.13 c #Conflicts: 1351000 | #Constraints: 28790 1794.93/1801.13 c #Conflicts: 1352000 | #Constraints: 29790 1794.93/1801.13 c #Conflicts: 1353000 | #Constraints: 30790 1794.93/1801.13 c #Conflicts: 1354000 | #Constraints: 31790 1794.93/1801.13 c #Conflicts: 1355000 | #Constraints: 32790 1794.93/1801.13 c #Conflicts: 1356000 | #Constraints: 33790 1794.93/1801.13 c #Conflicts: 1357000 | #Constraints: 34790 1794.93/1801.13 c #Conflicts: 1358000 | #Constraints: 35790 1794.93/1801.13 c #Conflicts: 1359000 | #Constraints: 36790 1794.93/1801.13 c #Conflicts: 1360000 | #Constraints: 37790 1794.93/1801.13 c #Conflicts: 1361000 | #Constraints: 38790 1794.93/1801.13 c #Conflicts: 1362000 | #Constraints: 39790 1794.93/1801.13 c #Conflicts: 1363000 | #Constraints: 40790 1794.93/1801.13 c #Conflicts: 1364000 | #Constraints: 41790 1794.93/1801.13 c #Conflicts: 1365000 | #Constraints: 42790 1794.93/1801.13 c #Conflicts: 1366000 | #Constraints: 43790 1794.93/1801.13 c #Conflicts: 1367000 | #Constraints: 44790 1794.93/1801.13 c #Conflicts: 1368000 | #Constraints: 45790 1794.93/1801.13 c #Conflicts: 1369000 | #Constraints: 46790 1794.93/1801.13 c #Conflicts: 1370000 | #Constraints: 47790 1794.93/1801.13 c #Conflicts: 1371000 | #Constraints: 48791 1794.93/1801.13 c INPROCESSING 1794.93/1801.13 c GARBAGE COLLECT 1794.93/1801.13 c rational objective 55 1834.99/1841.33 c #Conflicts: 1372000 | #Constraints: 26382 1834.99/1841.33 c #Conflicts: 1373000 | #Constraints: 27382 1834.99/1841.33 c #Conflicts: 1374000 | #Constraints: 28382 1834.99/1841.33 c #Conflicts: 1375000 | #Constraints: 29383 1834.99/1841.33 c #Conflicts: 1376000 | #Constraints: 30383 1834.99/1841.33 c #Conflicts: 1377000 | #Constraints: 31383 1834.99/1841.33 c #Conflicts: 1378000 | #Constraints: 32383 1834.99/1841.33 c #Conflicts: 1379000 | #Constraints: 33383 1834.99/1841.33 c #Conflicts: 1380000 | #Constraints: 34383 1834.99/1841.33 c #Conflicts: 1381000 | #Constraints: 35383 1834.99/1841.33 c #Conflicts: 1382000 | #Constraints: 36383 1834.99/1841.33 c #Conflicts: 1383000 | #Constraints: 37383 1834.99/1841.33 c #Conflicts: 1384000 | #Constraints: 38383 1834.99/1841.33 c #Conflicts: 1385000 | #Constraints: 39383 1834.99/1841.33 c #Conflicts: 1386000 | #Constraints: 40384 1834.99/1841.33 c #Conflicts: 1387000 | #Constraints: 41450 1834.99/1841.33 c #Conflicts: 1388000 | #Constraints: 42451 1834.99/1841.33 c #Conflicts: 1389000 | #Constraints: 43451 1834.99/1841.33 c #Conflicts: 1390000 | #Constraints: 44451 1834.99/1841.33 c #Conflicts: 1391000 | #Constraints: 45451 1834.99/1841.33 c #Conflicts: 1392000 | #Constraints: 46452 1834.99/1841.33 c #Conflicts: 1393000 | #Constraints: 47452 1834.99/1841.33 c #Conflicts: 1394000 | #Constraints: 48455 1834.99/1841.33 c #Conflicts: 1395000 | #Constraints: 49485 1834.99/1841.33 c INPROCESSING 1834.99/1841.33 c GARBAGE COLLECT 1834.99/1841.33 c rational objective 55 1874.35/1880.85 c #Conflicts: 1396000 | #Constraints: 26951 1874.35/1880.85 c #Conflicts: 1397000 | #Constraints: 27951 1874.35/1880.85 c #Conflicts: 1398000 | #Constraints: 28951 1874.35/1880.85 c #Conflicts: 1399000 | #Constraints: 29955 1874.35/1880.85 c #Conflicts: 1400000 | #Constraints: 30955 1874.35/1880.85 c #Conflicts: 1401000 | #Constraints: 31956 1874.35/1880.85 c #Conflicts: 1402000 | #Constraints: 32958 1874.35/1880.85 c #Conflicts: 1403000 | #Constraints: 33958 1874.35/1880.85 c #Conflicts: 1404000 | #Constraints: 34960 1874.35/1880.85 c #Conflicts: 1405000 | #Constraints: 35961 1874.35/1880.85 c #Conflicts: 1406000 | #Constraints: 36964 1874.35/1880.85 c #Conflicts: 1407000 | #Constraints: 37966 1874.35/1880.85 c #Conflicts: 1408000 | #Constraints: 38971 1874.35/1880.85 c #Conflicts: 1409000 | #Constraints: 39971 1874.35/1880.85 c #Conflicts: 1410000 | #Constraints: 40971 1874.35/1880.85 c #Conflicts: 1411000 | #Constraints: 41971 1874.35/1880.85 c #Conflicts: 1412000 | #Constraints: 42971 1874.35/1880.85 c #Conflicts: 1413000 | #Constraints: 43971 1874.35/1880.85 c #Conflicts: 1414000 | #Constraints: 44971 1874.35/1880.85 c #Conflicts: 1415000 | #Constraints: 45974 1874.35/1880.85 c #Conflicts: 1416000 | #Constraints: 46974 1874.35/1880.85 c #Conflicts: 1417000 | #Constraints: 47976 1874.35/1880.85 c #Conflicts: 1418000 | #Constraints: 48976 1874.35/1880.85 c #Conflicts: 1419000 | #Constraints: 49976 1874.35/1880.85 c INPROCESSING 1874.35/1880.85 c GARBAGE COLLECT 1874.35/1880.85 c rational objective 55 1975.20/1982.08 c #Conflicts: 1420000 | #Constraints: 27271 1975.20/1982.08 c #Conflicts: 1421000 | #Constraints: 28271 1975.20/1982.08 c #Conflicts: 1422000 | #Constraints: 29271 1975.20/1982.08 c #Conflicts: 1423000 | #Constraints: 30271 1975.20/1982.08 c #Conflicts: 1424000 | #Constraints: 31272 1975.20/1982.08 c #Conflicts: 1425000 | #Constraints: 32274 1975.20/1982.08 c #Conflicts: 1426000 | #Constraints: 33275 1975.20/1982.08 c #Conflicts: 1427000 | #Constraints: 34290 1975.20/1982.08 c #Conflicts: 1428000 | #Constraints: 35300 1975.20/1982.08 c #Conflicts: 1429000 | #Constraints: 36467 1975.20/1982.08 c #Conflicts: 1430000 | #Constraints: 37611 1975.20/1982.08 c #Conflicts: 1431000 | #Constraints: 38617 1975.20/1982.08 c #Conflicts: 1432000 | #Constraints: 39623 1975.20/1982.08 c #Conflicts: 1433000 | #Constraints: 41245 1975.20/1982.08 c #Conflicts: 1434000 | #Constraints: 42250 1975.20/1982.08 c #Conflicts: 1435000 | #Constraints: 43268 1975.20/1982.08 c #Conflicts: 1436000 | #Constraints: 44331 1975.20/1982.08 c #Conflicts: 1437000 | #Constraints: 45469 1975.20/1982.08 c #Conflicts: 1438000 | #Constraints: 46997 1975.20/1982.08 c #Conflicts: 1439000 | #Constraints: 47999 1975.20/1982.08 c #Conflicts: 1440000 | #Constraints: 48999 1975.20/1982.08 c #Conflicts: 1441000 | #Constraints: 50004 1975.20/1982.08 c #Conflicts: 1442000 | #Constraints: 51028 1975.20/1982.08 c #Conflicts: 1443000 | #Constraints: 52064 1975.20/1982.08 c INPROCESSING 1975.20/1982.08 c GARBAGE COLLECT 1975.20/1982.08 c rational objective 55 2017.94/2024.91 c #Conflicts: 1444000 | #Constraints: 28317 2017.94/2024.91 c #Conflicts: 1445000 | #Constraints: 29321 2017.94/2024.91 c #Conflicts: 1446000 | #Constraints: 30348 2017.94/2024.91 c #Conflicts: 1447000 | #Constraints: 31359 2017.94/2024.91 c #Conflicts: 1448000 | #Constraints: 32359 2017.94/2024.91 c #Conflicts: 1449000 | #Constraints: 33362 2017.94/2024.91 c #Conflicts: 1450000 | #Constraints: 34373 2017.94/2024.91 c #Conflicts: 1451000 | #Constraints: 35387 2017.94/2024.91 c #Conflicts: 1452000 | #Constraints: 36390 2017.94/2024.91 c #Conflicts: 1453000 | #Constraints: 37395 2017.94/2024.91 c #Conflicts: 1454000 | #Constraints: 38405 2017.94/2024.91 c #Conflicts: 1455000 | #Constraints: 39406 2017.94/2024.91 c #Conflicts: 1456000 | #Constraints: 40406 2017.94/2024.91 c #Conflicts: 1457000 | #Constraints: 41406 2017.94/2024.91 c #Conflicts: 1458000 | #Constraints: 42411 2017.94/2024.91 c #Conflicts: 1459000 | #Constraints: 43416 2017.94/2024.91 c #Conflicts: 1460000 | #Constraints: 44465 2017.94/2024.91 c #Conflicts: 1461000 | #Constraints: 45468 2017.94/2024.91 c #Conflicts: 1462000 | #Constraints: 46470 2017.94/2024.91 c #Conflicts: 1463000 | #Constraints: 47487 2017.94/2024.91 c #Conflicts: 1464000 | #Constraints: 48494 2017.94/2024.91 c #Conflicts: 1465000 | #Constraints: 49512 2017.94/2024.91 c #Conflicts: 1466000 | #Constraints: 50518 2017.94/2024.91 c #Conflicts: 1467000 | #Constraints: 51520 2017.94/2024.91 c INPROCESSING 2017.94/2024.91 c GARBAGE COLLECT 2017.94/2024.91 c rational objective 55 2063.18/2070.31 c #Conflicts: 1468000 | #Constraints: 27937 2063.18/2070.31 c #Conflicts: 1469000 | #Constraints: 28937 2063.18/2070.31 c #Conflicts: 1470000 | #Constraints: 29937 2063.18/2070.31 c #Conflicts: 1471000 | #Constraints: 30937 2063.18/2070.31 c #Conflicts: 1472000 | #Constraints: 31937 2063.18/2070.31 c #Conflicts: 1473000 | #Constraints: 32937 2063.18/2070.31 c #Conflicts: 1474000 | #Constraints: 33937 2063.18/2070.31 c #Conflicts: 1475000 | #Constraints: 34937 2063.18/2070.31 c #Conflicts: 1476000 | #Constraints: 35937 2063.18/2070.31 c #Conflicts: 1477000 | #Constraints: 36937 2063.18/2070.31 c #Conflicts: 1478000 | #Constraints: 37937 2063.18/2070.31 c #Conflicts: 1479000 | #Constraints: 38937 2063.18/2070.31 c #Conflicts: 1480000 | #Constraints: 39937 2063.18/2070.31 c #Conflicts: 1481000 | #Constraints: 40937 2063.18/2070.31 c #Conflicts: 1482000 | #Constraints: 41937 2063.18/2070.31 c #Conflicts: 1483000 | #Constraints: 42937 2063.18/2070.31 c #Conflicts: 1484000 | #Constraints: 43937 2063.18/2070.31 c #Conflicts: 1485000 | #Constraints: 44937 2063.18/2070.31 c #Conflicts: 1486000 | #Constraints: 45937 2063.18/2070.31 c #Conflicts: 1487000 | #Constraints: 46937 2063.18/2070.31 c #Conflicts: 1488000 | #Constraints: 47937 2063.18/2070.31 c #Conflicts: 1489000 | #Constraints: 48937 2063.18/2070.31 c #Conflicts: 1490000 | #Constraints: 49937 2063.18/2070.31 c #Conflicts: 1491000 | #Constraints: 50937 2063.18/2070.31 c INPROCESSING 2063.18/2070.31 c GARBAGE COLLECT 2063.18/2070.31 c rational objective 55 2175.17/2182.75 c #Conflicts: 1492000 | #Constraints: 27461 2175.17/2182.75 c #Conflicts: 1493000 | #Constraints: 28461 2175.17/2182.75 c #Conflicts: 1494000 | #Constraints: 29461 2175.17/2182.75 c #Conflicts: 1495000 | #Constraints: 30461 2175.17/2182.75 c #Conflicts: 1496000 | #Constraints: 31461 2175.17/2182.75 c #Conflicts: 1497000 | #Constraints: 32461 2175.17/2182.75 c #Conflicts: 1498000 | #Constraints: 33461 2175.17/2182.75 c #Conflicts: 1499000 | #Constraints: 34461 2175.17/2182.75 c #Conflicts: 1500000 | #Constraints: 35461 2175.17/2182.75 c #Conflicts: 1501000 | #Constraints: 36461 2175.17/2182.75 c #Conflicts: 1502000 | #Constraints: 37461 2175.17/2182.75 c #Conflicts: 1503000 | #Constraints: 38461 2175.17/2182.75 c #Conflicts: 1504000 | #Constraints: 39461 2175.17/2182.75 c #Conflicts: 1505000 | #Constraints: 40461 2175.17/2182.75 c #Conflicts: 1506000 | #Constraints: 41461 2175.17/2182.75 c #Conflicts: 1507000 | #Constraints: 42461 2175.17/2182.75 c #Conflicts: 1508000 | #Constraints: 43461 2175.17/2182.75 c #Conflicts: 1509000 | #Constraints: 44461 2175.17/2182.75 c #Conflicts: 1510000 | #Constraints: 45461 2175.17/2182.75 c #Conflicts: 1511000 | #Constraints: 46461 2175.17/2182.75 c #Conflicts: 1512000 | #Constraints: 47461 2175.17/2182.75 c #Conflicts: 1513000 | #Constraints: 48461 2175.17/2182.75 c #Conflicts: 1514000 | #Constraints: 49461 2175.17/2182.75 c #Conflicts: 1515000 | #Constraints: 50461 2175.17/2182.75 c #Conflicts: 1516000 | #Constraints: 51461 2175.17/2182.75 c INPROCESSING 2175.17/2182.75 c GARBAGE COLLECT 2175.17/2182.75 c rational objective 55 2220.01/2227.79 c #Conflicts: 1517000 | #Constraints: 27936 2220.01/2227.79 c #Conflicts: 1518000 | #Constraints: 28943 2220.01/2227.79 c #Conflicts: 1519000 | #Constraints: 29943 2220.01/2227.79 c #Conflicts: 1520000 | #Constraints: 30945 2220.01/2227.79 c #Conflicts: 1521000 | #Constraints: 31948 2220.01/2227.79 c #Conflicts: 1522000 | #Constraints: 32948 2220.01/2227.79 c #Conflicts: 1523000 | #Constraints: 33949 2220.01/2227.79 c #Conflicts: 1524000 | #Constraints: 34951 2220.01/2227.79 c #Conflicts: 1525000 | #Constraints: 35951 2220.01/2227.79 c #Conflicts: 1526000 | #Constraints: 36951 2220.01/2227.79 c #Conflicts: 1527000 | #Constraints: 37951 2220.01/2227.79 c #Conflicts: 1528000 | #Constraints: 38951 2220.01/2227.79 c #Conflicts: 1529000 | #Constraints: 39952 2220.01/2227.79 c #Conflicts: 1530000 | #Constraints: 40954 2220.01/2227.79 c #Conflicts: 1531000 | #Constraints: 41954 2220.01/2227.79 c #Conflicts: 1532000 | #Constraints: 42955 2220.01/2227.79 c #Conflicts: 1533000 | #Constraints: 43955 2220.01/2227.79 c #Conflicts: 1534000 | #Constraints: 44956 2220.01/2227.79 c #Conflicts: 1535000 | #Constraints: 45956 2220.01/2227.79 c #Conflicts: 1536000 | #Constraints: 46956 2220.01/2227.79 c #Conflicts: 1537000 | #Constraints: 47956 2220.01/2227.79 c #Conflicts: 1538000 | #Constraints: 48956 2220.01/2227.79 c #Conflicts: 1539000 | #Constraints: 49957 2220.01/2227.79 c #Conflicts: 1540000 | #Constraints: 50964 2220.01/2227.79 c #Conflicts: 1541000 | #Constraints: 51964 2220.01/2227.79 c INPROCESSING 2220.01/2227.79 c GARBAGE COLLECT 2220.01/2227.79 c rational objective 55 2266.95/2274.85 c #Conflicts: 1542000 | #Constraints: 28265 2266.95/2274.85 c #Conflicts: 1543000 | #Constraints: 29269 2266.95/2274.85 c #Conflicts: 1544000 | #Constraints: 30269 2266.95/2274.85 c #Conflicts: 1545000 | #Constraints: 31271 2266.95/2274.85 c #Conflicts: 1546000 | #Constraints: 32272 2266.95/2274.85 c #Conflicts: 1547000 | #Constraints: 33272 2266.95/2274.85 c #Conflicts: 1548000 | #Constraints: 34278 2266.95/2274.85 c #Conflicts: 1549000 | #Constraints: 35278 2266.95/2274.85 c #Conflicts: 1550000 | #Constraints: 36282 2266.95/2274.85 c #Conflicts: 1551000 | #Constraints: 37285 2266.95/2274.85 c #Conflicts: 1552000 | #Constraints: 38287 2266.95/2274.85 c #Conflicts: 1553000 | #Constraints: 39290 2266.95/2274.85 c #Conflicts: 1554000 | #Constraints: 40291 2266.95/2274.85 c #Conflicts: 1555000 | #Constraints: 41296 2266.95/2274.85 c #Conflicts: 1556000 | #Constraints: 42296 2266.95/2274.85 c #Conflicts: 1557000 | #Constraints: 43297 2266.95/2274.85 c #Conflicts: 1558000 | #Constraints: 44300 2266.95/2274.85 c #Conflicts: 1559000 | #Constraints: 45301 2266.95/2274.85 c #Conflicts: 1560000 | #Constraints: 46303 2266.95/2274.85 c #Conflicts: 1561000 | #Constraints: 47303 2266.95/2274.85 c #Conflicts: 1562000 | #Constraints: 48307 2266.95/2274.85 c #Conflicts: 1563000 | #Constraints: 49308 2266.95/2274.85 c #Conflicts: 1564000 | #Constraints: 50309 2266.95/2274.85 c #Conflicts: 1565000 | #Constraints: 51310 2266.95/2274.85 c #Conflicts: 1566000 | #Constraints: 52310 2266.95/2274.85 c INPROCESSING 2266.95/2274.85 c GARBAGE COLLECT 2266.95/2274.85 c rational objective 55 2274.62/2282.55 c #Conflicts: 1567000 | #Constraints: 28443 2274.62/2282.55 c #Conflicts: 1568000 | #Constraints: 29524 2274.62/2282.55 WSVECS04 Frhs2[5]: 6 -16.0001 0 shouldn't be 2377.74/2386.00 c #Conflicts: 1569000 | #Constraints: 30537 2377.74/2386.00 c #Conflicts: 1570000 | #Constraints: 31537 2377.74/2386.00 c #Conflicts: 1571000 | #Constraints: 32540 2377.74/2386.00 c #Conflicts: 1572000 | #Constraints: 33569 2377.74/2386.00 c #Conflicts: 1573000 | #Constraints: 34569 2377.74/2386.00 c #Conflicts: 1574000 | #Constraints: 35569 2377.74/2386.00 c #Conflicts: 1575000 | #Constraints: 36569 2377.74/2386.00 c #Conflicts: 1576000 | #Constraints: 37569 2377.74/2386.00 c #Conflicts: 1577000 | #Constraints: 38569 2377.74/2386.00 c #Conflicts: 1578000 | #Constraints: 39640 2377.74/2386.00 c #Conflicts: 1579000 | #Constraints: 40640 2377.74/2386.00 c #Conflicts: 1580000 | #Constraints: 41640 2377.74/2386.00 c #Conflicts: 1581000 | #Constraints: 42640 2377.74/2386.00 c #Conflicts: 1582000 | #Constraints: 43640 2377.74/2386.00 c #Conflicts: 1583000 | #Constraints: 44672 2377.74/2386.00 c #Conflicts: 1584000 | #Constraints: 45722 2377.74/2386.00 c #Conflicts: 1585000 | #Constraints: 46879 2377.74/2386.00 c #Conflicts: 1586000 | #Constraints: 47879 2377.74/2386.00 c #Conflicts: 1587000 | #Constraints: 48880 2377.74/2386.00 c #Conflicts: 1588000 | #Constraints: 49895 2377.74/2386.00 c #Conflicts: 1589000 | #Constraints: 50895 2377.74/2386.00 c #Conflicts: 1590000 | #Constraints: 51895 2377.74/2386.00 c #Conflicts: 1591000 | #Constraints: 52895 2377.74/2386.00 c INPROCESSING 2377.74/2386.00 c GARBAGE COLLECT 2377.74/2386.00 c rational objective 55 2438.70/2447.25 c #Conflicts: 1592000 | #Constraints: 28633 2438.70/2447.25 c #Conflicts: 1593000 | #Constraints: 29633 2438.70/2447.25 c #Conflicts: 1594000 | #Constraints: 30633 2438.70/2447.25 c #Conflicts: 1595000 | #Constraints: 31633 2438.70/2447.25 c #Conflicts: 1596000 | #Constraints: 32633 2438.70/2447.25 c #Conflicts: 1597000 | #Constraints: 33633 2438.70/2447.25 c #Conflicts: 1598000 | #Constraints: 34633 2438.70/2447.25 c #Conflicts: 1599000 | #Constraints: 35633 2438.70/2447.25 c #Conflicts: 1600000 | #Constraints: 36633 2438.70/2447.25 c #Conflicts: 1601000 | #Constraints: 37633 2438.70/2447.25 c #Conflicts: 1602000 | #Constraints: 38633 2438.70/2447.25 c #Conflicts: 1603000 | #Constraints: 39633 2438.70/2447.25 c #Conflicts: 1604000 | #Constraints: 40633 2438.70/2447.25 c #Conflicts: 1605000 | #Constraints: 41633 2438.70/2447.25 c #Conflicts: 1606000 | #Constraints: 42633 2438.70/2447.25 c #Conflicts: 1607000 | #Constraints: 43633 2438.70/2447.25 c #Conflicts: 1608000 | #Constraints: 44633 2438.70/2447.25 c #Conflicts: 1609000 | #Constraints: 45633 2438.70/2447.25 c #Conflicts: 1610000 | #Constraints: 46633 2438.70/2447.25 c #Conflicts: 1611000 | #Constraints: 47633 2438.70/2447.25 c #Conflicts: 1612000 | #Constraints: 48633 2438.70/2447.25 c #Conflicts: 1613000 | #Constraints: 49633 2438.70/2447.25 c #Conflicts: 1614000 | #Constraints: 50633 2438.70/2447.25 c #Conflicts: 1615000 | #Constraints: 51633 2438.70/2447.25 c #Conflicts: 1616000 | #Constraints: 52633 2438.70/2447.25 c INPROCESSING 2438.70/2447.25 c GARBAGE COLLECT 2438.70/2447.25 c rational objective 55 2596.93/2606.09 c #Conflicts: 1617000 | #Constraints: 28298 2596.93/2606.09 c #Conflicts: 1618000 | #Constraints: 29308 2596.93/2606.09 c #Conflicts: 1619000 | #Constraints: 30318 2596.93/2606.09 c #Conflicts: 1620000 | #Constraints: 31333 2596.93/2606.09 c #Conflicts: 1621000 | #Constraints: 32342 2596.93/2606.09 c #Conflicts: 1622000 | #Constraints: 33362 2596.93/2606.09 c #Conflicts: 1623000 | #Constraints: 34384 2596.93/2606.09 c #Conflicts: 1624000 | #Constraints: 35389 2596.93/2606.09 c #Conflicts: 1625000 | #Constraints: 36390 2596.93/2606.09 c #Conflicts: 1626000 | #Constraints: 37405 2596.93/2606.09 c #Conflicts: 1627000 | #Constraints: 38405 2596.93/2606.09 c #Conflicts: 1628000 | #Constraints: 39418 2596.93/2606.09 c #Conflicts: 1629000 | #Constraints: 40442 2596.93/2606.09 c #Conflicts: 1630000 | #Constraints: 41444 2596.93/2606.09 c #Conflicts: 1631000 | #Constraints: 42475 2596.93/2606.09 c #Conflicts: 1632000 | #Constraints: 43475 2596.93/2606.09 c #Conflicts: 1633000 | #Constraints: 44665 2596.93/2606.09 c #Conflicts: 1634000 | #Constraints: 45727 2596.93/2606.09 c #Conflicts: 1635000 | #Constraints: 47069 2596.93/2606.09 c #Conflicts: 1636000 | #Constraints: 48077 2596.93/2606.09 c #Conflicts: 1637000 | #Constraints: 49078 2596.93/2606.09 c #Conflicts: 1638000 | #Constraints: 50180 2596.93/2606.09 c #Conflicts: 1639000 | #Constraints: 51180 2596.93/2606.09 c #Conflicts: 1640000 | #Constraints: 52180 2596.93/2606.09 c #Conflicts: 1641000 | #Constraints: 53180 2596.93/2606.09 c #Conflicts: 1642000 | #Constraints: 54183 2596.93/2606.09 c INPROCESSING 2596.93/2606.09 c GARBAGE COLLECT 2596.93/2606.09 c #Conflicts: 1643000 | #Constraints: 29293 2596.93/2606.09 c #Conflicts: 1644000 | #Constraints: 30295 2596.93/2606.09 c #Conflicts: 1645000 | #Constraints: 31297 2596.93/2606.09 c #Conflicts: 1646000 | #Constraints: 32316 2596.93/2606.09 c #Conflicts: 1647000 | #Constraints: 33320 2596.93/2606.09 c #Conflicts: 1648000 | #Constraints: 34320 2596.93/2606.09 c #Conflicts: 1649000 | #Constraints: 35323 2596.93/2606.09 c #Conflicts: 1650000 | #Constraints: 36324 2596.93/2606.09 c #Conflicts: 1651000 | #Constraints: 37324 2596.93/2606.09 c #Conflicts: 1652000 | #Constraints: 38341 2596.93/2606.09 c #Conflicts: 1653000 | #Constraints: 39341 2596.93/2606.09 c #Conflicts: 1654000 | #Constraints: 40348 2596.93/2606.09 c #Conflicts: 1655000 | #Constraints: 41363 2596.93/2606.09 c #Conflicts: 1656000 | #Constraints: 42366 2596.93/2606.09 c #Conflicts: 1657000 | #Constraints: 43371 2596.93/2606.09 c #Conflicts: 1658000 | #Constraints: 44422 2596.93/2606.09 c #Conflicts: 1659000 | #Constraints: 45423 2596.93/2606.09 c #Conflicts: 1660000 | #Constraints: 46426 2596.93/2606.09 c #Conflicts: 1661000 | #Constraints: 47427 2596.93/2606.09 c #Conflicts: 1662000 | #Constraints: 48427 2596.93/2606.09 c #Conflicts: 1663000 | #Constraints: 49433 2596.93/2606.09 c #Conflicts: 1664000 | #Constraints: 50433 2596.93/2606.09 c #Conflicts: 1665000 | #Constraints: 51436 2596.93/2606.09 c #Conflicts: 1666000 | #Constraints: 52439 2596.93/2606.09 c #Conflicts: 1667000 | #Constraints: 53439 2596.93/2606.09 c #Conflicts: 1668000 | #Constraints: 54442 2596.93/2606.09 c INPROCESSING 2596.93/2606.09 c GARBAGE COLLECT 2596.93/2606.09 c rational objective 55 2646.26/2655.55 c #Conflicts: 1669000 | #Constraints: 29515 2646.26/2655.55 c #Conflicts: 1670000 | #Constraints: 30518 2646.26/2655.55 c #Conflicts: 1671000 | #Constraints: 31518 2646.26/2655.55 c #Conflicts: 1672000 | #Constraints: 32519 2646.26/2655.55 c #Conflicts: 1673000 | #Constraints: 33532 2646.26/2655.55 c #Conflicts: 1674000 | #Constraints: 34537 2646.26/2655.55 c #Conflicts: 1675000 | #Constraints: 35538 2646.26/2655.55 c #Conflicts: 1676000 | #Constraints: 36541 2646.26/2655.55 c #Conflicts: 1677000 | #Constraints: 37552 2646.26/2655.55 c #Conflicts: 1678000 | #Constraints: 38553 2646.26/2655.55 c #Conflicts: 1679000 | #Constraints: 39555 2646.26/2655.55 c #Conflicts: 1680000 | #Constraints: 40556 2646.26/2655.55 c #Conflicts: 1681000 | #Constraints: 41561 2646.26/2655.55 c #Conflicts: 1682000 | #Constraints: 42565 2646.26/2655.55 c #Conflicts: 1683000 | #Constraints: 43566 2646.26/2655.55 c #Conflicts: 1684000 | #Constraints: 44575 2646.26/2655.55 c #Conflicts: 1685000 | #Constraints: 45581 2646.26/2655.55 c #Conflicts: 1686000 | #Constraints: 46584 2646.26/2655.55 c #Conflicts: 1687000 | #Constraints: 47586 2646.26/2655.55 c #Conflicts: 1688000 | #Constraints: 48586 2646.26/2655.55 c #Conflicts: 1689000 | #Constraints: 49588 2646.26/2655.55 c #Conflicts: 1690000 | #Constraints: 50616 2646.26/2655.55 c #Conflicts: 1691000 | #Constraints: 51623 2646.26/2655.55 c #Conflicts: 1692000 | #Constraints: 52625 2646.26/2655.55 c #Conflicts: 1693000 | #Constraints: 53634 2646.26/2655.55 c #Conflicts: 1694000 | #Constraints: 54641 2646.26/2655.55 c INPROCESSING 2646.26/2655.55 c GARBAGE COLLECT 2646.26/2655.55 c rational objective 55 2778.42/2788.10 c #Conflicts: 1695000 | #Constraints: 29592 2778.42/2788.10 c #Conflicts: 1696000 | #Constraints: 30592 2778.42/2788.10 c #Conflicts: 1697000 | #Constraints: 31592 2778.42/2788.10 c #Conflicts: 1698000 | #Constraints: 32592 2778.42/2788.10 c #Conflicts: 1699000 | #Constraints: 33592 2778.42/2788.10 c #Conflicts: 1700000 | #Constraints: 34592 2778.42/2788.10 c #Conflicts: 1701000 | #Constraints: 35592 2778.42/2788.10 c #Conflicts: 1702000 | #Constraints: 36592 2778.42/2788.10 c #Conflicts: 1703000 | #Constraints: 37592 2778.42/2788.10 c #Conflicts: 1704000 | #Constraints: 38592 2778.42/2788.10 c #Conflicts: 1705000 | #Constraints: 39592 2778.42/2788.10 c #Conflicts: 1706000 | #Constraints: 40592 2778.42/2788.10 c #Conflicts: 1707000 | #Constraints: 41592 2778.42/2788.10 c #Conflicts: 1708000 | #Constraints: 42592 2778.42/2788.10 c #Conflicts: 1709000 | #Constraints: 43592 2778.42/2788.10 c #Conflicts: 1710000 | #Constraints: 44592 2778.42/2788.10 c #Conflicts: 1711000 | #Constraints: 45592 2778.42/2788.10 c #Conflicts: 1712000 | #Constraints: 46592 2778.42/2788.10 c #Conflicts: 1713000 | #Constraints: 47592 2778.42/2788.10 c #Conflicts: 1714000 | #Constraints: 48592 2778.42/2788.10 c #Conflicts: 1715000 | #Constraints: 49592 2778.42/2788.10 c #Conflicts: 1716000 | #Constraints: 50592 2778.42/2788.10 c #Conflicts: 1717000 | #Constraints: 51592 2778.42/2788.10 c #Conflicts: 1718000 | #Constraints: 52592 2778.42/2788.10 c #Conflicts: 1719000 | #Constraints: 53592 2778.42/2788.10 c #Conflicts: 1720000 | #Constraints: 54592 2778.42/2788.10 c INPROCESSING 2778.42/2788.10 c GARBAGE COLLECT 2778.42/2788.10 c rational objective 55 2826.95/2836.88 c #Conflicts: 1721000 | #Constraints: 29499 2826.95/2836.88 c #Conflicts: 1722000 | #Constraints: 30499 2826.95/2836.88 c #Conflicts: 1723000 | #Constraints: 31500 2826.95/2836.88 c #Conflicts: 1724000 | #Constraints: 32504 2826.95/2836.88 c #Conflicts: 1725000 | #Constraints: 33512 2826.95/2836.88 c #Conflicts: 1726000 | #Constraints: 34519 2826.95/2836.88 c #Conflicts: 1727000 | #Constraints: 35519 2826.95/2836.88 c #Conflicts: 1728000 | #Constraints: 36522 2826.95/2836.88 c #Conflicts: 1729000 | #Constraints: 37524 2826.95/2836.88 c #Conflicts: 1730000 | #Constraints: 38556 2826.95/2836.88 c #Conflicts: 1731000 | #Constraints: 39635 2826.95/2836.88 c #Conflicts: 1732000 | #Constraints: 40767 2826.95/2836.88 c #Conflicts: 1733000 | #Constraints: 41953 2826.95/2836.88 c #Conflicts: 1734000 | #Constraints: 43419 2826.95/2836.88 c #Conflicts: 1735000 | #Constraints: 44813 2826.95/2836.88 c #Conflicts: 1736000 | #Constraints: 46018 2826.95/2836.88 c #Conflicts: 1737000 | #Constraints: 47210 2826.95/2836.88 c #Conflicts: 1738000 | #Constraints: 48279 2826.95/2836.88 c #Conflicts: 1739000 | #Constraints: 49389 2826.95/2836.88 c #Conflicts: 1740000 | #Constraints: 50518 2826.95/2836.88 c #Conflicts: 1741000 | #Constraints: 51540 2826.95/2836.88 c #Conflicts: 1742000 | #Constraints: 52716 2826.95/2836.88 c #Conflicts: 1743000 | #Constraints: 53720 2826.95/2836.88 c #Conflicts: 1744000 | #Constraints: 54731 2826.95/2836.88 c #Conflicts: 1745000 | #Constraints: 55731 2826.95/2836.88 c #Conflicts: 1746000 | #Constraints: 56749 2826.95/2836.88 c INPROCESSING 2826.95/2836.88 c GARBAGE COLLECT 2826.95/2836.88 c rational objective 55 2879.27/2889.32 c #Conflicts: 1747000 | #Constraints: 30361 2879.27/2889.32 c #Conflicts: 1748000 | #Constraints: 31361 2879.27/2889.32 c #Conflicts: 1749000 | #Constraints: 32361 2879.27/2889.32 c #Conflicts: 1750000 | #Constraints: 33361 2879.27/2889.32 c #Conflicts: 1751000 | #Constraints: 34361 2879.27/2889.32 c #Conflicts: 1752000 | #Constraints: 35361 2879.27/2889.32 c #Conflicts: 1753000 | #Constraints: 36361 2879.27/2889.32 c #Conflicts: 1754000 | #Constraints: 37361 2879.27/2889.32 c #Conflicts: 1755000 | #Constraints: 38361 2879.27/2889.32 c #Conflicts: 1756000 | #Constraints: 39361 2879.27/2889.32 c #Conflicts: 1757000 | #Constraints: 40361 2879.27/2889.32 c #Conflicts: 1758000 | #Constraints: 41361 2879.27/2889.32 c #Conflicts: 1759000 | #Constraints: 42361 2879.27/2889.32 c #Conflicts: 1760000 | #Constraints: 43361 2879.27/2889.32 c #Conflicts: 1761000 | #Constraints: 44361 2879.27/2889.32 c #Conflicts: 1762000 | #Constraints: 45361 2879.27/2889.32 c #Conflicts: 1763000 | #Constraints: 46361 2879.27/2889.32 c #Conflicts: 1764000 | #Constraints: 47361 2879.27/2889.32 c #Conflicts: 1765000 | #Constraints: 48361 2879.27/2889.32 c #Conflicts: 1766000 | #Constraints: 49361 2879.27/2889.32 c #Conflicts: 1767000 | #Constraints: 50361 2879.27/2889.32 c #Conflicts: 1768000 | #Constraints: 51361 2879.27/2889.32 c #Conflicts: 1769000 | #Constraints: 52361 2879.27/2889.32 c #Conflicts: 1770000 | #Constraints: 53361 2879.27/2889.32 c #Conflicts: 1771000 | #Constraints: 54361 2879.27/2889.32 c #Conflicts: 1772000 | #Constraints: 55361 2879.27/2889.32 c #Conflicts: 1773000 | #Constraints: 56361 2879.27/2889.32 c INPROCESSING 2879.27/2889.32 c GARBAGE COLLECT 2879.27/2889.32 c rational objective 55 2981.54/2991.99 c #Conflicts: 1774000 | #Constraints: 30369 2981.54/2991.99 c #Conflicts: 1775000 | #Constraints: 31369 2981.54/2991.99 c #Conflicts: 1776000 | #Constraints: 32369 2981.54/2991.99 c #Conflicts: 1777000 | #Constraints: 33369 2981.54/2991.99 c #Conflicts: 1778000 | #Constraints: 34369 2981.54/2991.99 c #Conflicts: 1779000 | #Constraints: 35369 2981.54/2991.99 c #Conflicts: 1780000 | #Constraints: 36369 2981.54/2991.99 c #Conflicts: 1781000 | #Constraints: 37370 2981.54/2991.99 c #Conflicts: 1782000 | #Constraints: 38370 2981.54/2991.99 c #Conflicts: 1783000 | #Constraints: 39372 2981.54/2991.99 c #Conflicts: 1784000 | #Constraints: 40372 2981.54/2991.99 c #Conflicts: 1785000 | #Constraints: 41372 2981.54/2991.99 c #Conflicts: 1786000 | #Constraints: 42372 2981.54/2991.99 c #Conflicts: 1787000 | #Constraints: 43373 2981.54/2991.99 c #Conflicts: 1788000 | #Constraints: 44373 2981.54/2991.99 c #Conflicts: 1789000 | #Constraints: 45376 2981.54/2991.99 c #Conflicts: 1790000 | #Constraints: 46376 2981.54/2991.99 c #Conflicts: 1791000 | #Constraints: 47376 2981.54/2991.99 c #Conflicts: 1792000 | #Constraints: 48376 2981.54/2991.99 c #Conflicts: 1793000 | #Constraints: 49377 2981.54/2991.99 c #Conflicts: 1794000 | #Constraints: 50377 2981.54/2991.99 c #Conflicts: 1795000 | #Constraints: 51377 2981.54/2991.99 c #Conflicts: 1796000 | #Constraints: 52387 2981.54/2991.99 c #Conflicts: 1797000 | #Constraints: 53387 2981.54/2991.99 c #Conflicts: 1798000 | #Constraints: 54387 2981.54/2991.99 c #Conflicts: 1799000 | #Constraints: 55388 2981.54/2991.99 c #Conflicts: 1800000 | #Constraints: 56388 2981.54/2991.99 c INPROCESSING 2981.54/2991.99 c GARBAGE COLLECT 2981.54/2991.99 c rational objective 55 3032.58/3043.17 c #Conflicts: 1801000 | #Constraints: 30506 3032.58/3043.17 c #Conflicts: 1802000 | #Constraints: 31527 3032.58/3043.17 c #Conflicts: 1803000 | #Constraints: 32528 3032.58/3043.17 c #Conflicts: 1804000 | #Constraints: 33528 3032.58/3043.17 c #Conflicts: 1805000 | #Constraints: 34534 3032.58/3043.17 c #Conflicts: 1806000 | #Constraints: 35534 3032.58/3043.17 c #Conflicts: 1807000 | #Constraints: 36562 3032.58/3043.17 c #Conflicts: 1808000 | #Constraints: 37573 3032.58/3043.17 c #Conflicts: 1809000 | #Constraints: 38573 3032.58/3043.17 c #Conflicts: 1810000 | #Constraints: 39574 3032.58/3043.17 c #Conflicts: 1811000 | #Constraints: 40576 3032.58/3043.17 c #Conflicts: 1812000 | #Constraints: 41576 3032.58/3043.17 c #Conflicts: 1813000 | #Constraints: 42584 3032.58/3043.17 c #Conflicts: 1814000 | #Constraints: 43603 3032.58/3043.17 c #Conflicts: 1815000 | #Constraints: 44647 3032.58/3043.17 c #Conflicts: 1816000 | #Constraints: 45648 3032.58/3043.17 c #Conflicts: 1817000 | #Constraints: 46650 3032.58/3043.17 c #Conflicts: 1818000 | #Constraints: 47666 3032.58/3043.17 c #Conflicts: 1819000 | #Constraints: 48674 3032.58/3043.17 c #Conflicts: 1820000 | #Constraints: 49674 3032.58/3043.17 c #Conflicts: 1821000 | #Constraints: 50675 3032.58/3043.17 c #Conflicts: 1822000 | #Constraints: 51679 3032.58/3043.17 c #Conflicts: 1823000 | #Constraints: 52713 3032.58/3043.17 c #Conflicts: 1824000 | #Constraints: 53733 3032.58/3043.17 c #Conflicts: 1825000 | #Constraints: 54742 3032.58/3043.17 c #Conflicts: 1826000 | #Constraints: 55743 3032.58/3043.17 c #Conflicts: 1827000 | #Constraints: 56745 3032.58/3043.17 c INPROCESSING 3032.58/3043.17 c GARBAGE COLLECT 3032.58/3043.17 c rational objective 55 3084.99/3095.79 c #Conflicts: 1828000 | #Constraints: 30652 3084.99/3095.79 c #Conflicts: 1829000 | #Constraints: 31662 3084.99/3095.79 c #Conflicts: 1830000 | #Constraints: 32663 3084.99/3095.79 c #Conflicts: 1831000 | #Constraints: 33668 3084.99/3095.79 c #Conflicts: 1832000 | #Constraints: 34670 3084.99/3095.79 c #Conflicts: 1833000 | #Constraints: 35721 3084.99/3095.79 c #Conflicts: 1834000 | #Constraints: 36732 3084.99/3095.79 c #Conflicts: 1835000 | #Constraints: 37805 3084.99/3095.79 c #Conflicts: 1836000 | #Constraints: 38806 3084.99/3095.79 c #Conflicts: 1837000 | #Constraints: 39817 3084.99/3095.79 c #Conflicts: 1838000 | #Constraints: 40832 3084.99/3095.79 c #Conflicts: 1839000 | #Constraints: 41840 3084.99/3095.79 c #Conflicts: 1840000 | #Constraints: 42879 3084.99/3095.79 c #Conflicts: 1841000 | #Constraints: 43879 3084.99/3095.79 c #Conflicts: 1842000 | #Constraints: 44879 3084.99/3095.79 c #Conflicts: 1843000 | #Constraints: 45886 3084.99/3095.79 c #Conflicts: 1844000 | #Constraints: 46888 3084.99/3095.79 c #Conflicts: 1845000 | #Constraints: 47891 3084.99/3095.79 c #Conflicts: 1846000 | #Constraints: 48892 3084.99/3095.79 c #Conflicts: 1847000 | #Constraints: 49923 3084.99/3095.79 c #Conflicts: 1848000 | #Constraints: 50926 3084.99/3095.79 c #Conflicts: 1849000 | #Constraints: 51937 3084.99/3095.79 c #Conflicts: 1850000 | #Constraints: 52942 3084.99/3095.79 c #Conflicts: 1851000 | #Constraints: 54230 3084.99/3095.79 c #Conflicts: 1852000 | #Constraints: 55245 3084.99/3095.79 c #Conflicts: 1853000 | #Constraints: 56250 3084.99/3095.79 c #Conflicts: 1854000 | #Constraints: 57262 3084.99/3095.79 c INPROCESSING 3084.99/3095.79 c GARBAGE COLLECT 3084.99/3095.79 c rational objective 55 3207.89/3219.09 c #Conflicts: 1855000 | #Constraints: 30847 3207.89/3219.09 c #Conflicts: 1856000 | #Constraints: 31847 3207.89/3219.09 c #Conflicts: 1857000 | #Constraints: 32847 3207.89/3219.09 c #Conflicts: 1858000 | #Constraints: 33847 3207.89/3219.09 c #Conflicts: 1859000 | #Constraints: 34847 3207.89/3219.09 c #Conflicts: 1860000 | #Constraints: 35847 3207.89/3219.09 c #Conflicts: 1861000 | #Constraints: 36847 3207.89/3219.09 c #Conflicts: 1862000 | #Constraints: 37847 3207.89/3219.09 c #Conflicts: 1863000 | #Constraints: 38847 3207.89/3219.09 c #Conflicts: 1864000 | #Constraints: 39931 3207.89/3219.09 c #Conflicts: 1865000 | #Constraints: 41197 3207.89/3219.09 c #Conflicts: 1866000 | #Constraints: 42301 3207.89/3219.09 c #Conflicts: 1867000 | #Constraints: 43305 3207.89/3219.09 c #Conflicts: 1868000 | #Constraints: 44343 3207.89/3219.09 c #Conflicts: 1869000 | #Constraints: 45946 3207.89/3219.09 c #Conflicts: 1870000 | #Constraints: 46987 3207.89/3219.09 c #Conflicts: 1871000 | #Constraints: 48209 3207.89/3219.09 c #Conflicts: 1872000 | #Constraints: 49678 3207.89/3219.09 c #Conflicts: 1873000 | #Constraints: 51020 3207.89/3219.09 c #Conflicts: 1874000 | #Constraints: 52186 3207.89/3219.09 c #Conflicts: 1875000 | #Constraints: 53979 3207.89/3219.09 c #Conflicts: 1876000 | #Constraints: 55549 3207.89/3219.09 c #Conflicts: 1877000 | #Constraints: 56739 3207.89/3219.09 c #Conflicts: 1878000 | #Constraints: 58398 3207.89/3219.09 c #Conflicts: 1879000 | #Constraints: 59412 3207.89/3219.09 c #Conflicts: 1880000 | #Constraints: 60497 3207.89/3219.09 c #Conflicts: 1881000 | #Constraints: 61705 3207.89/3219.09 c INPROCESSING 3207.89/3219.09 c GARBAGE COLLECT 3207.89/3219.09 c rational objective 55 3267.28/3278.62 c #Conflicts: 1882000 | #Constraints: 32949 3267.28/3278.62 c #Conflicts: 1883000 | #Constraints: 33949 3267.28/3278.62 c #Conflicts: 1884000 | #Constraints: 34949 3267.28/3278.62 c #Conflicts: 1885000 | #Constraints: 35949 3267.28/3278.62 c #Conflicts: 1886000 | #Constraints: 36949 3267.28/3278.62 c #Conflicts: 1887000 | #Constraints: 37949 3267.28/3278.62 c #Conflicts: 1888000 | #Constraints: 38949 3267.28/3278.62 c #Conflicts: 1889000 | #Constraints: 39949 3267.28/3278.62 c #Conflicts: 1890000 | #Constraints: 40949 3267.28/3278.62 c #Conflicts: 1891000 | #Constraints: 41949 3267.28/3278.62 c #Conflicts: 1892000 | #Constraints: 42949 3267.28/3278.62 c #Conflicts: 1893000 | #Constraints: 43949 3267.28/3278.62 c #Conflicts: 1894000 | #Constraints: 44949 3267.28/3278.62 c #Conflicts: 1895000 | #Constraints: 45949 3267.28/3278.62 c #Conflicts: 1896000 | #Constraints: 46949 3267.28/3278.62 c #Conflicts: 1897000 | #Constraints: 47949 3267.28/3278.62 c #Conflicts: 1898000 | #Constraints: 48949 3267.28/3278.62 c #Conflicts: 1899000 | #Constraints: 49949 3267.28/3278.62 c #Conflicts: 1900000 | #Constraints: 50949 3267.28/3278.62 c #Conflicts: 1901000 | #Constraints: 51949 3267.28/3278.62 c #Conflicts: 1902000 | #Constraints: 52949 3267.28/3278.62 c #Conflicts: 1903000 | #Constraints: 53949 3267.28/3278.62 c #Conflicts: 1904000 | #Constraints: 54949 3267.28/3278.62 c #Conflicts: 1905000 | #Constraints: 55949 3267.28/3278.62 c #Conflicts: 1906000 | #Constraints: 56949 3267.28/3278.62 c #Conflicts: 1907000 | #Constraints: 57949 3267.28/3278.62 c #Conflicts: 1908000 | #Constraints: 58949 3267.28/3278.62 c #Conflicts: 1909000 | #Constraints: 59949 3267.28/3278.62 c INPROCESSING 3267.28/3278.62 c GARBAGE COLLECT 3267.28/3278.62 c rational objective 55 3433.71/3445.68 c #Conflicts: 1910000 | #Constraints: 32154 3433.71/3445.68 c #Conflicts: 1911000 | #Constraints: 33154 3433.71/3445.68 c #Conflicts: 1912000 | #Constraints: 34154 3433.71/3445.68 c #Conflicts: 1913000 | #Constraints: 35154 3433.71/3445.68 c #Conflicts: 1914000 | #Constraints: 36154 3433.71/3445.68 c #Conflicts: 1915000 | #Constraints: 37154 3433.71/3445.68 c #Conflicts: 1916000 | #Constraints: 38154 3433.71/3445.68 c #Conflicts: 1917000 | #Constraints: 39154 3433.71/3445.68 c #Conflicts: 1918000 | #Constraints: 40154 3433.71/3445.68 c #Conflicts: 1919000 | #Constraints: 41154 3433.71/3445.68 c #Conflicts: 1920000 | #Constraints: 42154 3433.71/3445.68 c #Conflicts: 1921000 | #Constraints: 43154 3433.71/3445.68 c #Conflicts: 1922000 | #Constraints: 44154 3433.71/3445.68 c #Conflicts: 1923000 | #Constraints: 45154 3433.71/3445.68 c #Conflicts: 1924000 | #Constraints: 46154 3433.71/3445.68 c #Conflicts: 1925000 | #Constraints: 47154 3433.71/3445.68 c #Conflicts: 1926000 | #Constraints: 48154 3433.71/3445.68 c #Conflicts: 1927000 | #Constraints: 49154 3433.71/3445.68 c #Conflicts: 1928000 | #Constraints: 50154 3433.71/3445.68 c #Conflicts: 1929000 | #Constraints: 51154 3433.71/3445.68 c #Conflicts: 1930000 | #Constraints: 52154 3433.71/3445.68 c #Conflicts: 1931000 | #Constraints: 53154 3433.71/3445.68 c #Conflicts: 1932000 | #Constraints: 54154 3433.71/3445.68 c #Conflicts: 1933000 | #Constraints: 55154 3433.71/3445.68 c #Conflicts: 1934000 | #Constraints: 56154 3433.71/3445.68 c #Conflicts: 1935000 | #Constraints: 57154 3433.71/3445.68 c #Conflicts: 1936000 | #Constraints: 58154 3433.71/3445.68 c #Conflicts: 1937000 | #Constraints: 59154 3433.71/3445.68 c INPROCESSING 3433.71/3445.68 c GARBAGE COLLECT 3433.71/3445.68 c rational objective 55 3494.70/3506.82 c #Conflicts: 1938000 | #Constraints: 31880 3494.70/3506.82 c #Conflicts: 1939000 | #Constraints: 32883 3494.70/3506.82 c #Conflicts: 1940000 | #Constraints: 33884 3494.70/3506.82 c #Conflicts: 1941000 | #Constraints: 34884 3494.70/3506.82 c #Conflicts: 1942000 | #Constraints: 35886 3494.70/3506.82 c #Conflicts: 1943000 | #Constraints: 36892 3494.70/3506.82 c #Conflicts: 1944000 | #Constraints: 37893 3494.70/3506.82 c #Conflicts: 1945000 | #Constraints: 38903 3494.70/3506.82 c #Conflicts: 1946000 | #Constraints: 39906 3494.70/3506.82 c #Conflicts: 1947000 | #Constraints: 40908 3494.70/3506.82 c #Conflicts: 1948000 | #Constraints: 41913 3494.70/3506.82 c #Conflicts: 1949000 | #Constraints: 42917 3494.70/3506.82 c #Conflicts: 1950000 | #Constraints: 43925 3494.70/3506.82 c #Conflicts: 1951000 | #Constraints: 44959 3494.70/3506.82 c #Conflicts: 1952000 | #Constraints: 45961 3494.70/3506.82 c #Conflicts: 1953000 | #Constraints: 46964 3494.70/3506.82 c #Conflicts: 1954000 | #Constraints: 47967 3494.70/3506.82 c #Conflicts: 1955000 | #Constraints: 48967 3494.70/3506.82 c #Conflicts: 1956000 | #Constraints: 49968 3494.70/3506.82 c #Conflicts: 1957000 | #Constraints: 50973 3494.70/3506.82 c #Conflicts: 1958000 | #Constraints: 51973 3494.70/3506.82 c #Conflicts: 1959000 | #Constraints: 52976 3494.70/3506.82 c #Conflicts: 1960000 | #Constraints: 54004 3494.70/3506.82 c #Conflicts: 1961000 | #Constraints: 55005 3494.70/3506.82 c #Conflicts: 1962000 | #Constraints: 56016 3494.70/3506.82 c #Conflicts: 1963000 | #Constraints: 57023 3494.70/3506.82 c #Conflicts: 1964000 | #Constraints: 58026 3494.70/3506.82 c #Conflicts: 1965000 | #Constraints: 59026 3494.70/3506.82 c INPROCESSING 3494.70/3506.82 c GARBAGE COLLECT 3494.70/3506.82 c rational objective 55 3557.39/3569.79 c #Conflicts: 1966000 | #Constraints: 31809 3557.39/3569.79 c #Conflicts: 1967000 | #Constraints: 32809 3557.39/3569.79 c #Conflicts: 1968000 | #Constraints: 33809 3557.39/3569.79 c #Conflicts: 1969000 | #Constraints: 34823 3557.39/3569.79 c #Conflicts: 1970000 | #Constraints: 35823 3557.39/3569.79 c #Conflicts: 1971000 | #Constraints: 36830 3557.39/3569.79 c #Conflicts: 1972000 | #Constraints: 37832 3557.39/3569.79 c #Conflicts: 1973000 | #Constraints: 38834 3557.39/3569.79 c #Conflicts: 1974000 | #Constraints: 39834 3557.39/3569.79 c #Conflicts: 1975000 | #Constraints: 40834 3557.39/3569.79 c #Conflicts: 1976000 | #Constraints: 41834 3557.39/3569.79 c #Conflicts: 1977000 | #Constraints: 42834 3557.39/3569.79 c #Conflicts: 1978000 | #Constraints: 43834 3557.39/3569.79 c #Conflicts: 1979000 | #Constraints: 44834 3557.39/3569.79 c #Conflicts: 1980000 | #Constraints: 45834 3557.39/3569.79 c #Conflicts: 1981000 | #Constraints: 46834 3557.39/3569.79 c #Conflicts: 1982000 | #Constraints: 47834 3557.39/3569.79 c #Conflicts: 1983000 | #Constraints: 48834 3557.39/3569.79 c #Conflicts: 1984000 | #Constraints: 49834 3557.39/3569.79 c #Conflicts: 1985000 | #Constraints: 50834 3557.39/3569.79 c #Conflicts: 1986000 | #Constraints: 51834 3557.39/3569.79 c #Conflicts: 1987000 | #Constraints: 52834 3557.39/3569.79 c #Conflicts: 1988000 | #Constraints: 53834 3557.39/3569.79 c #Conflicts: 1989000 | #Constraints: 54834 3557.39/3569.79 c #Conflicts: 1990000 | #Constraints: 55834 3557.39/3569.79 c #Conflicts: 1991000 | #Constraints: 56834 3557.39/3569.79 c #Conflicts: 1992000 | #Constraints: 57834 3557.39/3569.79 c #Conflicts: 1993000 | #Constraints: 58845 3557.39/3569.79 c INPROCESSING 3557.39/3569.79 c GARBAGE COLLECT 3557.39/3569.79 c rational objective 55 3600.04/3612.50 c 3600.04/3612.50 s SATISFIABLE 3600.04/3612.50 v ~x1 ~x2 x3 ~x4 x5 ~x6 ~x7 x8 ~x9 x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 x22 ~x23 x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 x31 ~x32 x33 ~x34 ~x35 x36 ~x37 x38 ~x39 x40 ~x41 ~x42 x43 x44 x45 ~x46 x47 ~x48 ~x49 ~x50 x51 ~x52 x53 x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 x62 ~x63 x64 x65 ~x66 ~x67 ~x68 x69 ~x70 x71 ~x72 x73 x74 x75 ~x76 ~x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 ~x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 ~x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 ~x184 ~x185 ~x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 ~x211 x212 x213 x214 x215 x216 x217 ~x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 ~x236 ~x237 ~x238 x239 x240 x241 x242 x243 x244 x245 ~x246 x247 x248 x249 x250 x251 x252 ~x253 x254 x255 x256 x257 x258 x259 ~x260 ~x261 ~x262 x263 x264 x265 x266 ~x267 ~x268 x269 x270 x271 x272 ~x273 ~x274 x275 x276 x277 ~x278 ~x279 x280 x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 ~x300 x301 x302 x303 x304 x305 ~x306 ~x307 x308 x309 x310 x311 ~x312 ~x313 ~x314 x315 x316 x317 ~x318 ~x319 x320 x321 x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 ~x348 ~x349 x350 x351 x352 ~x353 ~x354 x355 x356 x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 ~x385 ~x386 x387 x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 x434 x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 ~x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 ~x505 ~x506 ~x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 ~x524 x525 x526 x527 x528 x529 x530 ~x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 ~x549 ~x550 ~x551 ~x552 x553 x554 x555 x556 x557 x558 ~x559 x560 x561 x562 x563 x564 x565 ~x566 ~x567 ~x568 x569 x570 x571 x572 ~x573 ~x574 x575 x576 x577 x578 ~x579 ~x580 x581 x582 x583 ~x584 ~x585 x586 x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 x594 x595 x596 x597 x598 x599 ~x600 x601 x602 x603 x604 x605 ~x606 ~x607 x608 x609 x610 x611 ~x612 ~x613 ~x614 x615 x616 x617 ~x618 ~x619 x620 x621 x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 ~x643 ~x644 x645 x646 x647 ~x648 ~x649 x650 x651 x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 x668 x669 x670 x671 x672 x673 x674 x675 ~x676 ~x677 x678 x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 x698 x699 x700 x701 x702 x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 ~x783 x784 x785 x786 x787 x788 x789 x790 ~x791 ~x792 x793 x794 x795 x796 x797 ~x798 ~x799 x800 x801 x802 x803 ~x804 x805 x806 x807 x808 ~x809 x810 x811 x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 x819 x820 x821 x822 x823 x824 ~x825 ~x826 x827 x828 x829 x830 ~x831 ~x832 x833 x834 x835 x836 ~x837 ~x838 x839 x840 x841 ~x842 ~x843 x844 x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 x852 x853 x854 x855 x856 ~x857 x858 x859 x860 x861 ~x862 ~x863 x864 x865 x866 ~x867 ~x868 x869 x870 x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 x882 x883 x884 x885 ~x886 x887 x888 x889 ~x890 ~x891 x892 x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 x908 x909 x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 x929 x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 x954 x955 x956 x957 x958 ~x959 ~x960 x961 x962 x963 x964 ~x965 x966 x967 x968 x969 ~x970 x971 x972 x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 ~x980 ~x981 x982 x983 x984 x985 ~x986 ~x987 x988 x989 x990 x991 ~x992 ~x993 x994 x995 x996 ~x997 x998 x999 x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 x1008 x1009 x1010 x1011 ~x1012 ~x1013 x1014 x1015 x1016 ~x1017 ~x1018 x1019 x1020 x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 x1033 x1034 x1035 ~x1036 x1037 x1038 x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 ~x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 ~x1110 ~x1111 ~x1112 x1113 x1114 x1115 x1116 x1117 ~x1118 x1119 x1120 x1121 x1122 x1123 x1124 x1125 x1126 ~x1127 x1128 x1129 ~x1130 ~x1131 ~x1132 x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 ~x1141 x1142 x1143 x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 x1151 x1152 x1153 ~x1154 x1155 x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 ~x1195 ~x1196 ~x1197 x1198 x1199 x1200 x1201 ~x1202 x1203 x1204 x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 x1212 x1213 x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 ~x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 ~x1245 ~x1246 ~x1247 x1248 x1249 x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 x1269 x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 x1288 3600.04/3612.50 c #Conflicts: 1994000 | #Constraints: 31634 3600.04/3612.50 c #Conflicts: 1995000 | #Constraints: 32634 3600.04/3612.50 c #Conflicts: 1996000 | #Constraints: 33634 3600.04/3612.50 c #Conflicts: 1997000 | #Constraints: 34634 3600.04/3612.50 c #Conflicts: 1998000 | #Constraints: 35634 3600.04/3612.50 c #Conflicts: 1999000 | #Constraints: 36634 3600.04/3612.50 c #Conflicts: 2000000 | #Constraints: 37634 3600.04/3612.50 c #Conflicts: 2001000 | #Constraints: 38634 3600.04/3612.50 c #Conflicts: 2002000 | #Constraints: 39634 3600.04/3612.50 c #Conflicts: 2003000 | #Constraints: 40634
OK 75
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61686 MiB free)
memory of node 1: 64473 MiB (63373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429433-1721048795/watcher-4429433-1721048795 -o /tmp/evaluation-result-4429433-1721048795/solver-4429433-1721048795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721048806-803032 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429433-1721048795.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=803278, runsolver pid=803275
[startup+0.10071 s]*
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=128046608/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=45096 memory=16088 CPUtime=0.09 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 4254 0 0 0 9 0 0 0 20 0 1 0 157043046 46178304 4022 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 11274 4022 1834 922 0 3226 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45096 KiB
Current children cumulated memory: 16088 KiB
[startup+0.205591 s]*
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=128038540/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=47192 memory=18200 CPUtime=0.2 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 4778 0 0 0 19 1 0 0 20 0 1 0 157043046 48324608 4550 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 11798 4550 1834 922 0 3750 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47192 KiB
Current children cumulated memory: 18200 KiB
[startup+0.305575 s]*
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=128023932/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=48792 memory=22156 CPUtime=0.3 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 5258 0 0 0 29 1 0 0 20 0 1 0 157043046 49963008 5539 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 12198 5539 1850 922 0 4150 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48792 KiB
Current children cumulated memory: 22156 KiB
[startup+0.700216 s]
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=128021720/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=50120 memory=23096 CPUtime=0.69 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 6988 0 0 0 66 3 0 0 20 0 1 0 157043046 51322880 5774 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 12530 5774 1850 922 0 4482 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50120 KiB
Current children cumulated memory: 23096 KiB
[startup+1.50017 s]
/proc/loadavg: 3.80 4.02 4.07 5/255 803279
/proc/meminfo: memFree=127990216/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=50120 memory=23096 CPUtime=1.48 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 6988 0 0 0 142 6 0 0 20 0 1 0 157043046 51322880 5774 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 12530 5774 1850 922 0 4482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50120 KiB
Current children cumulated memory: 23096 KiB
[startup+3.10574 s]
/proc/loadavg: 3.80 4.02 4.07 5/255 803281
/proc/meminfo: memFree=127874772/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=52284 memory=25872 CPUtime=3.09 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 9539 0 0 0 297 12 0 0 20 0 1 0 157043046 53538816 6468 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 13071 6468 1981 922 0 5023 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 52284 KiB
Current children cumulated memory: 25872 KiB
[startup+6.30015 s]
/proc/loadavg: 3.89 4.04 4.07 5/255 803281
/proc/meminfo: memFree=127642552/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=54232 memory=27628 CPUtime=6.27 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 11192 0 0 0 606 21 0 0 20 0 1 0 157043046 55533568 6907 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 13558 6907 1981 922 0 5510 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54232 KiB
Current children cumulated memory: 27628 KiB
[startup+12.7002 s]
/proc/loadavg: 3.90 4.04 4.07 5/255 803282
/proc/meminfo: memFree=127624676/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=54264 memory=27852 CPUtime=12.65 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 14798 0 0 0 1225 40 0 0 20 0 1 0 157043046 55566336 6963 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 13566 6963 1981 922 0 5518 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54264 KiB
Current children cumulated memory: 27852 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.05 4.08 5/254 803284
/proc/meminfo: memFree=127320208/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=61112 memory=34768 CPUtime=25.41 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 18636 0 0 0 2471 70 0 0 20 0 1 0 157043046 62578688 8692 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 15278 8692 1981 922 0 7230 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61112 KiB
Current children cumulated memory: 34768 KiB
[startup+51.1054 s]
/proc/loadavg: 4.00 4.05 4.07 5/254 803287
/proc/meminfo: memFree=126773752/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=60264 memory=34536 CPUtime=50.93 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 22751 0 0 0 4977 116 0 0 20 0 1 0 157043046 61710336 8634 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 15066 8634 1981 922 0 7018 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 60264 KiB
Current children cumulated memory: 34536 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.09 4.09 5/255 803298
/proc/meminfo: memFree=126575236/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=59032 memory=32288 CPUtime=101.97 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 29204 0 0 0 9992 205 0 0 20 0 1 0 157043046 60448768 8072 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 14758 8072 1981 922 0 6710 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 59032 KiB
Current children cumulated memory: 32288 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.09 5/255 803309
/proc/meminfo: memFree=126335868/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=68736 memory=43600 CPUtime=161.77 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 34349 0 0 0 15888 289 0 0 20 0 1 0 157043046 70385664 10900 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 17184 10900 1981 922 0 9136 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 68736 KiB
Current children cumulated memory: 43600 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.12 4.10 5/255 803319
/proc/meminfo: memFree=126324140/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=73128 memory=45620 CPUtime=221.57 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 42497 0 0 0 21792 365 0 0 20 0 1 0 157043046 74883072 11405 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 18282 11405 1981 922 0 10234 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 73128 KiB
Current children cumulated memory: 45620 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 803333
/proc/meminfo: memFree=125675604/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=75832 memory=48524 CPUtime=281.37 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 48119 0 0 0 27703 434 0 0 20 0 1 0 157043046 77651968 12131 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 18958 12131 1981 922 0 10910 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 75832 KiB
Current children cumulated memory: 48524 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 803344
/proc/meminfo: memFree=125647180/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=76372 memory=50984 CPUtime=341.16 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 51222 0 0 0 33616 500 0 0 20 0 1 0 157043046 78204928 12746 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 19093 12746 1981 922 0 11045 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 76372 KiB
Current children cumulated memory: 50984 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/256 803354
/proc/meminfo: memFree=125599076/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=76372 memory=50984 CPUtime=400.96 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 51249 0 0 0 39536 560 0 0 20 0 1 0 157043046 78204928 12746 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 19093 12746 1981 922 0 11045 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 76372 KiB
Current children cumulated memory: 50984 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 803365
/proc/meminfo: memFree=125346448/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=78500 memory=53020 CPUtime=460.75 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 52176 0 0 0 45459 616 0 0 20 0 1 0 157043046 80384000 13255 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 19625 13255 1981 922 0 11577 0
################
# More data... #
################
Current children cumulated memory: 70596 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 804535
/proc/meminfo: memFree=114052436/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112228 memory=77900 CPUtime=2912.18 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 80436 0 0 0 289202 2016 0 0 20 0 1 0 157043046 114921472 19475 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28057 19475 1981 922 0 20009 0
Current children cumulated CPU time: 2912.18 s
Current children cumulated vsize: 112228 KiB
Current children cumulated memory: 77900 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 804929
/proc/meminfo: memFree=114063468/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112228 memory=77900 CPUtime=2971.97 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 80465 0 0 0 295166 2031 0 0 20 0 1 0 157043046 114921472 19475 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28057 19475 1981 922 0 20009 0
Current children cumulated CPU time: 2971.97 s
Current children cumulated vsize: 112228 KiB
Current children cumulated memory: 77900 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 804940
/proc/meminfo: memFree=114063400/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112228 memory=78024 CPUtime=3031.78 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 80491 0 0 0 301117 2061 0 0 20 0 1 0 157043046 114921472 19506 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28057 19506 1981 922 0 20009 0
Current children cumulated CPU time: 3031.78 s
Current children cumulated vsize: 112228 KiB
Current children cumulated memory: 78024 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 804950
/proc/meminfo: memFree=114065488/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=109824 memory=75560 CPUtime=3091.57 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 81522 0 0 0 307064 2093 0 0 20 0 1 0 157043046 112459776 18890 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 27456 18890 1981 922 0 19408 0
Current children cumulated CPU time: 3091.57 s
Current children cumulated vsize: 109824 KiB
Current children cumulated memory: 75560 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 805130
/proc/meminfo: memFree=114064704/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=109824 memory=75620 CPUtime=3151.37 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 81548 0 0 0 313026 2111 0 0 20 0 1 0 157043046 112459776 18905 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 27456 18905 1981 922 0 19408 0
Current children cumulated CPU time: 3151.37 s
Current children cumulated vsize: 109824 KiB
Current children cumulated memory: 75620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 805140
/proc/meminfo: memFree=114060256/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112012 memory=79652 CPUtime=3211.17 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82126 0 0 0 318989 2128 0 0 20 0 1 0 157043046 114700288 19913 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28003 19913 1981 922 0 19955 0
Current children cumulated CPU time: 3211.17 s
Current children cumulated vsize: 112012 KiB
Current children cumulated memory: 79652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 805164
/proc/meminfo: memFree=114059796/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112012 memory=79856 CPUtime=3270.97 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82152 0 0 0 324945 2152 0 0 20 0 1 0 157043046 114700288 19964 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28003 19964 1981 922 0 19955 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 112012 KiB
Current children cumulated memory: 79856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/256 805174
/proc/meminfo: memFree=114047996/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112012 memory=79856 CPUtime=3330.77 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82177 0 0 0 330906 2171 0 0 20 0 1 0 157043046 114700288 19964 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28003 19964 1981 922 0 19955 0
Current children cumulated CPU time: 3330.77 s
Current children cumulated vsize: 112012 KiB
Current children cumulated memory: 79856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 805184
/proc/meminfo: memFree=114047836/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112012 memory=79856 CPUtime=3390.56 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82206 0 0 0 336871 2185 0 0 20 0 1 0 157043046 114700288 19964 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28003 19964 1981 922 0 19955 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 112012 KiB
Current children cumulated memory: 79856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.14 4.10 5/255 805196
/proc/meminfo: memFree=114058868/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112480 memory=80272 CPUtime=3450.35 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82352 0 0 0 342833 2202 0 0 20 0 1 0 157043046 115179520 20068 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28120 20068 1981 922 0 20072 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 112480 KiB
Current children cumulated memory: 80272 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 805206
/proc/meminfo: memFree=114046856/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=112480 memory=80272 CPUtime=3510.15 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82378 0 0 0 348783 2232 0 0 20 0 1 0 157043046 115179520 20068 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 28120 20068 1981 922 0 20072 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 112480 KiB
Current children cumulated memory: 80272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 805216
/proc/meminfo: memFree=114054528/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=116224 memory=83956 CPUtime=3569.95 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82829 0 0 0 354739 2256 0 0 20 0 1 0 157043046 119013376 20989 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 29056 20989 1981 922 0 21008 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 116224 KiB
Current children cumulated memory: 83956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805406
/proc/meminfo: memFree=128062776/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=116224 memory=83956 CPUtime=3600.04 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82829 0 0 0 357739 2265 0 0 20 0 1 0 157043046 119013376 20989 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 29056 20989 1981 922 0 21008 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 116224 KiB
Current children cumulated memory: 83956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.5 s]
# the end of solver process 803278 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3577.4 s, system=22.659 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 805406
/proc/meminfo: memFree=128062776/131524600 swapFree=131071996/131071996
[pid=803278] ppid=803275 vsize=116224 memory=83956 CPUtime=3600.04 cores=0,2
/proc/803278/stat : 803278 (roundingsat) R 803275 803278 803022 0 -1 4194304 82829 0 0 0 357739 2265 0 0 20 0 1 0 157043046 119013376 20989 134679101440 4194304 7968869 140726149081024 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 30236672 140726149088190 140726149088354 140726149088354 140726149095369 0
/proc/803278/statm: 29056 20989 1981 922 0 21008 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 116224 KiB
Current children cumulated memory: 83956 KiB
Child status: 1
Real time (s): 3612.5
CPU time (s): 3600.05
CPU user time (s): 3577.4
CPU system time (s): 22.659
CPU usage (%): 99.6554
Max. virtual memory (cumulated for all children) (KiB): 116224
Max. memory (cumulated for all children) (KiB): 83956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.4
system time used= 22.659
maximum resident set size= 83956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 24674
# summary of solver processes directly reported to runsolver:
# pid: 803278
# total CPU time (s): 3600.05
# total CPU user time (s): 3577.4
# total CPU system time (s): 22.659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00844 second user time and 15.8383 second system time
The end
Begin job on nodeC020 at 2024-07-15 15:06:48 IDJOB=4429433 IDBENCH=147695 IDSOLVER=3051 FILE ID=nodeC020/4429433-1721048795 RUNJOBID= nodeC020-1721048806-803032 SLURM_JOB_ID= 7505471 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429433-1721048795/watcher-4429433-1721048795 -o /tmp/evaluation-result-4429433-1721048795/solver-4429433-1721048795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721048806-803032 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429433-1721048795.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f RANDOM SEED=1325837340 nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3651.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.193 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.993 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.514 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3662.391 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.224 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.811 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.033 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128062520 kB MemAvailable: 129545332 kB Buffers: 362356 kB Cached: 1946184 kB SwapCached: 0 kB Active: 587360 kB Inactive: 2260552 kB Active(anon): 1624 kB Inactive(anon): 575484 kB Active(file): 585736 kB Inactive(file): 1685068 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 24048 kB Writeback: 0 kB AnonPages: 538792 kB Mapped: 112220 kB Shmem: 37720 kB KReclaimable: 103660 kB Slab: 209236 kB SReclaimable: 103660 kB SUnreclaim: 105576 kB KernelStack: 4072 kB PageTables: 10604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 874864 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58752 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 187092 kB DirectMap2M: 14266368 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 890060 MiB End job on nodeC020 at 2024-07-15 16:07:01