| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3600.05 | 3614.51 |
| 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.00/0.05 c #variables 8424 #constraints 9186 0.09/0.17 c bounds - >= 0 @ 0.043146 0.09/0.17 c rational objective 9 3.55/3.63 c #Conflicts: 1000 | #Constraints: 10186 3.55/3.63 c #Conflicts: 2000 | #Constraints: 11187 3.55/3.63 c INPROCESSING 3.55/3.63 c GARBAGE COLLECT 3.55/3.63 c bounds - >= 9 @ 1.31412 3.55/3.63 c #Conflicts: 3000 | #Constraints: 2784 3.55/3.63 c #Conflicts: 4000 | #Constraints: 3785 3.55/3.63 c INPROCESSING 3.55/3.63 c GARBAGE COLLECT 3.55/3.63 c rational objective 9 6.34/6.48 c #Conflicts: 5000 | #Constraints: 3188 6.34/6.48 c #Conflicts: 6000 | #Constraints: 4190 6.34/6.48 c INPROCESSING 6.34/6.48 c GARBAGE COLLECT 6.34/6.48 c rational objective 9 8.83/8.91 c #Conflicts: 7000 | #Constraints: 3191 8.83/8.91 c #Conflicts: 8000 | #Constraints: 4192 8.83/8.91 c #Conflicts: 9000 | #Constraints: 5193 8.83/8.91 c INPROCESSING 8.83/8.91 c GARBAGE COLLECT 8.83/8.91 c rational objective 9 11.42/11.58 c #Conflicts: 10000 | #Constraints: 3896 11.42/11.58 c #Conflicts: 11000 | #Constraints: 4898 11.42/11.58 c #Conflicts: 12000 | #Constraints: 5899 11.42/11.58 c INPROCESSING 11.42/11.58 c GARBAGE COLLECT 11.42/11.58 c rational objective 9 15.71/15.86 c #Conflicts: 13000 | #Constraints: 4349 15.71/15.86 c #Conflicts: 14000 | #Constraints: 5351 15.71/15.86 c #Conflicts: 15000 | #Constraints: 6353 15.71/15.86 c INPROCESSING 15.71/15.86 c GARBAGE COLLECT 15.71/15.86 c rational objective 9 24.98/25.11 c #Conflicts: 16000 | #Constraints: 4583 24.98/25.11 c #Conflicts: 17000 | #Constraints: 5584 24.98/25.11 c #Conflicts: 18000 | #Constraints: 6588 24.98/25.11 c INPROCESSING 24.98/25.11 c GARBAGE COLLECT 24.98/25.11 c rational objective 9 29.23/29.48 c #Conflicts: 19000 | #Constraints: 4605 29.23/29.48 c #Conflicts: 20000 | #Constraints: 5608 29.23/29.48 c #Conflicts: 21000 | #Constraints: 6613 29.23/29.48 c INPROCESSING 29.23/29.48 c GARBAGE COLLECT 29.23/29.48 c rational objective 9 35.40/35.61 c #Conflicts: 22000 | #Constraints: 4414 35.40/35.61 c #Conflicts: 23000 | #Constraints: 5416 35.40/35.61 c #Conflicts: 24000 | #Constraints: 6419 35.40/35.61 c #Conflicts: 25000 | #Constraints: 7423 35.40/35.61 c INPROCESSING 35.40/35.61 c GARBAGE COLLECT 35.40/35.61 c rational objective 9 39.58/39.83 c #Conflicts: 26000 | #Constraints: 5018 39.58/39.83 c #Conflicts: 27000 | #Constraints: 6019 39.58/39.83 c #Conflicts: 28000 | #Constraints: 7020 39.58/39.83 c #Conflicts: 29000 | #Constraints: 8020 39.58/39.83 c INPROCESSING 39.58/39.83 c GARBAGE COLLECT 39.58/39.83 c rational objective 9 44.27/44.54 c #Conflicts: 30000 | #Constraints: 5410 44.27/44.54 c #Conflicts: 31000 | #Constraints: 6413 44.27/44.54 c #Conflicts: 32000 | #Constraints: 7414 44.27/44.54 c #Conflicts: 33000 | #Constraints: 8416 44.27/44.54 c INPROCESSING 44.27/44.54 c GARBAGE COLLECT 44.27/44.54 c rational objective 9 52.24/52.59 c #Conflicts: 34000 | #Constraints: 5614 52.24/52.59 c #Conflicts: 35000 | #Constraints: 6615 52.24/52.59 c #Conflicts: 36000 | #Constraints: 7618 52.24/52.59 c #Conflicts: 37000 | #Constraints: 8621 52.24/52.59 c INPROCESSING 52.24/52.59 c GARBAGE COLLECT 52.24/52.59 c rational objective 9 60.18/60.51 c #Conflicts: 38000 | #Constraints: 5621 60.18/60.51 c #Conflicts: 39000 | #Constraints: 6624 60.18/60.51 c #Conflicts: 40000 | #Constraints: 7627 60.18/60.51 c #Conflicts: 41000 | #Constraints: 8630 60.18/60.51 c INPROCESSING 60.18/60.51 c GARBAGE COLLECT 60.18/60.51 c rational objective 9 68.34/68.75 c #Conflicts: 42000 | #Constraints: 5436 68.34/68.75 c #Conflicts: 43000 | #Constraints: 6438 68.34/68.75 c #Conflicts: 44000 | #Constraints: 7441 68.34/68.75 c #Conflicts: 45000 | #Constraints: 8443 68.34/68.75 c #Conflicts: 46000 | #Constraints: 9447 68.34/68.75 c INPROCESSING 68.34/68.75 c GARBAGE COLLECT 68.34/68.75 c rational objective 9 81.70/82.17 c #Conflicts: 47000 | #Constraints: 6030 81.70/82.17 c #Conflicts: 48000 | #Constraints: 7033 81.70/82.17 c #Conflicts: 49000 | #Constraints: 8034 81.70/82.17 c #Conflicts: 50000 | #Constraints: 9035 81.70/82.17 c #Conflicts: 51000 | #Constraints: 10037 81.70/82.17 c INPROCESSING 81.70/82.17 c GARBAGE COLLECT 81.70/82.17 c rational objective 9 88.64/89.17 c #Conflicts: 52000 | #Constraints: 6424 88.64/89.17 c #Conflicts: 53000 | #Constraints: 7427 88.64/89.17 c #Conflicts: 54000 | #Constraints: 8428 88.64/89.17 c #Conflicts: 55000 | #Constraints: 9429 88.64/89.17 c #Conflicts: 56000 | #Constraints: 10430 88.64/89.17 c INPROCESSING 88.64/89.17 c GARBAGE COLLECT 88.64/89.17 c rational objective 9 97.20/97.72 c #Conflicts: 57000 | #Constraints: 6619 97.20/97.72 c #Conflicts: 58000 | #Constraints: 7622 97.20/97.72 c #Conflicts: 59000 | #Constraints: 8625 97.20/97.72 c #Conflicts: 60000 | #Constraints: 9628 97.20/97.72 c #Conflicts: 61000 | #Constraints: 10630 97.20/97.72 c INPROCESSING 97.20/97.72 c GARBAGE COLLECT 97.20/97.72 c rational objective 9 115.93/116.57 c #Conflicts: 62000 | #Constraints: 6630 115.93/116.57 c #Conflicts: 63000 | #Constraints: 7631 115.93/116.57 c #Conflicts: 64000 | #Constraints: 8633 115.93/116.57 c #Conflicts: 65000 | #Constraints: 9636 115.93/116.57 c #Conflicts: 66000 | #Constraints: 10638 115.93/116.57 c INPROCESSING 115.93/116.57 c GARBAGE COLLECT 115.93/116.57 c rational objective 9 127.15/127.82 c #Conflicts: 67000 | #Constraints: 6419 127.15/127.82 c #Conflicts: 68000 | #Constraints: 7420 127.15/127.82 c #Conflicts: 69000 | #Constraints: 8420 127.15/127.82 c #Conflicts: 70000 | #Constraints: 9424 127.15/127.82 c #Conflicts: 71000 | #Constraints: 10428 127.15/127.82 c #Conflicts: 72000 | #Constraints: 11428 127.15/127.82 c INPROCESSING 127.15/127.82 c GARBAGE COLLECT 127.15/127.82 c rational objective 9 138.11/138.87 c #Conflicts: 73000 | #Constraints: 7013 138.11/138.87 c #Conflicts: 74000 | #Constraints: 8016 138.11/138.87 c #Conflicts: 75000 | #Constraints: 9017 138.11/138.87 c #Conflicts: 76000 | #Constraints: 10020 138.11/138.87 c #Conflicts: 77000 | #Constraints: 11022 138.11/138.87 c #Conflicts: 78000 | #Constraints: 12024 138.11/138.87 c INPROCESSING 138.11/138.87 c GARBAGE COLLECT 138.11/138.87 c rational objective 9 154.42/155.24 c #Conflicts: 79000 | #Constraints: 7416 154.42/155.24 c #Conflicts: 80000 | #Constraints: 8417 154.42/155.24 c #Conflicts: 81000 | #Constraints: 9419 154.42/155.24 c #Conflicts: 82000 | #Constraints: 10420 154.42/155.24 c #Conflicts: 83000 | #Constraints: 11424 154.42/155.24 c #Conflicts: 84000 | #Constraints: 12426 154.42/155.24 c INPROCESSING 154.42/155.24 c GARBAGE COLLECT 154.42/155.24 c rational objective 9 161.49/162.30 c #Conflicts: 85000 | #Constraints: 7623 161.49/162.30 c #Conflicts: 86000 | #Constraints: 8625 161.49/162.30 c #Conflicts: 87000 | #Constraints: 9630 161.49/162.30 c #Conflicts: 88000 | #Constraints: 10634 161.49/162.30 c #Conflicts: 89000 | #Constraints: 11635 161.49/162.30 c #Conflicts: 90000 | #Constraints: 12635 161.49/162.30 c INPROCESSING 161.49/162.30 c GARBAGE COLLECT 161.49/162.30 c rational objective 9 182.27/183.23 c #Conflicts: 91000 | #Constraints: 7632 182.27/183.23 c #Conflicts: 92000 | #Constraints: 8638 182.27/183.23 c #Conflicts: 93000 | #Constraints: 9639 182.27/183.23 c #Conflicts: 94000 | #Constraints: 10640 182.27/183.23 c #Conflicts: 95000 | #Constraints: 11642 182.27/183.23 c #Conflicts: 96000 | #Constraints: 12642 182.27/183.23 c INPROCESSING 182.27/183.23 c GARBAGE COLLECT 182.27/183.23 c rational objective 9 207.77/208.85 c #Conflicts: 97000 | #Constraints: 7417 207.77/208.85 c #Conflicts: 98000 | #Constraints: 8418 207.77/208.85 c #Conflicts: 99000 | #Constraints: 9419 207.77/208.85 c #Conflicts: 100000 | #Constraints: 10421 207.77/208.85 c #Conflicts: 101000 | #Constraints: 11422 207.77/208.85 c #Conflicts: 102000 | #Constraints: 12423 207.77/208.85 c #Conflicts: 103000 | #Constraints: 13423 207.77/208.85 c INPROCESSING 207.77/208.85 c GARBAGE COLLECT 207.77/208.85 c rational objective 9 221.66/222.87 c #Conflicts: 104000 | #Constraints: 8011 221.66/222.87 c #Conflicts: 105000 | #Constraints: 9012 221.66/222.87 c #Conflicts: 106000 | #Constraints: 10013 221.66/222.87 c #Conflicts: 107000 | #Constraints: 11014 221.66/222.87 c #Conflicts: 108000 | #Constraints: 12017 221.66/222.87 c #Conflicts: 109000 | #Constraints: 13019 221.66/222.87 c #Conflicts: 110000 | #Constraints: 14023 221.66/222.87 c INPROCESSING 221.66/222.87 c GARBAGE COLLECT 221.66/222.87 c rational objective 9 232.93/234.18 c #Conflicts: 111000 | #Constraints: 8420 232.93/234.18 c #Conflicts: 112000 | #Constraints: 9425 232.93/234.18 c #Conflicts: 113000 | #Constraints: 10430 232.93/234.18 c #Conflicts: 114000 | #Constraints: 11432 232.93/234.18 c #Conflicts: 115000 | #Constraints: 12433 232.93/234.18 c #Conflicts: 116000 | #Constraints: 13436 232.93/234.18 c #Conflicts: 117000 | #Constraints: 14439 232.93/234.18 c INPROCESSING 232.93/234.18 c GARBAGE COLLECT 232.93/234.18 c rational objective 9 249.34/250.68 c #Conflicts: 118000 | #Constraints: 8624 249.34/250.68 c #Conflicts: 119000 | #Constraints: 9627 249.34/250.68 c #Conflicts: 120000 | #Constraints: 10630 249.34/250.68 c #Conflicts: 121000 | #Constraints: 11631 249.34/250.68 c #Conflicts: 122000 | #Constraints: 12631 249.34/250.68 c #Conflicts: 123000 | #Constraints: 13632 249.34/250.68 c #Conflicts: 124000 | #Constraints: 14634 249.34/250.68 c INPROCESSING 249.34/250.68 c GARBAGE COLLECT 249.34/250.68 c rational objective 9 262.37/263.71 c #Conflicts: 125000 | #Constraints: 8622 262.37/263.71 c #Conflicts: 126000 | #Constraints: 9624 262.37/263.71 c #Conflicts: 127000 | #Constraints: 10626 262.37/263.71 c #Conflicts: 128000 | #Constraints: 11629 262.37/263.71 c #Conflicts: 129000 | #Constraints: 12629 262.37/263.71 c #Conflicts: 130000 | #Constraints: 13631 262.37/263.71 c #Conflicts: 131000 | #Constraints: 14634 262.37/263.71 c INPROCESSING 262.37/263.71 c GARBAGE COLLECT 262.37/263.71 c rational objective 9 276.10/277.57 c #Conflicts: 132000 | #Constraints: 8410 276.10/277.57 c #Conflicts: 133000 | #Constraints: 9411 276.10/277.57 c #Conflicts: 134000 | #Constraints: 10412 276.10/277.57 c #Conflicts: 135000 | #Constraints: 11412 276.10/277.57 c #Conflicts: 136000 | #Constraints: 12415 276.10/277.57 c #Conflicts: 137000 | #Constraints: 13416 276.10/277.57 c #Conflicts: 138000 | #Constraints: 14420 276.10/277.57 c #Conflicts: 139000 | #Constraints: 15423 276.10/277.57 c INPROCESSING 276.10/277.57 c GARBAGE COLLECT 276.10/277.57 c rational objective 9 309.64/311.25 c #Conflicts: 140000 | #Constraints: 9024 309.64/311.25 c #Conflicts: 141000 | #Constraints: 10026 309.64/311.25 c #Conflicts: 142000 | #Constraints: 11027 309.64/311.25 c #Conflicts: 143000 | #Constraints: 12028 309.64/311.25 c #Conflicts: 144000 | #Constraints: 13031 309.64/311.25 c #Conflicts: 145000 | #Constraints: 14032 309.64/311.25 c #Conflicts: 146000 | #Constraints: 15035 309.64/311.25 c #Conflicts: 147000 | #Constraints: 16036 309.64/311.25 c INPROCESSING 309.64/311.25 c GARBAGE COLLECT 309.64/311.25 c rational objective 9 325.28/326.95 c #Conflicts: 148000 | #Constraints: 9422 325.28/326.95 c #Conflicts: 149000 | #Constraints: 10423 325.28/326.95 c #Conflicts: 150000 | #Constraints: 11426 325.28/326.95 c #Conflicts: 151000 | #Constraints: 12428 325.28/326.95 c #Conflicts: 152000 | #Constraints: 13431 325.28/326.95 c #Conflicts: 153000 | #Constraints: 14434 325.28/326.95 c #Conflicts: 154000 | #Constraints: 15437 325.28/326.95 c #Conflicts: 155000 | #Constraints: 16438 325.28/326.95 c INPROCESSING 325.28/326.95 c GARBAGE COLLECT 325.28/326.95 c rational objective 9 346.46/348.23 c #Conflicts: 156000 | #Constraints: 9637 346.46/348.23 c #Conflicts: 157000 | #Constraints: 10639 346.46/348.23 c #Conflicts: 158000 | #Constraints: 11642 346.46/348.23 c #Conflicts: 159000 | #Constraints: 12644 346.46/348.23 c #Conflicts: 160000 | #Constraints: 13645 346.46/348.23 c #Conflicts: 161000 | #Constraints: 14646 346.46/348.23 c #Conflicts: 162000 | #Constraints: 15647 346.46/348.23 c #Conflicts: 163000 | #Constraints: 16647 346.46/348.23 c INPROCESSING 346.46/348.23 c GARBAGE COLLECT 346.46/348.23 c rational objective 9 369.86/371.74 c #Conflicts: 164000 | #Constraints: 9628 369.86/371.74 c #Conflicts: 165000 | #Constraints: 10631 369.86/371.74 c #Conflicts: 166000 | #Constraints: 11633 369.86/371.74 c #Conflicts: 167000 | #Constraints: 12635 369.86/371.74 c #Conflicts: 168000 | #Constraints: 13638 369.86/371.74 c #Conflicts: 169000 | #Constraints: 14640 369.86/371.74 c #Conflicts: 170000 | #Constraints: 15644 369.86/371.74 c #Conflicts: 171000 | #Constraints: 16645 369.86/371.74 c INPROCESSING 369.86/371.74 c GARBAGE COLLECT 369.86/371.74 c rational objective 9 394.14/396.15 c #Conflicts: 172000 | #Constraints: 9434 394.14/396.15 c #Conflicts: 173000 | #Constraints: 10437 394.14/396.15 c #Conflicts: 174000 | #Constraints: 11440 394.14/396.15 c #Conflicts: 175000 | #Constraints: 12442 394.14/396.15 c #Conflicts: 176000 | #Constraints: 13442 394.14/396.15 c #Conflicts: 177000 | #Constraints: 14444 394.14/396.15 c #Conflicts: 178000 | #Constraints: 15447 394.14/396.15 c #Conflicts: 179000 | #Constraints: 16447 394.14/396.15 c #Conflicts: 180000 | #Constraints: 17447 394.14/396.15 c INPROCESSING 394.14/396.15 c GARBAGE COLLECT 394.14/396.15 c rational objective 9 414.16/416.24 c #Conflicts: 181000 | #Constraints: 10023 414.16/416.24 c #Conflicts: 182000 | #Constraints: 11026 414.16/416.24 c #Conflicts: 183000 | #Constraints: 12026 414.16/416.24 c #Conflicts: 184000 | #Constraints: 13029 414.16/416.24 c #Conflicts: 185000 | #Constraints: 14033 414.16/416.24 c #Conflicts: 186000 | #Constraints: 15036 414.16/416.24 c #Conflicts: 187000 | #Constraints: 16036 414.16/416.24 c #Conflicts: 188000 | #Constraints: 17038 414.16/416.24 c #Conflicts: 189000 | #Constraints: 18041 414.16/416.24 c INPROCESSING 414.16/416.24 c GARBAGE COLLECT 414.16/416.24 c rational objective 9 438.22/440.48 c #Conflicts: 190000 | #Constraints: 10448 438.22/440.48 c #Conflicts: 191000 | #Constraints: 11451 438.22/440.48 c #Conflicts: 192000 | #Constraints: 12454 438.22/440.48 c #Conflicts: 193000 | #Constraints: 13458 438.22/440.48 c #Conflicts: 194000 | #Constraints: 14462 438.22/440.48 c #Conflicts: 195000 | #Constraints: 15466 438.22/440.48 c #Conflicts: 196000 | #Constraints: 16468 438.22/440.48 c #Conflicts: 197000 | #Constraints: 17471 438.22/440.48 c #Conflicts: 198000 | #Constraints: 18472 438.22/440.48 c INPROCESSING 438.22/440.48 c GARBAGE COLLECT 438.22/440.48 c rational objective 9 471.76/474.18 c #Conflicts: 199000 | #Constraints: 10688 471.76/474.18 c #Conflicts: 200000 | #Constraints: 11691 471.76/474.18 c #Conflicts: 201000 | #Constraints: 12692 471.76/474.18 c #Conflicts: 202000 | #Constraints: 13695 471.76/474.18 c #Conflicts: 203000 | #Constraints: 14697 471.76/474.18 c #Conflicts: 204000 | #Constraints: 15699 471.76/474.18 c #Conflicts: 205000 | #Constraints: 16700 471.76/474.18 c #Conflicts: 206000 | #Constraints: 17701 471.76/474.18 c #Conflicts: 207000 | #Constraints: 18702 471.76/474.18 c INPROCESSING 471.76/474.18 c GARBAGE COLLECT 471.76/474.18 c rational objective 9 517.65/520.24 c #Conflicts: 208000 | #Constraints: 10650 517.65/520.24 c #Conflicts: 209000 | #Constraints: 11658 517.65/520.24 c #Conflicts: 210000 | #Constraints: 12663 517.65/520.24 c #Conflicts: 211000 | #Constraints: 13664 517.65/520.24 c #Conflicts: 212000 | #Constraints: 14666 517.65/520.24 c #Conflicts: 213000 | #Constraints: 15668 517.65/520.24 c #Conflicts: 214000 | #Constraints: 16670 517.65/520.24 c #Conflicts: 215000 | #Constraints: 17672 517.65/520.24 c #Conflicts: 216000 | #Constraints: 18673 517.65/520.24 c INPROCESSING 517.65/520.24 c GARBAGE COLLECT 517.65/520.24 c rational objective 9 542.90/545.62 c #Conflicts: 217000 | #Constraints: 10435 542.90/545.62 c #Conflicts: 218000 | #Constraints: 11437 542.90/545.62 c #Conflicts: 219000 | #Constraints: 12444 542.90/545.62 c #Conflicts: 220000 | #Constraints: 13451 542.90/545.62 c #Conflicts: 221000 | #Constraints: 14453 542.90/545.62 c #Conflicts: 222000 | #Constraints: 15456 542.90/545.62 c #Conflicts: 223000 | #Constraints: 16457 542.90/545.62 c #Conflicts: 224000 | #Constraints: 17461 542.90/545.62 c #Conflicts: 225000 | #Constraints: 18463 542.90/545.62 c #Conflicts: 226000 | #Constraints: 19466 542.90/545.62 c INPROCESSING 542.90/545.62 c GARBAGE COLLECT 542.90/545.62 c rational objective 9 581.51/584.42 c #Conflicts: 227000 | #Constraints: 11040 581.51/584.42 c #Conflicts: 228000 | #Constraints: 12042 581.51/584.42 c #Conflicts: 229000 | #Constraints: 13044 581.51/584.42 c #Conflicts: 230000 | #Constraints: 14048 581.51/584.42 c #Conflicts: 231000 | #Constraints: 15052 581.51/584.42 c #Conflicts: 232000 | #Constraints: 16052 581.51/584.42 c #Conflicts: 233000 | #Constraints: 17054 581.51/584.42 c #Conflicts: 234000 | #Constraints: 18056 581.51/584.42 c #Conflicts: 235000 | #Constraints: 19057 581.51/584.42 c #Conflicts: 236000 | #Constraints: 20059 581.51/584.42 c INPROCESSING 581.51/584.42 c GARBAGE COLLECT 581.51/584.42 c rational objective 9 606.01/609.08 c #Conflicts: 237000 | #Constraints: 11443 606.01/609.08 c #Conflicts: 238000 | #Constraints: 12448 606.01/609.08 c #Conflicts: 239000 | #Constraints: 13454 606.01/609.08 c #Conflicts: 240000 | #Constraints: 14455 606.01/609.08 c #Conflicts: 241000 | #Constraints: 15455 606.01/609.08 c #Conflicts: 242000 | #Constraints: 16455 606.01/609.08 c #Conflicts: 243000 | #Constraints: 17455 606.01/609.08 c #Conflicts: 244000 | #Constraints: 18457 606.01/609.08 c #Conflicts: 245000 | #Constraints: 19458 606.01/609.08 c #Conflicts: 246000 | #Constraints: 20460 606.01/609.08 c INPROCESSING 606.01/609.08 c GARBAGE COLLECT 606.01/609.08 c rational objective 9 638.05/641.21 c #Conflicts: 247000 | #Constraints: 11628 638.05/641.21 c #Conflicts: 248000 | #Constraints: 12628 638.05/641.21 c #Conflicts: 249000 | #Constraints: 13631 638.05/641.21 c #Conflicts: 250000 | #Constraints: 14632 638.05/641.21 c #Conflicts: 251000 | #Constraints: 15636 638.05/641.21 c #Conflicts: 252000 | #Constraints: 16637 638.05/641.21 c #Conflicts: 253000 | #Constraints: 17641 638.05/641.21 c #Conflicts: 254000 | #Constraints: 18643 638.05/641.21 c #Conflicts: 255000 | #Constraints: 19644 638.05/641.21 c #Conflicts: 256000 | #Constraints: 20645 638.05/641.21 c INPROCESSING 638.05/641.21 c GARBAGE COLLECT 638.05/641.21 c rational objective 9 656.38/659.61 c #Conflicts: 257000 | #Constraints: 11626 656.38/659.61 c #Conflicts: 258000 | #Constraints: 12627 656.38/659.61 c #Conflicts: 259000 | #Constraints: 13628 656.38/659.61 c #Conflicts: 260000 | #Constraints: 14629 656.38/659.61 c #Conflicts: 261000 | #Constraints: 15632 656.38/659.61 c #Conflicts: 262000 | #Constraints: 16633 656.38/659.61 c #Conflicts: 263000 | #Constraints: 17636 656.38/659.61 c #Conflicts: 264000 | #Constraints: 18642 656.38/659.61 c #Conflicts: 265000 | #Constraints: 19647 656.38/659.61 c #Conflicts: 266000 | #Constraints: 20649 656.38/659.61 c INPROCESSING 656.38/659.61 c GARBAGE COLLECT 656.38/659.61 c rational objective 9 679.96/683.36 c #Conflicts: 267000 | #Constraints: 11444 679.96/683.36 c #Conflicts: 268000 | #Constraints: 12445 679.96/683.36 c #Conflicts: 269000 | #Constraints: 13447 679.96/683.36 c #Conflicts: 270000 | #Constraints: 14447 679.96/683.36 c #Conflicts: 271000 | #Constraints: 15447 679.96/683.36 c #Conflicts: 272000 | #Constraints: 16452 679.96/683.36 c #Conflicts: 273000 | #Constraints: 17454 679.96/683.36 c #Conflicts: 274000 | #Constraints: 18457 679.96/683.36 c #Conflicts: 275000 | #Constraints: 19459 679.96/683.36 c #Conflicts: 276000 | #Constraints: 20462 679.96/683.36 c #Conflicts: 277000 | #Constraints: 21464 679.96/683.36 c INPROCESSING 679.96/683.36 c GARBAGE COLLECT 679.96/683.36 c rational objective 9 704.47/707.90 c #Conflicts: 278000 | #Constraints: 12053 704.47/707.90 c #Conflicts: 279000 | #Constraints: 13054 704.47/707.90 c #Conflicts: 280000 | #Constraints: 14055 704.47/707.90 c #Conflicts: 281000 | #Constraints: 15055 704.47/707.90 c #Conflicts: 282000 | #Constraints: 16057 704.47/707.90 c #Conflicts: 283000 | #Constraints: 17061 704.47/707.90 c #Conflicts: 284000 | #Constraints: 18061 704.47/707.90 c #Conflicts: 285000 | #Constraints: 19063 704.47/707.90 c #Conflicts: 286000 | #Constraints: 20064 704.47/707.90 c #Conflicts: 287000 | #Constraints: 21065 704.47/707.90 c #Conflicts: 288000 | #Constraints: 22066 704.47/707.90 c INPROCESSING 704.47/707.90 c GARBAGE COLLECT 704.47/707.90 c rational objective 9 739.41/743.06 c #Conflicts: 289000 | #Constraints: 12443 739.41/743.06 c #Conflicts: 290000 | #Constraints: 13445 739.41/743.06 c #Conflicts: 291000 | #Constraints: 14449 739.41/743.06 c #Conflicts: 292000 | #Constraints: 15452 739.41/743.06 c #Conflicts: 293000 | #Constraints: 16453 739.41/743.06 c #Conflicts: 294000 | #Constraints: 17455 739.41/743.06 c #Conflicts: 295000 | #Constraints: 18456 739.41/743.06 c #Conflicts: 296000 | #Constraints: 19457 739.41/743.06 c #Conflicts: 297000 | #Constraints: 20460 739.41/743.06 c #Conflicts: 298000 | #Constraints: 21462 739.41/743.06 c #Conflicts: 299000 | #Constraints: 22464 739.41/743.06 c INPROCESSING 739.41/743.06 c GARBAGE COLLECT 739.41/743.06 c rational objective 9 772.26/776.05 c #Conflicts: 300000 | #Constraints: 12638 772.26/776.05 c #Conflicts: 301000 | #Constraints: 13641 772.26/776.05 c #Conflicts: 302000 | #Constraints: 14643 772.26/776.05 c #Conflicts: 303000 | #Constraints: 15645 772.26/776.05 c #Conflicts: 304000 | #Constraints: 16646 772.26/776.05 c #Conflicts: 305000 | #Constraints: 17649 772.26/776.05 c #Conflicts: 306000 | #Constraints: 18653 772.26/776.05 c #Conflicts: 307000 | #Constraints: 19658 772.26/776.05 c #Conflicts: 308000 | #Constraints: 20659 772.26/776.05 c #Conflicts: 309000 | #Constraints: 21660 772.26/776.05 c #Conflicts: 310000 | #Constraints: 22660 772.26/776.05 c INPROCESSING 772.26/776.05 c GARBAGE COLLECT 772.26/776.05 c rational objective 9 825.83/829.87 c #Conflicts: 311000 | #Constraints: 12630 825.83/829.87 c #Conflicts: 312000 | #Constraints: 13632 825.83/829.87 c #Conflicts: 313000 | #Constraints: 14636 825.83/829.87 c #Conflicts: 314000 | #Constraints: 15638 825.83/829.87 c #Conflicts: 315000 | #Constraints: 16638 825.83/829.87 c #Conflicts: 316000 | #Constraints: 17640 825.83/829.87 c #Conflicts: 317000 | #Constraints: 18642 825.83/829.87 c #Conflicts: 318000 | #Constraints: 19643 825.83/829.87 c #Conflicts: 319000 | #Constraints: 20644 825.83/829.87 c #Conflicts: 320000 | #Constraints: 21646 825.83/829.87 c #Conflicts: 321000 | #Constraints: 22647 825.83/829.87 c INPROCESSING 825.83/829.87 c GARBAGE COLLECT 825.83/829.87 c rational objective 9 890.35/894.64 c #Conflicts: 322000 | #Constraints: 12430 890.35/894.64 c #Conflicts: 323000 | #Constraints: 13431 890.35/894.64 c #Conflicts: 324000 | #Constraints: 14434 890.35/894.64 c #Conflicts: 325000 | #Constraints: 15435 890.35/894.64 c #Conflicts: 326000 | #Constraints: 16435 890.35/894.64 c #Conflicts: 327000 | #Constraints: 17435 890.35/894.64 c #Conflicts: 328000 | #Constraints: 18436 890.35/894.64 c #Conflicts: 329000 | #Constraints: 19440 890.35/894.64 c #Conflicts: 330000 | #Constraints: 20440 890.35/894.64 c #Conflicts: 331000 | #Constraints: 21440 890.35/894.64 c #Conflicts: 332000 | #Constraints: 22440 890.35/894.64 c #Conflicts: 333000 | #Constraints: 23440 890.35/894.64 c INPROCESSING 890.35/894.64 c GARBAGE COLLECT 890.35/894.64 c rational objective 9 964.97/969.52 c #Conflicts: 334000 | #Constraints: 13018 964.97/969.52 c #Conflicts: 335000 | #Constraints: 14020 964.97/969.52 c #Conflicts: 336000 | #Constraints: 15022 964.97/969.52 c #Conflicts: 337000 | #Constraints: 16024 964.97/969.52 c #Conflicts: 338000 | #Constraints: 17025 964.97/969.52 c #Conflicts: 339000 | #Constraints: 18027 964.97/969.52 c #Conflicts: 340000 | #Constraints: 19033 964.97/969.52 c #Conflicts: 341000 | #Constraints: 20037 964.97/969.52 c #Conflicts: 342000 | #Constraints: 21039 964.97/969.52 c #Conflicts: 343000 | #Constraints: 22043 964.97/969.52 c #Conflicts: 344000 | #Constraints: 23043 964.97/969.52 c #Conflicts: 345000 | #Constraints: 24043 964.97/969.52 c INPROCESSING 964.97/969.52 c GARBAGE COLLECT 964.97/969.52 c #Conflicts: 346000 | #Constraints: 13424 964.97/969.52 c #Conflicts: 347000 | #Constraints: 14426 964.97/969.52 c #Conflicts: 348000 | #Constraints: 15428 964.97/969.52 c #Conflicts: 349000 | #Constraints: 16430 964.97/969.52 c #Conflicts: 350000 | #Constraints: 17433 964.97/969.52 c #Conflicts: 351000 | #Constraints: 18436 964.97/969.52 c #Conflicts: 352000 | #Constraints: 19438 964.97/969.52 c #Conflicts: 353000 | #Constraints: 20439 964.97/969.52 c #Conflicts: 354000 | #Constraints: 21440 964.97/969.52 c #Conflicts: 355000 | #Constraints: 22442 964.97/969.52 c #Conflicts: 356000 | #Constraints: 23444 964.97/969.52 c #Conflicts: 357000 | #Constraints: 24446 964.97/969.52 c INPROCESSING 964.97/969.52 c GARBAGE COLLECT 964.97/969.52 c rational objective 9 1013.76/1018.57 c #Conflicts: 358000 | #Constraints: 13636 1013.76/1018.57 c #Conflicts: 359000 | #Constraints: 14638 1013.76/1018.57 c #Conflicts: 360000 | #Constraints: 15638 1013.76/1018.57 c #Conflicts: 361000 | #Constraints: 16640 1013.76/1018.57 c #Conflicts: 362000 | #Constraints: 17642 1013.76/1018.57 c #Conflicts: 363000 | #Constraints: 18642 1013.76/1018.57 c #Conflicts: 364000 | #Constraints: 19643 1013.76/1018.57 c #Conflicts: 365000 | #Constraints: 20644 1013.76/1018.57 c #Conflicts: 366000 | #Constraints: 21645 1013.76/1018.57 c #Conflicts: 367000 | #Constraints: 22649 1013.76/1018.57 c #Conflicts: 368000 | #Constraints: 23653 1013.76/1018.57 c #Conflicts: 369000 | #Constraints: 24653 1013.76/1018.57 c INPROCESSING 1013.76/1018.57 c GARBAGE COLLECT 1013.76/1018.57 c rational objective 9 1054.38/1059.33 c #Conflicts: 370000 | #Constraints: 13653 1054.38/1059.33 c #Conflicts: 371000 | #Constraints: 14655 1054.38/1059.33 c #Conflicts: 372000 | #Constraints: 15660 1054.38/1059.33 c #Conflicts: 373000 | #Constraints: 16665 1054.38/1059.33 c #Conflicts: 374000 | #Constraints: 17669 1054.38/1059.33 c #Conflicts: 375000 | #Constraints: 18673 1054.38/1059.33 c #Conflicts: 376000 | #Constraints: 19674 1054.38/1059.33 c #Conflicts: 377000 | #Constraints: 20676 1054.38/1059.33 c #Conflicts: 378000 | #Constraints: 21679 1054.38/1059.33 c #Conflicts: 379000 | #Constraints: 22681 1054.38/1059.33 c #Conflicts: 380000 | #Constraints: 23683 1054.38/1059.33 c #Conflicts: 381000 | #Constraints: 24686 1054.38/1059.33 c INPROCESSING 1054.38/1059.33 c GARBAGE COLLECT 1054.38/1059.33 c rational objective 9 1107.16/1112.38 c #Conflicts: 382000 | #Constraints: 13455 1107.16/1112.38 c #Conflicts: 383000 | #Constraints: 14459 1107.16/1112.38 c #Conflicts: 384000 | #Constraints: 15460 1107.16/1112.38 c #Conflicts: 385000 | #Constraints: 16460 1107.16/1112.38 c #Conflicts: 386000 | #Constraints: 17462 1107.16/1112.38 c #Conflicts: 387000 | #Constraints: 18464 1107.16/1112.38 c #Conflicts: 388000 | #Constraints: 19466 1107.16/1112.38 c #Conflicts: 389000 | #Constraints: 20468 1107.16/1112.38 c #Conflicts: 390000 | #Constraints: 21470 1107.16/1112.38 c #Conflicts: 391000 | #Constraints: 22471 1107.16/1112.38 c #Conflicts: 392000 | #Constraints: 23474 1107.16/1112.38 c #Conflicts: 393000 | #Constraints: 24477 1107.16/1112.38 c #Conflicts: 394000 | #Constraints: 25479 1107.16/1112.38 c INPROCESSING 1107.16/1112.38 c GARBAGE COLLECT 1107.16/1112.38 c rational objective 9 1140.42/1145.78 c #Conflicts: 395000 | #Constraints: 14035 1140.42/1145.78 c #Conflicts: 396000 | #Constraints: 15038 1140.42/1145.78 c #Conflicts: 397000 | #Constraints: 16040 1140.42/1145.78 c #Conflicts: 398000 | #Constraints: 17043 1140.42/1145.78 c #Conflicts: 399000 | #Constraints: 18045 1140.42/1145.78 c #Conflicts: 400000 | #Constraints: 19050 1140.42/1145.78 c #Conflicts: 401000 | #Constraints: 20052 1140.42/1145.78 c #Conflicts: 402000 | #Constraints: 21056 1140.42/1145.78 c #Conflicts: 403000 | #Constraints: 22063 1140.42/1145.78 c #Conflicts: 404000 | #Constraints: 23067 1140.42/1145.78 c #Conflicts: 405000 | #Constraints: 24068 1140.42/1145.78 c #Conflicts: 406000 | #Constraints: 25070 1140.42/1145.78 c #Conflicts: 407000 | #Constraints: 26071 1140.42/1145.78 c INPROCESSING 1140.42/1145.78 c GARBAGE COLLECT 1140.42/1145.78 c rational objective 9 1198.40/1203.91 c #Conflicts: 408000 | #Constraints: 14445 1198.40/1203.91 c #Conflicts: 409000 | #Constraints: 15449 1198.40/1203.91 c #Conflicts: 410000 | #Constraints: 16451 1198.40/1203.91 c #Conflicts: 411000 | #Constraints: 17451 1198.40/1203.91 c #Conflicts: 412000 | #Constraints: 18452 1198.40/1203.91 c #Conflicts: 413000 | #Constraints: 19454 1198.40/1203.91 c #Conflicts: 414000 | #Constraints: 20456 1198.40/1203.91 c #Conflicts: 415000 | #Constraints: 21458 1198.40/1203.91 c #Conflicts: 416000 | #Constraints: 22459 1198.40/1203.91 c #Conflicts: 417000 | #Constraints: 23462 1198.40/1203.91 c #Conflicts: 418000 | #Constraints: 24463 1198.40/1203.91 c #Conflicts: 419000 | #Constraints: 25466 1198.40/1203.91 c #Conflicts: 420000 | #Constraints: 26469 1198.40/1203.91 c INPROCESSING 1198.40/1203.91 c GARBAGE COLLECT 1198.40/1203.91 c rational objective 9 1242.43/1248.17 c #Conflicts: 421000 | #Constraints: 14648 1242.43/1248.17 c #Conflicts: 422000 | #Constraints: 15655 1242.43/1248.17 c #Conflicts: 423000 | #Constraints: 16657 1242.43/1248.17 c #Conflicts: 424000 | #Constraints: 17657 1242.43/1248.17 c #Conflicts: 425000 | #Constraints: 18661 1242.43/1248.17 c #Conflicts: 426000 | #Constraints: 19662 1242.43/1248.17 c #Conflicts: 427000 | #Constraints: 20663 1242.43/1248.17 c #Conflicts: 428000 | #Constraints: 21663 1242.43/1248.17 c #Conflicts: 429000 | #Constraints: 22665 1242.43/1248.17 c #Conflicts: 430000 | #Constraints: 23669 1242.43/1248.17 c #Conflicts: 431000 | #Constraints: 24674 1242.43/1248.17 c #Conflicts: 432000 | #Constraints: 25687 1242.43/1248.17 c #Conflicts: 433000 | #Constraints: 26695 1242.43/1248.17 c INPROCESSING 1242.43/1248.17 c GARBAGE COLLECT 1242.43/1248.17 c rational objective 9 1298.91/1304.84 c #Conflicts: 434000 | #Constraints: 14662 1298.91/1304.84 c #Conflicts: 435000 | #Constraints: 15663 1298.91/1304.84 c #Conflicts: 436000 | #Constraints: 16664 1298.91/1304.84 c #Conflicts: 437000 | #Constraints: 17667 1298.91/1304.84 c #Conflicts: 438000 | #Constraints: 18669 1298.91/1304.84 c #Conflicts: 439000 | #Constraints: 19674 1298.91/1304.84 c #Conflicts: 440000 | #Constraints: 20679 1298.91/1304.84 c #Conflicts: 441000 | #Constraints: 21682 1298.91/1304.84 c #Conflicts: 442000 | #Constraints: 22684 1298.91/1304.84 c #Conflicts: 443000 | #Constraints: 23686 1298.91/1304.84 c #Conflicts: 444000 | #Constraints: 24689 1298.91/1304.84 c #Conflicts: 445000 | #Constraints: 25690 1298.91/1304.84 c #Conflicts: 446000 | #Constraints: 26690 1298.91/1304.84 c INPROCESSING 1298.91/1304.84 c GARBAGE COLLECT 1298.91/1304.84 c rational objective 9 1385.19/1391.40 c #Conflicts: 447000 | #Constraints: 14450 1385.19/1391.40 c #Conflicts: 448000 | #Constraints: 15451 1385.19/1391.40 c #Conflicts: 449000 | #Constraints: 16451 1385.19/1391.40 c #Conflicts: 450000 | #Constraints: 17453 1385.19/1391.40 c #Conflicts: 451000 | #Constraints: 18454 1385.19/1391.40 c #Conflicts: 452000 | #Constraints: 19456 1385.19/1391.40 c #Conflicts: 453000 | #Constraints: 20460 1385.19/1391.40 c #Conflicts: 454000 | #Constraints: 21465 1385.19/1391.40 c #Conflicts: 455000 | #Constraints: 22468 1385.19/1391.40 c #Conflicts: 456000 | #Constraints: 23469 1385.19/1391.40 c #Conflicts: 457000 | #Constraints: 24473 1385.19/1391.40 c #Conflicts: 458000 | #Constraints: 25478 1385.19/1391.40 c #Conflicts: 459000 | #Constraints: 26479 1385.19/1391.40 c #Conflicts: 460000 | #Constraints: 27481 1385.19/1391.40 c INPROCESSING 1385.19/1391.40 c GARBAGE COLLECT 1385.19/1391.40 c rational objective 9 1435.39/1441.83 c #Conflicts: 461000 | #Constraints: 15083 1435.39/1441.83 c #Conflicts: 462000 | #Constraints: 16087 1435.39/1441.83 c #Conflicts: 463000 | #Constraints: 17091 1435.39/1441.83 c #Conflicts: 464000 | #Constraints: 18093 1435.39/1441.83 c #Conflicts: 465000 | #Constraints: 19094 1435.39/1441.83 c #Conflicts: 466000 | #Constraints: 20096 1435.39/1441.83 c #Conflicts: 467000 | #Constraints: 21098 1435.39/1441.83 c #Conflicts: 468000 | #Constraints: 22099 1435.39/1441.83 c #Conflicts: 469000 | #Constraints: 23101 1435.39/1441.83 c #Conflicts: 470000 | #Constraints: 24102 1435.39/1441.83 c #Conflicts: 471000 | #Constraints: 25106 1435.39/1441.83 c #Conflicts: 472000 | #Constraints: 26107 1435.39/1441.83 c #Conflicts: 473000 | #Constraints: 27111 1435.39/1441.83 c #Conflicts: 474000 | #Constraints: 28112 1435.39/1441.83 c INPROCESSING 1435.39/1441.83 c GARBAGE COLLECT 1435.39/1441.83 c rational objective 9 1491.56/1498.21 c #Conflicts: 475000 | #Constraints: 15477 1491.56/1498.21 c #Conflicts: 476000 | #Constraints: 16483 1491.56/1498.21 c #Conflicts: 477000 | #Constraints: 17493 1491.56/1498.21 c #Conflicts: 478000 | #Constraints: 18499 1491.56/1498.21 c #Conflicts: 479000 | #Constraints: 19500 1491.56/1498.21 c #Conflicts: 480000 | #Constraints: 20501 1491.56/1498.21 c #Conflicts: 481000 | #Constraints: 21502 1491.56/1498.21 c #Conflicts: 482000 | #Constraints: 22502 1491.56/1498.21 c #Conflicts: 483000 | #Constraints: 23505 1491.56/1498.21 c #Conflicts: 484000 | #Constraints: 24509 1491.56/1498.21 c #Conflicts: 485000 | #Constraints: 25514 1491.56/1498.21 c #Conflicts: 486000 | #Constraints: 26518 1491.56/1498.21 c #Conflicts: 487000 | #Constraints: 27524 1491.56/1498.21 c #Conflicts: 488000 | #Constraints: 28533 1491.56/1498.21 c INPROCESSING 1491.56/1498.21 c GARBAGE COLLECT 1491.56/1498.21 c rational objective 9 1558.07/1565.02 c #Conflicts: 489000 | #Constraints: 15694 1558.07/1565.02 c #Conflicts: 490000 | #Constraints: 16696 1558.07/1565.02 c #Conflicts: 491000 | #Constraints: 17696 1558.07/1565.02 c #Conflicts: 492000 | #Constraints: 18698 1558.07/1565.02 c #Conflicts: 493000 | #Constraints: 19699 1558.07/1565.02 c #Conflicts: 494000 | #Constraints: 20699 1558.07/1565.02 c #Conflicts: 495000 | #Constraints: 21699 1558.07/1565.02 c #Conflicts: 496000 | #Constraints: 22699 1558.07/1565.02 c #Conflicts: 497000 | #Constraints: 23699 1558.07/1565.02 c #Conflicts: 498000 | #Constraints: 24699 1558.07/1565.02 c #Conflicts: 499000 | #Constraints: 25699 1558.07/1565.02 c #Conflicts: 500000 | #Constraints: 26699 1558.07/1565.02 c #Conflicts: 501000 | #Constraints: 27699 1558.07/1565.02 c #Conflicts: 502000 | #Constraints: 28699 1558.07/1565.02 c INPROCESSING 1558.07/1565.02 c GARBAGE COLLECT 1558.07/1565.02 c rational objective 9 1620.91/1628.13 c #Conflicts: 503000 | #Constraints: 15674 1620.91/1628.13 c #Conflicts: 504000 | #Constraints: 16674 1620.91/1628.13 c #Conflicts: 505000 | #Constraints: 17674 1620.91/1628.13 c #Conflicts: 506000 | #Constraints: 18680 1620.91/1628.13 c #Conflicts: 507000 | #Constraints: 19682 1620.91/1628.13 c #Conflicts: 508000 | #Constraints: 20684 1620.91/1628.13 c #Conflicts: 509000 | #Constraints: 21685 1620.91/1628.13 c #Conflicts: 510000 | #Constraints: 22686 1620.91/1628.13 c #Conflicts: 511000 | #Constraints: 23687 1620.91/1628.13 c #Conflicts: 512000 | #Constraints: 24688 1620.91/1628.13 c #Conflicts: 513000 | #Constraints: 25688 1620.91/1628.13 c #Conflicts: 514000 | #Constraints: 26690 1620.91/1628.13 c #Conflicts: 515000 | #Constraints: 27691 1620.91/1628.13 c #Conflicts: 516000 | #Constraints: 28692 1620.91/1628.13 c INPROCESSING 1620.91/1628.13 c GARBAGE COLLECT 1620.91/1628.13 c rational objective 9 1665.30/1672.74 c #Conflicts: 517000 | #Constraints: 15442 1665.30/1672.74 c #Conflicts: 518000 | #Constraints: 16443 1665.30/1672.74 c #Conflicts: 519000 | #Constraints: 17445 1665.30/1672.74 c #Conflicts: 520000 | #Constraints: 18448 1665.30/1672.74 c #Conflicts: 521000 | #Constraints: 19451 1665.30/1672.74 c #Conflicts: 522000 | #Constraints: 20453 1665.30/1672.74 c #Conflicts: 523000 | #Constraints: 21454 1665.30/1672.74 c #Conflicts: 524000 | #Constraints: 22456 1665.30/1672.74 c #Conflicts: 525000 | #Constraints: 23458 1665.30/1672.74 c #Conflicts: 526000 | #Constraints: 24460 1665.30/1672.74 c #Conflicts: 527000 | #Constraints: 25462 1665.30/1672.74 c #Conflicts: 528000 | #Constraints: 26465 1665.30/1672.74 c #Conflicts: 529000 | #Constraints: 27467 1665.30/1672.74 c #Conflicts: 530000 | #Constraints: 28469 1665.30/1672.74 c #Conflicts: 531000 | #Constraints: 29470 1665.30/1672.74 c INPROCESSING 1665.30/1672.74 c GARBAGE COLLECT 1665.30/1672.74 c rational objective 9 1712.11/1719.73 c #Conflicts: 532000 | #Constraints: 16036 1712.11/1719.73 c #Conflicts: 533000 | #Constraints: 17037 1712.11/1719.73 c #Conflicts: 534000 | #Constraints: 18040 1712.11/1719.73 c #Conflicts: 535000 | #Constraints: 19042 1712.11/1719.73 c #Conflicts: 536000 | #Constraints: 20047 1712.11/1719.73 c #Conflicts: 537000 | #Constraints: 21051 1712.11/1719.73 c #Conflicts: 538000 | #Constraints: 22054 1712.11/1719.73 c #Conflicts: 539000 | #Constraints: 23057 1712.11/1719.73 c #Conflicts: 540000 | #Constraints: 24058 1712.11/1719.73 c #Conflicts: 541000 | #Constraints: 25059 1712.11/1719.73 c #Conflicts: 542000 | #Constraints: 26060 1712.11/1719.73 c #Conflicts: 543000 | #Constraints: 27061 1712.11/1719.73 c #Conflicts: 544000 | #Constraints: 28063 1712.11/1719.73 c #Conflicts: 545000 | #Constraints: 29065 1712.11/1719.73 c #Conflicts: 546000 | #Constraints: 30067 1712.11/1719.73 c INPROCESSING 1712.11/1719.73 c GARBAGE COLLECT 1712.11/1719.73 c rational objective 9 1781.61/1789.59 c #Conflicts: 547000 | #Constraints: 16446 1781.61/1789.59 c #Conflicts: 548000 | #Constraints: 17447 1781.61/1789.59 c #Conflicts: 549000 | #Constraints: 18449 1781.61/1789.59 c #Conflicts: 550000 | #Constraints: 19450 1781.61/1789.59 c #Conflicts: 551000 | #Constraints: 20452 1781.61/1789.59 c #Conflicts: 552000 | #Constraints: 21452 1781.61/1789.59 c #Conflicts: 553000 | #Constraints: 22453 1781.61/1789.59 c #Conflicts: 554000 | #Constraints: 23453 1781.61/1789.59 c #Conflicts: 555000 | #Constraints: 24453 1781.61/1789.59 c #Conflicts: 556000 | #Constraints: 25455 1781.61/1789.59 c #Conflicts: 557000 | #Constraints: 26456 1781.61/1789.59 c #Conflicts: 558000 | #Constraints: 27457 1781.61/1789.59 c #Conflicts: 559000 | #Constraints: 28458 1781.61/1789.59 c #Conflicts: 560000 | #Constraints: 29461 1781.61/1789.59 c #Conflicts: 561000 | #Constraints: 30464 1781.61/1789.59 c INPROCESSING 1781.61/1789.59 c GARBAGE COLLECT 1781.61/1789.59 c rational objective 9 1837.09/1845.21 c #Conflicts: 562000 | #Constraints: 16635 1837.09/1845.21 c #Conflicts: 563000 | #Constraints: 17636 1837.09/1845.21 c #Conflicts: 564000 | #Constraints: 18637 1837.09/1845.21 c #Conflicts: 565000 | #Constraints: 19637 1837.09/1845.21 c #Conflicts: 566000 | #Constraints: 20638 1837.09/1845.21 c #Conflicts: 567000 | #Constraints: 21639 1837.09/1845.21 c #Conflicts: 568000 | #Constraints: 22640 1837.09/1845.21 c #Conflicts: 569000 | #Constraints: 23643 1837.09/1845.21 c #Conflicts: 570000 | #Constraints: 24643 1837.09/1845.21 c #Conflicts: 571000 | #Constraints: 25644 1837.09/1845.21 c #Conflicts: 572000 | #Constraints: 26648 1837.09/1845.21 c #Conflicts: 573000 | #Constraints: 27654 1837.09/1845.21 c #Conflicts: 574000 | #Constraints: 28655 1837.09/1845.21 c #Conflicts: 575000 | #Constraints: 29655 1837.09/1845.21 c #Conflicts: 576000 | #Constraints: 30656 1837.09/1845.21 c INPROCESSING 1837.09/1845.21 c GARBAGE COLLECT 1837.09/1845.21 c rational objective 9 1899.74/1908.13 c #Conflicts: 577000 | #Constraints: 16643 1899.74/1908.13 c #Conflicts: 578000 | #Constraints: 17648 1899.74/1908.13 c #Conflicts: 579000 | #Constraints: 18650 1899.74/1908.13 c #Conflicts: 580000 | #Constraints: 19651 1899.74/1908.13 c #Conflicts: 581000 | #Constraints: 20652 1899.74/1908.13 c #Conflicts: 582000 | #Constraints: 21654 1899.74/1908.13 c #Conflicts: 583000 | #Constraints: 22656 1899.74/1908.13 c #Conflicts: 584000 | #Constraints: 23659 1899.74/1908.13 c #Conflicts: 585000 | #Constraints: 24660 1899.74/1908.13 c #Conflicts: 586000 | #Constraints: 25662 1899.74/1908.13 c #Conflicts: 587000 | #Constraints: 26664 1899.74/1908.13 c #Conflicts: 588000 | #Constraints: 27665 1899.74/1908.13 c #Conflicts: 589000 | #Constraints: 28669 1899.74/1908.13 c #Conflicts: 590000 | #Constraints: 29672 1899.74/1908.13 c #Conflicts: 591000 | #Constraints: 30676 1899.74/1908.13 c INPROCESSING 1899.74/1908.13 c GARBAGE COLLECT 1899.74/1908.13 c rational objective 9 1991.09/1999.87 c #Conflicts: 592000 | #Constraints: 16452 1991.09/1999.87 c #Conflicts: 593000 | #Constraints: 17458 1991.09/1999.87 c #Conflicts: 594000 | #Constraints: 18459 1991.09/1999.87 c #Conflicts: 595000 | #Constraints: 19461 1991.09/1999.87 c #Conflicts: 596000 | #Constraints: 20462 1991.09/1999.87 c #Conflicts: 597000 | #Constraints: 21463 1991.09/1999.87 c #Conflicts: 598000 | #Constraints: 22467 1991.09/1999.87 c #Conflicts: 599000 | #Constraints: 23469 1991.09/1999.87 c #Conflicts: 600000 | #Constraints: 24470 1991.09/1999.87 c #Conflicts: 601000 | #Constraints: 25470 1991.09/1999.87 c #Conflicts: 602000 | #Constraints: 26470 1991.09/1999.87 c #Conflicts: 603000 | #Constraints: 27470 1991.09/1999.87 c #Conflicts: 604000 | #Constraints: 28470 1991.09/1999.87 c #Conflicts: 605000 | #Constraints: 29470 1991.09/1999.87 c #Conflicts: 606000 | #Constraints: 30471 1991.09/1999.87 c #Conflicts: 607000 | #Constraints: 31471 1991.09/1999.87 c INPROCESSING 1991.09/1999.87 c GARBAGE COLLECT 1991.09/1999.87 c rational objective 9 2052.27/2061.22 c #Conflicts: 608000 | #Constraints: 17058 2052.27/2061.22 c #Conflicts: 609000 | #Constraints: 18060 2052.27/2061.22 c #Conflicts: 610000 | #Constraints: 19062 2052.27/2061.22 c #Conflicts: 611000 | #Constraints: 20064 2052.27/2061.22 c #Conflicts: 612000 | #Constraints: 21065 2052.27/2061.22 c #Conflicts: 613000 | #Constraints: 22066 2052.27/2061.22 c #Conflicts: 614000 | #Constraints: 23068 2052.27/2061.22 c #Conflicts: 615000 | #Constraints: 24071 2052.27/2061.22 c #Conflicts: 616000 | #Constraints: 25074 2052.27/2061.22 c #Conflicts: 617000 | #Constraints: 26078 2052.27/2061.22 c #Conflicts: 618000 | #Constraints: 27081 2052.27/2061.22 c #Conflicts: 619000 | #Constraints: 28084 2052.27/2061.22 c #Conflicts: 620000 | #Constraints: 29087 2052.27/2061.22 c #Conflicts: 621000 | #Constraints: 30089 2052.27/2061.22 c #Conflicts: 622000 | #Constraints: 31091 2052.27/2061.22 c #Conflicts: 623000 | #Constraints: 32093 2052.27/2061.22 c INPROCESSING 2052.27/2061.22 c GARBAGE COLLECT 2052.27/2061.22 c rational objective 9 2109.07/2118.21 c #Conflicts: 624000 | #Constraints: 17464 2109.07/2118.21 c #Conflicts: 625000 | #Constraints: 18469 2109.07/2118.21 c #Conflicts: 626000 | #Constraints: 19472 2109.07/2118.21 c #Conflicts: 627000 | #Constraints: 20473 2109.07/2118.21 c #Conflicts: 628000 | #Constraints: 21475 2109.07/2118.21 c #Conflicts: 629000 | #Constraints: 22477 2109.07/2118.21 c #Conflicts: 630000 | #Constraints: 23478 2109.07/2118.21 c #Conflicts: 631000 | #Constraints: 24481 2109.07/2118.21 c #Conflicts: 632000 | #Constraints: 25483 2109.07/2118.21 c #Conflicts: 633000 | #Constraints: 26486 2109.07/2118.21 c #Conflicts: 634000 | #Constraints: 27487 2109.07/2118.21 c #Conflicts: 635000 | #Constraints: 28490 2109.07/2118.21 c #Conflicts: 636000 | #Constraints: 29496 2109.07/2118.21 c #Conflicts: 637000 | #Constraints: 30500 2109.07/2118.21 c #Conflicts: 638000 | #Constraints: 31502 2109.07/2118.21 c #Conflicts: 639000 | #Constraints: 32502 2109.07/2118.21 c INPROCESSING 2109.07/2118.21 c GARBAGE COLLECT 2109.07/2118.21 c rational objective 9 2157.10/2166.45 c #Conflicts: 640000 | #Constraints: 17658 2157.10/2166.45 c #Conflicts: 641000 | #Constraints: 18663 2157.10/2166.45 c #Conflicts: 642000 | #Constraints: 19665 2157.10/2166.45 c #Conflicts: 643000 | #Constraints: 20668 2157.10/2166.45 c #Conflicts: 644000 | #Constraints: 21670 2157.10/2166.45 c #Conflicts: 645000 | #Constraints: 22672 2157.10/2166.45 c #Conflicts: 646000 | #Constraints: 23675 2157.10/2166.45 c #Conflicts: 647000 | #Constraints: 24679 2157.10/2166.45 c #Conflicts: 648000 | #Constraints: 25679 2157.10/2166.45 c #Conflicts: 649000 | #Constraints: 26680 2157.10/2166.45 c #Conflicts: 650000 | #Constraints: 27682 2157.10/2166.45 c #Conflicts: 651000 | #Constraints: 28685 2157.10/2166.45 c #Conflicts: 652000 | #Constraints: 29687 2157.10/2166.45 c #Conflicts: 653000 | #Constraints: 30690 2157.10/2166.45 c #Conflicts: 654000 | #Constraints: 31692 2157.10/2166.45 c #Conflicts: 655000 | #Constraints: 32695 2157.10/2166.45 c INPROCESSING 2157.10/2166.45 c GARBAGE COLLECT 2157.10/2166.45 c rational objective 9 2203.54/2213.05 c #Conflicts: 656000 | #Constraints: 17670 2203.54/2213.05 c #Conflicts: 657000 | #Constraints: 18670 2203.54/2213.05 c #Conflicts: 658000 | #Constraints: 19670 2203.54/2213.05 c #Conflicts: 659000 | #Constraints: 20673 2203.54/2213.05 c #Conflicts: 660000 | #Constraints: 21673 2203.54/2213.05 c #Conflicts: 661000 | #Constraints: 22674 2203.54/2213.05 c #Conflicts: 662000 | #Constraints: 23675 2203.54/2213.05 c #Conflicts: 663000 | #Constraints: 24675 2203.54/2213.05 c #Conflicts: 664000 | #Constraints: 25677 2203.54/2213.05 c #Conflicts: 665000 | #Constraints: 26677 2203.54/2213.05 c #Conflicts: 666000 | #Constraints: 27678 2203.54/2213.05 c #Conflicts: 667000 | #Constraints: 28680 2203.54/2213.05 c #Conflicts: 668000 | #Constraints: 29682 2203.54/2213.05 c #Conflicts: 669000 | #Constraints: 30687 2203.54/2213.05 c #Conflicts: 670000 | #Constraints: 31689 2203.54/2213.05 c #Conflicts: 671000 | #Constraints: 32694 2203.54/2213.05 c INPROCESSING 2203.54/2213.05 c GARBAGE COLLECT 2203.54/2213.05 c rational objective 9 2246.78/2256.43 c #Conflicts: 672000 | #Constraints: 17471 2246.78/2256.43 c #Conflicts: 673000 | #Constraints: 18474 2246.78/2256.43 c #Conflicts: 674000 | #Constraints: 19476 2246.78/2256.43 c #Conflicts: 675000 | #Constraints: 20476 2246.78/2256.43 c #Conflicts: 676000 | #Constraints: 21477 2246.78/2256.43 c #Conflicts: 677000 | #Constraints: 22478 2246.78/2256.43 c #Conflicts: 678000 | #Constraints: 23481 2246.78/2256.43 c #Conflicts: 679000 | #Constraints: 24484 2246.78/2256.43 c #Conflicts: 680000 | #Constraints: 25488 2246.78/2256.43 c #Conflicts: 681000 | #Constraints: 26488 2246.78/2256.43 c #Conflicts: 682000 | #Constraints: 27489 2246.78/2256.43 c #Conflicts: 683000 | #Constraints: 28490 2246.78/2256.43 c #Conflicts: 684000 | #Constraints: 29492 2246.78/2256.43 c #Conflicts: 685000 | #Constraints: 30495 2246.78/2256.43 c #Conflicts: 686000 | #Constraints: 31498 2246.78/2256.43 c #Conflicts: 687000 | #Constraints: 32499 2246.78/2256.43 c #Conflicts: 688000 | #Constraints: 33500 2246.78/2256.43 c INPROCESSING 2246.78/2256.43 c GARBAGE COLLECT 2246.78/2256.43 c rational objective 9 2304.69/2314.58 c #Conflicts: 689000 | #Constraints: 18063 2304.69/2314.58 c #Conflicts: 690000 | #Constraints: 19066 2304.69/2314.58 c #Conflicts: 691000 | #Constraints: 20067 2304.69/2314.58 c #Conflicts: 692000 | #Constraints: 21071 2304.69/2314.58 c #Conflicts: 693000 | #Constraints: 22075 2304.69/2314.58 c #Conflicts: 694000 | #Constraints: 23077 2304.69/2314.58 c #Conflicts: 695000 | #Constraints: 24080 2304.69/2314.58 c #Conflicts: 696000 | #Constraints: 25082 2304.69/2314.58 c #Conflicts: 697000 | #Constraints: 26086 2304.69/2314.58 c #Conflicts: 698000 | #Constraints: 27090 2304.69/2314.58 c #Conflicts: 699000 | #Constraints: 28093 2304.69/2314.58 c #Conflicts: 700000 | #Constraints: 29096 2304.69/2314.58 c #Conflicts: 701000 | #Constraints: 30099 2304.69/2314.58 c #Conflicts: 702000 | #Constraints: 31101 2304.69/2314.58 c #Conflicts: 703000 | #Constraints: 32102 2304.69/2314.58 c #Conflicts: 704000 | #Constraints: 33105 2304.69/2314.58 c #Conflicts: 705000 | #Constraints: 34110 2304.69/2314.58 c INPROCESSING 2304.69/2314.58 c GARBAGE COLLECT 2304.69/2314.58 c rational objective 9 2349.43/2359.49 c #Conflicts: 706000 | #Constraints: 18477 2349.43/2359.49 c #Conflicts: 707000 | #Constraints: 19479 2349.43/2359.49 c #Conflicts: 708000 | #Constraints: 20481 2349.43/2359.49 c #Conflicts: 709000 | #Constraints: 21483 2349.43/2359.49 c #Conflicts: 710000 | #Constraints: 22485 2349.43/2359.49 c #Conflicts: 711000 | #Constraints: 23487 2349.43/2359.49 c #Conflicts: 712000 | #Constraints: 24489 2349.43/2359.49 c #Conflicts: 713000 | #Constraints: 25490 2349.43/2359.49 c #Conflicts: 714000 | #Constraints: 26490 2349.43/2359.49 c #Conflicts: 715000 | #Constraints: 27490 2349.43/2359.49 c #Conflicts: 716000 | #Constraints: 28492 2349.43/2359.49 c #Conflicts: 717000 | #Constraints: 29493 2349.43/2359.49 c #Conflicts: 718000 | #Constraints: 30494 2349.43/2359.49 c #Conflicts: 719000 | #Constraints: 31495 2349.43/2359.49 c #Conflicts: 720000 | #Constraints: 32496 2349.43/2359.49 c #Conflicts: 721000 | #Constraints: 33497 2349.43/2359.49 c #Conflicts: 722000 | #Constraints: 34498 2349.43/2359.49 c INPROCESSING 2349.43/2359.49 c GARBAGE COLLECT 2349.43/2359.49 c rational objective 9 2428.77/2439.06 c #Conflicts: 723000 | #Constraints: 18662 2428.77/2439.06 c #Conflicts: 724000 | #Constraints: 19663 2428.77/2439.06 c #Conflicts: 725000 | #Constraints: 20665 2428.77/2439.06 c #Conflicts: 726000 | #Constraints: 21666 2428.77/2439.06 c #Conflicts: 727000 | #Constraints: 22667 2428.77/2439.06 c #Conflicts: 728000 | #Constraints: 23671 2428.77/2439.06 c #Conflicts: 729000 | #Constraints: 24676 2428.77/2439.06 c #Conflicts: 730000 | #Constraints: 25679 2428.77/2439.06 c #Conflicts: 731000 | #Constraints: 26682 2428.77/2439.06 c #Conflicts: 732000 | #Constraints: 27682 2428.77/2439.06 c #Conflicts: 733000 | #Constraints: 28682 2428.77/2439.06 c #Conflicts: 734000 | #Constraints: 29683 2428.77/2439.06 c #Conflicts: 735000 | #Constraints: 30686 2428.77/2439.06 c #Conflicts: 736000 | #Constraints: 31687 2428.77/2439.06 c #Conflicts: 737000 | #Constraints: 32687 2428.77/2439.06 c #Conflicts: 738000 | #Constraints: 33687 2428.77/2439.06 c #Conflicts: 739000 | #Constraints: 34687 2428.77/2439.06 c INPROCESSING 2428.77/2439.06 c GARBAGE COLLECT 2428.77/2439.06 c rational objective 9 2482.49/2492.95 c #Conflicts: 740000 | #Constraints: 18671 2482.49/2492.95 c #Conflicts: 741000 | #Constraints: 19672 2482.49/2492.95 c #Conflicts: 742000 | #Constraints: 20674 2482.49/2492.95 c #Conflicts: 743000 | #Constraints: 21676 2482.49/2492.95 c #Conflicts: 744000 | #Constraints: 22678 2482.49/2492.95 c #Conflicts: 745000 | #Constraints: 23680 2482.49/2492.95 c #Conflicts: 746000 | #Constraints: 24680 2482.49/2492.95 c #Conflicts: 747000 | #Constraints: 25680 2482.49/2492.95 c #Conflicts: 748000 | #Constraints: 26681 2482.49/2492.95 c #Conflicts: 749000 | #Constraints: 27683 2482.49/2492.95 c #Conflicts: 750000 | #Constraints: 28686 2482.49/2492.95 c #Conflicts: 751000 | #Constraints: 29689 2482.49/2492.95 c #Conflicts: 752000 | #Constraints: 30689 2482.49/2492.95 c #Conflicts: 753000 | #Constraints: 31691 2482.49/2492.95 c #Conflicts: 754000 | #Constraints: 32695 2482.49/2492.95 c #Conflicts: 755000 | #Constraints: 33697 2482.49/2492.95 c #Conflicts: 756000 | #Constraints: 34699 2482.49/2492.95 c INPROCESSING 2482.49/2492.95 c GARBAGE COLLECT 2482.49/2492.95 c rational objective 9 2539.59/2550.25 c #Conflicts: 757000 | #Constraints: 18453 2539.59/2550.25 c #Conflicts: 758000 | #Constraints: 19454 2539.59/2550.25 c #Conflicts: 759000 | #Constraints: 20455 2539.59/2550.25 c #Conflicts: 760000 | #Constraints: 21456 2539.59/2550.25 c #Conflicts: 761000 | #Constraints: 22458 2539.59/2550.25 c #Conflicts: 762000 | #Constraints: 23459 2539.59/2550.25 c #Conflicts: 763000 | #Constraints: 24461 2539.59/2550.25 c #Conflicts: 764000 | #Constraints: 25463 2539.59/2550.25 c #Conflicts: 765000 | #Constraints: 26465 2539.59/2550.25 c #Conflicts: 766000 | #Constraints: 27469 2539.59/2550.25 c #Conflicts: 767000 | #Constraints: 28472 2539.59/2550.25 c #Conflicts: 768000 | #Constraints: 29474 2539.59/2550.25 c #Conflicts: 769000 | #Constraints: 30477 2539.59/2550.25 c #Conflicts: 770000 | #Constraints: 31479 2539.59/2550.25 c #Conflicts: 771000 | #Constraints: 32480 2539.59/2550.25 c #Conflicts: 772000 | #Constraints: 33481 2539.59/2550.25 c #Conflicts: 773000 | #Constraints: 34482 2539.59/2550.25 c #Conflicts: 774000 | #Constraints: 35484 2539.59/2550.25 c INPROCESSING 2539.59/2550.25 c GARBAGE COLLECT 2539.59/2550.25 c rational objective 9 2602.68/2613.51 c #Conflicts: 775000 | #Constraints: 19049 2602.68/2613.51 c #Conflicts: 776000 | #Constraints: 20050 2602.68/2613.51 c #Conflicts: 777000 | #Constraints: 21050 2602.68/2613.51 c #Conflicts: 778000 | #Constraints: 22055 2602.68/2613.51 c #Conflicts: 779000 | #Constraints: 23057 2602.68/2613.51 c #Conflicts: 780000 | #Constraints: 24063 2602.68/2613.51 c #Conflicts: 781000 | #Constraints: 25068 2602.68/2613.51 c #Conflicts: 782000 | #Constraints: 26073 2602.68/2613.51 c #Conflicts: 783000 | #Constraints: 27076 2602.68/2613.51 c #Conflicts: 784000 | #Constraints: 28079 2602.68/2613.51 c #Conflicts: 785000 | #Constraints: 29080 2602.68/2613.51 c #Conflicts: 786000 | #Constraints: 30083 2602.68/2613.51 c #Conflicts: 787000 | #Constraints: 31087 2602.68/2613.51 c #Conflicts: 788000 | #Constraints: 32089 2602.68/2613.51 c #Conflicts: 789000 | #Constraints: 33091 2602.68/2613.51 c #Conflicts: 790000 | #Constraints: 34093 2602.68/2613.51 c #Conflicts: 791000 | #Constraints: 35096 2602.68/2613.51 c #Conflicts: 792000 | #Constraints: 36099 2602.68/2613.51 c INPROCESSING 2602.68/2613.51 c GARBAGE COLLECT 2602.68/2613.51 c rational objective 9 2671.86/2682.95 c #Conflicts: 793000 | #Constraints: 19456 2671.86/2682.95 c #Conflicts: 794000 | #Constraints: 20460 2671.86/2682.95 c #Conflicts: 795000 | #Constraints: 21461 2671.86/2682.95 c #Conflicts: 796000 | #Constraints: 22463 2671.86/2682.95 c #Conflicts: 797000 | #Constraints: 23464 2671.86/2682.95 c #Conflicts: 798000 | #Constraints: 24465 2671.86/2682.95 c #Conflicts: 799000 | #Constraints: 25468 2671.86/2682.95 c #Conflicts: 800000 | #Constraints: 26469 2671.86/2682.95 c #Conflicts: 801000 | #Constraints: 27471 2671.86/2682.95 c #Conflicts: 802000 | #Constraints: 28473 2671.86/2682.95 c #Conflicts: 803000 | #Constraints: 29476 2671.86/2682.95 c #Conflicts: 804000 | #Constraints: 30480 2671.86/2682.95 c #Conflicts: 805000 | #Constraints: 31480 2671.86/2682.95 c #Conflicts: 806000 | #Constraints: 32482 2671.86/2682.95 c #Conflicts: 807000 | #Constraints: 33482 2671.86/2682.95 c #Conflicts: 808000 | #Constraints: 34483 2671.86/2682.95 c #Conflicts: 809000 | #Constraints: 35485 2671.86/2682.95 c #Conflicts: 810000 | #Constraints: 36487 2671.86/2682.95 c INPROCESSING 2671.86/2682.95 c GARBAGE COLLECT 2671.86/2682.95 c rational objective 9 2747.80/2759.11 c #Conflicts: 811000 | #Constraints: 19655 2747.80/2759.11 c #Conflicts: 812000 | #Constraints: 20657 2747.80/2759.11 c #Conflicts: 813000 | #Constraints: 21659 2747.80/2759.11 c #Conflicts: 814000 | #Constraints: 22664 2747.80/2759.11 c #Conflicts: 815000 | #Constraints: 23669 2747.80/2759.11 c #Conflicts: 816000 | #Constraints: 24671 2747.80/2759.11 c #Conflicts: 817000 | #Constraints: 25673 2747.80/2759.11 c #Conflicts: 818000 | #Constraints: 26674 2747.80/2759.11 c #Conflicts: 819000 | #Constraints: 27676 2747.80/2759.11 c #Conflicts: 820000 | #Constraints: 28677 2747.80/2759.11 c #Conflicts: 821000 | #Constraints: 29680 2747.80/2759.11 c #Conflicts: 822000 | #Constraints: 30680 2747.80/2759.11 c #Conflicts: 823000 | #Constraints: 31682 2747.80/2759.11 c #Conflicts: 824000 | #Constraints: 32684 2747.80/2759.11 c #Conflicts: 825000 | #Constraints: 33688 2747.80/2759.11 c #Conflicts: 826000 | #Constraints: 34690 2747.80/2759.11 c #Conflicts: 827000 | #Constraints: 35691 2747.80/2759.11 c #Conflicts: 828000 | #Constraints: 36693 2747.80/2759.11 c INPROCESSING 2747.80/2759.11 c GARBAGE COLLECT 2747.80/2759.11 c rational objective 9 2926.92/2938.82 c #Conflicts: 829000 | #Constraints: 19670 2926.92/2938.82 c #Conflicts: 830000 | #Constraints: 20672 2926.92/2938.82 c #Conflicts: 831000 | #Constraints: 21679 2926.92/2938.82 c #Conflicts: 832000 | #Constraints: 22680 2926.92/2938.82 c #Conflicts: 833000 | #Constraints: 23681 2926.92/2938.82 c #Conflicts: 834000 | #Constraints: 24683 2926.92/2938.82 c #Conflicts: 835000 | #Constraints: 25686 2926.92/2938.82 c #Conflicts: 836000 | #Constraints: 26688 2926.92/2938.82 c #Conflicts: 837000 | #Constraints: 27690 2926.92/2938.82 c #Conflicts: 838000 | #Constraints: 28693 2926.92/2938.82 c #Conflicts: 839000 | #Constraints: 29695 2926.92/2938.82 c #Conflicts: 840000 | #Constraints: 30698 2926.92/2938.82 c #Conflicts: 841000 | #Constraints: 31700 2926.92/2938.82 c #Conflicts: 842000 | #Constraints: 32701 2926.92/2938.82 c #Conflicts: 843000 | #Constraints: 33703 2926.92/2938.82 c #Conflicts: 844000 | #Constraints: 34705 2926.92/2938.82 c #Conflicts: 845000 | #Constraints: 35707 2926.92/2938.82 c #Conflicts: 846000 | #Constraints: 36708 2926.92/2938.82 c INPROCESSING 2926.92/2938.82 c GARBAGE COLLECT 2926.92/2938.82 c rational objective 9 3012.93/3025.11 c #Conflicts: 847000 | #Constraints: 19461 3012.93/3025.11 c #Conflicts: 848000 | #Constraints: 20464 3012.93/3025.11 c #Conflicts: 849000 | #Constraints: 21466 3012.93/3025.11 c #Conflicts: 850000 | #Constraints: 22467 3012.93/3025.11 c #Conflicts: 851000 | #Constraints: 23468 3012.93/3025.11 c #Conflicts: 852000 | #Constraints: 24469 3012.93/3025.11 c #Conflicts: 853000 | #Constraints: 25471 3012.93/3025.11 c #Conflicts: 854000 | #Constraints: 26473 3012.93/3025.11 c #Conflicts: 855000 | #Constraints: 27475 3012.93/3025.11 c #Conflicts: 856000 | #Constraints: 28481 3012.93/3025.11 c #Conflicts: 857000 | #Constraints: 29484 3012.93/3025.11 c #Conflicts: 858000 | #Constraints: 30485 3012.93/3025.11 c #Conflicts: 859000 | #Constraints: 31485 3012.93/3025.11 c #Conflicts: 860000 | #Constraints: 32488 3012.93/3025.11 c #Conflicts: 861000 | #Constraints: 33491 3012.93/3025.11 c #Conflicts: 862000 | #Constraints: 34492 3012.93/3025.11 c #Conflicts: 863000 | #Constraints: 35494 3012.93/3025.11 c #Conflicts: 864000 | #Constraints: 36495 3012.93/3025.11 c #Conflicts: 865000 | #Constraints: 37498 3012.93/3025.11 c INPROCESSING 3012.93/3025.11 c GARBAGE COLLECT 3012.93/3025.11 c rational objective 9 3091.34/3103.80 c #Conflicts: 866000 | #Constraints: 20063 3091.34/3103.80 c #Conflicts: 867000 | #Constraints: 21066 3091.34/3103.80 c #Conflicts: 868000 | #Constraints: 22068 3091.34/3103.80 c #Conflicts: 869000 | #Constraints: 23070 3091.34/3103.80 c #Conflicts: 870000 | #Constraints: 24071 3091.34/3103.80 c #Conflicts: 871000 | #Constraints: 25073 3091.34/3103.80 c #Conflicts: 872000 | #Constraints: 26076 3091.34/3103.80 c #Conflicts: 873000 | #Constraints: 27080 3091.34/3103.80 c #Conflicts: 874000 | #Constraints: 28082 3091.34/3103.80 c #Conflicts: 875000 | #Constraints: 29083 3091.34/3103.80 c #Conflicts: 876000 | #Constraints: 30086 3091.34/3103.80 c #Conflicts: 877000 | #Constraints: 31087 3091.34/3103.80 c #Conflicts: 878000 | #Constraints: 32090 3091.34/3103.80 c #Conflicts: 879000 | #Constraints: 33093 3091.34/3103.80 c #Conflicts: 880000 | #Constraints: 34094 3091.34/3103.80 c #Conflicts: 881000 | #Constraints: 35095 3091.34/3103.80 c #Conflicts: 882000 | #Constraints: 36095 3091.34/3103.80 c #Conflicts: 883000 | #Constraints: 37097 3091.34/3103.80 c #Conflicts: 884000 | #Constraints: 38099 3091.34/3103.80 c INPROCESSING 3091.34/3103.80 c GARBAGE COLLECT 3091.34/3103.80 c rational objective 9 3222.09/3235.03 c #Conflicts: 885000 | #Constraints: 20457 3222.09/3235.03 c #Conflicts: 886000 | #Constraints: 21463 3222.09/3235.03 c #Conflicts: 887000 | #Constraints: 22466 3222.09/3235.03 c #Conflicts: 888000 | #Constraints: 23468 3222.09/3235.03 c #Conflicts: 889000 | #Constraints: 24471 3222.09/3235.03 c #Conflicts: 890000 | #Constraints: 25473 3222.09/3235.03 c #Conflicts: 891000 | #Constraints: 26474 3222.09/3235.03 c #Conflicts: 892000 | #Constraints: 27477 3222.09/3235.03 c #Conflicts: 893000 | #Constraints: 28479 3222.09/3235.03 c #Conflicts: 894000 | #Constraints: 29481 3222.09/3235.03 c #Conflicts: 895000 | #Constraints: 30481 3222.09/3235.03 c #Conflicts: 896000 | #Constraints: 31482 3222.09/3235.03 c #Conflicts: 897000 | #Constraints: 32482 3222.09/3235.03 c #Conflicts: 898000 | #Constraints: 33484 3222.09/3235.03 c #Conflicts: 899000 | #Constraints: 34486 3222.09/3235.03 c #Conflicts: 900000 | #Constraints: 35487 3222.09/3235.03 c #Conflicts: 901000 | #Constraints: 36488 3222.09/3235.03 c #Conflicts: 902000 | #Constraints: 37489 3222.09/3235.03 c #Conflicts: 903000 | #Constraints: 38490 3222.09/3235.03 c INPROCESSING 3222.09/3235.03 c GARBAGE COLLECT 3222.09/3235.03 c rational objective 9 3302.99/3316.26 c #Conflicts: 904000 | #Constraints: 20644 3302.99/3316.26 c #Conflicts: 905000 | #Constraints: 21646 3302.99/3316.26 c #Conflicts: 906000 | #Constraints: 22647 3302.99/3316.26 c #Conflicts: 907000 | #Constraints: 23647 3302.99/3316.26 c #Conflicts: 908000 | #Constraints: 24649 3302.99/3316.26 c #Conflicts: 909000 | #Constraints: 25651 3302.99/3316.26 c #Conflicts: 910000 | #Constraints: 26653 3302.99/3316.26 c #Conflicts: 911000 | #Constraints: 27654 3302.99/3316.26 c #Conflicts: 912000 | #Constraints: 28656 3302.99/3316.26 c #Conflicts: 913000 | #Constraints: 29657 3302.99/3316.26 c #Conflicts: 914000 | #Constraints: 30658 3302.99/3316.26 c #Conflicts: 915000 | #Constraints: 31660 3302.99/3316.26 c #Conflicts: 916000 | #Constraints: 32662 3302.99/3316.26 c #Conflicts: 917000 | #Constraints: 33664 3302.99/3316.26 c #Conflicts: 918000 | #Constraints: 34664 3302.99/3316.26 c #Conflicts: 919000 | #Constraints: 35665 3302.99/3316.26 c #Conflicts: 920000 | #Constraints: 36666 3302.99/3316.26 c #Conflicts: 921000 | #Constraints: 37666 3302.99/3316.26 c #Conflicts: 922000 | #Constraints: 38668 3302.99/3316.26 c INPROCESSING 3302.99/3316.26 c GARBAGE COLLECT 3302.99/3316.26 c rational objective 9 3404.72/3418.33 c #Conflicts: 923000 | #Constraints: 20662 3404.72/3418.33 c #Conflicts: 924000 | #Constraints: 21662 3404.72/3418.33 c #Conflicts: 925000 | #Constraints: 22663 3404.72/3418.33 c #Conflicts: 926000 | #Constraints: 23665 3404.72/3418.33 c #Conflicts: 927000 | #Constraints: 24668 3404.72/3418.33 c #Conflicts: 928000 | #Constraints: 25669 3404.72/3418.33 c #Conflicts: 929000 | #Constraints: 26673 3404.72/3418.33 c #Conflicts: 930000 | #Constraints: 27677 3404.72/3418.33 c #Conflicts: 931000 | #Constraints: 28682 3404.72/3418.33 c #Conflicts: 932000 | #Constraints: 29688 3404.72/3418.33 c #Conflicts: 933000 | #Constraints: 30694 3404.72/3418.33 c #Conflicts: 934000 | #Constraints: 31698 3404.72/3418.33 c #Conflicts: 935000 | #Constraints: 32702 3404.72/3418.33 c #Conflicts: 936000 | #Constraints: 33704 3404.72/3418.33 c #Conflicts: 937000 | #Constraints: 34709 3404.72/3418.33 c #Conflicts: 938000 | #Constraints: 35712 3404.72/3418.33 c #Conflicts: 939000 | #Constraints: 36716 3404.72/3418.33 c #Conflicts: 940000 | #Constraints: 37718 3404.72/3418.33 c #Conflicts: 941000 | #Constraints: 38719 3404.72/3418.33 c INPROCESSING 3404.72/3418.33 c GARBAGE COLLECT 3404.72/3418.33 c rational objective 9 3531.96/3546.07 c #Conflicts: 942000 | #Constraints: 20489 3531.96/3546.07 c #Conflicts: 943000 | #Constraints: 21491 3531.96/3546.07 c #Conflicts: 944000 | #Constraints: 22505 3531.96/3546.07 c #Conflicts: 945000 | #Constraints: 23507 3531.96/3546.07 c #Conflicts: 946000 | #Constraints: 24509 3531.96/3546.07 c #Conflicts: 947000 | #Constraints: 25510 3531.96/3546.07 c #Conflicts: 948000 | #Constraints: 26510 3531.96/3546.07 c #Conflicts: 949000 | #Constraints: 27513 3531.96/3546.07 c #Conflicts: 950000 | #Constraints: 28517 3531.96/3546.07 c #Conflicts: 951000 | #Constraints: 29521 3531.96/3546.07 c #Conflicts: 952000 | #Constraints: 30522 3531.96/3546.07 c #Conflicts: 953000 | #Constraints: 31526 3531.96/3546.07 c #Conflicts: 954000 | #Constraints: 32532 3531.96/3546.07 c #Conflicts: 955000 | #Constraints: 33533 3531.96/3546.07 c #Conflicts: 956000 | #Constraints: 34536 3531.96/3546.07 c #Conflicts: 957000 | #Constraints: 35539 3531.96/3546.07 c #Conflicts: 958000 | #Constraints: 36543 3531.96/3546.07 c #Conflicts: 959000 | #Constraints: 37547 3531.96/3546.07 c #Conflicts: 960000 | #Constraints: 38553 3531.96/3546.07 c #Conflicts: 961000 | #Constraints: 39557 3531.96/3546.07 c INPROCESSING 3531.96/3546.07 c GARBAGE COLLECT 3531.96/3546.07 c rational objective 9 3600.02/3614.30 c #Conflicts: 962000 | #Constraints: 21141 3600.02/3614.30 c #Conflicts: 963000 | #Constraints: 22143 3600.02/3614.30 c #Conflicts: 964000 | #Constraints: 23146 3600.02/3614.30 c #Conflicts: 965000 | #Constraints: 24148 3600.02/3614.30 c #Conflicts: 966000 | #Constraints: 25150 3600.02/3614.30 c #Conflicts: 967000 | #Constraints: 26151 3600.02/3614.30 c #Conflicts: 968000 | #Constraints: 27152 3600.02/3614.30 c #Conflicts: 969000 | #Constraints: 28152 3600.02/3614.30 c #Conflicts: 970000 | #Constraints: 29154 3600.02/3614.30 c #Conflicts: 971000 | #Constraints: 30155 3600.02/3614.30 c Program interrupted by user. 3600.02/3614.48 c cpu time 3542.92 s 3600.02/3614.48 c deterministic time 836822775161 8.37e+11 3600.02/3614.48 c optimization time 67.0711 s 3600.02/3614.48 c total solve time 3475.81 s 3600.02/3614.48 c core-guided solve time 6e-06 s 3600.02/3614.48 c propagation time 2718.5 s 3600.02/3614.48 c conflict analysis time 664.154 s 3600.02/3614.48 c propagations 587568125 3600.02/3614.48 c resolve steps 4802120 3600.02/3614.48 c decisions 23897480 3600.02/3614.48 c conflicts 971012 3600.02/3614.48 c restarts 2044 3600.02/3614.48 c inprocessing phases 89 3600.02/3614.48 c input clauses 8512 3600.02/3614.48 c input cardinalities 98 3600.02/3614.48 c input general constraints 576 3600.02/3614.48 c input average constraint length 9.75 3600.02/3614.48 c input average constraint degree 71.75 3600.02/3614.48 c learned clauses 67996 3600.02/3614.48 c learned cardinalities 6936 3600.02/3614.48 c learned general constraints 898146 3600.02/3614.48 c learned average constraint length 1644.32 3600.02/3614.48 c learned average constraint degree 11976286816.93 3600.02/3614.48 c watched constraints 826191 3600.02/3614.48 c counting constraints 72531 3600.02/3614.48 c gcd simplifications 32300 3600.02/3614.48 c detected cardinalities 143 3600.02/3614.48 c weakened non-implied lits 143346804 3600.02/3614.48 c weakened non-implying lits 502366 3600.02/3614.48 c original variables 8424 3600.02/3614.48 c clausal propagations 1162499 3600.02/3614.48 c cardinality propagations 66706920 3600.02/3614.48 c watched propagations 276434499 3600.02/3614.48 c counting propagations 240597739 3600.02/3614.48 c watch lookups 27949583721 3600.02/3614.48 c watch backjump lookups 25410686525 3600.02/3614.48 c watch checks 699314532318 3600.02/3614.48 c propagation checks 78704578157 3600.02/3614.48 c constraint additions 4218445468 3600.02/3614.48 c trail pops 612429214 3600.02/3614.48 c formula constraints 9186 3600.02/3614.48 c learned constraints 968944 3600.02/3614.48 c bound constraints 0 3600.02/3614.48 c core-guided constraints 0 3600.02/3614.48 c encountered formula constraints 3421043 3600.02/3614.48 c encountered learned constraints 2219270 3600.02/3614.48 c encountered bound constraints 0 3600.02/3614.48 c encountered core-guided constraints 0 3600.02/3614.48 c LP total time 183.222 s 3600.02/3614.48 c LP solve time 166.7 s 3600.02/3614.48 c LP constraints added 9868 3600.02/3614.48 c LP constraints removed 670 3600.02/3614.48 c LP pivots internal 971153 3600.02/3614.48 c LP pivots root 82999 3600.02/3614.48 c LP calls 4326 3600.02/3614.48 c LP optimalities 2254 3600.02/3614.48 c LP no pivot count 1317 3600.02/3614.48 c LP infeasibilities 2068 3600.02/3614.48 c LP valid Farkas constraints 2067 3600.02/3614.48 c LP learned Farkas constraints 2067 3600.02/3614.48 c LP basis resets 1 3600.02/3614.48 c LP cycling count 0 3600.02/3614.48 c LP singular count 0 3600.02/3614.48 c LP no primal count 0 3600.02/3614.48 c LP no farkas count 1 3600.02/3614.48 c LP other issue count 0 3600.02/3614.48 c LP Gomory cuts 0 3600.02/3614.48 c LP learned cuts 682 3600.02/3614.48 c LP deleted cuts 670 3600.02/3614.48 c LP encountered Gomory constraints 0 3600.02/3614.48 c LP encountered Farkas constraints 109139 3600.02/3614.48 c LP encountered learned Farkas constraints 21613 3600.02/3614.48 c CG auxiliary variables introduced 0 3600.02/3614.48 c CG solutions found 0 3600.02/3614.48 c CG cores constructed 1 3600.02/3614.48 c CG core cardinality constraints returned 0 3600.02/3614.48 c CG unit cores 1 3600.02/3614.48 c CG single cores 0 3600.02/3614.48 c CG blocks removed during cardinality reduction 0 3600.02/3614.48 c CG first core best 0 3600.02/3614.48 c CG decision core best 0 3600.02/3614.48 c CG core reduction tie 0 3600.02/3614.48 c CG core degree average 0.00 3600.02/3614.48 c CG core slack average 0.00 3600.02/3614.48 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 (41547 MiB free)
memory of node 1: 64510 MiB (37010 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456984-1721817456/watcher-4456984-1721817456 -o /tmp/evaluation-result-4456984-1721817456/solver-4456984-1721817456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183569 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456984-1721817456 --lp-cut-gomory=0 HOME/instance-4456984-1721817456.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=184054, runsolver pid=184051
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.03 2.46 1.12 5/260 184055
/proc/meminfo: memFree=80421876/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=53176 memory=25312 CPUtime=0.09 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 5765 0 0 0 8 1 0 0 20 0 1 0 18274111 54452224 6328 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 13294 6328 1782 992 0 5152 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53176 KiB
Current children cumulated memory: 25312 KiB
[startup+0.206068 s]*
/proc/loadavg: 4.03 2.46 1.12 5/260 184055
/proc/meminfo: memFree=80416172/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=54976 memory=26728 CPUtime=0.19 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 6087 0 0 0 18 1 0 0 20 0 1 0 18274111 56295424 6682 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 13744 6682 1814 992 0 5602 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54976 KiB
Current children cumulated memory: 26728 KiB
[startup+0.306066 s]*
/proc/loadavg: 4.03 2.46 1.12 7/260 184055
/proc/meminfo: memFree=80413820/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=55484 memory=26992 CPUtime=0.28 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 6178 0 0 0 27 1 0 0 20 0 1 0 18274111 56815616 6748 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 2 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 13871 6748 1814 992 0 5729 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 55484 KiB
Current children cumulated memory: 26992 KiB
[startup+0.700208 s]
/proc/loadavg: 4.03 2.49 1.14 5/260 184055
/proc/meminfo: memFree=80402732/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=58332 memory=30772 CPUtime=0.66 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 7013 0 0 0 63 3 0 0 20 0 1 0 18274111 59731968 7693 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 14583 7693 1907 992 0 6441 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 58332 KiB
Current children cumulated memory: 30772 KiB
[startup+1.50017 s]
/proc/loadavg: 4.03 2.49 1.14 5/260 184055
/proc/meminfo: memFree=80372932/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=67884 memory=37236 CPUtime=1.46 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 8622 0 0 0 139 7 0 0 20 0 1 0 18274111 69513216 9309 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 16971 9309 1907 992 0 8829 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 67884 KiB
Current children cumulated memory: 37236 KiB
[startup+3.10548 s]
/proc/loadavg: 4.03 2.49 1.14 5/260 184055
/proc/meminfo: memFree=80255812/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=81760 memory=52260 CPUtime=3.06 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 11379 0 0 0 294 12 0 0 20 0 1 0 18274111 83722240 13065 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 20440 13065 1923 992 0 12298 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 81760 KiB
Current children cumulated memory: 52260 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 2.53 1.16 5/260 184055
/proc/meminfo: memFree=80084324/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=103556 memory=72704 CPUtime=6.24 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 15176 0 0 0 601 23 0 0 20 0 1 0 18274111 106041344 18176 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 25889 18176 1923 992 0 17747 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 103556 KiB
Current children cumulated memory: 72704 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 2.55 1.18 5/260 184057
/proc/meminfo: memFree=79937544/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=114936 memory=85728 CPUtime=12.62 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 18330 0 0 0 1216 46 0 0 20 0 1 0 18274111 117694464 21432 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 28734 21432 1923 992 0 20592 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 114936 KiB
Current children cumulated memory: 85728 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 2.60 1.21 6/260 184058
/proc/meminfo: memFree=79290456/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=181316 memory=151156 CPUtime=25.36 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 23459 0 0 0 2460 76 0 0 20 0 1 0 18274111 185667584 37789 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 45329 37789 1923 992 0 37187 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 181316 KiB
Current children cumulated memory: 151156 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 2.75 1.30 5/260 184063
/proc/meminfo: memFree=78253412/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=215580 memory=184584 CPUtime=50.84 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 31878 0 0 0 4939 145 0 0 20 0 1 0 18274111 220753920 46146 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 53895 46146 1923 992 0 45753 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 215580 KiB
Current children cumulated memory: 184584 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 2.96 1.45 5/260 184073
/proc/meminfo: memFree=76139880/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=313944 memory=249120 CPUtime=101.78 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 43945 0 0 0 9911 267 0 0 20 0 1 0 18274111 321478656 62280 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 78486 62280 1923 992 0 70344 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 313944 KiB
Current children cumulated memory: 249120 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.17 1.62 5/259 184084
/proc/meminfo: memFree=74021876/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=370496 memory=307980 CPUtime=161.49 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 57130 0 0 0 15753 396 0 0 20 0 1 0 18274111 379387904 76995 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 92624 76995 1923 992 0 84482 0
Current children cumulated CPU time: 161.49 s
Current children cumulated vsize: 370496 KiB
Current children cumulated memory: 307980 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.36 1.78 5/262 184100
/proc/meminfo: memFree=71134956/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=405256 memory=355480 CPUtime=221.16 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 65473 0 0 0 21598 518 0 0 20 0 1 0 18274111 414982144 88870 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 101314 88870 1923 992 0 93172 0
Current children cumulated CPU time: 221.16 s
Current children cumulated vsize: 405256 KiB
Current children cumulated memory: 355480 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.49 1.93 5/261 184110
/proc/meminfo: memFree=68791704/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=424452 memory=373636 CPUtime=280.87 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 70016 0 0 0 27443 644 0 0 20 0 1 0 18274111 434638848 93409 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 106113 93409 1923 992 0 97971 0
Current children cumulated CPU time: 280.87 s
Current children cumulated vsize: 424452 KiB
Current children cumulated memory: 373636 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.60 2.07 5/261 184122
/proc/meminfo: memFree=66599096/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=526996 memory=431140 CPUtime=340.59 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 75721 0 0 0 33302 757 0 0 20 0 1 0 18274111 539643904 107785 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 131749 107785 1923 992 0 123607 0
Current children cumulated CPU time: 340.59 s
Current children cumulated vsize: 526996 KiB
Current children cumulated memory: 431140 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.71 2.20 5/261 184132
/proc/meminfo: memFree=64377996/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=549600 memory=452044 CPUtime=400.31 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 81054 0 0 0 39153 878 0 0 20 0 1 0 18274111 562790400 113011 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 137400 113011 1923 992 0 129258 0
Current children cumulated CPU time: 400.31 s
Current children cumulated vsize: 549600 KiB
Current children cumulated memory: 452044 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 3.84 2.34 5/260 184142
/proc/meminfo: memFree=62212948/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=579900 memory=482260 CPUtime=460.01 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 88626 0 0 0 45015 986 0 0 20 0 1 0 18274111 593817600 120565 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 144975 120565 1923 992 0 136833 0
################
# More data... #
################
/proc/184054/statm: 328125 292607 1923 992 0 319983 0
Current children cumulated CPU time: 2910.48 s
Current children cumulated vsize: 1312500 KiB
Current children cumulated memory: 1170428 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.23 4.09 5/259 185890
/proc/meminfo: memFree=42324520/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1328360 memory=1210656 CPUtime=2970.27 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 195266 0 0 0 292246 4781 0 0 20 0 1 0 18274111 1360240640 302664 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 332090 302664 1923 992 0 323948 0
Current children cumulated CPU time: 2970.27 s
Current children cumulated vsize: 1328360 KiB
Current children cumulated memory: 1210656 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.20 4.09 5/260 185902
/proc/meminfo: memFree=41599236/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1334392 memory=1216312 CPUtime=3030.07 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 197246 0 0 0 298145 4862 0 0 20 0 1 0 18274111 1366417408 304078 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 333598 304078 1923 992 0 325456 0
Current children cumulated CPU time: 3030.07 s
Current children cumulated vsize: 1334392 KiB
Current children cumulated memory: 1216312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.18 4.09 5/259 186081
/proc/meminfo: memFree=40942328/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1342408 memory=1223768 CPUtime=3089.85 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 199596 0 0 0 304039 4946 0 0 20 0 1 0 18274111 1374625792 305942 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 335602 305942 1923 992 0 327460 0
Current children cumulated CPU time: 3089.85 s
Current children cumulated vsize: 1342408 KiB
Current children cumulated memory: 1223768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/259 186091
/proc/meminfo: memFree=40323176/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1346124 memory=1227296 CPUtime=3149.64 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 200987 0 0 0 309923 5041 0 0 20 0 1 0 18274111 1378430976 306824 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 336531 306824 1923 992 0 328389 0
Current children cumulated CPU time: 3149.64 s
Current children cumulated vsize: 1346124 KiB
Current children cumulated memory: 1227296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.14 4.08 5/263 186163
/proc/meminfo: memFree=39518260/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1370764 memory=1249288 CPUtime=3209.42 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 207114 0 0 0 315829 5113 0 0 20 0 1 0 18274111 1403662336 312322 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 342691 312322 1923 992 0 334549 0
Current children cumulated CPU time: 3209.42 s
Current children cumulated vsize: 1370764 KiB
Current children cumulated memory: 1249288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/263 186173
/proc/meminfo: memFree=38445936/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1381412 memory=1257124 CPUtime=3269.21 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 209515 0 0 0 321709 5212 0 0 20 0 1 0 18274111 1414565888 314281 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 345353 314281 1923 992 0 337211 0
Current children cumulated CPU time: 3269.21 s
Current children cumulated vsize: 1381412 KiB
Current children cumulated memory: 1257124 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.09 4/257 186211
/proc/meminfo: memFree=38283640/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1386680 memory=1261956 CPUtime=3328.99 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 211231 0 0 0 327572 5327 0 0 20 0 1 0 18274111 1419960320 315489 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 346670 315489 1923 992 0 338528 0
Current children cumulated CPU time: 3328.99 s
Current children cumulated vsize: 1386680 KiB
Current children cumulated memory: 1261956 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 186242
/proc/meminfo: memFree=52603412/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1397056 memory=1270368 CPUtime=3388.77 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 213675 0 0 0 333449 5428 0 0 20 0 1 0 18274111 1430585344 317592 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 349264 317592 1923 992 0 341122 0
Current children cumulated CPU time: 3388.77 s
Current children cumulated vsize: 1397056 KiB
Current children cumulated memory: 1270368 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 186252
/proc/meminfo: memFree=52081740/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1402636 memory=1276316 CPUtime=3448.56 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 215584 0 0 0 339320 5536 0 0 20 0 1 0 18274111 1436299264 319079 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 350659 319079 1923 992 0 342517 0
Current children cumulated CPU time: 3448.56 s
Current children cumulated vsize: 1402636 KiB
Current children cumulated memory: 1276316 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 186262
/proc/meminfo: memFree=51408468/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1415380 memory=1287936 CPUtime=3508.35 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 219122 0 0 0 345219 5616 0 0 20 0 1 0 18274111 1449349120 321984 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 353845 321984 1923 992 0 345703 0
Current children cumulated CPU time: 3508.35 s
Current children cumulated vsize: 1415380 KiB
Current children cumulated memory: 1287936 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 186274
/proc/meminfo: memFree=50818336/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1431960 memory=1303128 CPUtime=3568.12 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 223378 0 0 0 351124 5688 0 0 20 0 1 0 18274111 1466327040 325782 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 357990 325782 1923 992 0 349848 0
Current children cumulated CPU time: 3568.12 s
Current children cumulated vsize: 1431960 KiB
Current children cumulated memory: 1303128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 186281
/proc/meminfo: memFree=50521988/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1432664 memory=1304208 CPUtime=3600.02 cores=0,2
/proc/184054/stat : 184054 (roundingsat) R 184051 184054 183559 0 -1 4194304 223830 0 0 0 354292 5710 0 0 20 0 1 0 18274111 1467047936 326052 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 358166 326052 1923 992 0 350024 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1432664 KiB
Current children cumulated memory: 1304208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.51 s]
# the end of solver process 184054 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3542.93 s, system=57.1276 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 186281
/proc/meminfo: memFree=50521988/131524600 swapFree=131056284/131071996
[pid=184054] ppid=184051 vsize=1432664 memory=1304208 CPUtime=3600.02 cores=0,2
/proc/184054/stat : 184054 (roundingsat) D 184051 184054 183559 0 -1 4194304 223838 0 0 0 354292 5710 0 0 20 0 1 0 18274111 1467047936 326052 134679101440 4194304 8254037 140722025218528 0 0 0 0 0 25182210 0 0 0 17 0 0 0 15 0 0 9037040 9046032 28491776 140722025223004 140722025223266 140722025223266 140722025230281 0
/proc/184054/statm: 358166 326052 1923 992 0 350024 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1432664 KiB
Current children cumulated memory: 1304208 KiB
[startup+3614.5 s]*
/proc/loadavg: 4.09 4.11 4.09 5/259 186281
/proc/meminfo: memFree=51823064/131524600 swapFree=131056284/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3614.51
CPU time (s): 3600.05
CPU user time (s): 3542.93
CPU system time (s): 57.1276
CPU usage (%): 99.6001
Max. virtual memory (cumulated for all children) (KiB): 1432664
Max. memory (cumulated for all children) (KiB): 1304208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.93
system time used= 57.1276
maximum resident set size= 1304208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55448880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1236
involuntary context switches= 24988
# summary of solver processes directly reported to runsolver:
# pid: 184054
# total CPU time (s): 3600.05
# total CPU user time (s): 3542.93
# total CPU system time (s): 57.1276
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90409 second user time and 16.7076 second system time
The end
Begin job on nodeC016 at 2024-07-24 12:37:36 IDJOB=4456984 IDBENCH=148768 IDSOLVER=3085 FILE ID=nodeC016/4456984-1721817456 RUNJOBID= nodeC016-1721817186-183569 SLURM_JOB_ID= 7816868 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-4456984-1721817456/watcher-4456984-1721817456 -o /tmp/evaluation-result-4456984-1721817456/solver-4456984-1721817456 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721817186-183569 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456984-1721817456 --lp-cut-gomory=0 HOME/instance-4456984-1721817456.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d RANDOM SEED=269975393 nodeC016.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 : 3650.577 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 : 6999.34 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 : 3677.550 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3657.748 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 : 6999.34 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 : 3599.999 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3655.883 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 : 6999.34 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 : 3677.646 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 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 : 3600.241 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 : 6999.34 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 : 3599.908 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 80445724 kB MemAvailable: 128342992 kB Buffers: 240436 kB Cached: 48270744 kB SwapCached: 200 kB Active: 2278268 kB Inactive: 47817508 kB Active(anon): 2604 kB Inactive(anon): 1634804 kB Active(file): 2275664 kB Inactive(file): 46182704 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056284 kB Dirty: 230280 kB Writeback: 0 kB AnonPages: 1583356 kB Mapped: 125108 kB Shmem: 52688 kB KReclaimable: 500132 kB Slab: 628552 kB SReclaimable: 500132 kB SUnreclaim: 128420 kB KernelStack: 4108 kB PageTables: 12648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1969984 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17184 kB HardwareCorrupted: 0 kB AnonHugePages: 655360 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: 371412 kB DirectMap2M: 41345024 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890028 MiB End job on nodeC016 at 2024-07-24 13:37:50