| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3600.06 | 3611.91 |
| Name | PB24/normalized-PB09/ OPT-LIN/flexray/normalized-fx97.opb |
| MD5SUM | b17790bf3951ca85a67cd8038da17b4d |
| 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 | 1518.19 |
| 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 | 8424 |
| Total number of constraints | 9089 |
| Number of constraints which are clauses | 8415 |
| Number of constraints which are cardinality constraints (but not clauses) | 98 |
| Number of constraints which are nor clauses,nor cardinality constraints | 576 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 576 |
| Number of terms in the objective function | 9 |
| 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 | 9 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 42 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1199 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.02/1.62 c #variables 8424 #constraints 9186 0.12/1.73 c bounds - >= 0 @ 0.043686 0.12/1.73 c rational objective 9 3.50/5.16 c #Conflicts: 1000 | #Constraints: 10186 3.50/5.16 c #Conflicts: 2000 | #Constraints: 11187 3.50/5.16 c INPROCESSING 3.50/5.16 c GARBAGE COLLECT 3.50/5.16 c bounds - >= 9 @ 1.31476 3.50/5.16 c #Conflicts: 3000 | #Constraints: 2784 3.50/5.16 c #Conflicts: 4000 | #Constraints: 3785 3.50/5.16 c INPROCESSING 3.50/5.16 c GARBAGE COLLECT 3.50/5.16 c rational objective 9 6.29/7.99 c #Conflicts: 5000 | #Constraints: 3188 6.29/7.99 c #Conflicts: 6000 | #Constraints: 4190 6.29/7.99 c INPROCESSING 6.29/7.99 c GARBAGE COLLECT 6.29/7.99 c rational objective 9 8.78/10.41 c #Conflicts: 7000 | #Constraints: 3191 8.78/10.41 c #Conflicts: 8000 | #Constraints: 4192 8.78/10.41 c #Conflicts: 9000 | #Constraints: 5193 8.78/10.41 c INPROCESSING 8.78/10.41 c GARBAGE COLLECT 8.78/10.41 c rational objective 9 11.38/13.05 c #Conflicts: 10000 | #Constraints: 3896 11.38/13.05 c #Conflicts: 11000 | #Constraints: 4898 11.38/13.05 c #Conflicts: 12000 | #Constraints: 5899 11.38/13.05 c INPROCESSING 11.38/13.05 c GARBAGE COLLECT 11.38/13.05 c rational objective 9 15.67/17.30 c #Conflicts: 13000 | #Constraints: 4349 15.67/17.30 c #Conflicts: 14000 | #Constraints: 5351 15.67/17.30 c #Conflicts: 15000 | #Constraints: 6353 15.67/17.30 c INPROCESSING 15.67/17.30 c GARBAGE COLLECT 15.67/17.30 c rational objective 9 24.74/26.43 c #Conflicts: 16000 | #Constraints: 4583 24.74/26.43 c #Conflicts: 17000 | #Constraints: 5584 24.74/26.43 c #Conflicts: 18000 | #Constraints: 6588 24.74/26.43 c INPROCESSING 24.74/26.43 c GARBAGE COLLECT 24.74/26.43 c rational objective 9 28.93/30.67 c #Conflicts: 19000 | #Constraints: 4605 28.93/30.67 c #Conflicts: 20000 | #Constraints: 5608 28.93/30.67 c #Conflicts: 21000 | #Constraints: 6613 28.93/30.67 c INPROCESSING 28.93/30.67 c GARBAGE COLLECT 28.93/30.67 c rational objective 9 34.92/36.69 c #Conflicts: 22000 | #Constraints: 4414 34.92/36.69 c #Conflicts: 23000 | #Constraints: 5416 34.92/36.69 c #Conflicts: 24000 | #Constraints: 6419 34.92/36.69 c #Conflicts: 25000 | #Constraints: 7423 34.92/36.69 c INPROCESSING 34.92/36.69 c GARBAGE COLLECT 34.92/36.69 c rational objective 9 39.21/40.91 c #Conflicts: 26000 | #Constraints: 5018 39.21/40.91 c #Conflicts: 27000 | #Constraints: 6019 39.21/40.91 c #Conflicts: 28000 | #Constraints: 7020 39.21/40.91 c #Conflicts: 29000 | #Constraints: 8020 39.21/40.91 c INPROCESSING 39.21/40.91 c GARBAGE COLLECT 39.21/40.91 c rational objective 9 43.90/45.60 c #Conflicts: 30000 | #Constraints: 5410 43.90/45.60 c #Conflicts: 31000 | #Constraints: 6413 43.90/45.60 c #Conflicts: 32000 | #Constraints: 7414 43.90/45.60 c #Conflicts: 33000 | #Constraints: 8416 43.90/45.60 c INPROCESSING 43.90/45.60 c GARBAGE COLLECT 43.90/45.60 c rational objective 9 51.87/53.62 c #Conflicts: 34000 | #Constraints: 5614 51.87/53.62 c #Conflicts: 35000 | #Constraints: 6615 51.87/53.62 c #Conflicts: 36000 | #Constraints: 7618 51.87/53.62 c #Conflicts: 37000 | #Constraints: 8621 51.87/53.62 c INPROCESSING 51.87/53.62 c GARBAGE COLLECT 51.87/53.62 c rational objective 9 59.66/61.47 c #Conflicts: 38000 | #Constraints: 5621 59.66/61.47 c #Conflicts: 39000 | #Constraints: 6624 59.66/61.47 c #Conflicts: 40000 | #Constraints: 7627 59.66/61.47 c #Conflicts: 41000 | #Constraints: 8630 59.66/61.47 c INPROCESSING 59.66/61.47 c GARBAGE COLLECT 59.66/61.47 c rational objective 9 67.84/69.61 c #Conflicts: 42000 | #Constraints: 5436 67.84/69.61 c #Conflicts: 43000 | #Constraints: 6438 67.84/69.61 c #Conflicts: 44000 | #Constraints: 7441 67.84/69.61 c #Conflicts: 45000 | #Constraints: 8443 67.84/69.61 c #Conflicts: 46000 | #Constraints: 9447 67.84/69.61 c INPROCESSING 67.84/69.61 c GARBAGE COLLECT 67.84/69.61 c rational objective 9 81.00/82.86 c #Conflicts: 47000 | #Constraints: 6030 81.00/82.86 c #Conflicts: 48000 | #Constraints: 7033 81.00/82.86 c #Conflicts: 49000 | #Constraints: 8034 81.00/82.86 c #Conflicts: 50000 | #Constraints: 9035 81.00/82.86 c #Conflicts: 51000 | #Constraints: 10037 81.00/82.86 c INPROCESSING 81.00/82.86 c GARBAGE COLLECT 81.00/82.86 c rational objective 9 87.88/89.74 c #Conflicts: 52000 | #Constraints: 6424 87.88/89.74 c #Conflicts: 53000 | #Constraints: 7427 87.88/89.74 c #Conflicts: 54000 | #Constraints: 8428 87.88/89.74 c #Conflicts: 55000 | #Constraints: 9429 87.88/89.74 c #Conflicts: 56000 | #Constraints: 10430 87.88/89.74 c INPROCESSING 87.88/89.74 c GARBAGE COLLECT 87.88/89.74 c rational objective 9 96.06/97.98 c #Conflicts: 57000 | #Constraints: 6619 96.06/97.98 c #Conflicts: 58000 | #Constraints: 7622 96.06/97.98 c #Conflicts: 59000 | #Constraints: 8625 96.06/97.98 c #Conflicts: 60000 | #Constraints: 9628 96.06/97.98 c #Conflicts: 61000 | #Constraints: 10630 96.06/97.98 c INPROCESSING 96.06/97.98 c GARBAGE COLLECT 96.06/97.98 c rational objective 9 114.82/116.70 c #Conflicts: 62000 | #Constraints: 6630 114.82/116.70 c #Conflicts: 63000 | #Constraints: 7631 114.82/116.70 c #Conflicts: 64000 | #Constraints: 8633 114.82/116.70 c #Conflicts: 65000 | #Constraints: 9636 114.82/116.70 c #Conflicts: 66000 | #Constraints: 10638 114.82/116.70 c INPROCESSING 114.82/116.70 c GARBAGE COLLECT 114.82/116.70 c rational objective 9 125.69/127.68 c #Conflicts: 67000 | #Constraints: 6419 125.69/127.68 c #Conflicts: 68000 | #Constraints: 7420 125.69/127.68 c #Conflicts: 69000 | #Constraints: 8420 125.69/127.68 c #Conflicts: 70000 | #Constraints: 9424 125.69/127.68 c #Conflicts: 71000 | #Constraints: 10428 125.69/127.68 c #Conflicts: 72000 | #Constraints: 11428 125.69/127.68 c INPROCESSING 125.69/127.68 c GARBAGE COLLECT 125.69/127.68 c rational objective 9 136.65/138.63 c #Conflicts: 73000 | #Constraints: 7013 136.65/138.63 c #Conflicts: 74000 | #Constraints: 8016 136.65/138.63 c #Conflicts: 75000 | #Constraints: 9017 136.65/138.63 c #Conflicts: 76000 | #Constraints: 10020 136.65/138.63 c #Conflicts: 77000 | #Constraints: 11022 136.65/138.63 c #Conflicts: 78000 | #Constraints: 12024 136.65/138.63 c INPROCESSING 136.65/138.63 c GARBAGE COLLECT 136.65/138.63 c rational objective 9 152.72/154.72 c #Conflicts: 79000 | #Constraints: 7416 152.72/154.72 c #Conflicts: 80000 | #Constraints: 8417 152.72/154.72 c #Conflicts: 81000 | #Constraints: 9419 152.72/154.72 c #Conflicts: 82000 | #Constraints: 10420 152.72/154.72 c #Conflicts: 83000 | #Constraints: 11424 152.72/154.72 c #Conflicts: 84000 | #Constraints: 12426 152.72/154.72 c INPROCESSING 152.72/154.72 c GARBAGE COLLECT 152.72/154.72 c rational objective 9 159.70/161.72 c #Conflicts: 85000 | #Constraints: 7623 159.70/161.72 c #Conflicts: 86000 | #Constraints: 8625 159.70/161.72 c #Conflicts: 87000 | #Constraints: 9630 159.70/161.72 c #Conflicts: 88000 | #Constraints: 10634 159.70/161.72 c #Conflicts: 89000 | #Constraints: 11635 159.70/161.72 c #Conflicts: 90000 | #Constraints: 12635 159.70/161.72 c INPROCESSING 159.70/161.72 c GARBAGE COLLECT 159.70/161.72 c rational objective 9 180.25/182.37 c #Conflicts: 91000 | #Constraints: 7632 180.25/182.37 c #Conflicts: 92000 | #Constraints: 8638 180.25/182.37 c #Conflicts: 93000 | #Constraints: 9639 180.25/182.37 c #Conflicts: 94000 | #Constraints: 10640 180.25/182.37 c #Conflicts: 95000 | #Constraints: 11642 180.25/182.37 c #Conflicts: 96000 | #Constraints: 12642 180.25/182.37 c INPROCESSING 180.25/182.37 c GARBAGE COLLECT 180.25/182.37 c rational objective 9 206.08/208.25 c #Conflicts: 97000 | #Constraints: 7417 206.08/208.25 c #Conflicts: 98000 | #Constraints: 8418 206.08/208.25 c #Conflicts: 99000 | #Constraints: 9419 206.08/208.25 c #Conflicts: 100000 | #Constraints: 10421 206.08/208.25 c #Conflicts: 101000 | #Constraints: 11422 206.08/208.25 c #Conflicts: 102000 | #Constraints: 12423 206.08/208.25 c #Conflicts: 103000 | #Constraints: 13423 206.08/208.25 c INPROCESSING 206.08/208.25 c GARBAGE COLLECT 206.08/208.25 c rational objective 9 219.85/222.02 c #Conflicts: 104000 | #Constraints: 8011 219.85/222.02 c #Conflicts: 105000 | #Constraints: 9012 219.85/222.02 c #Conflicts: 106000 | #Constraints: 10013 219.85/222.02 c #Conflicts: 107000 | #Constraints: 11014 219.85/222.02 c #Conflicts: 108000 | #Constraints: 12017 219.85/222.02 c #Conflicts: 109000 | #Constraints: 13019 219.85/222.02 c #Conflicts: 110000 | #Constraints: 14023 219.85/222.02 c INPROCESSING 219.85/222.02 c GARBAGE COLLECT 219.85/222.02 c rational objective 9 231.31/233.57 c #Conflicts: 111000 | #Constraints: 8420 231.31/233.57 c #Conflicts: 112000 | #Constraints: 9425 231.31/233.57 c #Conflicts: 113000 | #Constraints: 10430 231.31/233.57 c #Conflicts: 114000 | #Constraints: 11432 231.31/233.57 c #Conflicts: 115000 | #Constraints: 12433 231.31/233.57 c #Conflicts: 116000 | #Constraints: 13436 231.31/233.57 c #Conflicts: 117000 | #Constraints: 14439 231.31/233.57 c INPROCESSING 231.31/233.57 c GARBAGE COLLECT 231.31/233.57 c rational objective 9 247.48/249.79 c #Conflicts: 118000 | #Constraints: 8624 247.48/249.79 c #Conflicts: 119000 | #Constraints: 9627 247.48/249.79 c #Conflicts: 120000 | #Constraints: 10630 247.48/249.79 c #Conflicts: 121000 | #Constraints: 11631 247.48/249.79 c #Conflicts: 122000 | #Constraints: 12631 247.48/249.79 c #Conflicts: 123000 | #Constraints: 13632 247.48/249.79 c #Conflicts: 124000 | #Constraints: 14634 247.48/249.79 c INPROCESSING 247.48/249.79 c GARBAGE COLLECT 247.48/249.79 c rational objective 9 260.53/262.89 c #Conflicts: 125000 | #Constraints: 8622 260.53/262.89 c #Conflicts: 126000 | #Constraints: 9624 260.53/262.89 c #Conflicts: 127000 | #Constraints: 10626 260.53/262.89 c #Conflicts: 128000 | #Constraints: 11629 260.53/262.89 c #Conflicts: 129000 | #Constraints: 12629 260.53/262.89 c #Conflicts: 130000 | #Constraints: 13631 260.53/262.89 c #Conflicts: 131000 | #Constraints: 14634 260.53/262.89 c INPROCESSING 260.53/262.89 c GARBAGE COLLECT 260.53/262.89 c rational objective 9 274.10/276.43 c #Conflicts: 132000 | #Constraints: 8410 274.10/276.43 c #Conflicts: 133000 | #Constraints: 9411 274.10/276.43 c #Conflicts: 134000 | #Constraints: 10412 274.10/276.43 c #Conflicts: 135000 | #Constraints: 11412 274.10/276.43 c #Conflicts: 136000 | #Constraints: 12415 274.10/276.43 c #Conflicts: 137000 | #Constraints: 13416 274.10/276.43 c #Conflicts: 138000 | #Constraints: 14420 274.10/276.43 c #Conflicts: 139000 | #Constraints: 15423 274.10/276.43 c INPROCESSING 274.10/276.43 c GARBAGE COLLECT 274.10/276.43 c rational objective 9 307.42/309.86 c #Conflicts: 140000 | #Constraints: 9024 307.42/309.86 c #Conflicts: 141000 | #Constraints: 10026 307.42/309.86 c #Conflicts: 142000 | #Constraints: 11027 307.42/309.86 c #Conflicts: 143000 | #Constraints: 12028 307.42/309.86 c #Conflicts: 144000 | #Constraints: 13031 307.42/309.86 c #Conflicts: 145000 | #Constraints: 14032 307.42/309.86 c #Conflicts: 146000 | #Constraints: 15035 307.42/309.86 c #Conflicts: 147000 | #Constraints: 16036 307.42/309.86 c INPROCESSING 307.42/309.86 c GARBAGE COLLECT 307.42/309.86 c rational objective 9 323.09/325.56 c #Conflicts: 148000 | #Constraints: 9422 323.09/325.56 c #Conflicts: 149000 | #Constraints: 10423 323.09/325.56 c #Conflicts: 150000 | #Constraints: 11426 323.09/325.56 c #Conflicts: 151000 | #Constraints: 12428 323.09/325.56 c #Conflicts: 152000 | #Constraints: 13431 323.09/325.56 c #Conflicts: 153000 | #Constraints: 14434 323.09/325.56 c #Conflicts: 154000 | #Constraints: 15437 323.09/325.56 c #Conflicts: 155000 | #Constraints: 16438 323.09/325.56 c INPROCESSING 323.09/325.56 c GARBAGE COLLECT 323.09/325.56 c rational objective 9 344.03/346.50 c #Conflicts: 156000 | #Constraints: 9637 344.03/346.50 c #Conflicts: 157000 | #Constraints: 10639 344.03/346.50 c #Conflicts: 158000 | #Constraints: 11642 344.03/346.50 c #Conflicts: 159000 | #Constraints: 12644 344.03/346.50 c #Conflicts: 160000 | #Constraints: 13645 344.03/346.50 c #Conflicts: 161000 | #Constraints: 14646 344.03/346.50 c #Conflicts: 162000 | #Constraints: 15647 344.03/346.50 c #Conflicts: 163000 | #Constraints: 16647 344.03/346.50 c INPROCESSING 344.03/346.50 c GARBAGE COLLECT 344.03/346.50 c rational objective 9 367.67/370.20 c #Conflicts: 164000 | #Constraints: 9628 367.67/370.20 c #Conflicts: 165000 | #Constraints: 10631 367.67/370.20 c #Conflicts: 166000 | #Constraints: 11633 367.67/370.20 c #Conflicts: 167000 | #Constraints: 12635 367.67/370.20 c #Conflicts: 168000 | #Constraints: 13638 367.67/370.20 c #Conflicts: 169000 | #Constraints: 14640 367.67/370.20 c #Conflicts: 170000 | #Constraints: 15644 367.67/370.20 c #Conflicts: 171000 | #Constraints: 16645 367.67/370.20 c INPROCESSING 367.67/370.20 c GARBAGE COLLECT 367.67/370.20 c rational objective 9 391.81/394.42 c #Conflicts: 172000 | #Constraints: 9434 391.81/394.42 c #Conflicts: 173000 | #Constraints: 10437 391.81/394.42 c #Conflicts: 174000 | #Constraints: 11440 391.81/394.42 c #Conflicts: 175000 | #Constraints: 12442 391.81/394.42 c #Conflicts: 176000 | #Constraints: 13442 391.81/394.42 c #Conflicts: 177000 | #Constraints: 14444 391.81/394.42 c #Conflicts: 178000 | #Constraints: 15447 391.81/394.42 c #Conflicts: 179000 | #Constraints: 16447 391.81/394.42 c #Conflicts: 180000 | #Constraints: 17447 391.81/394.42 c INPROCESSING 391.81/394.42 c GARBAGE COLLECT 391.81/394.42 c rational objective 9 411.56/414.29 c #Conflicts: 181000 | #Constraints: 10023 411.56/414.29 c #Conflicts: 182000 | #Constraints: 11026 411.56/414.29 c #Conflicts: 183000 | #Constraints: 12026 411.56/414.29 c #Conflicts: 184000 | #Constraints: 13029 411.56/414.29 c #Conflicts: 185000 | #Constraints: 14033 411.56/414.29 c #Conflicts: 186000 | #Constraints: 15036 411.56/414.29 c #Conflicts: 187000 | #Constraints: 16036 411.56/414.29 c #Conflicts: 188000 | #Constraints: 17038 411.56/414.29 c #Conflicts: 189000 | #Constraints: 18041 411.56/414.29 c INPROCESSING 411.56/414.29 c GARBAGE COLLECT 411.56/414.29 c rational objective 9 434.90/437.63 c #Conflicts: 190000 | #Constraints: 10448 434.90/437.63 c #Conflicts: 191000 | #Constraints: 11451 434.90/437.63 c #Conflicts: 192000 | #Constraints: 12454 434.90/437.63 c #Conflicts: 193000 | #Constraints: 13458 434.90/437.63 c #Conflicts: 194000 | #Constraints: 14462 434.90/437.63 c #Conflicts: 195000 | #Constraints: 15466 434.90/437.63 c #Conflicts: 196000 | #Constraints: 16468 434.90/437.63 c #Conflicts: 197000 | #Constraints: 17471 434.90/437.63 c #Conflicts: 198000 | #Constraints: 18472 434.90/437.63 c INPROCESSING 434.90/437.63 c GARBAGE COLLECT 434.90/437.63 c rational objective 9 468.61/471.46 c #Conflicts: 199000 | #Constraints: 10688 468.61/471.46 c #Conflicts: 200000 | #Constraints: 11691 468.61/471.46 c #Conflicts: 201000 | #Constraints: 12692 468.61/471.46 c #Conflicts: 202000 | #Constraints: 13695 468.61/471.46 c #Conflicts: 203000 | #Constraints: 14697 468.61/471.46 c #Conflicts: 204000 | #Constraints: 15699 468.61/471.46 c #Conflicts: 205000 | #Constraints: 16700 468.61/471.46 c #Conflicts: 206000 | #Constraints: 17701 468.61/471.46 c #Conflicts: 207000 | #Constraints: 18702 468.61/471.46 c INPROCESSING 468.61/471.46 c GARBAGE COLLECT 468.61/471.46 c rational objective 9 513.89/516.84 c #Conflicts: 208000 | #Constraints: 10650 513.89/516.84 c #Conflicts: 209000 | #Constraints: 11658 513.89/516.84 c #Conflicts: 210000 | #Constraints: 12663 513.89/516.84 c #Conflicts: 211000 | #Constraints: 13664 513.89/516.84 c #Conflicts: 212000 | #Constraints: 14666 513.89/516.84 c #Conflicts: 213000 | #Constraints: 15668 513.89/516.84 c #Conflicts: 214000 | #Constraints: 16670 513.89/516.84 c #Conflicts: 215000 | #Constraints: 17672 513.89/516.84 c #Conflicts: 216000 | #Constraints: 18673 513.89/516.84 c INPROCESSING 513.89/516.84 c GARBAGE COLLECT 513.89/516.84 c rational objective 9 538.92/541.94 c #Conflicts: 217000 | #Constraints: 10435 538.92/541.94 c #Conflicts: 218000 | #Constraints: 11437 538.92/541.94 c #Conflicts: 219000 | #Constraints: 12444 538.92/541.94 c #Conflicts: 220000 | #Constraints: 13451 538.92/541.94 c #Conflicts: 221000 | #Constraints: 14453 538.92/541.94 c #Conflicts: 222000 | #Constraints: 15456 538.92/541.94 c #Conflicts: 223000 | #Constraints: 16457 538.92/541.94 c #Conflicts: 224000 | #Constraints: 17461 538.92/541.94 c #Conflicts: 225000 | #Constraints: 18463 538.92/541.94 c #Conflicts: 226000 | #Constraints: 19466 538.92/541.94 c INPROCESSING 538.92/541.94 c GARBAGE COLLECT 538.92/541.94 c rational objective 9 577.32/580.43 c #Conflicts: 227000 | #Constraints: 11040 577.32/580.43 c #Conflicts: 228000 | #Constraints: 12042 577.32/580.43 c #Conflicts: 229000 | #Constraints: 13044 577.32/580.43 c #Conflicts: 230000 | #Constraints: 14048 577.32/580.43 c #Conflicts: 231000 | #Constraints: 15052 577.32/580.43 c #Conflicts: 232000 | #Constraints: 16052 577.32/580.43 c #Conflicts: 233000 | #Constraints: 17054 577.32/580.43 c #Conflicts: 234000 | #Constraints: 18056 577.32/580.43 c #Conflicts: 235000 | #Constraints: 19057 577.32/580.43 c #Conflicts: 236000 | #Constraints: 20059 577.32/580.43 c INPROCESSING 577.32/580.43 c GARBAGE COLLECT 577.32/580.43 c rational objective 9 602.45/605.68 c #Conflicts: 237000 | #Constraints: 11443 602.45/605.68 c #Conflicts: 238000 | #Constraints: 12448 602.45/605.68 c #Conflicts: 239000 | #Constraints: 13454 602.45/605.68 c #Conflicts: 240000 | #Constraints: 14455 602.45/605.68 c #Conflicts: 241000 | #Constraints: 15455 602.45/605.68 c #Conflicts: 242000 | #Constraints: 16455 602.45/605.68 c #Conflicts: 243000 | #Constraints: 17455 602.45/605.68 c #Conflicts: 244000 | #Constraints: 18457 602.45/605.68 c #Conflicts: 245000 | #Constraints: 19458 602.45/605.68 c #Conflicts: 246000 | #Constraints: 20460 602.45/605.68 c INPROCESSING 602.45/605.68 c GARBAGE COLLECT 602.45/605.68 c rational objective 9 634.98/638.28 c #Conflicts: 247000 | #Constraints: 11628 634.98/638.28 c #Conflicts: 248000 | #Constraints: 12628 634.98/638.28 c #Conflicts: 249000 | #Constraints: 13631 634.98/638.28 c #Conflicts: 250000 | #Constraints: 14632 634.98/638.28 c #Conflicts: 251000 | #Constraints: 15636 634.98/638.28 c #Conflicts: 252000 | #Constraints: 16637 634.98/638.28 c #Conflicts: 253000 | #Constraints: 17641 634.98/638.28 c #Conflicts: 254000 | #Constraints: 18643 634.98/638.28 c #Conflicts: 255000 | #Constraints: 19644 634.98/638.28 c #Conflicts: 256000 | #Constraints: 20645 634.98/638.28 c INPROCESSING 634.98/638.28 c GARBAGE COLLECT 634.98/638.28 c rational objective 9 652.93/656.25 c #Conflicts: 257000 | #Constraints: 11626 652.93/656.25 c #Conflicts: 258000 | #Constraints: 12627 652.93/656.25 c #Conflicts: 259000 | #Constraints: 13628 652.93/656.25 c #Conflicts: 260000 | #Constraints: 14629 652.93/656.25 c #Conflicts: 261000 | #Constraints: 15632 652.93/656.25 c #Conflicts: 262000 | #Constraints: 16633 652.93/656.25 c #Conflicts: 263000 | #Constraints: 17636 652.93/656.25 c #Conflicts: 264000 | #Constraints: 18642 652.93/656.25 c #Conflicts: 265000 | #Constraints: 19647 652.93/656.25 c #Conflicts: 266000 | #Constraints: 20649 652.93/656.25 c INPROCESSING 652.93/656.25 c GARBAGE COLLECT 652.93/656.25 c rational objective 9 675.37/678.71 c #Conflicts: 267000 | #Constraints: 11444 675.37/678.71 c #Conflicts: 268000 | #Constraints: 12445 675.37/678.71 c #Conflicts: 269000 | #Constraints: 13447 675.37/678.71 c #Conflicts: 270000 | #Constraints: 14447 675.37/678.71 c #Conflicts: 271000 | #Constraints: 15447 675.37/678.71 c #Conflicts: 272000 | #Constraints: 16452 675.37/678.71 c #Conflicts: 273000 | #Constraints: 17454 675.37/678.71 c #Conflicts: 274000 | #Constraints: 18457 675.37/678.71 c #Conflicts: 275000 | #Constraints: 19459 675.37/678.71 c #Conflicts: 276000 | #Constraints: 20462 675.37/678.71 c #Conflicts: 277000 | #Constraints: 21464 675.37/678.71 c INPROCESSING 675.37/678.71 c GARBAGE COLLECT 675.37/678.71 c rational objective 9 698.51/701.91 c #Conflicts: 278000 | #Constraints: 12053 698.51/701.91 c #Conflicts: 279000 | #Constraints: 13054 698.51/701.91 c #Conflicts: 280000 | #Constraints: 14055 698.51/701.91 c #Conflicts: 281000 | #Constraints: 15055 698.51/701.91 c #Conflicts: 282000 | #Constraints: 16057 698.51/701.91 c #Conflicts: 283000 | #Constraints: 17061 698.51/701.91 c #Conflicts: 284000 | #Constraints: 18061 698.51/701.91 c #Conflicts: 285000 | #Constraints: 19063 698.51/701.91 c #Conflicts: 286000 | #Constraints: 20064 698.51/701.91 c #Conflicts: 287000 | #Constraints: 21065 698.51/701.91 c #Conflicts: 288000 | #Constraints: 22066 698.51/701.91 c INPROCESSING 698.51/701.91 c GARBAGE COLLECT 698.51/701.91 c rational objective 9 731.24/734.79 c #Conflicts: 289000 | #Constraints: 12443 731.24/734.79 c #Conflicts: 290000 | #Constraints: 13445 731.24/734.79 c #Conflicts: 291000 | #Constraints: 14449 731.24/734.79 c #Conflicts: 292000 | #Constraints: 15452 731.24/734.79 c #Conflicts: 293000 | #Constraints: 16453 731.24/734.79 c #Conflicts: 294000 | #Constraints: 17455 731.24/734.79 c #Conflicts: 295000 | #Constraints: 18456 731.24/734.79 c #Conflicts: 296000 | #Constraints: 19457 731.24/734.79 c #Conflicts: 297000 | #Constraints: 20460 731.24/734.79 c #Conflicts: 298000 | #Constraints: 21462 731.24/734.79 c #Conflicts: 299000 | #Constraints: 22464 731.24/734.79 c INPROCESSING 731.24/734.79 c GARBAGE COLLECT 731.24/734.79 c rational objective 9 762.35/765.91 c #Conflicts: 300000 | #Constraints: 12638 762.35/765.91 c #Conflicts: 301000 | #Constraints: 13641 762.35/765.91 c #Conflicts: 302000 | #Constraints: 14643 762.35/765.91 c #Conflicts: 303000 | #Constraints: 15645 762.35/765.91 c #Conflicts: 304000 | #Constraints: 16646 762.35/765.91 c #Conflicts: 305000 | #Constraints: 17649 762.35/765.91 c #Conflicts: 306000 | #Constraints: 18653 762.35/765.91 c #Conflicts: 307000 | #Constraints: 19658 762.35/765.91 c #Conflicts: 308000 | #Constraints: 20659 762.35/765.91 c #Conflicts: 309000 | #Constraints: 21660 762.35/765.91 c #Conflicts: 310000 | #Constraints: 22660 762.35/765.91 c INPROCESSING 762.35/765.91 c GARBAGE COLLECT 762.35/765.91 c rational objective 9 814.22/817.95 c #Conflicts: 311000 | #Constraints: 12630 814.22/817.95 c #Conflicts: 312000 | #Constraints: 13632 814.22/817.95 c #Conflicts: 313000 | #Constraints: 14636 814.22/817.95 c #Conflicts: 314000 | #Constraints: 15638 814.22/817.95 c #Conflicts: 315000 | #Constraints: 16638 814.22/817.95 c #Conflicts: 316000 | #Constraints: 17640 814.22/817.95 c #Conflicts: 317000 | #Constraints: 18642 814.22/817.95 c #Conflicts: 318000 | #Constraints: 19643 814.22/817.95 c #Conflicts: 319000 | #Constraints: 20644 814.22/817.95 c #Conflicts: 320000 | #Constraints: 21646 814.22/817.95 c #Conflicts: 321000 | #Constraints: 22647 814.22/817.95 c INPROCESSING 814.22/817.95 c GARBAGE COLLECT 814.22/817.95 c rational objective 9 878.33/882.29 c #Conflicts: 322000 | #Constraints: 12430 878.33/882.29 c #Conflicts: 323000 | #Constraints: 13431 878.33/882.29 c #Conflicts: 324000 | #Constraints: 14434 878.33/882.29 c #Conflicts: 325000 | #Constraints: 15435 878.33/882.29 c #Conflicts: 326000 | #Constraints: 16435 878.33/882.29 c #Conflicts: 327000 | #Constraints: 17435 878.33/882.29 c #Conflicts: 328000 | #Constraints: 18436 878.33/882.29 c #Conflicts: 329000 | #Constraints: 19440 878.33/882.29 c #Conflicts: 330000 | #Constraints: 20440 878.33/882.29 c #Conflicts: 331000 | #Constraints: 21440 878.33/882.29 c #Conflicts: 332000 | #Constraints: 22440 878.33/882.29 c #Conflicts: 333000 | #Constraints: 23440 878.33/882.29 c INPROCESSING 878.33/882.29 c GARBAGE COLLECT 878.33/882.29 c rational objective 9 952.31/956.47 c #Conflicts: 334000 | #Constraints: 13018 952.31/956.47 c #Conflicts: 335000 | #Constraints: 14020 952.31/956.47 c #Conflicts: 336000 | #Constraints: 15022 952.31/956.47 c #Conflicts: 337000 | #Constraints: 16024 952.31/956.47 c #Conflicts: 338000 | #Constraints: 17025 952.31/956.47 c #Conflicts: 339000 | #Constraints: 18027 952.31/956.47 c #Conflicts: 340000 | #Constraints: 19033 952.31/956.47 c #Conflicts: 341000 | #Constraints: 20037 952.31/956.47 c #Conflicts: 342000 | #Constraints: 21039 952.31/956.47 c #Conflicts: 343000 | #Constraints: 22043 952.31/956.47 c #Conflicts: 344000 | #Constraints: 23043 952.31/956.47 c #Conflicts: 345000 | #Constraints: 24043 952.31/956.47 c INPROCESSING 952.31/956.47 c GARBAGE COLLECT 952.31/956.47 c #Conflicts: 346000 | #Constraints: 13424 952.31/956.47 c #Conflicts: 347000 | #Constraints: 14426 952.31/956.47 c #Conflicts: 348000 | #Constraints: 15428 952.31/956.47 c #Conflicts: 349000 | #Constraints: 16430 952.31/956.47 c #Conflicts: 350000 | #Constraints: 17433 952.31/956.47 c #Conflicts: 351000 | #Constraints: 18436 952.31/956.47 c #Conflicts: 352000 | #Constraints: 19438 952.31/956.47 c #Conflicts: 353000 | #Constraints: 20439 952.31/956.47 c #Conflicts: 354000 | #Constraints: 21440 952.31/956.47 c #Conflicts: 355000 | #Constraints: 22442 952.31/956.47 c #Conflicts: 356000 | #Constraints: 23444 952.31/956.47 c #Conflicts: 357000 | #Constraints: 24446 952.31/956.47 c INPROCESSING 952.31/956.47 c GARBAGE COLLECT 952.31/956.47 c rational objective 9 1000.96/1005.22 c #Conflicts: 358000 | #Constraints: 13636 1000.96/1005.22 c #Conflicts: 359000 | #Constraints: 14638 1000.96/1005.22 c #Conflicts: 360000 | #Constraints: 15638 1000.96/1005.22 c #Conflicts: 361000 | #Constraints: 16640 1000.96/1005.22 c #Conflicts: 362000 | #Constraints: 17642 1000.96/1005.22 c #Conflicts: 363000 | #Constraints: 18642 1000.96/1005.22 c #Conflicts: 364000 | #Constraints: 19643 1000.96/1005.22 c #Conflicts: 365000 | #Constraints: 20644 1000.96/1005.22 c #Conflicts: 366000 | #Constraints: 21645 1000.96/1005.22 c #Conflicts: 367000 | #Constraints: 22649 1000.96/1005.22 c #Conflicts: 368000 | #Constraints: 23653 1000.96/1005.22 c #Conflicts: 369000 | #Constraints: 24653 1000.96/1005.22 c INPROCESSING 1000.96/1005.22 c GARBAGE COLLECT 1000.96/1005.22 c rational objective 9 1040.44/1044.84 c #Conflicts: 370000 | #Constraints: 13653 1040.44/1044.84 c #Conflicts: 371000 | #Constraints: 14655 1040.44/1044.84 c #Conflicts: 372000 | #Constraints: 15660 1040.44/1044.84 c #Conflicts: 373000 | #Constraints: 16665 1040.44/1044.84 c #Conflicts: 374000 | #Constraints: 17669 1040.44/1044.84 c #Conflicts: 375000 | #Constraints: 18673 1040.44/1044.84 c #Conflicts: 376000 | #Constraints: 19674 1040.44/1044.84 c #Conflicts: 377000 | #Constraints: 20676 1040.44/1044.84 c #Conflicts: 378000 | #Constraints: 21679 1040.44/1044.84 c #Conflicts: 379000 | #Constraints: 22681 1040.44/1044.84 c #Conflicts: 380000 | #Constraints: 23683 1040.44/1044.84 c #Conflicts: 381000 | #Constraints: 24686 1040.44/1044.84 c INPROCESSING 1040.44/1044.84 c GARBAGE COLLECT 1040.44/1044.84 c rational objective 9 1092.38/1096.90 c #Conflicts: 382000 | #Constraints: 13455 1092.38/1096.90 c #Conflicts: 383000 | #Constraints: 14459 1092.38/1096.90 c #Conflicts: 384000 | #Constraints: 15460 1092.38/1096.90 c #Conflicts: 385000 | #Constraints: 16460 1092.38/1096.90 c #Conflicts: 386000 | #Constraints: 17462 1092.38/1096.90 c #Conflicts: 387000 | #Constraints: 18464 1092.38/1096.90 c #Conflicts: 388000 | #Constraints: 19466 1092.38/1096.90 c #Conflicts: 389000 | #Constraints: 20468 1092.38/1096.90 c #Conflicts: 390000 | #Constraints: 21470 1092.38/1096.90 c #Conflicts: 391000 | #Constraints: 22471 1092.38/1096.90 c #Conflicts: 392000 | #Constraints: 23474 1092.38/1096.90 c #Conflicts: 393000 | #Constraints: 24477 1092.38/1096.90 c #Conflicts: 394000 | #Constraints: 25479 1092.38/1096.90 c INPROCESSING 1092.38/1096.90 c GARBAGE COLLECT 1092.38/1096.90 c rational objective 9 1124.08/1128.72 c #Conflicts: 395000 | #Constraints: 14035 1124.08/1128.72 c #Conflicts: 396000 | #Constraints: 15038 1124.08/1128.72 c #Conflicts: 397000 | #Constraints: 16040 1124.08/1128.72 c #Conflicts: 398000 | #Constraints: 17043 1124.08/1128.72 c #Conflicts: 399000 | #Constraints: 18045 1124.08/1128.72 c #Conflicts: 400000 | #Constraints: 19050 1124.08/1128.72 c #Conflicts: 401000 | #Constraints: 20052 1124.08/1128.72 c #Conflicts: 402000 | #Constraints: 21056 1124.08/1128.72 c #Conflicts: 403000 | #Constraints: 22063 1124.08/1128.72 c #Conflicts: 404000 | #Constraints: 23067 1124.08/1128.72 c #Conflicts: 405000 | #Constraints: 24068 1124.08/1128.72 c #Conflicts: 406000 | #Constraints: 25070 1124.08/1128.72 c #Conflicts: 407000 | #Constraints: 26071 1124.08/1128.72 c INPROCESSING 1124.08/1128.72 c GARBAGE COLLECT 1124.08/1128.72 c rational objective 9 1180.31/1185.16 c #Conflicts: 408000 | #Constraints: 14445 1180.31/1185.16 c #Conflicts: 409000 | #Constraints: 15449 1180.31/1185.16 c #Conflicts: 410000 | #Constraints: 16451 1180.31/1185.16 c #Conflicts: 411000 | #Constraints: 17451 1180.31/1185.16 c #Conflicts: 412000 | #Constraints: 18452 1180.31/1185.16 c #Conflicts: 413000 | #Constraints: 19454 1180.31/1185.16 c #Conflicts: 414000 | #Constraints: 20456 1180.31/1185.16 c #Conflicts: 415000 | #Constraints: 21458 1180.31/1185.16 c #Conflicts: 416000 | #Constraints: 22459 1180.31/1185.16 c #Conflicts: 417000 | #Constraints: 23462 1180.31/1185.16 c #Conflicts: 418000 | #Constraints: 24463 1180.31/1185.16 c #Conflicts: 419000 | #Constraints: 25466 1180.31/1185.16 c #Conflicts: 420000 | #Constraints: 26469 1180.31/1185.16 c INPROCESSING 1180.31/1185.16 c GARBAGE COLLECT 1180.31/1185.16 c rational objective 9 1222.98/1227.96 c #Conflicts: 421000 | #Constraints: 14648 1222.98/1227.96 c #Conflicts: 422000 | #Constraints: 15655 1222.98/1227.96 c #Conflicts: 423000 | #Constraints: 16657 1222.98/1227.96 c #Conflicts: 424000 | #Constraints: 17657 1222.98/1227.96 c #Conflicts: 425000 | #Constraints: 18661 1222.98/1227.96 c #Conflicts: 426000 | #Constraints: 19662 1222.98/1227.96 c #Conflicts: 427000 | #Constraints: 20663 1222.98/1227.96 c #Conflicts: 428000 | #Constraints: 21663 1222.98/1227.96 c #Conflicts: 429000 | #Constraints: 22665 1222.98/1227.96 c #Conflicts: 430000 | #Constraints: 23669 1222.98/1227.96 c #Conflicts: 431000 | #Constraints: 24674 1222.98/1227.96 c #Conflicts: 432000 | #Constraints: 25687 1222.98/1227.96 c #Conflicts: 433000 | #Constraints: 26695 1222.98/1227.96 c INPROCESSING 1222.98/1227.96 c GARBAGE COLLECT 1222.98/1227.96 c rational objective 9 1279.40/1284.52 c #Conflicts: 434000 | #Constraints: 14662 1279.40/1284.52 c #Conflicts: 435000 | #Constraints: 15663 1279.40/1284.52 c #Conflicts: 436000 | #Constraints: 16664 1279.40/1284.52 c #Conflicts: 437000 | #Constraints: 17667 1279.40/1284.52 c #Conflicts: 438000 | #Constraints: 18669 1279.40/1284.52 c #Conflicts: 439000 | #Constraints: 19674 1279.40/1284.52 c #Conflicts: 440000 | #Constraints: 20679 1279.40/1284.52 c #Conflicts: 441000 | #Constraints: 21682 1279.40/1284.52 c #Conflicts: 442000 | #Constraints: 22684 1279.40/1284.52 c #Conflicts: 443000 | #Constraints: 23686 1279.40/1284.52 c #Conflicts: 444000 | #Constraints: 24689 1279.40/1284.52 c #Conflicts: 445000 | #Constraints: 25690 1279.40/1284.52 c #Conflicts: 446000 | #Constraints: 26690 1279.40/1284.52 c INPROCESSING 1279.40/1284.52 c GARBAGE COLLECT 1279.40/1284.52 c rational objective 9 1362.84/1368.21 c #Conflicts: 447000 | #Constraints: 14450 1362.84/1368.21 c #Conflicts: 448000 | #Constraints: 15451 1362.84/1368.21 c #Conflicts: 449000 | #Constraints: 16451 1362.84/1368.21 c #Conflicts: 450000 | #Constraints: 17453 1362.84/1368.21 c #Conflicts: 451000 | #Constraints: 18454 1362.84/1368.21 c #Conflicts: 452000 | #Constraints: 19456 1362.84/1368.21 c #Conflicts: 453000 | #Constraints: 20460 1362.84/1368.21 c #Conflicts: 454000 | #Constraints: 21465 1362.84/1368.21 c #Conflicts: 455000 | #Constraints: 22468 1362.84/1368.21 c #Conflicts: 456000 | #Constraints: 23469 1362.84/1368.21 c #Conflicts: 457000 | #Constraints: 24473 1362.84/1368.21 c #Conflicts: 458000 | #Constraints: 25478 1362.84/1368.21 c #Conflicts: 459000 | #Constraints: 26479 1362.84/1368.21 c #Conflicts: 460000 | #Constraints: 27481 1362.84/1368.21 c INPROCESSING 1362.84/1368.21 c GARBAGE COLLECT 1362.84/1368.21 c rational objective 9 1411.50/1417.02 c #Conflicts: 461000 | #Constraints: 15083 1411.50/1417.02 c #Conflicts: 462000 | #Constraints: 16087 1411.50/1417.02 c #Conflicts: 463000 | #Constraints: 17091 1411.50/1417.02 c #Conflicts: 464000 | #Constraints: 18093 1411.50/1417.02 c #Conflicts: 465000 | #Constraints: 19094 1411.50/1417.02 c #Conflicts: 466000 | #Constraints: 20096 1411.50/1417.02 c #Conflicts: 467000 | #Constraints: 21098 1411.50/1417.02 c #Conflicts: 468000 | #Constraints: 22099 1411.50/1417.02 c #Conflicts: 469000 | #Constraints: 23101 1411.50/1417.02 c #Conflicts: 470000 | #Constraints: 24102 1411.50/1417.02 c #Conflicts: 471000 | #Constraints: 25106 1411.50/1417.02 c #Conflicts: 472000 | #Constraints: 26107 1411.50/1417.02 c #Conflicts: 473000 | #Constraints: 27111 1411.50/1417.02 c #Conflicts: 474000 | #Constraints: 28112 1411.50/1417.02 c INPROCESSING 1411.50/1417.02 c GARBAGE COLLECT 1411.50/1417.02 c rational objective 9 1465.04/1470.76 c #Conflicts: 475000 | #Constraints: 15477 1465.04/1470.76 c #Conflicts: 476000 | #Constraints: 16483 1465.04/1470.76 c #Conflicts: 477000 | #Constraints: 17493 1465.04/1470.76 c #Conflicts: 478000 | #Constraints: 18499 1465.04/1470.76 c #Conflicts: 479000 | #Constraints: 19500 1465.04/1470.76 c #Conflicts: 480000 | #Constraints: 20501 1465.04/1470.76 c #Conflicts: 481000 | #Constraints: 21502 1465.04/1470.76 c #Conflicts: 482000 | #Constraints: 22502 1465.04/1470.76 c #Conflicts: 483000 | #Constraints: 23505 1465.04/1470.76 c #Conflicts: 484000 | #Constraints: 24509 1465.04/1470.76 c #Conflicts: 485000 | #Constraints: 25514 1465.04/1470.76 c #Conflicts: 486000 | #Constraints: 26518 1465.04/1470.76 c #Conflicts: 487000 | #Constraints: 27524 1465.04/1470.76 c #Conflicts: 488000 | #Constraints: 28533 1465.04/1470.76 c INPROCESSING 1465.04/1470.76 c GARBAGE COLLECT 1465.04/1470.76 c rational objective 9 1531.64/1537.55 c #Conflicts: 489000 | #Constraints: 15694 1531.64/1537.55 c #Conflicts: 490000 | #Constraints: 16696 1531.64/1537.55 c #Conflicts: 491000 | #Constraints: 17696 1531.64/1537.55 c #Conflicts: 492000 | #Constraints: 18698 1531.64/1537.55 c #Conflicts: 493000 | #Constraints: 19699 1531.64/1537.55 c #Conflicts: 494000 | #Constraints: 20699 1531.64/1537.55 c #Conflicts: 495000 | #Constraints: 21699 1531.64/1537.55 c #Conflicts: 496000 | #Constraints: 22699 1531.64/1537.55 c #Conflicts: 497000 | #Constraints: 23699 1531.64/1537.55 c #Conflicts: 498000 | #Constraints: 24699 1531.64/1537.55 c #Conflicts: 499000 | #Constraints: 25699 1531.64/1537.55 c #Conflicts: 500000 | #Constraints: 26699 1531.64/1537.55 c #Conflicts: 501000 | #Constraints: 27699 1531.64/1537.55 c #Conflicts: 502000 | #Constraints: 28699 1531.64/1537.55 c INPROCESSING 1531.64/1537.55 c GARBAGE COLLECT 1531.64/1537.55 c rational objective 9 1593.54/1599.63 c #Conflicts: 503000 | #Constraints: 15674 1593.54/1599.63 c #Conflicts: 504000 | #Constraints: 16674 1593.54/1599.63 c #Conflicts: 505000 | #Constraints: 17674 1593.54/1599.63 c #Conflicts: 506000 | #Constraints: 18680 1593.54/1599.63 c #Conflicts: 507000 | #Constraints: 19682 1593.54/1599.63 c #Conflicts: 508000 | #Constraints: 20684 1593.54/1599.63 c #Conflicts: 509000 | #Constraints: 21685 1593.54/1599.63 c #Conflicts: 510000 | #Constraints: 22686 1593.54/1599.63 c #Conflicts: 511000 | #Constraints: 23687 1593.54/1599.63 c #Conflicts: 512000 | #Constraints: 24688 1593.54/1599.63 c #Conflicts: 513000 | #Constraints: 25688 1593.54/1599.63 c #Conflicts: 514000 | #Constraints: 26690 1593.54/1599.63 c #Conflicts: 515000 | #Constraints: 27691 1593.54/1599.63 c #Conflicts: 516000 | #Constraints: 28692 1593.54/1599.63 c INPROCESSING 1593.54/1599.63 c GARBAGE COLLECT 1593.54/1599.63 c rational objective 9 1635.02/1641.20 c #Conflicts: 517000 | #Constraints: 15442 1635.02/1641.20 c #Conflicts: 518000 | #Constraints: 16443 1635.02/1641.20 c #Conflicts: 519000 | #Constraints: 17445 1635.02/1641.20 c #Conflicts: 520000 | #Constraints: 18448 1635.02/1641.20 c #Conflicts: 521000 | #Constraints: 19451 1635.02/1641.20 c #Conflicts: 522000 | #Constraints: 20453 1635.02/1641.20 c #Conflicts: 523000 | #Constraints: 21454 1635.02/1641.20 c #Conflicts: 524000 | #Constraints: 22456 1635.02/1641.20 c #Conflicts: 525000 | #Constraints: 23458 1635.02/1641.20 c #Conflicts: 526000 | #Constraints: 24460 1635.02/1641.20 c #Conflicts: 527000 | #Constraints: 25462 1635.02/1641.20 c #Conflicts: 528000 | #Constraints: 26465 1635.02/1641.20 c #Conflicts: 529000 | #Constraints: 27467 1635.02/1641.20 c #Conflicts: 530000 | #Constraints: 28469 1635.02/1641.20 c #Conflicts: 531000 | #Constraints: 29470 1635.02/1641.20 c INPROCESSING 1635.02/1641.20 c GARBAGE COLLECT 1635.02/1641.20 c rational objective 9 1679.29/1685.62 c #Conflicts: 532000 | #Constraints: 16036 1679.29/1685.62 c #Conflicts: 533000 | #Constraints: 17037 1679.29/1685.62 c #Conflicts: 534000 | #Constraints: 18040 1679.29/1685.62 c #Conflicts: 535000 | #Constraints: 19042 1679.29/1685.62 c #Conflicts: 536000 | #Constraints: 20047 1679.29/1685.62 c #Conflicts: 537000 | #Constraints: 21051 1679.29/1685.62 c #Conflicts: 538000 | #Constraints: 22054 1679.29/1685.62 c #Conflicts: 539000 | #Constraints: 23057 1679.29/1685.62 c #Conflicts: 540000 | #Constraints: 24058 1679.29/1685.62 c #Conflicts: 541000 | #Constraints: 25059 1679.29/1685.62 c #Conflicts: 542000 | #Constraints: 26060 1679.29/1685.62 c #Conflicts: 543000 | #Constraints: 27061 1679.29/1685.62 c #Conflicts: 544000 | #Constraints: 28063 1679.29/1685.62 c #Conflicts: 545000 | #Constraints: 29065 1679.29/1685.62 c #Conflicts: 546000 | #Constraints: 30067 1679.29/1685.62 c INPROCESSING 1679.29/1685.62 c GARBAGE COLLECT 1679.29/1685.62 c rational objective 9 1747.08/1753.61 c #Conflicts: 547000 | #Constraints: 16446 1747.08/1753.61 c #Conflicts: 548000 | #Constraints: 17447 1747.08/1753.61 c #Conflicts: 549000 | #Constraints: 18449 1747.08/1753.61 c #Conflicts: 550000 | #Constraints: 19450 1747.08/1753.61 c #Conflicts: 551000 | #Constraints: 20452 1747.08/1753.61 c #Conflicts: 552000 | #Constraints: 21452 1747.08/1753.61 c #Conflicts: 553000 | #Constraints: 22453 1747.08/1753.61 c #Conflicts: 554000 | #Constraints: 23453 1747.08/1753.61 c #Conflicts: 555000 | #Constraints: 24453 1747.08/1753.61 c #Conflicts: 556000 | #Constraints: 25455 1747.08/1753.61 c #Conflicts: 557000 | #Constraints: 26456 1747.08/1753.61 c #Conflicts: 558000 | #Constraints: 27457 1747.08/1753.61 c #Conflicts: 559000 | #Constraints: 28458 1747.08/1753.61 c #Conflicts: 560000 | #Constraints: 29461 1747.08/1753.61 c #Conflicts: 561000 | #Constraints: 30464 1747.08/1753.61 c INPROCESSING 1747.08/1753.61 c GARBAGE COLLECT 1747.08/1753.61 c rational objective 9 1799.92/1806.62 c #Conflicts: 562000 | #Constraints: 16635 1799.92/1806.62 c #Conflicts: 563000 | #Constraints: 17636 1799.92/1806.62 c #Conflicts: 564000 | #Constraints: 18637 1799.92/1806.62 c #Conflicts: 565000 | #Constraints: 19637 1799.92/1806.62 c #Conflicts: 566000 | #Constraints: 20638 1799.92/1806.62 c #Conflicts: 567000 | #Constraints: 21639 1799.92/1806.62 c #Conflicts: 568000 | #Constraints: 22640 1799.92/1806.62 c #Conflicts: 569000 | #Constraints: 23643 1799.92/1806.62 c #Conflicts: 570000 | #Constraints: 24643 1799.92/1806.62 c #Conflicts: 571000 | #Constraints: 25644 1799.92/1806.62 c #Conflicts: 572000 | #Constraints: 26648 1799.92/1806.62 c #Conflicts: 573000 | #Constraints: 27654 1799.92/1806.62 c #Conflicts: 574000 | #Constraints: 28655 1799.92/1806.62 c #Conflicts: 575000 | #Constraints: 29655 1799.92/1806.62 c #Conflicts: 576000 | #Constraints: 30656 1799.92/1806.62 c INPROCESSING 1799.92/1806.62 c GARBAGE COLLECT 1799.92/1806.62 c rational objective 9 1861.93/1868.81 c #Conflicts: 577000 | #Constraints: 16643 1861.93/1868.81 c #Conflicts: 578000 | #Constraints: 17648 1861.93/1868.81 c #Conflicts: 579000 | #Constraints: 18650 1861.93/1868.81 c #Conflicts: 580000 | #Constraints: 19651 1861.93/1868.81 c #Conflicts: 581000 | #Constraints: 20652 1861.93/1868.81 c #Conflicts: 582000 | #Constraints: 21654 1861.93/1868.81 c #Conflicts: 583000 | #Constraints: 22656 1861.93/1868.81 c #Conflicts: 584000 | #Constraints: 23659 1861.93/1868.81 c #Conflicts: 585000 | #Constraints: 24660 1861.93/1868.81 c #Conflicts: 586000 | #Constraints: 25662 1861.93/1868.81 c #Conflicts: 587000 | #Constraints: 26664 1861.93/1868.81 c #Conflicts: 588000 | #Constraints: 27665 1861.93/1868.81 c #Conflicts: 589000 | #Constraints: 28669 1861.93/1868.81 c #Conflicts: 590000 | #Constraints: 29672 1861.93/1868.81 c #Conflicts: 591000 | #Constraints: 30676 1861.93/1868.81 c INPROCESSING 1861.93/1868.81 c GARBAGE COLLECT 1861.93/1868.81 c rational objective 9 1955.85/1963.10 c #Conflicts: 592000 | #Constraints: 16452 1955.85/1963.10 c #Conflicts: 593000 | #Constraints: 17458 1955.85/1963.10 c #Conflicts: 594000 | #Constraints: 18459 1955.85/1963.10 c #Conflicts: 595000 | #Constraints: 19461 1955.85/1963.10 c #Conflicts: 596000 | #Constraints: 20462 1955.85/1963.10 c #Conflicts: 597000 | #Constraints: 21463 1955.85/1963.10 c #Conflicts: 598000 | #Constraints: 22467 1955.85/1963.10 c #Conflicts: 599000 | #Constraints: 23469 1955.85/1963.10 c #Conflicts: 600000 | #Constraints: 24470 1955.85/1963.10 c #Conflicts: 601000 | #Constraints: 25470 1955.85/1963.10 c #Conflicts: 602000 | #Constraints: 26470 1955.85/1963.10 c #Conflicts: 603000 | #Constraints: 27470 1955.85/1963.10 c #Conflicts: 604000 | #Constraints: 28470 1955.85/1963.10 c #Conflicts: 605000 | #Constraints: 29470 1955.85/1963.10 c #Conflicts: 606000 | #Constraints: 30471 1955.85/1963.10 c #Conflicts: 607000 | #Constraints: 31471 1955.85/1963.10 c INPROCESSING 1955.85/1963.10 c GARBAGE COLLECT 1955.85/1963.10 c rational objective 9 2019.84/2027.26 c #Conflicts: 608000 | #Constraints: 17058 2019.84/2027.26 c #Conflicts: 609000 | #Constraints: 18060 2019.84/2027.26 c #Conflicts: 610000 | #Constraints: 19062 2019.84/2027.26 c #Conflicts: 611000 | #Constraints: 20064 2019.84/2027.26 c #Conflicts: 612000 | #Constraints: 21065 2019.84/2027.26 c #Conflicts: 613000 | #Constraints: 22066 2019.84/2027.26 c #Conflicts: 614000 | #Constraints: 23068 2019.84/2027.26 c #Conflicts: 615000 | #Constraints: 24071 2019.84/2027.26 c #Conflicts: 616000 | #Constraints: 25074 2019.84/2027.26 c #Conflicts: 617000 | #Constraints: 26078 2019.84/2027.26 c #Conflicts: 618000 | #Constraints: 27081 2019.84/2027.26 c #Conflicts: 619000 | #Constraints: 28084 2019.84/2027.26 c #Conflicts: 620000 | #Constraints: 29087 2019.84/2027.26 c #Conflicts: 621000 | #Constraints: 30089 2019.84/2027.26 c #Conflicts: 622000 | #Constraints: 31091 2019.84/2027.26 c #Conflicts: 623000 | #Constraints: 32093 2019.84/2027.26 c INPROCESSING 2019.84/2027.26 c GARBAGE COLLECT 2019.84/2027.26 c rational objective 9 2078.47/2086.03 c #Conflicts: 624000 | #Constraints: 17464 2078.47/2086.03 c #Conflicts: 625000 | #Constraints: 18469 2078.47/2086.03 c #Conflicts: 626000 | #Constraints: 19472 2078.47/2086.03 c #Conflicts: 627000 | #Constraints: 20473 2078.47/2086.03 c #Conflicts: 628000 | #Constraints: 21475 2078.47/2086.03 c #Conflicts: 629000 | #Constraints: 22477 2078.47/2086.03 c #Conflicts: 630000 | #Constraints: 23478 2078.47/2086.03 c #Conflicts: 631000 | #Constraints: 24481 2078.47/2086.03 c #Conflicts: 632000 | #Constraints: 25483 2078.47/2086.03 c #Conflicts: 633000 | #Constraints: 26486 2078.47/2086.03 c #Conflicts: 634000 | #Constraints: 27487 2078.47/2086.03 c #Conflicts: 635000 | #Constraints: 28490 2078.47/2086.03 c #Conflicts: 636000 | #Constraints: 29496 2078.47/2086.03 c #Conflicts: 637000 | #Constraints: 30500 2078.47/2086.03 c #Conflicts: 638000 | #Constraints: 31502 2078.47/2086.03 c #Conflicts: 639000 | #Constraints: 32502 2078.47/2086.03 c INPROCESSING 2078.47/2086.03 c GARBAGE COLLECT 2078.47/2086.03 c rational objective 9 2128.42/2136.11 c #Conflicts: 640000 | #Constraints: 17658 2128.42/2136.11 c #Conflicts: 641000 | #Constraints: 18663 2128.42/2136.11 c #Conflicts: 642000 | #Constraints: 19665 2128.42/2136.11 c #Conflicts: 643000 | #Constraints: 20668 2128.42/2136.11 c #Conflicts: 644000 | #Constraints: 21670 2128.42/2136.11 c #Conflicts: 645000 | #Constraints: 22672 2128.42/2136.11 c #Conflicts: 646000 | #Constraints: 23675 2128.42/2136.11 c #Conflicts: 647000 | #Constraints: 24679 2128.42/2136.11 c #Conflicts: 648000 | #Constraints: 25679 2128.42/2136.11 c #Conflicts: 649000 | #Constraints: 26680 2128.42/2136.11 c #Conflicts: 650000 | #Constraints: 27682 2128.42/2136.11 c #Conflicts: 651000 | #Constraints: 28685 2128.42/2136.11 c #Conflicts: 652000 | #Constraints: 29687 2128.42/2136.11 c #Conflicts: 653000 | #Constraints: 30690 2128.42/2136.11 c #Conflicts: 654000 | #Constraints: 31692 2128.42/2136.11 c #Conflicts: 655000 | #Constraints: 32695 2128.42/2136.11 c INPROCESSING 2128.42/2136.11 c GARBAGE COLLECT 2128.42/2136.11 c rational objective 9 2179.95/2187.86 c #Conflicts: 656000 | #Constraints: 17670 2179.95/2187.86 c #Conflicts: 657000 | #Constraints: 18670 2179.95/2187.86 c #Conflicts: 658000 | #Constraints: 19670 2179.95/2187.86 c #Conflicts: 659000 | #Constraints: 20673 2179.95/2187.86 c #Conflicts: 660000 | #Constraints: 21673 2179.95/2187.86 c #Conflicts: 661000 | #Constraints: 22674 2179.95/2187.86 c #Conflicts: 662000 | #Constraints: 23675 2179.95/2187.86 c #Conflicts: 663000 | #Constraints: 24675 2179.95/2187.86 c #Conflicts: 664000 | #Constraints: 25677 2179.95/2187.86 c #Conflicts: 665000 | #Constraints: 26677 2179.95/2187.86 c #Conflicts: 666000 | #Constraints: 27678 2179.95/2187.86 c #Conflicts: 667000 | #Constraints: 28680 2179.95/2187.86 c #Conflicts: 668000 | #Constraints: 29682 2179.95/2187.86 c #Conflicts: 669000 | #Constraints: 30687 2179.95/2187.86 c #Conflicts: 670000 | #Constraints: 31689 2179.95/2187.86 c #Conflicts: 671000 | #Constraints: 32694 2179.95/2187.86 c INPROCESSING 2179.95/2187.86 c GARBAGE COLLECT 2179.95/2187.86 c rational objective 9 2228.61/2236.67 c #Conflicts: 672000 | #Constraints: 17471 2228.61/2236.67 c #Conflicts: 673000 | #Constraints: 18474 2228.61/2236.67 c #Conflicts: 674000 | #Constraints: 19476 2228.61/2236.67 c #Conflicts: 675000 | #Constraints: 20476 2228.61/2236.67 c #Conflicts: 676000 | #Constraints: 21477 2228.61/2236.67 c #Conflicts: 677000 | #Constraints: 22478 2228.61/2236.67 c #Conflicts: 678000 | #Constraints: 23481 2228.61/2236.67 c #Conflicts: 679000 | #Constraints: 24484 2228.61/2236.67 c #Conflicts: 680000 | #Constraints: 25488 2228.61/2236.67 c #Conflicts: 681000 | #Constraints: 26488 2228.61/2236.67 c #Conflicts: 682000 | #Constraints: 27489 2228.61/2236.67 c #Conflicts: 683000 | #Constraints: 28490 2228.61/2236.67 c #Conflicts: 684000 | #Constraints: 29492 2228.61/2236.67 c #Conflicts: 685000 | #Constraints: 30495 2228.61/2236.67 c #Conflicts: 686000 | #Constraints: 31498 2228.61/2236.67 c #Conflicts: 687000 | #Constraints: 32499 2228.61/2236.67 c #Conflicts: 688000 | #Constraints: 33500 2228.61/2236.67 c INPROCESSING 2228.61/2236.67 c GARBAGE COLLECT 2228.61/2236.67 c rational objective 9 2293.01/2301.23 c #Conflicts: 689000 | #Constraints: 18063 2293.01/2301.23 c #Conflicts: 690000 | #Constraints: 19066 2293.01/2301.23 c #Conflicts: 691000 | #Constraints: 20067 2293.01/2301.23 c #Conflicts: 692000 | #Constraints: 21071 2293.01/2301.23 c #Conflicts: 693000 | #Constraints: 22075 2293.01/2301.23 c #Conflicts: 694000 | #Constraints: 23077 2293.01/2301.23 c #Conflicts: 695000 | #Constraints: 24080 2293.01/2301.23 c #Conflicts: 696000 | #Constraints: 25082 2293.01/2301.23 c #Conflicts: 697000 | #Constraints: 26086 2293.01/2301.23 c #Conflicts: 698000 | #Constraints: 27090 2293.01/2301.23 c #Conflicts: 699000 | #Constraints: 28093 2293.01/2301.23 c #Conflicts: 700000 | #Constraints: 29096 2293.01/2301.23 c #Conflicts: 701000 | #Constraints: 30099 2293.01/2301.23 c #Conflicts: 702000 | #Constraints: 31101 2293.01/2301.23 c #Conflicts: 703000 | #Constraints: 32102 2293.01/2301.23 c #Conflicts: 704000 | #Constraints: 33105 2293.01/2301.23 c #Conflicts: 705000 | #Constraints: 34110 2293.01/2301.23 c INPROCESSING 2293.01/2301.23 c GARBAGE COLLECT 2293.01/2301.23 c rational objective 9 2343.27/2351.68 c #Conflicts: 706000 | #Constraints: 18477 2343.27/2351.68 c #Conflicts: 707000 | #Constraints: 19479 2343.27/2351.68 c #Conflicts: 708000 | #Constraints: 20481 2343.27/2351.68 c #Conflicts: 709000 | #Constraints: 21483 2343.27/2351.68 c #Conflicts: 710000 | #Constraints: 22485 2343.27/2351.68 c #Conflicts: 711000 | #Constraints: 23487 2343.27/2351.68 c #Conflicts: 712000 | #Constraints: 24489 2343.27/2351.68 c #Conflicts: 713000 | #Constraints: 25490 2343.27/2351.68 c #Conflicts: 714000 | #Constraints: 26490 2343.27/2351.68 c #Conflicts: 715000 | #Constraints: 27490 2343.27/2351.68 c #Conflicts: 716000 | #Constraints: 28492 2343.27/2351.68 c #Conflicts: 717000 | #Constraints: 29493 2343.27/2351.68 c #Conflicts: 718000 | #Constraints: 30494 2343.27/2351.68 c #Conflicts: 719000 | #Constraints: 31495 2343.27/2351.68 c #Conflicts: 720000 | #Constraints: 32496 2343.27/2351.68 c #Conflicts: 721000 | #Constraints: 33497 2343.27/2351.68 c #Conflicts: 722000 | #Constraints: 34498 2343.27/2351.68 c INPROCESSING 2343.27/2351.68 c GARBAGE COLLECT 2343.27/2351.68 c rational objective 9 2431.00/2439.62 c #Conflicts: 723000 | #Constraints: 18662 2431.00/2439.62 c #Conflicts: 724000 | #Constraints: 19663 2431.00/2439.62 c #Conflicts: 725000 | #Constraints: 20665 2431.00/2439.62 c #Conflicts: 726000 | #Constraints: 21666 2431.00/2439.62 c #Conflicts: 727000 | #Constraints: 22667 2431.00/2439.62 c #Conflicts: 728000 | #Constraints: 23671 2431.00/2439.62 c #Conflicts: 729000 | #Constraints: 24676 2431.00/2439.62 c #Conflicts: 730000 | #Constraints: 25679 2431.00/2439.62 c #Conflicts: 731000 | #Constraints: 26682 2431.00/2439.62 c #Conflicts: 732000 | #Constraints: 27682 2431.00/2439.62 c #Conflicts: 733000 | #Constraints: 28682 2431.00/2439.62 c #Conflicts: 734000 | #Constraints: 29683 2431.00/2439.62 c #Conflicts: 735000 | #Constraints: 30686 2431.00/2439.62 c #Conflicts: 736000 | #Constraints: 31687 2431.00/2439.62 c #Conflicts: 737000 | #Constraints: 32687 2431.00/2439.62 c #Conflicts: 738000 | #Constraints: 33687 2431.00/2439.62 c #Conflicts: 739000 | #Constraints: 34687 2431.00/2439.62 c INPROCESSING 2431.00/2439.62 c GARBAGE COLLECT 2431.00/2439.62 c rational objective 9 2492.41/2501.22 c #Conflicts: 740000 | #Constraints: 18671 2492.41/2501.22 c #Conflicts: 741000 | #Constraints: 19672 2492.41/2501.22 c #Conflicts: 742000 | #Constraints: 20674 2492.41/2501.22 c #Conflicts: 743000 | #Constraints: 21676 2492.41/2501.22 c #Conflicts: 744000 | #Constraints: 22678 2492.41/2501.22 c #Conflicts: 745000 | #Constraints: 23680 2492.41/2501.22 c #Conflicts: 746000 | #Constraints: 24680 2492.41/2501.22 c #Conflicts: 747000 | #Constraints: 25680 2492.41/2501.22 c #Conflicts: 748000 | #Constraints: 26681 2492.41/2501.22 c #Conflicts: 749000 | #Constraints: 27683 2492.41/2501.22 c #Conflicts: 750000 | #Constraints: 28686 2492.41/2501.22 c #Conflicts: 751000 | #Constraints: 29689 2492.41/2501.22 c #Conflicts: 752000 | #Constraints: 30689 2492.41/2501.22 c #Conflicts: 753000 | #Constraints: 31691 2492.41/2501.22 c #Conflicts: 754000 | #Constraints: 32695 2492.41/2501.22 c #Conflicts: 755000 | #Constraints: 33697 2492.41/2501.22 c #Conflicts: 756000 | #Constraints: 34699 2492.41/2501.22 c INPROCESSING 2492.41/2501.22 c GARBAGE COLLECT 2492.41/2501.22 c rational objective 9 2557.61/2566.60 c #Conflicts: 757000 | #Constraints: 18453 2557.61/2566.60 c #Conflicts: 758000 | #Constraints: 19454 2557.61/2566.60 c #Conflicts: 759000 | #Constraints: 20455 2557.61/2566.60 c #Conflicts: 760000 | #Constraints: 21456 2557.61/2566.60 c #Conflicts: 761000 | #Constraints: 22458 2557.61/2566.60 c #Conflicts: 762000 | #Constraints: 23459 2557.61/2566.60 c #Conflicts: 763000 | #Constraints: 24461 2557.61/2566.60 c #Conflicts: 764000 | #Constraints: 25463 2557.61/2566.60 c #Conflicts: 765000 | #Constraints: 26465 2557.61/2566.60 c #Conflicts: 766000 | #Constraints: 27469 2557.61/2566.60 c #Conflicts: 767000 | #Constraints: 28472 2557.61/2566.60 c #Conflicts: 768000 | #Constraints: 29474 2557.61/2566.60 c #Conflicts: 769000 | #Constraints: 30477 2557.61/2566.60 c #Conflicts: 770000 | #Constraints: 31479 2557.61/2566.60 c #Conflicts: 771000 | #Constraints: 32480 2557.61/2566.60 c #Conflicts: 772000 | #Constraints: 33481 2557.61/2566.60 c #Conflicts: 773000 | #Constraints: 34482 2557.61/2566.60 c #Conflicts: 774000 | #Constraints: 35484 2557.61/2566.60 c INPROCESSING 2557.61/2566.60 c GARBAGE COLLECT 2557.61/2566.60 c rational objective 9 2629.09/2638.36 c #Conflicts: 775000 | #Constraints: 19049 2629.09/2638.36 c #Conflicts: 776000 | #Constraints: 20050 2629.09/2638.36 c #Conflicts: 777000 | #Constraints: 21050 2629.09/2638.36 c #Conflicts: 778000 | #Constraints: 22055 2629.09/2638.36 c #Conflicts: 779000 | #Constraints: 23057 2629.09/2638.36 c #Conflicts: 780000 | #Constraints: 24063 2629.09/2638.36 c #Conflicts: 781000 | #Constraints: 25068 2629.09/2638.36 c #Conflicts: 782000 | #Constraints: 26073 2629.09/2638.36 c #Conflicts: 783000 | #Constraints: 27076 2629.09/2638.36 c #Conflicts: 784000 | #Constraints: 28079 2629.09/2638.36 c #Conflicts: 785000 | #Constraints: 29080 2629.09/2638.36 c #Conflicts: 786000 | #Constraints: 30083 2629.09/2638.36 c #Conflicts: 787000 | #Constraints: 31087 2629.09/2638.36 c #Conflicts: 788000 | #Constraints: 32089 2629.09/2638.36 c #Conflicts: 789000 | #Constraints: 33091 2629.09/2638.36 c #Conflicts: 790000 | #Constraints: 34093 2629.09/2638.36 c #Conflicts: 791000 | #Constraints: 35096 2629.09/2638.36 c #Conflicts: 792000 | #Constraints: 36099 2629.09/2638.36 c INPROCESSING 2629.09/2638.36 c GARBAGE COLLECT 2629.09/2638.36 c rational objective 9 2706.96/2716.48 c #Conflicts: 793000 | #Constraints: 19456 2706.96/2716.48 c #Conflicts: 794000 | #Constraints: 20460 2706.96/2716.48 c #Conflicts: 795000 | #Constraints: 21461 2706.96/2716.48 c #Conflicts: 796000 | #Constraints: 22463 2706.96/2716.48 c #Conflicts: 797000 | #Constraints: 23464 2706.96/2716.48 c #Conflicts: 798000 | #Constraints: 24465 2706.96/2716.48 c #Conflicts: 799000 | #Constraints: 25468 2706.96/2716.48 c #Conflicts: 800000 | #Constraints: 26469 2706.96/2716.48 c #Conflicts: 801000 | #Constraints: 27471 2706.96/2716.48 c #Conflicts: 802000 | #Constraints: 28473 2706.96/2716.48 c #Conflicts: 803000 | #Constraints: 29476 2706.96/2716.48 c #Conflicts: 804000 | #Constraints: 30480 2706.96/2716.48 c #Conflicts: 805000 | #Constraints: 31480 2706.96/2716.48 c #Conflicts: 806000 | #Constraints: 32482 2706.96/2716.48 c #Conflicts: 807000 | #Constraints: 33482 2706.96/2716.48 c #Conflicts: 808000 | #Constraints: 34483 2706.96/2716.48 c #Conflicts: 809000 | #Constraints: 35485 2706.96/2716.48 c #Conflicts: 810000 | #Constraints: 36487 2706.96/2716.48 c INPROCESSING 2706.96/2716.48 c GARBAGE COLLECT 2706.96/2716.48 c rational objective 9 2791.31/2801.03 c #Conflicts: 811000 | #Constraints: 19655 2791.31/2801.03 c #Conflicts: 812000 | #Constraints: 20657 2791.31/2801.03 c #Conflicts: 813000 | #Constraints: 21659 2791.31/2801.03 c #Conflicts: 814000 | #Constraints: 22664 2791.31/2801.03 c #Conflicts: 815000 | #Constraints: 23669 2791.31/2801.03 c #Conflicts: 816000 | #Constraints: 24671 2791.31/2801.03 c #Conflicts: 817000 | #Constraints: 25673 2791.31/2801.03 c #Conflicts: 818000 | #Constraints: 26674 2791.31/2801.03 c #Conflicts: 819000 | #Constraints: 27676 2791.31/2801.03 c #Conflicts: 820000 | #Constraints: 28677 2791.31/2801.03 c #Conflicts: 821000 | #Constraints: 29680 2791.31/2801.03 c #Conflicts: 822000 | #Constraints: 30680 2791.31/2801.03 c #Conflicts: 823000 | #Constraints: 31682 2791.31/2801.03 c #Conflicts: 824000 | #Constraints: 32684 2791.31/2801.03 c #Conflicts: 825000 | #Constraints: 33688 2791.31/2801.03 c #Conflicts: 826000 | #Constraints: 34690 2791.31/2801.03 c #Conflicts: 827000 | #Constraints: 35691 2791.31/2801.03 c #Conflicts: 828000 | #Constraints: 36693 2791.31/2801.03 c INPROCESSING 2791.31/2801.03 c GARBAGE COLLECT 2791.31/2801.03 c rational objective 9 2981.08/2991.32 c #Conflicts: 829000 | #Constraints: 19670 2981.08/2991.32 c #Conflicts: 830000 | #Constraints: 20672 2981.08/2991.32 c #Conflicts: 831000 | #Constraints: 21679 2981.08/2991.32 c #Conflicts: 832000 | #Constraints: 22680 2981.08/2991.32 c #Conflicts: 833000 | #Constraints: 23681 2981.08/2991.32 c #Conflicts: 834000 | #Constraints: 24683 2981.08/2991.32 c #Conflicts: 835000 | #Constraints: 25686 2981.08/2991.32 c #Conflicts: 836000 | #Constraints: 26688 2981.08/2991.32 c #Conflicts: 837000 | #Constraints: 27690 2981.08/2991.32 c #Conflicts: 838000 | #Constraints: 28693 2981.08/2991.32 c #Conflicts: 839000 | #Constraints: 29695 2981.08/2991.32 c #Conflicts: 840000 | #Constraints: 30698 2981.08/2991.32 c #Conflicts: 841000 | #Constraints: 31700 2981.08/2991.32 c #Conflicts: 842000 | #Constraints: 32701 2981.08/2991.32 c #Conflicts: 843000 | #Constraints: 33703 2981.08/2991.32 c #Conflicts: 844000 | #Constraints: 34705 2981.08/2991.32 c #Conflicts: 845000 | #Constraints: 35707 2981.08/2991.32 c #Conflicts: 846000 | #Constraints: 36708 2981.08/2991.32 c INPROCESSING 2981.08/2991.32 c GARBAGE COLLECT 2981.08/2991.32 c rational objective 9 3067.33/3077.85 c #Conflicts: 847000 | #Constraints: 19461 3067.33/3077.85 c #Conflicts: 848000 | #Constraints: 20464 3067.33/3077.85 c #Conflicts: 849000 | #Constraints: 21466 3067.33/3077.85 c #Conflicts: 850000 | #Constraints: 22467 3067.33/3077.85 c #Conflicts: 851000 | #Constraints: 23468 3067.33/3077.85 c #Conflicts: 852000 | #Constraints: 24469 3067.33/3077.85 c #Conflicts: 853000 | #Constraints: 25471 3067.33/3077.85 c #Conflicts: 854000 | #Constraints: 26473 3067.33/3077.85 c #Conflicts: 855000 | #Constraints: 27475 3067.33/3077.85 c #Conflicts: 856000 | #Constraints: 28481 3067.33/3077.85 c #Conflicts: 857000 | #Constraints: 29484 3067.33/3077.85 c #Conflicts: 858000 | #Constraints: 30485 3067.33/3077.85 c #Conflicts: 859000 | #Constraints: 31485 3067.33/3077.85 c #Conflicts: 860000 | #Constraints: 32488 3067.33/3077.85 c #Conflicts: 861000 | #Constraints: 33491 3067.33/3077.85 c #Conflicts: 862000 | #Constraints: 34492 3067.33/3077.85 c #Conflicts: 863000 | #Constraints: 35494 3067.33/3077.85 c #Conflicts: 864000 | #Constraints: 36495 3067.33/3077.85 c #Conflicts: 865000 | #Constraints: 37498 3067.33/3077.85 c INPROCESSING 3067.33/3077.85 c GARBAGE COLLECT 3067.33/3077.85 c rational objective 9 3142.54/3153.28 c #Conflicts: 866000 | #Constraints: 20063 3142.54/3153.28 c #Conflicts: 867000 | #Constraints: 21066 3142.54/3153.28 c #Conflicts: 868000 | #Constraints: 22068 3142.54/3153.28 c #Conflicts: 869000 | #Constraints: 23070 3142.54/3153.28 c #Conflicts: 870000 | #Constraints: 24071 3142.54/3153.28 c #Conflicts: 871000 | #Constraints: 25073 3142.54/3153.28 c #Conflicts: 872000 | #Constraints: 26076 3142.54/3153.28 c #Conflicts: 873000 | #Constraints: 27080 3142.54/3153.28 c #Conflicts: 874000 | #Constraints: 28082 3142.54/3153.28 c #Conflicts: 875000 | #Constraints: 29083 3142.54/3153.28 c #Conflicts: 876000 | #Constraints: 30086 3142.54/3153.28 c #Conflicts: 877000 | #Constraints: 31087 3142.54/3153.28 c #Conflicts: 878000 | #Constraints: 32090 3142.54/3153.28 c #Conflicts: 879000 | #Constraints: 33093 3142.54/3153.28 c #Conflicts: 880000 | #Constraints: 34094 3142.54/3153.28 c #Conflicts: 881000 | #Constraints: 35095 3142.54/3153.28 c #Conflicts: 882000 | #Constraints: 36095 3142.54/3153.28 c #Conflicts: 883000 | #Constraints: 37097 3142.54/3153.28 c #Conflicts: 884000 | #Constraints: 38099 3142.54/3153.28 c INPROCESSING 3142.54/3153.28 c GARBAGE COLLECT 3142.54/3153.28 c rational objective 9 3267.82/3278.88 c #Conflicts: 885000 | #Constraints: 20457 3267.82/3278.88 c #Conflicts: 886000 | #Constraints: 21463 3267.82/3278.88 c #Conflicts: 887000 | #Constraints: 22466 3267.82/3278.88 c #Conflicts: 888000 | #Constraints: 23468 3267.82/3278.88 c #Conflicts: 889000 | #Constraints: 24471 3267.82/3278.88 c #Conflicts: 890000 | #Constraints: 25473 3267.82/3278.88 c #Conflicts: 891000 | #Constraints: 26474 3267.82/3278.88 c #Conflicts: 892000 | #Constraints: 27477 3267.82/3278.88 c #Conflicts: 893000 | #Constraints: 28479 3267.82/3278.88 c #Conflicts: 894000 | #Constraints: 29481 3267.82/3278.88 c #Conflicts: 895000 | #Constraints: 30481 3267.82/3278.88 c #Conflicts: 896000 | #Constraints: 31482 3267.82/3278.88 c #Conflicts: 897000 | #Constraints: 32482 3267.82/3278.88 c #Conflicts: 898000 | #Constraints: 33484 3267.82/3278.88 c #Conflicts: 899000 | #Constraints: 34486 3267.82/3278.88 c #Conflicts: 900000 | #Constraints: 35487 3267.82/3278.88 c #Conflicts: 901000 | #Constraints: 36488 3267.82/3278.88 c #Conflicts: 902000 | #Constraints: 37489 3267.82/3278.88 c #Conflicts: 903000 | #Constraints: 38490 3267.82/3278.88 c INPROCESSING 3267.82/3278.88 c GARBAGE COLLECT 3267.82/3278.88 c rational objective 9 3343.24/3354.45 c #Conflicts: 904000 | #Constraints: 20644 3343.24/3354.45 c #Conflicts: 905000 | #Constraints: 21646 3343.24/3354.45 c #Conflicts: 906000 | #Constraints: 22647 3343.24/3354.45 c #Conflicts: 907000 | #Constraints: 23647 3343.24/3354.45 c #Conflicts: 908000 | #Constraints: 24649 3343.24/3354.45 c #Conflicts: 909000 | #Constraints: 25651 3343.24/3354.45 c #Conflicts: 910000 | #Constraints: 26653 3343.24/3354.45 c #Conflicts: 911000 | #Constraints: 27654 3343.24/3354.45 c #Conflicts: 912000 | #Constraints: 28656 3343.24/3354.45 c #Conflicts: 913000 | #Constraints: 29657 3343.24/3354.45 c #Conflicts: 914000 | #Constraints: 30658 3343.24/3354.45 c #Conflicts: 915000 | #Constraints: 31660 3343.24/3354.45 c #Conflicts: 916000 | #Constraints: 32662 3343.24/3354.45 c #Conflicts: 917000 | #Constraints: 33664 3343.24/3354.45 c #Conflicts: 918000 | #Constraints: 34664 3343.24/3354.45 c #Conflicts: 919000 | #Constraints: 35665 3343.24/3354.45 c #Conflicts: 920000 | #Constraints: 36666 3343.24/3354.45 c #Conflicts: 921000 | #Constraints: 37666 3343.24/3354.45 c #Conflicts: 922000 | #Constraints: 38668 3343.24/3354.45 c INPROCESSING 3343.24/3354.45 c GARBAGE COLLECT 3343.24/3354.45 c rational objective 9 3437.61/3449.10 c #Conflicts: 923000 | #Constraints: 20662 3437.61/3449.10 c #Conflicts: 924000 | #Constraints: 21662 3437.61/3449.10 c #Conflicts: 925000 | #Constraints: 22663 3437.61/3449.10 c #Conflicts: 926000 | #Constraints: 23665 3437.61/3449.10 c #Conflicts: 927000 | #Constraints: 24668 3437.61/3449.10 c #Conflicts: 928000 | #Constraints: 25669 3437.61/3449.10 c #Conflicts: 929000 | #Constraints: 26673 3437.61/3449.10 c #Conflicts: 930000 | #Constraints: 27677 3437.61/3449.10 c #Conflicts: 931000 | #Constraints: 28682 3437.61/3449.10 c #Conflicts: 932000 | #Constraints: 29688 3437.61/3449.10 c #Conflicts: 933000 | #Constraints: 30694 3437.61/3449.10 c #Conflicts: 934000 | #Constraints: 31698 3437.61/3449.10 c #Conflicts: 935000 | #Constraints: 32702 3437.61/3449.10 c #Conflicts: 936000 | #Constraints: 33704 3437.61/3449.10 c #Conflicts: 937000 | #Constraints: 34709 3437.61/3449.10 c #Conflicts: 938000 | #Constraints: 35712 3437.61/3449.10 c #Conflicts: 939000 | #Constraints: 36716 3437.61/3449.10 c #Conflicts: 940000 | #Constraints: 37718 3437.61/3449.10 c #Conflicts: 941000 | #Constraints: 38719 3437.61/3449.10 c INPROCESSING 3437.61/3449.10 c GARBAGE COLLECT 3437.61/3449.10 c rational objective 9 3554.63/3566.35 c #Conflicts: 942000 | #Constraints: 20489 3554.63/3566.35 c #Conflicts: 943000 | #Constraints: 21491 3554.63/3566.35 c #Conflicts: 944000 | #Constraints: 22505 3554.63/3566.35 c #Conflicts: 945000 | #Constraints: 23507 3554.63/3566.35 c #Conflicts: 946000 | #Constraints: 24509 3554.63/3566.35 c #Conflicts: 947000 | #Constraints: 25510 3554.63/3566.35 c #Conflicts: 948000 | #Constraints: 26510 3554.63/3566.35 c #Conflicts: 949000 | #Constraints: 27513 3554.63/3566.35 c #Conflicts: 950000 | #Constraints: 28517 3554.63/3566.35 c #Conflicts: 951000 | #Constraints: 29521 3554.63/3566.35 c #Conflicts: 952000 | #Constraints: 30522 3554.63/3566.35 c #Conflicts: 953000 | #Constraints: 31526 3554.63/3566.35 c #Conflicts: 954000 | #Constraints: 32532 3554.63/3566.35 c #Conflicts: 955000 | #Constraints: 33533 3554.63/3566.35 c #Conflicts: 956000 | #Constraints: 34536 3554.63/3566.35 c #Conflicts: 957000 | #Constraints: 35539 3554.63/3566.35 c #Conflicts: 958000 | #Constraints: 36543 3554.63/3566.35 c #Conflicts: 959000 | #Constraints: 37547 3554.63/3566.35 c #Conflicts: 960000 | #Constraints: 38553 3554.63/3566.35 c #Conflicts: 961000 | #Constraints: 39557 3554.63/3566.35 c INPROCESSING 3554.63/3566.35 c GARBAGE COLLECT 3554.63/3566.35 c rational objective 9 3600.03/3611.80 c #Conflicts: 962000 | #Constraints: 21141 3600.03/3611.80 c #Conflicts: 963000 | #Constraints: 22143 3600.03/3611.80 c #Conflicts: 964000 | #Constraints: 23146 3600.03/3611.80 c #Conflicts: 965000 | #Constraints: 24148 3600.03/3611.80 c #Conflicts: 966000 | #Constraints: 25150 3600.03/3611.80 c #Conflicts: 967000 | #Constraints: 26151 3600.03/3611.80 c #Conflicts: 968000 | #Constraints: 27152 3600.03/3611.80 c #Conflicts: 969000 | #Constraints: 28152 3600.03/3611.80 c Program interrupted by user. 3600.04/3611.90 c cpu time 3544.65 s 3600.04/3611.90 c deterministic time 830261272924 8.30e+11 3600.04/3611.90 c optimization time 44.6404 s 3600.04/3611.90 c total solve time 3499.97 s 3600.04/3611.90 c core-guided solve time 6e-06 s 3600.04/3611.90 c propagation time 2720.88 s 3600.04/3611.90 c conflict analysis time 664.539 s 3600.04/3611.90 c propagations 586090017 3600.04/3611.90 c resolve steps 4793565 3600.04/3611.90 c decisions 23867376 3600.04/3611.90 c conflicts 969500 3600.04/3611.90 c restarts 2044 3600.04/3611.90 c inprocessing phases 89 3600.04/3611.90 c input clauses 8512 3600.04/3611.90 c input cardinalities 98 3600.04/3611.90 c input general constraints 576 3600.04/3611.90 c input average constraint length 9.75 3600.04/3611.90 c input average constraint degree 71.75 3600.04/3611.90 c learned clauses 67996 3600.04/3611.90 c learned cardinalities 6936 3600.04/3611.90 c learned general constraints 896632 3600.04/3611.90 c learned average constraint length 1643.53 3600.04/3611.90 c learned average constraint degree 11970738571.74 3600.04/3611.90 c watched constraints 824689 3600.04/3611.90 c counting constraints 72519 3600.04/3611.90 c gcd simplifications 32300 3600.04/3611.90 c detected cardinalities 143 3600.04/3611.90 c weakened non-implied lits 143157168 3600.04/3611.90 c weakened non-implying lits 501970 3600.04/3611.90 c original variables 8424 3600.04/3611.90 c clausal propagations 1161482 3600.04/3611.90 c cardinality propagations 66490122 3600.04/3611.90 c watched propagations 275364208 3600.04/3611.90 c counting propagations 240411712 3600.04/3611.90 c watch lookups 27862212271 3600.04/3611.90 c watch backjump lookups 25337355284 3600.04/3611.90 c watch checks 693220614485 3600.04/3611.90 c propagation checks 78411437611 3600.04/3611.90 c constraint additions 4207720888 3600.04/3611.90 c trail pops 610922126 3600.04/3611.90 c formula constraints 9186 3600.04/3611.90 c learned constraints 967434 3600.04/3611.90 c bound constraints 0 3600.04/3611.90 c core-guided constraints 0 3600.04/3611.90 c encountered formula constraints 3414757 3600.04/3611.90 c encountered learned constraints 2215748 3600.04/3611.90 c encountered bound constraints 0 3600.04/3611.90 c encountered core-guided constraints 0 3600.04/3611.90 c LP total time 183.725 s 3600.04/3611.90 c LP solve time 167.85 s 3600.04/3611.90 c LP constraints added 9868 3600.04/3611.90 c LP constraints removed 670 3600.04/3611.90 c LP pivots internal 969866 3600.04/3611.90 c LP pivots root 82999 3600.04/3611.90 c LP calls 4324 3600.04/3611.90 c LP optimalities 2254 3600.04/3611.90 c LP no pivot count 1317 3600.04/3611.90 c LP infeasibilities 2066 3600.04/3611.90 c LP valid Farkas constraints 2065 3600.04/3611.90 c LP learned Farkas constraints 2065 3600.04/3611.90 c LP basis resets 1 3600.04/3611.90 c LP cycling count 0 3600.04/3611.90 c LP singular count 0 3600.04/3611.90 c LP no primal count 0 3600.04/3611.90 c LP no farkas count 1 3600.04/3611.90 c LP other issue count 0 3600.04/3611.90 c LP Gomory cuts 0 3600.04/3611.90 c LP learned cuts 682 3600.04/3611.90 c LP deleted cuts 670 3600.04/3611.90 c LP encountered Gomory constraints 0 3600.04/3611.90 c LP encountered Farkas constraints 108965 3600.04/3611.90 c LP encountered learned Farkas constraints 21530 3600.04/3611.90 c CG auxiliary variables introduced 0 3600.04/3611.90 c CG solutions found 0 3600.04/3611.90 c CG cores constructed 1 3600.04/3611.90 c CG core cardinality constraints returned 0 3600.04/3611.90 c CG unit cores 1 3600.04/3611.90 c CG single cores 0 3600.04/3611.90 c CG blocks removed during cardinality reduction 0 3600.04/3611.90 c CG first core best 0 3600.04/3611.90 c CG decision core best 0 3600.04/3611.90 c CG core reduction tie 0 3600.04/3611.90 c CG core degree average 0.00 3600.04/3611.90 c CG core slack average 0.00 3600.04/3611.90 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 (63164 MiB free)
memory of node 1: 64510 MiB (64009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462710-1722344421/watcher-4462710-1722344421 -o /tmp/evaluation-result-4462710-1722344421/solver-4462710-1722344421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6986 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462710-1722344421 --lp-cut-gomory=0 HOME/instance-4462710-1722344421.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9708, runsolver pid=9705
[startup+0.100082 s]*
/proc/loadavg: 4.16 4.15 4.09 3/256 9709
/proc/meminfo: memFree=130219944/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/9708/stat : 9708 (roundingsat) D 9705 9708 6973 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1040597 38273024 637 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.205289 s]*
/proc/loadavg: 4.16 4.15 4.09 3/256 9709
/proc/meminfo: memFree=130216752/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/9708/stat : 9708 (roundingsat) D 9705 9708 6973 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1040597 38273024 637 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.304677 s]*
/proc/loadavg: 4.16 4.15 4.09 3/256 9709
/proc/meminfo: memFree=130212240/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/9708/stat : 9708 (roundingsat) D 9705 9708 6973 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1040597 38273024 637 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+0.700161 s]
/proc/loadavg: 4.16 4.15 4.09 4/256 9709
/proc/meminfo: memFree=130206752/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/9708/stat : 9708 (roundingsat) D 9705 9708 6973 0 -1 1078198272 210 0 0 0 0 0 0 0 20 0 1 0 1040597 38273024 637 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.15 4.09 3/256 9709
/proc/meminfo: memFree=130191616/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=37376 memory=2548 CPUtime=0 cores=5,7
/proc/9708/stat : 9708 (roundingsat) D 9705 9708 6973 0 -1 1077936128 210 0 0 0 0 0 0 0 20 0 1 0 1040597 38273024 637 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
[startup+3.10624 s]
/proc/loadavg: 4.23 4.16 4.09 4/256 9709
/proc/meminfo: memFree=130135852/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=67884 memory=37124 CPUtime=1.51 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 8625 0 0 0 144 7 0 0 20 0 1 0 1040597 69513216 9281 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 16971 9281 1879 992 0 8829 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 67884 KiB
Current children cumulated memory: 37124 KiB
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 4.23 4.16 4.09 4/258 9743
/proc/meminfo: memFree=130105380/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=86856 memory=58876 CPUtime=4.7 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 13262 0 0 0 453 17 0 0 20 0 1 0 1040597 88940544 14719 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 21714 14719 1895 992 0 13572 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 86856 KiB
Current children cumulated memory: 58876 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.19 4.16 4.09 5/261 9778
/proc/meminfo: memFree=129839792/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=112804 memory=83828 CPUtime=11.08 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 17872 0 0 0 1070 38 0 0 20 0 1 0 1040597 115511296 20957 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 28201 20957 1895 992 0 20059 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 112804 KiB
Current children cumulated memory: 83828 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.15 4.09 5/255 9806
/proc/meminfo: memFree=129533244/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=178552 memory=144584 CPUtime=23.85 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 22871 0 0 0 2318 67 0 0 20 0 1 0 1040597 182837248 36146 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 44638 36146 1895 992 0 36496 0
Current children cumulated CPU time: 23.85 s
Current children cumulated vsize: 178552 KiB
Current children cumulated memory: 144584 KiB
[startup+51.1056 s]
/proc/loadavg: 4.27 4.17 4.10 5/260 9844
/proc/meminfo: memFree=128880648/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=214240 memory=182912 CPUtime=49.39 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 31476 0 0 0 4809 130 0 0 20 0 1 0 1040597 219381760 45728 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 53560 45728 1895 992 0 45418 0
Current children cumulated CPU time: 49.39 s
Current children cumulated vsize: 214240 KiB
Current children cumulated memory: 182912 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/260 9852
/proc/meminfo: memFree=127222084/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=313688 memory=248508 CPUtime=100.45 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 43796 0 0 0 9797 248 0 0 20 0 1 0 1040597 321216512 62127 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 78422 62127 1895 992 0 70280 0
Current children cumulated CPU time: 100.45 s
Current children cumulated vsize: 313688 KiB
Current children cumulated memory: 248508 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 9862
/proc/meminfo: memFree=125915572/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=371040 memory=307892 CPUtime=160.3 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 57159 0 0 0 15657 373 0 0 20 0 1 0 1040597 379944960 76973 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 92760 76973 1895 992 0 84618 0
Current children cumulated CPU time: 160.3 s
Current children cumulated vsize: 371040 KiB
Current children cumulated memory: 307892 KiB
[startup+222.3 s]
/proc/loadavg: 4.51 4.25 4.13 5/259 9872
/proc/meminfo: memFree=124651004/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=406356 memory=356440 CPUtime=220.15 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 65733 0 0 0 21535 480 0 0 20 0 1 0 1040597 416108544 89110 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 101589 89110 1895 992 0 93447 0
Current children cumulated CPU time: 220.15 s
Current children cumulated vsize: 406356 KiB
Current children cumulated memory: 356440 KiB
[startup+282.3 s]
/proc/loadavg: 4.71 4.35 4.17 5/258 9884
/proc/meminfo: memFree=123531112/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=424988 memory=374072 CPUtime=279.99 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 70111 0 0 0 27397 602 0 0 20 0 1 0 1040597 435187712 93518 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 106247 93518 1895 992 0 98105 0
Current children cumulated CPU time: 279.99 s
Current children cumulated vsize: 424988 KiB
Current children cumulated memory: 374072 KiB
[startup+342.3 s]
/proc/loadavg: 4.37 4.32 4.18 5/257 9894
/proc/meminfo: memFree=122545764/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=528432 memory=433636 CPUtime=339.84 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 75888 0 0 0 33286 698 0 0 20 0 1 0 1040597 541114368 108409 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 132108 108409 1895 992 0 123966 0
Current children cumulated CPU time: 339.84 s
Current children cumulated vsize: 528432 KiB
Current children cumulated memory: 433636 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.29 4.18 5/257 9904
/proc/meminfo: memFree=121534124/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=549692 memory=454020 CPUtime=399.7 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 81008 0 0 0 39158 812 0 0 20 0 1 0 1040597 562884608 113505 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 137423 113505 1895 992 0 129281 0
Current children cumulated CPU time: 399.7 s
Current children cumulated vsize: 549692 KiB
Current children cumulated memory: 454020 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.28 4.18 5/257 9916
/proc/meminfo: memFree=120407236/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=584688 memory=489940 CPUtime=459.53 cores=5,7
################
# More data... #
################
Current children cumulated memory: 969664 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/261 10980
/proc/meminfo: memFree=85382812/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1308052 memory=1055668 CPUtime=2912.27 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 188629 0 0 0 286648 4579 0 0 20 0 1 0 1040597 1339445248 263917 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 327013 263917 1895 992 0 318871 0
Current children cumulated CPU time: 2912.27 s
Current children cumulated vsize: 1308052 KiB
Current children cumulated memory: 1055668 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/261 10990
/proc/meminfo: memFree=84685460/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1315864 memory=1185360 CPUtime=2972.1 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 190968 0 0 0 292597 4613 0 0 20 0 1 0 1040597 1347444736 296340 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 328966 296340 1895 992 0 320824 0
Current children cumulated CPU time: 2972.1 s
Current children cumulated vsize: 1315864 KiB
Current children cumulated memory: 1185360 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/261 11003
/proc/meminfo: memFree=83840832/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1330176 memory=1223120 CPUtime=3031.93 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 194190 0 0 0 298502 4691 0 0 20 0 1 0 1040597 1362100224 305780 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 332544 305780 1895 992 0 324402 0
Current children cumulated CPU time: 3031.93 s
Current children cumulated vsize: 1330176 KiB
Current children cumulated memory: 1223120 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/261 11014
/proc/meminfo: memFree=83097476/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1335884 memory=1228144 CPUtime=3091.77 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 195808 0 0 0 304406 4771 0 0 20 0 1 0 1040597 1367945216 307036 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 333971 307036 1895 992 0 325829 0
Current children cumulated CPU time: 3091.77 s
Current children cumulated vsize: 1335884 KiB
Current children cumulated memory: 1228144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/259 11024
/proc/meminfo: memFree=82323816/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1344220 memory=1235996 CPUtime=3151.61 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 198215 0 0 0 310295 4866 0 0 20 0 1 0 1040597 1376481280 308999 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 336055 308999 1895 992 0 327913 0
Current children cumulated CPU time: 3151.61 s
Current children cumulated vsize: 1344220 KiB
Current children cumulated memory: 1235996 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.11 5/259 11034
/proc/meminfo: memFree=81506944/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1350052 memory=1241400 CPUtime=3211.46 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 200041 0 0 0 316206 4940 0 0 20 0 1 0 1040597 1382453248 310350 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 337513 310350 1895 992 0 329371 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 1350052 KiB
Current children cumulated memory: 1241400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/259 11045
/proc/meminfo: memFree=80576416/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1381460 memory=1267508 CPUtime=3271.31 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 206967 0 0 0 322117 5014 0 0 20 0 1 0 1040597 1414615040 316877 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 345365 316877 1895 992 0 337223 0
Current children cumulated CPU time: 3271.31 s
Current children cumulated vsize: 1381460 KiB
Current children cumulated memory: 1267508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/260 11439
/proc/meminfo: memFree=79569308/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1383480 memory=1270080 CPUtime=3331.17 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 208081 0 0 0 327998 5119 0 0 20 0 1 0 1040597 1416683520 317520 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 345870 317520 1895 992 0 337728 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 1383480 KiB
Current children cumulated memory: 1270080 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.10 5/259 11449
/proc/meminfo: memFree=78451608/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1387648 memory=1272940 CPUtime=3391.02 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 209284 0 0 0 333864 5238 0 0 20 0 1 0 1040597 1420951552 318235 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 346912 318235 1895 992 0 338770 0
Current children cumulated CPU time: 3391.02 s
Current children cumulated vsize: 1387648 KiB
Current children cumulated memory: 1272940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.18 4.11 5/259 11461
/proc/meminfo: memFree=77866512/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1402848 memory=1286608 CPUtime=3450.88 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 213131 0 0 0 339733 5355 0 0 20 0 1 0 1040597 1436516352 321652 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 350712 321652 1895 992 0 342570 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 1402848 KiB
Current children cumulated memory: 1286608 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/261 11641
/proc/meminfo: memFree=77064896/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1405188 memory=1288848 CPUtime=3510.74 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 214060 0 0 0 345647 5427 0 0 20 0 1 0 1040597 1438912512 322212 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 351297 322212 1895 992 0 343155 0
Current children cumulated CPU time: 3510.74 s
Current children cumulated vsize: 1405188 KiB
Current children cumulated memory: 1288848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/261 11651
/proc/meminfo: memFree=76217156/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1432104 memory=1313580 CPUtime=3570.59 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 220495 0 0 0 351545 5514 0 0 20 0 1 0 1040597 1466474496 328395 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 358026 328395 1895 992 0 349884 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 1432104 KiB
Current children cumulated memory: 1313580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.11 4.16 4.11 5/263 11753
/proc/meminfo: memFree=82569440/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1432488 memory=1313772 CPUtime=3600.03 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 220908 0 0 0 354465 5538 0 0 20 0 1 0 1040597 1466867712 328443 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 358122 328443 1895 992 0 349980 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1432488 KiB
Current children cumulated memory: 1313772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 9708 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3544.66 s, system=55.4014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.11 4.16 4.11 5/263 11753
/proc/meminfo: memFree=82569440/131524600 swapFree=131071996/131071996
[pid=9708] ppid=9705 vsize=1432488 memory=1306160 CPUtime=3600.04 cores=5,7
/proc/9708/stat : 9708 (roundingsat) R 9705 9708 6973 0 -1 4194304 220915 0 0 0 354465 5539 0 0 20 0 1 0 1040597 1466867712 326999 134679101440 4194304 8255733 140730725885776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 12 0 0 9037040 9046032 23433216 140730725888862 140730725889124 140730725889124 140730725896137 0
/proc/9708/statm: 358122 326540 1995 992 0 349980 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1432488 KiB
Current children cumulated memory: 1306160 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.06
CPU user time (s): 3544.66
CPU system time (s): 55.4014
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 1432488
Max. memory (cumulated for all children) (KiB): 1313772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.66
system time used= 55.4014
maximum resident set size= 1313772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55250976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1703
involuntary context switches= 5172
# summary of solver processes directly reported to runsolver:
# pid: 9708
# total CPU time (s): 3600.06
# total CPU user time (s): 3544.66
# total CPU system time (s): 55.4014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5147 second user time and 11.4637 second system time
The end
Begin job on nodeC022 at 2024-07-30 15:00:21 IDJOB=4462710 IDBENCH=148768 IDSOLVER=3089 FILE ID=nodeC022/4462710-1722344421 RUNJOBID= nodeC022-1722340763-6986 SLURM_JOB_ID= 8248995 Free space on /tmp= 890064 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.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-4462710-1722344421/watcher-4462710-1722344421 -o /tmp/evaluation-result-4462710-1722344421/solver-4462710-1722344421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722340763-6986 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462710-1722344421 --lp-cut-gomory=0 HOME/instance-4462710-1722344421.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d RANDOM SEED=1429832398 nodeC022.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 : 3682.819 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3675.050 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.42 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 : 3614.694 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.46 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.743 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.42 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 : 3694.886 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.46 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 : 3668.888 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.42 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 : 3666.239 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.46 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 : 3655.527 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.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 130226584 kB MemAvailable: 129840556 kB Buffers: 50776 kB Cached: 389544 kB SwapCached: 0 kB Active: 148080 kB Inactive: 687124 kB Active(anon): 1484 kB Inactive(anon): 414744 kB Active(file): 146596 kB Inactive(file): 272380 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 26932 kB Writeback: 12 kB AnonPages: 394672 kB Mapped: 94668 kB Shmem: 21336 kB KReclaimable: 45096 kB Slab: 123472 kB SReclaimable: 45096 kB SUnreclaim: 78376 kB KernelStack: 4132 kB PageTables: 9796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 701124 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 8672 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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: 264916 kB DirectMap2M: 9994240 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890060 MiB End job on nodeC022 at 2024-07-30 16:00:33