| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.09 | 3612.46 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx63.opb |
| MD5SUM | 7c2ff02722ff3a09887b085a032d3a00 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 71553.6 |
| 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 | 3216 |
| Total number of constraints | 3658 |
| Number of constraints which are clauses | 3210 |
| Number of constraints which are cardinality constraints (but not clauses) | 64 |
| Number of constraints which are nor clauses,nor cardinality constraints | 384 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 384 |
| Number of terms in the objective function | 6 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6 |
| Number of bits of the sum of numbers in the objective function | 3 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 786 |
| 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 3216 #constraints 3721 0.00/0.06 c bounds - >= 0 @ 0.019594 0.00/0.06 c rational objective 6 0.87/0.95 c #Conflicts: 1000 | #Constraints: 4725 0.87/0.95 c #Conflicts: 2000 | #Constraints: 5726 0.87/0.95 c INPROCESSING 0.87/0.95 c GARBAGE COLLECT 0.87/0.95 c rational objective 6 2.08/2.12 c bounds - >= 6 @ 0.897274 2.08/2.12 c #Conflicts: 3000 | #Constraints: 2524 2.08/2.12 c #Conflicts: 4000 | #Constraints: 3528 2.08/2.12 c INPROCESSING 2.08/2.12 c GARBAGE COLLECT 2.08/2.12 c rational objective 6 3.47/3.58 c #Conflicts: 5000 | #Constraints: 2939 3.47/3.58 c #Conflicts: 6000 | #Constraints: 3940 3.47/3.58 c INPROCESSING 3.47/3.58 c GARBAGE COLLECT 3.47/3.58 c rational objective 6 5.16/5.23 c #Conflicts: 7000 | #Constraints: 2947 5.16/5.23 c #Conflicts: 8000 | #Constraints: 3947 5.16/5.23 c #Conflicts: 9000 | #Constraints: 4947 5.16/5.23 c INPROCESSING 5.16/5.23 c GARBAGE COLLECT 5.16/5.23 c rational objective 6 7.06/7.11 c #Conflicts: 10000 | #Constraints: 3646 7.06/7.11 c #Conflicts: 11000 | #Constraints: 4647 7.06/7.11 c #Conflicts: 12000 | #Constraints: 5649 7.06/7.11 c INPROCESSING 7.06/7.11 c GARBAGE COLLECT 7.06/7.11 c rational objective 6 9.75/9.80 c #Conflicts: 13000 | #Constraints: 4097 9.75/9.80 c #Conflicts: 14000 | #Constraints: 5098 9.75/9.80 c #Conflicts: 15000 | #Constraints: 6100 9.75/9.80 c INPROCESSING 9.75/9.80 c GARBAGE COLLECT 9.75/9.80 c rational objective 6 14.03/14.15 c #Conflicts: 16000 | #Constraints: 4327 14.03/14.15 c #Conflicts: 17000 | #Constraints: 5330 14.03/14.15 c #Conflicts: 18000 | #Constraints: 6334 14.03/14.15 c INPROCESSING 14.03/14.15 c GARBAGE COLLECT 14.03/14.15 c rational objective 6 16.53/16.60 c #Conflicts: 19000 | #Constraints: 4352 16.53/16.60 c #Conflicts: 20000 | #Constraints: 5358 16.53/16.60 c #Conflicts: 21000 | #Constraints: 6362 16.53/16.60 c INPROCESSING 16.53/16.60 c GARBAGE COLLECT 16.53/16.60 c rational objective 6 19.81/19.97 c #Conflicts: 22000 | #Constraints: 4160 19.81/19.97 c #Conflicts: 23000 | #Constraints: 5164 19.81/19.97 c #Conflicts: 24000 | #Constraints: 6167 19.81/19.97 c #Conflicts: 25000 | #Constraints: 7170 19.81/19.97 c INPROCESSING 19.81/19.97 c GARBAGE COLLECT 19.81/19.97 c rational objective 6 23.20/23.39 c #Conflicts: 26000 | #Constraints: 4768 23.20/23.39 c #Conflicts: 27000 | #Constraints: 5772 23.20/23.39 c #Conflicts: 28000 | #Constraints: 6778 23.20/23.39 c #Conflicts: 29000 | #Constraints: 7783 23.20/23.39 c INPROCESSING 23.20/23.39 c GARBAGE COLLECT 23.20/23.39 c rational objective 6 26.59/26.72 c #Conflicts: 30000 | #Constraints: 5163 26.59/26.72 c #Conflicts: 31000 | #Constraints: 6170 26.59/26.72 c #Conflicts: 32000 | #Constraints: 7174 26.59/26.72 c #Conflicts: 33000 | #Constraints: 8179 26.59/26.72 c INPROCESSING 26.59/26.72 c GARBAGE COLLECT 26.59/26.72 c rational objective 6 31.37/31.54 c #Conflicts: 34000 | #Constraints: 5367 31.37/31.54 c #Conflicts: 35000 | #Constraints: 6369 31.37/31.54 c #Conflicts: 36000 | #Constraints: 7371 31.37/31.54 c #Conflicts: 37000 | #Constraints: 8373 31.37/31.54 c INPROCESSING 31.37/31.54 c GARBAGE COLLECT 31.37/31.54 c rational objective 6 35.66/35.83 c #Conflicts: 38000 | #Constraints: 5374 35.66/35.83 c #Conflicts: 39000 | #Constraints: 6376 35.66/35.83 c #Conflicts: 40000 | #Constraints: 7380 35.66/35.83 c #Conflicts: 41000 | #Constraints: 8380 35.66/35.83 c INPROCESSING 35.66/35.83 c GARBAGE COLLECT 35.66/35.83 c rational objective 6 41.94/42.17 c #Conflicts: 42000 | #Constraints: 5166 41.94/42.17 c #Conflicts: 43000 | #Constraints: 6172 41.94/42.17 c #Conflicts: 44000 | #Constraints: 7174 41.94/42.17 c #Conflicts: 45000 | #Constraints: 8177 41.94/42.17 c #Conflicts: 46000 | #Constraints: 9178 41.94/42.17 c INPROCESSING 41.94/42.17 c GARBAGE COLLECT 41.94/42.17 c rational objective 6 45.93/46.19 c #Conflicts: 47000 | #Constraints: 5756 45.93/46.19 c #Conflicts: 48000 | #Constraints: 6758 45.93/46.19 c #Conflicts: 49000 | #Constraints: 7760 45.93/46.19 c #Conflicts: 50000 | #Constraints: 8763 45.93/46.19 c #Conflicts: 51000 | #Constraints: 9765 45.93/46.19 c INPROCESSING 45.93/46.19 c GARBAGE COLLECT 45.93/46.19 c rational objective 6 50.31/50.57 c #Conflicts: 52000 | #Constraints: 6165 50.31/50.57 c #Conflicts: 53000 | #Constraints: 7165 50.31/50.57 c #Conflicts: 54000 | #Constraints: 8166 50.31/50.57 c #Conflicts: 55000 | #Constraints: 9170 50.31/50.57 c #Conflicts: 56000 | #Constraints: 10174 50.31/50.57 c INPROCESSING 50.31/50.57 c GARBAGE COLLECT 50.31/50.57 c rational objective 6 54.10/54.35 c #Conflicts: 57000 | #Constraints: 6359 54.10/54.35 c #Conflicts: 58000 | #Constraints: 7363 54.10/54.35 c #Conflicts: 59000 | #Constraints: 8365 54.10/54.35 c #Conflicts: 60000 | #Constraints: 9370 54.10/54.35 c #Conflicts: 61000 | #Constraints: 10375 54.10/54.35 c INPROCESSING 54.10/54.35 c GARBAGE COLLECT 54.10/54.35 c rational objective 6 58.48/58.71 c #Conflicts: 62000 | #Constraints: 6368 58.48/58.71 c #Conflicts: 63000 | #Constraints: 7371 58.48/58.71 c #Conflicts: 64000 | #Constraints: 8374 58.48/58.71 c #Conflicts: 65000 | #Constraints: 9380 58.48/58.71 c #Conflicts: 66000 | #Constraints: 10382 58.48/58.71 c INPROCESSING 58.48/58.71 c GARBAGE COLLECT 58.48/58.71 c rational objective 6 62.77/63.05 c #Conflicts: 67000 | #Constraints: 6160 62.77/63.05 c #Conflicts: 68000 | #Constraints: 7161 62.77/63.05 c #Conflicts: 69000 | #Constraints: 8163 62.77/63.05 c #Conflicts: 70000 | #Constraints: 9164 62.77/63.05 c #Conflicts: 71000 | #Constraints: 10167 62.77/63.05 c #Conflicts: 72000 | #Constraints: 11168 62.77/63.05 c INPROCESSING 62.77/63.05 c GARBAGE COLLECT 62.77/63.05 c rational objective 6 67.76/68.04 c #Conflicts: 73000 | #Constraints: 6758 67.76/68.04 c #Conflicts: 74000 | #Constraints: 7761 67.76/68.04 c #Conflicts: 75000 | #Constraints: 8762 67.76/68.04 c #Conflicts: 76000 | #Constraints: 9763 67.76/68.04 c #Conflicts: 77000 | #Constraints: 10768 67.76/68.04 c #Conflicts: 78000 | #Constraints: 11773 67.76/68.04 c INPROCESSING 67.76/68.04 c GARBAGE COLLECT 67.76/68.04 c rational objective 6 73.84/74.12 c #Conflicts: 79000 | #Constraints: 7160 73.84/74.12 c #Conflicts: 80000 | #Constraints: 8165 73.84/74.12 c #Conflicts: 81000 | #Constraints: 9168 73.84/74.12 c #Conflicts: 82000 | #Constraints: 10172 73.84/74.12 c #Conflicts: 83000 | #Constraints: 11175 73.84/74.12 c #Conflicts: 84000 | #Constraints: 12179 73.84/74.12 c INPROCESSING 73.84/74.12 c GARBAGE COLLECT 73.84/74.12 c rational objective 6 80.10/80.49 c #Conflicts: 85000 | #Constraints: 7376 80.10/80.49 c #Conflicts: 86000 | #Constraints: 8379 80.10/80.49 c #Conflicts: 87000 | #Constraints: 9381 80.10/80.49 c #Conflicts: 88000 | #Constraints: 10383 80.10/80.49 c #Conflicts: 89000 | #Constraints: 11384 80.10/80.49 c #Conflicts: 90000 | #Constraints: 12388 80.10/80.49 c INPROCESSING 80.10/80.49 c GARBAGE COLLECT 80.10/80.49 c rational objective 6 88.48/88.89 c #Conflicts: 91000 | #Constraints: 7375 88.48/88.89 c #Conflicts: 92000 | #Constraints: 8380 88.48/88.89 c #Conflicts: 93000 | #Constraints: 9382 88.48/88.89 c #Conflicts: 94000 | #Constraints: 10383 88.48/88.89 c #Conflicts: 95000 | #Constraints: 11384 88.48/88.89 c #Conflicts: 96000 | #Constraints: 12385 88.48/88.89 c INPROCESSING 88.48/88.89 c GARBAGE COLLECT 88.48/88.89 c rational objective 6 94.86/95.21 c #Conflicts: 97000 | #Constraints: 7171 94.86/95.21 c #Conflicts: 98000 | #Constraints: 8175 94.86/95.21 c #Conflicts: 99000 | #Constraints: 9177 94.86/95.21 c #Conflicts: 100000 | #Constraints: 10180 94.86/95.21 c #Conflicts: 101000 | #Constraints: 11182 94.86/95.21 c #Conflicts: 102000 | #Constraints: 12182 94.86/95.21 c #Conflicts: 103000 | #Constraints: 13186 94.86/95.21 c INPROCESSING 94.86/95.21 c GARBAGE COLLECT 94.86/95.21 c rational objective 6 101.14/101.52 c #Conflicts: 104000 | #Constraints: 7762 101.14/101.52 c #Conflicts: 105000 | #Constraints: 8766 101.14/101.52 c #Conflicts: 106000 | #Constraints: 9768 101.14/101.52 c #Conflicts: 107000 | #Constraints: 10771 101.14/101.52 c #Conflicts: 108000 | #Constraints: 11773 101.14/101.52 c #Conflicts: 109000 | #Constraints: 12778 101.14/101.52 c #Conflicts: 110000 | #Constraints: 13782 101.14/101.52 c INPROCESSING 101.14/101.52 c GARBAGE COLLECT 101.14/101.52 c rational objective 6 106.73/107.18 c #Conflicts: 111000 | #Constraints: 8160 106.73/107.18 c #Conflicts: 112000 | #Constraints: 9161 106.73/107.18 c #Conflicts: 113000 | #Constraints: 10164 106.73/107.18 c #Conflicts: 114000 | #Constraints: 11169 106.73/107.18 c #Conflicts: 115000 | #Constraints: 12172 106.73/107.18 c #Conflicts: 116000 | #Constraints: 13174 106.73/107.18 c #Conflicts: 117000 | #Constraints: 14182 106.73/107.18 c INPROCESSING 106.73/107.18 c GARBAGE COLLECT 106.73/107.18 c rational objective 6 112.30/112.77 c #Conflicts: 118000 | #Constraints: 8364 112.30/112.77 c #Conflicts: 119000 | #Constraints: 9366 112.30/112.77 c #Conflicts: 120000 | #Constraints: 10369 112.30/112.77 c #Conflicts: 121000 | #Constraints: 11370 112.30/112.77 c #Conflicts: 122000 | #Constraints: 12374 112.30/112.77 c #Conflicts: 123000 | #Constraints: 13378 112.30/112.77 c #Conflicts: 124000 | #Constraints: 14383 112.30/112.77 c INPROCESSING 112.30/112.77 c GARBAGE COLLECT 112.30/112.77 c rational objective 6 117.88/118.39 c #Conflicts: 125000 | #Constraints: 8362 117.88/118.39 c #Conflicts: 126000 | #Constraints: 9366 117.88/118.39 c #Conflicts: 127000 | #Constraints: 10369 117.88/118.39 c #Conflicts: 128000 | #Constraints: 11371 117.88/118.39 c #Conflicts: 129000 | #Constraints: 12373 117.88/118.39 c #Conflicts: 130000 | #Constraints: 13378 117.88/118.39 c #Conflicts: 131000 | #Constraints: 14382 117.88/118.39 c INPROCESSING 117.88/118.39 c GARBAGE COLLECT 117.88/118.39 c rational objective 6 123.96/124.47 c #Conflicts: 132000 | #Constraints: 8155 123.96/124.47 c #Conflicts: 133000 | #Constraints: 9155 123.96/124.47 c #Conflicts: 134000 | #Constraints: 10158 123.96/124.47 c #Conflicts: 135000 | #Constraints: 11160 123.96/124.47 c #Conflicts: 136000 | #Constraints: 12165 123.96/124.47 c #Conflicts: 137000 | #Constraints: 13169 123.96/124.47 c #Conflicts: 138000 | #Constraints: 14171 123.96/124.47 c #Conflicts: 139000 | #Constraints: 15173 123.96/124.47 c INPROCESSING 123.96/124.47 c GARBAGE COLLECT 123.96/124.47 c rational objective 6 139.01/139.52 c #Conflicts: 140000 | #Constraints: 8776 139.01/139.52 c #Conflicts: 141000 | #Constraints: 9778 139.01/139.52 c #Conflicts: 142000 | #Constraints: 10780 139.01/139.52 c #Conflicts: 143000 | #Constraints: 11782 139.01/139.52 c #Conflicts: 144000 | #Constraints: 12785 139.01/139.52 c #Conflicts: 145000 | #Constraints: 13786 139.01/139.52 c #Conflicts: 146000 | #Constraints: 14788 139.01/139.52 c #Conflicts: 147000 | #Constraints: 15789 139.01/139.52 c INPROCESSING 139.01/139.52 c GARBAGE COLLECT 139.01/139.52 c rational objective 6 145.78/146.31 c #Conflicts: 148000 | #Constraints: 9176 145.78/146.31 c #Conflicts: 149000 | #Constraints: 10179 145.78/146.31 c #Conflicts: 150000 | #Constraints: 11188 145.78/146.31 c #Conflicts: 151000 | #Constraints: 12193 145.78/146.31 c #Conflicts: 152000 | #Constraints: 13195 145.78/146.31 c #Conflicts: 153000 | #Constraints: 14200 145.78/146.31 c #Conflicts: 154000 | #Constraints: 15203 145.78/146.31 c #Conflicts: 155000 | #Constraints: 16205 145.78/146.31 c INPROCESSING 145.78/146.31 c GARBAGE COLLECT 145.78/146.31 c rational objective 6 153.15/153.76 c #Conflicts: 156000 | #Constraints: 9371 153.15/153.76 c #Conflicts: 157000 | #Constraints: 10379 153.15/153.76 c #Conflicts: 158000 | #Constraints: 11384 153.15/153.76 c #Conflicts: 159000 | #Constraints: 12387 153.15/153.76 c #Conflicts: 160000 | #Constraints: 13390 153.15/153.76 c #Conflicts: 161000 | #Constraints: 14393 153.15/153.76 c #Conflicts: 162000 | #Constraints: 15397 153.15/153.76 c #Conflicts: 163000 | #Constraints: 16401 153.15/153.76 c INPROCESSING 153.15/153.76 c GARBAGE COLLECT 153.15/153.76 c rational objective 6 159.92/160.55 c #Conflicts: 164000 | #Constraints: 9373 159.92/160.55 c #Conflicts: 165000 | #Constraints: 10379 159.92/160.55 c #Conflicts: 166000 | #Constraints: 11386 159.92/160.55 c #Conflicts: 167000 | #Constraints: 12393 159.92/160.55 c #Conflicts: 168000 | #Constraints: 13396 159.92/160.55 c #Conflicts: 169000 | #Constraints: 14398 159.92/160.55 c #Conflicts: 170000 | #Constraints: 15404 159.92/160.55 c #Conflicts: 171000 | #Constraints: 16408 159.92/160.55 c INPROCESSING 159.92/160.55 c GARBAGE COLLECT 159.92/160.55 c rational objective 6 167.50/168.12 c #Conflicts: 172000 | #Constraints: 9174 167.50/168.12 c #Conflicts: 173000 | #Constraints: 10175 167.50/168.12 c #Conflicts: 174000 | #Constraints: 11176 167.50/168.12 c #Conflicts: 175000 | #Constraints: 12179 167.50/168.12 c #Conflicts: 176000 | #Constraints: 13182 167.50/168.12 c #Conflicts: 177000 | #Constraints: 14186 167.50/168.12 c #Conflicts: 178000 | #Constraints: 15191 167.50/168.12 c #Conflicts: 179000 | #Constraints: 16198 167.50/168.12 c #Conflicts: 180000 | #Constraints: 17202 167.50/168.12 c INPROCESSING 167.50/168.12 c GARBAGE COLLECT 167.50/168.12 c rational objective 6 184.34/185.09 c #Conflicts: 181000 | #Constraints: 9774 184.34/185.09 c #Conflicts: 182000 | #Constraints: 10777 184.34/185.09 c #Conflicts: 183000 | #Constraints: 11778 184.34/185.09 c #Conflicts: 184000 | #Constraints: 12780 184.34/185.09 c #Conflicts: 185000 | #Constraints: 13783 184.34/185.09 c #Conflicts: 186000 | #Constraints: 14785 184.34/185.09 c #Conflicts: 187000 | #Constraints: 15786 184.34/185.09 c #Conflicts: 188000 | #Constraints: 16787 184.34/185.09 c #Conflicts: 189000 | #Constraints: 17792 184.34/185.09 c INPROCESSING 184.34/185.09 c GARBAGE COLLECT 184.34/185.09 c rational objective 6 197.08/197.83 c #Conflicts: 190000 | #Constraints: 10164 197.08/197.83 c #Conflicts: 191000 | #Constraints: 11169 197.08/197.83 c #Conflicts: 192000 | #Constraints: 12175 197.08/197.83 c #Conflicts: 193000 | #Constraints: 13177 197.08/197.83 c #Conflicts: 194000 | #Constraints: 14181 197.08/197.83 c #Conflicts: 195000 | #Constraints: 15189 197.08/197.83 c #Conflicts: 196000 | #Constraints: 16194 197.08/197.83 c #Conflicts: 197000 | #Constraints: 17202 197.08/197.83 c #Conflicts: 198000 | #Constraints: 18206 197.08/197.83 c INPROCESSING 197.08/197.83 c GARBAGE COLLECT 197.08/197.83 c rational objective 6 215.61/216.44 c #Conflicts: 199000 | #Constraints: 10405 215.61/216.44 c #Conflicts: 200000 | #Constraints: 11408 215.61/216.44 c #Conflicts: 201000 | #Constraints: 12416 215.61/216.44 c #Conflicts: 202000 | #Constraints: 13419 215.61/216.44 c #Conflicts: 203000 | #Constraints: 14421 215.61/216.44 c #Conflicts: 204000 | #Constraints: 15425 215.61/216.44 c #Conflicts: 205000 | #Constraints: 16434 215.61/216.44 c #Conflicts: 206000 | #Constraints: 17436 215.61/216.44 c #Conflicts: 207000 | #Constraints: 18438 215.61/216.44 c INPROCESSING 215.61/216.44 c GARBAGE COLLECT 215.61/216.44 c rational objective 6 230.56/231.47 c #Conflicts: 208000 | #Constraints: 10392 230.56/231.47 c #Conflicts: 209000 | #Constraints: 11396 230.56/231.47 c #Conflicts: 210000 | #Constraints: 12400 230.56/231.47 c #Conflicts: 211000 | #Constraints: 13402 230.56/231.47 c #Conflicts: 212000 | #Constraints: 14407 230.56/231.47 c #Conflicts: 213000 | #Constraints: 15411 230.56/231.47 c #Conflicts: 214000 | #Constraints: 16415 230.56/231.47 c #Conflicts: 215000 | #Constraints: 17418 230.56/231.47 c #Conflicts: 216000 | #Constraints: 18424 230.56/231.47 c INPROCESSING 230.56/231.47 c GARBAGE COLLECT 230.56/231.47 c rational objective 6 262.93/263.93 c #Conflicts: 217000 | #Constraints: 10210 262.93/263.93 c #Conflicts: 218000 | #Constraints: 11215 262.93/263.93 c #Conflicts: 219000 | #Constraints: 12219 262.93/263.93 c #Conflicts: 220000 | #Constraints: 13224 262.93/263.93 c #Conflicts: 221000 | #Constraints: 14227 262.93/263.93 c #Conflicts: 222000 | #Constraints: 15230 262.93/263.93 c #Conflicts: 223000 | #Constraints: 16233 262.93/263.93 c #Conflicts: 224000 | #Constraints: 17235 262.93/263.93 c #Conflicts: 225000 | #Constraints: 18239 262.93/263.93 c #Conflicts: 226000 | #Constraints: 19246 262.93/263.93 c INPROCESSING 262.93/263.93 c GARBAGE COLLECT 262.93/263.93 c rational objective 6 276.67/277.71 c #Conflicts: 227000 | #Constraints: 10813 276.67/277.71 c #Conflicts: 228000 | #Constraints: 11817 276.67/277.71 c #Conflicts: 229000 | #Constraints: 12826 276.67/277.71 c #Conflicts: 230000 | #Constraints: 13833 276.67/277.71 c #Conflicts: 231000 | #Constraints: 14837 276.67/277.71 c #Conflicts: 232000 | #Constraints: 15840 276.67/277.71 c #Conflicts: 233000 | #Constraints: 16842 276.67/277.71 c #Conflicts: 234000 | #Constraints: 17844 276.67/277.71 c #Conflicts: 235000 | #Constraints: 18851 276.67/277.71 c #Conflicts: 236000 | #Constraints: 19855 276.67/277.71 c INPROCESSING 276.67/277.71 c GARBAGE COLLECT 276.67/277.71 c rational objective 6 287.43/288.52 c #Conflicts: 237000 | #Constraints: 11216 287.43/288.52 c #Conflicts: 238000 | #Constraints: 12218 287.43/288.52 c #Conflicts: 239000 | #Constraints: 13221 287.43/288.52 c #Conflicts: 240000 | #Constraints: 14225 287.43/288.52 c #Conflicts: 241000 | #Constraints: 15228 287.43/288.52 c #Conflicts: 242000 | #Constraints: 16231 287.43/288.52 c #Conflicts: 243000 | #Constraints: 17234 287.43/288.52 c #Conflicts: 244000 | #Constraints: 18237 287.43/288.52 c #Conflicts: 245000 | #Constraints: 19240 287.43/288.52 c #Conflicts: 246000 | #Constraints: 20242 287.43/288.52 c INPROCESSING 287.43/288.52 c GARBAGE COLLECT 287.43/288.52 c rational objective 6 299.49/300.64 c #Conflicts: 247000 | #Constraints: 11399 299.49/300.64 c #Conflicts: 248000 | #Constraints: 12401 299.49/300.64 c #Conflicts: 249000 | #Constraints: 13404 299.49/300.64 c #Conflicts: 250000 | #Constraints: 14407 299.49/300.64 c #Conflicts: 251000 | #Constraints: 15410 299.49/300.64 c #Conflicts: 252000 | #Constraints: 16410 299.49/300.64 c #Conflicts: 253000 | #Constraints: 17412 299.49/300.64 c #Conflicts: 254000 | #Constraints: 18414 299.49/300.64 c #Conflicts: 255000 | #Constraints: 19414 299.49/300.64 c #Conflicts: 256000 | #Constraints: 20416 299.49/300.64 c INPROCESSING 299.49/300.64 c GARBAGE COLLECT 299.49/300.64 c rational objective 6 309.55/310.76 c #Conflicts: 257000 | #Constraints: 11376 309.55/310.76 c #Conflicts: 258000 | #Constraints: 12381 309.55/310.76 c #Conflicts: 259000 | #Constraints: 13383 309.55/310.76 c #Conflicts: 260000 | #Constraints: 14387 309.55/310.76 c #Conflicts: 261000 | #Constraints: 15390 309.55/310.76 c #Conflicts: 262000 | #Constraints: 16391 309.55/310.76 c #Conflicts: 263000 | #Constraints: 17393 309.55/310.76 c #Conflicts: 264000 | #Constraints: 18395 309.55/310.76 c #Conflicts: 265000 | #Constraints: 19406 309.55/310.76 c #Conflicts: 266000 | #Constraints: 20414 309.55/310.76 c INPROCESSING 309.55/310.76 c GARBAGE COLLECT 309.55/310.76 c rational objective 6 322.70/323.91 c #Conflicts: 267000 | #Constraints: 11174 322.70/323.91 c #Conflicts: 268000 | #Constraints: 12181 322.70/323.91 c #Conflicts: 269000 | #Constraints: 13183 322.70/323.91 c #Conflicts: 270000 | #Constraints: 14185 322.70/323.91 c #Conflicts: 271000 | #Constraints: 15187 322.70/323.91 c #Conflicts: 272000 | #Constraints: 16189 322.70/323.91 c #Conflicts: 273000 | #Constraints: 17195 322.70/323.91 c #Conflicts: 274000 | #Constraints: 18196 322.70/323.91 c #Conflicts: 275000 | #Constraints: 19198 322.70/323.91 c #Conflicts: 276000 | #Constraints: 20206 322.70/323.91 c #Conflicts: 277000 | #Constraints: 21210 322.70/323.91 c INPROCESSING 322.70/323.91 c GARBAGE COLLECT 322.70/323.91 c rational objective 6 335.56/336.80 c #Conflicts: 278000 | #Constraints: 11783 335.56/336.80 c #Conflicts: 279000 | #Constraints: 12786 335.56/336.80 c #Conflicts: 280000 | #Constraints: 13788 335.56/336.80 c #Conflicts: 281000 | #Constraints: 14791 335.56/336.80 c #Conflicts: 282000 | #Constraints: 15792 335.56/336.80 c #Conflicts: 283000 | #Constraints: 16794 335.56/336.80 c #Conflicts: 284000 | #Constraints: 17797 335.56/336.80 c #Conflicts: 285000 | #Constraints: 18799 335.56/336.80 c #Conflicts: 286000 | #Constraints: 19802 335.56/336.80 c #Conflicts: 287000 | #Constraints: 20805 335.56/336.80 c #Conflicts: 288000 | #Constraints: 21807 335.56/336.80 c INPROCESSING 335.56/336.80 c GARBAGE COLLECT 335.56/336.80 c rational objective 6 353.19/354.54 c #Conflicts: 289000 | #Constraints: 12177 353.19/354.54 c #Conflicts: 290000 | #Constraints: 13179 353.19/354.54 c #Conflicts: 291000 | #Constraints: 14182 353.19/354.54 c #Conflicts: 292000 | #Constraints: 15191 353.19/354.54 c #Conflicts: 293000 | #Constraints: 16197 353.19/354.54 c #Conflicts: 294000 | #Constraints: 17200 353.19/354.54 c #Conflicts: 295000 | #Constraints: 18202 353.19/354.54 c #Conflicts: 296000 | #Constraints: 19203 353.19/354.54 c #Conflicts: 297000 | #Constraints: 20210 353.19/354.54 c #Conflicts: 298000 | #Constraints: 21210 353.19/354.54 c #Conflicts: 299000 | #Constraints: 22211 353.19/354.54 c INPROCESSING 353.19/354.54 c GARBAGE COLLECT 353.19/354.54 c rational objective 6 369.24/370.65 c #Conflicts: 300000 | #Constraints: 12374 369.24/370.65 c #Conflicts: 301000 | #Constraints: 13375 369.24/370.65 c #Conflicts: 302000 | #Constraints: 14378 369.24/370.65 c #Conflicts: 303000 | #Constraints: 15381 369.24/370.65 c #Conflicts: 304000 | #Constraints: 16381 369.24/370.65 c #Conflicts: 305000 | #Constraints: 17383 369.24/370.65 c #Conflicts: 306000 | #Constraints: 18384 369.24/370.65 c #Conflicts: 307000 | #Constraints: 19392 369.24/370.65 c #Conflicts: 308000 | #Constraints: 20394 369.24/370.65 c #Conflicts: 309000 | #Constraints: 21400 369.24/370.65 c #Conflicts: 310000 | #Constraints: 22404 369.24/370.65 c INPROCESSING 369.24/370.65 c GARBAGE COLLECT 369.24/370.65 c rational objective 6 405.73/407.25 c #Conflicts: 311000 | #Constraints: 12379 405.73/407.25 c #Conflicts: 312000 | #Constraints: 13381 405.73/407.25 c #Conflicts: 313000 | #Constraints: 14391 405.73/407.25 c #Conflicts: 314000 | #Constraints: 15399 405.73/407.25 c #Conflicts: 315000 | #Constraints: 16400 405.73/407.25 c #Conflicts: 316000 | #Constraints: 17401 405.73/407.25 c #Conflicts: 317000 | #Constraints: 18410 405.73/407.25 c #Conflicts: 318000 | #Constraints: 19415 405.73/407.25 c #Conflicts: 319000 | #Constraints: 20419 405.73/407.25 c #Conflicts: 320000 | #Constraints: 21420 405.73/407.25 c #Conflicts: 321000 | #Constraints: 22421 405.73/407.25 c INPROCESSING 405.73/407.25 c GARBAGE COLLECT 405.73/407.25 c rational objective 6 467.03/468.74 c #Conflicts: 322000 | #Constraints: 12212 467.03/468.74 c #Conflicts: 323000 | #Constraints: 13217 467.03/468.74 c #Conflicts: 324000 | #Constraints: 14221 467.03/468.74 c #Conflicts: 325000 | #Constraints: 15224 467.03/468.74 c #Conflicts: 326000 | #Constraints: 16230 467.03/468.74 c #Conflicts: 327000 | #Constraints: 17231 467.03/468.74 c #Conflicts: 328000 | #Constraints: 18234 467.03/468.74 c #Conflicts: 329000 | #Constraints: 19238 467.03/468.74 c #Conflicts: 330000 | #Constraints: 20241 467.03/468.74 c #Conflicts: 331000 | #Constraints: 21244 467.03/468.74 c #Conflicts: 332000 | #Constraints: 22247 467.03/468.74 c #Conflicts: 333000 | #Constraints: 23249 467.03/468.74 c INPROCESSING 467.03/468.74 c GARBAGE COLLECT 467.03/468.74 c rational objective 6 482.97/484.77 c #Conflicts: 334000 | #Constraints: 12800 482.97/484.77 c #Conflicts: 335000 | #Constraints: 13802 482.97/484.77 c #Conflicts: 336000 | #Constraints: 14805 482.97/484.77 c #Conflicts: 337000 | #Constraints: 15807 482.97/484.77 c #Conflicts: 338000 | #Constraints: 16809 482.97/484.77 c #Conflicts: 339000 | #Constraints: 17811 482.97/484.77 c #Conflicts: 340000 | #Constraints: 18813 482.97/484.77 c #Conflicts: 341000 | #Constraints: 19815 482.97/484.77 c #Conflicts: 342000 | #Constraints: 20817 482.97/484.77 c #Conflicts: 343000 | #Constraints: 21822 482.97/484.77 c #Conflicts: 344000 | #Constraints: 22824 482.97/484.77 c #Conflicts: 345000 | #Constraints: 23829 482.97/484.77 c INPROCESSING 482.97/484.77 c GARBAGE COLLECT 482.97/484.77 c rational objective 6 500.72/502.59 c #Conflicts: 346000 | #Constraints: 13186 500.72/502.59 c #Conflicts: 347000 | #Constraints: 14186 500.72/502.59 c #Conflicts: 348000 | #Constraints: 15188 500.72/502.59 c #Conflicts: 349000 | #Constraints: 16190 500.72/502.59 c #Conflicts: 350000 | #Constraints: 17196 500.72/502.59 c #Conflicts: 351000 | #Constraints: 18206 500.72/502.59 c #Conflicts: 352000 | #Constraints: 19208 500.72/502.59 c #Conflicts: 353000 | #Constraints: 20213 500.72/502.59 c #Conflicts: 354000 | #Constraints: 21217 500.72/502.59 c #Conflicts: 355000 | #Constraints: 22218 500.72/502.59 c #Conflicts: 356000 | #Constraints: 23219 500.72/502.59 c #Conflicts: 357000 | #Constraints: 24220 500.72/502.59 c INPROCESSING 500.72/502.59 c GARBAGE COLLECT 500.72/502.59 c rational objective 6 516.37/518.22 c #Conflicts: 358000 | #Constraints: 13388 516.37/518.22 c #Conflicts: 359000 | #Constraints: 14397 516.37/518.22 c #Conflicts: 360000 | #Constraints: 15401 516.37/518.22 c #Conflicts: 361000 | #Constraints: 16405 516.37/518.22 c #Conflicts: 362000 | #Constraints: 17409 516.37/518.22 c #Conflicts: 363000 | #Constraints: 18417 516.37/518.22 c #Conflicts: 364000 | #Constraints: 19420 516.37/518.22 c #Conflicts: 365000 | #Constraints: 20424 516.37/518.22 c #Conflicts: 366000 | #Constraints: 21426 516.37/518.22 c #Conflicts: 367000 | #Constraints: 22427 516.37/518.22 c #Conflicts: 368000 | #Constraints: 23430 516.37/518.22 c #Conflicts: 369000 | #Constraints: 24435 516.37/518.22 c INPROCESSING 516.37/518.22 c GARBAGE COLLECT 516.37/518.22 c rational objective 6 556.94/558.93 c #Conflicts: 370000 | #Constraints: 13394 556.94/558.93 c #Conflicts: 371000 | #Constraints: 14397 556.94/558.93 c #Conflicts: 372000 | #Constraints: 15398 556.94/558.93 c #Conflicts: 373000 | #Constraints: 16409 556.94/558.93 c #Conflicts: 374000 | #Constraints: 17419 556.94/558.93 c #Conflicts: 375000 | #Constraints: 18422 556.94/558.93 c #Conflicts: 376000 | #Constraints: 19425 556.94/558.93 c #Conflicts: 377000 | #Constraints: 20428 556.94/558.93 c #Conflicts: 378000 | #Constraints: 21429 556.94/558.93 c #Conflicts: 379000 | #Constraints: 22431 556.94/558.93 c #Conflicts: 380000 | #Constraints: 23433 556.94/558.93 c #Conflicts: 381000 | #Constraints: 24435 556.94/558.93 c INPROCESSING 556.94/558.93 c GARBAGE COLLECT 556.94/558.93 c rational objective 6 579.07/581.11 c #Conflicts: 382000 | #Constraints: 13193 579.07/581.11 c #Conflicts: 383000 | #Constraints: 14195 579.07/581.11 c #Conflicts: 384000 | #Constraints: 15197 579.07/581.11 c #Conflicts: 385000 | #Constraints: 16200 579.07/581.11 c #Conflicts: 386000 | #Constraints: 17201 579.07/581.11 c #Conflicts: 387000 | #Constraints: 18205 579.07/581.11 c #Conflicts: 388000 | #Constraints: 19206 579.07/581.11 c #Conflicts: 389000 | #Constraints: 20208 579.07/581.11 c #Conflicts: 390000 | #Constraints: 21209 579.07/581.11 c #Conflicts: 391000 | #Constraints: 22215 579.07/581.11 c #Conflicts: 392000 | #Constraints: 23217 579.07/581.11 c #Conflicts: 393000 | #Constraints: 24220 579.07/581.11 c #Conflicts: 394000 | #Constraints: 25223 579.07/581.11 c INPROCESSING 579.07/581.11 c GARBAGE COLLECT 579.07/581.11 c rational objective 6 603.29/605.40 c #Conflicts: 395000 | #Constraints: 13781 603.29/605.40 c #Conflicts: 396000 | #Constraints: 14785 603.29/605.40 c #Conflicts: 397000 | #Constraints: 15789 603.29/605.40 c #Conflicts: 398000 | #Constraints: 16793 603.29/605.40 c #Conflicts: 399000 | #Constraints: 17793 603.29/605.40 c #Conflicts: 400000 | #Constraints: 18793 603.29/605.40 c #Conflicts: 401000 | #Constraints: 19795 603.29/605.40 c #Conflicts: 402000 | #Constraints: 20795 603.29/605.40 c #Conflicts: 403000 | #Constraints: 21799 603.29/605.40 c #Conflicts: 404000 | #Constraints: 22808 603.29/605.40 c #Conflicts: 405000 | #Constraints: 23810 603.29/605.40 c #Conflicts: 406000 | #Constraints: 24811 603.29/605.40 c #Conflicts: 407000 | #Constraints: 25814 603.29/605.40 c INPROCESSING 603.29/605.40 c GARBAGE COLLECT 603.29/605.40 c rational objective 6 627.21/629.42 c #Conflicts: 408000 | #Constraints: 14185 627.21/629.42 c #Conflicts: 409000 | #Constraints: 15186 627.21/629.42 c #Conflicts: 410000 | #Constraints: 16190 627.21/629.42 c #Conflicts: 411000 | #Constraints: 17194 627.21/629.42 c #Conflicts: 412000 | #Constraints: 18199 627.21/629.42 c #Conflicts: 413000 | #Constraints: 19202 627.21/629.42 c #Conflicts: 414000 | #Constraints: 20206 627.21/629.42 c #Conflicts: 415000 | #Constraints: 21212 627.21/629.42 c #Conflicts: 416000 | #Constraints: 22218 627.21/629.42 c #Conflicts: 417000 | #Constraints: 23221 627.21/629.42 c #Conflicts: 418000 | #Constraints: 24224 627.21/629.42 c #Conflicts: 419000 | #Constraints: 25227 627.21/629.42 c #Conflicts: 420000 | #Constraints: 26231 627.21/629.42 c INPROCESSING 627.21/629.42 c GARBAGE COLLECT 627.21/629.42 c rational objective 6 672.46/674.89 c #Conflicts: 421000 | #Constraints: 14428 672.46/674.89 c #Conflicts: 422000 | #Constraints: 15430 672.46/674.89 c #Conflicts: 423000 | #Constraints: 16432 672.46/674.89 c #Conflicts: 424000 | #Constraints: 17433 672.46/674.89 c #Conflicts: 425000 | #Constraints: 18433 672.46/674.89 c #Conflicts: 426000 | #Constraints: 19434 672.46/674.89 c #Conflicts: 427000 | #Constraints: 20435 672.46/674.89 c #Conflicts: 428000 | #Constraints: 21436 672.46/674.89 c #Conflicts: 429000 | #Constraints: 22437 672.46/674.89 c #Conflicts: 430000 | #Constraints: 23438 672.46/674.89 c #Conflicts: 431000 | #Constraints: 24440 672.46/674.89 c #Conflicts: 432000 | #Constraints: 25440 672.46/674.89 c #Conflicts: 433000 | #Constraints: 26440 672.46/674.89 c INPROCESSING 672.46/674.89 c GARBAGE COLLECT 672.46/674.89 c rational objective 6 699.87/702.32 c #Conflicts: 434000 | #Constraints: 14417 699.87/702.32 c #Conflicts: 435000 | #Constraints: 15417 699.87/702.32 c #Conflicts: 436000 | #Constraints: 16417 699.87/702.32 c #Conflicts: 437000 | #Constraints: 17417 699.87/702.32 c #Conflicts: 438000 | #Constraints: 18419 699.87/702.32 c #Conflicts: 439000 | #Constraints: 19420 699.87/702.32 c #Conflicts: 440000 | #Constraints: 20422 699.87/702.32 c #Conflicts: 441000 | #Constraints: 21422 699.87/702.32 c #Conflicts: 442000 | #Constraints: 22422 699.87/702.32 c #Conflicts: 443000 | #Constraints: 23425 699.87/702.32 c #Conflicts: 444000 | #Constraints: 24430 699.87/702.32 c #Conflicts: 445000 | #Constraints: 25431 699.87/702.32 c #Conflicts: 446000 | #Constraints: 26434 699.87/702.32 c INPROCESSING 699.87/702.32 c GARBAGE COLLECT 699.87/702.32 c rational objective 6 754.08/756.78 c #Conflicts: 447000 | #Constraints: 14196 754.08/756.78 c #Conflicts: 448000 | #Constraints: 15198 754.08/756.78 c #Conflicts: 449000 | #Constraints: 16200 754.08/756.78 c #Conflicts: 450000 | #Constraints: 17203 754.08/756.78 c #Conflicts: 451000 | #Constraints: 18210 754.08/756.78 c #Conflicts: 452000 | #Constraints: 19214 754.08/756.78 c #Conflicts: 453000 | #Constraints: 20219 754.08/756.78 c #Conflicts: 454000 | #Constraints: 21221 754.08/756.78 c #Conflicts: 455000 | #Constraints: 22223 754.08/756.78 c #Conflicts: 456000 | #Constraints: 23230 754.08/756.78 c #Conflicts: 457000 | #Constraints: 24232 754.08/756.78 c #Conflicts: 458000 | #Constraints: 25239 754.08/756.78 c #Conflicts: 459000 | #Constraints: 26243 754.08/756.78 c #Conflicts: 460000 | #Constraints: 27243 754.08/756.78 c INPROCESSING 754.08/756.78 c GARBAGE COLLECT 754.08/756.78 c rational objective 6 797.52/800.32 c #Conflicts: 461000 | #Constraints: 14815 797.52/800.32 c #Conflicts: 462000 | #Constraints: 15820 797.52/800.32 c #Conflicts: 463000 | #Constraints: 16823 797.52/800.32 c #Conflicts: 464000 | #Constraints: 17830 797.52/800.32 c #Conflicts: 465000 | #Constraints: 18832 797.52/800.32 c #Conflicts: 466000 | #Constraints: 19837 797.52/800.32 c #Conflicts: 467000 | #Constraints: 20840 797.52/800.32 c #Conflicts: 468000 | #Constraints: 21843 797.52/800.32 c #Conflicts: 469000 | #Constraints: 22849 797.52/800.32 c #Conflicts: 470000 | #Constraints: 23853 797.52/800.32 c #Conflicts: 471000 | #Constraints: 24855 797.52/800.32 c #Conflicts: 472000 | #Constraints: 25859 797.52/800.32 c #Conflicts: 473000 | #Constraints: 26864 797.52/800.32 c #Conflicts: 474000 | #Constraints: 27868 797.52/800.32 c INPROCESSING 797.52/800.32 c GARBAGE COLLECT 797.52/800.32 c rational objective 6 820.04/822.94 c #Conflicts: 475000 | #Constraints: 15249 820.04/822.94 c #Conflicts: 476000 | #Constraints: 16258 820.04/822.94 c #Conflicts: 477000 | #Constraints: 17262 820.04/822.94 c #Conflicts: 478000 | #Constraints: 18263 820.04/822.94 c #Conflicts: 479000 | #Constraints: 19267 820.04/822.94 c #Conflicts: 480000 | #Constraints: 20275 820.04/822.94 c #Conflicts: 481000 | #Constraints: 21281 820.04/822.94 c #Conflicts: 482000 | #Constraints: 22284 820.04/822.94 c #Conflicts: 483000 | #Constraints: 23284 820.04/822.94 c #Conflicts: 484000 | #Constraints: 24287 820.04/822.94 c #Conflicts: 485000 | #Constraints: 25288 820.04/822.94 c #Conflicts: 486000 | #Constraints: 26290 820.04/822.94 c #Conflicts: 487000 | #Constraints: 27292 820.04/822.94 c #Conflicts: 488000 | #Constraints: 28293 820.04/822.94 c INPROCESSING 820.04/822.94 c GARBAGE COLLECT 820.04/822.94 c rational objective 6 898.75/901.90 c #Conflicts: 489000 | #Constraints: 15441 898.75/901.90 c #Conflicts: 490000 | #Constraints: 16448 898.75/901.90 c #Conflicts: 491000 | #Constraints: 17451 898.75/901.90 c #Conflicts: 492000 | #Constraints: 18454 898.75/901.90 c #Conflicts: 493000 | #Constraints: 19457 898.75/901.90 c #Conflicts: 494000 | #Constraints: 20458 898.75/901.90 c #Conflicts: 495000 | #Constraints: 21463 898.75/901.90 c #Conflicts: 496000 | #Constraints: 22465 898.75/901.90 c #Conflicts: 497000 | #Constraints: 23468 898.75/901.90 c #Conflicts: 498000 | #Constraints: 24470 898.75/901.90 c #Conflicts: 499000 | #Constraints: 25472 898.75/901.90 c #Conflicts: 500000 | #Constraints: 26473 898.75/901.90 c #Conflicts: 501000 | #Constraints: 27474 898.75/901.90 c #Conflicts: 502000 | #Constraints: 28476 898.75/901.90 c INPROCESSING 898.75/901.90 c GARBAGE COLLECT 898.75/901.90 c rational objective 6 945.09/948.49 c #Conflicts: 503000 | #Constraints: 15440 945.09/948.49 c #Conflicts: 504000 | #Constraints: 16444 945.09/948.49 c #Conflicts: 505000 | #Constraints: 17448 945.09/948.49 c #Conflicts: 506000 | #Constraints: 18451 945.09/948.49 c #Conflicts: 507000 | #Constraints: 19453 945.09/948.49 c #Conflicts: 508000 | #Constraints: 20455 945.09/948.49 c #Conflicts: 509000 | #Constraints: 21458 945.09/948.49 c #Conflicts: 510000 | #Constraints: 22458 945.09/948.49 c #Conflicts: 511000 | #Constraints: 23460 945.09/948.49 c #Conflicts: 512000 | #Constraints: 24461 945.09/948.49 c #Conflicts: 513000 | #Constraints: 25465 945.09/948.49 c #Conflicts: 514000 | #Constraints: 26471 945.09/948.49 c #Conflicts: 515000 | #Constraints: 27476 945.09/948.49 c #Conflicts: 516000 | #Constraints: 28479 945.09/948.49 c INPROCESSING 945.09/948.49 c GARBAGE COLLECT 945.09/948.49 c rational objective 6 972.20/975.68 c #Conflicts: 517000 | #Constraints: 15209 972.20/975.68 c #Conflicts: 518000 | #Constraints: 16210 972.20/975.68 c #Conflicts: 519000 | #Constraints: 17211 972.20/975.68 c #Conflicts: 520000 | #Constraints: 18216 972.20/975.68 c #Conflicts: 521000 | #Constraints: 19219 972.20/975.68 c #Conflicts: 522000 | #Constraints: 20221 972.20/975.68 c #Conflicts: 523000 | #Constraints: 21223 972.20/975.68 c #Conflicts: 524000 | #Constraints: 22225 972.20/975.68 c #Conflicts: 525000 | #Constraints: 23227 972.20/975.68 c #Conflicts: 526000 | #Constraints: 24235 972.20/975.68 c #Conflicts: 527000 | #Constraints: 25236 972.20/975.68 c #Conflicts: 528000 | #Constraints: 26238 972.20/975.68 c #Conflicts: 529000 | #Constraints: 27239 972.20/975.68 c #Conflicts: 530000 | #Constraints: 28239 972.20/975.68 c #Conflicts: 531000 | #Constraints: 29240 972.20/975.68 c INPROCESSING 972.20/975.68 c GARBAGE COLLECT 972.20/975.68 c rational objective 6 996.52/1000.06 c #Conflicts: 532000 | #Constraints: 15791 996.52/1000.06 c #Conflicts: 533000 | #Constraints: 16793 996.52/1000.06 c #Conflicts: 534000 | #Constraints: 17797 996.52/1000.06 c #Conflicts: 535000 | #Constraints: 18803 996.52/1000.06 c #Conflicts: 536000 | #Constraints: 19805 996.52/1000.06 c #Conflicts: 537000 | #Constraints: 20808 996.52/1000.06 c #Conflicts: 538000 | #Constraints: 21811 996.52/1000.06 c #Conflicts: 539000 | #Constraints: 22811 996.52/1000.06 c #Conflicts: 540000 | #Constraints: 23812 996.52/1000.06 c #Conflicts: 541000 | #Constraints: 24817 996.52/1000.06 c #Conflicts: 542000 | #Constraints: 25820 996.52/1000.06 c #Conflicts: 543000 | #Constraints: 26823 996.52/1000.06 c #Conflicts: 544000 | #Constraints: 27824 996.52/1000.06 c #Conflicts: 545000 | #Constraints: 28827 996.52/1000.06 c #Conflicts: 546000 | #Constraints: 29828 996.52/1000.06 c INPROCESSING 996.52/1000.06 c GARBAGE COLLECT 996.52/1000.06 c rational objective 6 1036.08/1039.70 c #Conflicts: 547000 | #Constraints: 16193 1036.08/1039.70 c #Conflicts: 548000 | #Constraints: 17194 1036.08/1039.70 c #Conflicts: 549000 | #Constraints: 18198 1036.08/1039.70 c #Conflicts: 550000 | #Constraints: 19200 1036.08/1039.70 c #Conflicts: 551000 | #Constraints: 20202 1036.08/1039.70 c #Conflicts: 552000 | #Constraints: 21204 1036.08/1039.70 c #Conflicts: 553000 | #Constraints: 22207 1036.08/1039.70 c #Conflicts: 554000 | #Constraints: 23211 1036.08/1039.70 c #Conflicts: 555000 | #Constraints: 24214 1036.08/1039.70 c #Conflicts: 556000 | #Constraints: 25215 1036.08/1039.70 c #Conflicts: 557000 | #Constraints: 26219 1036.08/1039.70 c #Conflicts: 558000 | #Constraints: 27221 1036.08/1039.70 c #Conflicts: 559000 | #Constraints: 28223 1036.08/1039.70 c #Conflicts: 560000 | #Constraints: 29227 1036.08/1039.70 c #Conflicts: 561000 | #Constraints: 30230 1036.08/1039.70 c INPROCESSING 1036.08/1039.70 c GARBAGE COLLECT 1036.08/1039.70 c rational objective 6 1066.38/1070.18 c #Conflicts: 562000 | #Constraints: 16385 1066.38/1070.18 c #Conflicts: 563000 | #Constraints: 17387 1066.38/1070.18 c #Conflicts: 564000 | #Constraints: 18392 1066.38/1070.18 c #Conflicts: 565000 | #Constraints: 19396 1066.38/1070.18 c #Conflicts: 566000 | #Constraints: 20398 1066.38/1070.18 c #Conflicts: 567000 | #Constraints: 21399 1066.38/1070.18 c #Conflicts: 568000 | #Constraints: 22401 1066.38/1070.18 c #Conflicts: 569000 | #Constraints: 23404 1066.38/1070.18 c #Conflicts: 570000 | #Constraints: 24407 1066.38/1070.18 c #Conflicts: 571000 | #Constraints: 25408 1066.38/1070.18 c #Conflicts: 572000 | #Constraints: 26411 1066.38/1070.18 c #Conflicts: 573000 | #Constraints: 27412 1066.38/1070.18 c #Conflicts: 574000 | #Constraints: 28413 1066.38/1070.18 c #Conflicts: 575000 | #Constraints: 29416 1066.38/1070.18 c #Conflicts: 576000 | #Constraints: 30417 1066.38/1070.18 c INPROCESSING 1066.38/1070.18 c GARBAGE COLLECT 1066.38/1070.18 c rational objective 6 1107.65/1111.59 c #Conflicts: 577000 | #Constraints: 16380 1107.65/1111.59 c #Conflicts: 578000 | #Constraints: 17383 1107.65/1111.59 c #Conflicts: 579000 | #Constraints: 18385 1107.65/1111.59 c #Conflicts: 580000 | #Constraints: 19388 1107.65/1111.59 c #Conflicts: 581000 | #Constraints: 20392 1107.65/1111.59 c #Conflicts: 582000 | #Constraints: 21396 1107.65/1111.59 c #Conflicts: 583000 | #Constraints: 22399 1107.65/1111.59 c #Conflicts: 584000 | #Constraints: 23399 1107.65/1111.59 c #Conflicts: 585000 | #Constraints: 24404 1107.65/1111.59 c #Conflicts: 586000 | #Constraints: 25408 1107.65/1111.59 c #Conflicts: 587000 | #Constraints: 26409 1107.65/1111.59 c #Conflicts: 588000 | #Constraints: 27410 1107.65/1111.59 c #Conflicts: 589000 | #Constraints: 28416 1107.65/1111.59 c #Conflicts: 590000 | #Constraints: 29417 1107.65/1111.59 c #Conflicts: 591000 | #Constraints: 30419 1107.65/1111.59 c INPROCESSING 1107.65/1111.59 c GARBAGE COLLECT 1107.65/1111.59 c rational objective 6 1159.77/1163.85 c #Conflicts: 592000 | #Constraints: 16207 1159.77/1163.85 c #Conflicts: 593000 | #Constraints: 17210 1159.77/1163.85 c #Conflicts: 594000 | #Constraints: 18212 1159.77/1163.85 c #Conflicts: 595000 | #Constraints: 19216 1159.77/1163.85 c #Conflicts: 596000 | #Constraints: 20217 1159.77/1163.85 c #Conflicts: 597000 | #Constraints: 21226 1159.77/1163.85 c #Conflicts: 598000 | #Constraints: 22238 1159.77/1163.85 c #Conflicts: 599000 | #Constraints: 23248 1159.77/1163.85 c #Conflicts: 600000 | #Constraints: 24253 1159.77/1163.85 c #Conflicts: 601000 | #Constraints: 25257 1159.77/1163.85 c #Conflicts: 602000 | #Constraints: 26260 1159.77/1163.85 c #Conflicts: 603000 | #Constraints: 27265 1159.77/1163.85 c #Conflicts: 604000 | #Constraints: 28268 1159.77/1163.85 c #Conflicts: 605000 | #Constraints: 29273 1159.77/1163.85 c #Conflicts: 606000 | #Constraints: 30279 1159.77/1163.85 c #Conflicts: 607000 | #Constraints: 31282 1159.77/1163.85 c INPROCESSING 1159.77/1163.85 c GARBAGE COLLECT 1159.77/1163.85 c rational objective 6 1206.12/1210.37 c #Conflicts: 608000 | #Constraints: 16825 1206.12/1210.37 c #Conflicts: 609000 | #Constraints: 17826 1206.12/1210.37 c #Conflicts: 610000 | #Constraints: 18831 1206.12/1210.37 c #Conflicts: 611000 | #Constraints: 19834 1206.12/1210.37 c #Conflicts: 612000 | #Constraints: 20836 1206.12/1210.37 c #Conflicts: 613000 | #Constraints: 21838 1206.12/1210.37 c #Conflicts: 614000 | #Constraints: 22840 1206.12/1210.37 c #Conflicts: 615000 | #Constraints: 23844 1206.12/1210.37 c #Conflicts: 616000 | #Constraints: 24847 1206.12/1210.37 c #Conflicts: 617000 | #Constraints: 25853 1206.12/1210.37 c #Conflicts: 618000 | #Constraints: 26856 1206.12/1210.37 c #Conflicts: 619000 | #Constraints: 27858 1206.12/1210.37 c #Conflicts: 620000 | #Constraints: 28859 1206.12/1210.37 c #Conflicts: 621000 | #Constraints: 29859 1206.12/1210.37 c #Conflicts: 622000 | #Constraints: 30862 1206.12/1210.37 c #Conflicts: 623000 | #Constraints: 31864 1206.12/1210.37 c INPROCESSING 1206.12/1210.37 c GARBAGE COLLECT 1206.12/1210.37 c rational objective 6 1252.46/1256.86 c #Conflicts: 624000 | #Constraints: 17220 1252.46/1256.86 c #Conflicts: 625000 | #Constraints: 18222 1252.46/1256.86 c #Conflicts: 626000 | #Constraints: 19223 1252.46/1256.86 c #Conflicts: 627000 | #Constraints: 20224 1252.46/1256.86 c #Conflicts: 628000 | #Constraints: 21231 1252.46/1256.86 c #Conflicts: 629000 | #Constraints: 22232 1252.46/1256.86 c #Conflicts: 630000 | #Constraints: 23234 1252.46/1256.86 c #Conflicts: 631000 | #Constraints: 24241 1252.46/1256.86 c #Conflicts: 632000 | #Constraints: 25249 1252.46/1256.86 c #Conflicts: 633000 | #Constraints: 26258 1252.46/1256.86 c #Conflicts: 634000 | #Constraints: 27260 1252.46/1256.86 c #Conflicts: 635000 | #Constraints: 28262 1252.46/1256.86 c #Conflicts: 636000 | #Constraints: 29264 1252.46/1256.86 c #Conflicts: 637000 | #Constraints: 30267 1252.46/1256.86 c #Conflicts: 638000 | #Constraints: 31271 1252.46/1256.86 c #Conflicts: 639000 | #Constraints: 32272 1252.46/1256.86 c INPROCESSING 1252.46/1256.86 c GARBAGE COLLECT 1252.46/1256.86 c rational objective 6 1305.89/1310.48 c #Conflicts: 640000 | #Constraints: 17428 1305.89/1310.48 c #Conflicts: 641000 | #Constraints: 18430 1305.89/1310.48 c #Conflicts: 642000 | #Constraints: 19435 1305.89/1310.48 c #Conflicts: 643000 | #Constraints: 20436 1305.89/1310.48 c #Conflicts: 644000 | #Constraints: 21439 1305.89/1310.48 c #Conflicts: 645000 | #Constraints: 22445 1305.89/1310.48 c #Conflicts: 646000 | #Constraints: 23446 1305.89/1310.48 c #Conflicts: 647000 | #Constraints: 24448 1305.89/1310.48 c #Conflicts: 648000 | #Constraints: 25449 1305.89/1310.48 c #Conflicts: 649000 | #Constraints: 26451 1305.89/1310.48 c #Conflicts: 650000 | #Constraints: 27454 1305.89/1310.48 c #Conflicts: 651000 | #Constraints: 28456 1305.89/1310.48 c #Conflicts: 652000 | #Constraints: 29458 1305.89/1310.48 c #Conflicts: 653000 | #Constraints: 30460 1305.89/1310.48 c #Conflicts: 654000 | #Constraints: 31466 1305.89/1310.48 c #Conflicts: 655000 | #Constraints: 32467 1305.89/1310.48 c INPROCESSING 1305.89/1310.48 c GARBAGE COLLECT 1305.89/1310.48 c rational objective 6 1355.93/1360.69 c #Conflicts: 656000 | #Constraints: 17423 1355.93/1360.69 c #Conflicts: 657000 | #Constraints: 18424 1355.93/1360.69 c #Conflicts: 658000 | #Constraints: 19426 1355.93/1360.69 c #Conflicts: 659000 | #Constraints: 20429 1355.93/1360.69 c #Conflicts: 660000 | #Constraints: 21433 1355.93/1360.69 c #Conflicts: 661000 | #Constraints: 22435 1355.93/1360.69 c #Conflicts: 662000 | #Constraints: 23437 1355.93/1360.69 c #Conflicts: 663000 | #Constraints: 24439 1355.93/1360.69 c #Conflicts: 664000 | #Constraints: 25440 1355.93/1360.69 c #Conflicts: 665000 | #Constraints: 26442 1355.93/1360.69 c #Conflicts: 666000 | #Constraints: 27447 1355.93/1360.69 c #Conflicts: 667000 | #Constraints: 28449 1355.93/1360.69 c #Conflicts: 668000 | #Constraints: 29451 1355.93/1360.69 c #Conflicts: 669000 | #Constraints: 30452 1355.93/1360.69 c #Conflicts: 670000 | #Constraints: 31454 1355.93/1360.69 c #Conflicts: 671000 | #Constraints: 32456 1355.93/1360.69 c INPROCESSING 1355.93/1360.69 c GARBAGE COLLECT 1355.93/1360.69 c rational objective 6 1408.66/1413.60 c #Conflicts: 672000 | #Constraints: 17201 1408.66/1413.60 c #Conflicts: 673000 | #Constraints: 18203 1408.66/1413.60 c #Conflicts: 674000 | #Constraints: 19204 1408.66/1413.60 c #Conflicts: 675000 | #Constraints: 20205 1408.66/1413.60 c #Conflicts: 676000 | #Constraints: 21206 1408.66/1413.60 c #Conflicts: 677000 | #Constraints: 22208 1408.66/1413.60 c #Conflicts: 678000 | #Constraints: 23209 1408.66/1413.60 c #Conflicts: 679000 | #Constraints: 24210 1408.66/1413.60 c #Conflicts: 680000 | #Constraints: 25213 1408.66/1413.60 c #Conflicts: 681000 | #Constraints: 26214 1408.66/1413.60 c #Conflicts: 682000 | #Constraints: 27217 1408.66/1413.60 c #Conflicts: 683000 | #Constraints: 28219 1408.66/1413.60 c #Conflicts: 684000 | #Constraints: 29223 1408.66/1413.60 c #Conflicts: 685000 | #Constraints: 30226 1408.66/1413.60 c #Conflicts: 686000 | #Constraints: 31226 1408.66/1413.60 c #Conflicts: 687000 | #Constraints: 32228 1408.66/1413.60 c #Conflicts: 688000 | #Constraints: 33230 1408.66/1413.60 c INPROCESSING 1408.66/1413.60 c GARBAGE COLLECT 1408.66/1413.60 c rational objective 6 1457.41/1462.41 c #Conflicts: 689000 | #Constraints: 17786 1457.41/1462.41 c #Conflicts: 690000 | #Constraints: 18787 1457.41/1462.41 c #Conflicts: 691000 | #Constraints: 19788 1457.41/1462.41 c #Conflicts: 692000 | #Constraints: 20791 1457.41/1462.41 c #Conflicts: 693000 | #Constraints: 21793 1457.41/1462.41 c #Conflicts: 694000 | #Constraints: 22801 1457.41/1462.41 c #Conflicts: 695000 | #Constraints: 23812 1457.41/1462.41 c #Conflicts: 696000 | #Constraints: 24816 1457.41/1462.41 c #Conflicts: 697000 | #Constraints: 25821 1457.41/1462.41 c #Conflicts: 698000 | #Constraints: 26826 1457.41/1462.41 c #Conflicts: 699000 | #Constraints: 27829 1457.41/1462.41 c #Conflicts: 700000 | #Constraints: 28831 1457.41/1462.41 c #Conflicts: 701000 | #Constraints: 29832 1457.41/1462.41 c #Conflicts: 702000 | #Constraints: 30833 1457.41/1462.41 c #Conflicts: 703000 | #Constraints: 31833 1457.41/1462.41 c #Conflicts: 704000 | #Constraints: 32835 1457.41/1462.41 c #Conflicts: 705000 | #Constraints: 33837 1457.41/1462.41 c INPROCESSING 1457.41/1462.41 c GARBAGE COLLECT 1457.41/1462.41 c rational objective 6 1503.46/1508.60 c #Conflicts: 706000 | #Constraints: 18196 1503.46/1508.60 c #Conflicts: 707000 | #Constraints: 19198 1503.46/1508.60 c #Conflicts: 708000 | #Constraints: 20202 1503.46/1508.60 c #Conflicts: 709000 | #Constraints: 21203 1503.46/1508.60 c #Conflicts: 710000 | #Constraints: 22207 1503.46/1508.60 c #Conflicts: 711000 | #Constraints: 23223 1503.46/1508.60 c #Conflicts: 712000 | #Constraints: 24233 1503.46/1508.60 c #Conflicts: 713000 | #Constraints: 25240 1503.46/1508.60 c #Conflicts: 714000 | #Constraints: 26249 1503.46/1508.60 c #Conflicts: 715000 | #Constraints: 27253 1503.46/1508.60 c #Conflicts: 716000 | #Constraints: 28255 1503.46/1508.60 c #Conflicts: 717000 | #Constraints: 29258 1503.46/1508.60 c #Conflicts: 718000 | #Constraints: 30262 1503.46/1508.60 c #Conflicts: 719000 | #Constraints: 31265 1503.46/1508.60 c #Conflicts: 720000 | #Constraints: 32269 1503.46/1508.60 c #Conflicts: 721000 | #Constraints: 33273 1503.46/1508.60 c #Conflicts: 722000 | #Constraints: 34276 1503.46/1508.60 c INPROCESSING 1503.46/1508.60 c GARBAGE COLLECT 1503.46/1508.60 c rational objective 6 1609.23/1614.73 c #Conflicts: 723000 | #Constraints: 18444 1609.23/1614.73 c #Conflicts: 724000 | #Constraints: 19447 1609.23/1614.73 c #Conflicts: 725000 | #Constraints: 20448 1609.23/1614.73 c #Conflicts: 726000 | #Constraints: 21453 1609.23/1614.73 c #Conflicts: 727000 | #Constraints: 22455 1609.23/1614.73 c #Conflicts: 728000 | #Constraints: 23457 1609.23/1614.73 c #Conflicts: 729000 | #Constraints: 24462 1609.23/1614.73 c #Conflicts: 730000 | #Constraints: 25464 1609.23/1614.73 c #Conflicts: 731000 | #Constraints: 26466 1609.23/1614.73 c #Conflicts: 732000 | #Constraints: 27468 1609.23/1614.73 c #Conflicts: 733000 | #Constraints: 28469 1609.23/1614.73 c #Conflicts: 734000 | #Constraints: 29470 1609.23/1614.73 c #Conflicts: 735000 | #Constraints: 30472 1609.23/1614.73 c #Conflicts: 736000 | #Constraints: 31474 1609.23/1614.73 c #Conflicts: 737000 | #Constraints: 32476 1609.23/1614.73 c #Conflicts: 738000 | #Constraints: 33478 1609.23/1614.73 c #Conflicts: 739000 | #Constraints: 34479 1609.23/1614.73 c INPROCESSING 1609.23/1614.73 c GARBAGE COLLECT 1609.23/1614.73 c rational objective 6 1656.04/1661.79 c #Conflicts: 740000 | #Constraints: 18419 1656.04/1661.79 c #Conflicts: 741000 | #Constraints: 19420 1656.04/1661.79 c #Conflicts: 742000 | #Constraints: 20422 1656.04/1661.79 c #Conflicts: 743000 | #Constraints: 21426 1656.04/1661.79 c #Conflicts: 744000 | #Constraints: 22426 1656.04/1661.79 c #Conflicts: 745000 | #Constraints: 23429 1656.04/1661.79 c #Conflicts: 746000 | #Constraints: 24434 1656.04/1661.79 c #Conflicts: 747000 | #Constraints: 25436 1656.04/1661.79 c #Conflicts: 748000 | #Constraints: 26436 1656.04/1661.79 c #Conflicts: 749000 | #Constraints: 27438 1656.04/1661.79 c #Conflicts: 750000 | #Constraints: 28439 1656.04/1661.79 c #Conflicts: 751000 | #Constraints: 29442 1656.04/1661.79 c #Conflicts: 752000 | #Constraints: 30446 1656.04/1661.79 c #Conflicts: 753000 | #Constraints: 31447 1656.04/1661.79 c #Conflicts: 754000 | #Constraints: 32454 1656.04/1661.79 c #Conflicts: 755000 | #Constraints: 33459 1656.04/1661.79 c #Conflicts: 756000 | #Constraints: 34463 1656.04/1661.79 c INPROCESSING 1656.04/1661.79 c GARBAGE COLLECT 1656.04/1661.79 c rational objective 6 1701.00/1706.83 c #Conflicts: 757000 | #Constraints: 18204 1701.00/1706.83 c #Conflicts: 758000 | #Constraints: 19208 1701.00/1706.83 c #Conflicts: 759000 | #Constraints: 20213 1701.00/1706.83 c #Conflicts: 760000 | #Constraints: 21215 1701.00/1706.83 c #Conflicts: 761000 | #Constraints: 22217 1701.00/1706.83 c #Conflicts: 762000 | #Constraints: 23221 1701.00/1706.83 c #Conflicts: 763000 | #Constraints: 24225 1701.00/1706.83 c #Conflicts: 764000 | #Constraints: 25233 1701.00/1706.83 c #Conflicts: 765000 | #Constraints: 26241 1701.00/1706.83 c #Conflicts: 766000 | #Constraints: 27245 1701.00/1706.83 c #Conflicts: 767000 | #Constraints: 28246 1701.00/1706.83 c #Conflicts: 768000 | #Constraints: 29247 1701.00/1706.83 c #Conflicts: 769000 | #Constraints: 30250 1701.00/1706.83 c #Conflicts: 770000 | #Constraints: 31251 1701.00/1706.83 c #Conflicts: 771000 | #Constraints: 32255 1701.00/1706.83 c #Conflicts: 772000 | #Constraints: 33257 1701.00/1706.83 c #Conflicts: 773000 | #Constraints: 34258 1701.00/1706.83 c #Conflicts: 774000 | #Constraints: 35260 1701.00/1706.83 c INPROCESSING 1701.00/1706.83 c GARBAGE COLLECT 1701.00/1706.83 c rational objective 6 1753.53/1759.53 c #Conflicts: 775000 | #Constraints: 18804 1753.53/1759.53 c #Conflicts: 776000 | #Constraints: 19808 1753.53/1759.53 c #Conflicts: 777000 | #Constraints: 20810 1753.53/1759.53 c #Conflicts: 778000 | #Constraints: 21812 1753.53/1759.53 c #Conflicts: 779000 | #Constraints: 22813 1753.53/1759.53 c #Conflicts: 780000 | #Constraints: 23814 1753.53/1759.53 c #Conflicts: 781000 | #Constraints: 24816 1753.53/1759.53 c #Conflicts: 782000 | #Constraints: 25817 1753.53/1759.53 c #Conflicts: 783000 | #Constraints: 26819 1753.53/1759.53 c #Conflicts: 784000 | #Constraints: 27821 1753.53/1759.53 c #Conflicts: 785000 | #Constraints: 28822 1753.53/1759.53 c #Conflicts: 786000 | #Constraints: 29827 1753.53/1759.53 c #Conflicts: 787000 | #Constraints: 30828 1753.53/1759.53 c #Conflicts: 788000 | #Constraints: 31831 1753.53/1759.53 c #Conflicts: 789000 | #Constraints: 32833 1753.53/1759.53 c #Conflicts: 790000 | #Constraints: 33837 1753.53/1759.53 c #Conflicts: 791000 | #Constraints: 34845 1753.53/1759.53 c #Conflicts: 792000 | #Constraints: 35847 1753.53/1759.53 c INPROCESSING 1753.53/1759.53 c GARBAGE COLLECT 1753.53/1759.53 c rational objective 6 1803.47/1809.65 c #Conflicts: 793000 | #Constraints: 19213 1803.47/1809.65 c #Conflicts: 794000 | #Constraints: 20213 1803.47/1809.65 c #Conflicts: 795000 | #Constraints: 21213 1803.47/1809.65 c #Conflicts: 796000 | #Constraints: 22216 1803.47/1809.65 c #Conflicts: 797000 | #Constraints: 23218 1803.47/1809.65 c #Conflicts: 798000 | #Constraints: 24221 1803.47/1809.65 c #Conflicts: 799000 | #Constraints: 25223 1803.47/1809.65 c #Conflicts: 800000 | #Constraints: 26225 1803.47/1809.65 c #Conflicts: 801000 | #Constraints: 27226 1803.47/1809.65 c #Conflicts: 802000 | #Constraints: 28231 1803.47/1809.65 c #Conflicts: 803000 | #Constraints: 29235 1803.47/1809.65 c #Conflicts: 804000 | #Constraints: 30237 1803.47/1809.65 c #Conflicts: 805000 | #Constraints: 31241 1803.47/1809.65 c #Conflicts: 806000 | #Constraints: 32243 1803.47/1809.65 c #Conflicts: 807000 | #Constraints: 33243 1803.47/1809.65 c #Conflicts: 808000 | #Constraints: 34247 1803.47/1809.65 c #Conflicts: 809000 | #Constraints: 35247 1803.47/1809.65 c #Conflicts: 810000 | #Constraints: 36249 1803.47/1809.65 c INPROCESSING 1803.47/1809.65 c GARBAGE COLLECT 1803.47/1809.65 c rational objective 6 1854.50/1860.84 c #Conflicts: 811000 | #Constraints: 19408 1854.50/1860.84 c #Conflicts: 812000 | #Constraints: 20411 1854.50/1860.84 c #Conflicts: 813000 | #Constraints: 21412 1854.50/1860.84 c #Conflicts: 814000 | #Constraints: 22415 1854.50/1860.84 c #Conflicts: 815000 | #Constraints: 23419 1854.50/1860.84 c #Conflicts: 816000 | #Constraints: 24421 1854.50/1860.84 c #Conflicts: 817000 | #Constraints: 25424 1854.50/1860.84 c #Conflicts: 818000 | #Constraints: 26427 1854.50/1860.84 c #Conflicts: 819000 | #Constraints: 27427 1854.50/1860.84 c #Conflicts: 820000 | #Constraints: 28432 1854.50/1860.84 c #Conflicts: 821000 | #Constraints: 29435 1854.50/1860.84 c #Conflicts: 822000 | #Constraints: 30437 1854.50/1860.84 c #Conflicts: 823000 | #Constraints: 31437 1854.50/1860.84 c #Conflicts: 824000 | #Constraints: 32440 1854.50/1860.84 c #Conflicts: 825000 | #Constraints: 33443 1854.50/1860.84 c #Conflicts: 826000 | #Constraints: 34445 1854.50/1860.84 c #Conflicts: 827000 | #Constraints: 35451 1854.50/1860.84 c #Conflicts: 828000 | #Constraints: 36454 1854.50/1860.84 c INPROCESSING 1854.50/1860.84 c GARBAGE COLLECT 1854.50/1860.84 c rational objective 6 1949.20/1955.89 c #Conflicts: 829000 | #Constraints: 19414 1949.20/1955.89 c #Conflicts: 830000 | #Constraints: 20416 1949.20/1955.89 c #Conflicts: 831000 | #Constraints: 21417 1949.20/1955.89 c #Conflicts: 832000 | #Constraints: 22420 1949.20/1955.89 c #Conflicts: 833000 | #Constraints: 23424 1949.20/1955.89 c #Conflicts: 834000 | #Constraints: 24425 1949.20/1955.89 c #Conflicts: 835000 | #Constraints: 25426 1949.20/1955.89 c #Conflicts: 836000 | #Constraints: 26428 1949.20/1955.89 c #Conflicts: 837000 | #Constraints: 27430 1949.20/1955.89 c #Conflicts: 838000 | #Constraints: 28431 1949.20/1955.89 c #Conflicts: 839000 | #Constraints: 29435 1949.20/1955.89 c #Conflicts: 840000 | #Constraints: 30441 1949.20/1955.89 c #Conflicts: 841000 | #Constraints: 31447 1949.20/1955.89 c #Conflicts: 842000 | #Constraints: 32447 1949.20/1955.89 c #Conflicts: 843000 | #Constraints: 33450 1949.20/1955.89 c #Conflicts: 844000 | #Constraints: 34451 1949.20/1955.89 c #Conflicts: 845000 | #Constraints: 35454 1949.20/1955.89 c #Conflicts: 846000 | #Constraints: 36457 1949.20/1955.89 c INPROCESSING 1949.20/1955.89 c GARBAGE COLLECT 1949.20/1955.89 c rational objective 6 2012.40/2019.21 c #Conflicts: 847000 | #Constraints: 19218 2012.40/2019.21 c #Conflicts: 848000 | #Constraints: 20221 2012.40/2019.21 c #Conflicts: 849000 | #Constraints: 21223 2012.40/2019.21 c #Conflicts: 850000 | #Constraints: 22225 2012.40/2019.21 c #Conflicts: 851000 | #Constraints: 23227 2012.40/2019.21 c #Conflicts: 852000 | #Constraints: 24230 2012.40/2019.21 c #Conflicts: 853000 | #Constraints: 25235 2012.40/2019.21 c #Conflicts: 854000 | #Constraints: 26240 2012.40/2019.21 c #Conflicts: 855000 | #Constraints: 27243 2012.40/2019.21 c #Conflicts: 856000 | #Constraints: 28245 2012.40/2019.21 c #Conflicts: 857000 | #Constraints: 29249 2012.40/2019.21 c #Conflicts: 858000 | #Constraints: 30251 2012.40/2019.21 c #Conflicts: 859000 | #Constraints: 31251 2012.40/2019.21 c #Conflicts: 860000 | #Constraints: 32255 2012.40/2019.21 c #Conflicts: 861000 | #Constraints: 33257 2012.40/2019.21 c #Conflicts: 862000 | #Constraints: 34263 2012.40/2019.21 c #Conflicts: 863000 | #Constraints: 35264 2012.40/2019.21 c #Conflicts: 864000 | #Constraints: 36267 2012.40/2019.21 c #Conflicts: 865000 | #Constraints: 37268 2012.40/2019.21 c INPROCESSING 2012.40/2019.21 c GARBAGE COLLECT 2012.40/2019.21 c rational objective 6 2056.16/2063.17 c #Conflicts: 866000 | #Constraints: 19855 2056.16/2063.17 c #Conflicts: 867000 | #Constraints: 20857 2056.16/2063.17 c #Conflicts: 868000 | #Constraints: 21860 2056.16/2063.17 c #Conflicts: 869000 | #Constraints: 22862 2056.16/2063.17 c #Conflicts: 870000 | #Constraints: 23864 2056.16/2063.17 c #Conflicts: 871000 | #Constraints: 24867 2056.16/2063.17 c #Conflicts: 872000 | #Constraints: 25884 2056.16/2063.17 c #Conflicts: 873000 | #Constraints: 26888 2056.16/2063.17 c #Conflicts: 874000 | #Constraints: 27894 2056.16/2063.17 c #Conflicts: 875000 | #Constraints: 28897 2056.16/2063.17 c #Conflicts: 876000 | #Constraints: 29898 2056.16/2063.17 c #Conflicts: 877000 | #Constraints: 30901 2056.16/2063.17 c #Conflicts: 878000 | #Constraints: 31903 2056.16/2063.17 c #Conflicts: 879000 | #Constraints: 32904 2056.16/2063.17 c #Conflicts: 880000 | #Constraints: 33907 2056.16/2063.17 c #Conflicts: 881000 | #Constraints: 34911 2056.16/2063.17 c #Conflicts: 882000 | #Constraints: 35915 2056.16/2063.17 c #Conflicts: 883000 | #Constraints: 36920 2056.16/2063.17 c #Conflicts: 884000 | #Constraints: 37928 2056.16/2063.17 c INPROCESSING 2056.16/2063.17 c GARBAGE COLLECT 2056.16/2063.17 c rational objective 6 2096.12/2103.21 c #Conflicts: 885000 | #Constraints: 20236 2096.12/2103.21 c #Conflicts: 886000 | #Constraints: 21240 2096.12/2103.21 c #Conflicts: 887000 | #Constraints: 22243 2096.12/2103.21 c #Conflicts: 888000 | #Constraints: 23248 2096.12/2103.21 c #Conflicts: 889000 | #Constraints: 24249 2096.12/2103.21 c #Conflicts: 890000 | #Constraints: 25251 2096.12/2103.21 c #Conflicts: 891000 | #Constraints: 26254 2096.12/2103.21 c #Conflicts: 892000 | #Constraints: 27257 2096.12/2103.21 c #Conflicts: 893000 | #Constraints: 28260 2096.12/2103.21 c #Conflicts: 894000 | #Constraints: 29262 2096.12/2103.21 c #Conflicts: 895000 | #Constraints: 30265 2096.12/2103.21 c #Conflicts: 896000 | #Constraints: 31267 2096.12/2103.21 c #Conflicts: 897000 | #Constraints: 32271 2096.12/2103.21 c #Conflicts: 898000 | #Constraints: 33277 2096.12/2103.21 c #Conflicts: 899000 | #Constraints: 34278 2096.12/2103.21 c #Conflicts: 900000 | #Constraints: 35281 2096.12/2103.21 c #Conflicts: 901000 | #Constraints: 36286 2096.12/2103.21 c #Conflicts: 902000 | #Constraints: 37288 2096.12/2103.21 c #Conflicts: 903000 | #Constraints: 38292 2096.12/2103.21 c INPROCESSING 2096.12/2103.21 c GARBAGE COLLECT 2096.12/2103.21 c rational objective 6 2151.74/2159.02 c #Conflicts: 904000 | #Constraints: 20422 2151.74/2159.02 c #Conflicts: 905000 | #Constraints: 21426 2151.74/2159.02 c #Conflicts: 906000 | #Constraints: 22434 2151.74/2159.02 c #Conflicts: 907000 | #Constraints: 23438 2151.74/2159.02 c #Conflicts: 908000 | #Constraints: 24441 2151.74/2159.02 c #Conflicts: 909000 | #Constraints: 25445 2151.74/2159.02 c #Conflicts: 910000 | #Constraints: 26451 2151.74/2159.02 c #Conflicts: 911000 | #Constraints: 27454 2151.74/2159.02 c #Conflicts: 912000 | #Constraints: 28454 2151.74/2159.02 c #Conflicts: 913000 | #Constraints: 29455 2151.74/2159.02 c #Conflicts: 914000 | #Constraints: 30456 2151.74/2159.02 c #Conflicts: 915000 | #Constraints: 31457 2151.74/2159.02 c #Conflicts: 916000 | #Constraints: 32459 2151.74/2159.02 c #Conflicts: 917000 | #Constraints: 33467 2151.74/2159.02 c #Conflicts: 918000 | #Constraints: 34469 2151.74/2159.02 c #Conflicts: 919000 | #Constraints: 35472 2151.74/2159.02 c #Conflicts: 920000 | #Constraints: 36474 2151.74/2159.02 c #Conflicts: 921000 | #Constraints: 37476 2151.74/2159.02 c #Conflicts: 922000 | #Constraints: 38479 2151.74/2159.02 c INPROCESSING 2151.74/2159.02 c GARBAGE COLLECT 2151.74/2159.02 c rational objective 6 2207.16/2214.69 c #Conflicts: 923000 | #Constraints: 20416 2207.16/2214.69 c #Conflicts: 924000 | #Constraints: 21423 2207.16/2214.69 c #Conflicts: 925000 | #Constraints: 22425 2207.16/2214.69 c #Conflicts: 926000 | #Constraints: 23429 2207.16/2214.69 c #Conflicts: 927000 | #Constraints: 24434 2207.16/2214.69 c #Conflicts: 928000 | #Constraints: 25436 2207.16/2214.69 c #Conflicts: 929000 | #Constraints: 26436 2207.16/2214.69 c #Conflicts: 930000 | #Constraints: 27437 2207.16/2214.69 c #Conflicts: 931000 | #Constraints: 28440 2207.16/2214.69 c #Conflicts: 932000 | #Constraints: 29447 2207.16/2214.69 c #Conflicts: 933000 | #Constraints: 30469 2207.16/2214.69 c #Conflicts: 934000 | #Constraints: 31479 2207.16/2214.69 c #Conflicts: 935000 | #Constraints: 32492 2207.16/2214.69 c #Conflicts: 936000 | #Constraints: 33495 2207.16/2214.69 c #Conflicts: 937000 | #Constraints: 34498 2207.16/2214.69 c #Conflicts: 938000 | #Constraints: 35506 2207.16/2214.69 c #Conflicts: 939000 | #Constraints: 36509 2207.16/2214.69 c #Conflicts: 940000 | #Constraints: 37513 2207.16/2214.69 c #Conflicts: 941000 | #Constraints: 38514 2207.16/2214.69 c INPROCESSING 2207.16/2214.69 c GARBAGE COLLECT 2207.16/2214.69 c rational objective 6 2259.99/2267.66 c #Conflicts: 942000 | #Constraints: 20234 2259.99/2267.66 c #Conflicts: 943000 | #Constraints: 21235 2259.99/2267.66 c #Conflicts: 944000 | #Constraints: 22238 2259.99/2267.66 c #Conflicts: 945000 | #Constraints: 23242 2259.99/2267.66 c #Conflicts: 946000 | #Constraints: 24245 2259.99/2267.66 c #Conflicts: 947000 | #Constraints: 25250 2259.99/2267.66 c #Conflicts: 948000 | #Constraints: 26252 2259.99/2267.66 c #Conflicts: 949000 | #Constraints: 27256 2259.99/2267.66 c #Conflicts: 950000 | #Constraints: 28258 2259.99/2267.66 c #Conflicts: 951000 | #Constraints: 29266 2259.99/2267.66 c #Conflicts: 952000 | #Constraints: 30269 2259.99/2267.66 c #Conflicts: 953000 | #Constraints: 31271 2259.99/2267.66 c #Conflicts: 954000 | #Constraints: 32272 2259.99/2267.66 c #Conflicts: 955000 | #Constraints: 33272 2259.99/2267.66 c #Conflicts: 956000 | #Constraints: 34273 2259.99/2267.66 c #Conflicts: 957000 | #Constraints: 35276 2259.99/2267.66 c #Conflicts: 958000 | #Constraints: 36278 2259.99/2267.66 c #Conflicts: 959000 | #Constraints: 37279 2259.99/2267.66 c #Conflicts: 960000 | #Constraints: 38283 2259.99/2267.66 c #Conflicts: 961000 | #Constraints: 39285 2259.99/2267.66 c INPROCESSING 2259.99/2267.66 c GARBAGE COLLECT 2259.99/2267.66 c rational objective 6 2338.63/2346.51 c #Conflicts: 962000 | #Constraints: 20826 2338.63/2346.51 c #Conflicts: 963000 | #Constraints: 21829 2338.63/2346.51 c #Conflicts: 964000 | #Constraints: 22831 2338.63/2346.51 c #Conflicts: 965000 | #Constraints: 23834 2338.63/2346.51 c #Conflicts: 966000 | #Constraints: 24837 2338.63/2346.51 c #Conflicts: 967000 | #Constraints: 25842 2338.63/2346.51 c #Conflicts: 968000 | #Constraints: 26846 2338.63/2346.51 c #Conflicts: 969000 | #Constraints: 27849 2338.63/2346.51 c #Conflicts: 970000 | #Constraints: 28852 2338.63/2346.51 c #Conflicts: 971000 | #Constraints: 29859 2338.63/2346.51 c #Conflicts: 972000 | #Constraints: 30864 2338.63/2346.51 c #Conflicts: 973000 | #Constraints: 31869 2338.63/2346.51 c #Conflicts: 974000 | #Constraints: 32874 2338.63/2346.51 c #Conflicts: 975000 | #Constraints: 33877 2338.63/2346.51 c #Conflicts: 976000 | #Constraints: 34882 2338.63/2346.51 c #Conflicts: 977000 | #Constraints: 35885 2338.63/2346.51 c #Conflicts: 978000 | #Constraints: 36889 2338.63/2346.51 c #Conflicts: 979000 | #Constraints: 37891 2338.63/2346.51 c #Conflicts: 980000 | #Constraints: 38893 2338.63/2346.51 c #Conflicts: 981000 | #Constraints: 39896 2338.63/2346.51 c INPROCESSING 2338.63/2346.51 c GARBAGE COLLECT 2338.63/2346.51 c rational objective 6 2393.85/2401.97 c #Conflicts: 982000 | #Constraints: 21222 2393.85/2401.97 c #Conflicts: 983000 | #Constraints: 22229 2393.85/2401.97 c #Conflicts: 984000 | #Constraints: 23232 2393.85/2401.97 c #Conflicts: 985000 | #Constraints: 24232 2393.85/2401.97 c #Conflicts: 986000 | #Constraints: 25238 2393.85/2401.97 c #Conflicts: 987000 | #Constraints: 26244 2393.85/2401.97 c #Conflicts: 988000 | #Constraints: 27251 2393.85/2401.97 c #Conflicts: 989000 | #Constraints: 28255 2393.85/2401.97 c #Conflicts: 990000 | #Constraints: 29258 2393.85/2401.97 c #Conflicts: 991000 | #Constraints: 30261 2393.85/2401.97 c #Conflicts: 992000 | #Constraints: 31265 2393.85/2401.97 c #Conflicts: 993000 | #Constraints: 32266 2393.85/2401.97 c #Conflicts: 994000 | #Constraints: 33267 2393.85/2401.97 c #Conflicts: 995000 | #Constraints: 34269 2393.85/2401.97 c #Conflicts: 996000 | #Constraints: 35283 2393.85/2401.97 c #Conflicts: 997000 | #Constraints: 36287 2393.85/2401.97 c #Conflicts: 998000 | #Constraints: 37289 2393.85/2401.97 c #Conflicts: 999000 | #Constraints: 38289 2393.85/2401.97 c #Conflicts: 1000000 | #Constraints: 39294 2393.85/2401.97 c #Conflicts: 1001000 | #Constraints: 40295 2393.85/2401.97 c INPROCESSING 2393.85/2401.97 c GARBAGE COLLECT 2393.85/2401.97 c rational objective 6 2569.69/2578.36 c #Conflicts: 1002000 | #Constraints: 21435 2569.69/2578.36 c #Conflicts: 1003000 | #Constraints: 22440 2569.69/2578.36 c #Conflicts: 1004000 | #Constraints: 23443 2569.69/2578.36 c #Conflicts: 1005000 | #Constraints: 24446 2569.69/2578.36 c #Conflicts: 1006000 | #Constraints: 25450 2569.69/2578.36 c #Conflicts: 1007000 | #Constraints: 26453 2569.69/2578.36 c #Conflicts: 1008000 | #Constraints: 27457 2569.69/2578.36 c #Conflicts: 1009000 | #Constraints: 28459 2569.69/2578.36 c #Conflicts: 1010000 | #Constraints: 29464 2569.69/2578.36 c #Conflicts: 1011000 | #Constraints: 30466 2569.69/2578.36 c #Conflicts: 1012000 | #Constraints: 31469 2569.69/2578.36 c #Conflicts: 1013000 | #Constraints: 32472 2569.69/2578.36 c #Conflicts: 1014000 | #Constraints: 33476 2569.69/2578.36 c #Conflicts: 1015000 | #Constraints: 34478 2569.69/2578.36 c #Conflicts: 1016000 | #Constraints: 35480 2569.69/2578.36 c #Conflicts: 1017000 | #Constraints: 36484 2569.69/2578.36 c #Conflicts: 1018000 | #Constraints: 37487 2569.69/2578.36 c #Conflicts: 1019000 | #Constraints: 38489 2569.69/2578.36 c #Conflicts: 1020000 | #Constraints: 39492 2569.69/2578.36 c #Conflicts: 1021000 | #Constraints: 40499 2569.69/2578.36 c INPROCESSING 2569.69/2578.36 c GARBAGE COLLECT 2569.69/2578.36 c rational objective 6 2751.52/2760.72 c #Conflicts: 1022000 | #Constraints: 21434 2751.52/2760.72 c #Conflicts: 1023000 | #Constraints: 22443 2751.52/2760.72 c #Conflicts: 1024000 | #Constraints: 23447 2751.52/2760.72 c #Conflicts: 1025000 | #Constraints: 24449 2751.52/2760.72 c #Conflicts: 1026000 | #Constraints: 25458 2751.52/2760.72 c #Conflicts: 1027000 | #Constraints: 26463 2751.52/2760.72 c #Conflicts: 1028000 | #Constraints: 27467 2751.52/2760.72 c #Conflicts: 1029000 | #Constraints: 28470 2751.52/2760.72 c #Conflicts: 1030000 | #Constraints: 29472 2751.52/2760.72 c #Conflicts: 1031000 | #Constraints: 30478 2751.52/2760.72 c #Conflicts: 1032000 | #Constraints: 31481 2751.52/2760.72 c #Conflicts: 1033000 | #Constraints: 32485 2751.52/2760.72 c #Conflicts: 1034000 | #Constraints: 33489 2751.52/2760.72 c #Conflicts: 1035000 | #Constraints: 34492 2751.52/2760.72 c #Conflicts: 1036000 | #Constraints: 35497 2751.52/2760.72 c #Conflicts: 1037000 | #Constraints: 36499 2751.52/2760.72 c #Conflicts: 1038000 | #Constraints: 37506 2751.52/2760.72 c #Conflicts: 1039000 | #Constraints: 38513 2751.52/2760.72 c #Conflicts: 1040000 | #Constraints: 39515 2751.52/2760.72 c #Conflicts: 1041000 | #Constraints: 40517 2751.52/2760.72 c INPROCESSING 2751.52/2760.72 c GARBAGE COLLECT 2751.52/2760.72 c rational objective 6 2946.53/2956.41 c #Conflicts: 1042000 | #Constraints: 21247 2946.53/2956.41 c #Conflicts: 1043000 | #Constraints: 22249 2946.53/2956.41 c #Conflicts: 1044000 | #Constraints: 23252 2946.53/2956.41 c #Conflicts: 1045000 | #Constraints: 24255 2946.53/2956.41 c #Conflicts: 1046000 | #Constraints: 25257 2946.53/2956.41 c #Conflicts: 1047000 | #Constraints: 26257 2946.53/2956.41 c #Conflicts: 1048000 | #Constraints: 27259 2946.53/2956.41 c #Conflicts: 1049000 | #Constraints: 28261 2946.53/2956.41 c #Conflicts: 1050000 | #Constraints: 29262 2946.53/2956.41 c #Conflicts: 1051000 | #Constraints: 30264 2946.53/2956.41 c #Conflicts: 1052000 | #Constraints: 31265 2946.53/2956.41 c #Conflicts: 1053000 | #Constraints: 32268 2946.53/2956.41 c #Conflicts: 1054000 | #Constraints: 33269 2946.53/2956.41 c #Conflicts: 1055000 | #Constraints: 34270 2946.53/2956.41 c #Conflicts: 1056000 | #Constraints: 35270 2946.53/2956.41 c #Conflicts: 1057000 | #Constraints: 36270 2946.53/2956.41 c #Conflicts: 1058000 | #Constraints: 37270 2946.53/2956.41 c #Conflicts: 1059000 | #Constraints: 38270 2946.53/2956.41 c #Conflicts: 1060000 | #Constraints: 39270 2946.53/2956.41 c #Conflicts: 1061000 | #Constraints: 40271 2946.53/2956.41 c #Conflicts: 1062000 | #Constraints: 41272 2946.53/2956.41 c INPROCESSING 2946.53/2956.41 c GARBAGE COLLECT 2946.53/2956.41 c rational objective 6 3026.33/3036.53 c #Conflicts: 1063000 | #Constraints: 21820 3026.33/3036.53 c #Conflicts: 1064000 | #Constraints: 22829 3026.33/3036.53 c #Conflicts: 1065000 | #Constraints: 23832 3026.33/3036.53 c #Conflicts: 1066000 | #Constraints: 24833 3026.33/3036.53 c #Conflicts: 1067000 | #Constraints: 25834 3026.33/3036.53 c #Conflicts: 1068000 | #Constraints: 26836 3026.33/3036.53 c #Conflicts: 1069000 | #Constraints: 27839 3026.33/3036.53 c #Conflicts: 1070000 | #Constraints: 28840 3026.33/3036.53 c #Conflicts: 1071000 | #Constraints: 29842 3026.33/3036.53 c #Conflicts: 1072000 | #Constraints: 30844 3026.33/3036.53 c #Conflicts: 1073000 | #Constraints: 31847 3026.33/3036.53 c #Conflicts: 1074000 | #Constraints: 32848 3026.33/3036.53 c #Conflicts: 1075000 | #Constraints: 33850 3026.33/3036.53 c #Conflicts: 1076000 | #Constraints: 34850 3026.33/3036.53 c #Conflicts: 1077000 | #Constraints: 35851 3026.33/3036.53 c #Conflicts: 1078000 | #Constraints: 36852 3026.33/3036.53 c #Conflicts: 1079000 | #Constraints: 37854 3026.33/3036.53 c #Conflicts: 1080000 | #Constraints: 38856 3026.33/3036.53 c #Conflicts: 1081000 | #Constraints: 39857 3026.33/3036.53 c #Conflicts: 1082000 | #Constraints: 40857 3026.33/3036.53 c #Conflicts: 1083000 | #Constraints: 41858 3026.33/3036.53 c INPROCESSING 3026.33/3036.53 c GARBAGE COLLECT 3026.33/3036.53 c rational objective 6 3076.63/3087.02 c #Conflicts: 1084000 | #Constraints: 22207 3076.63/3087.02 c #Conflicts: 1085000 | #Constraints: 23208 3076.63/3087.02 c #Conflicts: 1086000 | #Constraints: 24212 3076.63/3087.02 c #Conflicts: 1087000 | #Constraints: 25213 3076.63/3087.02 c #Conflicts: 1088000 | #Constraints: 26213 3076.63/3087.02 c #Conflicts: 1089000 | #Constraints: 27214 3076.63/3087.02 c #Conflicts: 1090000 | #Constraints: 28216 3076.63/3087.02 c #Conflicts: 1091000 | #Constraints: 29217 3076.63/3087.02 c #Conflicts: 1092000 | #Constraints: 30217 3076.63/3087.02 c #Conflicts: 1093000 | #Constraints: 31218 3076.63/3087.02 c #Conflicts: 1094000 | #Constraints: 32219 3076.63/3087.02 c #Conflicts: 1095000 | #Constraints: 33220 3076.63/3087.02 c #Conflicts: 1096000 | #Constraints: 34220 3076.63/3087.02 c #Conflicts: 1097000 | #Constraints: 35220 3076.63/3087.02 c #Conflicts: 1098000 | #Constraints: 36222 3076.63/3087.02 c #Conflicts: 1099000 | #Constraints: 37222 3076.63/3087.02 c #Conflicts: 1100000 | #Constraints: 38223 3076.63/3087.02 c #Conflicts: 1101000 | #Constraints: 39224 3076.63/3087.02 c #Conflicts: 1102000 | #Constraints: 40226 3076.63/3087.02 c #Conflicts: 1103000 | #Constraints: 41227 3076.63/3087.02 c #Conflicts: 1104000 | #Constraints: 42228 3076.63/3087.02 c INPROCESSING 3076.63/3087.02 c GARBAGE COLLECT 3076.63/3087.02 c rational objective 6 3167.00/3177.72 c #Conflicts: 1105000 | #Constraints: 22392 3167.00/3177.72 c #Conflicts: 1106000 | #Constraints: 23398 3167.00/3177.72 c #Conflicts: 1107000 | #Constraints: 24399 3167.00/3177.72 c #Conflicts: 1108000 | #Constraints: 25405 3167.00/3177.72 c #Conflicts: 1109000 | #Constraints: 26414 3167.00/3177.72 c #Conflicts: 1110000 | #Constraints: 27423 3167.00/3177.72 c #Conflicts: 1111000 | #Constraints: 28427 3167.00/3177.72 c #Conflicts: 1112000 | #Constraints: 29430 3167.00/3177.72 c #Conflicts: 1113000 | #Constraints: 30432 3167.00/3177.72 c #Conflicts: 1114000 | #Constraints: 31434 3167.00/3177.72 c #Conflicts: 1115000 | #Constraints: 32435 3167.00/3177.72 c #Conflicts: 1116000 | #Constraints: 33437 3167.00/3177.72 c #Conflicts: 1117000 | #Constraints: 34438 3167.00/3177.72 c #Conflicts: 1118000 | #Constraints: 35439 3167.00/3177.72 c #Conflicts: 1119000 | #Constraints: 36439 3167.00/3177.72 c #Conflicts: 1120000 | #Constraints: 37441 3167.00/3177.72 c #Conflicts: 1121000 | #Constraints: 38442 3167.00/3177.72 c #Conflicts: 1122000 | #Constraints: 39445 3167.00/3177.72 c #Conflicts: 1123000 | #Constraints: 40446 3167.00/3177.72 c #Conflicts: 1124000 | #Constraints: 41448 3167.00/3177.72 c #Conflicts: 1125000 | #Constraints: 42450 3167.00/3177.72 c INPROCESSING 3167.00/3177.72 c GARBAGE COLLECT 3167.00/3177.72 c rational objective 6 3224.48/3235.45 c #Conflicts: 1126000 | #Constraints: 22405 3224.48/3235.45 c #Conflicts: 1127000 | #Constraints: 23406 3224.48/3235.45 c #Conflicts: 1128000 | #Constraints: 24406 3224.48/3235.45 c #Conflicts: 1129000 | #Constraints: 25407 3224.48/3235.45 c #Conflicts: 1130000 | #Constraints: 26409 3224.48/3235.45 c #Conflicts: 1131000 | #Constraints: 27414 3224.48/3235.45 c #Conflicts: 1132000 | #Constraints: 28415 3224.48/3235.45 c #Conflicts: 1133000 | #Constraints: 29417 3224.48/3235.45 c #Conflicts: 1134000 | #Constraints: 30423 3224.48/3235.45 c #Conflicts: 1135000 | #Constraints: 31425 3224.48/3235.45 c #Conflicts: 1136000 | #Constraints: 32428 3224.48/3235.45 c #Conflicts: 1137000 | #Constraints: 33431 3224.48/3235.45 c #Conflicts: 1138000 | #Constraints: 34438 3224.48/3235.45 c #Conflicts: 1139000 | #Constraints: 35441 3224.48/3235.45 c #Conflicts: 1140000 | #Constraints: 36442 3224.48/3235.45 c #Conflicts: 1141000 | #Constraints: 37445 3224.48/3235.45 c #Conflicts: 1142000 | #Constraints: 38448 3224.48/3235.45 c #Conflicts: 1143000 | #Constraints: 39453 3224.48/3235.45 c #Conflicts: 1144000 | #Constraints: 40462 3224.48/3235.45 c #Conflicts: 1145000 | #Constraints: 41467 3224.48/3235.45 c #Conflicts: 1146000 | #Constraints: 42470 3224.48/3235.45 c INPROCESSING 3224.48/3235.45 c GARBAGE COLLECT 3224.48/3235.45 c rational objective 6 3293.15/3304.32 c #Conflicts: 1147000 | #Constraints: 22202 3293.15/3304.32 c #Conflicts: 1148000 | #Constraints: 23204 3293.15/3304.32 c #Conflicts: 1149000 | #Constraints: 24204 3293.15/3304.32 c #Conflicts: 1150000 | #Constraints: 25207 3293.15/3304.32 c #Conflicts: 1151000 | #Constraints: 26210 3293.15/3304.32 c #Conflicts: 1152000 | #Constraints: 27214 3293.15/3304.32 c #Conflicts: 1153000 | #Constraints: 28223 3293.15/3304.32 c #Conflicts: 1154000 | #Constraints: 29226 3293.15/3304.32 c #Conflicts: 1155000 | #Constraints: 30227 3293.15/3304.32 c #Conflicts: 1156000 | #Constraints: 31230 3293.15/3304.32 c #Conflicts: 1157000 | #Constraints: 32242 3293.15/3304.32 c #Conflicts: 1158000 | #Constraints: 33252 3293.15/3304.32 c #Conflicts: 1159000 | #Constraints: 34253 3293.15/3304.32 c #Conflicts: 1160000 | #Constraints: 35256 3293.15/3304.32 c #Conflicts: 1161000 | #Constraints: 36263 3293.15/3304.32 c #Conflicts: 1162000 | #Constraints: 37266 3293.15/3304.32 c #Conflicts: 1163000 | #Constraints: 38268 3293.15/3304.32 c #Conflicts: 1164000 | #Constraints: 39274 3293.15/3304.32 c #Conflicts: 1165000 | #Constraints: 40280 3293.15/3304.32 c #Conflicts: 1166000 | #Constraints: 41281 3293.15/3304.32 c #Conflicts: 1167000 | #Constraints: 42283 3293.15/3304.32 c #Conflicts: 1168000 | #Constraints: 43290 3293.15/3304.32 c INPROCESSING 3293.15/3304.32 c GARBAGE COLLECT 3293.15/3304.32 c rational objective 6 3389.75/3401.29 c #Conflicts: 1169000 | #Constraints: 22857 3389.75/3401.29 c #Conflicts: 1170000 | #Constraints: 23862 3389.75/3401.29 c #Conflicts: 1171000 | #Constraints: 24866 3389.75/3401.29 c #Conflicts: 1172000 | #Constraints: 25871 3389.75/3401.29 c #Conflicts: 1173000 | #Constraints: 26875 3389.75/3401.29 c #Conflicts: 1174000 | #Constraints: 27879 3389.75/3401.29 c #Conflicts: 1175000 | #Constraints: 28880 3389.75/3401.29 c #Conflicts: 1176000 | #Constraints: 29882 3389.75/3401.29 c #Conflicts: 1177000 | #Constraints: 30882 3389.75/3401.29 c #Conflicts: 1178000 | #Constraints: 31883 3389.75/3401.29 c #Conflicts: 1179000 | #Constraints: 32884 3389.75/3401.29 c #Conflicts: 1180000 | #Constraints: 33884 3389.75/3401.29 c #Conflicts: 1181000 | #Constraints: 34885 3389.75/3401.29 c #Conflicts: 1182000 | #Constraints: 35888 3389.75/3401.29 c #Conflicts: 1183000 | #Constraints: 36889 3389.75/3401.29 c #Conflicts: 1184000 | #Constraints: 37892 3389.75/3401.29 c #Conflicts: 1185000 | #Constraints: 38897 3389.75/3401.29 c #Conflicts: 1186000 | #Constraints: 39898 3389.75/3401.29 c #Conflicts: 1187000 | #Constraints: 40902 3389.75/3401.29 c #Conflicts: 1188000 | #Constraints: 41906 3389.75/3401.29 c #Conflicts: 1189000 | #Constraints: 42912 3389.75/3401.29 c #Conflicts: 1190000 | #Constraints: 43917 3389.75/3401.29 c INPROCESSING 3389.75/3401.29 c GARBAGE COLLECT 3389.75/3401.29 c rational objective 6 3457.12/3468.82 c #Conflicts: 1191000 | #Constraints: 23243 3457.12/3468.82 c #Conflicts: 1192000 | #Constraints: 24243 3457.12/3468.82 c #Conflicts: 1193000 | #Constraints: 25246 3457.12/3468.82 c #Conflicts: 1194000 | #Constraints: 26254 3457.12/3468.82 c #Conflicts: 1195000 | #Constraints: 27257 3457.12/3468.82 c #Conflicts: 1196000 | #Constraints: 28268 3457.12/3468.82 c #Conflicts: 1197000 | #Constraints: 29270 3457.12/3468.82 c #Conflicts: 1198000 | #Constraints: 30272 3457.12/3468.82 c #Conflicts: 1199000 | #Constraints: 31274 3457.12/3468.82 c #Conflicts: 1200000 | #Constraints: 32277 3457.12/3468.82 c #Conflicts: 1201000 | #Constraints: 33280 3457.12/3468.82 c #Conflicts: 1202000 | #Constraints: 34284 3457.12/3468.82 c #Conflicts: 1203000 | #Constraints: 35289 3457.12/3468.82 c #Conflicts: 1204000 | #Constraints: 36295 3457.12/3468.82 c #Conflicts: 1205000 | #Constraints: 37296 3457.12/3468.82 c #Conflicts: 1206000 | #Constraints: 38300 3457.12/3468.82 c #Conflicts: 1207000 | #Constraints: 39303 3457.12/3468.82 c #Conflicts: 1208000 | #Constraints: 40306 3457.12/3468.82 c #Conflicts: 1209000 | #Constraints: 41308 3457.12/3468.82 c #Conflicts: 1210000 | #Constraints: 42310 3457.12/3468.82 c #Conflicts: 1211000 | #Constraints: 43314 3457.12/3468.82 c #Conflicts: 1212000 | #Constraints: 44315 3457.12/3468.82 c INPROCESSING 3457.12/3468.82 c GARBAGE COLLECT 3457.12/3468.82 c rational objective 6 3566.87/3578.95 c #Conflicts: 1213000 | #Constraints: 23451 3566.87/3578.95 c #Conflicts: 1214000 | #Constraints: 24459 3566.87/3578.95 c #Conflicts: 1215000 | #Constraints: 25462 3566.87/3578.95 c #Conflicts: 1216000 | #Constraints: 26468 3566.87/3578.95 c #Conflicts: 1217000 | #Constraints: 27470 3566.87/3578.95 c #Conflicts: 1218000 | #Constraints: 28472 3566.87/3578.95 c #Conflicts: 1219000 | #Constraints: 29475 3566.87/3578.95 c #Conflicts: 1220000 | #Constraints: 30476 3566.87/3578.95 c #Conflicts: 1221000 | #Constraints: 31480 3566.87/3578.95 c #Conflicts: 1222000 | #Constraints: 32483 3566.87/3578.95 c #Conflicts: 1223000 | #Constraints: 33486 3566.87/3578.95 c #Conflicts: 1224000 | #Constraints: 34488 3566.87/3578.95 c #Conflicts: 1225000 | #Constraints: 35492 3566.87/3578.95 c #Conflicts: 1226000 | #Constraints: 36495 3566.87/3578.95 c #Conflicts: 1227000 | #Constraints: 37497 3566.87/3578.95 c #Conflicts: 1228000 | #Constraints: 38499 3566.87/3578.95 c #Conflicts: 1229000 | #Constraints: 39502 3566.87/3578.95 c #Conflicts: 1230000 | #Constraints: 40506 3566.87/3578.95 c #Conflicts: 1231000 | #Constraints: 41513 3566.87/3578.95 c #Conflicts: 1232000 | #Constraints: 42515 3566.87/3578.95 c #Conflicts: 1233000 | #Constraints: 43517 3566.87/3578.95 c #Conflicts: 1234000 | #Constraints: 44519 3566.87/3578.95 c INPROCESSING 3566.87/3578.95 c GARBAGE COLLECT 3566.87/3578.95 c rational objective 6 3600.06/3612.20 c #Conflicts: 1235000 | #Constraints: 23434 3600.06/3612.20 c #Conflicts: 1236000 | #Constraints: 24437 3600.06/3612.20 c #Conflicts: 1237000 | #Constraints: 25444 3600.06/3612.20 c #Conflicts: 1238000 | #Constraints: 26445 3600.06/3612.20 c #Conflicts: 1239000 | #Constraints: 27449 3600.06/3612.20 c #Conflicts: 1240000 | #Constraints: 28451 3600.06/3612.20 c #Conflicts: 1241000 | #Constraints: 29455 3600.06/3612.20 c #Conflicts: 1242000 | #Constraints: 30463 3600.06/3612.20 c #Conflicts: 1243000 | #Constraints: 31465 3600.06/3612.20 c #Conflicts: 1244000 | #Constraints: 32467 3600.06/3612.20 c #Conflicts: 1245000 | #Constraints: 33470 3600.06/3612.20 c #Conflicts: 1246000 | #Constraints: 34476 3600.06/3612.20 c #Conflicts: 1247000 | #Constraints: 35478 3600.06/3612.20 c Program interrupted by user. 3600.07/3612.45 c cpu time 3540.31 s 3600.07/3612.45 c deterministic time 831773397844 8.32e+11 3600.07/3612.45 c optimization time 32.327 s 3600.07/3612.45 c total solve time 3507.97 s 3600.07/3612.45 c core-guided solve time 4e-06 s 3600.07/3612.45 c propagation time 2985.12 s 3600.07/3612.45 c conflict analysis time 442.886 s 3600.07/3612.45 c propagations 476935237 3600.07/3612.45 c resolve steps 5037613 3600.07/3612.45 c decisions 31825911 3600.07/3612.45 c conflicts 1247129 3600.07/3612.45 c restarts 2364 3600.07/3612.45 c inprocessing phases 102 3600.07/3612.45 c input clauses 3273 3600.07/3612.45 c input cardinalities 64 3600.07/3612.45 c input general constraints 384 3600.07/3612.45 c input average constraint length 9.95 3600.07/3612.45 c input average constraint degree 74.17 3600.07/3612.45 c learned clauses 121348 3600.07/3612.45 c learned cardinalities 7491 3600.07/3612.45 c learned general constraints 1122158 3600.07/3612.45 c learned average constraint length 639.14 3600.07/3612.45 c learned average constraint degree 4744527557.36 3600.07/3612.45 c watched constraints 1047967 3600.07/3612.45 c counting constraints 74575 3600.07/3612.45 c gcd simplifications 30698 3600.07/3612.45 c detected cardinalities 51 3600.07/3612.45 c weakened non-implied lits 95723290 3600.07/3612.45 c weakened non-implying lits 385256 3600.07/3612.45 c original variables 3216 3600.07/3612.45 c clausal propagations 1104965 3600.07/3612.45 c cardinality propagations 88860237 3600.07/3612.45 c watched propagations 214529299 3600.07/3612.45 c counting propagations 170341704 3600.07/3612.45 c watch lookups 43306604217 3600.07/3612.45 c watch backjump lookups 38141761735 3600.07/3612.45 c watch checks 696741431155 3600.07/3612.45 c propagation checks 49957437926 3600.07/3612.45 c constraint additions 2606131583 3600.07/3612.45 c trail pops 510002055 3600.07/3612.45 c formula constraints 3721 3600.07/3612.45 c learned constraints 1243259 3600.07/3612.45 c bound constraints 0 3600.07/3612.45 c core-guided constraints 0 3600.07/3612.45 c encountered formula constraints 2990881 3600.07/3612.45 c encountered learned constraints 2832044 3600.07/3612.45 c encountered bound constraints 0 3600.07/3612.45 c encountered core-guided constraints 0 3600.07/3612.45 c LP total time 139.281 s 3600.07/3612.45 c LP solve time 122.04 s 3600.07/3612.45 c LP constraints added 4432 3600.07/3612.45 c LP constraints removed 699 3600.07/3612.45 c LP pivots internal 1247205 3600.07/3612.45 c LP pivots root 20819 3600.07/3612.45 c LP calls 11390 3600.07/3612.45 c LP optimalities 7514 3600.07/3612.45 c LP no pivot count 4803 3600.07/3612.45 c LP infeasibilities 3871 3600.07/3612.45 c LP valid Farkas constraints 3869 3600.07/3612.45 c LP learned Farkas constraints 3869 3600.07/3612.45 c LP basis resets 4 3600.07/3612.45 c LP cycling count 0 3600.07/3612.45 c LP singular count 2 3600.07/3612.45 c LP no primal count 0 3600.07/3612.45 c LP no farkas count 2 3600.07/3612.45 c LP other issue count 0 3600.07/3612.45 c LP Gomory cuts 0 3600.07/3612.45 c LP learned cuts 711 3600.07/3612.45 c LP deleted cuts 699 3600.07/3612.45 c LP encountered Gomory constraints 0 3600.07/3612.45 c LP encountered Farkas constraints 367811 3600.07/3612.45 c LP encountered learned Farkas constraints 90137 3600.07/3612.45 c CG auxiliary variables introduced 0 3600.07/3612.45 c CG solutions found 0 3600.07/3612.45 c CG cores constructed 1 3600.07/3612.45 c CG core cardinality constraints returned 0 3600.07/3612.45 c CG unit cores 1 3600.07/3612.45 c CG single cores 0 3600.07/3612.45 c CG blocks removed during cardinality reduction 0 3600.07/3612.45 c CG first core best 0 3600.07/3612.45 c CG decision core best 0 3600.07/3612.45 c CG core reduction tie 0 3600.07/3612.45 c CG core degree average 0.00 3600.07/3612.45 c CG core slack average 0.00 3600.07/3612.45 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60218 MiB free)
memory of node 1: 64510 MiB (60255 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456988-1721817825/watcher-4456988-1721817825 -o /tmp/evaluation-result-4456988-1721817825/solver-4456988-1721817825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192408 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456988-1721817825 --lp-cut-gomory=0 HOME/instance-4456988-1721817825.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=193150, runsolver pid=193147
Current StackSize limit: 8192 KiB
[startup+0.10078 s]*
/proc/loadavg: 4.08 3.66 2.11 5/261 193151
/proc/meminfo: memFree=123356848/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=45088 memory=15144 CPUtime=0.09 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 2715 0 0 0 9 0 0 0 20 0 1 0 18311117 46170112 3786 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 11272 3786 1831 992 0 3130 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45088 KiB
Current children cumulated memory: 15144 KiB
[startup+0.205781 s]*
/proc/loadavg: 4.08 3.66 2.11 5/261 193151
/proc/meminfo: memFree=123353832/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=45388 memory=16640 CPUtime=0.19 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 3040 0 0 0 18 1 0 0 20 0 1 0 18311117 46477312 4160 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 11347 4160 1878 992 0 3205 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45388 KiB
Current children cumulated memory: 16640 KiB
[startup+0.305559 s]*
/proc/loadavg: 4.08 3.66 2.11 5/261 193151
/proc/meminfo: memFree=123351116/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=46248 memory=17696 CPUtime=0.29 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 3299 0 0 0 28 1 0 0 20 0 1 0 18311117 47357952 4424 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 11562 4424 1878 992 0 3420 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46248 KiB
Current children cumulated memory: 17696 KiB
[startup+0.700188 s]
/proc/loadavg: 4.08 3.66 2.12 5/261 193151
/proc/meminfo: memFree=123340668/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=52296 memory=26528 CPUtime=0.67 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 4512 0 0 0 64 3 0 0 20 0 1 0 18311117 53551104 6632 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 13074 6632 1878 992 0 4932 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 52296 KiB
Current children cumulated memory: 26528 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 3.66 2.12 5/261 193151
/proc/meminfo: memFree=123328652/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=59736 memory=29632 CPUtime=1.47 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 5589 0 0 0 141 6 0 0 20 0 1 0 18311117 61169664 7408 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 14934 7408 1894 992 0 6792 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 59736 KiB
Current children cumulated memory: 29632 KiB
[startup+3.10558 s]
/proc/loadavg: 4.08 3.66 2.12 5/260 193151
/proc/meminfo: memFree=123291044/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=64132 memory=38004 CPUtime=3.07 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 7119 0 0 0 294 13 0 0 20 0 1 0 18311117 65671168 9501 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 16033 9501 1894 992 0 7891 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64132 KiB
Current children cumulated memory: 38004 KiB
[startup+6.30019 s]
/proc/loadavg: 4.07 3.67 2.13 5/261 193152
/proc/meminfo: memFree=123246296/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=75540 memory=45320 CPUtime=6.26 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 8461 0 0 0 601 25 0 0 20 0 1 0 18311117 77352960 11330 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 18885 11330 1894 992 0 10743 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75540 KiB
Current children cumulated memory: 45320 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 3.68 2.14 5/261 193154
/proc/meminfo: memFree=123132704/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=98984 memory=64656 CPUtime=12.63 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 11777 0 0 0 1221 42 0 0 20 0 1 0 18311117 101359616 16164 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 24746 16164 1894 992 0 16604 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 98984 KiB
Current children cumulated memory: 64656 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 3.70 2.17 5/261 193155
/proc/meminfo: memFree=122960940/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=111008 memory=82132 CPUtime=25.4 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 14600 0 0 0 2465 75 0 0 20 0 1 0 18311117 113672192 20533 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 27752 20533 1894 992 0 19610 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 111008 KiB
Current children cumulated memory: 82132 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 3.73 2.23 5/261 193160
/proc/meminfo: memFree=122565132/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=150612 memory=107552 CPUtime=50.92 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 19979 0 0 0 4926 166 0 0 20 0 1 0 18311117 154226688 26888 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 37653 26888 1894 992 0 29511 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 150612 KiB
Current children cumulated memory: 107552 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.79 2.33 5/259 193168
/proc/meminfo: memFree=121821412/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=168424 memory=128992 CPUtime=101.93 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 24314 0 0 0 9863 330 0 0 20 0 1 0 18311117 172466176 32248 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 42106 32248 1894 992 0 33964 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 168424 KiB
Current children cumulated memory: 128992 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.86 2.45 5/259 193179
/proc/meminfo: memFree=121010600/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=222232 memory=162804 CPUtime=161.71 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 30401 0 0 0 15643 528 0 0 20 0 1 0 18311117 227565568 40701 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 55558 40701 1894 992 0 47416 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 222232 KiB
Current children cumulated memory: 162804 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.91 2.55 5/260 193192
/proc/meminfo: memFree=120244416/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=249908 memory=214780 CPUtime=221.49 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 37252 0 0 0 21457 692 0 0 20 0 1 0 18311117 255905792 53695 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 62477 53695 1894 992 0 54335 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 249908 KiB
Current children cumulated memory: 214780 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.96 2.66 5/260 193202
/proc/meminfo: memFree=119563408/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=329048 memory=253672 CPUtime=281.26 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 44594 0 0 0 27295 831 0 0 20 0 1 0 18311117 336945152 63418 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 82262 63418 1894 992 0 74120 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 329048 KiB
Current children cumulated memory: 253672 KiB
[startup+342.3 s]
/proc/loadavg: 4.19 4.00 2.75 5/261 193215
/proc/meminfo: memFree=118736044/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=335404 memory=265732 CPUtime=341.03 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 46220 0 0 0 33061 1042 0 0 20 0 1 0 18311117 343453696 66433 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 83851 66433 1894 992 0 75709 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 335404 KiB
Current children cumulated memory: 265732 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.03 2.84 6/261 193227
/proc/meminfo: memFree=118131108/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=345908 memory=275412 CPUtime=400.84 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 48688 0 0 0 38908 1176 0 0 20 0 1 0 18311117 354209792 68853 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 86477 68853 1894 992 0 78335 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 345908 KiB
Current children cumulated memory: 275412 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.08 2.94 5/261 193238
/proc/meminfo: memFree=117700068/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=358412 memory=297276 CPUtime=460.65 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 51727 0 0 0 44833 1232 0 0 20 0 1 0 18311117 367013888 74319 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 89603 74319 1894 992 0 81461 0
################
# More data... #
################
Current children cumulated memory: 617992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.20 4.08 5/261 194887
/proc/meminfo: memFree=100289804/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=779292 memory=623872 CPUtime=2912.57 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 107986 0 1 0 286242 5015 0 0 20 0 1 0 18311117 797995008 155968 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 194823 155968 1993 992 0 186681 0
Current children cumulated CPU time: 2912.57 s
Current children cumulated vsize: 779292 KiB
Current children cumulated memory: 623872 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.08 5/258 195021
/proc/meminfo: memFree=105636236/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=789264 memory=631304 CPUtime=2972.33 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 110115 0 1 0 292146 5087 0 0 20 0 1 0 18311117 808206336 157826 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 197316 157826 1993 992 0 189174 0
Current children cumulated CPU time: 2972.33 s
Current children cumulated vsize: 789264 KiB
Current children cumulated memory: 631304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.15 4.08 5/263 195097
/proc/meminfo: memFree=104816336/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=793428 memory=634800 CPUtime=3032.11 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 111203 0 1 0 298033 5178 0 0 20 0 1 0 18311117 812470272 158700 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 198357 158700 1993 992 0 190215 0
Current children cumulated CPU time: 3032.11 s
Current children cumulated vsize: 793428 KiB
Current children cumulated memory: 634800 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.08 5/264 195108
/proc/meminfo: memFree=104054200/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=796632 memory=642556 CPUtime=3091.87 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 112311 0 1 0 303897 5290 0 0 20 0 1 0 18311117 815751168 160639 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199158 160639 1993 992 0 191016 0
Current children cumulated CPU time: 3091.87 s
Current children cumulated vsize: 796632 KiB
Current children cumulated memory: 642556 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/263 195118
/proc/meminfo: memFree=103597424/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=796632 memory=655568 CPUtime=3151.66 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 112570 0 1 0 309805 5361 0 0 20 0 1 0 18311117 815751168 163892 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199158 163892 1993 992 0 191016 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 796632 KiB
Current children cumulated memory: 655568 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/260 195129
/proc/meminfo: memFree=103095736/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=797964 memory=656572 CPUtime=3211.43 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 113111 0 1 0 315691 5452 0 0 20 0 1 0 18311117 817115136 164143 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199491 164143 1993 992 0 191349 0
Current children cumulated CPU time: 3211.43 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 656572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 195143
/proc/meminfo: memFree=102574512/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=797964 memory=656660 CPUtime=3271.22 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 113403 0 1 0 321576 5546 0 0 20 0 1 0 18311117 817115136 164165 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199491 164165 1993 992 0 191349 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 656660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 195155
/proc/meminfo: memFree=102162708/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=797964 memory=656700 CPUtime=3331.03 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 113689 0 1 0 327481 5622 0 0 20 0 1 0 18311117 817115136 164175 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199491 164175 1993 992 0 191349 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 797964 KiB
Current children cumulated memory: 656700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 195167
/proc/meminfo: memFree=101765756/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=798388 memory=657000 CPUtime=3390.84 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 114068 0 1 0 333399 5685 0 0 20 0 1 0 18311117 817549312 164250 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199597 164250 1993 992 0 191455 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 798388 KiB
Current children cumulated memory: 657000 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 195179
/proc/meminfo: memFree=101326300/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=798388 memory=657084 CPUtime=3450.65 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 114335 0 1 0 339276 5789 0 0 20 0 1 0 18311117 817549312 164271 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199597 164271 1993 992 0 191455 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 798388 KiB
Current children cumulated memory: 657084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 195189
/proc/meminfo: memFree=101016872/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=798648 memory=657344 CPUtime=3510.45 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 114661 0 1 0 345171 5874 0 0 20 0 1 0 18311117 817815552 164336 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199662 164336 1993 992 0 191520 0
Current children cumulated CPU time: 3510.45 s
Current children cumulated vsize: 798648 KiB
Current children cumulated memory: 657344 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 195200
/proc/meminfo: memFree=100704292/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=799544 memory=658156 CPUtime=3570.25 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 115120 0 1 0 351098 5927 0 0 20 0 1 0 18311117 818733056 164539 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199886 164539 1993 992 0 191744 0
Current children cumulated CPU time: 3570.25 s
Current children cumulated vsize: 799544 KiB
Current children cumulated memory: 658156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 195207
/proc/meminfo: memFree=100319596/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=799544 memory=658156 CPUtime=3600.06 cores=0,2
/proc/193150/stat : 193150 (roundingsat) R 193147 193150 192398 0 -1 4194304 115149 0 1 0 354031 5975 0 0 20 0 1 0 18311117 818733056 164539 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199886 164539 1993 992 0 191744 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 799544 KiB
Current children cumulated memory: 658156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.45 s]
# the end of solver process 193150 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3540.32 s, system=59.7711 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.4 s]
/proc/loadavg: 4.18 4.12 4.10 5/257 195207
/proc/meminfo: memFree=100319596/131524600 swapFree=131065292/131071996
[pid=193150] ppid=193147 vsize=799544 memory=658156 CPUtime=3600.07 cores=0,2
/proc/193150/stat : 193150 (roundingsat) D 193147 193150 192398 0 -1 4194304 115152 0 1 0 354031 5976 0 0 20 0 1 0 18311117 818733056 164539 134679101440 4194304 8254037 140727017299808 0 0 0 0 0 25182210 0 0 0 17 0 0 0 34 0 0 9037040 9046032 24068096 140727017309020 140727017309282 140727017309282 140727017316297 0
/proc/193150/statm: 199886 164539 1993 992 0 191744 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 799544 KiB
Current children cumulated memory: 658156 KiB
Child status: 0
Real time (s): 3612.46
CPU time (s): 3600.09
CPU user time (s): 3540.32
CPU system time (s): 59.7711
CPU usage (%): 99.6576
Max. virtual memory (cumulated for all children) (KiB): 799544
Max. memory (cumulated for all children) (KiB): 658156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.32
system time used= 59.7711
maximum resident set size= 658156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115160
page faults= 1
swaps= 0
block input operations= 224
block output operations= 42626840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2752
involuntary context switches= 24960
# summary of solver processes directly reported to runsolver:
# pid: 193150
# total CPU time (s): 3600.09
# total CPU user time (s): 3540.32
# total CPU system time (s): 59.7711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73861 second user time and 16.2014 second system time
The end
Begin job on nodeC021 at 2024-07-24 12:43:45 IDJOB=4456988 IDBENCH=148772 IDSOLVER=3085 FILE ID=nodeC021/4456988-1721817825 RUNJOBID= nodeC021-1721817186-192408 SLURM_JOB_ID= 7816876 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456988-1721817825/watcher-4456988-1721817825 -o /tmp/evaluation-result-4456988-1721817825/solver-4456988-1721817825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721817186-192408 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456988-1721817825 --lp-cut-gomory=0 HOME/instance-4456988-1721817825.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00 RANDOM SEED=676282298 nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3643.526 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.194 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3660.452 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.454 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3679.567 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.219 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3638.471 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.403 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.41 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123365984 kB MemAvailable: 129533328 kB Buffers: 249052 kB Cached: 6713296 kB SwapCached: 192 kB Active: 2606064 kB Inactive: 4877716 kB Active(anon): 1704 kB Inactive(anon): 573504 kB Active(file): 2604360 kB Inactive(file): 4304212 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131065292 kB Dirty: 54512 kB Writeback: 0 kB AnonPages: 517272 kB Mapped: 128744 kB Shmem: 53696 kB KReclaimable: 196836 kB Slab: 319188 kB SReclaimable: 196836 kB SUnreclaim: 122352 kB KernelStack: 4224 kB PageTables: 10204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 880804 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20800 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 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: 322260 kB DirectMap2M: 40345600 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 889964 MiB End job on nodeC021 at 2024-07-24 13:43:57