| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.11 | 3615.67 |
| 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.01/4.84 c #variables 8424 #constraints 9186 0.10/4.95 c bounds - >= 0 @ 0.042348 0.10/4.95 c rational objective 9 3.48/8.36 c #Conflicts: 1000 | #Constraints: 10186 3.48/8.36 c #Conflicts: 2000 | #Constraints: 11187 3.48/8.36 c INPROCESSING 3.48/8.36 c GARBAGE COLLECT 3.48/8.36 c bounds - >= 9 @ 1.29479 3.48/8.36 c #Conflicts: 3000 | #Constraints: 2784 3.48/8.36 c #Conflicts: 4000 | #Constraints: 3785 3.48/8.36 c INPROCESSING 3.48/8.36 c GARBAGE COLLECT 3.48/8.36 c rational objective 9 6.28/11.18 c #Conflicts: 5000 | #Constraints: 3188 6.28/11.18 c #Conflicts: 6000 | #Constraints: 4190 6.28/11.18 c INPROCESSING 6.28/11.18 c GARBAGE COLLECT 6.28/11.18 c rational objective 9 8.77/13.61 c #Conflicts: 7000 | #Constraints: 3191 8.77/13.61 c #Conflicts: 8000 | #Constraints: 4192 8.77/13.61 c #Conflicts: 9000 | #Constraints: 5193 8.77/13.61 c INPROCESSING 8.77/13.61 c GARBAGE COLLECT 8.77/13.61 c rational objective 9 11.36/16.25 c #Conflicts: 10000 | #Constraints: 3896 11.36/16.25 c #Conflicts: 11000 | #Constraints: 4898 11.36/16.25 c #Conflicts: 12000 | #Constraints: 5899 11.36/16.25 c INPROCESSING 11.36/16.25 c GARBAGE COLLECT 11.36/16.25 c rational objective 9 15.65/20.56 c #Conflicts: 13000 | #Constraints: 4349 15.65/20.56 c #Conflicts: 14000 | #Constraints: 5351 15.65/20.56 c #Conflicts: 15000 | #Constraints: 6353 15.65/20.56 c INPROCESSING 15.65/20.56 c GARBAGE COLLECT 15.65/20.56 c rational objective 9 24.83/29.77 c #Conflicts: 16000 | #Constraints: 4583 24.83/29.77 c #Conflicts: 17000 | #Constraints: 5584 24.83/29.77 c #Conflicts: 18000 | #Constraints: 6588 24.83/29.77 c INPROCESSING 24.83/29.77 c GARBAGE COLLECT 24.83/29.77 c rational objective 9 29.13/34.05 c #Conflicts: 19000 | #Constraints: 4605 29.13/34.05 c #Conflicts: 20000 | #Constraints: 5608 29.13/34.05 c #Conflicts: 21000 | #Constraints: 6613 29.13/34.05 c INPROCESSING 29.13/34.05 c GARBAGE COLLECT 29.13/34.05 c rational objective 9 35.21/40.17 c #Conflicts: 22000 | #Constraints: 4414 35.21/40.17 c #Conflicts: 23000 | #Constraints: 5416 35.21/40.17 c #Conflicts: 24000 | #Constraints: 6419 35.21/40.17 c #Conflicts: 25000 | #Constraints: 7423 35.21/40.17 c INPROCESSING 35.21/40.17 c GARBAGE COLLECT 35.21/40.17 c rational objective 9 39.40/44.38 c #Conflicts: 26000 | #Constraints: 5018 39.40/44.38 c #Conflicts: 27000 | #Constraints: 6019 39.40/44.38 c #Conflicts: 28000 | #Constraints: 7020 39.40/44.38 c #Conflicts: 29000 | #Constraints: 8020 39.40/44.38 c INPROCESSING 39.40/44.38 c GARBAGE COLLECT 39.40/44.38 c rational objective 9 44.09/49.03 c #Conflicts: 30000 | #Constraints: 5410 44.09/49.03 c #Conflicts: 31000 | #Constraints: 6413 44.09/49.03 c #Conflicts: 32000 | #Constraints: 7414 44.09/49.03 c #Conflicts: 33000 | #Constraints: 8416 44.09/49.03 c INPROCESSING 44.09/49.03 c GARBAGE COLLECT 44.09/49.03 c rational objective 9 52.17/57.12 c #Conflicts: 34000 | #Constraints: 5614 52.17/57.12 c #Conflicts: 35000 | #Constraints: 6615 52.17/57.12 c #Conflicts: 36000 | #Constraints: 7618 52.17/57.12 c #Conflicts: 37000 | #Constraints: 8621 52.17/57.12 c INPROCESSING 52.17/57.12 c GARBAGE COLLECT 52.17/57.12 c rational objective 9 60.04/65.05 c #Conflicts: 38000 | #Constraints: 5621 60.04/65.05 c #Conflicts: 39000 | #Constraints: 6624 60.04/65.05 c #Conflicts: 40000 | #Constraints: 7627 60.04/65.05 c #Conflicts: 41000 | #Constraints: 8630 60.04/65.05 c INPROCESSING 60.04/65.05 c GARBAGE COLLECT 60.04/65.05 c rational objective 9 68.23/73.20 c #Conflicts: 42000 | #Constraints: 5436 68.23/73.20 c #Conflicts: 43000 | #Constraints: 6438 68.23/73.20 c #Conflicts: 44000 | #Constraints: 7441 68.23/73.20 c #Conflicts: 45000 | #Constraints: 8443 68.23/73.20 c #Conflicts: 46000 | #Constraints: 9447 68.23/73.20 c INPROCESSING 68.23/73.20 c GARBAGE COLLECT 68.23/73.20 c rational objective 9 81.38/86.41 c #Conflicts: 47000 | #Constraints: 6030 81.38/86.41 c #Conflicts: 48000 | #Constraints: 7033 81.38/86.41 c #Conflicts: 49000 | #Constraints: 8034 81.38/86.41 c #Conflicts: 50000 | #Constraints: 9035 81.38/86.41 c #Conflicts: 51000 | #Constraints: 10037 81.38/86.41 c INPROCESSING 81.38/86.41 c GARBAGE COLLECT 81.38/86.41 c rational objective 9 88.08/93.14 c #Conflicts: 52000 | #Constraints: 6424 88.08/93.14 c #Conflicts: 53000 | #Constraints: 7427 88.08/93.14 c #Conflicts: 54000 | #Constraints: 8428 88.08/93.14 c #Conflicts: 55000 | #Constraints: 9429 88.08/93.14 c #Conflicts: 56000 | #Constraints: 10430 88.08/93.14 c INPROCESSING 88.08/93.14 c GARBAGE COLLECT 88.08/93.14 c rational objective 9 96.24/101.38 c #Conflicts: 57000 | #Constraints: 6619 96.24/101.38 c #Conflicts: 58000 | #Constraints: 7622 96.24/101.38 c #Conflicts: 59000 | #Constraints: 8625 96.24/101.38 c #Conflicts: 60000 | #Constraints: 9628 96.24/101.38 c #Conflicts: 61000 | #Constraints: 10630 96.24/101.38 c INPROCESSING 96.24/101.38 c GARBAGE COLLECT 96.24/101.38 c rational objective 9 115.00/120.16 c #Conflicts: 62000 | #Constraints: 6630 115.00/120.16 c #Conflicts: 63000 | #Constraints: 7631 115.00/120.16 c #Conflicts: 64000 | #Constraints: 8633 115.00/120.16 c #Conflicts: 65000 | #Constraints: 9636 115.00/120.16 c #Conflicts: 66000 | #Constraints: 10638 115.00/120.16 c INPROCESSING 115.00/120.16 c GARBAGE COLLECT 115.00/120.16 c rational objective 9 126.07/131.24 c #Conflicts: 67000 | #Constraints: 6419 126.07/131.24 c #Conflicts: 68000 | #Constraints: 7420 126.07/131.24 c #Conflicts: 69000 | #Constraints: 8420 126.07/131.24 c #Conflicts: 70000 | #Constraints: 9424 126.07/131.24 c #Conflicts: 71000 | #Constraints: 10428 126.07/131.24 c #Conflicts: 72000 | #Constraints: 11428 126.07/131.24 c INPROCESSING 126.07/131.24 c GARBAGE COLLECT 126.07/131.24 c rational objective 9 137.13/142.32 c #Conflicts: 73000 | #Constraints: 7013 137.13/142.32 c #Conflicts: 74000 | #Constraints: 8016 137.13/142.32 c #Conflicts: 75000 | #Constraints: 9017 137.13/142.32 c #Conflicts: 76000 | #Constraints: 10020 137.13/142.32 c #Conflicts: 77000 | #Constraints: 11022 137.13/142.32 c #Conflicts: 78000 | #Constraints: 12024 137.13/142.32 c INPROCESSING 137.13/142.32 c GARBAGE COLLECT 137.13/142.32 c rational objective 9 153.09/158.32 c #Conflicts: 79000 | #Constraints: 7416 153.09/158.32 c #Conflicts: 80000 | #Constraints: 8417 153.09/158.32 c #Conflicts: 81000 | #Constraints: 9419 153.09/158.32 c #Conflicts: 82000 | #Constraints: 10420 153.09/158.32 c #Conflicts: 83000 | #Constraints: 11424 153.09/158.32 c #Conflicts: 84000 | #Constraints: 12426 153.09/158.32 c INPROCESSING 153.09/158.32 c GARBAGE COLLECT 153.09/158.32 c rational objective 9 159.88/165.19 c #Conflicts: 85000 | #Constraints: 7623 159.88/165.19 c #Conflicts: 86000 | #Constraints: 8625 159.88/165.19 c #Conflicts: 87000 | #Constraints: 9630 159.88/165.19 c #Conflicts: 88000 | #Constraints: 10634 159.88/165.19 c #Conflicts: 89000 | #Constraints: 11635 159.88/165.19 c #Conflicts: 90000 | #Constraints: 12635 159.88/165.19 c INPROCESSING 159.88/165.19 c GARBAGE COLLECT 159.88/165.19 c rational objective 9 180.31/185.69 c #Conflicts: 91000 | #Constraints: 7632 180.31/185.69 c #Conflicts: 92000 | #Constraints: 8638 180.31/185.69 c #Conflicts: 93000 | #Constraints: 9639 180.31/185.69 c #Conflicts: 94000 | #Constraints: 10640 180.31/185.69 c #Conflicts: 95000 | #Constraints: 11642 180.31/185.69 c #Conflicts: 96000 | #Constraints: 12642 180.31/185.69 c INPROCESSING 180.31/185.69 c GARBAGE COLLECT 180.31/185.69 c rational objective 9 205.75/211.12 c #Conflicts: 97000 | #Constraints: 7417 205.75/211.12 c #Conflicts: 98000 | #Constraints: 8418 205.75/211.12 c #Conflicts: 99000 | #Constraints: 9419 205.75/211.12 c #Conflicts: 100000 | #Constraints: 10421 205.75/211.12 c #Conflicts: 101000 | #Constraints: 11422 205.75/211.12 c #Conflicts: 102000 | #Constraints: 12423 205.75/211.12 c #Conflicts: 103000 | #Constraints: 13423 205.75/211.12 c INPROCESSING 205.75/211.12 c GARBAGE COLLECT 205.75/211.12 c rational objective 9 219.40/224.80 c #Conflicts: 104000 | #Constraints: 8011 219.40/224.80 c #Conflicts: 105000 | #Constraints: 9012 219.40/224.80 c #Conflicts: 106000 | #Constraints: 10013 219.40/224.80 c #Conflicts: 107000 | #Constraints: 11014 219.40/224.80 c #Conflicts: 108000 | #Constraints: 12017 219.40/224.80 c #Conflicts: 109000 | #Constraints: 13019 219.40/224.80 c #Conflicts: 110000 | #Constraints: 14023 219.40/224.80 c INPROCESSING 219.40/224.80 c GARBAGE COLLECT 219.40/224.80 c rational objective 9 230.57/236.04 c #Conflicts: 111000 | #Constraints: 8420 230.57/236.04 c #Conflicts: 112000 | #Constraints: 9425 230.57/236.04 c #Conflicts: 113000 | #Constraints: 10430 230.57/236.04 c #Conflicts: 114000 | #Constraints: 11432 230.57/236.04 c #Conflicts: 115000 | #Constraints: 12433 230.57/236.04 c #Conflicts: 116000 | #Constraints: 13436 230.57/236.04 c #Conflicts: 117000 | #Constraints: 14439 230.57/236.04 c INPROCESSING 230.57/236.04 c GARBAGE COLLECT 230.57/236.04 c rational objective 9 246.42/251.95 c #Conflicts: 118000 | #Constraints: 8624 246.42/251.95 c #Conflicts: 119000 | #Constraints: 9627 246.42/251.95 c #Conflicts: 120000 | #Constraints: 10630 246.42/251.95 c #Conflicts: 121000 | #Constraints: 11631 246.42/251.95 c #Conflicts: 122000 | #Constraints: 12631 246.42/251.95 c #Conflicts: 123000 | #Constraints: 13632 246.42/251.95 c #Conflicts: 124000 | #Constraints: 14634 246.42/251.95 c INPROCESSING 246.42/251.95 c GARBAGE COLLECT 246.42/251.95 c rational objective 9 259.09/264.62 c #Conflicts: 125000 | #Constraints: 8622 259.09/264.62 c #Conflicts: 126000 | #Constraints: 9624 259.09/264.62 c #Conflicts: 127000 | #Constraints: 10626 259.09/264.62 c #Conflicts: 128000 | #Constraints: 11629 259.09/264.62 c #Conflicts: 129000 | #Constraints: 12629 259.09/264.62 c #Conflicts: 130000 | #Constraints: 13631 259.09/264.62 c #Conflicts: 131000 | #Constraints: 14634 259.09/264.62 c INPROCESSING 259.09/264.62 c GARBAGE COLLECT 259.09/264.62 c rational objective 9 272.34/277.92 c #Conflicts: 132000 | #Constraints: 8410 272.34/277.92 c #Conflicts: 133000 | #Constraints: 9411 272.34/277.92 c #Conflicts: 134000 | #Constraints: 10412 272.34/277.92 c #Conflicts: 135000 | #Constraints: 11412 272.34/277.92 c #Conflicts: 136000 | #Constraints: 12415 272.34/277.92 c #Conflicts: 137000 | #Constraints: 13416 272.34/277.92 c #Conflicts: 138000 | #Constraints: 14420 272.34/277.92 c #Conflicts: 139000 | #Constraints: 15423 272.34/277.92 c INPROCESSING 272.34/277.92 c GARBAGE COLLECT 272.34/277.92 c rational objective 9 305.45/311.11 c #Conflicts: 140000 | #Constraints: 9024 305.45/311.11 c #Conflicts: 141000 | #Constraints: 10026 305.45/311.11 c #Conflicts: 142000 | #Constraints: 11027 305.45/311.11 c #Conflicts: 143000 | #Constraints: 12028 305.45/311.11 c #Conflicts: 144000 | #Constraints: 13031 305.45/311.11 c #Conflicts: 145000 | #Constraints: 14032 305.45/311.11 c #Conflicts: 146000 | #Constraints: 15035 305.45/311.11 c #Conflicts: 147000 | #Constraints: 16036 305.45/311.11 c INPROCESSING 305.45/311.11 c GARBAGE COLLECT 305.45/311.11 c rational objective 9 321.00/326.79 c #Conflicts: 148000 | #Constraints: 9422 321.00/326.79 c #Conflicts: 149000 | #Constraints: 10423 321.00/326.79 c #Conflicts: 150000 | #Constraints: 11426 321.00/326.79 c #Conflicts: 151000 | #Constraints: 12428 321.00/326.79 c #Conflicts: 152000 | #Constraints: 13431 321.00/326.79 c #Conflicts: 153000 | #Constraints: 14434 321.00/326.79 c #Conflicts: 154000 | #Constraints: 15437 321.00/326.79 c #Conflicts: 155000 | #Constraints: 16438 321.00/326.79 c INPROCESSING 321.00/326.79 c GARBAGE COLLECT 321.00/326.79 c rational objective 9 341.84/347.63 c #Conflicts: 156000 | #Constraints: 9637 341.84/347.63 c #Conflicts: 157000 | #Constraints: 10639 341.84/347.63 c #Conflicts: 158000 | #Constraints: 11642 341.84/347.63 c #Conflicts: 159000 | #Constraints: 12644 341.84/347.63 c #Conflicts: 160000 | #Constraints: 13645 341.84/347.63 c #Conflicts: 161000 | #Constraints: 14646 341.84/347.63 c #Conflicts: 162000 | #Constraints: 15647 341.84/347.63 c #Conflicts: 163000 | #Constraints: 16647 341.84/347.63 c INPROCESSING 341.84/347.63 c GARBAGE COLLECT 341.84/347.63 c rational objective 9 364.97/370.87 c #Conflicts: 164000 | #Constraints: 9628 364.97/370.87 c #Conflicts: 165000 | #Constraints: 10631 364.97/370.87 c #Conflicts: 166000 | #Constraints: 11633 364.97/370.87 c #Conflicts: 167000 | #Constraints: 12635 364.97/370.87 c #Conflicts: 168000 | #Constraints: 13638 364.97/370.87 c #Conflicts: 169000 | #Constraints: 14640 364.97/370.87 c #Conflicts: 170000 | #Constraints: 15644 364.97/370.87 c #Conflicts: 171000 | #Constraints: 16645 364.97/370.87 c INPROCESSING 364.97/370.87 c GARBAGE COLLECT 364.97/370.87 c rational objective 9 388.70/394.62 c #Conflicts: 172000 | #Constraints: 9434 388.70/394.62 c #Conflicts: 173000 | #Constraints: 10437 388.70/394.62 c #Conflicts: 174000 | #Constraints: 11440 388.70/394.62 c #Conflicts: 175000 | #Constraints: 12442 388.70/394.62 c #Conflicts: 176000 | #Constraints: 13442 388.70/394.62 c #Conflicts: 177000 | #Constraints: 14444 388.70/394.62 c #Conflicts: 178000 | #Constraints: 15447 388.70/394.62 c #Conflicts: 179000 | #Constraints: 16447 388.70/394.62 c #Conflicts: 180000 | #Constraints: 17447 388.70/394.62 c INPROCESSING 388.70/394.62 c GARBAGE COLLECT 388.70/394.62 c rational objective 9 408.24/414.26 c #Conflicts: 181000 | #Constraints: 10023 408.24/414.26 c #Conflicts: 182000 | #Constraints: 11026 408.24/414.26 c #Conflicts: 183000 | #Constraints: 12026 408.24/414.26 c #Conflicts: 184000 | #Constraints: 13029 408.24/414.26 c #Conflicts: 185000 | #Constraints: 14033 408.24/414.26 c #Conflicts: 186000 | #Constraints: 15036 408.24/414.26 c #Conflicts: 187000 | #Constraints: 16036 408.24/414.26 c #Conflicts: 188000 | #Constraints: 17038 408.24/414.26 c #Conflicts: 189000 | #Constraints: 18041 408.24/414.26 c INPROCESSING 408.24/414.26 c GARBAGE COLLECT 408.24/414.26 c rational objective 9 431.68/437.74 c #Conflicts: 190000 | #Constraints: 10448 431.68/437.74 c #Conflicts: 191000 | #Constraints: 11451 431.68/437.74 c #Conflicts: 192000 | #Constraints: 12454 431.68/437.74 c #Conflicts: 193000 | #Constraints: 13458 431.68/437.74 c #Conflicts: 194000 | #Constraints: 14462 431.68/437.74 c #Conflicts: 195000 | #Constraints: 15466 431.68/437.74 c #Conflicts: 196000 | #Constraints: 16468 431.68/437.74 c #Conflicts: 197000 | #Constraints: 17471 431.68/437.74 c #Conflicts: 198000 | #Constraints: 18472 431.68/437.74 c INPROCESSING 431.68/437.74 c GARBAGE COLLECT 431.68/437.74 c rational objective 9 464.88/471.01 c #Conflicts: 199000 | #Constraints: 10688 464.88/471.01 c #Conflicts: 200000 | #Constraints: 11691 464.88/471.01 c #Conflicts: 201000 | #Constraints: 12692 464.88/471.01 c #Conflicts: 202000 | #Constraints: 13695 464.88/471.01 c #Conflicts: 203000 | #Constraints: 14697 464.88/471.01 c #Conflicts: 204000 | #Constraints: 15699 464.88/471.01 c #Conflicts: 205000 | #Constraints: 16700 464.88/471.01 c #Conflicts: 206000 | #Constraints: 17701 464.88/471.01 c #Conflicts: 207000 | #Constraints: 18702 464.88/471.01 c INPROCESSING 464.88/471.01 c GARBAGE COLLECT 464.88/471.01 c rational objective 9 510.14/516.45 c #Conflicts: 208000 | #Constraints: 10650 510.14/516.45 c #Conflicts: 209000 | #Constraints: 11658 510.14/516.45 c #Conflicts: 210000 | #Constraints: 12663 510.14/516.45 c #Conflicts: 211000 | #Constraints: 13664 510.14/516.45 c #Conflicts: 212000 | #Constraints: 14666 510.14/516.45 c #Conflicts: 213000 | #Constraints: 15668 510.14/516.45 c #Conflicts: 214000 | #Constraints: 16670 510.14/516.45 c #Conflicts: 215000 | #Constraints: 17672 510.14/516.45 c #Conflicts: 216000 | #Constraints: 18673 510.14/516.45 c INPROCESSING 510.14/516.45 c GARBAGE COLLECT 510.14/516.45 c rational objective 9 535.06/541.44 c #Conflicts: 217000 | #Constraints: 10435 535.06/541.44 c #Conflicts: 218000 | #Constraints: 11437 535.06/541.44 c #Conflicts: 219000 | #Constraints: 12444 535.06/541.44 c #Conflicts: 220000 | #Constraints: 13451 535.06/541.44 c #Conflicts: 221000 | #Constraints: 14453 535.06/541.44 c #Conflicts: 222000 | #Constraints: 15456 535.06/541.44 c #Conflicts: 223000 | #Constraints: 16457 535.06/541.44 c #Conflicts: 224000 | #Constraints: 17461 535.06/541.44 c #Conflicts: 225000 | #Constraints: 18463 535.06/541.44 c #Conflicts: 226000 | #Constraints: 19466 535.06/541.44 c INPROCESSING 535.06/541.44 c GARBAGE COLLECT 535.06/541.44 c rational objective 9 573.75/580.24 c #Conflicts: 227000 | #Constraints: 11040 573.75/580.24 c #Conflicts: 228000 | #Constraints: 12042 573.75/580.24 c #Conflicts: 229000 | #Constraints: 13044 573.75/580.24 c #Conflicts: 230000 | #Constraints: 14048 573.75/580.24 c #Conflicts: 231000 | #Constraints: 15052 573.75/580.24 c #Conflicts: 232000 | #Constraints: 16052 573.75/580.24 c #Conflicts: 233000 | #Constraints: 17054 573.75/580.24 c #Conflicts: 234000 | #Constraints: 18056 573.75/580.24 c #Conflicts: 235000 | #Constraints: 19057 573.75/580.24 c #Conflicts: 236000 | #Constraints: 20059 573.75/580.24 c INPROCESSING 573.75/580.24 c GARBAGE COLLECT 573.75/580.24 c rational objective 9 599.18/605.75 c #Conflicts: 237000 | #Constraints: 11443 599.18/605.75 c #Conflicts: 238000 | #Constraints: 12448 599.18/605.75 c #Conflicts: 239000 | #Constraints: 13454 599.18/605.75 c #Conflicts: 240000 | #Constraints: 14455 599.18/605.75 c #Conflicts: 241000 | #Constraints: 15455 599.18/605.75 c #Conflicts: 242000 | #Constraints: 16455 599.18/605.75 c #Conflicts: 243000 | #Constraints: 17455 599.18/605.75 c #Conflicts: 244000 | #Constraints: 18457 599.18/605.75 c #Conflicts: 245000 | #Constraints: 19458 599.18/605.75 c #Conflicts: 246000 | #Constraints: 20460 599.18/605.75 c INPROCESSING 599.18/605.75 c GARBAGE COLLECT 599.18/605.75 c rational objective 9 632.68/639.37 c #Conflicts: 247000 | #Constraints: 11628 632.68/639.37 c #Conflicts: 248000 | #Constraints: 12628 632.68/639.37 c #Conflicts: 249000 | #Constraints: 13631 632.68/639.37 c #Conflicts: 250000 | #Constraints: 14632 632.68/639.37 c #Conflicts: 251000 | #Constraints: 15636 632.68/639.37 c #Conflicts: 252000 | #Constraints: 16637 632.68/639.37 c #Conflicts: 253000 | #Constraints: 17641 632.68/639.37 c #Conflicts: 254000 | #Constraints: 18643 632.68/639.37 c #Conflicts: 255000 | #Constraints: 19644 632.68/639.37 c #Conflicts: 256000 | #Constraints: 20645 632.68/639.37 c INPROCESSING 632.68/639.37 c GARBAGE COLLECT 632.68/639.37 c rational objective 9 651.52/658.29 c #Conflicts: 257000 | #Constraints: 11626 651.52/658.29 c #Conflicts: 258000 | #Constraints: 12627 651.52/658.29 c #Conflicts: 259000 | #Constraints: 13628 651.52/658.29 c #Conflicts: 260000 | #Constraints: 14629 651.52/658.29 c #Conflicts: 261000 | #Constraints: 15632 651.52/658.29 c #Conflicts: 262000 | #Constraints: 16633 651.52/658.29 c #Conflicts: 263000 | #Constraints: 17636 651.52/658.29 c #Conflicts: 264000 | #Constraints: 18642 651.52/658.29 c #Conflicts: 265000 | #Constraints: 19647 651.52/658.29 c #Conflicts: 266000 | #Constraints: 20649 651.52/658.29 c INPROCESSING 651.52/658.29 c GARBAGE COLLECT 651.52/658.29 c rational objective 9 674.75/681.51 c #Conflicts: 267000 | #Constraints: 11444 674.75/681.51 c #Conflicts: 268000 | #Constraints: 12445 674.75/681.51 c #Conflicts: 269000 | #Constraints: 13447 674.75/681.51 c #Conflicts: 270000 | #Constraints: 14447 674.75/681.51 c #Conflicts: 271000 | #Constraints: 15447 674.75/681.51 c #Conflicts: 272000 | #Constraints: 16452 674.75/681.51 c #Conflicts: 273000 | #Constraints: 17454 674.75/681.51 c #Conflicts: 274000 | #Constraints: 18457 674.75/681.51 c #Conflicts: 275000 | #Constraints: 19459 674.75/681.51 c #Conflicts: 276000 | #Constraints: 20462 674.75/681.51 c #Conflicts: 277000 | #Constraints: 21464 674.75/681.51 c INPROCESSING 674.75/681.51 c GARBAGE COLLECT 674.75/681.51 c rational objective 9 699.19/706.06 c #Conflicts: 278000 | #Constraints: 12053 699.19/706.06 c #Conflicts: 279000 | #Constraints: 13054 699.19/706.06 c #Conflicts: 280000 | #Constraints: 14055 699.19/706.06 c #Conflicts: 281000 | #Constraints: 15055 699.19/706.06 c #Conflicts: 282000 | #Constraints: 16057 699.19/706.06 c #Conflicts: 283000 | #Constraints: 17061 699.19/706.06 c #Conflicts: 284000 | #Constraints: 18061 699.19/706.06 c #Conflicts: 285000 | #Constraints: 19063 699.19/706.06 c #Conflicts: 286000 | #Constraints: 20064 699.19/706.06 c #Conflicts: 287000 | #Constraints: 21065 699.19/706.06 c #Conflicts: 288000 | #Constraints: 22066 699.19/706.06 c INPROCESSING 699.19/706.06 c GARBAGE COLLECT 699.19/706.06 c rational objective 9 733.28/740.22 c #Conflicts: 289000 | #Constraints: 12443 733.28/740.22 c #Conflicts: 290000 | #Constraints: 13445 733.28/740.22 c #Conflicts: 291000 | #Constraints: 14449 733.28/740.22 c #Conflicts: 292000 | #Constraints: 15452 733.28/740.22 c #Conflicts: 293000 | #Constraints: 16453 733.28/740.22 c #Conflicts: 294000 | #Constraints: 17455 733.28/740.22 c #Conflicts: 295000 | #Constraints: 18456 733.28/740.22 c #Conflicts: 296000 | #Constraints: 19457 733.28/740.22 c #Conflicts: 297000 | #Constraints: 20460 733.28/740.22 c #Conflicts: 298000 | #Constraints: 21462 733.28/740.22 c #Conflicts: 299000 | #Constraints: 22464 733.28/740.22 c INPROCESSING 733.28/740.22 c GARBAGE COLLECT 733.28/740.22 c rational objective 9 765.09/772.13 c #Conflicts: 300000 | #Constraints: 12638 765.09/772.13 c #Conflicts: 301000 | #Constraints: 13641 765.09/772.13 c #Conflicts: 302000 | #Constraints: 14643 765.09/772.13 c #Conflicts: 303000 | #Constraints: 15645 765.09/772.13 c #Conflicts: 304000 | #Constraints: 16646 765.09/772.13 c #Conflicts: 305000 | #Constraints: 17649 765.09/772.13 c #Conflicts: 306000 | #Constraints: 18653 765.09/772.13 c #Conflicts: 307000 | #Constraints: 19658 765.09/772.13 c #Conflicts: 308000 | #Constraints: 20659 765.09/772.13 c #Conflicts: 309000 | #Constraints: 21660 765.09/772.13 c #Conflicts: 310000 | #Constraints: 22660 765.09/772.13 c INPROCESSING 765.09/772.13 c GARBAGE COLLECT 765.09/772.13 c rational objective 9 817.54/824.70 c #Conflicts: 311000 | #Constraints: 12630 817.54/824.70 c #Conflicts: 312000 | #Constraints: 13632 817.54/824.70 c #Conflicts: 313000 | #Constraints: 14636 817.54/824.70 c #Conflicts: 314000 | #Constraints: 15638 817.54/824.70 c #Conflicts: 315000 | #Constraints: 16638 817.54/824.70 c #Conflicts: 316000 | #Constraints: 17640 817.54/824.70 c #Conflicts: 317000 | #Constraints: 18642 817.54/824.70 c #Conflicts: 318000 | #Constraints: 19643 817.54/824.70 c #Conflicts: 319000 | #Constraints: 20644 817.54/824.70 c #Conflicts: 320000 | #Constraints: 21646 817.54/824.70 c #Conflicts: 321000 | #Constraints: 22647 817.54/824.70 c INPROCESSING 817.54/824.70 c GARBAGE COLLECT 817.54/824.70 c rational objective 9 883.03/890.44 c #Conflicts: 322000 | #Constraints: 12430 883.03/890.44 c #Conflicts: 323000 | #Constraints: 13431 883.03/890.44 c #Conflicts: 324000 | #Constraints: 14434 883.03/890.44 c #Conflicts: 325000 | #Constraints: 15435 883.03/890.44 c #Conflicts: 326000 | #Constraints: 16435 883.03/890.44 c #Conflicts: 327000 | #Constraints: 17435 883.03/890.44 c #Conflicts: 328000 | #Constraints: 18436 883.03/890.44 c #Conflicts: 329000 | #Constraints: 19440 883.03/890.44 c #Conflicts: 330000 | #Constraints: 20440 883.03/890.44 c #Conflicts: 331000 | #Constraints: 21440 883.03/890.44 c #Conflicts: 332000 | #Constraints: 22440 883.03/890.44 c #Conflicts: 333000 | #Constraints: 23440 883.03/890.44 c INPROCESSING 883.03/890.44 c GARBAGE COLLECT 883.03/890.44 c rational objective 9 958.51/966.15 c #Conflicts: 334000 | #Constraints: 13018 958.51/966.15 c #Conflicts: 335000 | #Constraints: 14020 958.51/966.15 c #Conflicts: 336000 | #Constraints: 15022 958.51/966.15 c #Conflicts: 337000 | #Constraints: 16024 958.51/966.15 c #Conflicts: 338000 | #Constraints: 17025 958.51/966.15 c #Conflicts: 339000 | #Constraints: 18027 958.51/966.15 c #Conflicts: 340000 | #Constraints: 19033 958.51/966.15 c #Conflicts: 341000 | #Constraints: 20037 958.51/966.15 c #Conflicts: 342000 | #Constraints: 21039 958.51/966.15 c #Conflicts: 343000 | #Constraints: 22043 958.51/966.15 c #Conflicts: 344000 | #Constraints: 23043 958.51/966.15 c #Conflicts: 345000 | #Constraints: 24043 958.51/966.15 c INPROCESSING 958.51/966.15 c GARBAGE COLLECT 958.51/966.15 c #Conflicts: 346000 | #Constraints: 13424 958.51/966.15 c #Conflicts: 347000 | #Constraints: 14426 958.51/966.15 c #Conflicts: 348000 | #Constraints: 15428 958.51/966.15 c #Conflicts: 349000 | #Constraints: 16430 958.51/966.15 c #Conflicts: 350000 | #Constraints: 17433 958.51/966.15 c #Conflicts: 351000 | #Constraints: 18436 958.51/966.15 c #Conflicts: 352000 | #Constraints: 19438 958.51/966.15 c #Conflicts: 353000 | #Constraints: 20439 958.51/966.15 c #Conflicts: 354000 | #Constraints: 21440 958.51/966.15 c #Conflicts: 355000 | #Constraints: 22442 958.51/966.15 c #Conflicts: 356000 | #Constraints: 23444 958.51/966.15 c #Conflicts: 357000 | #Constraints: 24446 958.51/966.15 c INPROCESSING 958.51/966.15 c GARBAGE COLLECT 958.51/966.15 c rational objective 9 1006.56/1014.30 c #Conflicts: 358000 | #Constraints: 13636 1006.56/1014.30 c #Conflicts: 359000 | #Constraints: 14638 1006.56/1014.30 c #Conflicts: 360000 | #Constraints: 15638 1006.56/1014.30 c #Conflicts: 361000 | #Constraints: 16640 1006.56/1014.30 c #Conflicts: 362000 | #Constraints: 17642 1006.56/1014.30 c #Conflicts: 363000 | #Constraints: 18642 1006.56/1014.30 c #Conflicts: 364000 | #Constraints: 19643 1006.56/1014.30 c #Conflicts: 365000 | #Constraints: 20644 1006.56/1014.30 c #Conflicts: 366000 | #Constraints: 21645 1006.56/1014.30 c #Conflicts: 367000 | #Constraints: 22649 1006.56/1014.30 c #Conflicts: 368000 | #Constraints: 23653 1006.56/1014.30 c #Conflicts: 369000 | #Constraints: 24653 1006.56/1014.30 c INPROCESSING 1006.56/1014.30 c GARBAGE COLLECT 1006.56/1014.30 c rational objective 9 1044.94/1052.81 c #Conflicts: 370000 | #Constraints: 13653 1044.94/1052.81 c #Conflicts: 371000 | #Constraints: 14655 1044.94/1052.81 c #Conflicts: 372000 | #Constraints: 15660 1044.94/1052.81 c #Conflicts: 373000 | #Constraints: 16665 1044.94/1052.81 c #Conflicts: 374000 | #Constraints: 17669 1044.94/1052.81 c #Conflicts: 375000 | #Constraints: 18673 1044.94/1052.81 c #Conflicts: 376000 | #Constraints: 19674 1044.94/1052.81 c #Conflicts: 377000 | #Constraints: 20676 1044.94/1052.81 c #Conflicts: 378000 | #Constraints: 21679 1044.94/1052.81 c #Conflicts: 379000 | #Constraints: 22681 1044.94/1052.81 c #Conflicts: 380000 | #Constraints: 23683 1044.94/1052.81 c #Conflicts: 381000 | #Constraints: 24686 1044.94/1052.81 c INPROCESSING 1044.94/1052.81 c GARBAGE COLLECT 1044.94/1052.81 c rational objective 9 1096.69/1104.74 c #Conflicts: 382000 | #Constraints: 13455 1096.69/1104.74 c #Conflicts: 383000 | #Constraints: 14459 1096.69/1104.74 c #Conflicts: 384000 | #Constraints: 15460 1096.69/1104.74 c #Conflicts: 385000 | #Constraints: 16460 1096.69/1104.74 c #Conflicts: 386000 | #Constraints: 17462 1096.69/1104.74 c #Conflicts: 387000 | #Constraints: 18464 1096.69/1104.74 c #Conflicts: 388000 | #Constraints: 19466 1096.69/1104.74 c #Conflicts: 389000 | #Constraints: 20468 1096.69/1104.74 c #Conflicts: 390000 | #Constraints: 21470 1096.69/1104.74 c #Conflicts: 391000 | #Constraints: 22471 1096.69/1104.74 c #Conflicts: 392000 | #Constraints: 23474 1096.69/1104.74 c #Conflicts: 393000 | #Constraints: 24477 1096.69/1104.74 c #Conflicts: 394000 | #Constraints: 25479 1096.69/1104.74 c INPROCESSING 1096.69/1104.74 c GARBAGE COLLECT 1096.69/1104.74 c rational objective 9 1128.09/1136.27 c #Conflicts: 395000 | #Constraints: 14035 1128.09/1136.27 c #Conflicts: 396000 | #Constraints: 15038 1128.09/1136.27 c #Conflicts: 397000 | #Constraints: 16040 1128.09/1136.27 c #Conflicts: 398000 | #Constraints: 17043 1128.09/1136.27 c #Conflicts: 399000 | #Constraints: 18045 1128.09/1136.27 c #Conflicts: 400000 | #Constraints: 19050 1128.09/1136.27 c #Conflicts: 401000 | #Constraints: 20052 1128.09/1136.27 c #Conflicts: 402000 | #Constraints: 21056 1128.09/1136.27 c #Conflicts: 403000 | #Constraints: 22063 1128.09/1136.27 c #Conflicts: 404000 | #Constraints: 23067 1128.09/1136.27 c #Conflicts: 405000 | #Constraints: 24068 1128.09/1136.27 c #Conflicts: 406000 | #Constraints: 25070 1128.09/1136.27 c #Conflicts: 407000 | #Constraints: 26071 1128.09/1136.27 c INPROCESSING 1128.09/1136.27 c GARBAGE COLLECT 1128.09/1136.27 c rational objective 9 1183.74/1192.08 c #Conflicts: 408000 | #Constraints: 14445 1183.74/1192.08 c #Conflicts: 409000 | #Constraints: 15449 1183.74/1192.08 c #Conflicts: 410000 | #Constraints: 16451 1183.74/1192.08 c #Conflicts: 411000 | #Constraints: 17451 1183.74/1192.08 c #Conflicts: 412000 | #Constraints: 18452 1183.74/1192.08 c #Conflicts: 413000 | #Constraints: 19454 1183.74/1192.08 c #Conflicts: 414000 | #Constraints: 20456 1183.74/1192.08 c #Conflicts: 415000 | #Constraints: 21458 1183.74/1192.08 c #Conflicts: 416000 | #Constraints: 22459 1183.74/1192.08 c #Conflicts: 417000 | #Constraints: 23462 1183.74/1192.08 c #Conflicts: 418000 | #Constraints: 24463 1183.74/1192.08 c #Conflicts: 419000 | #Constraints: 25466 1183.74/1192.08 c #Conflicts: 420000 | #Constraints: 26469 1183.74/1192.08 c INPROCESSING 1183.74/1192.08 c GARBAGE COLLECT 1183.74/1192.08 c rational objective 9 1226.11/1234.58 c #Conflicts: 421000 | #Constraints: 14648 1226.11/1234.58 c #Conflicts: 422000 | #Constraints: 15655 1226.11/1234.58 c #Conflicts: 423000 | #Constraints: 16657 1226.11/1234.58 c #Conflicts: 424000 | #Constraints: 17657 1226.11/1234.58 c #Conflicts: 425000 | #Constraints: 18661 1226.11/1234.58 c #Conflicts: 426000 | #Constraints: 19662 1226.11/1234.58 c #Conflicts: 427000 | #Constraints: 20663 1226.11/1234.58 c #Conflicts: 428000 | #Constraints: 21663 1226.11/1234.58 c #Conflicts: 429000 | #Constraints: 22665 1226.11/1234.58 c #Conflicts: 430000 | #Constraints: 23669 1226.11/1234.58 c #Conflicts: 431000 | #Constraints: 24674 1226.11/1234.58 c #Conflicts: 432000 | #Constraints: 25687 1226.11/1234.58 c #Conflicts: 433000 | #Constraints: 26695 1226.11/1234.58 c INPROCESSING 1226.11/1234.58 c GARBAGE COLLECT 1226.11/1234.58 c rational objective 9 1282.14/1290.79 c #Conflicts: 434000 | #Constraints: 14662 1282.14/1290.79 c #Conflicts: 435000 | #Constraints: 15663 1282.14/1290.79 c #Conflicts: 436000 | #Constraints: 16664 1282.14/1290.79 c #Conflicts: 437000 | #Constraints: 17667 1282.14/1290.79 c #Conflicts: 438000 | #Constraints: 18669 1282.14/1290.79 c #Conflicts: 439000 | #Constraints: 19674 1282.14/1290.79 c #Conflicts: 440000 | #Constraints: 20679 1282.14/1290.79 c #Conflicts: 441000 | #Constraints: 21682 1282.14/1290.79 c #Conflicts: 442000 | #Constraints: 22684 1282.14/1290.79 c #Conflicts: 443000 | #Constraints: 23686 1282.14/1290.79 c #Conflicts: 444000 | #Constraints: 24689 1282.14/1290.79 c #Conflicts: 445000 | #Constraints: 25690 1282.14/1290.79 c #Conflicts: 446000 | #Constraints: 26690 1282.14/1290.79 c INPROCESSING 1282.14/1290.79 c GARBAGE COLLECT 1282.14/1290.79 c rational objective 9 1365.30/1374.15 c #Conflicts: 447000 | #Constraints: 14450 1365.30/1374.15 c #Conflicts: 448000 | #Constraints: 15451 1365.30/1374.15 c #Conflicts: 449000 | #Constraints: 16451 1365.30/1374.15 c #Conflicts: 450000 | #Constraints: 17453 1365.30/1374.15 c #Conflicts: 451000 | #Constraints: 18454 1365.30/1374.15 c #Conflicts: 452000 | #Constraints: 19456 1365.30/1374.15 c #Conflicts: 453000 | #Constraints: 20460 1365.30/1374.15 c #Conflicts: 454000 | #Constraints: 21465 1365.30/1374.15 c #Conflicts: 455000 | #Constraints: 22468 1365.30/1374.15 c #Conflicts: 456000 | #Constraints: 23469 1365.30/1374.15 c #Conflicts: 457000 | #Constraints: 24473 1365.30/1374.15 c #Conflicts: 458000 | #Constraints: 25478 1365.30/1374.15 c #Conflicts: 459000 | #Constraints: 26479 1365.30/1374.15 c #Conflicts: 460000 | #Constraints: 27481 1365.30/1374.15 c INPROCESSING 1365.30/1374.15 c GARBAGE COLLECT 1365.30/1374.15 c rational objective 9 1413.65/1422.69 c #Conflicts: 461000 | #Constraints: 15083 1413.65/1422.69 c #Conflicts: 462000 | #Constraints: 16087 1413.65/1422.69 c #Conflicts: 463000 | #Constraints: 17091 1413.65/1422.69 c #Conflicts: 464000 | #Constraints: 18093 1413.65/1422.69 c #Conflicts: 465000 | #Constraints: 19094 1413.65/1422.69 c #Conflicts: 466000 | #Constraints: 20096 1413.65/1422.69 c #Conflicts: 467000 | #Constraints: 21098 1413.65/1422.69 c #Conflicts: 468000 | #Constraints: 22099 1413.65/1422.69 c #Conflicts: 469000 | #Constraints: 23101 1413.65/1422.69 c #Conflicts: 470000 | #Constraints: 24102 1413.65/1422.69 c #Conflicts: 471000 | #Constraints: 25106 1413.65/1422.69 c #Conflicts: 472000 | #Constraints: 26107 1413.65/1422.69 c #Conflicts: 473000 | #Constraints: 27111 1413.65/1422.69 c #Conflicts: 474000 | #Constraints: 28112 1413.65/1422.69 c INPROCESSING 1413.65/1422.69 c GARBAGE COLLECT 1413.65/1422.69 c rational objective 9 1467.29/1476.49 c #Conflicts: 475000 | #Constraints: 15477 1467.29/1476.49 c #Conflicts: 476000 | #Constraints: 16483 1467.29/1476.49 c #Conflicts: 477000 | #Constraints: 17493 1467.29/1476.49 c #Conflicts: 478000 | #Constraints: 18499 1467.29/1476.49 c #Conflicts: 479000 | #Constraints: 19500 1467.29/1476.49 c #Conflicts: 480000 | #Constraints: 20501 1467.29/1476.49 c #Conflicts: 481000 | #Constraints: 21502 1467.29/1476.49 c #Conflicts: 482000 | #Constraints: 22502 1467.29/1476.49 c #Conflicts: 483000 | #Constraints: 23505 1467.29/1476.49 c #Conflicts: 484000 | #Constraints: 24509 1467.29/1476.49 c #Conflicts: 485000 | #Constraints: 25514 1467.29/1476.49 c #Conflicts: 486000 | #Constraints: 26518 1467.29/1476.49 c #Conflicts: 487000 | #Constraints: 27524 1467.29/1476.49 c #Conflicts: 488000 | #Constraints: 28533 1467.29/1476.49 c INPROCESSING 1467.29/1476.49 c GARBAGE COLLECT 1467.29/1476.49 c rational objective 9 1533.30/1542.65 c #Conflicts: 489000 | #Constraints: 15694 1533.30/1542.65 c #Conflicts: 490000 | #Constraints: 16696 1533.30/1542.65 c #Conflicts: 491000 | #Constraints: 17696 1533.30/1542.65 c #Conflicts: 492000 | #Constraints: 18698 1533.30/1542.65 c #Conflicts: 493000 | #Constraints: 19699 1533.30/1542.65 c #Conflicts: 494000 | #Constraints: 20699 1533.30/1542.65 c #Conflicts: 495000 | #Constraints: 21699 1533.30/1542.65 c #Conflicts: 496000 | #Constraints: 22699 1533.30/1542.65 c #Conflicts: 497000 | #Constraints: 23699 1533.30/1542.65 c #Conflicts: 498000 | #Constraints: 24699 1533.30/1542.65 c #Conflicts: 499000 | #Constraints: 25699 1533.30/1542.65 c #Conflicts: 500000 | #Constraints: 26699 1533.30/1542.65 c #Conflicts: 501000 | #Constraints: 27699 1533.30/1542.65 c #Conflicts: 502000 | #Constraints: 28699 1533.30/1542.65 c INPROCESSING 1533.30/1542.65 c GARBAGE COLLECT 1533.30/1542.65 c rational objective 9 1594.72/1604.20 c #Conflicts: 503000 | #Constraints: 15674 1594.72/1604.20 c #Conflicts: 504000 | #Constraints: 16674 1594.72/1604.20 c #Conflicts: 505000 | #Constraints: 17674 1594.72/1604.20 c #Conflicts: 506000 | #Constraints: 18680 1594.72/1604.20 c #Conflicts: 507000 | #Constraints: 19682 1594.72/1604.20 c #Conflicts: 508000 | #Constraints: 20684 1594.72/1604.20 c #Conflicts: 509000 | #Constraints: 21685 1594.72/1604.20 c #Conflicts: 510000 | #Constraints: 22686 1594.72/1604.20 c #Conflicts: 511000 | #Constraints: 23687 1594.72/1604.20 c #Conflicts: 512000 | #Constraints: 24688 1594.72/1604.20 c #Conflicts: 513000 | #Constraints: 25688 1594.72/1604.20 c #Conflicts: 514000 | #Constraints: 26690 1594.72/1604.20 c #Conflicts: 515000 | #Constraints: 27691 1594.72/1604.20 c #Conflicts: 516000 | #Constraints: 28692 1594.72/1604.20 c INPROCESSING 1594.72/1604.20 c GARBAGE COLLECT 1594.72/1604.20 c rational objective 9 1635.69/1645.37 c #Conflicts: 517000 | #Constraints: 15442 1635.69/1645.37 c #Conflicts: 518000 | #Constraints: 16443 1635.69/1645.37 c #Conflicts: 519000 | #Constraints: 17445 1635.69/1645.37 c #Conflicts: 520000 | #Constraints: 18448 1635.69/1645.37 c #Conflicts: 521000 | #Constraints: 19451 1635.69/1645.37 c #Conflicts: 522000 | #Constraints: 20453 1635.69/1645.37 c #Conflicts: 523000 | #Constraints: 21454 1635.69/1645.37 c #Conflicts: 524000 | #Constraints: 22456 1635.69/1645.37 c #Conflicts: 525000 | #Constraints: 23458 1635.69/1645.37 c #Conflicts: 526000 | #Constraints: 24460 1635.69/1645.37 c #Conflicts: 527000 | #Constraints: 25462 1635.69/1645.37 c #Conflicts: 528000 | #Constraints: 26465 1635.69/1645.37 c #Conflicts: 529000 | #Constraints: 27467 1635.69/1645.37 c #Conflicts: 530000 | #Constraints: 28469 1635.69/1645.37 c #Conflicts: 531000 | #Constraints: 29470 1635.69/1645.37 c INPROCESSING 1635.69/1645.37 c GARBAGE COLLECT 1635.69/1645.37 c rational objective 9 1679.67/1689.40 c #Conflicts: 532000 | #Constraints: 16036 1679.67/1689.40 c #Conflicts: 533000 | #Constraints: 17037 1679.67/1689.40 c #Conflicts: 534000 | #Constraints: 18040 1679.67/1689.40 c #Conflicts: 535000 | #Constraints: 19042 1679.67/1689.40 c #Conflicts: 536000 | #Constraints: 20047 1679.67/1689.40 c #Conflicts: 537000 | #Constraints: 21051 1679.67/1689.40 c #Conflicts: 538000 | #Constraints: 22054 1679.67/1689.40 c #Conflicts: 539000 | #Constraints: 23057 1679.67/1689.40 c #Conflicts: 540000 | #Constraints: 24058 1679.67/1689.40 c #Conflicts: 541000 | #Constraints: 25059 1679.67/1689.40 c #Conflicts: 542000 | #Constraints: 26060 1679.67/1689.40 c #Conflicts: 543000 | #Constraints: 27061 1679.67/1689.40 c #Conflicts: 544000 | #Constraints: 28063 1679.67/1689.40 c #Conflicts: 545000 | #Constraints: 29065 1679.67/1689.40 c #Conflicts: 546000 | #Constraints: 30067 1679.67/1689.40 c INPROCESSING 1679.67/1689.40 c GARBAGE COLLECT 1679.67/1689.40 c rational objective 9 1746.67/1756.61 c #Conflicts: 547000 | #Constraints: 16446 1746.67/1756.61 c #Conflicts: 548000 | #Constraints: 17447 1746.67/1756.61 c #Conflicts: 549000 | #Constraints: 18449 1746.67/1756.61 c #Conflicts: 550000 | #Constraints: 19450 1746.67/1756.61 c #Conflicts: 551000 | #Constraints: 20452 1746.67/1756.61 c #Conflicts: 552000 | #Constraints: 21452 1746.67/1756.61 c #Conflicts: 553000 | #Constraints: 22453 1746.67/1756.61 c #Conflicts: 554000 | #Constraints: 23453 1746.67/1756.61 c #Conflicts: 555000 | #Constraints: 24453 1746.67/1756.61 c #Conflicts: 556000 | #Constraints: 25455 1746.67/1756.61 c #Conflicts: 557000 | #Constraints: 26456 1746.67/1756.61 c #Conflicts: 558000 | #Constraints: 27457 1746.67/1756.61 c #Conflicts: 559000 | #Constraints: 28458 1746.67/1756.61 c #Conflicts: 560000 | #Constraints: 29461 1746.67/1756.61 c #Conflicts: 561000 | #Constraints: 30464 1746.67/1756.61 c INPROCESSING 1746.67/1756.61 c GARBAGE COLLECT 1746.67/1756.61 c rational objective 9 1798.71/1808.84 c #Conflicts: 562000 | #Constraints: 16635 1798.71/1808.84 c #Conflicts: 563000 | #Constraints: 17636 1798.71/1808.84 c #Conflicts: 564000 | #Constraints: 18637 1798.71/1808.84 c #Conflicts: 565000 | #Constraints: 19637 1798.71/1808.84 c #Conflicts: 566000 | #Constraints: 20638 1798.71/1808.84 c #Conflicts: 567000 | #Constraints: 21639 1798.71/1808.84 c #Conflicts: 568000 | #Constraints: 22640 1798.71/1808.84 c #Conflicts: 569000 | #Constraints: 23643 1798.71/1808.84 c #Conflicts: 570000 | #Constraints: 24643 1798.71/1808.84 c #Conflicts: 571000 | #Constraints: 25644 1798.71/1808.84 c #Conflicts: 572000 | #Constraints: 26648 1798.71/1808.84 c #Conflicts: 573000 | #Constraints: 27654 1798.71/1808.84 c #Conflicts: 574000 | #Constraints: 28655 1798.71/1808.84 c #Conflicts: 575000 | #Constraints: 29655 1798.71/1808.84 c #Conflicts: 576000 | #Constraints: 30656 1798.71/1808.84 c INPROCESSING 1798.71/1808.84 c GARBAGE COLLECT 1798.71/1808.84 c rational objective 9 1860.23/1870.58 c #Conflicts: 577000 | #Constraints: 16643 1860.23/1870.58 c #Conflicts: 578000 | #Constraints: 17648 1860.23/1870.58 c #Conflicts: 579000 | #Constraints: 18650 1860.23/1870.58 c #Conflicts: 580000 | #Constraints: 19651 1860.23/1870.58 c #Conflicts: 581000 | #Constraints: 20652 1860.23/1870.58 c #Conflicts: 582000 | #Constraints: 21654 1860.23/1870.58 c #Conflicts: 583000 | #Constraints: 22656 1860.23/1870.58 c #Conflicts: 584000 | #Constraints: 23659 1860.23/1870.58 c #Conflicts: 585000 | #Constraints: 24660 1860.23/1870.58 c #Conflicts: 586000 | #Constraints: 25662 1860.23/1870.58 c #Conflicts: 587000 | #Constraints: 26664 1860.23/1870.58 c #Conflicts: 588000 | #Constraints: 27665 1860.23/1870.58 c #Conflicts: 589000 | #Constraints: 28669 1860.23/1870.58 c #Conflicts: 590000 | #Constraints: 29672 1860.23/1870.58 c #Conflicts: 591000 | #Constraints: 30676 1860.23/1870.58 c INPROCESSING 1860.23/1870.58 c GARBAGE COLLECT 1860.23/1870.58 c rational objective 9 1953.16/1963.77 c #Conflicts: 592000 | #Constraints: 16452 1953.16/1963.77 c #Conflicts: 593000 | #Constraints: 17458 1953.16/1963.77 c #Conflicts: 594000 | #Constraints: 18459 1953.16/1963.77 c #Conflicts: 595000 | #Constraints: 19461 1953.16/1963.77 c #Conflicts: 596000 | #Constraints: 20462 1953.16/1963.77 c #Conflicts: 597000 | #Constraints: 21463 1953.16/1963.77 c #Conflicts: 598000 | #Constraints: 22467 1953.16/1963.77 c #Conflicts: 599000 | #Constraints: 23469 1953.16/1963.77 c #Conflicts: 600000 | #Constraints: 24470 1953.16/1963.77 c #Conflicts: 601000 | #Constraints: 25470 1953.16/1963.77 c #Conflicts: 602000 | #Constraints: 26470 1953.16/1963.77 c #Conflicts: 603000 | #Constraints: 27470 1953.16/1963.77 c #Conflicts: 604000 | #Constraints: 28470 1953.16/1963.77 c #Conflicts: 605000 | #Constraints: 29470 1953.16/1963.77 c #Conflicts: 606000 | #Constraints: 30471 1953.16/1963.77 c #Conflicts: 607000 | #Constraints: 31471 1953.16/1963.77 c INPROCESSING 1953.16/1963.77 c GARBAGE COLLECT 1953.16/1963.77 c rational objective 9 2015.87/2026.63 c #Conflicts: 608000 | #Constraints: 17058 2015.87/2026.63 c #Conflicts: 609000 | #Constraints: 18060 2015.87/2026.63 c #Conflicts: 610000 | #Constraints: 19062 2015.87/2026.63 c #Conflicts: 611000 | #Constraints: 20064 2015.87/2026.63 c #Conflicts: 612000 | #Constraints: 21065 2015.87/2026.63 c #Conflicts: 613000 | #Constraints: 22066 2015.87/2026.63 c #Conflicts: 614000 | #Constraints: 23068 2015.87/2026.63 c #Conflicts: 615000 | #Constraints: 24071 2015.87/2026.63 c #Conflicts: 616000 | #Constraints: 25074 2015.87/2026.63 c #Conflicts: 617000 | #Constraints: 26078 2015.87/2026.63 c #Conflicts: 618000 | #Constraints: 27081 2015.87/2026.63 c #Conflicts: 619000 | #Constraints: 28084 2015.87/2026.63 c #Conflicts: 620000 | #Constraints: 29087 2015.87/2026.63 c #Conflicts: 621000 | #Constraints: 30089 2015.87/2026.63 c #Conflicts: 622000 | #Constraints: 31091 2015.87/2026.63 c #Conflicts: 623000 | #Constraints: 32093 2015.87/2026.63 c INPROCESSING 2015.87/2026.63 c GARBAGE COLLECT 2015.87/2026.63 c rational objective 9 2073.29/2084.25 c #Conflicts: 624000 | #Constraints: 17464 2073.29/2084.25 c #Conflicts: 625000 | #Constraints: 18469 2073.29/2084.25 c #Conflicts: 626000 | #Constraints: 19472 2073.29/2084.25 c #Conflicts: 627000 | #Constraints: 20473 2073.29/2084.25 c #Conflicts: 628000 | #Constraints: 21475 2073.29/2084.25 c #Conflicts: 629000 | #Constraints: 22477 2073.29/2084.25 c #Conflicts: 630000 | #Constraints: 23478 2073.29/2084.25 c #Conflicts: 631000 | #Constraints: 24481 2073.29/2084.25 c #Conflicts: 632000 | #Constraints: 25483 2073.29/2084.25 c #Conflicts: 633000 | #Constraints: 26486 2073.29/2084.25 c #Conflicts: 634000 | #Constraints: 27487 2073.29/2084.25 c #Conflicts: 635000 | #Constraints: 28490 2073.29/2084.25 c #Conflicts: 636000 | #Constraints: 29496 2073.29/2084.25 c #Conflicts: 637000 | #Constraints: 30500 2073.29/2084.25 c #Conflicts: 638000 | #Constraints: 31502 2073.29/2084.25 c #Conflicts: 639000 | #Constraints: 32502 2073.29/2084.25 c INPROCESSING 2073.29/2084.25 c GARBAGE COLLECT 2073.29/2084.25 c rational objective 9 2122.26/2133.30 c #Conflicts: 640000 | #Constraints: 17658 2122.26/2133.30 c #Conflicts: 641000 | #Constraints: 18663 2122.26/2133.30 c #Conflicts: 642000 | #Constraints: 19665 2122.26/2133.30 c #Conflicts: 643000 | #Constraints: 20668 2122.26/2133.30 c #Conflicts: 644000 | #Constraints: 21670 2122.26/2133.30 c #Conflicts: 645000 | #Constraints: 22672 2122.26/2133.30 c #Conflicts: 646000 | #Constraints: 23675 2122.26/2133.30 c #Conflicts: 647000 | #Constraints: 24679 2122.26/2133.30 c #Conflicts: 648000 | #Constraints: 25679 2122.26/2133.30 c #Conflicts: 649000 | #Constraints: 26680 2122.26/2133.30 c #Conflicts: 650000 | #Constraints: 27682 2122.26/2133.30 c #Conflicts: 651000 | #Constraints: 28685 2122.26/2133.30 c #Conflicts: 652000 | #Constraints: 29687 2122.26/2133.30 c #Conflicts: 653000 | #Constraints: 30690 2122.26/2133.30 c #Conflicts: 654000 | #Constraints: 31692 2122.26/2133.30 c #Conflicts: 655000 | #Constraints: 32695 2122.26/2133.30 c INPROCESSING 2122.26/2133.30 c GARBAGE COLLECT 2122.26/2133.30 c rational objective 9 2172.81/2184.08 c #Conflicts: 656000 | #Constraints: 17670 2172.81/2184.08 c #Conflicts: 657000 | #Constraints: 18670 2172.81/2184.08 c #Conflicts: 658000 | #Constraints: 19670 2172.81/2184.08 c #Conflicts: 659000 | #Constraints: 20673 2172.81/2184.08 c #Conflicts: 660000 | #Constraints: 21673 2172.81/2184.08 c #Conflicts: 661000 | #Constraints: 22674 2172.81/2184.08 c #Conflicts: 662000 | #Constraints: 23675 2172.81/2184.08 c #Conflicts: 663000 | #Constraints: 24675 2172.81/2184.08 c #Conflicts: 664000 | #Constraints: 25677 2172.81/2184.08 c #Conflicts: 665000 | #Constraints: 26677 2172.81/2184.08 c #Conflicts: 666000 | #Constraints: 27678 2172.81/2184.08 c #Conflicts: 667000 | #Constraints: 28680 2172.81/2184.08 c #Conflicts: 668000 | #Constraints: 29682 2172.81/2184.08 c #Conflicts: 669000 | #Constraints: 30687 2172.81/2184.08 c #Conflicts: 670000 | #Constraints: 31689 2172.81/2184.08 c #Conflicts: 671000 | #Constraints: 32694 2172.81/2184.08 c INPROCESSING 2172.81/2184.08 c GARBAGE COLLECT 2172.81/2184.08 c rational objective 9 2220.97/2232.34 c #Conflicts: 672000 | #Constraints: 17471 2220.97/2232.34 c #Conflicts: 673000 | #Constraints: 18474 2220.97/2232.34 c #Conflicts: 674000 | #Constraints: 19476 2220.97/2232.34 c #Conflicts: 675000 | #Constraints: 20476 2220.97/2232.34 c #Conflicts: 676000 | #Constraints: 21477 2220.97/2232.34 c #Conflicts: 677000 | #Constraints: 22478 2220.97/2232.34 c #Conflicts: 678000 | #Constraints: 23481 2220.97/2232.34 c #Conflicts: 679000 | #Constraints: 24484 2220.97/2232.34 c #Conflicts: 680000 | #Constraints: 25488 2220.97/2232.34 c #Conflicts: 681000 | #Constraints: 26488 2220.97/2232.34 c #Conflicts: 682000 | #Constraints: 27489 2220.97/2232.34 c #Conflicts: 683000 | #Constraints: 28490 2220.97/2232.34 c #Conflicts: 684000 | #Constraints: 29492 2220.97/2232.34 c #Conflicts: 685000 | #Constraints: 30495 2220.97/2232.34 c #Conflicts: 686000 | #Constraints: 31498 2220.97/2232.34 c #Conflicts: 687000 | #Constraints: 32499 2220.97/2232.34 c #Conflicts: 688000 | #Constraints: 33500 2220.97/2232.34 c INPROCESSING 2220.97/2232.34 c GARBAGE COLLECT 2220.97/2232.34 c rational objective 9 2284.28/2295.86 c #Conflicts: 689000 | #Constraints: 18063 2284.28/2295.86 c #Conflicts: 690000 | #Constraints: 19066 2284.28/2295.86 c #Conflicts: 691000 | #Constraints: 20067 2284.28/2295.86 c #Conflicts: 692000 | #Constraints: 21071 2284.28/2295.86 c #Conflicts: 693000 | #Constraints: 22075 2284.28/2295.86 c #Conflicts: 694000 | #Constraints: 23077 2284.28/2295.86 c #Conflicts: 695000 | #Constraints: 24080 2284.28/2295.86 c #Conflicts: 696000 | #Constraints: 25082 2284.28/2295.86 c #Conflicts: 697000 | #Constraints: 26086 2284.28/2295.86 c #Conflicts: 698000 | #Constraints: 27090 2284.28/2295.86 c #Conflicts: 699000 | #Constraints: 28093 2284.28/2295.86 c #Conflicts: 700000 | #Constraints: 29096 2284.28/2295.86 c #Conflicts: 701000 | #Constraints: 30099 2284.28/2295.86 c #Conflicts: 702000 | #Constraints: 31101 2284.28/2295.86 c #Conflicts: 703000 | #Constraints: 32102 2284.28/2295.86 c #Conflicts: 704000 | #Constraints: 33105 2284.28/2295.86 c #Conflicts: 705000 | #Constraints: 34110 2284.28/2295.86 c INPROCESSING 2284.28/2295.86 c GARBAGE COLLECT 2284.28/2295.86 c rational objective 9 2333.44/2345.18 c #Conflicts: 706000 | #Constraints: 18477 2333.44/2345.18 c #Conflicts: 707000 | #Constraints: 19479 2333.44/2345.18 c #Conflicts: 708000 | #Constraints: 20481 2333.44/2345.18 c #Conflicts: 709000 | #Constraints: 21483 2333.44/2345.18 c #Conflicts: 710000 | #Constraints: 22485 2333.44/2345.18 c #Conflicts: 711000 | #Constraints: 23487 2333.44/2345.18 c #Conflicts: 712000 | #Constraints: 24489 2333.44/2345.18 c #Conflicts: 713000 | #Constraints: 25490 2333.44/2345.18 c #Conflicts: 714000 | #Constraints: 26490 2333.44/2345.18 c #Conflicts: 715000 | #Constraints: 27490 2333.44/2345.18 c #Conflicts: 716000 | #Constraints: 28492 2333.44/2345.18 c #Conflicts: 717000 | #Constraints: 29493 2333.44/2345.18 c #Conflicts: 718000 | #Constraints: 30494 2333.44/2345.18 c #Conflicts: 719000 | #Constraints: 31495 2333.44/2345.18 c #Conflicts: 720000 | #Constraints: 32496 2333.44/2345.18 c #Conflicts: 721000 | #Constraints: 33497 2333.44/2345.18 c #Conflicts: 722000 | #Constraints: 34498 2333.44/2345.18 c INPROCESSING 2333.44/2345.18 c GARBAGE COLLECT 2333.44/2345.18 c rational objective 9 2419.97/2431.94 c #Conflicts: 723000 | #Constraints: 18662 2419.97/2431.94 c #Conflicts: 724000 | #Constraints: 19663 2419.97/2431.94 c #Conflicts: 725000 | #Constraints: 20665 2419.97/2431.94 c #Conflicts: 726000 | #Constraints: 21666 2419.97/2431.94 c #Conflicts: 727000 | #Constraints: 22667 2419.97/2431.94 c #Conflicts: 728000 | #Constraints: 23671 2419.97/2431.94 c #Conflicts: 729000 | #Constraints: 24676 2419.97/2431.94 c #Conflicts: 730000 | #Constraints: 25679 2419.97/2431.94 c #Conflicts: 731000 | #Constraints: 26682 2419.97/2431.94 c #Conflicts: 732000 | #Constraints: 27682 2419.97/2431.94 c #Conflicts: 733000 | #Constraints: 28682 2419.97/2431.94 c #Conflicts: 734000 | #Constraints: 29683 2419.97/2431.94 c #Conflicts: 735000 | #Constraints: 30686 2419.97/2431.94 c #Conflicts: 736000 | #Constraints: 31687 2419.97/2431.94 c #Conflicts: 737000 | #Constraints: 32687 2419.97/2431.94 c #Conflicts: 738000 | #Constraints: 33687 2419.97/2431.94 c #Conflicts: 739000 | #Constraints: 34687 2419.97/2431.94 c INPROCESSING 2419.97/2431.94 c GARBAGE COLLECT 2419.97/2431.94 c rational objective 9 2480.30/2492.41 c #Conflicts: 740000 | #Constraints: 18671 2480.30/2492.41 c #Conflicts: 741000 | #Constraints: 19672 2480.30/2492.41 c #Conflicts: 742000 | #Constraints: 20674 2480.30/2492.41 c #Conflicts: 743000 | #Constraints: 21676 2480.30/2492.41 c #Conflicts: 744000 | #Constraints: 22678 2480.30/2492.41 c #Conflicts: 745000 | #Constraints: 23680 2480.30/2492.41 c #Conflicts: 746000 | #Constraints: 24680 2480.30/2492.41 c #Conflicts: 747000 | #Constraints: 25680 2480.30/2492.41 c #Conflicts: 748000 | #Constraints: 26681 2480.30/2492.41 c #Conflicts: 749000 | #Constraints: 27683 2480.30/2492.41 c #Conflicts: 750000 | #Constraints: 28686 2480.30/2492.41 c #Conflicts: 751000 | #Constraints: 29689 2480.30/2492.41 c #Conflicts: 752000 | #Constraints: 30689 2480.30/2492.41 c #Conflicts: 753000 | #Constraints: 31691 2480.30/2492.41 c #Conflicts: 754000 | #Constraints: 32695 2480.30/2492.41 c #Conflicts: 755000 | #Constraints: 33697 2480.30/2492.41 c #Conflicts: 756000 | #Constraints: 34699 2480.30/2492.41 c INPROCESSING 2480.30/2492.41 c GARBAGE COLLECT 2480.30/2492.41 c rational objective 9 2543.61/2555.93 c #Conflicts: 757000 | #Constraints: 18453 2543.61/2555.93 c #Conflicts: 758000 | #Constraints: 19454 2543.61/2555.93 c #Conflicts: 759000 | #Constraints: 20455 2543.61/2555.93 c #Conflicts: 760000 | #Constraints: 21456 2543.61/2555.93 c #Conflicts: 761000 | #Constraints: 22458 2543.61/2555.93 c #Conflicts: 762000 | #Constraints: 23459 2543.61/2555.93 c #Conflicts: 763000 | #Constraints: 24461 2543.61/2555.93 c #Conflicts: 764000 | #Constraints: 25463 2543.61/2555.93 c #Conflicts: 765000 | #Constraints: 26465 2543.61/2555.93 c #Conflicts: 766000 | #Constraints: 27469 2543.61/2555.93 c #Conflicts: 767000 | #Constraints: 28472 2543.61/2555.93 c #Conflicts: 768000 | #Constraints: 29474 2543.61/2555.93 c #Conflicts: 769000 | #Constraints: 30477 2543.61/2555.93 c #Conflicts: 770000 | #Constraints: 31479 2543.61/2555.93 c #Conflicts: 771000 | #Constraints: 32480 2543.61/2555.93 c #Conflicts: 772000 | #Constraints: 33481 2543.61/2555.93 c #Conflicts: 773000 | #Constraints: 34482 2543.61/2555.93 c #Conflicts: 774000 | #Constraints: 35484 2543.61/2555.93 c INPROCESSING 2543.61/2555.93 c GARBAGE COLLECT 2543.61/2555.93 c rational objective 9 2613.70/2626.29 c #Conflicts: 775000 | #Constraints: 19049 2613.70/2626.29 c #Conflicts: 776000 | #Constraints: 20050 2613.70/2626.29 c #Conflicts: 777000 | #Constraints: 21050 2613.70/2626.29 c #Conflicts: 778000 | #Constraints: 22055 2613.70/2626.29 c #Conflicts: 779000 | #Constraints: 23057 2613.70/2626.29 c #Conflicts: 780000 | #Constraints: 24063 2613.70/2626.29 c #Conflicts: 781000 | #Constraints: 25068 2613.70/2626.29 c #Conflicts: 782000 | #Constraints: 26073 2613.70/2626.29 c #Conflicts: 783000 | #Constraints: 27076 2613.70/2626.29 c #Conflicts: 784000 | #Constraints: 28079 2613.70/2626.29 c #Conflicts: 785000 | #Constraints: 29080 2613.70/2626.29 c #Conflicts: 786000 | #Constraints: 30083 2613.70/2626.29 c #Conflicts: 787000 | #Constraints: 31087 2613.70/2626.29 c #Conflicts: 788000 | #Constraints: 32089 2613.70/2626.29 c #Conflicts: 789000 | #Constraints: 33091 2613.70/2626.29 c #Conflicts: 790000 | #Constraints: 34093 2613.70/2626.29 c #Conflicts: 791000 | #Constraints: 35096 2613.70/2626.29 c #Conflicts: 792000 | #Constraints: 36099 2613.70/2626.29 c INPROCESSING 2613.70/2626.29 c GARBAGE COLLECT 2613.70/2626.29 c rational objective 9 2690.87/2703.69 c #Conflicts: 793000 | #Constraints: 19456 2690.87/2703.69 c #Conflicts: 794000 | #Constraints: 20460 2690.87/2703.69 c #Conflicts: 795000 | #Constraints: 21461 2690.87/2703.69 c #Conflicts: 796000 | #Constraints: 22463 2690.87/2703.69 c #Conflicts: 797000 | #Constraints: 23464 2690.87/2703.69 c #Conflicts: 798000 | #Constraints: 24465 2690.87/2703.69 c #Conflicts: 799000 | #Constraints: 25468 2690.87/2703.69 c #Conflicts: 800000 | #Constraints: 26469 2690.87/2703.69 c #Conflicts: 801000 | #Constraints: 27471 2690.87/2703.69 c #Conflicts: 802000 | #Constraints: 28473 2690.87/2703.69 c #Conflicts: 803000 | #Constraints: 29476 2690.87/2703.69 c #Conflicts: 804000 | #Constraints: 30480 2690.87/2703.69 c #Conflicts: 805000 | #Constraints: 31480 2690.87/2703.69 c #Conflicts: 806000 | #Constraints: 32482 2690.87/2703.69 c #Conflicts: 807000 | #Constraints: 33482 2690.87/2703.69 c #Conflicts: 808000 | #Constraints: 34483 2690.87/2703.69 c #Conflicts: 809000 | #Constraints: 35485 2690.87/2703.69 c #Conflicts: 810000 | #Constraints: 36487 2690.87/2703.69 c INPROCESSING 2690.87/2703.69 c GARBAGE COLLECT 2690.87/2703.69 c rational objective 9 2775.03/2788.06 c #Conflicts: 811000 | #Constraints: 19655 2775.03/2788.06 c #Conflicts: 812000 | #Constraints: 20657 2775.03/2788.06 c #Conflicts: 813000 | #Constraints: 21659 2775.03/2788.06 c #Conflicts: 814000 | #Constraints: 22664 2775.03/2788.06 c #Conflicts: 815000 | #Constraints: 23669 2775.03/2788.06 c #Conflicts: 816000 | #Constraints: 24671 2775.03/2788.06 c #Conflicts: 817000 | #Constraints: 25673 2775.03/2788.06 c #Conflicts: 818000 | #Constraints: 26674 2775.03/2788.06 c #Conflicts: 819000 | #Constraints: 27676 2775.03/2788.06 c #Conflicts: 820000 | #Constraints: 28677 2775.03/2788.06 c #Conflicts: 821000 | #Constraints: 29680 2775.03/2788.06 c #Conflicts: 822000 | #Constraints: 30680 2775.03/2788.06 c #Conflicts: 823000 | #Constraints: 31682 2775.03/2788.06 c #Conflicts: 824000 | #Constraints: 32684 2775.03/2788.06 c #Conflicts: 825000 | #Constraints: 33688 2775.03/2788.06 c #Conflicts: 826000 | #Constraints: 34690 2775.03/2788.06 c #Conflicts: 827000 | #Constraints: 35691 2775.03/2788.06 c #Conflicts: 828000 | #Constraints: 36693 2775.03/2788.06 c INPROCESSING 2775.03/2788.06 c GARBAGE COLLECT 2775.03/2788.06 c rational objective 9 2966.23/2979.83 c #Conflicts: 829000 | #Constraints: 19670 2966.23/2979.83 c #Conflicts: 830000 | #Constraints: 20672 2966.23/2979.83 c #Conflicts: 831000 | #Constraints: 21679 2966.23/2979.83 c #Conflicts: 832000 | #Constraints: 22680 2966.23/2979.83 c #Conflicts: 833000 | #Constraints: 23681 2966.23/2979.83 c #Conflicts: 834000 | #Constraints: 24683 2966.23/2979.83 c #Conflicts: 835000 | #Constraints: 25686 2966.23/2979.83 c #Conflicts: 836000 | #Constraints: 26688 2966.23/2979.83 c #Conflicts: 837000 | #Constraints: 27690 2966.23/2979.83 c #Conflicts: 838000 | #Constraints: 28693 2966.23/2979.83 c #Conflicts: 839000 | #Constraints: 29695 2966.23/2979.83 c #Conflicts: 840000 | #Constraints: 30698 2966.23/2979.83 c #Conflicts: 841000 | #Constraints: 31700 2966.23/2979.83 c #Conflicts: 842000 | #Constraints: 32701 2966.23/2979.83 c #Conflicts: 843000 | #Constraints: 33703 2966.23/2979.83 c #Conflicts: 844000 | #Constraints: 34705 2966.23/2979.83 c #Conflicts: 845000 | #Constraints: 35707 2966.23/2979.83 c #Conflicts: 846000 | #Constraints: 36708 2966.23/2979.83 c INPROCESSING 2966.23/2979.83 c GARBAGE COLLECT 2966.23/2979.83 c rational objective 9 3051.98/3065.88 c #Conflicts: 847000 | #Constraints: 19461 3051.98/3065.88 c #Conflicts: 848000 | #Constraints: 20464 3051.98/3065.88 c #Conflicts: 849000 | #Constraints: 21466 3051.98/3065.88 c #Conflicts: 850000 | #Constraints: 22467 3051.98/3065.88 c #Conflicts: 851000 | #Constraints: 23468 3051.98/3065.88 c #Conflicts: 852000 | #Constraints: 24469 3051.98/3065.88 c #Conflicts: 853000 | #Constraints: 25471 3051.98/3065.88 c #Conflicts: 854000 | #Constraints: 26473 3051.98/3065.88 c #Conflicts: 855000 | #Constraints: 27475 3051.98/3065.88 c #Conflicts: 856000 | #Constraints: 28481 3051.98/3065.88 c #Conflicts: 857000 | #Constraints: 29484 3051.98/3065.88 c #Conflicts: 858000 | #Constraints: 30485 3051.98/3065.88 c #Conflicts: 859000 | #Constraints: 31485 3051.98/3065.88 c #Conflicts: 860000 | #Constraints: 32488 3051.98/3065.88 c #Conflicts: 861000 | #Constraints: 33491 3051.98/3065.88 c #Conflicts: 862000 | #Constraints: 34492 3051.98/3065.88 c #Conflicts: 863000 | #Constraints: 35494 3051.98/3065.88 c #Conflicts: 864000 | #Constraints: 36495 3051.98/3065.88 c #Conflicts: 865000 | #Constraints: 37498 3051.98/3065.88 c INPROCESSING 3051.98/3065.88 c GARBAGE COLLECT 3051.98/3065.88 c rational objective 9 3128.45/3142.54 c #Conflicts: 866000 | #Constraints: 20063 3128.45/3142.54 c #Conflicts: 867000 | #Constraints: 21066 3128.45/3142.54 c #Conflicts: 868000 | #Constraints: 22068 3128.45/3142.54 c #Conflicts: 869000 | #Constraints: 23070 3128.45/3142.54 c #Conflicts: 870000 | #Constraints: 24071 3128.45/3142.54 c #Conflicts: 871000 | #Constraints: 25073 3128.45/3142.54 c #Conflicts: 872000 | #Constraints: 26076 3128.45/3142.54 c #Conflicts: 873000 | #Constraints: 27080 3128.45/3142.54 c #Conflicts: 874000 | #Constraints: 28082 3128.45/3142.54 c #Conflicts: 875000 | #Constraints: 29083 3128.45/3142.54 c #Conflicts: 876000 | #Constraints: 30086 3128.45/3142.54 c #Conflicts: 877000 | #Constraints: 31087 3128.45/3142.54 c #Conflicts: 878000 | #Constraints: 32090 3128.45/3142.54 c #Conflicts: 879000 | #Constraints: 33093 3128.45/3142.54 c #Conflicts: 880000 | #Constraints: 34094 3128.45/3142.54 c #Conflicts: 881000 | #Constraints: 35095 3128.45/3142.54 c #Conflicts: 882000 | #Constraints: 36095 3128.45/3142.54 c #Conflicts: 883000 | #Constraints: 37097 3128.45/3142.54 c #Conflicts: 884000 | #Constraints: 38099 3128.45/3142.54 c INPROCESSING 3128.45/3142.54 c GARBAGE COLLECT 3128.45/3142.54 c rational objective 9 3261.25/3275.78 c #Conflicts: 885000 | #Constraints: 20457 3261.25/3275.78 c #Conflicts: 886000 | #Constraints: 21463 3261.25/3275.78 c #Conflicts: 887000 | #Constraints: 22466 3261.25/3275.78 c #Conflicts: 888000 | #Constraints: 23468 3261.25/3275.78 c #Conflicts: 889000 | #Constraints: 24471 3261.25/3275.78 c #Conflicts: 890000 | #Constraints: 25473 3261.25/3275.78 c #Conflicts: 891000 | #Constraints: 26474 3261.25/3275.78 c #Conflicts: 892000 | #Constraints: 27477 3261.25/3275.78 c #Conflicts: 893000 | #Constraints: 28479 3261.25/3275.78 c #Conflicts: 894000 | #Constraints: 29481 3261.25/3275.78 c #Conflicts: 895000 | #Constraints: 30481 3261.25/3275.78 c #Conflicts: 896000 | #Constraints: 31482 3261.25/3275.78 c #Conflicts: 897000 | #Constraints: 32482 3261.25/3275.78 c #Conflicts: 898000 | #Constraints: 33484 3261.25/3275.78 c #Conflicts: 899000 | #Constraints: 34486 3261.25/3275.78 c #Conflicts: 900000 | #Constraints: 35487 3261.25/3275.78 c #Conflicts: 901000 | #Constraints: 36488 3261.25/3275.78 c #Conflicts: 902000 | #Constraints: 37489 3261.25/3275.78 c #Conflicts: 903000 | #Constraints: 38490 3261.25/3275.78 c INPROCESSING 3261.25/3275.78 c GARBAGE COLLECT 3261.25/3275.78 c rational objective 9 3341.32/3356.03 c #Conflicts: 904000 | #Constraints: 20644 3341.32/3356.03 c #Conflicts: 905000 | #Constraints: 21646 3341.32/3356.03 c #Conflicts: 906000 | #Constraints: 22647 3341.32/3356.03 c #Conflicts: 907000 | #Constraints: 23647 3341.32/3356.03 c #Conflicts: 908000 | #Constraints: 24649 3341.32/3356.03 c #Conflicts: 909000 | #Constraints: 25651 3341.32/3356.03 c #Conflicts: 910000 | #Constraints: 26653 3341.32/3356.03 c #Conflicts: 911000 | #Constraints: 27654 3341.32/3356.03 c #Conflicts: 912000 | #Constraints: 28656 3341.32/3356.03 c #Conflicts: 913000 | #Constraints: 29657 3341.32/3356.03 c #Conflicts: 914000 | #Constraints: 30658 3341.32/3356.03 c #Conflicts: 915000 | #Constraints: 31660 3341.32/3356.03 c #Conflicts: 916000 | #Constraints: 32662 3341.32/3356.03 c #Conflicts: 917000 | #Constraints: 33664 3341.32/3356.03 c #Conflicts: 918000 | #Constraints: 34664 3341.32/3356.03 c #Conflicts: 919000 | #Constraints: 35665 3341.32/3356.03 c #Conflicts: 920000 | #Constraints: 36666 3341.32/3356.03 c #Conflicts: 921000 | #Constraints: 37666 3341.32/3356.03 c #Conflicts: 922000 | #Constraints: 38668 3341.32/3356.03 c INPROCESSING 3341.32/3356.03 c GARBAGE COLLECT 3341.32/3356.03 c rational objective 9 3440.12/3455.19 c #Conflicts: 923000 | #Constraints: 20662 3440.12/3455.19 c #Conflicts: 924000 | #Constraints: 21662 3440.12/3455.19 c #Conflicts: 925000 | #Constraints: 22663 3440.12/3455.19 c #Conflicts: 926000 | #Constraints: 23665 3440.12/3455.19 c #Conflicts: 927000 | #Constraints: 24668 3440.12/3455.19 c #Conflicts: 928000 | #Constraints: 25669 3440.12/3455.19 c #Conflicts: 929000 | #Constraints: 26673 3440.12/3455.19 c #Conflicts: 930000 | #Constraints: 27677 3440.12/3455.19 c #Conflicts: 931000 | #Constraints: 28682 3440.12/3455.19 c #Conflicts: 932000 | #Constraints: 29688 3440.12/3455.19 c #Conflicts: 933000 | #Constraints: 30694 3440.12/3455.19 c #Conflicts: 934000 | #Constraints: 31698 3440.12/3455.19 c #Conflicts: 935000 | #Constraints: 32702 3440.12/3455.19 c #Conflicts: 936000 | #Constraints: 33704 3440.12/3455.19 c #Conflicts: 937000 | #Constraints: 34709 3440.12/3455.19 c #Conflicts: 938000 | #Constraints: 35712 3440.12/3455.19 c #Conflicts: 939000 | #Constraints: 36716 3440.12/3455.19 c #Conflicts: 940000 | #Constraints: 37718 3440.12/3455.19 c #Conflicts: 941000 | #Constraints: 38719 3440.12/3455.19 c INPROCESSING 3440.12/3455.19 c GARBAGE COLLECT 3440.12/3455.19 c rational objective 9 3565.94/3581.32 c #Conflicts: 942000 | #Constraints: 20489 3565.94/3581.32 c #Conflicts: 943000 | #Constraints: 21491 3565.94/3581.32 c #Conflicts: 944000 | #Constraints: 22505 3565.94/3581.32 c #Conflicts: 945000 | #Constraints: 23507 3565.94/3581.32 c #Conflicts: 946000 | #Constraints: 24509 3565.94/3581.32 c #Conflicts: 947000 | #Constraints: 25510 3565.94/3581.32 c #Conflicts: 948000 | #Constraints: 26510 3565.94/3581.32 c #Conflicts: 949000 | #Constraints: 27513 3565.94/3581.32 c #Conflicts: 950000 | #Constraints: 28517 3565.94/3581.32 c #Conflicts: 951000 | #Constraints: 29521 3565.94/3581.32 c #Conflicts: 952000 | #Constraints: 30522 3565.94/3581.32 c #Conflicts: 953000 | #Constraints: 31526 3565.94/3581.32 c #Conflicts: 954000 | #Constraints: 32532 3565.94/3581.32 c #Conflicts: 955000 | #Constraints: 33533 3565.94/3581.32 c #Conflicts: 956000 | #Constraints: 34536 3565.94/3581.32 c #Conflicts: 957000 | #Constraints: 35539 3565.94/3581.32 c #Conflicts: 958000 | #Constraints: 36543 3565.94/3581.32 c #Conflicts: 959000 | #Constraints: 37547 3565.94/3581.32 c #Conflicts: 960000 | #Constraints: 38553 3565.94/3581.32 c #Conflicts: 961000 | #Constraints: 39557 3565.94/3581.32 c INPROCESSING 3565.94/3581.32 c GARBAGE COLLECT 3565.94/3581.32 c rational objective 9 3600.05/3615.55 c #Conflicts: 962000 | #Constraints: 21141 3600.05/3615.55 c #Conflicts: 963000 | #Constraints: 22143 3600.05/3615.55 c #Conflicts: 964000 | #Constraints: 23146 3600.05/3615.55 c #Conflicts: 965000 | #Constraints: 24148 3600.05/3615.55 c #Conflicts: 966000 | #Constraints: 25150 3600.05/3615.55 c #Conflicts: 967000 | #Constraints: 26151 3600.05/3615.55 c #Conflicts: 968000 | #Constraints: 27152 3600.05/3615.55 c Program interrupted by user. 3600.06/3615.63 c cpu time 3543.37 s 3600.06/3615.63 c deterministic time 825497764825 8.25e+11 3600.06/3615.63 c optimization time 33.4026 s 3600.06/3615.63 c total solve time 3509.93 s 3600.06/3615.63 c core-guided solve time 6e-06 s 3600.06/3615.63 c propagation time 2731.24 s 3600.06/3615.63 c conflict analysis time 653.837 s 3600.06/3615.63 c propagations 584933720 3600.06/3615.63 c resolve steps 4786655 3600.06/3615.63 c decisions 23841234 3600.06/3615.63 c conflicts 968247 3600.06/3615.63 c restarts 2044 3600.06/3615.63 c inprocessing phases 89 3600.06/3615.63 c input clauses 8512 3600.06/3615.63 c input cardinalities 98 3600.06/3615.63 c input general constraints 576 3600.06/3615.63 c input average constraint length 9.75 3600.06/3615.63 c input average constraint degree 71.75 3600.06/3615.63 c learned clauses 67996 3600.06/3615.63 c learned cardinalities 6936 3600.06/3615.63 c learned general constraints 895378 3600.06/3615.63 c learned average constraint length 1642.48 3600.06/3615.63 c learned average constraint degree 11957740004.67 3600.06/3615.63 c watched constraints 823439 3600.06/3615.63 c counting constraints 72515 3600.06/3615.63 c gcd simplifications 32300 3600.06/3615.63 c detected cardinalities 143 3600.06/3615.63 c weakened non-implied lits 142856410 3600.06/3615.63 c weakened non-implying lits 501726 3600.06/3615.63 c original variables 8424 3600.06/3615.63 c clausal propagations 1160667 3600.06/3615.63 c cardinality propagations 66385292 3600.06/3615.63 c watched propagations 274461413 3600.06/3615.63 c counting propagations 240264530 3600.06/3615.63 c watch lookups 27807467696 3600.06/3615.63 c watch backjump lookups 25293941323 3600.06/3615.63 c watch checks 688755653171 3600.06/3615.63 c propagation checks 78223293703 3600.06/3615.63 c constraint additions 4197843626 3600.06/3615.63 c trail pops 609738093 3600.06/3615.63 c formula constraints 9186 3600.06/3615.63 c learned constraints 966182 3600.06/3615.63 c bound constraints 0 3600.06/3615.63 c core-guided constraints 0 3600.06/3615.63 c encountered formula constraints 3409655 3600.06/3615.63 c encountered learned constraints 2212758 3600.06/3615.63 c encountered bound constraints 0 3600.06/3615.63 c encountered core-guided constraints 0 3600.06/3615.63 c LP total time 182.294 s 3600.06/3615.63 c LP solve time 165.92 s 3600.06/3615.63 c LP constraints added 9868 3600.06/3615.63 c LP constraints removed 670 3600.06/3615.63 c LP pivots internal 969259 3600.06/3615.63 c LP pivots root 82999 3600.06/3615.63 c LP calls 4323 3600.06/3615.63 c LP optimalities 2254 3600.06/3615.63 c LP no pivot count 1317 3600.06/3615.63 c LP infeasibilities 2065 3600.06/3615.63 c LP valid Farkas constraints 2064 3600.06/3615.63 c LP learned Farkas constraints 2064 3600.06/3615.63 c LP basis resets 1 3600.06/3615.63 c LP cycling count 0 3600.06/3615.63 c LP singular count 0 3600.06/3615.63 c LP no primal count 0 3600.06/3615.63 c LP no farkas count 1 3600.06/3615.63 c LP other issue count 0 3600.06/3615.63 c LP Gomory cuts 0 3600.06/3615.63 c LP learned cuts 682 3600.06/3615.63 c LP deleted cuts 670 3600.06/3615.63 c LP encountered Gomory constraints 0 3600.06/3615.63 c LP encountered Farkas constraints 108909 3600.06/3615.63 c LP encountered learned Farkas constraints 21516 3600.06/3615.63 c CG auxiliary variables introduced 0 3600.06/3615.63 c CG solutions found 0 3600.06/3615.63 c CG cores constructed 1 3600.06/3615.63 c CG core cardinality constraints returned 0 3600.06/3615.63 c CG unit cores 1 3600.06/3615.63 c CG single cores 0 3600.06/3615.63 c CG blocks removed during cardinality reduction 0 3600.06/3615.63 c CG first core best 0 3600.06/3615.63 c CG decision core best 0 3600.06/3615.63 c CG core reduction tie 0 3600.06/3615.63 c CG core degree average 0.00 3600.06/3615.63 c CG core slack average 0.00 3600.06/3615.63 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 (45959 MiB free)
memory of node 1: 64510 MiB (62566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460320-1722068457/watcher-4460320-1722068457 -o /tmp/evaluation-result-4460320-1722068457/solver-4460320-1722068457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722064836-365027 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460320-1722068457 --lp-cut-gomory=0 HOME/instance-4460320-1722068457.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=367104, runsolver pid=367101
[startup+0.100098 s]*
/proc/loadavg: 4.15 4.13 4.06 1/263 367105
/proc/meminfo: memFree=111128952/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=37376 memory=2568 CPUtime=0 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 43375276 38273024 642 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB
[startup+0.205211 s]*
/proc/loadavg: 4.15 4.13 4.06 1/263 367105
/proc/meminfo: memFree=111129044/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=37376 memory=2568 CPUtime=0 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 43375276 38273024 642 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB
[startup+0.304548 s]*
/proc/loadavg: 4.15 4.13 4.06 1/263 367105
/proc/meminfo: memFree=111128904/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=37376 memory=2568 CPUtime=0 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 43375276 38273024 642 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB
[startup+0.700147 s]
/proc/loadavg: 4.15 4.13 4.06 1/263 367105
/proc/meminfo: memFree=111128764/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=37376 memory=2568 CPUtime=0 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 43375276 38273024 642 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB
[startup+1.50014 s]
/proc/loadavg: 4.15 4.13 4.06 1/263 367105
/proc/meminfo: memFree=111129424/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=37376 memory=2568 CPUtime=0 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 43375276 38273024 642 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.13 4.06 2/263 367107
/proc/meminfo: memFree=111087140/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=37376 memory=2568 CPUtime=0 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 43375276 38273024 642 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 9344 642 585 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2568 KiB
heavy processes:
[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.06 3/258 367133
/proc/meminfo: memFree=111233884/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=67884 memory=37096 CPUtime=1.49 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 8118 0 0 0 141 8 0 0 20 0 1 0 43375276 69513216 9274 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 16971 9274 1872 992 0 8829 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67884 KiB
Current children cumulated memory: 37096 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.06 4/259 367181
/proc/meminfo: memFree=115049296/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=107000 memory=76512 CPUtime=7.87 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 15518 0 0 0 756 31 0 0 20 0 1 0 43375276 109568000 19128 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 26750 19128 1888 992 0 18608 0
Current children cumulated CPU time: 7.87 s
Current children cumulated vsize: 107000 KiB
Current children cumulated memory: 76512 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.06 3/259 367416
/proc/meminfo: memFree=127115300/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=173512 memory=119872 CPUtime=20.64 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 20796 0 0 0 1996 68 0 0 20 0 1 0 43375276 177676288 29968 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 43378 29968 1888 992 0 35236 0
Current children cumulated CPU time: 20.64 s
Current children cumulated vsize: 173512 KiB
Current children cumulated memory: 119872 KiB
[startup+51.1058 s]
/proc/loadavg: 4.21 4.14 4.07 5/265 367486
/proc/meminfo: memFree=125819436/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=207716 memory=178648 CPUtime=46.18 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 29388 0 0 0 4482 136 0 0 20 0 1 0 43375276 212701184 44662 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 51929 44662 1888 992 0 43787 0
Current children cumulated CPU time: 46.18 s
Current children cumulated vsize: 207716 KiB
Current children cumulated memory: 178648 KiB
[startup+102.3 s]
/proc/loadavg: 4.32 4.19 4.09 6/265 367497
/proc/meminfo: memFree=123374804/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=313452 memory=249884 CPUtime=97.25 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 42995 0 0 0 9476 249 0 0 20 0 1 0 43375276 320974848 62471 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 78363 62471 1888 992 0 70221 0
Current children cumulated CPU time: 97.25 s
Current children cumulated vsize: 313452 KiB
Current children cumulated memory: 249884 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.22 4.11 5/265 367508
/proc/meminfo: memFree=120548808/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=370176 memory=309340 CPUtime=157.08 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 56274 0 0 0 15328 380 0 0 20 0 1 0 43375276 379060224 77335 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 92544 77335 1888 992 0 84402 0
Current children cumulated CPU time: 157.08 s
Current children cumulated vsize: 370176 KiB
Current children cumulated memory: 309340 KiB
[startup+222.3 s]
/proc/loadavg: 4.36 4.25 4.12 5/262 367520
/proc/meminfo: memFree=116196844/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=402296 memory=356456 CPUtime=216.91 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 63946 0 0 0 21204 487 0 0 20 0 1 0 43375276 411951104 89114 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 100574 89114 1888 992 0 92432 0
Current children cumulated CPU time: 216.91 s
Current children cumulated vsize: 402296 KiB
Current children cumulated memory: 356456 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.22 4.12 5/260 367915
/proc/meminfo: memFree=113621824/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=424452 memory=377200 CPUtime=276.73 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 69204 0 0 0 27068 605 0 0 20 0 1 0 43375276 434638848 94300 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 106113 94300 1888 992 0 97971 0
Current children cumulated CPU time: 276.73 s
Current children cumulated vsize: 424452 KiB
Current children cumulated memory: 377200 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.21 4.12 5/260 367925
/proc/meminfo: memFree=110927400/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=526996 memory=436508 CPUtime=336.55 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 74933 0 0 0 32945 710 0 0 20 0 1 0 43375276 539643904 109127 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 131749 109127 1888 992 0 123607 0
Current children cumulated CPU time: 336.55 s
Current children cumulated vsize: 526996 KiB
Current children cumulated memory: 436508 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.21 4.12 5/260 367937
/proc/meminfo: memFree=107438336/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=549600 memory=456908 CPUtime=396.38 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 80119 0 0 0 38808 830 0 0 20 0 1 0 43375276 562790400 114227 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 137400 114227 1888 992 0 129258 0
Current children cumulated CPU time: 396.38 s
Current children cumulated vsize: 549600 KiB
Current children cumulated memory: 456908 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.18 4.12 6/263 368117
/proc/meminfo: memFree=104720584/131524600 swapFree=131058856/131071996
################
# More data... #
################
Current children cumulated memory: 962496 KiB
[startup+2922.3 s]
/proc/loadavg: 4.39 4.21 4.12 5/268 369227
/proc/meminfo: memFree=16271324/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1307736 memory=1060228 CPUtime=2908.91 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 186738 0 0 0 286238 4653 0 0 20 0 1 0 43375276 1339121664 265057 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 326934 265057 1888 992 0 318792 0
Current children cumulated CPU time: 2908.91 s
Current children cumulated vsize: 1307736 KiB
Current children cumulated memory: 1060228 KiB
[startup+2982.3 s]
/proc/loadavg: 4.24 4.20 4.12 5/270 369243
/proc/meminfo: memFree=15681252/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1324892 memory=1186544 CPUtime=2968.72 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 190886 0 0 0 292172 4700 0 0 20 0 1 0 43375276 1356689408 296636 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 331223 296636 1888 992 0 323081 0
Current children cumulated CPU time: 2968.72 s
Current children cumulated vsize: 1324892 KiB
Current children cumulated memory: 1186544 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/270 369254
/proc/meminfo: memFree=15184576/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1331752 memory=1192436 CPUtime=3028.55 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 192569 0 0 0 298073 4782 0 0 20 0 1 0 43375276 1363714048 298109 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 332938 298109 1888 992 0 324796 0
Current children cumulated CPU time: 3028.55 s
Current children cumulated vsize: 1331752 KiB
Current children cumulated memory: 1192436 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/268 369267
/proc/meminfo: memFree=13999564/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1334392 memory=1195300 CPUtime=3088.37 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 193412 0 0 0 303966 4871 0 0 20 0 1 0 43375276 1366417408 298825 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 333598 298825 1888 992 0 325456 0
Current children cumulated CPU time: 3088.37 s
Current children cumulated vsize: 1334392 KiB
Current children cumulated memory: 1195300 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/268 369278
/proc/meminfo: memFree=11914328/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1342984 memory=1203292 CPUtime=3148.2 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 195801 0 0 0 309849 4971 0 0 20 0 1 0 43375276 1375215616 300823 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 335746 300823 1888 992 0 327604 0
Current children cumulated CPU time: 3148.2 s
Current children cumulated vsize: 1342984 KiB
Current children cumulated memory: 1203292 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/267 369289
/proc/meminfo: memFree=10154176/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1353504 memory=1213468 CPUtime=3208.01 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 198588 0 0 0 315762 5039 0 0 20 0 1 0 43375276 1385988096 303367 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 338376 303367 1888 992 0 330234 0
Current children cumulated CPU time: 3208.01 s
Current children cumulated vsize: 1353504 KiB
Current children cumulated memory: 1213468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/266 369301
/proc/meminfo: memFree=8141204/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1381412 memory=1237124 CPUtime=3267.83 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 205163 0 0 0 321660 5123 0 0 20 0 1 0 43375276 1414565888 309281 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 345353 309281 1888 992 0 337211 0
Current children cumulated CPU time: 3267.83 s
Current children cumulated vsize: 1381412 KiB
Current children cumulated memory: 1237124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/269 369314
/proc/meminfo: memFree=6086132/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1381924 memory=1238108 CPUtime=3327.66 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 205605 0 0 0 327537 5229 0 0 20 0 1 0 43375276 1415090176 309527 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 345481 309527 1888 992 0 337339 0
Current children cumulated CPU time: 3327.66 s
Current children cumulated vsize: 1381924 KiB
Current children cumulated memory: 1238108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/266 369325
/proc/meminfo: memFree=3953912/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1386936 memory=1242504 CPUtime=3387.47 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 206915 0 0 0 333396 5351 0 0 20 0 1 0 43375276 1420222464 310626 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 346734 310626 1888 992 0 338592 0
Current children cumulated CPU time: 3387.47 s
Current children cumulated vsize: 1386936 KiB
Current children cumulated memory: 1242504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/269 369338
/proc/meminfo: memFree=2068916/131524600 swapFree=131058856/131071996
[pid=367104] ppid=367101 vsize=1402372 memory=1256556 CPUtime=3447.3 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 210803 0 0 0 339272 5458 0 0 20 0 1 0 43375276 1436028928 314139 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 350593 314139 1888 992 0 342451 0
Current children cumulated CPU time: 3447.3 s
Current children cumulated vsize: 1402372 KiB
Current children cumulated memory: 1256556 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/269 369348
/proc/meminfo: memFree=623648/131524600 swapFree=131058088/131071996
[pid=367104] ppid=367101 vsize=1403184 memory=1257236 CPUtime=3507.12 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 211115 0 0 0 345166 5546 0 0 20 0 1 0 43375276 1436860416 314309 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 350796 314309 1888 992 0 342654 0
Current children cumulated CPU time: 3507.12 s
Current children cumulated vsize: 1403184 KiB
Current children cumulated memory: 1257236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/269 369363
/proc/meminfo: memFree=489424/131524600 swapFree=131058088/131071996
[pid=367104] ppid=367101 vsize=1431960 memory=1284116 CPUtime=3566.94 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 218051 0 0 0 351071 5623 0 0 20 0 1 0 43375276 1466327040 321029 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 357990 321029 1888 992 0 349848 0
Current children cumulated CPU time: 3566.94 s
Current children cumulated vsize: 1431960 KiB
Current children cumulated memory: 1284116 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.5 s]
/proc/loadavg: 4.16 4.16 4.11 5/266 369417
/proc/meminfo: memFree=3168740/131524600 swapFree=131058088/131071996
[pid=367104] ppid=367101 vsize=1431960 memory=1284196 CPUtime=3600.05 cores=5,7
/proc/367104/stat : 367104 (roundingsat) R 367101 367104 365014 0 -1 4194304 218184 0 0 0 354337 5668 0 0 20 0 1 0 43375276 1466327040 321049 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 357990 321049 1888 992 0 349848 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1431960 KiB
Current children cumulated memory: 1284196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3615.67 s]
# the end of solver process 367104 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3543.38 s, system=56.7255 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3615.6 s]
/proc/loadavg: 4.16 4.16 4.11 5/266 369417
/proc/meminfo: memFree=3168740/131524600 swapFree=131058088/131071996
[pid=367104] ppid=367101 vsize=1431960 memory=1284196 CPUtime=3600.06 cores=5,7
/proc/367104/stat : 367104 (roundingsat) D 367101 367104 365014 0 -1 4194304 218191 0 1 0 354337 5669 0 0 20 0 1 0 43375276 1466327040 321049 134679101440 4194304 8254357 140722991820576 0 0 0 0 0 25182210 0 0 0 17 5 0 0 11 0 0 9037040 9046032 41889792 140722991829851 140722991830113 140722991830113 140722991837129 0
/proc/367104/statm: 357990 321049 1888 992 0 349848 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1431960 KiB
Current children cumulated memory: 1284196 KiB
Child status: 0
Real time (s): 3615.67
CPU time (s): 3600.11
CPU user time (s): 3543.38
CPU system time (s): 56.7255
CPU usage (%): 99.5697
Max. virtual memory (cumulated for all children) (KiB): 1431960
Max. memory (cumulated for all children) (KiB): 1284196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.38
system time used= 56.7255
maximum resident set size= 1284196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218199
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 55062248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1716
involuntary context switches= 4823
# summary of solver processes directly reported to runsolver:
# pid: 367104
# total CPU time (s): 3600.11
# total CPU user time (s): 3543.38
# total CPU system time (s): 56.7255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44986 second user time and 17.1717 second system time
The end
Begin job on nodeC031 at 2024-07-27 10:20:57 IDJOB=4460320 IDBENCH=148768 IDSOLVER=3086 FILE ID=nodeC031/4460320-1722068457 RUNJOBID= nodeC031-1722064836-365027 SLURM_JOB_ID= 8248099 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-4460320-1722068457/watcher-4460320-1722068457 -o /tmp/evaluation-result-4460320-1722068457/solver-4460320-1722068457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722064836-365027 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460320-1722068457 --lp-cut-gomory=0 HOME/instance-4460320-1722068457.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d RANDOM SEED=1859590444 nodeC031.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 : 1925.011 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.44 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 : 2863.360 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.12 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 : 2509.278 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.44 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 : 2165.516 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.12 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 : 1572.167 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.44 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 : 3532.341 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.12 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 : 2139.659 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.44 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 : 3480.599 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.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 111129704 kB MemAvailable: 129285140 kB Buffers: 365528 kB Cached: 18460768 kB SwapCached: 360 kB Active: 2283284 kB Inactive: 17186852 kB Active(anon): 1848 kB Inactive(anon): 694972 kB Active(file): 2281436 kB Inactive(file): 16491880 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 6712 kB Writeback: 90716 kB AnonPages: 640436 kB Mapped: 111440 kB Shmem: 53296 kB KReclaimable: 443352 kB Slab: 567744 kB SReclaimable: 443352 kB SUnreclaim: 124392 kB KernelStack: 4236 kB PageTables: 10936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1197192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15904 kB HardwareCorrupted: 0 kB AnonHugePages: 473088 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: 367316 kB DirectMap2M: 37154816 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 890024 MiB End job on nodeC031 at 2024-07-27 11:21:13